13.10/13.28 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4503397-1751167718.opb
13.10/13.28 c Solving mode: decision
13.10/13.28 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
13.10/13.28 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
13.10/13.28 c original problem has 483 variables (483 bin, 0 int, 0 impl, 0 cont) and 8027 constraints
13.10/13.28 c presolving:
13.10/13.28 c (round 1, fast) 2 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1984 clqs
13.10/13.28 c (round 2, exhaustive) 2 del vars, 6 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1984 clqs
13.10/13.28 c (round 3, exhaustive) 2 del vars, 6 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 0 chg coeffs, 8019 upgd conss, 0 impls, 1984 clqs
13.10/13.28 c (round 4, exhaustive) 2 del vars, 66 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 94 chg coeffs, 8019 upgd conss, 0 impls, 1984 clqs
13.10/13.28 c (round 5, exhaustive) 2 del vars, 66 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 224 chg coeffs, 8019 upgd conss, 0 impls, 1984 clqs
13.10/13.28 c (round 6, exhaustive) 2 del vars, 70 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 286 chg coeffs, 8019 upgd conss, 0 impls, 1986 clqs
13.10/13.28 c (0.1s) probing: 59/481 (12.3%) - 0 fixings, 0 aggregations, 164 implications, 0 bound changes
13.10/13.28 c (0.1s) probing aborted: 50/50 successive totally useless probings
13.10/13.28 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
13.10/13.28 c (0.2s) no symmetry present (symcode time: 0.00)
13.10/13.28 c presolving (7 rounds: 7 fast, 6 medium, 6 exhaustive):
13.10/13.28 c 2 deleted vars, 70 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 288 changed coefficients
13.10/13.28 c 0 implications, 2150 cliques
13.10/13.28 c presolved problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 7957 constraints
13.10/13.28 c 720 constraints of type <knapsack>
13.10/13.28 c 1984 constraints of type <setppc>
13.10/13.28 c 2 constraints of type <linear>
13.10/13.28 c 5251 constraints of type <logicor>
13.10/13.28 c transformed objective value is always integral (scale: 1)
13.10/13.28 c Presolving Time: 0.17
13.10/13.28 c
13.10/13.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.10/13.28 c 0.3s| 1 | 0 | 98 | - | 47M | 0 | 481 |8008 |7957 | 0 | 0 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
13.10/13.28 c 0.5s| 1 | 0 | 671 | - | 49M | 0 | 481 |8008 |7963 | 6 | 1 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
13.10/13.28 c 0.6s| 1 | 0 | 698 | - | 49M | 0 | 481 |8008 |7969 | 12 | 2 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
13.10/13.28 c 0.7s| 1 | 0 | 715 | - | 51M | 0 | 481 |8008 |7974 | 17 | 3 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
13.10/13.28 c 0.9s| 1 | 0 | 730 | - | 53M | 0 | 481 |8009 |7977 | 20 | 4 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
13.10/13.28 c 1.1s| 1 | 0 | 740 | - | 54M | 0 | 481 |8014 |7980 | 23 | 5 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
13.10/13.28 c 1.3s| 1 | 0 | 764 | - | 56M | 0 | 481 |8015 |7985 | 28 | 6 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
13.10/13.28 c 1.4s| 1 | 0 | 809 | - | 58M | 0 | 481 |8020 |7992 | 35 | 7 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
13.10/13.28 c 1.5s| 1 | 0 | 836 | - | 60M | 0 | 481 |8021 |8001 | 44 | 8 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
13.10/13.28 c 1.6s| 1 | 0 | 849 | - | 62M | 0 | 481 |8021 |8008 | 51 | 9 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
13.10/13.28 c 1.8s| 1 | 0 | 872 | - | 66M | 0 | 481 |8024 |8013 | 56 | 10 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
13.10/13.28 c 1.8s| 1 | 0 | 889 | - | 67M | 0 | 481 |8025 |8020 | 63 | 11 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
13.10/13.28 c 1.9s| 1 | 2 | 914 | - | 67M | 0 | 481 |8035 |8020 | 63 | 11 | 77 | 14 | 0.000000e+00 | -- | Inf | unknown
13.10/13.28 c 4.1s| 100 | 37 | 12305 | 115.8 | 74M | 19 | 481 |8255 |7978 | 138 | 1 | 303 | 14 | 0.000000e+00 | -- | Inf | 7.42%
13.10/13.28 c 4.5s| 200 | 54 | 13409 | 63.1 | 76M | 20 | 481 |8521 |7981 | 163 | 1 | 577 | 14 | 0.000000e+00 | -- | Inf | 8.09%
13.10/13.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.10/13.28 c 6.2s| 300 | 68 | 19270 | 61.6 | 80M | 20 | 481 |8707 |7989 | 244 | 1 | 777 | 14 | 0.000000e+00 | -- | Inf | 12.00%
13.10/13.28 c 7.4s| 400 | 90 | 22191 | 53.5 | 82M | 20 | 481 |8908 |7986 | 271 | 1 |1046 | 14 | 0.000000e+00 | -- | Inf | 12.76%
13.10/13.28 c 7.7s| 500 | 99 | 23230 | 44.9 | 82M | 20 | 481 |9077 |7986 | 271 | 1 |1240 | 14 | 0.000000e+00 | -- | Inf | 12.84%
13.10/13.28 c 8.4s| 600 | 125 | 25655 | 41.4 | 82M | 20 | 481 |9269 |7984 | 279 | 1 |1516 | 14 | 0.000000e+00 | -- | Inf | 13.13%
13.10/13.28 c 9.3s| 700 | 131 | 28642 | 39.8 | 84M | 20 | 481 |9503 | 0 | 316 | 0 |1776 | 14 | 0.000000e+00 | -- | Inf | 13.37%
13.10/13.28 c 10.3s| 800 | 146 | 31665 | 38.6 | 87M | 20 | 481 |9544 |7985 | 410 | 1 |1986 | 14 | 0.000000e+00 | -- | Inf | 13.89%
13.10/13.28 c 11.8s| 900 | 149 | 33900 | 36.8 | 89M | 20 | 481 |9585 |7988 | 493 | 2 |2144 | 14 | 0.000000e+00 | -- | Inf | 14.68%
13.10/13.28 c 12.5s| 1000 | 166 | 35933 | 35.1 | 89M | 20 | 481 |9684 |7991 | 522 | 0 |2344 | 14 | 0.000000e+00 | -- | Inf | 14.73%
13.10/13.28 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
13.10/13.28 c (run 1, node 1009) performing user restart
13.10/13.28 c
13.10/13.28 c (restart) converted 25 cuts from the global cut pool into linear constraints
13.10/13.28 c
13.10/13.28 c presolving:
13.10/13.28 c (round 1, fast) 0 del vars, 129 del conss, 1 add conss, 0 chg bounds, 16 chg sides, 44 chg coeffs, 0 upgd conss, 0 impls, 2176 clqs
13.10/13.28 c (round 2, medium) 0 del vars, 131 del conss, 3 add conss, 0 chg bounds, 43 chg sides, 81 chg coeffs, 0 upgd conss, 0 impls, 2176 clqs
13.10/13.28 c (round 3, exhaustive) 0 del vars, 146 del conss, 8 add conss, 0 chg bounds, 43 chg sides, 81 chg coeffs, 0 upgd conss, 0 impls, 2176 clqs
13.10/13.28 c (round 4, exhaustive) 0 del vars, 146 del conss, 8 add conss, 0 chg bounds, 43 chg sides, 120 chg coeffs, 0 upgd conss, 0 impls, 2176 clqs
13.10/13.28 c (round 5, exhaustive) 0 del vars, 146 del conss, 8 add conss, 0 chg bounds, 43 chg sides, 127 chg coeffs, 32 upgd conss, 0 impls, 2176 clqs
13.10/13.28 c (round 6, medium) 0 del vars, 148 del conss, 8 add conss, 0 chg bounds, 77 chg sides, 161 chg coeffs, 32 upgd conss, 0 impls, 2177 clqs
13.10/13.28 c (round 7, exhaustive) 0 del vars, 387 del conss, 8 add conss, 0 chg bounds, 77 chg sides, 910 chg coeffs, 32 upgd conss, 0 impls, 2177 clqs
13.10/13.28 c (round 8, exhaustive) 0 del vars, 405 del conss, 8 add conss, 0 chg bounds, 77 chg sides, 926 chg coeffs, 32 upgd conss, 0 impls, 2177 clqs
13.10/13.28 c presolving (9 rounds: 9 fast, 8 medium, 6 exhaustive):
13.10/13.28 c 0 deleted vars, 405 deleted constraints, 8 added constraints, 0 tightened bounds, 0 added holes, 77 changed sides, 943 changed coefficients
13.10/13.28 c 0 implications, 2177 cliques
13.10/13.28 c presolved problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 9313 constraints
13.10/13.28 c 758 constraints of type <knapsack>
13.10/13.28 c 2003 constraints of type <setppc>
13.10/13.28 c 5 constraints of type <and>
13.10/13.28 c 34 constraints of type <linear>
13.10/13.28 c 6513 constraints of type <logicor>
13.10/13.28 c transformed objective value is always integral (scale: 1)
13.10/13.28 c Presolving Time: 0.29
13.10/13.28 c
13.10/13.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.10/13.28 c 12.8s| 1 | 0 | 36277 | - | 90M | 0 | 481 |9328 |7985 | 0 | 0 |2364 | 14 | 0.000000e+00 | -- | Inf | unknown
44.81/45.03 c 13.1s| 1 | 0 | 36302 | - | 90M | 0 | 481 |9402 |7991 | 6 | 1 |2366 | 14 | 0.000000e+00 | -- | Inf | unknown
44.81/45.03 c 13.3s| 1 | 0 | 36325 | - | 90M | 0 | 481 |9403 |7997 | 12 | 2 |2367 | 14 | 0.000000e+00 | -- | Inf | unknown
44.81/45.03 c 13.4s| 1 | 0 | 36356 | - | 91M | 0 | 481 |9406 |8004 | 19 | 3 |2370 | 14 | 0.000000e+00 | -- | Inf | unknown
44.81/45.03 c 13.5s| 1 | 0 | 36384 | - | 92M | 0 | 481 |9407 |8009 | 24 | 4 |2371 | 14 | 0.000000e+00 | -- | Inf | unknown
44.81/45.03 c 13.6s| 1 | 0 | 36412 | - | 93M | 0 | 481 |9408 |8017 | 32 | 5 |2372 | 14 | 0.000000e+00 | -- | Inf | unknown
44.81/45.03 c 13.6s| 1 | 0 | 36443 | - | 94M | 0 | 481 |9411 |8020 | 35 | 6 |2375 | 14 | 0.000000e+00 | -- | Inf | unknown
44.81/45.03 c 13.8s| 1 | 0 | 36455 | - | 96M | 0 | 481 |9413 |8024 | 39 | 7 |2377 | 14 | 0.000000e+00 | -- | Inf | unknown
44.81/45.03 c 13.8s| 1 | 0 | 36474 | - | 98M | 0 | 481 |9414 |8027 | 42 | 8 |2378 | 14 | 0.000000e+00 | -- | Inf | unknown
44.81/45.03 c 14.0s| 1 | 0 | 36504 | - | 101M | 0 | 481 |9415 |8030 | 45 | 9 |2379 | 14 | 0.000000e+00 | -- | Inf | unknown
44.81/45.03 c 14.1s| 1 | 0 | 36547 | - | 105M | 0 | 481 |9425 |8011 | 50 | 10 |2389 | 14 | 0.000000e+00 | -- | Inf | unknown
44.81/45.03 c 14.1s| 1 | 0 | 36569 | - | 106M | 0 | 481 |9427 |8015 | 54 | 11 |2391 | 14 | 0.000000e+00 | -- | Inf | unknown
44.81/45.03 c 14.3s| 1 | 2 | 36856 | - | 106M | 0 | 481 |9434 |8015 | 54 | 11 |2398 | 27 | 0.000000e+00 | -- | Inf | unknown
44.81/45.03 c 15.8s| 100 | 41 | 41250 | 36.1 | 111M | 18 | 481 |9699 | 0 | 139 | 0 |2704 | 27 | 0.000000e+00 | -- | Inf | 4.12%
44.81/45.03 c 16.7s| 200 | 87 | 46766 | 37.7 | 112M | 19 | 481 |9954 |7980 | 157 | 1 |3064 | 27 | 0.000000e+00 | -- | Inf | 4.37%
44.81/45.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.81/45.03 c 17.5s| 300 | 119 | 51596 | 38.5 | 112M | 20 | 481 | 10k|7985 | 186 | 1 |3322 | 27 | 0.000000e+00 | -- | Inf | 4.54%
44.81/45.03 c 18.0s| 400 | 144 | 55323 | 38.4 | 112M | 21 | 481 | 10k| 0 | 190 | 0 |3580 | 27 | 0.000000e+00 | -- | Inf | 4.83%
44.81/45.03 c 19.0s| 500 | 190 | 59082 | 38.4 | 115M | 23 | 481 | 10k|7983 | 279 | 1 |4139 | 27 | 0.000000e+00 | -- | Inf | 5.95%
44.81/45.03 c 19.8s| 600 | 216 | 61949 | 37.8 | 115M | 23 | 481 | 10k|7976 | 350 | 1 |4516 | 27 | 0.000000e+00 | -- | Inf | 6.28%
44.81/45.03 c 20.9s| 700 | 243 | 65196 | 37.5 | 115M | 23 | 481 | 11k| 0 | 458 | 0 |4868 | 27 | 0.000000e+00 | -- | Inf | 7.14%
44.81/45.03 c 21.8s| 800 | 282 | 67772 | 36.8 | 116M | 23 | 481 | 11k|7981 | 497 | 1 |5114 | 27 | 0.000000e+00 | -- | Inf | 7.29%
44.81/45.03 c 22.1s| 900 | 302 | 69725 | 35.9 | 116M | 23 | 481 | 11k| 0 | 498 | 0 |5311 | 27 | 0.000000e+00 | -- | Inf | 7.32%
44.81/45.03 c 22.6s| 1000 | 323 | 72902 | 35.7 | 118M | 23 | 481 | 11k|7980 | 544 | 1 |5561 | 27 | 0.000000e+00 | -- | Inf | 7.57%
44.81/45.03 c 23.2s| 1100 | 341 | 75208 | 35.1 | 119M | 24 | 481 | 11k|7976 | 554 | 1 |5772 | 27 | 0.000000e+00 | -- | Inf | 10.24%
44.81/45.03 c 24.1s| 1200 | 350 | 78187 | 34.9 | 119M | 24 | 481 | 11k|7981 | 656 | 1 |5942 | 27 | 0.000000e+00 | -- | Inf | 12.80%
44.81/45.03 c 24.6s| 1300 | 360 | 80934 | 34.5 | 119M | 27 | 481 | 11k|7984 | 681 | 1 |6207 | 27 | 0.000000e+00 | -- | Inf | 12.90%
44.81/45.03 c 25.3s| 1400 | 397 | 84244 | 34.5 | 119M | 27 | 481 | 11k|7985 | 725 | 1 |6381 | 27 | 0.000000e+00 | -- | Inf | 13.22%
44.81/45.03 c 25.7s| 1500 | 419 | 87467 | 34.4 | 120M | 29 | 481 | 11k|7987 | 741 | 1 |6627 | 27 | 0.000000e+00 | -- | Inf | 13.24%
44.81/45.03 c 26.2s| 1600 | 438 | 90296 | 34.2 | 120M | 29 | 481 | 11k|7986 | 751 | 1 |6845 | 27 | 0.000000e+00 | -- | Inf | 13.25%
44.81/45.03 c 26.5s| 1700 | 432 | 92381 | 33.7 | 122M | 29 | 481 | 11k|7976 | 773 | 1 |7052 | 27 | 0.000000e+00 | -- | Inf | 13.72%
44.81/45.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.81/45.03 c 27.6s| 1800 | 465 | 94953 | 33.4 | 122M | 29 | 481 | 11k| 0 | 897 | 0 |7292 | 27 | 0.000000e+00 | -- | Inf | 14.52%
44.81/45.03 c 28.9s| 1900 | 485 | 97137 | 33.0 | 123M | 29 | 481 | 11k| 0 |1010 | 0 |7480 | 27 | 0.000000e+00 | -- | Inf | 15.58%
44.81/45.03 c 29.9s| 2000 | 483 | 99004 | 32.5 | 126M | 29 | 481 | 11k|7981 |1127 | 1 |7697 | 27 | 0.000000e+00 | -- | Inf | 17.29%
44.81/45.03 c 30.8s| 2100 | 491 |100924 | 32.1 | 127M | 29 | 481 | 11k|7987 |1223 | 1 |7860 | 27 | 0.000000e+00 | -- | Inf | 17.98%
44.81/45.03 c 31.1s| 2200 | 489 |102988 | 31.7 | 127M | 29 | 481 | 11k|7984 |1250 | 1 |8059 | 27 | 0.000000e+00 | -- | Inf | 18.22%
44.81/45.03 c 31.9s| 2300 | 500 |107459 | 32.1 | 127M | 29 | 481 | 11k|7976 |1292 | 1 |8241 | 27 | 0.000000e+00 | -- | Inf | 18.71%
44.81/45.03 c 34.0s| 2400 | 542 |110516 | 32.1 | 130M | 29 | 481 | 11k|7988 |1434 | 2 |8466 | 27 | 0.000000e+00 | -- | Inf | 19.93%
44.81/45.03 c 34.4s| 2500 | 563 |112309 | 31.7 | 130M | 29 | 481 | 12k| 0 |1438 | 0 |8705 | 27 | 0.000000e+00 | -- | Inf | 20.01%
44.81/45.03 c 35.4s| 2600 | 578 |114471 | 31.4 | 130M | 29 | 481 | 12k|7979 |1495 | 1 |8882 | 27 | 0.000000e+00 | -- | Inf | 20.73%
44.81/45.03 c 36.2s| 2700 | 596 |117274 | 31.3 | 131M | 29 | 481 | 12k|7985 |1572 | 1 |9145 | 27 | 0.000000e+00 | -- | Inf | 21.18%
44.81/45.03 c 36.5s| 2800 | 597 |119536 | 31.1 | 131M | 29 | 481 | 12k|7975 |1572 | 1 |9317 | 27 | 0.000000e+00 | -- | Inf | 21.36%
44.81/45.03 c 37.2s| 2900 | 626 |124188 | 31.5 | 131M | 29 | 481 | 12k|7985 |1597 | 1 |9559 | 27 | 0.000000e+00 | -- | Inf | 21.47%
44.81/45.03 c 37.4s| 3000 | 624 |125876 | 31.1 | 132M | 29 | 481 | 12k|7981 |1597 | 1 |9783 | 27 | 0.000000e+00 | -- | Inf | 21.53%
44.81/45.03 c 37.8s| 3100 | 633 |128306 | 30.9 | 133M | 29 | 481 | 12k|7977 |1629 | 1 |9966 | 27 | 0.000000e+00 | -- | Inf | 24.55%
44.81/45.03 c 38.2s| 3200 | 648 |130430 | 30.7 | 133M | 29 | 481 | 12k|7975 |1650 | 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 25.30%
44.81/45.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.81/45.03 c 38.9s| 3300 | 685 |134314 | 30.9 | 135M | 29 | 481 | 12k|7981 |1677 | 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 25.49%
44.81/45.03 c 39.4s| 3400 | 715 |137678 | 31.0 | 135M | 29 | 481 | 12k|7983 |1689 | 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 25.52%
44.81/45.03 c 40.2s| 3500 | 721 |140917 | 31.0 | 135M | 29 | 481 | 12k|7981 |1740 | 1 | 11k| 27 | 0.000000e+00 | -- | Inf | 26.29%
44.81/45.03 c 40.6s| 3600 | 721 |143023 | 30.8 | 137M | 29 | 481 | 12k|7976 |1750 | 1 | 11k| 27 | 0.000000e+00 | -- | Inf | 26.81%
44.81/45.03 c 41.6s| 3700 | 737 |145551 | 30.7 | 137M | 29 | 481 | 11k|7986 |1832 | 1 | 11k| 27 | 0.000000e+00 | -- | Inf | 27.59%
44.81/45.03 c 42.2s| 3800 | 736 |147612 | 30.4 | 137M | 33 | 481 | 11k|7985 |1864 | 1 | 11k| 27 | 0.000000e+00 | -- | Inf | 27.77%
44.81/45.03 c 42.8s| 3900 | 732 |149593 | 30.2 | 137M | 33 | 481 | 11k| 0 |1909 | 0 | 11k| 27 | 0.000000e+00 | -- | Inf | 28.54%
44.81/45.03 c 43.3s| 4000 | 749 |151427 | 30.0 | 137M | 33 | 481 | 11k| 0 |1939 | 0 | 12k| 27 | 0.000000e+00 | -- | Inf | 28.80%
44.81/45.03 c 43.7s| 4100 | 759 |153703 | 29.9 | 137M | 33 | 481 | 12k|7982 |1984 | 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 29.48%
70.02/70.33 c 44.9s| 4200 | 789 |156823 | 29.9 | 139M | 33 | 481 | 12k|7991 |2042 | 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 30.01%
70.02/70.33 c 45.1s| 4300 | 782 |158421 | 29.6 | 139M | 33 | 481 | 12k|7988 |2049 | 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 30.20%
70.02/70.33 c 45.6s| 4400 | 805 |161140 | 29.6 | 139M | 33 | 481 | 12k|7990 |2065 | 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 30.31%
70.02/70.33 c 46.1s| 4500 | 816 |163987 | 29.6 | 140M | 33 | 481 | 12k| 0 |2099 | 0 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.05%
70.02/70.33 c 46.9s| 4600 | 823 |167151 | 29.6 | 141M | 33 | 481 | 12k|7985 |2164 | 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.51%
70.02/70.33 c 47.2s| 4700 | 840 |169184 | 29.4 | 141M | 33 | 481 | 12k|7988 |2166 | 0 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.58%
70.02/70.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
70.02/70.33 c 47.8s| 4800 | 841 |170626 | 29.2 | 141M | 33 | 481 | 12k|7986 |2211 | 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 33.43%
70.02/70.33 c 48.2s| 4900 | 843 |172164 | 28.9 | 145M | 33 | 481 | 12k|7986 |2221 | 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 33.64%
70.02/70.33 c 48.5s| 5000 | 856 |174480 | 28.8 | 145M | 33 | 481 | 12k|7983 |2235 | 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 33.70%
70.02/70.33 c 48.8s| 5100 | 853 |176132 | 28.6 | 145M | 33 | 481 | 12k| 0 |2258 | 0 | 14k| 27 | 0.000000e+00 | -- | Inf | 34.19%
70.02/70.33 c 49.2s| 5200 | 849 |177391 | 28.4 | 145M | 33 | 481 | 12k|7987 |2274 | 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 34.37%
70.02/70.33 c 49.7s| 5300 | 858 |179502 | 28.3 | 145M | 33 | 481 | 12k| 0 |2309 | 0 | 14k| 27 | 0.000000e+00 | -- | Inf | 35.90%
70.02/70.33 c 50.3s| 5400 | 873 |182224 | 28.2 | 145M | 33 | 481 | 12k|7981 |2358 | 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 36.31%
70.02/70.33 c 50.6s| 5500 | 872 |184103 | 28.1 | 145M | 33 | 481 | 12k|7988 |2363 | 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 36.45%
70.02/70.33 c 51.1s| 5600 | 887 |186417 | 28.0 | 145M | 33 | 481 | 12k|7990 |2403 | 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 36.70%
70.02/70.33 c 51.3s| 5700 | 899 |187962 | 27.8 | 145M | 33 | 481 | 12k|7991 |2421 | 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 36.70%
70.02/70.33 c 51.8s| 5800 | 937 |191987 | 28.0 | 145M | 33 | 481 | 12k|7991 |2438 | 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 36.71%
70.02/70.33 c 52.2s| 5900 | 946 |194422 | 28.0 | 145M | 33 | 481 | 12k| 0 |2452 | 0 | 15k| 27 | 0.000000e+00 | -- | Inf | 36.72%
70.02/70.33 c 52.5s| 6000 | 930 |196070 | 27.8 | 145M | 33 | 481 | 12k|7988 |2452 | 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 37.76%
70.02/70.33 c 53.2s| 6100 | 950 |198137 | 27.7 | 145M | 33 | 481 | 12k|7986 |2496 | 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 39.41%
70.02/70.33 c 53.8s| 6200 | 973 |201392 | 27.8 | 145M | 33 | 481 | 12k|7982 |2518 | 0 | 16k| 27 | 0.000000e+00 | -- | Inf | 39.95%
70.02/70.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
70.02/70.33 c 54.3s| 6300 | 967 |203274 | 27.6 | 145M | 33 | 481 | 12k| 0 |2543 | 0 | 16k| 27 | 0.000000e+00 | -- | Inf | 41.79%
70.02/70.33 c 54.8s| 6400 | 976 |205380 | 27.6 | 145M | 33 | 481 | 12k|7986 |2573 | 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 42.00%
70.02/70.33 c 55.2s| 6500 | 986 |207332 | 27.5 | 145M | 33 | 481 | 12k|7982 |2603 | 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 42.32%
70.02/70.33 c 55.9s| 6600 | 993 |209916 | 27.4 | 145M | 33 | 481 | 12k|7992 |2646 | 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 42.45%
70.02/70.33 c 56.1s| 6700 | 990 |211304 | 27.3 | 145M | 33 | 481 | 12k| 0 |2646 | 0 | 17k| 27 | 0.000000e+00 | -- | Inf | 42.53%
70.02/70.33 c 56.6s| 6800 | 1003 |212794 | 27.1 | 146M | 33 | 481 | 12k|7984 |2675 | 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 42.82%
70.02/70.33 c 56.9s| 6900 | 1016 |214497 | 27.0 | 146M | 33 | 481 | 13k|7994 |2696 | 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 42.91%
70.02/70.33 c 57.6s| 7000 | 1034 |216421 | 26.9 | 146M | 33 | 481 | 13k|7987 |2759 | 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 43.23%
70.02/70.33 c 58.1s| 7100 | 1029 |217888 | 26.7 | 146M | 33 | 481 | 12k|7990 |2802 | 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 43.80%
70.02/70.33 c 58.4s| 7200 | 1025 |220360 | 26.7 | 146M | 33 | 481 | 12k|7992 |2829 | 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 44.02%
70.02/70.33 c 58.8s| 7300 | 1029 |221926 | 26.6 | 148M | 33 | 481 | 13k|7984 |2837 | 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 44.25%
70.02/70.33 c 59.3s| 7400 | 1038 |224550 | 26.6 | 148M | 33 | 481 | 12k|7979 |2843 | 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 44.53%
70.02/70.33 c 59.9s| 7500 | 1032 |226780 | 26.5 | 148M | 33 | 481 | 12k|7990 |2904 | 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 44.91%
70.02/70.33 c 60.5s| 7600 | 1050 |229670 | 26.5 | 148M | 33 | 481 | 12k|7988 |2940 | 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 45.34%
70.02/70.33 c 60.9s| 7700 | 1068 |232382 | 26.5 | 148M | 33 | 481 | 12k|7988 |2957 | 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 45.41%
70.02/70.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
70.02/70.33 c 61.2s| 7800 | 1085 |234797 | 26.5 | 148M | 33 | 481 | 12k|7976 |2984 | 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 45.82%
70.02/70.33 c 61.8s| 7900 | 1068 |236283 | 26.4 | 148M | 33 | 481 | 12k| 0 |3021 | 0 | 19k| 27 | 0.000000e+00 | -- | Inf | 47.14%
70.02/70.33 c 62.5s| 8000 | 1053 |237981 | 26.3 | 148M | 33 | 481 | 12k|7983 |3043 | 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 47.63%
70.02/70.33 c 62.9s| 8100 | 1053 |239530 | 26.2 | 152M | 33 | 481 | 12k|7985 |3052 | 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 47.82%
70.02/70.33 c 63.3s| 8200 | 1078 |242661 | 26.2 | 152M | 33 | 481 | 12k|7993 |3092 | 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 47.89%
70.02/70.33 c 63.8s| 8300 | 1090 |245897 | 26.3 | 152M | 33 | 481 | 12k|7982 |3109 | 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 47.99%
70.02/70.33 c 64.4s| 8400 | 1105 |248937 | 26.3 | 152M | 33 | 481 | 12k|7993 |3141 | 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 48.29%
70.02/70.33 c 64.8s| 8500 | 1113 |251610 | 26.3 | 152M | 33 | 481 | 13k|7985 |3156 | 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 48.54%
70.02/70.33 c 65.3s| 8600 | 1104 |253597 | 26.3 | 152M | 33 | 481 | 13k|7985 |3181 | 2 | 20k| 27 | 0.000000e+00 | -- | Inf | 48.62%
70.02/70.33 c 66.3s| 8700 | 1130 |257410 | 26.4 | 152M | 33 | 481 | 13k|7981 |3266 | 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 49.03%
70.02/70.33 c 67.3s| 8800 | 1144 |259306 | 26.3 | 152M | 33 | 481 | 13k|7989 |3365 | 2 | 21k| 27 | 0.000000e+00 | -- | Inf | 49.46%
70.02/70.33 c 67.7s| 8900 | 1138 |261082 | 26.2 | 152M | 33 | 481 | 13k| 0 |3397 | 0 | 21k| 27 | 0.000000e+00 | -- | Inf | 49.70%
70.02/70.33 c 68.3s| 9000 | 1140 |262852 | 26.1 | 154M | 33 | 481 | 12k|7983 |3450 | 0 | 21k| 27 | 0.000000e+00 | -- | Inf | 50.81%
70.02/70.33 c 68.5s| 9100 | 1147 |264183 | 26.0 | 154M | 33 | 481 | 13k|7990 |3450 | 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 50.89%
70.02/70.33 c 69.3s| 9200 | 1181 |267949 | 26.1 | 154M | 33 | 481 | 13k|7986 |3487 | 2 | 21k| 27 | 0.000000e+00 | -- | Inf | 51.02%
70.02/70.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
70.02/70.33 c 69.7s| 9300 | 1185 |268924 | 26.0 | 154M | 33 | 481 | 13k|7984 |3509 | 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 51.47%
95.55/95.93 c 70.2s| 9400 | 1188 |270901 | 25.9 | 154M | 33 | 481 | 13k|7987 |3541 | 0 | 22k| 27 | 0.000000e+00 | -- | Inf | 53.29%
95.55/95.93 c 70.6s| 9500 | 1206 |272844 | 25.8 | 156M | 33 | 481 | 13k|7993 |3577 | 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 53.34%
95.55/95.93 c 70.9s| 9600 | 1194 |274250 | 25.7 | 156M | 33 | 481 | 13k|7983 |3599 | 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 53.62%
95.55/95.93 c 71.4s| 9700 | 1205 |276968 | 25.8 | 156M | 33 | 481 | 13k|7991 |3636 | 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 54.57%
95.55/95.93 c 72.3s| 9800 | 1211 |279195 | 25.7 | 159M | 33 | 481 | 13k|7996 |3702 | 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 54.91%
95.55/95.93 c 72.7s| 9900 | 1212 |281014 | 25.7 | 159M | 33 | 481 | 13k|7991 |3737 | 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 55.20%
95.55/95.93 c 73.2s| 10000 | 1225 |283039 | 25.6 | 159M | 33 | 481 | 13k|7987 |3785 | 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 55.50%
95.55/95.93 c 73.5s| 10100 | 1223 |284420 | 25.5 | 159M | 33 | 481 | 13k|7989 |3785 | 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 55.56%
95.55/95.93 c 74.1s| 10200 | 1210 |286461 | 25.5 | 159M | 33 | 481 | 13k| 0 |3822 | 0 | 23k| 27 | 0.000000e+00 | -- | Inf | 55.93%
95.55/95.93 c 74.9s| 10300 | 1206 |288866 | 25.4 | 159M | 33 | 481 | 12k|7977 |3902 | 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 56.95%
95.55/95.93 c 75.4s| 10400 | 1223 |291094 | 25.4 | 164M | 33 | 481 | 12k| 0 |3932 | 0 | 23k| 27 | 0.000000e+00 | -- | Inf | 57.01%
95.55/95.93 c 75.7s| 10500 | 1224 |292778 | 25.3 | 164M | 33 | 481 | 12k|7977 |3938 | 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 57.12%
95.55/95.93 c 76.1s| 10600 | 1224 |293936 | 25.2 | 164M | 33 | 481 | 12k|7993 |3993 | 1 | 24k| 27 | 0.000000e+00 | -- | Inf | 57.32%
95.55/95.93 c 76.8s| 10700 | 1233 |296047 | 25.2 | 164M | 33 | 481 | 12k| 0 |4040 | 0 | 24k| 27 | 0.000000e+00 | -- | Inf | 58.06%
95.55/95.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
95.55/95.93 c 77.2s| 10800 | 1219 |297637 | 25.1 | 164M | 33 | 481 | 12k| 0 |4050 | 0 | 24k| 27 | 0.000000e+00 | -- | Inf | 60.40%
95.55/95.93 c 77.6s| 10900 | 1211 |299276 | 25.0 | 164M | 33 | 481 | 12k| 0 |4068 | 0 | 24k| 27 | 0.000000e+00 | -- | Inf | 62.45%
95.55/95.93 c 78.1s| 11000 | 1215 |300799 | 24.9 | 164M | 33 | 481 | 12k| 0 |4106 | 0 | 24k| 27 | 0.000000e+00 | -- | Inf | 62.91%
95.55/95.93 c 78.9s| 11100 | 1203 |302438 | 24.9 | 164M | 33 | 481 | 12k|7989 |4164 | 0 | 24k| 27 | 0.000000e+00 | -- | Inf | 63.69%
95.55/95.93 c 79.5s| 11200 | 1205 |304179 | 24.8 | 164M | 33 | 481 | 12k| 0 |4227 | 0 | 25k| 27 | 0.000000e+00 | -- | Inf | 64.19%
95.55/95.93 c 80.0s| 11300 | 1213 |306665 | 24.8 | 164M | 33 | 481 | 12k| 0 |4248 | 0 | 25k| 27 | 0.000000e+00 | -- | Inf | 64.72%
95.55/95.93 c 80.5s| 11400 | 1213 |308864 | 24.8 | 164M | 33 | 481 | 12k|7985 |4265 | 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 64.97%
95.55/95.93 c 81.0s| 11500 | 1225 |311147 | 24.8 | 164M | 33 | 481 | 12k|7991 |4295 | 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 65.37%
95.55/95.93 c 81.4s| 11600 | 1233 |314134 | 24.8 | 164M | 33 | 481 | 12k|7992 |4316 | 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 65.46%
95.55/95.93 c 82.0s| 11700 | 1255 |317092 | 24.9 | 164M | 33 | 481 | 12k|7991 |4379 | 1 | 26k| 27 | 0.000000e+00 | -- | Inf | 65.65%
95.55/95.93 c 82.2s| 11800 | 1261 |318397 | 24.8 | 164M | 33 | 481 | 12k|7991 |4381 | 1 | 26k| 27 | 0.000000e+00 | -- | Inf | 65.65%
95.55/95.93 c 82.5s| 11900 | 1269 |319885 | 24.7 | 164M | 33 | 481 | 13k|7991 |4383 | 1 | 26k| 27 | 0.000000e+00 | -- | Inf | 65.66%
95.55/95.93 c 82.9s| 12000 | 1282 |321439 | 24.6 | 164M | 33 | 481 | 13k|7996 |4428 | 2 | 26k| 27 | 0.000000e+00 | -- | Inf | 65.71%
95.55/95.93 c 83.5s| 12100 | 1318 |324923 | 24.7 | 164M | 33 | 481 | 13k|7995 |4453 | 2 | 26k| 27 | 0.000000e+00 | -- | Inf | 65.87%
95.55/95.93 c 83.7s| 12200 | 1337 |326662 | 24.6 | 165M | 33 | 481 | 13k| 0 |4465 | 0 | 26k| 27 | 0.000000e+00 | -- | Inf | 65.90%
95.55/95.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
95.55/95.93 c 84.0s| 12300 | 1337 |328450 | 24.6 | 165M | 33 | 481 | 13k|7996 |4470 | 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 65.92%
95.55/95.93 c 84.5s| 12400 | 1341 |331365 | 24.6 | 166M | 33 | 481 | 13k|7990 |4493 | 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 66.34%
95.55/95.93 c 85.2s| 12500 | 1346 |334767 | 24.7 | 166M | 33 | 481 | 13k|7989 |4536 | 2 | 27k| 27 | 0.000000e+00 | -- | Inf | 66.93%
95.55/95.93 c 85.5s| 12600 | 1355 |336825 | 24.7 | 166M | 33 | 481 | 13k|7977 |4547 | 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 67.15%
95.55/95.93 c 86.4s| 12700 | 1333 |338417 | 24.6 | 166M | 33 | 481 | 13k|7982 |4622 | 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 67.85%
95.55/95.93 c 86.7s| 12800 | 1304 |340544 | 24.6 | 166M | 33 | 481 | 13k| 0 |4637 | 0 | 27k| 27 | 0.000000e+00 | -- | Inf | 68.15%
95.55/95.93 c 87.7s| 12900 | 1318 |344713 | 24.7 | 166M | 33 | 481 | 13k| 0 |4722 | 0 | 28k| 27 | 0.000000e+00 | -- | Inf | 68.47%
95.55/95.93 c 88.4s| 13000 | 1330 |347021 | 24.7 | 166M | 33 | 481 | 13k| 0 |4782 | 0 | 28k| 27 | 0.000000e+00 | -- | Inf | 68.66%
95.55/95.93 c 88.8s| 13100 | 1336 |348390 | 24.6 | 166M | 33 | 481 | 13k| 0 |4803 | 0 | 28k| 27 | 0.000000e+00 | -- | Inf | 68.79%
95.55/95.93 c 89.0s| 13200 | 1335 |349663 | 24.5 | 169M | 33 | 481 | 13k|7987 |4804 | 1 | 28k| 27 | 0.000000e+00 | -- | Inf | 68.84%
95.55/95.93 c 89.4s| 13300 | 1336 |351326 | 24.5 | 169M | 33 | 481 | 13k| 0 |4844 | 0 | 28k| 27 | 0.000000e+00 | -- | Inf | 68.98%
95.55/95.93 c 90.2s| 13400 | 1344 |353601 | 24.5 | 174M | 33 | 481 | 13k| 0 |4888 | 0 | 28k| 27 | 0.000000e+00 | -- | Inf | 70.09%
95.55/95.93 c 91.0s| 13500 | 1354 |356785 | 24.5 | 174M | 33 | 481 | 13k|7992 |4933 | 2 | 29k| 27 | 0.000000e+00 | -- | Inf | 70.25%
95.55/95.93 c 91.4s| 13600 | 1370 |359731 | 24.5 | 174M | 33 | 481 | 13k|7991 |4940 | 1 | 29k| 27 | 0.000000e+00 | -- | Inf | 70.35%
95.55/95.93 c 92.0s| 13700 | 1385 |362225 | 24.5 | 174M | 33 | 481 | 13k|7993 |4987 | 1 | 29k| 27 | 0.000000e+00 | -- | Inf | 70.44%
95.55/95.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
95.55/95.93 c 92.4s| 13800 | 1400 |364893 | 24.6 | 174M | 33 | 481 | 13k|7993 |4996 | 1 | 29k| 27 | 0.000000e+00 | -- | Inf | 70.52%
95.55/95.93 c 92.6s| 13900 | 1381 |366338 | 24.5 | 174M | 33 | 481 | 13k| 0 |5003 | 0 | 29k| 27 | 0.000000e+00 | -- | Inf | 70.58%
95.55/95.93 c 93.0s| 14000 | 1398 |368646 | 24.5 | 174M | 33 | 481 | 13k|7984 |5013 | 1 | 30k| 27 | 0.000000e+00 | -- | Inf | 70.70%
95.55/95.93 c 93.3s| 14100 | 1389 |370395 | 24.4 | 174M | 33 | 481 | 13k|7981 |5014 | 1 | 30k| 27 | 0.000000e+00 | -- | Inf | 70.76%
95.55/95.93 c 93.7s| 14200 | 1412 |372458 | 24.4 | 174M | 33 | 481 | 13k|7989 |5028 | 2 | 30k| 27 | 0.000000e+00 | -- | Inf | 70.77%
95.55/95.93 c 94.0s| 14300 | 1424 |374079 | 24.4 | 174M | 33 | 481 | 13k|7983 |5036 | 1 | 30k| 27 | 0.000000e+00 | -- | Inf | 70.95%
95.55/95.93 c 94.7s| 14400 | 1433 |377571 | 24.4 | 174M | 33 | 481 | 13k|7988 |5081 | 1 | 30k| 27 | 0.000000e+00 | -- | Inf | 71.25%
95.55/95.93 c 95.1s| 14500 | 1436 |379225 | 24.4 | 174M | 33 | 481 | 13k| 0 |5102 | 0 | 30k| 27 | 0.000000e+00 | -- | Inf | 71.33%
95.55/95.93 c 95.5s| 14600 | 1426 |380890 | 24.3 | 174M | 33 | 481 | 13k|7989 |5115 | 1 | 31k| 27 | 0.000000e+00 | -- | Inf | 71.52%
117.58/118.07 c 95.8s| 14700 | 1428 |383031 | 24.3 | 174M | 33 | 481 | 13k|7993 |5134 | 1 | 31k| 27 | 0.000000e+00 | -- | Inf | 71.71%
117.58/118.07 c 96.3s| 14800 | 1438 |384557 | 24.2 | 174M | 33 | 481 | 13k|7995 |5194 | 1 | 31k| 27 | 0.000000e+00 | -- | Inf | 71.91%
117.58/118.07 c 96.8s| 14900 | 1435 |386163 | 24.2 | 174M | 33 | 481 | 13k|7984 |5237 | 1 | 31k| 27 | 0.000000e+00 | -- | Inf | 72.15%
117.58/118.07 c 97.7s| 15000 | 1454 |389279 | 24.2 | 174M | 33 | 481 | 13k| 0 |5307 | 0 | 31k| 27 | 0.000000e+00 | -- | Inf | 72.32%
117.58/118.07 c 98.1s| 15100 | 1454 |391853 | 24.3 | 174M | 33 | 481 | 13k|7981 |5317 | 1 | 31k| 27 | 0.000000e+00 | -- | Inf | 72.41%
117.58/118.07 c 98.3s| 15200 | 1454 |392998 | 24.2 | 174M | 33 | 481 | 13k|7981 |5317 | 1 | 32k| 27 | 0.000000e+00 | -- | Inf | 72.56%
117.58/118.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.58/118.07 c 98.9s| 15300 | 1466 |395279 | 24.2 | 174M | 33 | 481 | 13k|7990 |5366 | 1 | 32k| 27 | 0.000000e+00 | -- | Inf | 72.79%
117.58/118.07 c 99.4s| 15400 | 1473 |397818 | 24.2 | 175M | 33 | 481 | 13k|7989 |5400 | 1 | 32k| 27 | 0.000000e+00 | -- | Inf | 73.00%
117.58/118.07 c 100s| 15500 | 1486 |399744 | 24.1 | 175M | 33 | 481 | 13k|7995 |5452 | 1 | 32k| 27 | 0.000000e+00 | -- | Inf | 73.18%
117.58/118.07 c 101s| 15600 | 1487 |401299 | 24.1 | 175M | 33 | 481 | 13k|7983 |5465 | 1 | 32k| 27 | 0.000000e+00 | -- | Inf | 73.24%
117.58/118.07 c 101s| 15700 | 1486 |402963 | 24.0 | 175M | 33 | 481 | 13k|7982 |5498 | 1 | 32k| 27 | 0.000000e+00 | -- | Inf | 74.00%
117.58/118.07 c 102s| 15800 | 1480 |404303 | 24.0 | 175M | 33 | 481 | 13k|7993 |5524 | 1 | 33k| 27 | 0.000000e+00 | -- | Inf | 74.33%
117.58/118.07 c 102s| 15900 | 1487 |407133 | 24.0 | 175M | 33 | 481 | 13k|7991 |5550 | 1 | 33k| 27 | 0.000000e+00 | -- | Inf | 74.44%
117.58/118.07 c 102s| 16000 | 1487 |409241 | 24.0 | 175M | 33 | 481 | 13k|7976 |5575 | 1 | 33k| 27 | 0.000000e+00 | -- | Inf | 74.56%
117.58/118.07 c 103s| 16100 | 1478 |411551 | 24.0 | 175M | 33 | 481 | 13k|7989 |5625 | 1 | 33k| 27 | 0.000000e+00 | -- | Inf | 75.19%
117.58/118.07 c 103s| 16200 | 1479 |413392 | 24.0 | 175M | 33 | 481 | 13k|7992 |5628 | 1 | 33k| 27 | 0.000000e+00 | -- | Inf | 75.42%
117.58/118.07 c 104s| 16300 | 1482 |415196 | 23.9 | 175M | 33 | 481 | 13k|7995 |5657 | 1 | 34k| 27 | 0.000000e+00 | -- | Inf | 75.50%
117.58/118.07 c 104s| 16400 | 1464 |416835 | 23.9 | 175M | 33 | 481 | 13k| 0 |5685 | 0 | 34k| 27 | 0.000000e+00 | -- | Inf | 75.75%
117.58/118.07 c 104s| 16500 | 1471 |418337 | 23.8 | 175M | 33 | 481 | 13k|7979 |5690 | 1 | 34k| 27 | 0.000000e+00 | -- | Inf | 75.83%
117.58/118.07 c 105s| 16600 | 1486 |421143 | 23.8 | 175M | 33 | 481 | 13k| 0 |5701 | 0 | 34k| 27 | 0.000000e+00 | -- | Inf | 75.84%
117.58/118.07 c 105s| 16700 | 1501 |423625 | 23.9 | 175M | 33 | 481 | 13k|8001 |5719 | 1 | 34k| 27 | 0.000000e+00 | -- | Inf | 75.84%
117.58/118.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.58/118.07 c 106s| 16800 | 1497 |425687 | 23.8 | 175M | 33 | 481 | 13k|7989 |5760 | 1 | 34k| 27 | 0.000000e+00 | -- | Inf | 75.89%
117.58/118.07 c 106s| 16900 | 1503 |427279 | 23.8 | 175M | 33 | 481 | 13k|7990 |5768 | 1 | 35k| 27 | 0.000000e+00 | -- | Inf | 75.96%
117.58/118.07 c 106s| 17000 | 1509 |429278 | 23.8 | 175M | 33 | 481 | 14k|7992 |5777 | 1 | 35k| 27 | 0.000000e+00 | -- | Inf | 75.97%
117.58/118.07 c 107s| 17100 | 1518 |432547 | 23.8 | 175M | 33 | 481 | 14k|7994 |5789 | 2 | 35k| 27 | 0.000000e+00 | -- | Inf | 75.99%
117.58/118.07 c 107s| 17200 | 1515 |434297 | 23.8 | 175M | 33 | 481 | 14k|7982 |5797 | 1 | 35k| 27 | 0.000000e+00 | -- | Inf | 76.09%
117.58/118.07 c 107s| 17300 | 1506 |435908 | 23.7 | 175M | 33 | 481 | 14k|7993 |5803 | 1 | 35k| 27 | 0.000000e+00 | -- | Inf | 76.17%
117.58/118.07 c 107s| 17400 | 1499 |437611 | 23.7 | 175M | 33 | 481 | 14k| 0 |5810 | 0 | 35k| 27 | 0.000000e+00 | -- | Inf | 76.29%
117.58/118.07 c 108s| 17500 | 1516 |439869 | 23.7 | 175M | 33 | 481 | 14k| 0 |5832 | 0 | 36k| 27 | 0.000000e+00 | -- | Inf | 76.40%
117.58/118.07 c 108s| 17600 | 1531 |441744 | 23.7 | 175M | 33 | 481 | 14k|7984 |5884 | 1 | 36k| 27 | 0.000000e+00 | -- | Inf | 76.59%
117.58/118.07 c 109s| 17700 | 1538 |444354 | 23.7 | 175M | 33 | 481 | 14k|7981 |5886 | 1 | 36k| 27 | 0.000000e+00 | -- | Inf | 76.65%
117.58/118.07 c 109s| 17800 | 1535 |446301 | 23.7 | 178M | 33 | 481 | 14k|7976 |5943 | 1 | 36k| 27 | 0.000000e+00 | -- | Inf | 77.11%
117.58/118.07 c 110s| 17900 | 1530 |448162 | 23.6 | 178M | 33 | 481 | 14k|7983 |5988 | 1 | 36k| 27 | 0.000000e+00 | -- | Inf | 77.61%
117.58/118.07 c 110s| 18000 | 1528 |450533 | 23.6 | 178M | 33 | 481 | 14k| 0 |6012 | 0 | 37k| 27 | 0.000000e+00 | -- | Inf | 77.79%
117.58/118.07 c 111s| 18100 | 1528 |453551 | 23.7 | 178M | 33 | 481 | 13k| 0 |6057 | 0 | 37k| 27 | 0.000000e+00 | -- | Inf | 78.18%
117.58/118.07 c 112s| 18200 | 1538 |455611 | 23.7 | 179M | 33 | 481 | 13k|7993 |6114 | 1 | 37k| 27 | 0.000000e+00 | -- | Inf | 78.52%
117.58/118.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.58/118.07 c 112s| 18300 | 1531 |458192 | 23.7 | 179M | 33 | 481 | 13k| 0 |6152 | 0 | 37k| 27 | 0.000000e+00 | -- | Inf | 78.78%
117.58/118.07 c 113s| 18400 | 1523 |459662 | 23.6 | 179M | 33 | 481 | 13k|7983 |6157 | 1 | 37k| 27 | 0.000000e+00 | -- | Inf | 78.86%
117.58/118.07 c 113s| 18500 | 1541 |461993 | 23.6 | 179M | 33 | 481 | 13k| 0 |6183 | 0 | 37k| 27 | 0.000000e+00 | -- | Inf | 81.47%
117.58/118.07 c 114s| 18600 | 1536 |463965 | 23.6 | 179M | 33 | 481 | 13k|7990 |6204 | 1 | 38k| 27 | 0.000000e+00 | -- | Inf | 81.58%
117.58/118.07 c 114s| 18700 | 1528 |465672 | 23.6 | 185M | 33 | 481 | 13k| 0 |6206 | 0 | 38k| 27 | 0.000000e+00 | -- | Inf | 81.66%
117.58/118.07 c 114s| 18800 | 1511 |467798 | 23.6 | 186M | 33 | 481 | 13k|7994 |6217 | 1 | 38k| 27 | 0.000000e+00 | -- | Inf | 81.95%
117.58/118.07 c 115s| 18900 | 1510 |470206 | 23.6 | 186M | 33 | 481 | 13k| 0 |6232 | 0 | 38k| 27 | 0.000000e+00 | -- | Inf | 82.07%
117.58/118.07 c 115s| 19000 | 1506 |472531 | 23.6 | 186M | 33 | 481 | 13k|7981 |6234 | 1 | 38k| 27 | 0.000000e+00 | -- | Inf | 82.18%
117.58/118.07 c 115s| 19100 | 1501 |475144 | 23.6 | 186M | 33 | 481 | 13k|7993 |6237 | 1 | 39k| 27 | 0.000000e+00 | -- | Inf | 82.29%
117.58/118.07 c 116s| 19200 | 1493 |477137 | 23.6 | 186M | 33 | 481 | 13k| 0 |6238 | 0 | 39k| 27 | 0.000000e+00 | -- | Inf | 82.42%
117.58/118.07 c 116s| 19300 | 1482 |479084 | 23.5 | 186M | 33 | 481 | 13k| 0 |6241 | 0 | 39k| 27 | 0.000000e+00 | -- | Inf | 82.56%
117.58/118.07 c 116s| 19400 | 1476 |481223 | 23.5 | 186M | 33 | 481 | 13k|7979 |6261 | 1 | 39k| 27 | 0.000000e+00 | -- | Inf | 82.75%
117.58/118.07 c 117s| 19500 | 1451 |483192 | 23.5 | 186M | 33 | 481 | 13k|7991 |6264 | 1 | 39k| 27 | 0.000000e+00 | -- | Inf | 83.04%
117.58/118.07 c 117s| 19600 | 1452 |484946 | 23.5 | 186M | 33 | 481 | 13k| 0 |6264 | 0 | 39k| 27 | 0.000000e+00 | -- | Inf | 83.05%
117.58/118.07 c 117s| 19700 | 1457 |486987 | 23.5 | 186M | 33 | 481 | 13k|7993 |6270 | 1 | 40k| 27 | 0.000000e+00 | -- | Inf | 83.06%
117.58/118.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.58/118.07 c 118s| 19800 | 1443 |488831 | 23.4 | 186M | 33 | 481 | 14k|7988 |6273 | 1 | 40k| 27 | 0.000000e+00 | -- | Inf | 83.19%
135.42/135.98 c 118s| 19900 | 1445 |490444 | 23.4 | 186M | 33 | 481 | 14k|7993 |6275 | 1 | 40k| 27 | 0.000000e+00 | -- | Inf | 83.33%
135.42/135.98 c 118s| 20000 | 1452 |492198 | 23.4 | 186M | 33 | 481 | 14k| 0 |6285 | 0 | 40k| 27 | 0.000000e+00 | -- | Inf | 83.35%
135.42/135.98 c 119s| 20100 | 1443 |493881 | 23.3 | 186M | 33 | 481 | 14k|7983 |6296 | 2 | 40k| 27 | 0.000000e+00 | -- | Inf | 83.44%
135.42/135.98 c 119s| 20200 | 1446 |496110 | 23.3 | 186M | 33 | 481 | 13k|7983 |6297 | 1 | 41k| 27 | 0.000000e+00 | -- | Inf | 83.60%
135.42/135.98 c 119s| 20300 | 1428 |497772 | 23.3 | 186M | 33 | 481 | 14k|7990 |6301 | 2 | 41k| 27 | 0.000000e+00 | -- | Inf | 83.73%
135.42/135.98 c 120s| 20400 | 1422 |499826 | 23.3 | 186M | 33 | 481 | 14k| 0 |6304 | 0 | 41k| 27 | 0.000000e+00 | -- | Inf | 83.85%
135.42/135.98 c 120s| 20500 | 1400 |501383 | 23.3 | 186M | 33 | 481 | 13k| 0 |6324 | 0 | 41k| 27 | 0.000000e+00 | -- | Inf | 84.08%
135.42/135.98 c 120s| 20600 | 1380 |503607 | 23.3 | 186M | 33 | 481 | 13k| 0 |6325 | 0 | 41k| 27 | 0.000000e+00 | -- | Inf | 84.45%
135.42/135.98 c 121s| 20700 | 1378 |505926 | 23.2 | 186M | 33 | 481 | 13k|7984 |6340 | 1 | 42k| 27 | 0.000000e+00 | -- | Inf | 84.56%
135.42/135.98 c 121s| 20800 | 1372 |508376 | 23.3 | 186M | 33 | 481 | 13k|7988 |6343 | 1 | 42k| 27 | 0.000000e+00 | -- | Inf | 84.70%
135.42/135.98 c 121s| 20900 | 1367 |509999 | 23.2 | 186M | 33 | 481 | 13k| 0 |6351 | 0 | 42k| 27 | 0.000000e+00 | -- | Inf | 84.76%
135.42/135.98 c 122s| 21000 | 1359 |511473 | 23.2 | 186M | 33 | 481 | 13k| 0 |6354 | 0 | 42k| 27 | 0.000000e+00 | -- | Inf | 84.86%
135.42/135.98 c 122s| 21100 | 1345 |513189 | 23.2 | 186M | 33 | 481 | 13k|7986 |6356 | 1 | 42k| 27 | 0.000000e+00 | -- | Inf | 84.94%
135.42/135.98 c 122s| 21200 | 1347 |514180 | 23.1 | 186M | 33 | 481 | 13k|7986 |6357 | 1 | 42k| 27 | 0.000000e+00 | -- | Inf | 84.97%
135.42/135.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
135.42/135.98 c 122s| 21300 | 1341 |516411 | 23.1 | 186M | 33 | 481 | 13k|7989 |6357 | 1 | 43k| 27 | 0.000000e+00 | -- | Inf | 84.99%
135.42/135.98 c 123s| 21400 | 1324 |518026 | 23.1 | 186M | 33 | 481 | 13k|7983 |6366 | 1 | 43k| 27 | 0.000000e+00 | -- | Inf | 85.14%
135.42/135.98 c 123s| 21500 | 1319 |522494 | 23.2 | 186M | 33 | 481 | 13k|7991 |6367 | 1 | 43k| 27 | 0.000000e+00 | -- | Inf | 85.35%
135.42/135.98 c 124s| 21600 | 1318 |524104 | 23.1 | 186M | 33 | 481 | 13k| 0 |6392 | 0 | 43k| 27 | 0.000000e+00 | -- | Inf | 85.62%
135.42/135.98 c 124s| 21700 | 1334 |526348 | 23.1 | 186M | 33 | 481 | 13k| 0 |6397 | 0 | 43k| 27 | 0.000000e+00 | -- | Inf | 85.71%
135.42/135.98 c 124s| 21800 | 1307 |527948 | 23.1 | 186M | 33 | 481 | 13k|7991 |6403 | 1 | 43k| 27 | 0.000000e+00 | -- | Inf | 86.57%
135.42/135.98 c 125s| 21900 | 1295 |530027 | 23.1 | 186M | 33 | 481 | 14k|8002 |6406 | 1 | 44k| 27 | 0.000000e+00 | -- | Inf | 86.67%
135.42/135.98 c 125s| 22000 | 1277 |532098 | 23.1 | 186M | 33 | 481 | 14k| 0 |6412 | 0 | 44k| 27 | 0.000000e+00 | -- | Inf | 88.54%
135.42/135.98 c 125s| 22100 | 1271 |534243 | 23.1 | 186M | 33 | 481 | 14k|7987 |6412 | 1 | 44k| 27 | 0.000000e+00 | -- | Inf | 90.19%
135.42/135.98 c 126s| 22200 | 1232 |535873 | 23.0 | 186M | 33 | 481 | 14k| 0 |6430 | 0 | 44k| 27 | 0.000000e+00 | -- | Inf | 91.88%
135.42/135.98 c 126s| 22300 | 1234 |538132 | 23.0 | 186M | 33 | 481 | 13k|7984 |6433 | 1 | 45k| 27 | 0.000000e+00 | -- | Inf | 92.00%
135.42/135.98 c 126s| 22400 | 1213 |540465 | 23.0 | 186M | 33 | 481 | 13k|7991 |6433 | 1 | 45k| 27 | 0.000000e+00 | -- | Inf | 92.18%
135.42/135.98 c 127s| 22500 | 1187 |542248 | 23.0 | 187M | 33 | 481 | 13k|7993 |6440 | 1 | 45k| 27 | 0.000000e+00 | -- | Inf | 92.27%
135.42/135.98 c 127s| 22600 | 1142 |544386 | 23.0 | 187M | 33 | 481 | 13k| 0 |6449 | 0 | 45k| 27 | 0.000000e+00 | -- | Inf | 92.53%
135.42/135.98 c 128s| 22700 | 1117 |546517 | 23.0 | 187M | 33 | 481 | 13k| 0 |6472 | 0 | 45k| 27 | 0.000000e+00 | -- | Inf | 92.79%
135.42/135.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
135.42/135.98 c 128s| 22800 | 1095 |548785 | 23.0 | 187M | 33 | 481 | 13k|7981 |6489 | 1 | 45k| 27 | 0.000000e+00 | -- | Inf | 93.05%
135.42/135.98 c 128s| 22900 | 1080 |550328 | 23.0 | 187M | 33 | 481 | 13k|7988 |6499 | 1 | 46k| 27 | 0.000000e+00 | -- | Inf | 93.19%
135.42/135.98 c 129s| 23000 | 1076 |551907 | 22.9 | 187M | 33 | 481 | 13k|7984 |6511 | 1 | 46k| 27 | 0.000000e+00 | -- | Inf | 93.26%
135.42/135.98 c 129s| 23100 | 1053 |554351 | 22.9 | 187M | 33 | 481 | 13k| 0 |6530 | 0 | 46k| 27 | 0.000000e+00 | -- | Inf | 93.36%
135.42/135.98 c 129s| 23200 | 1042 |556040 | 22.9 | 187M | 33 | 481 | 13k| 0 |6536 | 0 | 46k| 27 | 0.000000e+00 | -- | Inf | 94.22%
135.42/135.98 c 130s| 23300 | 1038 |557573 | 22.9 | 187M | 33 | 481 | 13k|7987 |6540 | 1 | 46k| 27 | 0.000000e+00 | -- | Inf | 94.23%
135.42/135.98 c 130s| 23400 | 1029 |560190 | 22.9 | 187M | 33 | 481 | 13k|7986 |6546 | 0 | 47k| 27 | 0.000000e+00 | -- | Inf | 94.35%
135.42/135.98 c 130s| 23500 | 1021 |562282 | 22.9 | 187M | 33 | 481 | 13k| 0 |6560 | 0 | 47k| 27 | 0.000000e+00 | -- | Inf | 94.52%
135.42/135.98 c 131s| 23600 | 1009 |563887 | 22.9 | 187M | 33 | 481 | 13k|7990 |6563 | 2 | 47k| 27 | 0.000000e+00 | -- | Inf | 94.72%
135.42/135.98 c 131s| 23700 | 1009 |565590 | 22.8 | 187M | 33 | 481 | 13k| 0 |6574 | 0 | 47k| 27 | 0.000000e+00 | -- | Inf | 94.72%
135.42/135.98 c 131s| 23800 | 978 |567012 | 22.8 | 187M | 33 | 481 | 13k|7997 |6584 | 0 | 47k| 27 | 0.000000e+00 | -- | Inf | 95.71%
135.42/135.98 c 132s| 23900 | 974 |568738 | 22.8 | 187M | 33 | 481 | 13k| 0 |6589 | 0 | 47k| 27 | 0.000000e+00 | -- | Inf | 95.78%
135.42/135.98 c 132s| 24000 | 964 |570113 | 22.7 | 187M | 33 | 481 | 13k| 0 |6594 | 0 | 48k| 27 | 0.000000e+00 | -- | Inf | 95.84%
135.42/135.98 c 132s| 24100 | 937 |572057 | 22.7 | 187M | 33 | 481 | 13k|7996 |6596 | 1 | 48k| 27 | 0.000000e+00 | -- | Inf | 95.96%
135.42/135.98 c 132s| 24200 | 924 |573307 | 22.7 | 187M | 33 | 481 | 13k| 0 |6597 | 0 | 48k| 27 | 0.000000e+00 | -- | Inf | 95.98%
135.42/135.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
135.42/135.98 c 133s| 24300 | 908 |574867 | 22.7 | 187M | 33 | 481 | 13k|7992 |6600 | 1 | 48k| 27 | 0.000000e+00 | -- | Inf | 96.08%
135.42/135.98 c 133s| 24400 | 897 |576341 | 22.6 | 187M | 33 | 481 | 13k|7987 |6611 | 2 | 48k| 27 | 0.000000e+00 | -- | Inf | 96.13%
135.42/135.98 c 133s| 24500 | 904 |577562 | 22.6 | 187M | 33 | 481 | 13k|7983 |6613 | 0 | 49k| 27 | 0.000000e+00 | -- | Inf | 96.13%
135.42/135.98 c 134s| 24600 | 879 |580209 | 22.6 | 187M | 33 | 481 | 13k|7987 |6617 | 1 | 49k| 27 | 0.000000e+00 | -- | Inf | 96.32%
135.42/135.98 c 134s| 24700 | 828 |581740 | 22.6 | 187M | 33 | 481 | 13k|7993 |6628 | 1 | 49k| 27 | 0.000000e+00 | -- | Inf | 96.55%
135.42/135.98 c 134s| 24800 | 815 |583846 | 22.6 | 187M | 33 | 481 | 13k|7989 |6641 | 1 | 49k| 27 | 0.000000e+00 | -- | Inf | 96.59%
135.42/135.98 c 135s| 24900 | 795 |585999 | 22.6 | 187M | 33 | 481 | 13k|7981 |6644 | 1 | 49k| 27 | 0.000000e+00 | -- | Inf | 96.72%
135.42/135.98 c 135s| 25000 | 795 |588397 | 22.6 | 187M | 33 | 481 | 13k|7992 |6672 | 1 | 50k| 27 | 0.000000e+00 | -- | Inf | 96.92%
135.42/135.98 c 136s| 25100 | 787 |590772 | 22.6 | 187M | 33 | 481 | 13k| 0 |6677 | 0 | 50k| 27 | 0.000000e+00 | -- | Inf | 97.07%
150.48/151.01 c 136s| 25200 | 777 |592470 | 22.6 | 187M | 33 | 481 | 13k| 0 |6679 | 0 | 50k| 27 | 0.000000e+00 | -- | Inf | 97.09%
150.48/151.01 c 136s| 25300 | 763 |594380 | 22.5 | 187M | 33 | 481 | 13k|7983 |6681 | 1 | 50k| 27 | 0.000000e+00 | -- | Inf | 97.12%
150.48/151.01 c 136s| 25400 | 745 |596377 | 22.5 | 187M | 33 | 481 | 13k|7988 |6699 | 0 | 50k| 27 | 0.000000e+00 | -- | Inf | 97.26%
150.48/151.01 c 137s| 25500 | 733 |598011 | 22.5 | 187M | 33 | 481 | 13k| 0 |6699 | 0 | 51k| 27 | 0.000000e+00 | -- | Inf | 97.31%
150.48/151.01 c 137s| 25600 | 734 |599468 | 22.5 | 187M | 33 | 481 | 14k| 0 |6699 | 0 | 51k| 27 | 0.000000e+00 | -- | Inf | 97.32%
150.48/151.01 c 137s| 25700 | 735 |600937 | 22.5 | 187M | 33 | 481 | 14k|7981 |6699 | 1 | 51k| 27 | 0.000000e+00 | -- | Inf | 97.32%
150.48/151.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
150.48/151.01 c 137s| 25800 | 744 |602578 | 22.4 | 187M | 33 | 481 | 14k|7981 |6699 | 1 | 51k| 27 | 0.000000e+00 | -- | Inf | 97.32%
150.48/151.01 c 138s| 25900 | 756 |604048 | 22.4 | 187M | 34 | 481 | 14k| 0 |6699 | 0 | 51k| 27 | 0.000000e+00 | -- | Inf | 97.32%
150.48/151.01 c 138s| 26000 | 745 |605863 | 22.4 | 187M | 34 | 481 | 14k|7986 |6701 | 1 | 52k| 27 | 0.000000e+00 | -- | Inf | 97.32%
150.48/151.01 c 138s| 26100 | 764 |608905 | 22.4 | 187M | 34 | 481 | 14k|7988 |6719 | 0 | 52k| 27 | 0.000000e+00 | -- | Inf | 97.35%
150.48/151.01 c 139s| 26200 | 747 |611429 | 22.4 | 187M | 34 | 481 | 14k|7981 |6739 | 1 | 52k| 27 | 0.000000e+00 | -- | Inf | 97.37%
150.48/151.01 c 139s| 26300 | 732 |613410 | 22.4 | 187M | 34 | 481 | 14k|7983 |6751 | 1 | 52k| 27 | 0.000000e+00 | -- | Inf | 97.49%
150.48/151.01 c 139s| 26400 | 716 |615117 | 22.4 | 187M | 34 | 481 | 14k|7981 |6752 | 1 | 52k| 27 | 0.000000e+00 | -- | Inf | 97.53%
150.48/151.01 c 140s| 26500 | 706 |617159 | 22.4 | 187M | 34 | 481 | 14k| 0 |6753 | 0 | 53k| 27 | 0.000000e+00 | -- | Inf | 97.54%
150.48/151.01 c 140s| 26600 | 714 |618875 | 22.4 | 187M | 34 | 481 | 14k|7983 |6753 | 1 | 53k| 27 | 0.000000e+00 | -- | Inf | 97.54%
150.48/151.01 c 140s| 26700 | 717 |620996 | 22.4 | 187M | 34 | 481 | 14k| 0 |6753 | 0 | 53k| 27 | 0.000000e+00 | -- | Inf | 97.54%
150.48/151.01 c 140s| 26800 | 700 |622852 | 22.4 | 187M | 34 | 481 | 15k|7981 |6753 | 1 | 53k| 27 | 0.000000e+00 | -- | Inf | 97.55%
150.48/151.01 c 141s| 26900 | 686 |624851 | 22.3 | 187M | 34 | 481 | 15k|7989 |6754 | 1 | 53k| 27 | 0.000000e+00 | -- | Inf | 97.59%
150.48/151.01 c 141s| 27000 | 680 |626489 | 22.3 | 187M | 34 | 481 | 15k|7994 |6778 | 1 | 54k| 27 | 0.000000e+00 | -- | Inf | 97.77%
150.48/151.01 c 141s| 27100 | 673 |628111 | 22.3 | 187M | 34 | 481 | 15k|7993 |6778 | 1 | 54k| 27 | 0.000000e+00 | -- | Inf | 97.79%
150.48/151.01 c 142s| 27200 | 669 |629610 | 22.3 | 187M | 34 | 481 | 15k|7981 |6778 | 1 | 54k| 27 | 0.000000e+00 | -- | Inf | 97.82%
150.48/151.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
150.48/151.01 c 142s| 27300 | 669 |630803 | 22.2 | 187M | 34 | 481 | 15k|7994 |6778 | 1 | 54k| 27 | 0.000000e+00 | -- | Inf | 97.82%
150.48/151.01 c 142s| 27400 | 671 |632909 | 22.2 | 187M | 34 | 481 | 15k|7988 |6784 | 1 | 54k| 27 | 0.000000e+00 | -- | Inf | 97.83%
150.48/151.01 c 142s| 27500 | 646 |634522 | 22.2 | 187M | 34 | 481 | 14k|7986 |6784 | 1 | 54k| 27 | 0.000000e+00 | -- | Inf | 97.92%
150.48/151.01 c 143s| 27600 | 636 |636293 | 22.2 | 187M | 34 | 481 | 14k| 0 |6787 | 0 | 55k| 27 | 0.000000e+00 | -- | Inf | 97.94%
150.48/151.01 c 143s| 27700 | 630 |638651 | 22.2 | 187M | 34 | 481 | 14k| 0 |6791 | 0 | 55k| 27 | 0.000000e+00 | -- | Inf | 97.99%
150.48/151.01 c 143s| 27800 | 620 |639845 | 22.2 | 187M | 34 | 481 | 14k| 0 |6795 | 0 | 55k| 27 | 0.000000e+00 | -- | Inf | 98.00%
150.48/151.01 c 143s| 27900 | 612 |641614 | 22.2 | 187M | 34 | 481 | 14k|7988 |6797 | 1 | 55k| 27 | 0.000000e+00 | -- | Inf | 98.00%
150.48/151.01 c 144s| 28000 | 614 |644008 | 22.2 | 187M | 34 | 481 | 14k|7983 |6804 | 1 | 55k| 27 | 0.000000e+00 | -- | Inf | 98.03%
150.48/151.01 c 144s| 28100 | 596 |646062 | 22.2 | 187M | 34 | 481 | 14k|7988 |6812 | 1 | 56k| 27 | 0.000000e+00 | -- | Inf | 98.07%
150.48/151.01 c 144s| 28200 | 597 |648194 | 22.2 | 187M | 34 | 481 | 14k|7983 |6814 | 1 | 56k| 27 | 0.000000e+00 | -- | Inf | 98.08%
150.48/151.01 c 145s| 28300 | 597 |649627 | 22.1 | 187M | 34 | 481 | 14k|7983 |6816 | 1 | 56k| 27 | 0.000000e+00 | -- | Inf | 98.08%
150.48/151.01 c 145s| 28400 | 572 |650954 | 22.1 | 187M | 34 | 481 | 14k| 0 |6819 | 0 | 56k| 27 | 0.000000e+00 | -- | Inf | 98.17%
150.48/151.01 c 145s| 28500 | 547 |654712 | 22.1 | 187M | 34 | 481 | 14k|7983 |6821 | 1 | 56k| 27 | 0.000000e+00 | -- | Inf | 98.30%
150.48/151.01 c 146s| 28600 | 532 |656246 | 22.1 | 187M | 34 | 481 | 14k|7981 |6827 | 1 | 56k| 27 | 0.000000e+00 | -- | Inf | 98.33%
150.48/151.01 c 146s| 28700 | 524 |658468 | 22.1 | 187M | 34 | 481 | 14k|7987 |6828 | 1 | 57k| 27 | 0.000000e+00 | -- | Inf | 98.38%
150.48/151.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
150.48/151.01 c 146s| 28800 | 536 |661331 | 22.1 | 187M | 34 | 481 | 14k|7980 |6829 | 1 | 57k| 27 | 0.000000e+00 | -- | Inf | 98.42%
150.48/151.01 c 147s| 28900 | 552 |664316 | 22.2 | 187M | 34 | 481 | 15k|7980 |6829 | 1 | 57k| 27 | 0.000000e+00 | -- | Inf | 98.42%
150.48/151.01 c 147s| 29000 | 533 |666455 | 22.2 | 187M | 34 | 481 | 15k|7990 |6829 | 1 | 57k| 27 | 0.000000e+00 | -- | Inf | 98.43%
150.48/151.01 c 147s| 29100 | 522 |667835 | 22.1 | 187M | 34 | 481 | 15k|7983 |6831 | 1 | 57k| 27 | 0.000000e+00 | -- | Inf | 98.44%
150.48/151.01 c 147s| 29200 | 490 |670062 | 22.1 | 187M | 34 | 481 | 15k|7989 |6835 | 0 | 58k| 27 | 0.000000e+00 | -- | Inf | 98.52%
150.48/151.01 c 148s| 29300 | 470 |672934 | 22.2 | 187M | 34 | 481 | 15k|7983 |6843 | 1 | 58k| 27 | 0.000000e+00 | -- | Inf | 98.59%
150.48/151.01 c 148s| 29400 | 455 |674962 | 22.2 | 187M | 34 | 481 | 15k| 0 |6847 | 0 | 58k| 27 | 0.000000e+00 | -- | Inf | 98.62%
150.48/151.01 c 148s| 29500 | 439 |677088 | 22.2 | 187M | 34 | 481 | 14k|7981 |6849 | 1 | 58k| 27 | 0.000000e+00 | -- | Inf | 98.64%
150.48/151.01 c 149s| 29600 | 409 |679059 | 22.1 | 187M | 34 | 481 | 14k|7982 |6853 | 1 | 58k| 27 | 0.000000e+00 | -- | Inf | 98.70%
150.48/151.01 c 149s| 29700 | 394 |681559 | 22.2 | 187M | 34 | 481 | 14k| 0 |6868 | 0 | 59k| 27 | 0.000000e+00 | -- | Inf | 98.73%
150.48/151.01 c 149s| 29800 | 365 |683300 | 22.1 | 187M | 34 | 481 | 14k| 0 |6876 | 0 | 59k| 27 | 0.000000e+00 | -- | Inf | 98.79%
150.48/151.01 c 149s| 29900 | 361 |684685 | 22.1 | 187M | 34 | 481 | 15k|7983 |6882 | 1 | 59k| 27 | 0.000000e+00 | -- | Inf | 98.82%
150.48/151.01 c 150s| 30000 | 363 |686688 | 22.1 | 187M | 34 | 481 | 15k|7983 |6882 | 1 | 59k| 27 | 0.000000e+00 | -- | Inf | 98.82%
150.48/151.01 c 150s| 30100 | 346 |687848 | 22.1 | 187M | 34 | 481 | 15k|7997 |6884 | 1 | 59k| 27 | 0.000000e+00 | -- | Inf | 98.87%
150.48/151.01 c 150s| 30200 | 316 |689688 | 22.1 | 187M | 34 | 481 | 15k|7990 |6886 | 1 | 59k| 27 | 0.000000e+00 | -- | Inf | 98.95%
150.48/151.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
150.48/151.01 c 151s| 30300 | 277 |691305 | 22.0 | 187M | 34 | 481 | 15k|7986 |6888 | 1 | 60k| 27 | 0.000000e+00 | -- | Inf | 99.03%
152.17/152.76 c 151s| 30400 | 249 |692892 | 22.0 | 187M | 34 | 481 | 15k|7991 |6897 | 2 | 60k| 27 | 0.000000e+00 | -- | Inf | 99.09%
152.17/152.76 c 151s| 30500 | 222 |694544 | 22.0 | 187M | 34 | 481 | 15k| 0 |6905 | 0 | 60k| 27 | 0.000000e+00 | -- | Inf | 99.17%
152.17/152.76 c 152s| 30600 | 181 |696546 | 22.0 | 187M | 34 | 481 | 14k|7981 |6919 | 1 | 60k| 27 | 0.000000e+00 | -- | Inf | 99.37%
152.17/152.76 c 152s| 30700 | 121 |698566 | 22.0 | 187M | 34 | 481 | 14k|7997 |6926 | 1 | 60k| 27 | 0.000000e+00 | -- | Inf | 99.51%
152.17/152.76 c 152s| 30800 | 95 |700518 | 22.0 | 187M | 34 | 481 | 14k|7987 |6930 | 1 | 61k| 27 | 0.000000e+00 | -- | Inf | 99.73%
152.17/152.76 c 152s| 30900 | 46 |702813 | 22.0 | 187M | 34 | 481 | 14k|7986 |6933 | 1 | 61k| 27 | 0.000000e+00 | -- | Inf | 99.90%
152.17/152.76 c
152.17/152.76 c SCIP Status : problem is solved [infeasible]
152.17/152.76 c Solving Time (sec) : 152.60
152.17/152.76 c Solving Nodes : 30958 (total of 31967 nodes in 2 runs)
152.17/152.76 c Primal Bound : +1.00000000000000e+20 (0 solutions)
152.17/152.76 c Dual Bound : +1.00000000000000e+20
152.17/152.76 c Gap : 0.00 %
152.17/152.76 c SCIP found the problem to be infeasible.
152.17/152.76 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61549 MiB free)
memory of node 1: 64465 MiB (61708 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503397-1751167718/watcher-4503397-1751167718 -o /tmp/evaluation-result-4503397-1751167718/solver-4503397-1751167718 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751159326-19841 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4503397-1751167718.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21578, runsolver pid=21575
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.06 4.12 4.10 5/270 21583
/proc/meminfo: memFree=126203516/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1187176 memory=32012 CPUtime=0.07 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 3751 0 0 0 6 1 0 0 20 0 1 0 32449382 1215668224 8003 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 296794 8003 4900 1 0 268816 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191368 KiB
Current children cumulated memory: 34956 KiB
[startup+0.205815 s]*
/proc/loadavg: 4.06 4.12 4.10 5/270 21583
/proc/meminfo: memFree=126175292/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1216552 memory=69004 CPUtime=0.16 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 10249 0 0 0 14 2 0 0 20 0 1 0 32449382 1245749248 17251 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 304138 17251 7908 1 0 275496 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1220744 KiB
Current children cumulated memory: 71948 KiB
[startup+0.305784 s]*
/proc/loadavg: 4.06 4.12 4.10 5/270 21583
/proc/meminfo: memFree=126166220/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1232272 memory=83360 CPUtime=0.25 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 13414 0 0 0 22 3 0 0 20 0 1 0 32449382 1261846528 20840 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 308068 20840 7940 1 0 279426 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1236464 KiB
Current children cumulated memory: 86304 KiB
[startup+0.700211 s]
/proc/loadavg: 4.06 4.12 4.10 5/270 21583
/proc/meminfo: memFree=126136024/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1271020 memory=121376 CPUtime=0.64 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 22744 0 0 0 58 6 0 0 20 0 1 0 32449382 1301524480 30344 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 317755 30344 8132 1 0 289113 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1275212 KiB
Current children cumulated memory: 124320 KiB
[startup+1.50018 s]
/proc/loadavg: 4.06 4.12 4.10 5/270 21583
/proc/meminfo: memFree=126136276/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1271020 memory=121376 CPUtime=1.44 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 22745 0 0 0 138 6 0 0 20 0 1 0 32449382 1301524480 30344 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 317755 30344 8132 1 0 289113 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1275212 KiB
Current children cumulated memory: 124320 KiB
[startup+3.10589 s]
/proc/loadavg: 4.06 4.12 4.10 5/270 21583
/proc/meminfo: memFree=126124748/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1289112 memory=140540 CPUtime=3.03 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 31072 0 0 0 296 7 0 0 20 0 1 0 32449382 1320050688 35135 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 322278 35135 8132 1 0 293636 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1293304 KiB
Current children cumulated memory: 143484 KiB
[startup+6.30018 s]
/proc/loadavg: 4.06 4.12 4.10 5/270 21583
/proc/meminfo: memFree=126113092/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1299076 memory=150676 CPUtime=6.22 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 35416 0 0 0 614 8 0 0 20 0 1 0 32449382 1330253824 37669 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 324769 37669 8132 1 0 296127 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1303268 KiB
Current children cumulated memory: 153620 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.12 4.10 5/270 21583
/proc/meminfo: memFree=126099768/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1311760 memory=163420 CPUtime=12.6 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 39058 0 0 0 1252 8 0 0 20 0 1 0 32449382 1343242240 40855 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 327940 40855 8132 1 0 299298 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1315952 KiB
Current children cumulated memory: 166364 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.10 5/270 21583
/proc/meminfo: memFree=126075828/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1335792 memory=187056 CPUtime=25.36 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 46009 0 0 0 2527 9 0 0 20 0 1 0 32449382 1367851008 46764 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 333948 46764 8132 1 0 305306 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1339984 KiB
Current children cumulated memory: 190000 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.12 4.09 5/269 21632
/proc/meminfo: memFree=125480508/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1358204 memory=206576 CPUtime=50.89 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 49851 0 0 0 5079 10 0 0 20 0 1 0 32449382 1390800896 51644 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 339551 51644 8132 1 0 310909 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1362396 KiB
Current children cumulated memory: 209520 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/270 21637
/proc/meminfo: memFree=125414956/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1377068 memory=226140 CPUtime=101.93 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 54234 0 0 0 10182 11 0 0 20 0 1 0 32449382 1410117632 56535 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 344267 56535 8132 1 0 315625 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1381260 KiB
Current children cumulated memory: 229084 KiB
[startup+152.814 s]
# the end of solver process 21578 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=152.158 s, system=0.137743 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.07 4.11 4.09 5/270 21637
/proc/meminfo: memFree=125414956/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1377068 memory=226140 CPUtime=102.03 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 54234 0 0 0 10192 11 0 0 20 0 1 0 32449382 1410117632 56535 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 344267 56535 8132 1 0 315625 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1381260 KiB
Current children cumulated memory: 229084 KiB
[startup+128 s]*
/proc/loadavg: 4.11 4.12 4.09 5/270 21638
/proc/meminfo: memFree=125398116/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1387612 memory=232892 CPUtime=127.55 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 55424 0 0 0 12744 11 0 0 20 0 1 0 32449382 1420914688 58223 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 346903 58223 8132 1 0 318261 0
Current children cumulated CPU time: 127.55 s
Current children cumulated vsize: 1391804 KiB
Current children cumulated memory: 235836 KiB
[startup+140.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 21638
/proc/meminfo: memFree=125372348/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1395680 memory=241688 CPUtime=140.31 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 59963 0 0 0 14019 12 0 0 20 0 1 0 32449382 1429176320 60422 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 348920 60422 8132 1 0 320278 0
Current children cumulated CPU time: 140.31 s
Current children cumulated vsize: 1399872 KiB
Current children cumulated memory: 244632 KiB
[startup+147.2 s]
/proc/loadavg: 4.08 4.11 4.09 5/270 21638
/proc/meminfo: memFree=125187128/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1395680 memory=241944 CPUtime=146.69 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 60011 0 0 0 14657 12 0 0 20 0 1 0 32449382 1429176320 60486 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 348920 60486 8132 1 0 320278 0
Current children cumulated CPU time: 146.69 s
Current children cumulated vsize: 1399872 KiB
Current children cumulated memory: 244888 KiB
[startup+150.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/270 21639
/proc/meminfo: memFree=125197224/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1395680 memory=241944 CPUtime=149.88 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 60011 0 0 0 14976 12 0 0 20 0 1 0 32449382 1429176320 60486 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 348920 60486 8132 1 0 320278 0
Current children cumulated CPU time: 149.88 s
Current children cumulated vsize: 1399872 KiB
Current children cumulated memory: 244888 KiB
[startup+152 s]*
/proc/loadavg: 4.07 4.11 4.09 5/270 21639
/proc/meminfo: memFree=125197224/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1395680 memory=241944 CPUtime=151.48 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 60014 0 0 0 15136 12 0 0 20 0 1 0 32449382 1429176320 60486 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 348920 60486 8132 1 0 320278 0
Current children cumulated CPU time: 151.48 s
Current children cumulated vsize: 1399872 KiB
Current children cumulated memory: 244888 KiB
[startup+152.4 s]
/proc/loadavg: 4.07 4.11 4.09 5/270 21639
/proc/meminfo: memFree=125197224/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1395680 memory=241944 CPUtime=151.87 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 60014 0 0 0 15175 12 0 0 20 0 1 0 32449382 1429176320 60486 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 348920 60486 8132 1 0 320278 0
Current children cumulated CPU time: 151.87 s
Current children cumulated vsize: 1399872 KiB
Current children cumulated memory: 244888 KiB
[startup+152.8 s]
/proc/loadavg: 4.07 4.11 4.09 5/270 21639
/proc/meminfo: memFree=125197224/131249988 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21578/stat : 21578 (scip-naps-1.00.) S 21575 21578 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32449380 4292608 736 18446744073709551615 94780461731840 94780462626373 140728983915808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94780462865424 94780462913168 94780463697920 140728983919009 140728983919106 140728983919106 140728983924708 0
/proc/21578/statm: 1048 736 672 219 0 110 0
[pid=21583] ppid=21578 vsize=1331132 memory=183048 CPUtime=152.26 cores=4,6
/proc/21583/stat : 21583 (python3) R 21578 21578 19830 0 -1 4194304 60015 0 0 0 15214 12 0 0 20 0 1 0 32449382 1363079168 45762 18446744073709551615 93955244343296 93955244343673 140725615649312 0 0 0 0 16781312 0 0 0 0 17 4 0 0 0 0 0 93955244354968 93955244355588 93955250860032 140725615655256 140725615655458 140725615655458 140725615661031 0
/proc/21583/statm: 332783 45762 8132 1 0 304141 0
Current children cumulated CPU time: 152.26 s
Current children cumulated vsize: 1335324 KiB
Current children cumulated memory: 185992 KiB
Child status: 0
Real time (s): 152.814
CPU time (s): 152.295
CPU user time (s): 152.158
CPU system time (s): 0.137743
CPU usage (%): 99.6604
Max. virtual memory (cumulated for all children) (KiB): 1399872
Max. memory (cumulated for all children) (KiB): 244888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.158
system time used= 0.137743
maximum resident set size= 250812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 350
involuntary context switches= 943
# summary of solver processes directly reported to runsolver:
# pid: 21578
# total CPU time (s): 152.295
# total CPU user time (s): 152.158
# total CPU system time (s): 0.137743
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.307695 second user time and 0.787352 second system time
The end