0.84/0.93 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529702-1752253455.opb
0.84/0.93 c Solving mode: decision
0.84/0.93 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.84/0.93 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.84/0.93 c original problem has 96 variables (96 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.84/0.93 c presolving:
0.84/0.93 c (round 1, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
0.84/0.93 c (round 2, fast) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
0.84/0.93 c (round 3, fast) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 5 chg sides, 5 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
0.84/0.93 c (round 4, exhaustive) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 5 chg sides, 5 chg coeffs, 1 upgd conss, 0 impls, 30 clqs
0.84/0.93 c (0.0s) probing: 51/96 (53.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.84/0.93 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.84/0.93 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.84/0.93 c (0.0s) no symmetry present (symcode time: 0.00)
0.84/0.93 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
0.84/0.93 c 0 deleted vars, 1 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 5 changed coefficients
0.84/0.93 c 0 implications, 30 cliques
0.84/0.93 c presolved problem has 96 variables (96 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.84/0.93 c 1 constraints of type <linear>
0.84/0.93 c 1 constraints of type <logicor>
0.84/0.93 c transformed objective value is always integral (scale: 1)
0.84/0.93 c Presolving Time: 0.00
0.84/0.93 c
0.84/0.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.84/0.93 c 0.0s| 1 | 0 | 1 | - | 1619k | 0 | 96 | 2 | 2 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 4 | - | 1644k | 0 | 96 | 2 | 4 | 2 | 1 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 6 | - | 1650k | 0 | 96 | 2 | 6 | 4 | 2 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 8 | - | 1654k | 0 | 96 | 2 | 8 | 6 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 10 | - | 1679k | 0 | 96 | 2 | 10 | 8 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 13 | - | 1710k | 0 | 96 | 2 | 12 | 10 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 14 | - | 1779k | 0 | 96 | 2 | 14 | 12 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 15 | - | 1934k | 0 | 96 | 2 | 15 | 13 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 18 | - | 2159k | 0 | 96 | 2 | 17 | 15 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 19 | - | 2506k | 0 | 96 | 2 | 18 | 16 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 20 | - | 2508k | 0 | 96 | 2 | 20 | 18 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 22 | - | 2512k | 0 | 96 | 2 | 21 | 19 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 23 | - | 2523k | 0 | 96 | 2 | 22 | 20 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 24 | - | 2689k | 0 | 96 | 2 | 23 | 21 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 0 | 25 | - | 2689k | 0 | 96 | 2 | 24 | 22 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.84/0.93 c 0.0s| 1 | 0 | 26 | - | 2720k | 0 | 96 | 2 | 16 | 23 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.0s| 1 | 2 | 33 | - | 2733k | 0 | 96 | 2 | 16 | 23 | 15 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
0.84/0.93 c 0.1s| 100 | 83 | 332 | 3.1 | 2829k | 28 | 96 | 2 | 3 | 25 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 3.13%
0.84/0.93 c 0.1s| 200 | 155 | 709 | 3.4 | 3040k | 54 | 96 | 2 | 3 | 37 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 3.13%
0.84/0.93 c 0.2s| 300 | 229 | 883 | 2.9 | 3172k | 54 | 96 | 2 | 3 | 48 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 3.13%
0.84/0.93 c 0.2s| 400 | 285 | 1052 | 2.6 | 3779k | 54 | 96 | 2 | 6 | 75 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 3.13%
0.84/0.93 c 0.2s| 500 | 333 | 1177 | 2.3 | 3860k | 55 | 96 | 2 | 3 | 80 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 3.13%
0.84/0.93 c 0.3s| 600 | 409 | 1414 | 2.3 | 4145k | 57 | 96 | 2 | 5 | 109 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 3.13%
0.84/0.93 c 0.3s| 700 | 449 | 1540 | 2.2 | 4152k | 57 | 96 | 2 | 6 | 112 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 3.13%
0.84/0.93 c 0.3s| 800 | 477 | 1627 | 2.0 | 4221k | 70 | 96 | 2 | 0 | 112 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 3.13%
0.84/0.93 c 0.3s| 900 | 513 | 1710 | 1.9 | 4241k | 71 | 96 | 2 | 0 | 116 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c 0.4s| 1000 | 521 | 1772 | 1.7 | 4248k | 71 | 96 | 2 | 0 | 116 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c 0.4s| 1100 | 581 | 1878 | 1.7 | 4252k | 71 | 96 | 2 | 5 | 124 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c 0.4s| 1200 | 609 | 1942 | 1.6 | 4260k | 71 | 96 | 2 | 0 | 124 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c 0.5s| 1300 | 633 | 2005 | 1.5 | 4292k | 71 | 96 | 2 | 5 | 124 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.84/0.93 c 0.5s| 1400 | 649 | 2063 | 1.5 | 4294k | 71 | 96 | 2 | 5 | 124 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c 0.5s| 1500 | 723 | 2182 | 1.4 | 4465k | 71 | 96 | 2 | 5 | 124 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c 0.5s| 1600 | 759 | 2261 | 1.4 | 4465k | 74 | 96 | 2 | 5 | 124 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c 0.6s| 1700 | 801 | 2339 | 1.4 | 4465k | 74 | 96 | 2 | 5 | 124 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c 0.6s| 1800 | 831 | 2410 | 1.3 | 4465k | 74 | 96 | 2 | 5 | 124 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c 0.6s| 1900 | 851 | 2471 | 1.3 | 4465k | 74 | 96 | 2 | 5 | 124 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c 0.7s| 2000 | 863 | 2527 | 1.3 | 4594k | 74 | 96 | 2 | 5 | 124 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c 0.7s| 2100 | 863 | 2577 | 1.2 | 4594k | 75 | 96 | 2 | 0 | 124 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c 0.7s| 2200 | 877 | 2636 | 1.2 | 4594k | 75 | 96 | 2 | 5 | 124 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
0.84/0.93 c 0.7s| 2300 | 887 | 2693 | 1.2 | 4594k | 75 | 96 | 2 | 5 | 124 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
1.83/2.00 c 0.8s| 2400 | 911 | 2763 | 1.1 | 4599k | 75 | 96 | 2 | 5 | 131 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
1.83/2.00 c 0.8s| 2500 | 915 | 2816 | 1.1 | 4620k | 75 | 96 | 2 | 1 | 131 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.46%
1.83/2.00 c 0.8s| 2600 | 923 | 2874 | 1.1 | 4620k | 75 | 96 | 2 | 5 | 133 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 0.8s| 2700 | 925 | 2928 | 1.1 | 4620k | 75 | 96 | 2 | 5 | 135 | 2 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 0.9s| 2800 | 935 | 2988 | 1.1 | 4620k | 75 | 96 | 2 | 7 | 135 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.83/2.00 c 0.9s| 2900 | 949 | 3056 | 1.0 | 4627k | 75 | 96 | 2 | 5 | 139 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 0.9s| 3000 | 957 | 3111 | 1.0 | 4641k | 75 | 96 | 2 | 6 | 139 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.0s| 3100 | 977 | 3174 | 1.0 | 4648k | 75 | 96 | 2 | 0 | 139 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.0s| 3200 | 1001 | 3247 | 1.0 | 4648k | 75 | 96 | 2 | 6 | 139 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.0s| 3300 | 1039 | 3331 | 1.0 | 4669k | 75 | 96 | 2 | 5 | 139 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.0s| 3400 | 1053 | 3390 | 1.0 | 4669k | 75 | 96 | 2 | 0 | 139 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.1s| 3500 | 1065 | 3447 | 1.0 | 4669k | 75 | 96 | 2 | 3 | 139 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.1s| 3600 | 1095 | 3525 | 1.0 | 4683k | 75 | 96 | 2 | 3 | 141 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.2s| 3700 | 1123 | 3611 | 1.0 | 4683k | 75 | 96 | 2 | 0 | 141 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.2s| 3800 | 1173 | 3721 | 1.0 | 4688k | 75 | 96 | 2 | 0 | 141 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.2s| 3900 | 1231 | 3821 | 1.0 | 4688k | 75 | 96 | 2 | 0 | 141 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.3s| 4000 | 1249 | 3882 | 1.0 | 4688k | 76 | 96 | 2 | 3 | 141 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.3s| 4100 | 1251 | 3934 | 1.0 | 4688k | 76 | 96 | 2 | 3 | 141 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.3s| 4200 | 1253 | 3986 | 0.9 | 4688k | 76 | 96 | 2 | 3 | 141 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.4s| 4300 | 1261 | 4041 | 0.9 | 4688k | 76 | 96 | 2 | 3 | 141 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.83/2.00 c 1.4s| 4400 | 1281 | 4105 | 0.9 | 4688k | 76 | 96 | 2 | 3 | 141 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.4s| 4500 | 1289 | 4161 | 0.9 | 4753k | 76 | 96 | 2 | 0 | 141 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.4s| 4600 | 1289 | 4214 | 0.9 | 4753k | 76 | 96 | 2 | 0 | 141 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.5s| 4700 | 1323 | 4309 | 0.9 | 4753k | 76 | 96 | 2 | 0 | 146 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.5s| 4800 | 1363 | 4389 | 0.9 | 5011k | 76 | 96 | 2 | 0 | 146 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.6s| 4900 | 1385 | 4465 | 0.9 | 5016k | 76 | 96 | 2 | 5 | 146 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.6s| 5000 | 1425 | 4557 | 0.9 | 5016k | 76 | 96 | 2 | 5 | 146 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.6s| 5100 | 1463 | 4650 | 0.9 | 5081k | 76 | 96 | 2 | 5 | 146 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.7s| 5200 | 1483 | 4721 | 0.9 | 5081k | 76 | 96 | 2 | 0 | 146 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.7s| 5300 | 1499 | 4786 | 0.9 | 5081k | 76 | 96 | 2 | 5 | 146 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.7s| 5400 | 1509 | 4843 | 0.9 | 5081k | 76 | 96 | 2 | 0 | 146 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.66%
1.83/2.00 c 1.7s| 5500 | 1527 | 4912 | 0.9 | 5092k | 76 | 96 | 2 | 2 | 150 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.69%
1.83/2.00 c 1.8s| 5600 | 1563 | 5004 | 0.9 | 5657k | 76 | 96 | 2 | 0 | 152 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | 6.69%
1.83/2.00 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1.83/2.00 c (run 1, node 5607) performing user restart
1.83/2.00 c
1.83/2.00 c (restart) converted 1 cuts from the global cut pool into linear constraints
1.83/2.00 c
1.83/2.00 c presolving:
1.83/2.00 c (round 1, fast) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
1.83/2.00 c (round 2, fast) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 5 chg sides, 5 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
1.83/2.00 c (round 3, exhaustive) 0 del vars, 0 del conss, 1 add conss, 0 chg bounds, 5 chg sides, 5 chg coeffs, 2 upgd conss, 0 impls, 30 clqs
1.83/2.00 c (round 4, fast) 0 del vars, 1 del conss, 1 add conss, 0 chg bounds, 5 chg sides, 5 chg coeffs, 2 upgd conss, 0 impls, 30 clqs
1.83/2.00 c presolving (5 rounds: 5 fast, 2 medium, 2 exhaustive):
1.83/2.00 c 0 deleted vars, 1 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 5 changed coefficients
1.83/2.00 c 0 implications, 30 cliques
1.83/2.00 c presolved problem has 96 variables (96 bin, 0 int, 0 impl, 0 cont) and 3 constraints
1.83/2.00 c 1 constraints of type <linear>
1.83/2.00 c 2 constraints of type <logicor>
1.83/2.00 c transformed objective value is always integral (scale: 1)
1.83/2.00 c Presolving Time: 0.00
1.83/2.00 c
1.83/2.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.83/2.00 c 1.8s| 1 | 0 | 5012 | - | 5659k | 0 | 96 | 3 | 3 | 0 | 0 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
1.83/2.00 c 1.8s| 1 | 0 | 5014 | - | 5659k | 0 | 96 | 3 | 4 | 1 | 1 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
1.83/2.00 c 1.8s| 1 | 0 | 5015 | - | 5659k | 0 | 96 | 3 | 5 | 2 | 2 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
1.83/2.00 c 1.8s| 1 | 0 | 5016 | - | 5659k | 0 | 96 | 3 | 6 | 3 | 3 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
1.83/2.00 c 1.8s| 1 | 0 | 5018 | - | 5659k | 0 | 96 | 3 | 8 | 5 | 4 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
1.83/2.00 c 1.8s| 1 | 0 | 5019 | - | 5659k | 0 | 96 | 3 | 9 | 6 | 5 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
1.83/2.00 c 1.8s| 1 | 0 | 5020 | - | 5659k | 0 | 96 | 3 | 10 | 7 | 6 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
1.83/2.00 c 1.8s| 1 | 0 | 5022 | - | 5659k | 0 | 96 | 3 | 11 | 8 | 7 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
1.83/2.00 c 1.8s| 1 | 0 | 5024 | - | 5659k | 0 | 96 | 3 | 13 | 10 | 8 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
1.83/2.00 c 1.8s| 1 | 0 | 5025 | - | 5659k | 0 | 96 | 3 | 14 | 11 | 9 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
1.83/2.00 c 1.8s| 1 | 0 | 5026 | - | 5659k | 0 | 96 | 3 | 15 | 12 | 10 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
2.94/3.10 c 1.8s| 1 | 0 | 5028 | - | 5659k | 0 | 96 | 3 | 14 | 14 | 11 | 0 | 4 | 0.000000e+00 | -- | Inf | unknown
2.94/3.10 c 1.8s| 1 | 2 | 5035 | - | 5659k | 0 | 96 | 3 | 14 | 14 | 11 | 0 | 12 | 0.000000e+00 | -- | Inf | unknown
2.94/3.10 c 1.9s| 100 | 29 | 5152 | 0.9 | 5661k | 20 | 96 | 4 | 0 | 18 | 0 | 1 | 12 | 0.000000e+00 | -- | Inf | unknown
2.94/3.10 c 2.0s| 200 | 33 | 5243 | 0.9 | 5662k | 20 | 96 | 4 | 0 | 35 | 0 | 1 | 12 | 0.000000e+00 | -- | Inf | 17.97%
2.94/3.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.94/3.10 c 2.0s| 300 | 39 | 5350 | 0.9 | 5662k | 20 | 96 | 5 | 0 | 64 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 30.07%
2.94/3.10 c 2.1s| 400 | 41 | 5450 | 0.9 | 5992k | 20 | 96 | 5 | 3 | 80 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 30.76%
2.94/3.10 c 2.1s| 500 | 55 | 5573 | 0.9 | 6093k | 20 | 96 | 5 | 5 | 114 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 31.96%
2.94/3.10 c 2.2s| 600 | 61 | 5701 | 0.9 | 6093k | 20 | 96 | 5 | 2 | 128 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 33.57%
2.94/3.10 c 2.2s| 700 | 103 | 5974 | 0.9 | 6102k | 28 | 96 | 5 | 5 | 144 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 33.92%
2.94/3.10 c 2.2s| 800 | 113 | 6072 | 0.9 | 6102k | 36 | 96 | 5 | 4 | 154 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.43%
2.94/3.10 c 2.3s| 900 | 119 | 6134 | 0.9 | 6102k | 38 | 96 | 5 | 0 | 154 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.44%
2.94/3.10 c 2.3s| 1000 | 123 | 6191 | 0.9 | 6102k | 38 | 96 | 5 | 0 | 154 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.44%
2.94/3.10 c 2.3s| 1100 | 129 | 6257 | 0.9 | 6102k | 38 | 96 | 5 | 0 | 154 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.44%
2.94/3.10 c 2.3s| 1200 | 137 | 6313 | 0.9 | 6102k | 38 | 96 | 5 | 0 | 154 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.44%
2.94/3.10 c 2.3s| 1300 | 139 | 6375 | 0.9 | 6102k | 38 | 96 | 5 | 6 | 158 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.46%
2.94/3.10 c 2.4s| 1400 | 147 | 6435 | 0.9 | 6102k | 40 | 96 | 5 | 6 | 159 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.46%
2.94/3.10 c 2.4s| 1500 | 157 | 6495 | 0.9 | 6102k | 40 | 96 | 5 | 6 | 160 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.46%
2.94/3.10 c 2.4s| 1600 | 163 | 6569 | 0.9 | 6104k | 41 | 96 | 5 | 4 | 172 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.46%
2.94/3.10 c 2.4s| 1700 | 167 | 6626 | 0.9 | 6104k | 41 | 96 | 5 | 7 | 173 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.46%
2.94/3.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.94/3.10 c 2.4s| 1800 | 169 | 6697 | 0.9 | 6106k | 41 | 96 | 5 | 6 | 192 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.46%
2.94/3.10 c 2.4s| 1900 | 173 | 6756 | 0.9 | 6106k | 41 | 96 | 5 | 0 | 197 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.46%
2.94/3.10 c 2.4s| 2000 | 177 | 6808 | 0.9 | 6106k | 41 | 96 | 5 | 0 | 197 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.46%
2.94/3.10 c 2.4s| 2100 | 181 | 6869 | 0.9 | 6106k | 41 | 96 | 5 | 0 | 201 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.46%
2.94/3.10 c 2.4s| 2200 | 185 | 6923 | 0.9 | 6106k | 41 | 96 | 5 | 0 | 202 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.46%
2.94/3.10 c 2.5s| 2300 | 181 | 6981 | 0.9 | 6106k | 41 | 96 | 5 | 4 | 206 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.46%
2.94/3.10 c 2.5s| 2400 | 181 | 7039 | 0.9 | 6107k | 42 | 96 | 5 | 3 | 210 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.51%
2.94/3.10 c 2.5s| 2500 | 179 | 7091 | 0.9 | 6107k | 42 | 96 | 5 | 0 | 210 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.51%
2.94/3.10 c 2.5s| 2600 | 177 | 7144 | 0.9 | 6107k | 42 | 96 | 5 | 3 | 215 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.51%
2.94/3.10 c 2.5s| 2700 | 175 | 7197 | 0.9 | 6107k | 42 | 96 | 5 | 0 | 215 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.52%
2.94/3.10 c 2.5s| 2800 | 179 | 7261 | 0.9 | 6107k | 42 | 96 | 5 | 4 | 221 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 34.87%
2.94/3.10 c 2.6s| 2900 | 183 | 7345 | 0.9 | 6107k | 42 | 96 | 5 | 4 | 231 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.11%
2.94/3.10 c 2.6s| 3000 | 187 | 7417 | 0.9 | 6107k | 42 | 96 | 5 | 0 | 239 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.11%
2.94/3.10 c 2.7s| 3100 | 191 | 7478 | 0.9 | 6107k | 42 | 96 | 5 | 6 | 243 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.14%
2.94/3.10 c 2.7s| 3200 | 191 | 7528 | 0.8 | 6107k | 42 | 96 | 5 | 0 | 243 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.15%
2.94/3.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.94/3.10 c 2.7s| 3300 | 197 | 7582 | 0.8 | 6107k | 42 | 96 | 5 | 4 | 243 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.15%
2.94/3.10 c 2.7s| 3400 | 197 | 7636 | 0.8 | 6107k | 42 | 96 | 5 | 4 | 243 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.16%
2.94/3.10 c 2.7s| 3500 | 195 | 7686 | 0.8 | 6107k | 42 | 96 | 5 | 0 | 243 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.17%
2.94/3.10 c 2.7s| 3600 | 191 | 7734 | 0.8 | 6107k | 42 | 96 | 5 | 5 | 243 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.56%
2.94/3.10 c 2.7s| 3700 | 191 | 7790 | 0.8 | 6109k | 42 | 96 | 5 | 0 | 246 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.60%
2.94/3.10 c 2.8s| 3800 | 195 | 7842 | 0.8 | 6109k | 42 | 96 | 5 | 5 | 246 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.61%
2.94/3.10 c 2.8s| 3900 | 195 | 7892 | 0.8 | 6109k | 42 | 96 | 5 | 0 | 246 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.61%
2.94/3.10 c 2.8s| 4000 | 203 | 7953 | 0.8 | 6109k | 42 | 96 | 5 | 0 | 246 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.61%
2.94/3.10 c 2.8s| 4100 | 205 | 8014 | 0.8 | 6109k | 42 | 96 | 5 | 0 | 246 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.61%
2.94/3.10 c 2.8s| 4200 | 205 | 8069 | 0.8 | 6109k | 42 | 96 | 5 | 0 | 246 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.62%
2.94/3.10 c 2.8s| 4300 | 205 | 8119 | 0.8 | 6109k | 42 | 96 | 5 | 4 | 246 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 35.65%
2.94/3.10 c 2.8s| 4400 | 203 | 8196 | 0.8 | 6109k | 42 | 96 | 5 | 0 | 258 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.19%
2.94/3.10 c 2.9s| 4500 | 205 | 8247 | 0.8 | 6109k | 42 | 96 | 5 | 6 | 258 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.20%
2.94/3.10 c 2.9s| 4600 | 205 | 8297 | 0.8 | 6109k | 42 | 96 | 5 | 0 | 258 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.20%
2.94/3.10 c 2.9s| 4700 | 213 | 8355 | 0.8 | 6109k | 42 | 96 | 5 | 6 | 258 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.20%
2.94/3.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.94/3.10 c 2.9s| 4800 | 213 | 8405 | 0.8 | 6109k | 42 | 96 | 5 | 6 | 258 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.20%
2.94/3.10 c 2.9s| 4900 | 225 | 8461 | 0.8 | 6109k | 42 | 96 | 5 | 6 | 258 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.20%
2.94/3.10 c 2.9s| 5000 | 221 | 8509 | 0.8 | 6109k | 42 | 96 | 5 | 6 | 258 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.20%
3.83/3.90 c 2.9s| 5100 | 227 | 8562 | 0.8 | 6109k | 42 | 96 | 5 | 6 | 258 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.20%
3.83/3.90 c 3.0s| 5200 | 241 | 8653 | 0.8 | 6109k | 42 | 96 | 5 | 6 | 276 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.0s| 5300 | 265 | 8720 | 0.8 | 6109k | 42 | 96 | 5 | 6 | 276 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.0s| 5400 | 299 | 8809 | 0.8 | 6119k | 42 | 96 | 5 | 8 | 279 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.0s| 5500 | 315 | 8879 | 0.8 | 6119k | 44 | 96 | 5 | 0 | 287 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.0s| 5600 | 327 | 8947 | 0.8 | 6119k | 44 | 96 | 5 | 0 | 287 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.1s| 5700 | 337 | 9002 | 0.8 | 6119k | 44 | 96 | 5 | 6 | 287 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.1s| 5800 | 363 | 9074 | 0.8 | 6119k | 44 | 96 | 5 | 6 | 292 | 1 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.1s| 5900 | 369 | 9143 | 0.8 | 6119k | 44 | 96 | 5 | 0 | 304 | 0 | 2 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.1s| 6000 | 375 | 9224 | 0.8 | 6131k | 44 | 96 | 5 | 6 | 318 | 1 | 3 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.1s| 6100 | 385 | 9315 | 0.8 | 6131k | 44 | 96 | 5 | 6 | 337 | 1 | 3 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.1s| 6200 | 379 | 9369 | 0.8 | 6131k | 44 | 96 | 5 | 0 | 341 | 0 | 3 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.83/3.90 c 3.1s| 6300 | 375 | 9417 | 0.8 | 6131k | 44 | 96 | 5 | 0 | 341 | 0 | 3 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.2s| 6400 | 377 | 9472 | 0.8 | 6131k | 44 | 96 | 5 | 0 | 343 | 0 | 3 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.2s| 6500 | 379 | 9549 | 0.8 | 6131k | 44 | 96 | 5 | 6 | 359 | 1 | 3 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.2s| 6600 | 381 | 9607 | 0.8 | 6131k | 44 | 96 | 5 | 6 | 361 | 1 | 4 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.2s| 6700 | 377 | 9666 | 0.8 | 6136k | 44 | 96 | 5 | 0 | 366 | 0 | 5 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.2s| 6800 | 379 | 9717 | 0.8 | 6136k | 44 | 96 | 5 | 0 | 366 | 0 | 5 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.3s| 6900 | 379 | 9769 | 0.8 | 6136k | 44 | 96 | 5 | 0 | 367 | 0 | 5 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.3s| 7000 | 377 | 9818 | 0.8 | 6136k | 44 | 96 | 5 | 6 | 367 | 1 | 5 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.3s| 7100 | 379 | 9869 | 0.8 | 6136k | 44 | 96 | 5 | 6 | 367 | 1 | 5 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.3s| 7200 | 383 | 9936 | 0.8 | 6137k | 44 | 96 | 5 | 11 | 380 | 2 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.41%
3.83/3.90 c 3.3s| 7300 | 385 | 9997 | 0.8 | 6137k | 44 | 96 | 5 | 0 | 385 | 0 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.51%
3.83/3.90 c 3.3s| 7400 | 389 | 10077 | 0.8 | 6143k | 44 | 96 | 5 | 6 | 389 | 1 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.3s| 7500 | 409 | 10146 | 0.8 | 6143k | 44 | 96 | 5 | 0 | 390 | 0 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.3s| 7600 | 425 | 10227 | 0.8 | 6143k | 44 | 96 | 5 | 6 | 400 | 1 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.3s| 7700 | 443 | 10300 | 0.8 | 6150k | 44 | 96 | 5 | 6 | 400 | 1 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.83/3.90 c 3.4s| 7800 | 465 | 10366 | 0.8 | 6150k | 44 | 96 | 5 | 0 | 400 | 0 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.4s| 7900 | 493 | 10466 | 0.8 | 6150k | 44 | 96 | 5 | 0 | 410 | 0 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.4s| 8000 | 501 | 10528 | 0.8 | 6150k | 44 | 96 | 5 | 0 | 411 | 0 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.4s| 8100 | 537 | 10626 | 0.8 | 6150k | 44 | 96 | 5 | 6 | 411 | 1 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.4s| 8200 | 555 | 10720 | 0.8 | 6150k | 44 | 96 | 5 | 0 | 412 | 0 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.4s| 8300 | 577 | 10799 | 0.8 | 6150k | 44 | 96 | 5 | 6 | 412 | 1 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.4s| 8400 | 595 | 10875 | 0.8 | 6150k | 44 | 96 | 5 | 6 | 412 | 1 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.5s| 8500 | 601 | 10928 | 0.8 | 6150k | 44 | 96 | 5 | 0 | 412 | 0 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.5s| 8600 | 605 | 10980 | 0.8 | 6150k | 44 | 96 | 5 | 6 | 412 | 1 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.5s| 8700 | 609 | 11033 | 0.8 | 6150k | 44 | 96 | 5 | 0 | 412 | 0 | 6 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.5s| 8800 | 615 | 11093 | 0.8 | 6150k | 46 | 96 | 5 | 0 | 415 | 0 | 7 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.5s| 8900 | 637 | 11167 | 0.8 | 6150k | 46 | 96 | 5 | 6 | 419 | 1 | 7 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.5s| 9000 | 647 | 11230 | 0.8 | 6150k | 46 | 96 | 5 | 6 | 424 | 1 | 7 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.5s| 9100 | 657 | 11306 | 0.8 | 6150k | 46 | 96 | 6 | 0 | 439 | 0 | 8 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.5s| 9200 | 669 | 11375 | 0.8 | 6150k | 46 | 96 | 6 | 6 | 446 | 1 | 9 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.83/3.90 c 3.6s| 9300 | 673 | 11476 | 0.8 | 6150k | 46 | 96 | 7 | 0 | 471 | 0 | 10 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.6s| 9400 | 679 | 11545 | 0.8 | 6181k | 46 | 96 | 7 | 0 | 479 | 0 | 10 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.6s| 9500 | 683 | 11608 | 0.8 | 6181k | 46 | 96 | 7 | 6 | 485 | 1 | 10 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.6s| 9600 | 685 | 11681 | 0.8 | 6198k | 46 | 96 | 7 | 0 | 496 | 0 | 11 | 12 | 0.000000e+00 | -- | Inf | 42.55%
3.83/3.90 c 3.6s| 9700 | 685 | 11751 | 0.8 | 6206k | 46 | 96 | 9 | 0 | 505 | 0 | 13 | 12 | 0.000000e+00 | -- | Inf | 42.56%
3.83/3.90 c 3.7s| 9800 | 689 | 11803 | 0.8 | 6206k | 46 | 96 | 8 | 6 | 505 | 1 | 13 | 12 | 0.000000e+00 | -- | Inf | 42.56%
3.83/3.90 c 3.7s| 9900 | 691 | 11866 | 0.8 | 6206k | 46 | 96 | 8 | 0 | 511 | 0 | 13 | 12 | 0.000000e+00 | -- | Inf | 42.56%
3.83/3.90 c 3.7s| 10000 | 693 | 11931 | 0.8 | 6206k | 46 | 96 | 8 | 6 | 521 | 1 | 13 | 12 | 0.000000e+00 | -- | Inf | 42.56%
3.83/3.90 c 3.7s| 10100 | 695 | 11991 | 0.8 | 6206k | 46 | 96 | 8 | 0 | 527 | 0 | 13 | 12 | 0.000000e+00 | -- | Inf | 42.56%
3.83/3.90 c 3.7s| 10200 | 691 | 12039 | 0.8 | 6206k | 46 | 96 | 8 | 0 | 527 | 0 | 13 | 12 | 0.000000e+00 | -- | Inf | 42.56%
3.83/3.90 c 3.7s| 10300 | 691 | 12113 | 0.8 | 6212k | 46 | 96 | 8 | 0 | 536 | 0 | 14 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 3.7s| 10400 | 689 | 12175 | 0.8 | 6212k | 46 | 96 | 7 | 6 | 542 | 1 | 14 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 3.8s| 10500 | 693 | 12256 | 0.8 | 6212k | 46 | 96 | 7 | 6 | 556 | 1 | 14 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 3.8s| 10600 | 695 | 12332 | 0.8 | 6212k | 46 | 96 | 8 | 0 | 566 | 0 | 15 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 3.8s| 10700 | 693 | 12405 | 0.8 | 6212k | 46 | 96 | 9 | 0 | 578 | 0 | 16 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.52/4.69 c 3.8s| 10800 | 699 | 12481 | 0.8 | 6212k | 46 | 96 | 10 | 0 | 594 | 0 | 17 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 3.8s| 10900 | 695 | 12550 | 0.8 | 6214k | 46 | 96 | 10 | 8 | 605 | 1 | 18 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 3.8s| 11000 | 693 | 12639 | 0.8 | 6214k | 46 | 96 | 12 | 0 | 622 | 0 | 21 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 3.9s| 11100 | 695 | 12723 | 0.8 | 6231k | 46 | 96 | 12 | 7 | 632 | 1 | 23 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 3.9s| 11200 | 697 | 12825 | 0.8 | 6411k | 46 | 96 | 12 | 0 | 655 | 0 | 23 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 3.9s| 11300 | 697 | 12896 | 0.8 | 6921k | 46 | 96 | 12 | 6 | 666 | 1 | 23 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 3.9s| 11400 | 693 | 12944 | 0.8 | 6921k | 46 | 96 | 12 | 0 | 666 | 0 | 23 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 3.9s| 11500 | 691 | 13003 | 0.8 | 7001k | 46 | 96 | 12 | 6 | 676 | 1 | 23 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.0s| 11600 | 707 | 13086 | 0.8 | 7042k | 46 | 96 | 12 | 8 | 692 | 1 | 23 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.0s| 11700 | 709 | 13144 | 0.8 | 7534k | 46 | 96 | 13 | 0 | 697 | 0 | 24 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.0s| 11800 | 707 | 13193 | 0.8 | 7534k | 46 | 96 | 13 | 0 | 697 | 0 | 24 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.0s| 11900 | 709 | 13264 | 0.8 | 7534k | 46 | 96 | 13 | 6 | 711 | 1 | 24 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.0s| 12000 | 705 | 13312 | 0.8 | 7534k | 46 | 96 | 13 | 0 | 711 | 0 | 24 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.0s| 12100 | 707 | 13374 | 0.8 | 7534k | 46 | 96 | 13 | 0 | 723 | 0 | 24 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.0s| 12200 | 707 | 13424 | 0.8 | 7534k | 46 | 96 | 13 | 0 | 723 | 0 | 24 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.52/4.69 c 4.0s| 12300 | 707 | 13474 | 0.8 | 7534k | 46 | 96 | 13 | 0 | 723 | 0 | 24 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.1s| 12400 | 707 | 13524 | 0.7 | 7534k | 46 | 96 | 13 | 0 | 723 | 0 | 24 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.1s| 12500 | 709 | 13582 | 0.7 | 7534k | 46 | 96 | 13 | 6 | 728 | 1 | 24 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.1s| 12600 | 715 | 13656 | 0.7 | 7534k | 46 | 96 | 13 | 9 | 740 | 1 | 24 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.1s| 12700 | 717 | 13726 | 0.7 | 7535k | 46 | 96 | 13 | 6 | 750 | 1 | 25 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.1s| 12800 | 715 | 13775 | 0.7 | 7535k | 46 | 96 | 13 | 0 | 750 | 0 | 25 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.1s| 12900 | 715 | 13854 | 0.7 | 7535k | 46 | 96 | 14 | 0 | 767 | 0 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.1s| 13000 | 713 | 13909 | 0.7 | 7535k | 46 | 96 | 14 | 0 | 770 | 0 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.2s| 13100 | 715 | 13971 | 0.7 | 7535k | 46 | 96 | 14 | 6 | 777 | 1 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.2s| 13200 | 715 | 14026 | 0.7 | 7536k | 46 | 96 | 14 | 0 | 783 | 0 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.2s| 13300 | 723 | 14088 | 0.7 | 7536k | 46 | 96 | 14 | 6 | 787 | 1 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.2s| 13400 | 725 | 14150 | 0.7 | 7536k | 46 | 96 | 14 | 0 | 790 | 0 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.2s| 13500 | 723 | 14218 | 0.7 | 7536k | 46 | 96 | 14 | 6 | 800 | 1 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.56%
4.52/4.69 c 4.2s| 13600 | 741 | 14319 | 0.7 | 7546k | 46 | 96 | 14 | 6 | 813 | 1 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.59%
4.52/4.69 c 4.2s| 13700 | 759 | 14389 | 0.7 | 7569k | 46 | 96 | 14 | 6 | 820 | 1 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.59%
4.52/4.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.52/4.69 c 4.3s| 13800 | 783 | 14464 | 0.7 | 7569k | 46 | 96 | 14 | 0 | 822 | 0 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.59%
4.52/4.69 c 4.3s| 13900 | 787 | 14528 | 0.7 | 7569k | 46 | 96 | 14 | 8 | 832 | 1 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.59%
4.52/4.69 c 4.3s| 14000 | 785 | 14604 | 0.7 | 7569k | 46 | 96 | 14 | 0 | 840 | 0 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.59%
4.52/4.69 c 4.3s| 14100 | 793 | 14664 | 0.7 | 7569k | 46 | 96 | 14 | 6 | 842 | 1 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.59%
4.52/4.69 c 4.3s| 14200 | 791 | 14714 | 0.7 | 7569k | 46 | 96 | 14 | 0 | 842 | 0 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.59%
4.52/4.69 c 4.3s| 14300 | 799 | 14776 | 0.7 | 7569k | 46 | 96 | 14 | 0 | 842 | 0 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.59%
4.52/4.69 c 4.4s| 14400 | 811 | 14869 | 0.7 | 7569k | 46 | 96 | 14 | 6 | 856 | 1 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.59%
4.52/4.69 c 4.4s| 14500 | 819 | 14927 | 0.7 | 7569k | 46 | 96 | 14 | 6 | 858 | 1 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.59%
4.52/4.69 c 4.4s| 14600 | 821 | 14978 | 0.7 | 7569k | 46 | 96 | 14 | 6 | 858 | 1 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.60%
4.52/4.69 c 4.4s| 14700 | 819 | 15027 | 0.7 | 7569k | 46 | 96 | 14 | 0 | 858 | 0 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.60%
4.52/4.69 c 4.4s| 14800 | 837 | 15091 | 0.7 | 7569k | 46 | 96 | 14 | 0 | 859 | 0 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.60%
4.52/4.69 c 4.4s| 14900 | 835 | 15149 | 0.7 | 7576k | 46 | 96 | 14 | 0 | 870 | 0 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.61%
4.52/4.69 c 4.4s| 15000 | 841 | 15223 | 0.7 | 7576k | 46 | 96 | 14 | 0 | 878 | 0 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.61%
4.52/4.69 c 4.5s| 15100 | 845 | 15280 | 0.7 | 7576k | 46 | 96 | 14 | 6 | 881 | 1 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.61%
4.52/4.69 c 4.5s| 15200 | 851 | 15334 | 0.7 | 7576k | 46 | 96 | 14 | 6 | 881 | 1 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.61%
4.52/4.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.52/4.69 c 4.5s| 15300 | 859 | 15402 | 0.7 | 7576k | 46 | 96 | 14 | 0 | 885 | 0 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.61%
4.52/4.69 c 4.5s| 15400 | 861 | 15463 | 0.7 | 7576k | 46 | 96 | 14 | 6 | 891 | 1 | 26 | 12 | 0.000000e+00 | -- | Inf | 42.61%
4.52/4.69 c 4.5s| 15500 | 861 | 15546 | 0.7 | 7576k | 46 | 96 | 15 | 0 | 910 | 0 | 27 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.5s| 15600 | 879 | 15622 | 0.7 | 7576k | 46 | 96 | 15 | 0 | 912 | 0 | 27 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.6s| 15700 | 885 | 15679 | 0.7 | 7576k | 46 | 96 | 15 | 6 | 915 | 1 | 27 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.6s| 15800 | 891 | 15732 | 0.7 | 7576k | 46 | 96 | 15 | 6 | 915 | 1 | 27 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.6s| 15900 | 901 | 15791 | 0.7 | 7576k | 46 | 96 | 15 | 0 | 917 | 0 | 27 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.6s| 16000 | 911 | 15859 | 0.7 | 7576k | 46 | 96 | 15 | 6 | 924 | 1 | 27 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.6s| 16100 | 919 | 15935 | 0.7 | 7576k | 46 | 96 | 16 | 6 | 935 | 1 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.6s| 16200 | 919 | 15993 | 0.7 | 7576k | 46 | 96 | 16 | 0 | 943 | 0 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.7s| 16300 | 923 | 16045 | 0.7 | 7576k | 46 | 96 | 16 | 6 | 943 | 1 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.7s| 16400 | 933 | 16112 | 0.7 | 7576k | 46 | 96 | 16 | 0 | 952 | 0 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.7s| 16500 | 935 | 16169 | 0.7 | 7576k | 46 | 96 | 16 | 6 | 954 | 1 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.7s| 16600 | 937 | 16220 | 0.7 | 7576k | 46 | 96 | 16 | 6 | 954 | 1 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.7s| 16700 | 939 | 16271 | 0.7 | 7576k | 46 | 96 | 16 | 0 | 954 | 0 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.52/5.66 c 4.7s| 16800 | 939 | 16334 | 0.7 | 7576k | 46 | 96 | 16 | 0 | 967 | 0 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.7s| 16900 | 941 | 16404 | 0.7 | 7576k | 46 | 96 | 16 | 6 | 974 | 1 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.7s| 17000 | 945 | 16477 | 0.7 | 7576k | 46 | 96 | 16 | 0 | 980 | 0 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.8s| 17100 | 953 | 16550 | 0.7 | 7576k | 46 | 96 | 16 | 6 | 991 | 1 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.8s| 17200 | 961 | 16622 | 0.7 | 7576k | 46 | 96 | 16 | 6 |1001 | 1 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.8s| 17300 | 967 | 16696 | 0.7 | 7576k | 46 | 96 | 16 | 6 |1015 | 1 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.8s| 17400 | 971 | 16765 | 0.7 | 7609k | 46 | 96 | 16 | 6 |1026 | 1 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.8s| 17500 | 975 | 16871 | 0.7 | 7609k | 46 | 96 | 16 | 0 |1057 | 0 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.8s| 17600 | 979 | 16961 | 0.7 | 7649k | 48 | 96 | 16 | 6 |1074 | 1 | 28 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.9s| 17700 | 979 | 17018 | 0.7 | 7651k | 48 | 96 | 16 | 7 |1075 | 1 | 29 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.9s| 17800 | 989 | 17085 | 0.7 | 7651k | 48 | 96 | 16 | 10 |1086 | 2 | 29 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.9s| 17900 | 995 | 17143 | 0.7 | 7651k | 48 | 96 | 16 | 0 |1090 | 0 | 29 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.9s| 18000 | 997 | 17207 | 0.7 | 7651k | 48 | 96 | 16 | 0 |1096 | 0 | 29 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 4.9s| 18100 | 1001 | 17265 | 0.7 | 7651k | 48 | 96 | 16 | 6 |1100 | 1 | 29 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.0s| 18200 | 1007 | 17339 | 0.7 | 7651k | 48 | 96 | 16 | 8 |1113 | 1 | 29 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.52/5.66 c 5.0s| 18300 | 1023 | 17410 | 0.7 | 7651k | 48 | 96 | 16 | 6 |1119 | 1 | 29 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.0s| 18400 | 1017 | 17526 | 0.7 | 7651k | 48 | 96 | 16 | 7 |1167 | 1 | 29 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.0s| 18500 | 1043 | 17648 | 0.7 | 7774k | 48 | 96 | 16 | 11 |1199 | 2 | 30 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.0s| 18600 | 1041 | 17764 | 0.7 | 7930k | 48 | 96 | 16 | 0 |1240 | 0 | 30 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.1s| 18700 | 1045 | 17854 | 0.7 | 8130k | 48 | 96 | 16 | 6 |1256 | 1 | 31 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.1s| 18800 | 1051 | 17917 | 0.7 | 8130k | 48 | 96 | 16 | 6 |1260 | 1 | 31 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.1s| 18900 | 1057 | 17986 | 0.7 | 8130k | 48 | 96 | 16 | 0 |1270 | 0 | 31 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.1s| 19000 | 1057 | 18079 | 0.7 | 8130k | 48 | 96 | 17 | 6 |1307 | 1 | 32 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.2s| 19100 | 1065 | 18199 | 0.7 | 8130k | 48 | 96 | 17 | 6 |1351 | 1 | 32 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.2s| 19200 | 1067 | 18318 | 0.7 | 8130k | 48 | 96 | 16 | 8 |1391 | 1 | 32 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.2s| 19300 | 1073 | 18406 | 0.7 | 8130k | 48 | 96 | 16 | 6 |1411 | 1 | 32 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.2s| 19400 | 1071 | 18455 | 0.7 | 8130k | 48 | 96 | 16 | 0 |1411 | 0 | 32 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.2s| 19500 | 1073 | 18524 | 0.7 | 8130k | 48 | 96 | 16 | 0 |1421 | 0 | 32 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.3s| 19600 | 1075 | 18588 | 0.7 | 8146k | 48 | 96 | 16 | 0 |1431 | 0 | 32 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.3s| 19700 | 1079 | 18676 | 0.7 | 8146k | 48 | 96 | 16 | 7 |1457 | 1 | 32 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.52/5.66 c 5.3s| 19800 | 1083 | 18769 | 0.7 | 8146k | 48 | 96 | 16 | 6 |1482 | 1 | 32 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.3s| 19900 | 1085 | 18830 | 0.7 | 8146k | 48 | 96 | 16 | 0 |1486 | 0 | 32 | 12 | 0.000000e+00 | -- | Inf | 42.61%
5.52/5.66 c 5.3s| 20000 | 1089 | 18916 | 0.7 | 8146k | 48 | 96 | 16 | 0 |1501 | 0 | 32 | 12 | 0.000000e+00 | -- | Inf | 42.66%
5.52/5.66 c 5.3s| 20100 | 1086 | 18986 | 0.7 | 8146k | 48 | 96 | 17 | 6 |1512 | 1 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.66%
5.52/5.66 c 5.4s| 20200 | 1090 | 19071 | 0.7 | 8146k | 48 | 96 | 17 | 0 |1533 | 0 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.68%
5.52/5.66 c 5.4s| 20300 | 1094 | 19142 | 0.7 | 8146k | 48 | 96 | 17 | 6 |1545 | 1 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.68%
5.52/5.66 c 5.4s| 20400 | 1094 | 19201 | 0.7 | 8146k | 48 | 96 | 17 | 6 |1551 | 1 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.68%
5.52/5.66 c 5.4s| 20500 | 1092 | 19302 | 0.7 | 8146k | 48 | 96 | 17 | 0 |1585 | 0 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.68%
5.52/5.66 c 5.4s| 20600 | 1098 | 19378 | 0.7 | 8146k | 48 | 96 | 17 | 0 |1593 | 0 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.68%
5.52/5.66 c 5.5s| 20700 | 1100 | 19466 | 0.7 | 8146k | 48 | 96 | 17 | 0 |1617 | 0 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.68%
5.52/5.66 c 5.5s| 20800 | 1100 | 19537 | 0.7 | 8146k | 48 | 96 | 17 | 0 |1625 | 0 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.68%
6.42/6.55 c 5.5s| 20900 | 1108 | 19617 | 0.7 | 8186k | 48 | 96 | 17 | 5 |1640 | 1 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.68%
6.42/6.55 c 5.5s| 21000 | 1110 | 19721 | 0.7 | 8669k | 48 | 96 | 16 | 6 |1677 | 1 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.68%
6.42/6.55 c 5.5s| 21100 | 1112 | 19801 | 0.7 | 8669k | 48 | 96 | 16 | 0 |1686 | 0 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.83%
6.42/6.55 c 5.5s| 21200 | 1114 | 19867 | 0.7 | 8669k | 48 | 96 | 16 | 0 |1693 | 0 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.86%
6.42/6.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.42/6.55 c 5.6s| 21300 | 1118 | 19921 | 0.7 | 8669k | 48 | 96 | 16 | 0 |1693 | 0 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.87%
6.42/6.55 c 5.6s| 21400 | 1120 | 19974 | 0.7 | 8669k | 48 | 96 | 16 | 6 |1693 | 1 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.87%
6.42/6.55 c 5.6s| 21500 | 1122 | 20036 | 0.7 | 8669k | 48 | 96 | 16 | 6 |1698 | 1 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.87%
6.42/6.55 c 5.6s| 21600 | 1124 | 20087 | 0.7 | 8669k | 48 | 96 | 16 | 0 |1698 | 0 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.87%
6.42/6.55 c 5.6s| 21700 | 1126 | 20153 | 0.7 | 8669k | 48 | 96 | 16 | 0 |1704 | 0 | 33 | 12 | 0.000000e+00 | -- | Inf | 42.87%
6.42/6.55 c 5.6s| 21800 | 1126 | 20223 | 0.7 | 8669k | 48 | 96 | 17 | 6 |1719 | 1 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.87%
6.42/6.55 c 5.6s| 21900 | 1128 | 20293 | 0.7 | 8669k | 48 | 96 | 17 | 6 |1737 | 1 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.87%
6.42/6.55 c 5.6s| 22000 | 1126 | 20366 | 0.7 | 8669k | 48 | 96 | 17 | 0 |1754 | 0 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.88%
6.42/6.55 c 5.7s| 22100 | 1128 | 20438 | 0.7 | 8669k | 48 | 96 | 17 | 6 |1772 | 1 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.88%
6.42/6.55 c 5.7s| 22200 | 1132 | 20527 | 0.7 | 8669k | 48 | 96 | 17 | 4 |1786 | 1 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.88%
6.42/6.55 c 5.7s| 22300 | 1138 | 20627 | 0.7 | 8669k | 48 | 96 | 17 | 8 |1813 | 2 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.88%
6.42/6.55 c 5.7s| 22400 | 1140 | 20714 | 0.7 | 8669k | 48 | 96 | 17 | 5 |1827 | 1 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.88%
6.42/6.55 c 5.7s| 22500 | 1140 | 20781 | 0.7 | 8669k | 48 | 96 | 17 | 0 |1835 | 0 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.88%
6.42/6.55 c 5.7s| 22600 | 1144 | 20850 | 0.7 | 8669k | 48 | 96 | 17 | 0 |1844 | 0 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.88%
6.42/6.55 c 5.8s| 22700 | 1150 | 20929 | 0.7 | 8669k | 48 | 96 | 17 | 0 |1861 | 0 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.88%
6.42/6.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.42/6.55 c 5.8s| 22800 | 1156 | 21004 | 0.7 | 8669k | 48 | 96 | 17 | 5 |1871 | 1 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.88%
6.42/6.55 c 5.8s| 22900 | 1164 | 21058 | 0.7 | 8669k | 48 | 96 | 17 | 6 |1871 | 1 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.88%
6.42/6.55 c 5.8s| 23000 | 1166 | 21124 | 0.7 | 8669k | 48 | 96 | 17 | 8 |1882 | 1 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.88%
6.42/6.55 c 5.8s| 23100 | 1166 | 21205 | 0.7 | 8669k | 48 | 96 | 17 | 0 |1895 | 0 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.88%
6.42/6.55 c 5.8s| 23200 | 1162 | 21266 | 0.7 | 8669k | 48 | 96 | 17 | 0 |1898 | 0 | 34 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 5.9s| 23300 | 1160 | 21358 | 0.7 | 8669k | 48 | 96 | 18 | 6 |1920 | 1 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 5.9s| 23400 | 1164 | 21432 | 0.7 | 8669k | 48 | 96 | 18 | 0 |1930 | 0 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 5.9s| 23500 | 1166 | 21493 | 0.7 | 8669k | 48 | 96 | 18 | 9 |1938 | 1 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 5.9s| 23600 | 1170 | 21575 | 0.7 | 8669k | 48 | 96 | 18 | 6 |1957 | 1 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.0s| 23700 | 1170 | 21625 | 0.7 | 8669k | 48 | 96 | 18 | 6 |1957 | 1 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.0s| 23800 | 1170 | 21675 | 0.7 | 8669k | 48 | 96 | 18 | 6 |1957 | 1 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.0s| 23900 | 1170 | 21725 | 0.7 | 8669k | 48 | 96 | 18 | 6 |1957 | 1 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.0s| 24000 | 1170 | 21775 | 0.7 | 8669k | 48 | 96 | 18 | 0 |1957 | 0 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.0s| 24100 | 1178 | 21829 | 0.7 | 8669k | 48 | 96 | 18 | 0 |1957 | 0 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.0s| 24200 | 1182 | 21881 | 0.7 | 8669k | 48 | 96 | 18 | 6 |1957 | 1 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.42/6.55 c 6.0s| 24300 | 1190 | 21935 | 0.7 | 8669k | 48 | 96 | 18 | 0 |1957 | 0 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.0s| 24400 | 1194 | 21996 | 0.7 | 8669k | 48 | 96 | 18 | 6 |1965 | 1 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.1s| 24500 | 1196 | 22079 | 0.7 | 8669k | 48 | 96 | 18 | 0 |1981 | 0 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.1s| 24600 | 1204 | 22148 | 0.7 | 8669k | 48 | 96 | 18 | 0 |1992 | 0 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.1s| 24700 | 1200 | 22247 | 0.7 | 8669k | 48 | 96 | 18 | 6 |2030 | 1 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.1s| 24800 | 1204 | 22341 | 0.7 | 8669k | 48 | 96 | 18 | 0 |2049 | 0 | 36 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.2s| 24900 | 1212 | 22466 | 0.7 | 8669k | 48 | 96 | 18 | 11 |2090 | 1 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.2s| 25000 | 1214 | 22528 | 0.7 | 8669k | 48 | 96 | 18 | 0 |2096 | 0 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.2s| 25100 | 1214 | 22591 | 0.7 | 8669k | 48 | 96 | 18 | 0 |2100 | 0 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.91%
6.42/6.55 c 6.2s| 25200 | 1220 | 22706 | 0.7 | 8691k | 48 | 96 | 18 | 5 |2140 | 1 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.93%
6.42/6.55 c 6.2s| 25300 | 1222 | 22780 | 0.7 | 8691k | 48 | 96 | 18 | 5 |2146 | 1 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.94%
6.42/6.55 c 6.2s| 25400 | 1220 | 22855 | 0.7 | 8691k | 48 | 96 | 18 | 0 |2161 | 0 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.94%
6.42/6.55 c 6.3s| 25500 | 1232 | 22949 | 0.7 | 8691k | 48 | 96 | 18 | 6 |2186 | 1 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.94%
6.42/6.55 c 6.3s| 25600 | 1236 | 23084 | 0.7 | 8691k | 48 | 96 | 18 | 8 |2247 | 1 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.94%
6.42/6.55 c 6.3s| 25700 | 1242 | 23188 | 0.7 | 8691k | 48 | 96 | 18 | 0 |2283 | 0 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.94%
6.42/6.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.42/6.55 c 6.3s| 25800 | 1244 | 23282 | 0.7 | 8721k | 48 | 96 | 18 | 6 |2314 | 1 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.94%
6.42/6.55 c 6.4s| 25900 | 1246 | 23352 | 0.7 | 8721k | 48 | 96 | 18 | 0 |2325 | 0 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.94%
6.42/6.55 c 6.4s| 26000 | 1248 | 23436 | 0.7 | 8842k | 48 | 96 | 18 | 6 |2348 | 1 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.94%
7.41/7.59 c 6.4s| 26100 | 1254 | 23515 | 0.7 | 8842k | 48 | 96 | 18 | 6 |2358 | 1 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.94%
7.41/7.59 c 6.4s| 26200 | 1264 | 23597 | 0.7 | 8842k | 48 | 96 | 18 | 7 |2380 | 1 | 37 | 12 | 0.000000e+00 | -- | Inf | 42.94%
7.41/7.59 c 6.4s| 26300 | 1269 | 23750 | 0.7 | 8903k | 48 | 96 | 20 | 6 |2438 | 1 | 39 | 12 | 0.000000e+00 | -- | Inf | 42.94%
7.41/7.59 c 6.5s| 26400 | 1267 | 23842 | 0.7 | 8903k | 48 | 96 | 20 | 6 |2463 | 1 | 39 | 12 | 0.000000e+00 | -- | Inf | 42.94%
7.41/7.59 c 6.5s| 26500 | 1269 | 23947 | 0.7 | 8903k | 48 | 96 | 20 | 0 |2492 | 0 | 40 | 12 | 0.000000e+00 | -- | Inf | 42.94%
7.41/7.59 c 6.5s| 26600 | 1269 | 24056 | 0.7 | 8903k | 48 | 96 | 20 | 0 |2529 | 0 | 40 | 12 | 0.000000e+00 | -- | Inf | 42.94%
7.41/7.59 c 6.5s| 26700 | 1263 | 24136 | 0.7 | 8903k | 48 | 96 | 20 | 0 |2551 | 0 | 41 | 12 | 0.000000e+00 | -- | Inf | 42.94%
7.41/7.59 c 6.6s| 26800 | 1263 | 24276 | 0.7 | 8903k | 48 | 96 | 21 | 9 |2614 | 0 | 42 | 12 | 0.000000e+00 | -- | Inf | 42.94%
7.41/7.59 c 6.6s| 26900 | 1259 | 24373 | 0.7 | 8903k | 48 | 96 | 22 | 0 |2645 | 0 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.94%
7.41/7.59 c 6.6s| 27000 | 1263 | 24432 | 0.7 | 8903k | 48 | 96 | 22 | 5 |2648 | 1 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.97%
7.41/7.59 c 6.6s| 27100 | 1263 | 24482 | 0.7 | 8903k | 48 | 96 | 22 | 0 |2648 | 0 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.97%
7.41/7.59 c 6.6s| 27200 | 1267 | 24534 | 0.7 | 8903k | 48 | 96 | 22 | 0 |2648 | 0 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.97%
7.41/7.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.41/7.59 c 6.6s| 27300 | 1267 | 24584 | 0.7 | 8903k | 48 | 96 | 22 | 0 |2648 | 0 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.97%
7.41/7.59 c 6.6s| 27400 | 1275 | 24638 | 0.7 | 8903k | 48 | 96 | 22 | 0 |2648 | 0 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.97%
7.41/7.59 c 6.6s| 27500 | 1277 | 24690 | 0.7 | 8903k | 48 | 96 | 22 | 5 |2648 | 1 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.7s| 27600 | 1279 | 24744 | 0.7 | 8903k | 48 | 96 | 22 | 0 |2648 | 0 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.7s| 27700 | 1283 | 24796 | 0.7 | 8903k | 48 | 96 | 22 | 5 |2648 | 1 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.7s| 27800 | 1287 | 24848 | 0.7 | 8903k | 48 | 96 | 22 | 0 |2648 | 0 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.7s| 27900 | 1301 | 24905 | 0.7 | 8903k | 48 | 96 | 22 | 0 |2648 | 0 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.7s| 28000 | 1317 | 24973 | 0.7 | 8903k | 48 | 96 | 22 | 5 |2653 | 1 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.7s| 28100 | 1309 | 25019 | 0.7 | 8903k | 48 | 96 | 22 | 0 |2653 | 0 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.8s| 28200 | 1315 | 25072 | 0.7 | 8903k | 48 | 96 | 22 | 5 |2653 | 1 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.8s| 28300 | 1327 | 25128 | 0.7 | 8903k | 48 | 96 | 22 | 0 |2653 | 0 | 43 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.8s| 28400 | 1337 | 25211 | 0.7 | 8903k | 48 | 96 | 23 | 7 |2669 | 1 | 44 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.8s| 28500 | 1333 | 25280 | 0.7 | 8903k | 48 | 96 | 23 | 5 |2682 | 1 | 44 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.8s| 28600 | 1331 | 25329 | 0.7 | 8903k | 48 | 96 | 23 | 0 |2682 | 0 | 44 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.9s| 28700 | 1333 | 25380 | 0.7 | 8903k | 48 | 96 | 23 | 0 |2682 | 0 | 44 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.41/7.59 c 6.9s| 28800 | 1345 | 25439 | 0.7 | 8903k | 48 | 96 | 23 | 5 |2683 | 1 | 44 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.9s| 28900 | 1357 | 25556 | 0.7 | 8903k | 48 | 96 | 23 | 5 |2708 | 1 | 44 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.9s| 29000 | 1353 | 25641 | 0.7 | 8903k | 48 | 96 | 25 | 9 |2726 | 2 | 47 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 6.9s| 29100 | 1355 | 25693 | 0.7 | 8903k | 48 | 96 | 25 | 5 |2727 | 1 | 47 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.0s| 29200 | 1359 | 25760 | 0.7 | 8903k | 48 | 96 | 25 | 5 |2734 | 1 | 48 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.0s| 29300 | 1367 | 25840 | 0.7 | 8903k | 48 | 96 | 25 | 0 |2745 | 0 | 48 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.0s| 29400 | 1371 | 25929 | 0.7 | 8903k | 48 | 96 | 25 | 5 |2764 | 1 | 48 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.0s| 29500 | 1371 | 26031 | 0.7 | 8940k | 48 | 96 | 25 | 0 |2797 | 0 | 49 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.0s| 29600 | 1375 | 26098 | 0.7 | 8940k | 48 | 96 | 24 | 5 |2807 | 1 | 49 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.1s| 29700 | 1377 | 26149 | 0.7 | 8940k | 48 | 96 | 24 | 0 |2807 | 0 | 49 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.1s| 29800 | 1381 | 26248 | 0.7 | 8940k | 48 | 96 | 25 | 5 |2829 | 1 | 50 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.1s| 29900 | 1387 | 26326 | 0.7 | 9664k | 48 | 96 | 25 | 5 |2849 | 1 | 50 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.1s| 30000 | 1391 | 26411 | 0.7 | 10M | 48 | 96 | 25 | 0 |2873 | 0 | 50 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.1s| 30100 | 1393 | 26462 | 0.7 | 10M | 48 | 96 | 25 | 5 |2873 | 1 | 50 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.2s| 30200 | 1399 | 26548 | 0.7 | 10M | 48 | 96 | 26 | 0 |2899 | 0 | 52 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.41/7.59 c 7.2s| 30300 | 1409 | 26631 | 0.7 | 10M | 48 | 96 | 26 | 7 |2914 | 2 | 52 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.2s| 30400 | 1419 | 26726 | 0.7 | 10M | 48 | 96 | 26 | 0 |2940 | 0 | 52 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.2s| 30500 | 1421 | 26799 | 0.7 | 10M | 48 | 96 | 26 | 0 |2947 | 0 | 52 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.2s| 30600 | 1421 | 26861 | 0.7 | 10M | 48 | 96 | 27 | 0 |2954 | 0 | 53 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.3s| 30700 | 1423 | 26945 | 0.7 | 10M | 48 | 96 | 27 | 5 |2969 | 1 | 54 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.3s| 30800 | 1422 | 27025 | 0.7 | 10M | 48 | 96 | 27 | 0 |2990 | 0 | 55 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.3s| 30900 | 1424 | 27119 | 0.7 | 10M | 48 | 96 | 27 | 0 |3010 | 0 | 55 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.3s| 31000 | 1426 | 27183 | 0.7 | 10M | 48 | 96 | 27 | 0 |3018 | 0 | 55 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.4s| 31100 | 1430 | 27281 | 0.7 | 10M | 48 | 96 | 27 | 6 |3040 | 1 | 55 | 12 | 0.000000e+00 | -- | Inf | 42.98%
7.41/7.59 c 7.4s| 31200 | 1432 | 27355 | 0.7 | 10M | 48 | 96 | 27 | 3 |3046 | 1 | 55 | 12 | 0.000000e+00 | -- | Inf | 52.94%
7.41/7.59 c 7.4s| 31300 | 1442 | 27477 | 0.7 | 10M | 48 | 96 | 27 | 5 |3074 | 1 | 55 | 12 | 0.000000e+00 | -- | Inf | 54.26%
8.11/8.24 c 7.4s| 31400 | 1458 | 27571 | 0.7 | 11M | 48 | 96 | 27 | 7 |3082 | 1 | 55 | 12 | 0.000000e+00 | -- | Inf | 54.28%
8.11/8.24 c 7.4s| 31500 | 1458 | 27634 | 0.7 | 11M | 48 | 96 | 26 | 7 |3082 | 1 | 55 | 12 | 0.000000e+00 | -- | Inf | 54.28%
8.11/8.24 c 7.4s| 31600 | 1460 | 27718 | 0.7 | 11M | 48 | 96 | 26 | 5 |3098 | 1 | 55 | 12 | 0.000000e+00 | -- | Inf | 54.41%
8.11/8.24 c 7.5s| 31700 | 1468 | 27786 | 0.7 | 11M | 48 | 96 | 26 | 0 |3104 | 0 | 55 | 12 | 0.000000e+00 | -- | Inf | 54.45%
8.11/8.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.11/8.24 c 7.5s| 31800 | 1474 | 27854 | 0.7 | 11M | 48 | 96 | 26 | 0 |3107 | 0 | 55 | 12 | 0.000000e+00 | -- | Inf | 54.46%
8.11/8.24 c 7.5s| 31900 | 1480 | 27933 | 0.7 | 11M | 48 | 96 | 26 | 7 |3112 | 1 | 55 | 12 | 0.000000e+00 | -- | Inf | 54.49%
8.11/8.24 c 7.5s| 32000 | 1478 | 28026 | 0.7 | 11M | 48 | 96 | 26 | 0 |3131 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.85%
8.11/8.24 c 7.5s| 32100 | 1484 | 28079 | 0.7 | 11M | 48 | 96 | 26 | 0 |3131 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.86%
8.11/8.24 c 7.5s| 32200 | 1484 | 28129 | 0.7 | 11M | 48 | 96 | 26 | 0 |3131 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.87%
8.11/8.24 c 7.5s| 32300 | 1484 | 28184 | 0.7 | 11M | 48 | 96 | 26 | 0 |3133 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.87%
8.11/8.24 c 7.5s| 32400 | 1486 | 28235 | 0.7 | 11M | 48 | 96 | 26 | 0 |3133 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.88%
8.11/8.24 c 7.6s| 32500 | 1492 | 28288 | 0.7 | 11M | 48 | 96 | 26 | 5 |3133 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.88%
8.11/8.24 c 7.6s| 32600 | 1496 | 28345 | 0.7 | 11M | 48 | 96 | 26 | 4 |3135 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.88%
8.11/8.24 c 7.6s| 32700 | 1494 | 28394 | 0.7 | 11M | 48 | 96 | 26 | 4 |3135 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.90%
8.11/8.24 c 7.6s| 32800 | 1490 | 28447 | 0.7 | 11M | 48 | 96 | 26 | 0 |3137 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.92%
8.11/8.24 c 7.6s| 32900 | 1494 | 28511 | 0.7 | 11M | 48 | 96 | 26 | 0 |3137 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.94%
8.11/8.24 c 7.6s| 33000 | 1496 | 28567 | 0.7 | 11M | 48 | 96 | 26 | 5 |3137 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.95%
8.11/8.24 c 7.6s| 33100 | 1498 | 28623 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.96%
8.11/8.24 c 7.7s| 33200 | 1500 | 28678 | 0.7 | 11M | 48 | 96 | 26 | 5 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.96%
8.11/8.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.11/8.24 c 7.7s| 33300 | 1502 | 28729 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.97%
8.11/8.24 c 7.7s| 33400 | 1504 | 28780 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.97%
8.11/8.24 c 7.7s| 33500 | 1504 | 28830 | 0.7 | 11M | 48 | 96 | 26 | 4 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.97%
8.11/8.24 c 7.7s| 33600 | 1502 | 28879 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.97%
8.11/8.24 c 7.7s| 33700 | 1514 | 28935 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.97%
8.11/8.24 c 7.7s| 33800 | 1518 | 28987 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.97%
8.11/8.24 c 7.8s| 33900 | 1524 | 29040 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.97%
8.11/8.24 c 7.8s| 34000 | 1534 | 29095 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.97%
8.11/8.24 c 7.8s| 34100 | 1534 | 29145 | 0.7 | 11M | 48 | 96 | 26 | 5 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.97%
8.11/8.24 c 7.8s| 34200 | 1532 | 29194 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.98%
8.11/8.24 c 7.8s| 34300 | 1534 | 29247 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.98%
8.11/8.24 c 7.8s| 34400 | 1536 | 29298 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.98%
8.11/8.24 c 7.8s| 34500 | 1542 | 29353 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.98%
8.11/8.24 c 7.9s| 34600 | 1540 | 29405 | 0.7 | 11M | 48 | 96 | 26 | 4 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.98%
8.11/8.24 c 7.9s| 34700 | 1538 | 29454 | 0.7 | 11M | 48 | 96 | 26 | 4 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 54.98%
8.11/8.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.11/8.24 c 7.9s| 34800 | 1538 | 29506 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.17%
8.11/8.24 c 7.9s| 34900 | 1542 | 29562 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.18%
8.11/8.24 c 7.9s| 35000 | 1548 | 29626 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.18%
8.11/8.24 c 7.9s| 35100 | 1554 | 29680 | 0.7 | 11M | 48 | 96 | 26 | 5 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.18%
8.11/8.24 c 7.9s| 35200 | 1556 | 29731 | 0.7 | 11M | 48 | 96 | 26 | 5 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.18%
8.11/8.24 c 7.9s| 35300 | 1554 | 29780 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.18%
8.11/8.24 c 8.0s| 35400 | 1548 | 29827 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.18%
8.11/8.24 c 8.0s| 35500 | 1548 | 29877 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.18%
8.11/8.24 c 8.0s| 35600 | 1548 | 29927 | 0.7 | 11M | 48 | 96 | 26 | 5 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.18%
8.11/8.24 c 8.0s| 35700 | 1550 | 29978 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.18%
8.11/8.24 c 8.0s| 35800 | 1556 | 30031 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.18%
8.11/8.24 c 8.0s| 35900 | 1564 | 30085 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.18%
8.11/8.24 c 8.0s| 36000 | 1564 | 30139 | 0.7 | 11M | 48 | 96 | 26 | 7 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.11/8.24 c 8.0s| 36100 | 1564 | 30189 | 0.7 | 11M | 48 | 96 | 26 | 5 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.11/8.24 c 8.0s| 36200 | 1566 | 30242 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.11/8.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.11/8.24 c 8.1s| 36300 | 1568 | 30295 | 0.7 | 11M | 48 | 96 | 26 | 7 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.11/8.24 c 8.1s| 36400 | 1568 | 30347 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.11/8.24 c 8.1s| 36500 | 1572 | 30399 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c 8.1s| 36600 | 1572 | 30449 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c 8.1s| 36700 | 1578 | 30502 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c 8.1s| 36800 | 1584 | 30555 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c 8.1s| 36900 | 1586 | 30606 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c 8.1s| 37000 | 1580 | 30653 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c 8.1s| 37100 | 1578 | 30702 | 0.7 | 11M | 48 | 96 | 26 | 5 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c 8.2s| 37200 | 1584 | 30763 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c 8.2s| 37300 | 1590 | 30818 | 0.7 | 11M | 48 | 96 | 26 | 7 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c 8.2s| 37400 | 1592 | 30886 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c 8.2s| 37500 | 1594 | 30943 | 0.7 | 11M | 48 | 96 | 26 | 0 |3138 | 0 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c 8.2s| 37600 | 1608 | 31005 | 0.7 | 11M | 48 | 96 | 26 | 6 |3138 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c 8.2s| 37700 | 1624 | 31109 | 0.7 | 11M | 48 | 96 | 26 | 6 |3162 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.30/8.44 c 8.3s| 37800 | 1618 | 31183 | 0.7 | 11M | 48 | 96 | 26 | 6 |3181 | 1 | 56 | 12 | 0.000000e+00 | -- | Inf | 55.19%
8.30/8.44 c r 8.3s| 37875 | 0 | 31225 | 0.7 |randroun| 48 | 96 | 26 | 6 |3186 | 0 | 56 | 12 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
8.30/8.44 c
8.30/8.44 c SCIP Status : problem is solved [optimal solution found]
8.30/8.44 c Solving Time (sec) : 8.28
8.30/8.44 c Solving Nodes : 37875 (total of 43482 nodes in 2 runs)
8.30/8.44 c Primal Bound : +0.00000000000000e+00 (1 solutions)
8.30/8.44 c Dual Bound : +0.00000000000000e+00
8.30/8.44 c Gap : 0.00 %
8.30/8.44 c [VIOLATION] Line 8: +18902 x1 +37804 x2 +75608 x3 +151216 x4 +302432 x5 +604864 x6 +1209728 x7 +2419456 x8 +4838912 x9 +9677824 x10 +19355648 x11 +26720 x12 +53440 x13 +106880 x14 +213760 x15 +427520 x16 +855040 x17 +1710080 x18 +3420160 x19 +6840320 x20 +13680640 x21 +34538 x22 +69076 x23 +138152 x24 +276304 x25 +552608 x26 +1105216 x27 +2210432 x28 +4420864 x29 +8841728 x30 +17683456 x31 +34868 x32 +69736 x33 +139472 x34 +278944 x35 +557888 x36 +1115776 x37 +2231552 x38 +4463104 x39 +8926208 x40 +17852416 x41 +49201 x42 +98402 x43 +196804 x44 +393608 x45 +787216 x46 +1574432 x47 +3148864 x48 +6297728 x49 +12595456 x50 +25190912 x51 +49531 x52 +99062 x53 +198124 x54 +396248 x55 +792496 x56 +1584992 x57 +3169984 x58 +6339968 x59 +12679936 x60 +25359872 x61 +65167 x62 +130334 x63 +260668 x64 +521336 x65 +1042672 x66 +2085344 x67 +4170688 x68 +8341376 x69 +16682752 x70 +66800 x71 +133600 x72 +267200 x73 +534400 x74 +1068800 x75 +2137600 x76 +4275200 x77 +8550400 x78 +17100800 x79 +84069 x80 +168138 x81 +336276 x82 +672552 x83 +1345104 x84 +2690208 x85 +5380416 x86 +10760832 x87 +21521664 x88 +137179 x89 +274358 x90 +548716 x91 +1097432 x92 +2194864 x93 +4389728 x94 +8779456 x95 +17558912 x96 >= 27267752 ;
8.30/8.44 c Computed activity: 27267736
8.30/8.44 c Required: activity >= 27267752
8.30/8.44 c Variable assignments: {x1=0, x2=1, x3=0, x4=0, x5=0, x6=0, x7=0, x8=0, x9=1, x10=0, x11=0, x12=0, x13=0, x14=0, x15=0, x16=1, x17=0, x18=0, x19=0, x20=0, x21=0, x22=0, x23=0, x24=0, x25=0, x26=0, x27=0, x28=0, x29=0, x30=0, x31=0, x32=0, x33=0, x34=0, x35=0, x36=0, x37=0, x38=0, x39=0, x40=0, x41=0, x42=1, x43=0, x44=0, x45=0, x46=0, x47=0, x48=0, x49=0, x50=0, x51=0, x52=0, x53=0, x54=0, x55=0, x56=0, x57=0, x58=0, x59=0, x60=0, x61=0, x62=1, x63=0, x64=1, x65=0, x66=0, x67=0, x68=0, x69=0, x70=0, x71=1, x72=0, x73=0, x74=0, x75=0, x76=0, x77=0, x78=0, x79=0, x80=0, x81=0, x82=0, x83=0, x84=0, x85=0, x86=0, x87=0, x88=1, x89=0, x90=0, x91=0, x92=0, x93=0, x94=0, x95=0, x96=0}}
8.30/8.44 c SCIP found a solution, but it is not feasible according to the original problem.
8.30/8.44 c ----------------------------------------------------------------------
8.30/8.44 c executing external solver (fallback): HOME/naps-1.03a6
8.30/8.44 c ----------------------------------------------------------------------
8.30/8.44 c command: HOME/naps-1.03a6 HOME/instance-4529702-1752253455.opb
8.30/8.44 c NaPS 1.03a6.
8.30/8.44 c Input file name: HOME/instance-4529702-1752253455.opb
3314.17/3323.97 c s SATISFIABLE
3314.17/3323.97 c _____________________________________________________________________________
3314.17/3323.97 c std/band forms : 0,1
3314.17/3323.97 c 2cl/3cl ITE-codings : 0,66454
3314.17/3323.97 c BDD/srt/adr Max costs : 68803,0,0
3314.17/3323.97 c BDDraw/bin/mul/srt/adr: 0,0,1,0,0
3314.17/3323.97 c BDD nodes : 68805
3314.17/3323.97 c Es1/CC detections : 0,0
3314.17/3323.97 c CC sort : 0
3314.17/3323.97 c SAT/UNSAT calls : 1,0
3314.17/3323.97 c regenrated variables : 0
3314.17/3323.97 c eliminated fixed lits : 0
3314.17/3323.97 c goal lit flips : 0
3314.17/3323.97 c goal stages : 0
3314.17/3323.97 c goal shrink : 0
3314.17/3323.97 c goal coeff separations: 0
3314.17/3323.97 c restarts : 225477
3314.17/3323.97 c conflicts : 7203447 (2179 /sec)
3314.17/3323.97 c decisions : 38302382 (11588 /sec)
3314.17/3323.97 c propagations : 31321097001 (9476180 /sec)
3314.17/3323.97 c inspects : 0 (0 /sec)
3314.17/3323.97 c CPU time (solving tm) : 3305 s (3305 s, SAT 3305 s, UNSAT 0 s)
3314.17/3323.97 c Time for Opt-base : 0.06783 s
3314.17/3323.97 c Steps for Opt-base : 283776
3314.17/3323.97 c Time for BDD coding : 0.4974 s
3314.17/3323.97 c Time for srt coding : 0 s
3314.17/3323.97 c _____________________________________________________________________________
3314.17/3323.97 c v -x1 x2 -x3 -x4 -x5 x6 -x7 -x8 x9 x10 -x11 -x12 -x13 x14 -x15 x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96
3314.17/3323.98 s SATISFIABLE
3314.17/3323.98 v -x1 x2 -x3 -x4 -x5 x6 -x7 -x8 x9 x10 -x11 -x12 -x13 x14 -x15 x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96
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 (56565 MiB free)
memory of node 1: 64465 MiB (58007 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529702-1752253455/watcher-4529702-1752253455 -o /tmp/evaluation-result-4529702-1752253455/solver-4529702-1752253455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752253388-109748 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529702-1752253455.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
Current StackSize limit: 8192 KiB
solver pid=110211, runsolver pid=110205
[startup+0.100064 s]*
/proc/loadavg: 3.45 3.12 3.17 5/269 110217
/proc/meminfo: memFree=117303116/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1186092 memory=30560 CPUtime=0.05 cores=4,6
/proc/110217/stat : 110217 (python3) R 110211 110211 109737 0 -1 4194304 3480 0 0 0 4 1 0 0 20 0 1 0 141024110 1214558208 7640 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 296523 7640 4800 1 0 268591 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 1190284 KiB
Current children cumulated memory: 33504 KiB
[startup+0.205635 s]*
/proc/loadavg: 3.45 3.12 3.17 5/269 110217
/proc/meminfo: memFree=117279932/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1202912 memory=55520 CPUtime=0.15 cores=4,6
/proc/110217/stat : 110217 (python3) R 110211 110211 109737 0 -1 4194304 6641 0 0 0 13 2 0 0 20 0 1 0 141024110 1231781888 13880 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 300728 13880 8128 1 0 272086 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1207104 KiB
Current children cumulated memory: 58464 KiB
[startup+0.305609 s]*
/proc/loadavg: 3.45 3.12 3.17 5/269 110217
/proc/meminfo: memFree=117279932/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1202912 memory=55520 CPUtime=0.25 cores=4,6
/proc/110217/stat : 110217 (python3) R 110211 110211 109737 0 -1 4194304 6660 0 0 0 23 2 0 0 20 0 1 0 141024110 1231781888 13880 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 300728 13880 8128 1 0 272086 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1207104 KiB
Current children cumulated memory: 58464 KiB
[startup+0.700219 s]
/proc/loadavg: 3.45 3.12 3.17 5/269 110218
/proc/meminfo: memFree=117279932/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1204340 memory=56928 CPUtime=0.64 cores=4,6
/proc/110217/stat : 110217 (python3) R 110211 110211 109737 0 -1 4194304 7032 0 0 0 62 2 0 0 20 0 1 0 141024110 1233244160 14232 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 301085 14232 8128 1 0 272443 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1208532 KiB
Current children cumulated memory: 59872 KiB
[startup+1.50021 s]
/proc/loadavg: 3.49 3.14 3.18 5/269 110218
/proc/meminfo: memFree=117204736/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1204732 memory=57568 CPUtime=1.43 cores=4,6
/proc/110217/stat : 110217 (python3) R 110211 110211 109737 0 -1 4194304 7203 0 0 0 141 2 0 0 20 0 1 0 141024110 1233645568 14392 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 301183 14392 8128 1 0 272541 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1208924 KiB
Current children cumulated memory: 60512 KiB
[startup+3.10575 s]
/proc/loadavg: 3.49 3.14 3.18 5/270 110219
/proc/meminfo: memFree=116918744/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1206480 memory=59232 CPUtime=3.04 cores=4,6
/proc/110217/stat : 110217 (python3) R 110211 110211 109737 0 -1 4194304 7615 0 0 0 302 2 0 0 20 0 1 0 141024110 1235435520 14808 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 301620 14808 8128 1 0 272978 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1210672 KiB
Current children cumulated memory: 62176 KiB
[startup+6.30021 s]
/proc/loadavg: 3.49 3.14 3.18 5/270 110219
/proc/meminfo: memFree=115747116/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1207676 memory=60512 CPUtime=6.22 cores=4,6
/proc/110217/stat : 110217 (python3) R 110211 110211 109737 0 -1 4194304 7921 0 0 0 620 2 0 0 20 0 1 0 141024110 1236660224 15128 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 301919 15128 8128 1 0 273277 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1211868 KiB
Current children cumulated memory: 63456 KiB
[startup+12.7002 s]
/proc/loadavg: 3.65 3.18 3.19 5/271 110220
/proc/meminfo: memFree=115711628/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=63840 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 15960 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 15960 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=84284 memory=79076 CPUtime=4.22 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 22037 0 0 0 419 3 0 0 20 0 1 0 141024951 86306816 19769 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 21071 19769 544 696 0 20232 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 1299420 KiB
Current children cumulated memory: 145860 KiB
[startup+25.5002 s]
/proc/loadavg: 3.70 3.21 3.20 5/271 110220
/proc/meminfo: memFree=111944956/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=63840 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 15960 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 15960 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=107836 memory=92420 CPUtime=16.98 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 24381 0 0 0 1695 3 0 0 20 0 1 0 141024951 110424064 23105 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 26959 23105 544 696 0 26120 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 1322972 KiB
Current children cumulated memory: 159204 KiB
[startup+51.1056 s]
/proc/loadavg: 3.81 3.28 3.22 5/271 110269
/proc/meminfo: memFree=118161504/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=63840 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 15960 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 15960 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=116028 memory=97712 CPUtime=42.52 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 24668 0 0 0 4249 3 0 0 20 0 1 0 141024951 118812672 24428 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 29007 24428 544 696 0 28168 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1331164 KiB
Current children cumulated memory: 164496 KiB
[startup+102.3 s]
/proc/loadavg: 4.32 3.52 3.31 5/271 110711
/proc/meminfo: memFree=123359248/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=64992 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 16248 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 16248 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=106368 memory=86580 CPUtime=93.55 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 25923 0 0 0 9351 4 0 0 20 0 1 0 141024951 108920832 21645 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 26592 21645 544 696 0 25753 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1321504 KiB
Current children cumulated memory: 154516 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.61 3.36 5/271 110713
/proc/meminfo: memFree=123360412/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=65120 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 16280 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 16280 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=106368 memory=90540 CPUtime=153.36 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 25929 0 0 0 15332 4 0 0 20 0 1 0 141024951 108920832 22635 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 26592 22635 544 696 0 25753 0
################
# More data... #
################
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=65120 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 16280 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 16280 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=123144 memory=112568 CPUtime=3144.73 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 181651 0 0 0 314408 65 0 0 20 0 1 0 141024951 126099456 28142 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 30786 28142 544 696 0 29947 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 1338280 KiB
Current children cumulated memory: 180632 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 111442
/proc/meminfo: memFree=106282432/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=65120 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 16280 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 16280 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=123144 memory=112568 CPUtime=3204.54 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 181651 0 0 0 320389 65 0 0 20 0 1 0 141024951 126099456 28142 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 30786 28142 544 696 0 29947 0
Current children cumulated CPU time: 3212.9 s
Current children cumulated vsize: 1338280 KiB
Current children cumulated memory: 180632 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 111444
/proc/meminfo: memFree=106234484/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=65120 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 16280 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 16280 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=123144 memory=114620 CPUtime=3264.34 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 181654 0 0 0 326369 65 0 0 20 0 1 0 141024951 126099456 28655 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 30786 28655 544 696 0 29947 0
Current children cumulated CPU time: 3272.7 s
Current children cumulated vsize: 1338280 KiB
Current children cumulated memory: 182684 KiB
[startup+3324.01 s]
# the end of solver process 110211 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3313.6 s, system=0.697369 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3302.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 111444
/proc/meminfo: memFree=106225896/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=65120 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 16280 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 16280 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=123144 memory=114620 CPUtime=3284.38 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 181654 0 0 0 328373 65 0 0 20 0 1 0 141024951 126099456 28655 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 30786 28655 544 696 0 29947 0
Current children cumulated CPU time: 3292.74 s
Current children cumulated vsize: 1338280 KiB
Current children cumulated memory: 182684 KiB
[startup+3315.2 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 111445
/proc/meminfo: memFree=106235404/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=65120 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 16280 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 16280 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=123144 memory=114620 CPUtime=3297.14 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 181654 0 0 0 329649 65 0 0 20 0 1 0 141024951 126099456 28655 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 30786 28655 544 696 0 29947 0
Current children cumulated CPU time: 3305.5 s
Current children cumulated vsize: 1338280 KiB
Current children cumulated memory: 182684 KiB
[startup+3318.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 111445
/proc/meminfo: memFree=106233712/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=65120 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 16280 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 16280 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=123144 memory=114620 CPUtime=3300.33 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 181654 0 0 0 329968 65 0 0 20 0 1 0 141024951 126099456 28655 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 30786 28655 544 696 0 29947 0
Current children cumulated CPU time: 3308.69 s
Current children cumulated vsize: 1338280 KiB
Current children cumulated memory: 182684 KiB
[startup+3321.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 111446
/proc/meminfo: memFree=106230068/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=65120 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 16280 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 16280 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=123144 memory=114620 CPUtime=3303.52 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 181654 0 0 0 330287 65 0 0 20 0 1 0 141024951 126099456 28655 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 30786 28655 544 696 0 29947 0
Current children cumulated CPU time: 3311.88 s
Current children cumulated vsize: 1338280 KiB
Current children cumulated memory: 182684 KiB
[startup+3323.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 111446
/proc/meminfo: memFree=106230100/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=65120 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 16280 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 16280 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=123144 memory=114620 CPUtime=3305.11 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 181654 0 0 0 330446 65 0 0 20 0 1 0 141024951 126099456 28655 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 30786 28655 544 696 0 29947 0
Current children cumulated CPU time: 3313.47 s
Current children cumulated vsize: 1338280 KiB
Current children cumulated memory: 182684 KiB
[startup+3323.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 111446
/proc/meminfo: memFree=106230100/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
[pid=110217] ppid=110211 vsize=1210944 memory=65120 CPUtime=8.36 cores=4,6
/proc/110217/stat : 110217 (python3) S 110211 110211 109737 0 -1 4194304 8861 0 0 0 833 3 0 0 20 0 1 0 141024110 1240006656 16280 18446744073709551615 94196485824512 94196485824889 140723334291200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94196485836184 94196485836804 94196515819520 140723334293839 140723334294048 140723334294048 140723334299623 0
/proc/110217/statm: 302736 16280 8192 1 0 274094 0
[pid=110220] ppid=110217 vsize=123144 memory=114620 CPUtime=3305.51 cores=4,6
/proc/110220/stat : 110220 (naps-1.03a6) R 110217 110220 110220 0 -1 4194304 181654 0 0 0 330486 65 0 0 20 0 1 0 141024951 126099456 28655 18446744073709551615 4198400 7047149 140736155792672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29970432 140736155801983 140736155802097 140736155802097 140736155807689 0
/proc/110220/statm: 30786 28655 544 696 0 29947 0
Current children cumulated CPU time: 3313.87 s
Current children cumulated vsize: 1338280 KiB
Current children cumulated memory: 182684 KiB
[startup+3324 s]*
/proc/loadavg: 4.07 4.08 4.09 5/268 111446
/proc/meminfo: memFree=106340692/131250000 swapFree=33010672/33010684
[pid=110211] ppid=110205 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/110211/stat : 110211 (scip-naps-1.00a) S 110205 110211 109737 0 -1 4194304 259 321 0 0 0 0 0 0 20 0 1 0 141024107 4292608 736 18446744073709551615 94765748035584 94765748930117 140720822104112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94765749169168 94765749216912 94765777371136 140720822106523 140720822106622 140720822106622 140720822112226 0
/proc/110211/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 3324.01
CPU time (s): 3314.29
CPU user time (s): 3313.6
CPU system time (s): 0.697369
CPU usage (%): 99.7078
Max. virtual memory (cumulated for all children) (KiB): 1403820
Max. memory (cumulated for all children) (KiB): 219104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3313.6
system time used= 0.697369
maximum resident set size= 151040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193787
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= 369
involuntary context switches= 2239
# summary of solver processes directly reported to runsolver:
# pid: 110211
# total CPU time (s): 3314.29
# total CPU user time (s): 3313.6
# total CPU system time (s): 0.697369
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74093 second user time and 15.58 second system time
The end