13.20/13.37 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529816-1752255003.opb
13.20/13.37 c Solving mode: decision
13.20/13.37 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
13.20/13.37 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
13.20/13.37 c original problem has 483 variables (483 bin, 0 int, 0 impl, 0 cont) and 8027 constraints
13.20/13.37 c presolving:
13.20/13.37 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.20/13.37 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.20/13.37 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.20/13.37 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.20/13.37 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.20/13.37 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.20/13.37 c (0.1s) probing: 59/481 (12.3%) - 0 fixings, 0 aggregations, 164 implications, 0 bound changes
13.20/13.37 c (0.1s) probing aborted: 50/50 successive totally useless probings
13.20/13.37 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
13.20/13.37 c (0.2s) no symmetry present (symcode time: 0.00)
13.20/13.37 c presolving (7 rounds: 7 fast, 6 medium, 6 exhaustive):
13.20/13.37 c 2 deleted vars, 70 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 288 changed coefficients
13.20/13.37 c 0 implications, 2150 cliques
13.20/13.37 c presolved problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 7957 constraints
13.20/13.37 c 720 constraints of type <knapsack>
13.20/13.37 c 1984 constraints of type <setppc>
13.20/13.37 c 2 constraints of type <linear>
13.20/13.37 c 5251 constraints of type <logicor>
13.20/13.37 c transformed objective value is always integral (scale: 1)
13.20/13.37 c Presolving Time: 0.17
13.20/13.37 c
13.20/13.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.20/13.37 c 0.3s| 1 | 0 | 98 | - | 47M | 0 | 481 |8008 |7957 | 0 | 0 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
13.20/13.37 c 0.5s| 1 | 0 | 671 | - | 49M | 0 | 481 |8008 |7963 | 6 | 1 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
13.20/13.37 c 0.6s| 1 | 0 | 698 | - | 49M | 0 | 481 |8008 |7969 | 12 | 2 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
13.20/13.37 c 0.7s| 1 | 0 | 715 | - | 51M | 0 | 481 |8008 |7974 | 17 | 3 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
13.20/13.37 c 0.9s| 1 | 0 | 730 | - | 53M | 0 | 481 |8009 |7977 | 20 | 4 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
13.20/13.37 c 1.1s| 1 | 0 | 740 | - | 54M | 0 | 481 |8014 |7980 | 23 | 5 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
13.20/13.37 c 1.3s| 1 | 0 | 764 | - | 56M | 0 | 481 |8015 |7985 | 28 | 6 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
13.20/13.37 c 1.4s| 1 | 0 | 809 | - | 58M | 0 | 481 |8020 |7992 | 35 | 7 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
13.20/13.37 c 1.5s| 1 | 0 | 836 | - | 60M | 0 | 481 |8021 |8001 | 44 | 8 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
13.20/13.37 c 1.6s| 1 | 0 | 849 | - | 62M | 0 | 481 |8021 |8008 | 51 | 9 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
13.20/13.37 c 1.8s| 1 | 0 | 872 | - | 66M | 0 | 481 |8024 |8013 | 56 | 10 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
13.20/13.37 c 1.8s| 1 | 0 | 889 | - | 67M | 0 | 481 |8025 |8020 | 63 | 11 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
13.20/13.37 c 1.9s| 1 | 2 | 914 | - | 67M | 0 | 481 |8035 |8020 | 63 | 11 | 77 | 14 | 0.000000e+00 | -- | Inf | unknown
13.20/13.37 c 4.1s| 100 | 37 | 12305 | 115.8 | 74M | 19 | 481 |8255 |7978 | 138 | 1 | 303 | 14 | 0.000000e+00 | -- | Inf | 7.42%
13.20/13.37 c 4.5s| 200 | 54 | 13409 | 63.1 | 76M | 20 | 481 |8521 |7981 | 163 | 1 | 577 | 14 | 0.000000e+00 | -- | Inf | 8.09%
13.20/13.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.20/13.37 c 6.2s| 300 | 68 | 19270 | 61.6 | 80M | 20 | 481 |8707 |7989 | 244 | 1 | 777 | 14 | 0.000000e+00 | -- | Inf | 12.00%
13.20/13.37 c 7.5s| 400 | 90 | 22191 | 53.5 | 82M | 20 | 481 |8908 |7986 | 271 | 1 |1046 | 14 | 0.000000e+00 | -- | Inf | 12.76%
13.20/13.37 c 7.7s| 500 | 99 | 23230 | 44.9 | 82M | 20 | 481 |9077 |7986 | 271 | 1 |1240 | 14 | 0.000000e+00 | -- | Inf | 12.84%
13.20/13.37 c 8.4s| 600 | 125 | 25655 | 41.4 | 82M | 20 | 481 |9269 |7984 | 279 | 1 |1516 | 14 | 0.000000e+00 | -- | Inf | 13.13%
13.20/13.37 c 9.3s| 700 | 131 | 28642 | 39.8 | 84M | 20 | 481 |9503 | 0 | 316 | 0 |1776 | 14 | 0.000000e+00 | -- | Inf | 13.37%
13.20/13.37 c 10.4s| 800 | 146 | 31665 | 38.6 | 87M | 20 | 481 |9544 |7985 | 410 | 1 |1986 | 14 | 0.000000e+00 | -- | Inf | 13.89%
13.20/13.37 c 11.9s| 900 | 149 | 33900 | 36.8 | 89M | 20 | 481 |9585 |7988 | 493 | 2 |2144 | 14 | 0.000000e+00 | -- | Inf | 14.68%
13.20/13.37 c 12.5s| 1000 | 166 | 35933 | 35.1 | 89M | 20 | 481 |9684 |7991 | 522 | 0 |2344 | 14 | 0.000000e+00 | -- | Inf | 14.73%
13.20/13.37 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
13.20/13.37 c (run 1, node 1009) performing user restart
13.20/13.37 c
13.20/13.37 c (restart) converted 25 cuts from the global cut pool into linear constraints
13.20/13.37 c
13.20/13.37 c presolving:
13.20/13.37 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.20/13.37 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.20/13.37 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.20/13.37 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.20/13.37 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.20/13.37 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.20/13.37 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.20/13.37 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.20/13.37 c presolving (9 rounds: 9 fast, 8 medium, 6 exhaustive):
13.20/13.37 c 0 deleted vars, 405 deleted constraints, 8 added constraints, 0 tightened bounds, 0 added holes, 77 changed sides, 943 changed coefficients
13.20/13.37 c 0 implications, 2177 cliques
13.20/13.37 c presolved problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 9313 constraints
13.20/13.37 c 758 constraints of type <knapsack>
13.20/13.37 c 2003 constraints of type <setppc>
13.20/13.37 c 5 constraints of type <and>
13.20/13.37 c 34 constraints of type <linear>
13.20/13.37 c 6513 constraints of type <logicor>
13.20/13.37 c transformed objective value is always integral (scale: 1)
13.20/13.37 c Presolving Time: 0.28
13.20/13.37 c
13.20/13.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.20/13.37 c 12.8s| 1 | 0 | 36277 | - | 90M | 0 | 481 |9328 |7985 | 0 | 0 |2364 | 14 | 0.000000e+00 | -- | Inf | unknown
44.52/44.76 c 13.2s| 1 | 0 | 36302 | - | 90M | 0 | 481 |9402 |7991 | 6 | 1 |2366 | 14 | 0.000000e+00 | -- | Inf | unknown
44.52/44.76 c 13.3s| 1 | 0 | 36325 | - | 90M | 0 | 481 |9403 |7997 | 12 | 2 |2367 | 14 | 0.000000e+00 | -- | Inf | unknown
44.52/44.76 c 13.5s| 1 | 0 | 36356 | - | 91M | 0 | 481 |9406 |8004 | 19 | 3 |2370 | 14 | 0.000000e+00 | -- | Inf | unknown
44.52/44.76 c 13.6s| 1 | 0 | 36384 | - | 92M | 0 | 481 |9407 |8009 | 24 | 4 |2371 | 14 | 0.000000e+00 | -- | Inf | unknown
44.52/44.76 c 13.7s| 1 | 0 | 36412 | - | 93M | 0 | 481 |9408 |8017 | 32 | 5 |2372 | 14 | 0.000000e+00 | -- | Inf | unknown
44.52/44.76 c 13.7s| 1 | 0 | 36443 | - | 94M | 0 | 481 |9411 |8020 | 35 | 6 |2375 | 14 | 0.000000e+00 | -- | Inf | unknown
44.52/44.76 c 13.8s| 1 | 0 | 36455 | - | 96M | 0 | 481 |9413 |8024 | 39 | 7 |2377 | 14 | 0.000000e+00 | -- | Inf | unknown
44.52/44.76 c 13.9s| 1 | 0 | 36474 | - | 98M | 0 | 481 |9414 |8027 | 42 | 8 |2378 | 14 | 0.000000e+00 | -- | Inf | unknown
44.52/44.76 c 14.1s| 1 | 0 | 36504 | - | 101M | 0 | 481 |9415 |8030 | 45 | 9 |2379 | 14 | 0.000000e+00 | -- | Inf | unknown
44.52/44.76 c 14.2s| 1 | 0 | 36547 | - | 105M | 0 | 481 |9425 |8011 | 50 | 10 |2389 | 14 | 0.000000e+00 | -- | Inf | unknown
44.52/44.76 c 14.2s| 1 | 0 | 36569 | - | 106M | 0 | 481 |9427 |8015 | 54 | 11 |2391 | 14 | 0.000000e+00 | -- | Inf | unknown
44.52/44.76 c 14.4s| 1 | 2 | 36856 | - | 106M | 0 | 481 |9434 |8015 | 54 | 11 |2398 | 27 | 0.000000e+00 | -- | Inf | unknown
44.52/44.76 c 15.9s| 100 | 41 | 41250 | 36.1 | 111M | 18 | 481 |9699 | 0 | 139 | 0 |2704 | 27 | 0.000000e+00 | -- | Inf | 4.12%
44.52/44.76 c 16.8s| 200 | 87 | 46766 | 37.7 | 112M | 19 | 481 |9954 |7980 | 157 | 1 |3064 | 27 | 0.000000e+00 | -- | Inf | 4.37%
44.52/44.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.52/44.76 c 17.7s| 300 | 119 | 51596 | 38.5 | 112M | 20 | 481 | 10k|7985 | 186 | 1 |3322 | 27 | 0.000000e+00 | -- | Inf | 4.54%
44.52/44.76 c 18.2s| 400 | 144 | 55323 | 38.4 | 112M | 21 | 481 | 10k| 0 | 190 | 0 |3580 | 27 | 0.000000e+00 | -- | Inf | 4.83%
44.52/44.76 c 19.1s| 500 | 190 | 59082 | 38.4 | 115M | 23 | 481 | 10k|7983 | 279 | 1 |4139 | 27 | 0.000000e+00 | -- | Inf | 5.95%
44.52/44.76 c 19.9s| 600 | 216 | 61949 | 37.8 | 115M | 23 | 481 | 10k|7976 | 350 | 1 |4516 | 27 | 0.000000e+00 | -- | Inf | 6.28%
44.52/44.76 c 21.0s| 700 | 243 | 65196 | 37.5 | 115M | 23 | 481 | 11k| 0 | 458 | 0 |4868 | 27 | 0.000000e+00 | -- | Inf | 7.14%
44.52/44.76 c 21.9s| 800 | 282 | 67772 | 36.8 | 116M | 23 | 481 | 11k|7981 | 497 | 1 |5114 | 27 | 0.000000e+00 | -- | Inf | 7.29%
44.52/44.76 c 22.1s| 900 | 302 | 69725 | 35.9 | 116M | 23 | 481 | 11k| 0 | 498 | 0 |5311 | 27 | 0.000000e+00 | -- | Inf | 7.32%
44.52/44.76 c 22.7s| 1000 | 323 | 72902 | 35.7 | 118M | 23 | 481 | 11k|7980 | 544 | 1 |5561 | 27 | 0.000000e+00 | -- | Inf | 7.57%
44.52/44.76 c 23.2s| 1100 | 341 | 75208 | 35.1 | 119M | 24 | 481 | 11k|7976 | 554 | 1 |5772 | 27 | 0.000000e+00 | -- | Inf | 10.24%
44.52/44.76 c 24.1s| 1200 | 350 | 78187 | 34.9 | 119M | 24 | 481 | 11k|7981 | 656 | 1 |5942 | 27 | 0.000000e+00 | -- | Inf | 12.80%
44.52/44.76 c 24.6s| 1300 | 360 | 80934 | 34.5 | 119M | 27 | 481 | 11k|7984 | 681 | 1 |6207 | 27 | 0.000000e+00 | -- | Inf | 12.90%
44.52/44.76 c 25.3s| 1400 | 397 | 84244 | 34.5 | 119M | 27 | 481 | 11k|7985 | 725 | 1 |6381 | 27 | 0.000000e+00 | -- | Inf | 13.22%
44.52/44.76 c 25.7s| 1500 | 419 | 87467 | 34.4 | 120M | 29 | 481 | 11k|7987 | 741 | 1 |6627 | 27 | 0.000000e+00 | -- | Inf | 13.24%
44.52/44.76 c 26.1s| 1600 | 438 | 90296 | 34.2 | 120M | 29 | 481 | 11k|7986 | 751 | 1 |6845 | 27 | 0.000000e+00 | -- | Inf | 13.25%
44.52/44.76 c 26.5s| 1700 | 432 | 92381 | 33.7 | 122M | 29 | 481 | 11k|7976 | 773 | 1 |7052 | 27 | 0.000000e+00 | -- | Inf | 13.72%
44.52/44.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.52/44.76 c 27.5s| 1800 | 465 | 94953 | 33.4 | 122M | 29 | 481 | 11k| 0 | 897 | 0 |7292 | 27 | 0.000000e+00 | -- | Inf | 14.52%
44.52/44.76 c 28.8s| 1900 | 485 | 97137 | 33.0 | 123M | 29 | 481 | 11k| 0 |1010 | 0 |7480 | 27 | 0.000000e+00 | -- | Inf | 15.58%
44.52/44.76 c 29.8s| 2000 | 483 | 99004 | 32.5 | 126M | 29 | 481 | 11k|7981 |1127 | 1 |7697 | 27 | 0.000000e+00 | -- | Inf | 17.29%
44.52/44.76 c 30.7s| 2100 | 491 |100924 | 32.1 | 127M | 29 | 481 | 11k|7987 |1223 | 1 |7860 | 27 | 0.000000e+00 | -- | Inf | 17.98%
44.52/44.76 c 31.1s| 2200 | 489 |102988 | 31.7 | 127M | 29 | 481 | 11k|7984 |1250 | 1 |8059 | 27 | 0.000000e+00 | -- | Inf | 18.22%
44.52/44.76 c 31.8s| 2300 | 500 |107459 | 32.1 | 127M | 29 | 481 | 11k|7976 |1292 | 1 |8241 | 27 | 0.000000e+00 | -- | Inf | 18.71%
44.52/44.76 c 33.9s| 2400 | 542 |110516 | 32.1 | 130M | 29 | 481 | 11k|7988 |1434 | 2 |8466 | 27 | 0.000000e+00 | -- | Inf | 19.93%
44.52/44.76 c 34.2s| 2500 | 563 |112309 | 31.7 | 130M | 29 | 481 | 12k| 0 |1438 | 0 |8705 | 27 | 0.000000e+00 | -- | Inf | 20.01%
44.52/44.76 c 35.2s| 2600 | 578 |114471 | 31.4 | 130M | 29 | 481 | 12k|7979 |1495 | 1 |8882 | 27 | 0.000000e+00 | -- | Inf | 20.73%
44.52/44.76 c 36.0s| 2700 | 596 |117274 | 31.3 | 131M | 29 | 481 | 12k|7985 |1572 | 1 |9145 | 27 | 0.000000e+00 | -- | Inf | 21.18%
44.52/44.76 c 36.3s| 2800 | 597 |119536 | 31.1 | 131M | 29 | 481 | 12k|7975 |1572 | 1 |9317 | 27 | 0.000000e+00 | -- | Inf | 21.36%
44.52/44.76 c 37.0s| 2900 | 626 |124188 | 31.5 | 131M | 29 | 481 | 12k|7985 |1597 | 1 |9559 | 27 | 0.000000e+00 | -- | Inf | 21.47%
44.52/44.76 c 37.2s| 3000 | 624 |125876 | 31.1 | 132M | 29 | 481 | 12k|7981 |1597 | 1 |9783 | 27 | 0.000000e+00 | -- | Inf | 21.53%
44.52/44.76 c 37.6s| 3100 | 633 |128306 | 30.9 | 133M | 29 | 481 | 12k|7977 |1629 | 1 |9966 | 27 | 0.000000e+00 | -- | Inf | 24.55%
44.52/44.76 c 38.0s| 3200 | 648 |130430 | 30.7 | 133M | 29 | 481 | 12k|7975 |1650 | 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 25.30%
44.52/44.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.52/44.76 c 38.7s| 3300 | 685 |134314 | 30.9 | 135M | 29 | 481 | 12k|7981 |1677 | 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 25.49%
44.52/44.76 c 39.2s| 3400 | 715 |137678 | 31.0 | 135M | 29 | 481 | 12k|7983 |1689 | 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 25.52%
44.52/44.76 c 40.0s| 3500 | 721 |140917 | 31.0 | 135M | 29 | 481 | 12k|7981 |1740 | 1 | 11k| 27 | 0.000000e+00 | -- | Inf | 26.29%
44.52/44.76 c 40.4s| 3600 | 721 |143023 | 30.8 | 137M | 29 | 481 | 12k|7976 |1750 | 1 | 11k| 27 | 0.000000e+00 | -- | Inf | 26.81%
44.52/44.76 c 41.4s| 3700 | 737 |145551 | 30.7 | 137M | 29 | 481 | 11k|7986 |1832 | 1 | 11k| 27 | 0.000000e+00 | -- | Inf | 27.59%
44.52/44.76 c 41.9s| 3800 | 736 |147612 | 30.4 | 137M | 33 | 481 | 11k|7985 |1864 | 1 | 11k| 27 | 0.000000e+00 | -- | Inf | 27.77%
44.52/44.76 c 42.6s| 3900 | 732 |149593 | 30.2 | 137M | 33 | 481 | 11k| 0 |1909 | 0 | 11k| 27 | 0.000000e+00 | -- | Inf | 28.54%
44.52/44.76 c 43.1s| 4000 | 749 |151427 | 30.0 | 137M | 33 | 481 | 11k| 0 |1939 | 0 | 12k| 27 | 0.000000e+00 | -- | Inf | 28.80%
44.52/44.76 c 43.5s| 4100 | 759 |153703 | 29.9 | 137M | 33 | 481 | 12k|7982 |1984 | 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 29.48%
69.75/70.01 c 44.6s| 4200 | 789 |156823 | 29.9 | 139M | 33 | 481 | 12k|7991 |2042 | 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 30.01%
69.75/70.01 c 44.8s| 4300 | 782 |158421 | 29.6 | 139M | 33 | 481 | 12k|7988 |2049 | 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 30.20%
69.75/70.01 c 45.3s| 4400 | 805 |161140 | 29.6 | 139M | 33 | 481 | 12k|7990 |2065 | 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 30.31%
69.75/70.01 c 45.8s| 4500 | 816 |163987 | 29.6 | 140M | 33 | 481 | 12k| 0 |2099 | 0 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.05%
69.75/70.01 c 46.6s| 4600 | 823 |167151 | 29.6 | 141M | 33 | 481 | 12k|7985 |2164 | 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.51%
69.75/70.01 c 46.9s| 4700 | 840 |169184 | 29.4 | 141M | 33 | 481 | 12k|7988 |2166 | 0 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.58%
69.75/70.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
69.75/70.01 c 47.5s| 4800 | 841 |170626 | 29.2 | 141M | 33 | 481 | 12k|7986 |2211 | 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 33.43%
69.75/70.01 c 47.9s| 4900 | 843 |172164 | 28.9 | 145M | 33 | 481 | 12k|7986 |2221 | 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 33.64%
69.75/70.01 c 48.2s| 5000 | 856 |174480 | 28.8 | 145M | 33 | 481 | 12k|7983 |2235 | 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 33.70%
69.75/70.01 c 48.5s| 5100 | 853 |176132 | 28.6 | 145M | 33 | 481 | 12k| 0 |2258 | 0 | 14k| 27 | 0.000000e+00 | -- | Inf | 34.19%
69.75/70.01 c 48.9s| 5200 | 849 |177391 | 28.4 | 145M | 33 | 481 | 12k|7987 |2274 | 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 34.37%
69.75/70.01 c 49.4s| 5300 | 858 |179502 | 28.3 | 145M | 33 | 481 | 12k| 0 |2309 | 0 | 14k| 27 | 0.000000e+00 | -- | Inf | 35.90%
69.75/70.01 c 50.0s| 5400 | 873 |182224 | 28.2 | 145M | 33 | 481 | 12k|7981 |2358 | 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 36.31%
69.75/70.01 c 50.3s| 5500 | 872 |184103 | 28.1 | 145M | 33 | 481 | 12k|7988 |2363 | 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 36.45%
69.75/70.01 c 50.8s| 5600 | 887 |186417 | 28.0 | 145M | 33 | 481 | 12k|7990 |2403 | 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 36.70%
69.75/70.01 c 51.1s| 5700 | 899 |187962 | 27.8 | 145M | 33 | 481 | 12k|7991 |2421 | 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 36.70%
69.75/70.01 c 51.5s| 5800 | 937 |191987 | 28.0 | 145M | 33 | 481 | 12k|7991 |2438 | 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 36.71%
69.75/70.01 c 51.9s| 5900 | 946 |194422 | 28.0 | 145M | 33 | 481 | 12k| 0 |2452 | 0 | 15k| 27 | 0.000000e+00 | -- | Inf | 36.72%
69.75/70.01 c 52.2s| 6000 | 930 |196070 | 27.8 | 145M | 33 | 481 | 12k|7988 |2452 | 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 37.76%
69.75/70.01 c 53.0s| 6100 | 950 |198137 | 27.7 | 145M | 33 | 481 | 12k|7986 |2496 | 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 39.41%
69.75/70.01 c 53.6s| 6200 | 973 |201392 | 27.8 | 145M | 33 | 481 | 12k|7982 |2518 | 0 | 16k| 27 | 0.000000e+00 | -- | Inf | 39.95%
69.75/70.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
69.75/70.01 c 54.0s| 6300 | 967 |203274 | 27.6 | 145M | 33 | 481 | 12k| 0 |2543 | 0 | 16k| 27 | 0.000000e+00 | -- | Inf | 41.79%
69.75/70.01 c 54.5s| 6400 | 976 |205380 | 27.6 | 145M | 33 | 481 | 12k|7986 |2573 | 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 42.00%
69.75/70.01 c 55.0s| 6500 | 986 |207332 | 27.5 | 145M | 33 | 481 | 12k|7982 |2603 | 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 42.32%
69.75/70.01 c 55.6s| 6600 | 993 |209916 | 27.4 | 145M | 33 | 481 | 12k|7992 |2646 | 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 42.45%
69.75/70.01 c 55.8s| 6700 | 990 |211304 | 27.3 | 145M | 33 | 481 | 12k| 0 |2646 | 0 | 17k| 27 | 0.000000e+00 | -- | Inf | 42.53%
69.75/70.01 c 56.3s| 6800 | 1003 |212794 | 27.1 | 146M | 33 | 481 | 12k|7984 |2675 | 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 42.82%
69.75/70.01 c 56.6s| 6900 | 1016 |214497 | 27.0 | 146M | 33 | 481 | 13k|7994 |2696 | 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 42.91%
69.75/70.01 c 57.3s| 7000 | 1034 |216421 | 26.9 | 146M | 33 | 481 | 13k|7987 |2759 | 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 43.23%
69.75/70.01 c 57.8s| 7100 | 1029 |217888 | 26.7 | 146M | 33 | 481 | 12k|7990 |2802 | 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 43.80%
69.75/70.01 c 58.2s| 7200 | 1025 |220360 | 26.7 | 146M | 33 | 481 | 12k|7992 |2829 | 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 44.02%
69.75/70.01 c 58.5s| 7300 | 1029 |221926 | 26.6 | 148M | 33 | 481 | 13k|7984 |2837 | 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 44.25%
69.75/70.01 c 59.0s| 7400 | 1038 |224550 | 26.6 | 148M | 33 | 481 | 12k|7979 |2843 | 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 44.53%
69.75/70.01 c 59.7s| 7500 | 1032 |226780 | 26.5 | 148M | 33 | 481 | 12k|7990 |2904 | 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 44.91%
69.75/70.01 c 60.3s| 7600 | 1050 |229670 | 26.5 | 148M | 33 | 481 | 12k|7988 |2940 | 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 45.34%
69.75/70.01 c 60.6s| 7700 | 1068 |232382 | 26.5 | 148M | 33 | 481 | 12k|7988 |2957 | 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 45.41%
69.75/70.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
69.75/70.01 c 60.9s| 7800 | 1085 |234797 | 26.5 | 148M | 33 | 481 | 12k|7976 |2984 | 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 45.82%
69.75/70.01 c 61.5s| 7900 | 1068 |236283 | 26.4 | 148M | 33 | 481 | 12k| 0 |3021 | 0 | 19k| 27 | 0.000000e+00 | -- | Inf | 47.14%
69.75/70.01 c 62.2s| 8000 | 1053 |237981 | 26.3 | 148M | 33 | 481 | 12k|7983 |3043 | 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 47.63%
69.75/70.01 c 62.6s| 8100 | 1053 |239530 | 26.2 | 152M | 33 | 481 | 12k|7985 |3052 | 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 47.82%
69.75/70.01 c 63.0s| 8200 | 1078 |242661 | 26.2 | 152M | 33 | 481 | 12k|7993 |3092 | 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 47.89%
69.75/70.01 c 63.5s| 8300 | 1090 |245897 | 26.3 | 152M | 33 | 481 | 12k|7982 |3109 | 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 47.99%
69.75/70.01 c 64.2s| 8400 | 1105 |248937 | 26.3 | 152M | 33 | 481 | 12k|7993 |3141 | 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 48.29%
69.75/70.01 c 64.5s| 8500 | 1113 |251610 | 26.3 | 152M | 33 | 481 | 13k|7985 |3156 | 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 48.54%
69.75/70.01 c 65.0s| 8600 | 1104 |253597 | 26.3 | 152M | 33 | 481 | 13k|7985 |3181 | 2 | 20k| 27 | 0.000000e+00 | -- | Inf | 48.62%
69.75/70.01 c 66.0s| 8700 | 1130 |257410 | 26.4 | 152M | 33 | 481 | 13k|7981 |3266 | 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 49.03%
69.75/70.01 c 67.0s| 8800 | 1144 |259306 | 26.3 | 152M | 33 | 481 | 13k|7989 |3365 | 2 | 21k| 27 | 0.000000e+00 | -- | Inf | 49.46%
69.75/70.01 c 67.4s| 8900 | 1138 |261082 | 26.2 | 152M | 33 | 481 | 13k| 0 |3397 | 0 | 21k| 27 | 0.000000e+00 | -- | Inf | 49.70%
69.75/70.01 c 68.0s| 9000 | 1140 |262852 | 26.1 | 154M | 33 | 481 | 12k|7983 |3450 | 0 | 21k| 27 | 0.000000e+00 | -- | Inf | 50.81%
69.75/70.01 c 68.2s| 9100 | 1147 |264183 | 26.0 | 154M | 33 | 481 | 13k|7990 |3450 | 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 50.89%
69.75/70.01 c 69.0s| 9200 | 1181 |267949 | 26.1 | 154M | 33 | 481 | 13k|7986 |3487 | 2 | 21k| 27 | 0.000000e+00 | -- | Inf | 51.02%
69.75/70.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
69.75/70.01 c 69.4s| 9300 | 1185 |268924 | 26.0 | 154M | 33 | 481 | 13k|7984 |3509 | 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 51.47%
95.17/95.55 c 69.9s| 9400 | 1188 |270901 | 25.9 | 154M | 33 | 481 | 13k|7987 |3541 | 0 | 22k| 27 | 0.000000e+00 | -- | Inf | 53.29%
95.17/95.55 c 70.3s| 9500 | 1206 |272844 | 25.8 | 156M | 33 | 481 | 13k|7993 |3577 | 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 53.34%
95.17/95.55 c 70.6s| 9600 | 1194 |274250 | 25.7 | 156M | 33 | 481 | 13k|7983 |3599 | 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 53.62%
95.17/95.55 c 71.1s| 9700 | 1205 |276968 | 25.8 | 156M | 33 | 481 | 13k|7991 |3636 | 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 54.57%
95.17/95.55 c 71.9s| 9800 | 1211 |279195 | 25.7 | 159M | 33 | 481 | 13k|7996 |3702 | 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 54.91%
95.17/95.55 c 72.4s| 9900 | 1212 |281014 | 25.7 | 159M | 33 | 481 | 13k|7991 |3737 | 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 55.20%
95.17/95.55 c 72.9s| 10000 | 1225 |283039 | 25.6 | 159M | 33 | 481 | 13k|7987 |3785 | 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 55.50%
95.17/95.55 c 73.2s| 10100 | 1223 |284420 | 25.5 | 159M | 33 | 481 | 13k|7989 |3785 | 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 55.56%
95.17/95.55 c 73.8s| 10200 | 1210 |286461 | 25.5 | 159M | 33 | 481 | 13k| 0 |3822 | 0 | 23k| 27 | 0.000000e+00 | -- | Inf | 55.93%
95.17/95.55 c 74.6s| 10300 | 1206 |288866 | 25.4 | 159M | 33 | 481 | 12k|7977 |3902 | 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 56.95%
95.17/95.55 c 75.1s| 10400 | 1223 |291094 | 25.4 | 164M | 33 | 481 | 12k| 0 |3932 | 0 | 23k| 27 | 0.000000e+00 | -- | Inf | 57.01%
95.17/95.55 c 75.3s| 10500 | 1224 |292778 | 25.3 | 164M | 33 | 481 | 12k|7977 |3938 | 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 57.12%
95.17/95.55 c 75.8s| 10600 | 1224 |293936 | 25.2 | 164M | 33 | 481 | 12k|7993 |3993 | 1 | 24k| 27 | 0.000000e+00 | -- | Inf | 57.32%
95.17/95.55 c 76.5s| 10700 | 1233 |296047 | 25.2 | 164M | 33 | 481 | 12k| 0 |4040 | 0 | 24k| 27 | 0.000000e+00 | -- | Inf | 58.06%
95.17/95.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
95.17/95.55 c 76.9s| 10800 | 1219 |297637 | 25.1 | 164M | 33 | 481 | 12k| 0 |4050 | 0 | 24k| 27 | 0.000000e+00 | -- | Inf | 60.40%
95.17/95.55 c 77.3s| 10900 | 1211 |299276 | 25.0 | 164M | 33 | 481 | 12k| 0 |4068 | 0 | 24k| 27 | 0.000000e+00 | -- | Inf | 62.45%
95.17/95.55 c 77.8s| 11000 | 1215 |300799 | 24.9 | 164M | 33 | 481 | 12k| 0 |4106 | 0 | 24k| 27 | 0.000000e+00 | -- | Inf | 62.91%
95.17/95.55 c 78.6s| 11100 | 1203 |302438 | 24.9 | 164M | 33 | 481 | 12k|7989 |4164 | 0 | 24k| 27 | 0.000000e+00 | -- | Inf | 63.69%
95.17/95.55 c 79.2s| 11200 | 1205 |304179 | 24.8 | 164M | 33 | 481 | 12k| 0 |4227 | 0 | 25k| 27 | 0.000000e+00 | -- | Inf | 64.19%
95.17/95.55 c 79.7s| 11300 | 1213 |306665 | 24.8 | 164M | 33 | 481 | 12k| 0 |4248 | 0 | 25k| 27 | 0.000000e+00 | -- | Inf | 64.72%
95.17/95.55 c 80.2s| 11400 | 1213 |308864 | 24.8 | 164M | 33 | 481 | 12k|7985 |4265 | 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 64.97%
95.17/95.55 c 80.7s| 11500 | 1225 |311147 | 24.8 | 164M | 33 | 481 | 12k|7991 |4295 | 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 65.37%
95.17/95.55 c 81.0s| 11600 | 1233 |314134 | 24.8 | 164M | 33 | 481 | 12k|7992 |4316 | 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 65.46%
95.17/95.55 c 81.7s| 11700 | 1255 |317092 | 24.9 | 164M | 33 | 481 | 12k|7991 |4379 | 1 | 26k| 27 | 0.000000e+00 | -- | Inf | 65.65%
95.17/95.55 c 81.9s| 11800 | 1261 |318397 | 24.8 | 164M | 33 | 481 | 12k|7991 |4381 | 1 | 26k| 27 | 0.000000e+00 | -- | Inf | 65.65%
95.17/95.55 c 82.1s| 11900 | 1269 |319885 | 24.7 | 164M | 33 | 481 | 13k|7991 |4383 | 1 | 26k| 27 | 0.000000e+00 | -- | Inf | 65.66%
95.17/95.55 c 82.6s| 12000 | 1282 |321439 | 24.6 | 164M | 33 | 481 | 13k|7996 |4428 | 2 | 26k| 27 | 0.000000e+00 | -- | Inf | 65.71%
95.17/95.55 c 83.1s| 12100 | 1318 |324923 | 24.7 | 164M | 33 | 481 | 13k|7995 |4453 | 2 | 26k| 27 | 0.000000e+00 | -- | Inf | 65.87%
95.17/95.55 c 83.4s| 12200 | 1337 |326662 | 24.6 | 165M | 33 | 481 | 13k| 0 |4465 | 0 | 26k| 27 | 0.000000e+00 | -- | Inf | 65.90%
95.17/95.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
95.17/95.55 c 83.6s| 12300 | 1337 |328450 | 24.6 | 165M | 33 | 481 | 13k|7996 |4470 | 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 65.92%
95.17/95.55 c 84.1s| 12400 | 1341 |331365 | 24.6 | 166M | 33 | 481 | 13k|7990 |4493 | 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 66.34%
95.17/95.55 c 84.8s| 12500 | 1346 |334767 | 24.7 | 166M | 33 | 481 | 13k|7989 |4536 | 2 | 27k| 27 | 0.000000e+00 | -- | Inf | 66.93%
95.17/95.55 c 85.1s| 12600 | 1355 |336825 | 24.7 | 166M | 33 | 481 | 13k|7977 |4547 | 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 67.15%
95.17/95.55 c 85.9s| 12700 | 1333 |338417 | 24.6 | 166M | 33 | 481 | 13k|7982 |4622 | 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 67.85%
95.17/95.55 c 86.4s| 12800 | 1304 |340544 | 24.6 | 166M | 33 | 481 | 13k| 0 |4637 | 0 | 27k| 27 | 0.000000e+00 | -- | Inf | 68.15%
95.17/95.55 c 87.3s| 12900 | 1318 |344713 | 24.7 | 166M | 33 | 481 | 13k| 0 |4722 | 0 | 28k| 27 | 0.000000e+00 | -- | Inf | 68.47%
95.17/95.55 c 88.0s| 13000 | 1330 |347021 | 24.7 | 166M | 33 | 481 | 13k| 0 |4782 | 0 | 28k| 27 | 0.000000e+00 | -- | Inf | 68.66%
95.17/95.55 c 88.4s| 13100 | 1336 |348390 | 24.6 | 166M | 33 | 481 | 13k| 0 |4803 | 0 | 28k| 27 | 0.000000e+00 | -- | Inf | 68.79%
95.17/95.55 c 88.6s| 13200 | 1335 |349663 | 24.5 | 169M | 33 | 481 | 13k|7987 |4804 | 1 | 28k| 27 | 0.000000e+00 | -- | Inf | 68.84%
95.17/95.55 c 89.1s| 13300 | 1336 |351326 | 24.5 | 169M | 33 | 481 | 13k| 0 |4844 | 0 | 28k| 27 | 0.000000e+00 | -- | Inf | 68.98%
95.17/95.55 c 89.8s| 13400 | 1344 |353601 | 24.5 | 174M | 33 | 481 | 13k| 0 |4888 | 0 | 28k| 27 | 0.000000e+00 | -- | Inf | 70.09%
95.17/95.55 c 90.6s| 13500 | 1354 |356785 | 24.5 | 174M | 33 | 481 | 13k|7992 |4933 | 2 | 29k| 27 | 0.000000e+00 | -- | Inf | 70.25%
95.17/95.55 c 91.0s| 13600 | 1370 |359731 | 24.5 | 174M | 33 | 481 | 13k|7991 |4940 | 1 | 29k| 27 | 0.000000e+00 | -- | Inf | 70.35%
95.17/95.55 c 91.6s| 13700 | 1385 |362225 | 24.5 | 174M | 33 | 481 | 13k|7993 |4987 | 1 | 29k| 27 | 0.000000e+00 | -- | Inf | 70.44%
95.17/95.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
95.17/95.55 c 92.0s| 13800 | 1400 |364893 | 24.6 | 174M | 33 | 481 | 13k|7993 |4996 | 1 | 29k| 27 | 0.000000e+00 | -- | Inf | 70.52%
95.17/95.55 c 92.2s| 13900 | 1381 |366338 | 24.5 | 174M | 33 | 481 | 13k| 0 |5003 | 0 | 29k| 27 | 0.000000e+00 | -- | Inf | 70.58%
95.17/95.55 c 92.6s| 14000 | 1398 |368646 | 24.5 | 174M | 33 | 481 | 13k|7984 |5013 | 1 | 30k| 27 | 0.000000e+00 | -- | Inf | 70.70%
95.17/95.55 c 92.9s| 14100 | 1389 |370395 | 24.4 | 174M | 33 | 481 | 13k|7981 |5014 | 1 | 30k| 27 | 0.000000e+00 | -- | Inf | 70.76%
95.17/95.55 c 93.3s| 14200 | 1412 |372458 | 24.4 | 174M | 33 | 481 | 13k|7989 |5028 | 2 | 30k| 27 | 0.000000e+00 | -- | Inf | 70.77%
95.17/95.55 c 93.6s| 14300 | 1424 |374079 | 24.4 | 174M | 33 | 481 | 13k|7983 |5036 | 1 | 30k| 27 | 0.000000e+00 | -- | Inf | 70.95%
95.17/95.55 c 94.3s| 14400 | 1433 |377571 | 24.4 | 174M | 33 | 481 | 13k|7988 |5081 | 1 | 30k| 27 | 0.000000e+00 | -- | Inf | 71.25%
95.17/95.55 c 94.7s| 14500 | 1436 |379225 | 24.4 | 174M | 33 | 481 | 13k| 0 |5102 | 0 | 30k| 27 | 0.000000e+00 | -- | Inf | 71.33%
95.17/95.55 c 95.1s| 14600 | 1426 |380890 | 24.3 | 174M | 33 | 481 | 13k|7989 |5115 | 1 | 31k| 27 | 0.000000e+00 | -- | Inf | 71.52%
117.61/118.06 c 95.4s| 14700 | 1428 |383031 | 24.3 | 174M | 33 | 481 | 13k|7993 |5134 | 1 | 31k| 27 | 0.000000e+00 | -- | Inf | 71.71%
117.61/118.06 c 95.9s| 14800 | 1438 |384557 | 24.2 | 174M | 33 | 481 | 13k|7995 |5194 | 1 | 31k| 27 | 0.000000e+00 | -- | Inf | 71.91%
117.61/118.06 c 96.4s| 14900 | 1435 |386163 | 24.2 | 174M | 33 | 481 | 13k|7984 |5237 | 1 | 31k| 27 | 0.000000e+00 | -- | Inf | 72.15%
117.61/118.06 c 97.3s| 15000 | 1454 |389279 | 24.2 | 174M | 33 | 481 | 13k| 0 |5307 | 0 | 31k| 27 | 0.000000e+00 | -- | Inf | 72.32%
117.61/118.06 c 97.7s| 15100 | 1454 |391853 | 24.3 | 174M | 33 | 481 | 13k|7981 |5317 | 1 | 31k| 27 | 0.000000e+00 | -- | Inf | 72.41%
117.61/118.06 c 97.9s| 15200 | 1454 |392998 | 24.2 | 174M | 33 | 481 | 13k|7981 |5317 | 1 | 32k| 27 | 0.000000e+00 | -- | Inf | 72.56%
117.61/118.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.61/118.06 c 98.5s| 15300 | 1466 |395279 | 24.2 | 174M | 33 | 481 | 13k|7990 |5366 | 1 | 32k| 27 | 0.000000e+00 | -- | Inf | 72.79%
117.61/118.06 c 99.0s| 15400 | 1473 |397818 | 24.2 | 175M | 33 | 481 | 13k|7989 |5400 | 1 | 32k| 27 | 0.000000e+00 | -- | Inf | 73.00%
117.61/118.06 c 99.9s| 15500 | 1486 |399744 | 24.1 | 175M | 33 | 481 | 13k|7995 |5452 | 1 | 32k| 27 | 0.000000e+00 | -- | Inf | 73.18%
117.61/118.06 c 100s| 15600 | 1487 |401299 | 24.1 | 175M | 33 | 481 | 13k|7983 |5465 | 1 | 32k| 27 | 0.000000e+00 | -- | Inf | 73.24%
117.61/118.06 c 101s| 15700 | 1486 |402963 | 24.0 | 175M | 33 | 481 | 13k|7982 |5498 | 1 | 32k| 27 | 0.000000e+00 | -- | Inf | 74.00%
117.61/118.06 c 101s| 15800 | 1480 |404303 | 24.0 | 175M | 33 | 481 | 13k|7993 |5524 | 1 | 33k| 27 | 0.000000e+00 | -- | Inf | 74.33%
117.61/118.06 c 102s| 15900 | 1487 |407133 | 24.0 | 175M | 33 | 481 | 13k|7991 |5550 | 1 | 33k| 27 | 0.000000e+00 | -- | Inf | 74.44%
117.61/118.06 c 102s| 16000 | 1487 |409241 | 24.0 | 175M | 33 | 481 | 13k|7976 |5575 | 1 | 33k| 27 | 0.000000e+00 | -- | Inf | 74.56%
117.61/118.06 c 103s| 16100 | 1478 |411551 | 24.0 | 175M | 33 | 481 | 13k|7989 |5625 | 1 | 33k| 27 | 0.000000e+00 | -- | Inf | 75.19%
117.61/118.06 c 103s| 16200 | 1479 |413392 | 24.0 | 175M | 33 | 481 | 13k|7992 |5628 | 1 | 33k| 27 | 0.000000e+00 | -- | Inf | 75.42%
117.61/118.06 c 103s| 16300 | 1482 |415196 | 23.9 | 175M | 33 | 481 | 13k|7995 |5657 | 1 | 34k| 27 | 0.000000e+00 | -- | Inf | 75.50%
117.61/118.06 c 104s| 16400 | 1464 |416835 | 23.9 | 175M | 33 | 481 | 13k| 0 |5685 | 0 | 34k| 27 | 0.000000e+00 | -- | Inf | 75.75%
117.61/118.06 c 104s| 16500 | 1471 |418337 | 23.8 | 175M | 33 | 481 | 13k|7979 |5690 | 1 | 34k| 27 | 0.000000e+00 | -- | Inf | 75.83%
117.61/118.06 c 104s| 16600 | 1486 |421143 | 23.8 | 175M | 33 | 481 | 13k| 0 |5701 | 0 | 34k| 27 | 0.000000e+00 | -- | Inf | 75.84%
117.61/118.06 c 105s| 16700 | 1501 |423625 | 23.9 | 175M | 33 | 481 | 13k|8001 |5719 | 1 | 34k| 27 | 0.000000e+00 | -- | Inf | 75.84%
117.61/118.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.61/118.06 c 105s| 16800 | 1497 |425687 | 23.8 | 175M | 33 | 481 | 13k|7989 |5760 | 1 | 34k| 27 | 0.000000e+00 | -- | Inf | 75.89%
117.61/118.06 c 106s| 16900 | 1503 |427279 | 23.8 | 175M | 33 | 481 | 13k|7990 |5768 | 1 | 35k| 27 | 0.000000e+00 | -- | Inf | 75.96%
117.61/118.06 c 106s| 17000 | 1509 |429278 | 23.8 | 175M | 33 | 481 | 14k|7992 |5777 | 1 | 35k| 27 | 0.000000e+00 | -- | Inf | 75.97%
117.61/118.06 c 106s| 17100 | 1518 |432547 | 23.8 | 175M | 33 | 481 | 14k|7994 |5789 | 2 | 35k| 27 | 0.000000e+00 | -- | Inf | 75.99%
117.61/118.06 c 107s| 17200 | 1515 |434297 | 23.8 | 175M | 33 | 481 | 14k|7982 |5797 | 1 | 35k| 27 | 0.000000e+00 | -- | Inf | 76.09%
117.61/118.06 c 107s| 17300 | 1506 |435908 | 23.7 | 175M | 33 | 481 | 14k|7993 |5803 | 1 | 35k| 27 | 0.000000e+00 | -- | Inf | 76.17%
117.61/118.06 c 107s| 17400 | 1499 |437611 | 23.7 | 175M | 33 | 481 | 14k| 0 |5810 | 0 | 35k| 27 | 0.000000e+00 | -- | Inf | 76.29%
117.61/118.06 c 107s| 17500 | 1516 |439869 | 23.7 | 175M | 33 | 481 | 14k| 0 |5832 | 0 | 36k| 27 | 0.000000e+00 | -- | Inf | 76.40%
117.61/118.06 c 108s| 17600 | 1531 |441744 | 23.7 | 175M | 33 | 481 | 14k|7984 |5884 | 1 | 36k| 27 | 0.000000e+00 | -- | Inf | 76.59%
117.61/118.06 c 108s| 17700 | 1538 |444354 | 23.7 | 175M | 33 | 481 | 14k|7981 |5886 | 1 | 36k| 27 | 0.000000e+00 | -- | Inf | 76.65%
117.61/118.06 c 109s| 17800 | 1535 |446301 | 23.7 | 178M | 33 | 481 | 14k|7976 |5943 | 1 | 36k| 27 | 0.000000e+00 | -- | Inf | 77.11%
117.61/118.06 c 110s| 17900 | 1530 |448162 | 23.6 | 178M | 33 | 481 | 14k|7983 |5988 | 1 | 36k| 27 | 0.000000e+00 | -- | Inf | 77.61%
117.61/118.06 c 110s| 18000 | 1528 |450533 | 23.6 | 178M | 33 | 481 | 14k| 0 |6012 | 0 | 37k| 27 | 0.000000e+00 | -- | Inf | 77.79%
117.61/118.06 c 111s| 18100 | 1528 |453551 | 23.7 | 178M | 33 | 481 | 13k| 0 |6057 | 0 | 37k| 27 | 0.000000e+00 | -- | Inf | 78.18%
117.61/118.06 c 112s| 18200 | 1538 |455611 | 23.7 | 179M | 33 | 481 | 13k|7993 |6114 | 1 | 37k| 27 | 0.000000e+00 | -- | Inf | 78.52%
117.61/118.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.61/118.06 c 112s| 18300 | 1531 |458192 | 23.7 | 179M | 33 | 481 | 13k| 0 |6152 | 0 | 37k| 27 | 0.000000e+00 | -- | Inf | 78.78%
117.61/118.06 c 112s| 18400 | 1523 |459662 | 23.6 | 179M | 33 | 481 | 13k|7983 |6157 | 1 | 37k| 27 | 0.000000e+00 | -- | Inf | 78.86%
117.61/118.06 c 113s| 18500 | 1541 |461993 | 23.6 | 179M | 33 | 481 | 13k| 0 |6183 | 0 | 37k| 27 | 0.000000e+00 | -- | Inf | 81.47%
117.61/118.06 c 113s| 18600 | 1536 |463965 | 23.6 | 179M | 33 | 481 | 13k|7990 |6204 | 1 | 38k| 27 | 0.000000e+00 | -- | Inf | 81.58%
117.61/118.06 c 114s| 18700 | 1528 |465672 | 23.6 | 185M | 33 | 481 | 13k| 0 |6206 | 0 | 38k| 27 | 0.000000e+00 | -- | Inf | 81.66%
117.61/118.06 c 114s| 18800 | 1511 |467798 | 23.6 | 186M | 33 | 481 | 13k|7994 |6217 | 1 | 38k| 27 | 0.000000e+00 | -- | Inf | 81.95%
117.61/118.06 c 115s| 18900 | 1510 |470206 | 23.6 | 186M | 33 | 481 | 13k| 0 |6232 | 0 | 38k| 27 | 0.000000e+00 | -- | Inf | 82.07%
117.61/118.06 c 115s| 19000 | 1506 |472531 | 23.6 | 186M | 33 | 481 | 13k|7981 |6234 | 1 | 38k| 27 | 0.000000e+00 | -- | Inf | 82.18%
117.61/118.06 c 115s| 19100 | 1501 |475144 | 23.6 | 186M | 33 | 481 | 13k|7993 |6237 | 1 | 39k| 27 | 0.000000e+00 | -- | Inf | 82.29%
117.61/118.06 c 116s| 19200 | 1493 |477137 | 23.6 | 186M | 33 | 481 | 13k| 0 |6238 | 0 | 39k| 27 | 0.000000e+00 | -- | Inf | 82.42%
117.61/118.06 c 116s| 19300 | 1482 |479084 | 23.5 | 186M | 33 | 481 | 13k| 0 |6241 | 0 | 39k| 27 | 0.000000e+00 | -- | Inf | 82.56%
117.61/118.06 c 116s| 19400 | 1476 |481223 | 23.5 | 186M | 33 | 481 | 13k|7979 |6261 | 1 | 39k| 27 | 0.000000e+00 | -- | Inf | 82.75%
117.61/118.06 c 117s| 19500 | 1451 |483192 | 23.5 | 186M | 33 | 481 | 13k|7991 |6264 | 1 | 39k| 27 | 0.000000e+00 | -- | Inf | 83.04%
117.61/118.06 c 117s| 19600 | 1452 |484946 | 23.5 | 186M | 33 | 481 | 13k| 0 |6264 | 0 | 39k| 27 | 0.000000e+00 | -- | Inf | 83.05%
117.61/118.06 c 117s| 19700 | 1457 |486987 | 23.5 | 186M | 33 | 481 | 13k|7993 |6270 | 1 | 40k| 27 | 0.000000e+00 | -- | Inf | 83.06%
117.61/118.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.61/118.06 c 118s| 19800 | 1443 |488831 | 23.4 | 186M | 33 | 481 | 14k|7988 |6273 | 1 | 40k| 27 | 0.000000e+00 | -- | Inf | 83.19%
138.73/139.25 c 118s| 19900 | 1445 |490444 | 23.4 | 186M | 33 | 481 | 14k|7993 |6275 | 1 | 40k| 27 | 0.000000e+00 | -- | Inf | 83.33%
138.73/139.25 c 118s| 20000 | 1452 |492198 | 23.4 | 186M | 33 | 481 | 14k| 0 |6285 | 0 | 40k| 27 | 0.000000e+00 | -- | Inf | 83.35%
138.73/139.25 c 119s| 20100 | 1443 |493881 | 23.3 | 186M | 33 | 481 | 14k|7983 |6296 | 2 | 40k| 27 | 0.000000e+00 | -- | Inf | 83.44%
138.73/139.25 c 119s| 20200 | 1446 |496110 | 23.3 | 186M | 33 | 481 | 13k|7983 |6297 | 1 | 41k| 27 | 0.000000e+00 | -- | Inf | 83.60%
138.73/139.25 c 119s| 20300 | 1428 |497772 | 23.3 | 186M | 33 | 481 | 14k|7990 |6301 | 2 | 41k| 27 | 0.000000e+00 | -- | Inf | 83.73%
138.73/139.25 c 120s| 20400 | 1422 |499826 | 23.3 | 186M | 33 | 481 | 14k| 0 |6304 | 0 | 41k| 27 | 0.000000e+00 | -- | Inf | 83.85%
138.73/139.25 c 120s| 20500 | 1400 |501383 | 23.3 | 186M | 33 | 481 | 13k| 0 |6324 | 0 | 41k| 27 | 0.000000e+00 | -- | Inf | 84.08%
138.73/139.25 c 120s| 20600 | 1380 |503607 | 23.3 | 186M | 33 | 481 | 13k| 0 |6325 | 0 | 41k| 27 | 0.000000e+00 | -- | Inf | 84.45%
138.73/139.25 c 121s| 20700 | 1378 |505926 | 23.2 | 186M | 33 | 481 | 13k|7984 |6340 | 1 | 42k| 27 | 0.000000e+00 | -- | Inf | 84.56%
138.73/139.25 c 121s| 20800 | 1372 |508376 | 23.3 | 186M | 33 | 481 | 13k|7988 |6343 | 1 | 42k| 27 | 0.000000e+00 | -- | Inf | 84.70%
138.73/139.25 c 122s| 20900 | 1367 |509999 | 23.2 | 186M | 33 | 481 | 13k| 0 |6351 | 0 | 42k| 27 | 0.000000e+00 | -- | Inf | 84.76%
138.73/139.25 c 122s| 21000 | 1359 |511473 | 23.2 | 186M | 33 | 481 | 13k| 0 |6354 | 0 | 42k| 27 | 0.000000e+00 | -- | Inf | 84.86%
138.73/139.25 c 122s| 21100 | 1345 |513189 | 23.2 | 186M | 33 | 481 | 13k|7986 |6356 | 1 | 42k| 27 | 0.000000e+00 | -- | Inf | 84.94%
138.73/139.25 c 123s| 21200 | 1347 |514180 | 23.1 | 186M | 33 | 481 | 13k|7986 |6357 | 1 | 42k| 27 | 0.000000e+00 | -- | Inf | 84.97%
138.73/139.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
138.73/139.25 c 123s| 21300 | 1341 |516411 | 23.1 | 186M | 33 | 481 | 13k|7989 |6357 | 1 | 43k| 27 | 0.000000e+00 | -- | Inf | 84.99%
138.73/139.25 c 123s| 21400 | 1324 |518026 | 23.1 | 186M | 33 | 481 | 13k|7983 |6366 | 1 | 43k| 27 | 0.000000e+00 | -- | Inf | 85.14%
138.73/139.25 c 124s| 21500 | 1319 |522494 | 23.2 | 186M | 33 | 481 | 13k|7991 |6367 | 1 | 43k| 27 | 0.000000e+00 | -- | Inf | 85.35%
138.73/139.25 c 124s| 21600 | 1318 |524104 | 23.1 | 186M | 33 | 481 | 13k| 0 |6392 | 0 | 43k| 27 | 0.000000e+00 | -- | Inf | 85.62%
138.73/139.25 c 125s| 21700 | 1334 |526348 | 23.1 | 186M | 33 | 481 | 13k| 0 |6397 | 0 | 43k| 27 | 0.000000e+00 | -- | Inf | 85.71%
138.73/139.25 c 125s| 21800 | 1307 |527948 | 23.1 | 186M | 33 | 481 | 13k|7991 |6403 | 1 | 43k| 27 | 0.000000e+00 | -- | Inf | 86.57%
138.73/139.25 c 126s| 21900 | 1295 |530027 | 23.1 | 186M | 33 | 481 | 14k|8002 |6406 | 1 | 44k| 27 | 0.000000e+00 | -- | Inf | 86.67%
138.73/139.25 c 126s| 22000 | 1277 |532098 | 23.1 | 186M | 33 | 481 | 14k| 0 |6412 | 0 | 44k| 27 | 0.000000e+00 | -- | Inf | 88.54%
138.73/139.25 c 126s| 22100 | 1271 |534243 | 23.1 | 186M | 33 | 481 | 14k|7987 |6412 | 1 | 44k| 27 | 0.000000e+00 | -- | Inf | 90.19%
138.73/139.25 c 127s| 22200 | 1232 |535873 | 23.0 | 186M | 33 | 481 | 14k| 0 |6430 | 0 | 44k| 27 | 0.000000e+00 | -- | Inf | 91.88%
138.73/139.25 c 127s| 22300 | 1234 |538132 | 23.0 | 186M | 33 | 481 | 13k|7984 |6433 | 1 | 45k| 27 | 0.000000e+00 | -- | Inf | 92.00%
138.73/139.25 c 128s| 22400 | 1213 |540465 | 23.0 | 186M | 33 | 481 | 13k|7991 |6433 | 1 | 45k| 27 | 0.000000e+00 | -- | Inf | 92.18%
138.73/139.25 c 128s| 22500 | 1187 |542248 | 23.0 | 187M | 33 | 481 | 13k|7993 |6440 | 1 | 45k| 27 | 0.000000e+00 | -- | Inf | 92.27%
138.73/139.25 c 129s| 22600 | 1142 |544386 | 23.0 | 187M | 33 | 481 | 13k| 0 |6449 | 0 | 45k| 27 | 0.000000e+00 | -- | Inf | 92.53%
138.73/139.25 c 129s| 22700 | 1117 |546517 | 23.0 | 187M | 33 | 481 | 13k| 0 |6472 | 0 | 45k| 27 | 0.000000e+00 | -- | Inf | 92.79%
138.73/139.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
138.73/139.25 c 130s| 22800 | 1095 |548785 | 23.0 | 187M | 33 | 481 | 13k|7981 |6489 | 1 | 45k| 27 | 0.000000e+00 | -- | Inf | 93.05%
138.73/139.25 c 130s| 22900 | 1080 |550328 | 23.0 | 187M | 33 | 481 | 13k|7988 |6499 | 1 | 46k| 27 | 0.000000e+00 | -- | Inf | 93.19%
138.73/139.25 c 130s| 23000 | 1076 |551907 | 22.9 | 187M | 33 | 481 | 13k|7984 |6511 | 1 | 46k| 27 | 0.000000e+00 | -- | Inf | 93.26%
138.73/139.25 c 131s| 23100 | 1053 |554351 | 22.9 | 187M | 33 | 481 | 13k| 0 |6530 | 0 | 46k| 27 | 0.000000e+00 | -- | Inf | 93.36%
138.73/139.25 c 131s| 23200 | 1042 |556040 | 22.9 | 187M | 33 | 481 | 13k| 0 |6536 | 0 | 46k| 27 | 0.000000e+00 | -- | Inf | 94.22%
138.73/139.25 c 132s| 23300 | 1038 |557573 | 22.9 | 187M | 33 | 481 | 13k|7987 |6540 | 1 | 46k| 27 | 0.000000e+00 | -- | Inf | 94.23%
138.73/139.25 c 132s| 23400 | 1029 |560190 | 22.9 | 187M | 33 | 481 | 13k|7986 |6546 | 0 | 47k| 27 | 0.000000e+00 | -- | Inf | 94.35%
138.73/139.25 c 132s| 23500 | 1021 |562282 | 22.9 | 187M | 33 | 481 | 13k| 0 |6560 | 0 | 47k| 27 | 0.000000e+00 | -- | Inf | 94.52%
138.73/139.25 c 133s| 23600 | 1009 |563887 | 22.9 | 187M | 33 | 481 | 13k|7990 |6563 | 2 | 47k| 27 | 0.000000e+00 | -- | Inf | 94.72%
138.73/139.25 c 133s| 23700 | 1009 |565590 | 22.8 | 187M | 33 | 481 | 13k| 0 |6574 | 0 | 47k| 27 | 0.000000e+00 | -- | Inf | 94.72%
138.73/139.25 c 134s| 23800 | 978 |567012 | 22.8 | 187M | 33 | 481 | 13k|7997 |6584 | 0 | 47k| 27 | 0.000000e+00 | -- | Inf | 95.71%
138.73/139.25 c 134s| 23900 | 974 |568738 | 22.8 | 187M | 33 | 481 | 13k| 0 |6589 | 0 | 47k| 27 | 0.000000e+00 | -- | Inf | 95.78%
138.73/139.25 c 134s| 24000 | 964 |570113 | 22.7 | 187M | 33 | 481 | 13k| 0 |6594 | 0 | 48k| 27 | 0.000000e+00 | -- | Inf | 95.84%
138.73/139.25 c 135s| 24100 | 937 |572057 | 22.7 | 187M | 33 | 481 | 13k|7996 |6596 | 1 | 48k| 27 | 0.000000e+00 | -- | Inf | 95.96%
138.73/139.25 c 135s| 24200 | 924 |573307 | 22.7 | 187M | 33 | 481 | 13k| 0 |6597 | 0 | 48k| 27 | 0.000000e+00 | -- | Inf | 95.98%
138.73/139.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
138.73/139.25 c 135s| 24300 | 908 |574867 | 22.7 | 187M | 33 | 481 | 13k|7992 |6600 | 1 | 48k| 27 | 0.000000e+00 | -- | Inf | 96.08%
138.73/139.25 c 136s| 24400 | 897 |576341 | 22.6 | 187M | 33 | 481 | 13k|7987 |6611 | 2 | 48k| 27 | 0.000000e+00 | -- | Inf | 96.13%
138.73/139.25 c 136s| 24500 | 904 |577562 | 22.6 | 187M | 33 | 481 | 13k|7983 |6613 | 0 | 49k| 27 | 0.000000e+00 | -- | Inf | 96.13%
138.73/139.25 c 136s| 24600 | 879 |580209 | 22.6 | 187M | 33 | 481 | 13k|7987 |6617 | 1 | 49k| 27 | 0.000000e+00 | -- | Inf | 96.32%
138.73/139.25 c 137s| 24700 | 828 |581740 | 22.6 | 187M | 33 | 481 | 13k|7993 |6628 | 1 | 49k| 27 | 0.000000e+00 | -- | Inf | 96.55%
138.73/139.25 c 137s| 24800 | 815 |583846 | 22.6 | 187M | 33 | 481 | 13k|7989 |6641 | 1 | 49k| 27 | 0.000000e+00 | -- | Inf | 96.59%
138.73/139.25 c 138s| 24900 | 795 |585999 | 22.6 | 187M | 33 | 481 | 13k|7981 |6644 | 1 | 49k| 27 | 0.000000e+00 | -- | Inf | 96.72%
138.73/139.25 c 138s| 25000 | 795 |588397 | 22.6 | 187M | 33 | 481 | 13k|7992 |6672 | 1 | 50k| 27 | 0.000000e+00 | -- | Inf | 96.92%
138.73/139.25 c 139s| 25100 | 787 |590772 | 22.6 | 187M | 33 | 481 | 13k| 0 |6677 | 0 | 50k| 27 | 0.000000e+00 | -- | Inf | 97.07%
157.26/157.82 c 139s| 25200 | 777 |592470 | 22.6 | 187M | 33 | 481 | 13k| 0 |6679 | 0 | 50k| 27 | 0.000000e+00 | -- | Inf | 97.09%
157.26/157.82 c 139s| 25300 | 763 |594380 | 22.5 | 187M | 33 | 481 | 13k|7983 |6681 | 1 | 50k| 27 | 0.000000e+00 | -- | Inf | 97.12%
157.26/157.82 c 140s| 25400 | 745 |596377 | 22.5 | 187M | 33 | 481 | 13k|7988 |6699 | 0 | 50k| 27 | 0.000000e+00 | -- | Inf | 97.26%
157.26/157.82 c 140s| 25500 | 733 |598011 | 22.5 | 187M | 33 | 481 | 13k| 0 |6699 | 0 | 51k| 27 | 0.000000e+00 | -- | Inf | 97.31%
157.26/157.82 c 140s| 25600 | 734 |599468 | 22.5 | 187M | 33 | 481 | 14k| 0 |6699 | 0 | 51k| 27 | 0.000000e+00 | -- | Inf | 97.32%
157.26/157.82 c 141s| 25700 | 735 |600937 | 22.5 | 187M | 33 | 481 | 14k|7981 |6699 | 1 | 51k| 27 | 0.000000e+00 | -- | Inf | 97.32%
157.26/157.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
157.26/157.82 c 141s| 25800 | 744 |602578 | 22.4 | 187M | 33 | 481 | 14k|7981 |6699 | 1 | 51k| 27 | 0.000000e+00 | -- | Inf | 97.32%
157.26/157.82 c 141s| 25900 | 756 |604048 | 22.4 | 187M | 34 | 481 | 14k| 0 |6699 | 0 | 51k| 27 | 0.000000e+00 | -- | Inf | 97.32%
157.26/157.82 c 142s| 26000 | 745 |605863 | 22.4 | 187M | 34 | 481 | 14k|7986 |6701 | 1 | 52k| 27 | 0.000000e+00 | -- | Inf | 97.32%
157.26/157.82 c 142s| 26100 | 764 |608905 | 22.4 | 187M | 34 | 481 | 14k|7988 |6719 | 0 | 52k| 27 | 0.000000e+00 | -- | Inf | 97.35%
157.26/157.82 c 143s| 26200 | 747 |611429 | 22.4 | 187M | 34 | 481 | 14k|7981 |6739 | 1 | 52k| 27 | 0.000000e+00 | -- | Inf | 97.37%
157.26/157.82 c 143s| 26300 | 732 |613410 | 22.4 | 187M | 34 | 481 | 14k|7983 |6751 | 1 | 52k| 27 | 0.000000e+00 | -- | Inf | 97.49%
157.26/157.82 c 143s| 26400 | 716 |615117 | 22.4 | 187M | 34 | 481 | 14k|7981 |6752 | 1 | 52k| 27 | 0.000000e+00 | -- | Inf | 97.53%
157.26/157.82 c 144s| 26500 | 706 |617159 | 22.4 | 187M | 34 | 481 | 14k| 0 |6753 | 0 | 53k| 27 | 0.000000e+00 | -- | Inf | 97.54%
157.26/157.82 c 144s| 26600 | 714 |618875 | 22.4 | 187M | 34 | 481 | 14k|7983 |6753 | 1 | 53k| 27 | 0.000000e+00 | -- | Inf | 97.54%
157.26/157.82 c 144s| 26700 | 717 |620996 | 22.4 | 187M | 34 | 481 | 14k| 0 |6753 | 0 | 53k| 27 | 0.000000e+00 | -- | Inf | 97.54%
157.26/157.82 c 145s| 26800 | 700 |622852 | 22.4 | 187M | 34 | 481 | 15k|7981 |6753 | 1 | 53k| 27 | 0.000000e+00 | -- | Inf | 97.55%
157.26/157.82 c 145s| 26900 | 686 |624851 | 22.3 | 187M | 34 | 481 | 15k|7989 |6754 | 1 | 53k| 27 | 0.000000e+00 | -- | Inf | 97.59%
157.26/157.82 c 146s| 27000 | 680 |626489 | 22.3 | 187M | 34 | 481 | 15k|7994 |6778 | 1 | 54k| 27 | 0.000000e+00 | -- | Inf | 97.77%
157.26/157.82 c 146s| 27100 | 673 |628111 | 22.3 | 187M | 34 | 481 | 15k|7993 |6778 | 1 | 54k| 27 | 0.000000e+00 | -- | Inf | 97.79%
157.26/157.82 c 146s| 27200 | 669 |629610 | 22.3 | 187M | 34 | 481 | 15k|7981 |6778 | 1 | 54k| 27 | 0.000000e+00 | -- | Inf | 97.82%
157.26/157.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
157.26/157.82 c 146s| 27300 | 669 |630803 | 22.2 | 187M | 34 | 481 | 15k|7994 |6778 | 1 | 54k| 27 | 0.000000e+00 | -- | Inf | 97.82%
157.26/157.82 c 147s| 27400 | 671 |632909 | 22.2 | 187M | 34 | 481 | 15k|7988 |6784 | 1 | 54k| 27 | 0.000000e+00 | -- | Inf | 97.83%
157.26/157.82 c 147s| 27500 | 646 |634522 | 22.2 | 187M | 34 | 481 | 14k|7986 |6784 | 1 | 54k| 27 | 0.000000e+00 | -- | Inf | 97.92%
157.26/157.82 c 148s| 27600 | 636 |636293 | 22.2 | 187M | 34 | 481 | 14k| 0 |6787 | 0 | 55k| 27 | 0.000000e+00 | -- | Inf | 97.94%
157.26/157.82 c 148s| 27700 | 630 |638651 | 22.2 | 187M | 34 | 481 | 14k| 0 |6791 | 0 | 55k| 27 | 0.000000e+00 | -- | Inf | 97.99%
157.26/157.82 c 148s| 27800 | 620 |639845 | 22.2 | 187M | 34 | 481 | 14k| 0 |6795 | 0 | 55k| 27 | 0.000000e+00 | -- | Inf | 98.00%
157.26/157.82 c 148s| 27900 | 612 |641614 | 22.2 | 187M | 34 | 481 | 14k|7988 |6797 | 1 | 55k| 27 | 0.000000e+00 | -- | Inf | 98.00%
157.26/157.82 c 149s| 28000 | 614 |644008 | 22.2 | 187M | 34 | 481 | 14k|7983 |6804 | 1 | 55k| 27 | 0.000000e+00 | -- | Inf | 98.03%
157.26/157.82 c 149s| 28100 | 596 |646062 | 22.2 | 187M | 34 | 481 | 14k|7988 |6812 | 1 | 56k| 27 | 0.000000e+00 | -- | Inf | 98.07%
157.26/157.82 c 150s| 28200 | 597 |648194 | 22.2 | 187M | 34 | 481 | 14k|7983 |6814 | 1 | 56k| 27 | 0.000000e+00 | -- | Inf | 98.08%
157.26/157.82 c 150s| 28300 | 597 |649627 | 22.1 | 187M | 34 | 481 | 14k|7983 |6816 | 1 | 56k| 27 | 0.000000e+00 | -- | Inf | 98.08%
157.26/157.82 c 150s| 28400 | 572 |650954 | 22.1 | 187M | 34 | 481 | 14k| 0 |6819 | 0 | 56k| 27 | 0.000000e+00 | -- | Inf | 98.17%
157.26/157.82 c 151s| 28500 | 547 |654712 | 22.1 | 187M | 34 | 481 | 14k|7983 |6821 | 1 | 56k| 27 | 0.000000e+00 | -- | Inf | 98.30%
157.26/157.82 c 151s| 28600 | 532 |656246 | 22.1 | 187M | 34 | 481 | 14k|7981 |6827 | 1 | 56k| 27 | 0.000000e+00 | -- | Inf | 98.33%
157.26/157.82 c 152s| 28700 | 524 |658468 | 22.1 | 187M | 34 | 481 | 14k|7987 |6828 | 1 | 57k| 27 | 0.000000e+00 | -- | Inf | 98.38%
157.26/157.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
157.26/157.82 c 152s| 28800 | 536 |661331 | 22.1 | 187M | 34 | 481 | 14k|7980 |6829 | 1 | 57k| 27 | 0.000000e+00 | -- | Inf | 98.42%
157.26/157.82 c 152s| 28900 | 552 |664316 | 22.2 | 187M | 34 | 481 | 15k|7980 |6829 | 1 | 57k| 27 | 0.000000e+00 | -- | Inf | 98.42%
157.26/157.82 c 153s| 29000 | 533 |666455 | 22.2 | 187M | 34 | 481 | 15k|7990 |6829 | 1 | 57k| 27 | 0.000000e+00 | -- | Inf | 98.43%
157.26/157.82 c 153s| 29100 | 522 |667835 | 22.1 | 187M | 34 | 481 | 15k|7983 |6831 | 1 | 57k| 27 | 0.000000e+00 | -- | Inf | 98.44%
157.26/157.82 c 153s| 29200 | 490 |670062 | 22.1 | 187M | 34 | 481 | 15k|7989 |6835 | 0 | 58k| 27 | 0.000000e+00 | -- | Inf | 98.52%
157.26/157.82 c 154s| 29300 | 470 |672934 | 22.2 | 187M | 34 | 481 | 15k|7983 |6843 | 1 | 58k| 27 | 0.000000e+00 | -- | Inf | 98.59%
157.26/157.82 c 154s| 29400 | 455 |674962 | 22.2 | 187M | 34 | 481 | 15k| 0 |6847 | 0 | 58k| 27 | 0.000000e+00 | -- | Inf | 98.62%
157.26/157.82 c 155s| 29500 | 439 |677088 | 22.2 | 187M | 34 | 481 | 14k|7981 |6849 | 1 | 58k| 27 | 0.000000e+00 | -- | Inf | 98.64%
157.26/157.82 c 155s| 29600 | 409 |679059 | 22.1 | 187M | 34 | 481 | 14k|7982 |6853 | 1 | 58k| 27 | 0.000000e+00 | -- | Inf | 98.70%
157.26/157.82 c 155s| 29700 | 394 |681559 | 22.2 | 187M | 34 | 481 | 14k| 0 |6868 | 0 | 59k| 27 | 0.000000e+00 | -- | Inf | 98.73%
157.26/157.82 c 156s| 29800 | 365 |683300 | 22.1 | 187M | 34 | 481 | 14k| 0 |6876 | 0 | 59k| 27 | 0.000000e+00 | -- | Inf | 98.79%
157.26/157.82 c 156s| 29900 | 361 |684685 | 22.1 | 187M | 34 | 481 | 15k|7983 |6882 | 1 | 59k| 27 | 0.000000e+00 | -- | Inf | 98.82%
157.26/157.82 c 156s| 30000 | 363 |686688 | 22.1 | 187M | 34 | 481 | 15k|7983 |6882 | 1 | 59k| 27 | 0.000000e+00 | -- | Inf | 98.82%
157.26/157.82 c 157s| 30100 | 346 |687848 | 22.1 | 187M | 34 | 481 | 15k|7997 |6884 | 1 | 59k| 27 | 0.000000e+00 | -- | Inf | 98.87%
157.26/157.82 c 157s| 30200 | 316 |689688 | 22.1 | 187M | 34 | 481 | 15k|7990 |6886 | 1 | 59k| 27 | 0.000000e+00 | -- | Inf | 98.95%
157.26/157.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
157.26/157.82 c 157s| 30300 | 277 |691305 | 22.0 | 187M | 34 | 481 | 15k|7986 |6888 | 1 | 60k| 27 | 0.000000e+00 | -- | Inf | 99.03%
159.35/160.00 c 158s| 30400 | 249 |692892 | 22.0 | 187M | 34 | 481 | 15k|7991 |6897 | 2 | 60k| 27 | 0.000000e+00 | -- | Inf | 99.09%
159.35/160.00 c 158s| 30500 | 222 |694544 | 22.0 | 187M | 34 | 481 | 15k| 0 |6905 | 0 | 60k| 27 | 0.000000e+00 | -- | Inf | 99.17%
159.35/160.00 c 158s| 30600 | 181 |696546 | 22.0 | 187M | 34 | 481 | 14k|7981 |6919 | 1 | 60k| 27 | 0.000000e+00 | -- | Inf | 99.37%
159.35/160.00 c 159s| 30700 | 121 |698566 | 22.0 | 187M | 34 | 481 | 14k|7997 |6926 | 1 | 60k| 27 | 0.000000e+00 | -- | Inf | 99.51%
159.35/160.00 c 159s| 30800 | 95 |700518 | 22.0 | 187M | 34 | 481 | 14k|7987 |6930 | 1 | 61k| 27 | 0.000000e+00 | -- | Inf | 99.73%
159.35/160.00 c 160s| 30900 | 46 |702813 | 22.0 | 187M | 34 | 481 | 14k|7986 |6933 | 1 | 61k| 27 | 0.000000e+00 | -- | Inf | 99.90%
159.35/160.00 c
159.35/160.00 c SCIP Status : problem is solved [infeasible]
159.35/160.00 c Solving Time (sec) : 159.84
159.35/160.00 c Solving Nodes : 30958 (total of 31967 nodes in 2 runs)
159.35/160.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
159.35/160.00 c Dual Bound : +1.00000000000000e+20
159.35/160.00 c Gap : 0.00 %
159.35/160.00 c SCIP found the problem to be infeasible.
159.35/160.00 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: 63665 MiB (58095 MiB free)
memory of node 1: 64507 MiB (55193 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529816-1752255003/watcher-4529816-1752255003 -o /tmp/evaluation-result-4529816-1752255003/solver-4529816-1752255003 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752253388-115874 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529816-1752255003.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=117204, runsolver pid=117201
[startup+0.100061 s]*
/proc/loadavg: 4.06 4.11 3.83 5/268 117209
/proc/meminfo: memFree=116008324/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1186968 memory=31912 CPUtime=0.06 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 3735 0 0 0 5 1 0 0 20 0 1 0 141177952 1215455232 7978 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 296742 7978 4906 1 0 268764 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191160 KiB
Current children cumulated memory: 34984 KiB
[startup+0.205784 s]*
/proc/loadavg: 4.06 4.11 3.83 5/268 117209
/proc/meminfo: memFree=115981408/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1216076 memory=68520 CPUtime=0.16 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 10126 0 0 0 14 2 0 0 20 0 1 0 141177952 1245261824 17130 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 304019 17130 7882 1 0 275377 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1220268 KiB
Current children cumulated memory: 71592 KiB
[startup+0.305951 s]*
/proc/loadavg: 4.06 4.11 3.83 5/268 117209
/proc/meminfo: memFree=115973344/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1231556 memory=81320 CPUtime=0.25 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 13406 0 0 0 23 2 0 0 20 0 1 0 141177952 1261113344 20330 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 307889 20330 7946 1 0 279247 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1235748 KiB
Current children cumulated memory: 84392 KiB
[startup+0.70019 s]
/proc/loadavg: 4.06 4.11 3.83 5/268 117209
/proc/meminfo: memFree=115942096/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1271028 memory=119720 CPUtime=0.64 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 22871 0 0 0 60 4 0 0 20 0 1 0 141177952 1301532672 29930 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 317757 29930 8138 1 0 289115 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1275220 KiB
Current children cumulated memory: 122792 KiB
[startup+1.50015 s]
/proc/loadavg: 4.06 4.11 3.83 5/268 117209
/proc/meminfo: memFree=115934284/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1271028 memory=119720 CPUtime=1.44 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 22872 0 0 0 140 4 0 0 20 0 1 0 141177952 1301532672 29930 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 317757 29930 8138 1 0 289115 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1275220 KiB
Current children cumulated memory: 122792 KiB
[startup+3.10539 s]
/proc/loadavg: 4.13 4.12 3.84 5/268 117209
/proc/meminfo: memFree=115918652/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1289144 memory=137436 CPUtime=3.04 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 28364 0 0 0 299 5 0 0 20 0 1 0 141177952 1320083456 34359 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 322286 34359 8138 1 0 293644 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1293336 KiB
Current children cumulated memory: 140508 KiB
[startup+6.30018 s]
/proc/loadavg: 4.13 4.12 3.84 5/268 117209
/proc/meminfo: memFree=115907312/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1299180 memory=147716 CPUtime=6.22 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 33868 0 0 0 616 6 0 0 20 0 1 0 141177952 1330360320 36929 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 324795 36929 8138 1 0 296153 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1303372 KiB
Current children cumulated memory: 150788 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 3.84 5/268 117210
/proc/meminfo: memFree=115887544/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1309884 memory=158388 CPUtime=12.6 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 39595 0 0 0 1253 7 0 0 20 0 1 0 141177952 1341321216 39597 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 327471 39597 8138 1 0 298829 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1314076 KiB
Current children cumulated memory: 161460 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 3.84 5/268 117210
/proc/meminfo: memFree=115861444/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1332304 memory=181684 CPUtime=25.37 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 47314 0 0 0 2529 8 0 0 20 0 1 0 141177952 1364279296 45421 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 333076 45421 8138 1 0 304434 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1336496 KiB
Current children cumulated memory: 184756 KiB
[startup+51.1058 s]
/proc/loadavg: 4.14 4.12 3.85 5/268 117210
/proc/meminfo: memFree=115837652/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1358232 memory=204504 CPUtime=50.91 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 50979 0 0 0 5082 9 0 0 20 0 1 0 141177952 1390829568 51126 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 339558 51126 8138 1 0 310916 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1362424 KiB
Current children cumulated memory: 207576 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 3.87 5/263 117245
/proc/meminfo: memFree=115967456/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1377096 memory=224732 CPUtime=101.95 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 55535 0 0 0 10185 10 0 0 20 0 1 0 141177952 1410146304 56183 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 344274 56183 8138 1 0 315632 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1381288 KiB
Current children cumulated memory: 227804 KiB
[startup+160.067 s]
# the end of solver process 117204 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=159.407 s, system=0.127719 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.13 4.12 3.87 5/263 117245
/proc/meminfo: memFree=115967456/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1377096 memory=224732 CPUtime=102.05 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 55535 0 0 0 10195 10 0 0 20 0 1 0 141177952 1410146304 56183 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 344274 56183 8138 1 0 315632 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 1381288 KiB
Current children cumulated memory: 227804 KiB
[startup+128 s]*
/proc/loadavg: 4.14 4.12 3.88 5/268 117261
/proc/meminfo: memFree=113714636/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1387444 memory=228700 CPUtime=127.58 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 56524 0 0 0 12748 10 0 0 20 0 1 0 141177952 1420742656 57175 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 346861 57175 8138 1 0 318219 0
Current children cumulated CPU time: 127.58 s
Current children cumulated vsize: 1391636 KiB
Current children cumulated memory: 231772 KiB
[startup+140.8 s]
/proc/loadavg: 4.12 4.12 3.88 5/268 117262
/proc/meminfo: memFree=113700020/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1395732 memory=237724 CPUtime=140.32 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 61134 0 0 0 14022 10 0 0 20 0 1 0 141177952 1429229568 59431 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 348933 59431 8138 1 0 320291 0
Current children cumulated CPU time: 140.32 s
Current children cumulated vsize: 1399924 KiB
Current children cumulated memory: 240796 KiB
[startup+153.6 s]
/proc/loadavg: 4.09 4.11 3.88 5/268 117262
/proc/meminfo: memFree=113697444/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1395732 memory=238236 CPUtime=153.07 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 61253 0 0 0 15297 10 0 0 20 0 1 0 141177952 1429229568 59559 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 348933 59559 8138 1 0 320291 0
Current children cumulated CPU time: 153.07 s
Current children cumulated vsize: 1399924 KiB
Current children cumulated memory: 241308 KiB
[startup+156.8 s]
/proc/loadavg: 4.09 4.11 3.88 5/268 117262
/proc/meminfo: memFree=113697696/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1395732 memory=238236 CPUtime=156.26 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 61253 0 0 0 15616 10 0 0 20 0 1 0 141177952 1429229568 59559 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 348933 59559 8138 1 0 320291 0
Current children cumulated CPU time: 156.26 s
Current children cumulated vsize: 1399924 KiB
Current children cumulated memory: 241308 KiB
[startup+158.4 s]
/proc/loadavg: 4.08 4.11 3.89 5/268 117262
/proc/meminfo: memFree=113697696/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1395732 memory=238236 CPUtime=157.85 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 61257 0 0 0 15775 10 0 0 20 0 1 0 141177952 1429229568 59559 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 348933 59559 8138 1 0 320291 0
Current children cumulated CPU time: 157.85 s
Current children cumulated vsize: 1399924 KiB
Current children cumulated memory: 241308 KiB
[startup+159.2 s]
/proc/loadavg: 4.08 4.11 3.89 5/268 117262
/proc/meminfo: memFree=113697696/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1395732 memory=238236 CPUtime=158.65 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 61257 0 0 0 15855 10 0 0 20 0 1 0 141177952 1429229568 59559 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 348933 59559 8138 1 0 320291 0
Current children cumulated CPU time: 158.65 s
Current children cumulated vsize: 1399924 KiB
Current children cumulated memory: 241308 KiB
[startup+159.6 s]
/proc/loadavg: 4.08 4.11 3.89 5/268 117262
/proc/meminfo: memFree=113697696/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1395732 memory=238236 CPUtime=159.05 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 61257 0 0 0 15895 10 0 0 20 0 1 0 141177952 1429229568 59559 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 348933 59559 8138 1 0 320291 0
Current children cumulated CPU time: 159.05 s
Current children cumulated vsize: 1399924 KiB
Current children cumulated memory: 241308 KiB
[startup+160 s]*
/proc/loadavg: 4.08 4.11 3.89 5/268 117262
/proc/meminfo: memFree=113697948/131249996 swapFree=33003468/33010684
[pid=117204] ppid=117201 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/117204/stat : 117204 (scip-naps-1.00a) S 117201 117204 115863 0 -1 4194304 259 339 0 0 0 0 0 0 20 0 1 0 141177950 4292608 768 18446744073709551615 94655328292864 94655329187397 140734584331232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94655329426448 94655329474192 94655333441536 140734584338843 140734584338942 140734584338942 140734584344546 0
/proc/117204/statm: 1048 768 704 219 0 110 0
[pid=117209] ppid=117204 vsize=1395732 memory=238236 CPUtime=159.45 cores=4,6
/proc/117209/stat : 117209 (python3) R 117204 117204 115863 0 -1 4194304 61258 0 0 0 15935 10 0 0 20 0 1 0 141177952 1429229568 59559 18446744073709551615 94774841335808 94774841336185 140736072258016 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94774841347480 94774841348100 94774848323584 140736072259919 140736072260128 140736072260128 140736072265703 0
/proc/117209/statm: 348933 59559 8138 1 0 320291 0
Current children cumulated CPU time: 159.45 s
Current children cumulated vsize: 1399924 KiB
Current children cumulated memory: 241308 KiB
Child status: 0
Real time (s): 160.068
CPU time (s): 159.535
CPU user time (s): 159.407
CPU system time (s): 0.127719
CPU usage (%): 99.6672
Max. virtual memory (cumulated for all children) (KiB): 1399924
Max. memory (cumulated for all children) (KiB): 241308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.407
system time used= 0.127719
maximum resident set size= 247004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61896
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= 351
involuntary context switches= 214
# summary of solver processes directly reported to runsolver:
# pid: 117204
# total CPU time (s): 159.535
# total CPU user time (s): 159.407
# total CPU system time (s): 0.127719
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.308631 second user time and 0.806806 second system time
The end