==38321== original problem has 60 variables (20 bin, 0 int, 0 impl, 40 cont) and 109 constraints presolving: (round 1, fast) 5 del vars, 2 del conss, 0 add conss, 57 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 1 impls, 3 clqs (round 2, fast) 5 del vars, 2 del conss, 0 add conss, 59 chg bounds, 2 chg sides, 4 chg coeffs, 0 upgd conss, 2 impls, 3 clqs (round 3, fast) 5 del vars, 2 del conss, 0 add conss, 60 chg bounds, 2 chg sides, 4 chg coeffs, 0 upgd conss, 2 impls, 3 clqs (round 4, fast) 5 del vars, 2 del conss, 0 add conss, 60 chg bounds, 2 chg sides, 5 chg coeffs, 0 upgd conss, 2 impls, 3 clqs (round 5, exhaustive) 5 del vars, 6 del conss, 0 add conss, 60 chg bounds, 3 chg sides, 5 chg coeffs, 0 upgd conss, 2 impls, 3 clqs (round 6, exhaustive) 5 del vars, 6 del conss, 0 add conss, 60 chg bounds, 3 chg sides, 5 chg coeffs, 27 upgd conss, 2 impls, 3 clqs (round 7, medium) 7 del vars, 6 del conss, 0 add conss, 60 chg bounds, 5 chg sides, 7 chg coeffs, 27 upgd conss, 25 impls, 4 clqs (7.7s) probing cycle finished: starting next cycle (round 8, exhaustive) 9 del vars, 6 del conss, 0 add conss, 62 chg bounds, 5 chg sides, 0 chg coeffs, 27 upgd conss, 62 impls, 12 clqs (round 9, fast) 9 del vars, 11 del conss, 0 add conss, 63 chg bounds, 5 chg sides, 0 chg coeffs, 27 upgd conss, 62 impls, 12 clqs (9.0s) probing cycle finished: starting next cycle (9.0s) symmetry computation started: requiring (bin +, int -, cont -), (fixed: bin -, int +, cont +) (9.4s) no symmetry present presolving (10 rounds: 10 fast, 5 medium, 4 exhaustive): 9 deleted vars, 11 deleted constraints, 0 added constraints, 63 tightened bounds, 0 added holes, 5 changed sides, 0 changed coefficients 63 implications, 12 cliques presolved problem has 51 variables (12 bin, 0 int, 0 impl, 39 cont) and 98 constraints 20 constraints of type 2 constraints of type 20 constraints of type 56 constraints of type Presolving Time: 8.74 time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 21.4s| 1 | 0 | 1888 | - | 8639k | 0 | 587 | 98 |1054 | 0 | 0 | 0 | 0 | 1.970181e+03 | -- | Inf | unknown 49.3s| 1 | 0 | 2070 | - | 10M | 0 | 587 | 98 |1126 | 72 | 1 | 0 | 0 | 2.301698e+03 | -- | Inf | unknown 51.1s| 1 | 0 | 2184 | - | 10M | 0 | 587 | 98 |1185 | 131 | 2 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 52.4s| 1 | 0 | 2258 | - | 10M | 0 | 587 | 98 |1234 | 180 | 3 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 53.7s| 1 | 0 | 2344 | - | 10M | 0 | 587 | 98 |1274 | 220 | 4 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 55.1s| 1 | 0 | 2434 | - | 10M | 0 | 587 | 98 |1316 | 262 | 5 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 56.6s| 1 | 0 | 2536 | - | 10M | 0 | 587 | 98 |1368 | 314 | 6 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 58.2s| 1 | 0 | 2631 | - | 10M | 0 | 587 | 98 |1407 | 353 | 7 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 59.6s| 1 | 0 | 2717 | - | 10M | 0 | 587 | 98 |1445 | 391 | 8 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 61.5s| 1 | 0 | 2871 | - | 10M | 0 | 587 | 98 |1483 | 429 | 9 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 63.0s| 1 | 0 | 2965 | - | 11M | 0 | 587 | 98 |1518 | 464 | 10 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 64.4s| 1 | 0 | 3052 | - | 11M | 0 | 587 | 98 |1557 | 503 | 11 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 66.2s| 1 | 0 | 3158 | - | 11M | 0 | 587 | 98 | 774 | 531 | 12 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 76.5s| 1 | 0 | 4285 | - | 11M | 0 | 587 | 98 | 774 | 531 | 12 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 78.2s| 1 | 0 | 4440 | - | 11M | 0 | 587 | 98 | 822 | 579 | 13 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 79.6s| 1 | 0 | 4564 | - | 11M | 0 | 587 | 98 | 876 | 633 | 14 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 81.4s| 1 | 0 | 4714 | - | 11M | 0 | 587 | 98 | 718 | 675 | 15 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 82.6s| 1 | 0 | 4804 | - | 11M | 0 | 587 | 98 | 763 | 720 | 16 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 83.9s| 1 | 0 | 4896 | - | 11M | 0 | 587 | 98 | 807 | 764 | 17 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 85.4s| 1 | 0 | 5021 | - | 11M | 0 | 587 | 98 | 848 | 805 | 18 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 86.6s| 1 | 0 | 5097 | - | 11M | 0 | 587 | 98 | 890 | 847 | 19 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 88.1s| 1 | 0 | 5201 | - | 11M | 0 | 587 | 98 | 927 | 884 | 20 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 89.5s| 1 | 0 | 5298 | - | 11M | 0 | 587 | 98 | 762 | 923 | 21 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 90.4s| 1 | 0 | 5341 | - | 11M | 0 | 587 | 98 | 800 | 961 | 22 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown 91.6s| 1 | 0 | 5394 | - | 11M | 0 | 587 | 98 | 832 | 993 | 23 | 0 | 0 | 2.500000e+03 | -- | Inf | unknown d 451s| 1 | 0 | 5394 | - | mpec| 0 | 587 | 98 | 832 | 993 | 23 | 0 | 0 | 2.500000e+03 | 6.496968e+03 | 159.88%| unknown 451s| 1 | 0 | 5394 | - | 12M | 0 | 587 | 98 | 832 | 993 | 23 | 0 | 0 | 2.500000e+03 | 6.496968e+03 | 159.88%| unknown 452s| 1 | 0 | 5441 | - | 12M | 0 | 587 | 98 | 854 |1015 | 24 | 0 | 0 | 2.500000e+03 | 6.496968e+03 | 159.88%| unknown 453s| 1 | 0 | 5516 | - | 12M | 0 | 587 | 98 | 909 |1070 | 25 | 0 | 0 | 2.500000e+03 | 6.496968e+03 | 159.88%| unknown 454s| 1 | 0 | 5533 | - | 12M | 0 | 587 | 98 | 929 |1090 | 26 | 0 | 0 | 2.500000e+03 | 6.496968e+03 | 159.88%| unknown time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 455s| 1 | 0 | 5554 | - | 12M | 0 | 587 | 98 | 749 |1110 | 27 | 0 | 0 | 2.500000e+03 | 6.496968e+03 | 159.88%| unknown 456s| 1 | 0 | 5558 | - | 12M | 0 | 587 | 98 | 754 |1115 | 28 | 0 | 0 | 2.500000e+03 | 6.496968e+03 | 159.88%| unknown 457s| 1 | 0 | 5563 | - | 12M | 0 | 587 | 98 | 759 |1120 | 29 | 0 | 0 | 2.500000e+03 | 6.496968e+03 | 159.88%| unknown 458s| 1 | 2 | 5563 | - | 12M | 0 | 587 | 98 | 759 |1120 | 31 | 0 | 0 | 2.500000e+03 | 6.496968e+03 | 159.88%| unknown SCIP Status : solving was interrupted [node limit reached] Solving Time (sec) : 457.78 Solving Nodes : 1 Primal Bound : +6.49696790811129e+03 (1 solutions) Dual Bound : +2.50000000000000e+03 Gap : 159.88 % ==38321== ==38321== HEAP SUMMARY: ==38321== in use at exit: 303,536 bytes in 64 blocks ==38321== total heap usage: 4,489,945 allocs, 4,489,881 frees, 1,025,375,741 bytes allocated ==38321== ==38321== 128 bytes in 1 blocks are still reachable in loss record 1 of 2 ==38321== at 0x4C2FAA9: realloc (vg_replace_malloc.c:1437) ==38321== by 0x9BC5FD8: gomp_realloc (alloc.c:56) ==38321== by 0x9BD5F94: gomp_init_num_threads (proc.c:122) ==38321== by 0x9BC4429: initialize_env (env.c:1324) ==38321== by 0x400F9C2: _dl_init (in /usr/lib64/ld-2.17.so) ==38321== by 0x4001179: ??? (in /usr/lib64/ld-2.17.so) ==38321== by 0x8: ??? ==38321== by 0x1FFEFE9C42: ??? ==38321== by 0x1FFEFE9C4B: ??? ==38321== by 0x1FFEFE9C4E: ??? ==38321== by 0x1FFEFE9CCB: ??? ==38321== by 0x1FFEFE9CCE: ??? ==38321== by 0x1FFEFE9CD0: ??? ==38321== by 0x1FFEFE9CD3: ??? ==38321== by 0x1FFEFE9CDD: ??? ==38321== by 0x1FFEFE9CE0: ??? ==38321== ==38321== 303,408 bytes in 63 blocks are still reachable in loss record 2 of 2 ==38321== at 0x4C2B818: operator new(unsigned long) (vg_replace_malloc.c:422) ==38321== by 0x51DF28B: CppAD::thread_alloc::thread_info(unsigned long, bool) (thread_alloc.hpp:231) ==38321== by 0x51DF92A: CppAD::thread_alloc::parallel_setup(unsigned long, bool (*)(), unsigned long (*)()) (thread_alloc.hpp:548) ==38321== by 0x51D9D71: SCIPexprintCppADInitParallel (exprinterpret_cppad.cpp:149) ==38321== by 0x400F9C2: _dl_init (in /usr/lib64/ld-2.17.so) ==38321== by 0x4001179: ??? (in /usr/lib64/ld-2.17.so) ==38321== by 0x8: ??? ==38321== by 0x1FFEFE9C42: ??? ==38321== by 0x1FFEFE9C4B: ??? ==38321== by 0x1FFEFE9C4E: ??? ==38321== by 0x1FFEFE9CCB: ??? ==38321== by 0x1FFEFE9CCE: ??? ==38321== by 0x1FFEFE9CD0: ??? ==38321== by 0x1FFEFE9CD3: ??? ==38321== by 0x1FFEFE9CDD: ??? ==38321== by 0x1FFEFE9CE0: ??? ==38321== ==38321== LEAK SUMMARY: ==38321== definitely lost: 0 bytes in 0 blocks ==38321== indirectly lost: 0 bytes in 0 blocks ==38321== possibly lost: 0 bytes in 0 blocks ==38321== still reachable: 303,536 bytes in 64 blocks ==38321== suppressed: 0 bytes in 0 blocks ==38321== ==38321== For lists of detected and suppressed errors, rerun with: -s ==38321== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)