0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869480-1245174109.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/190 (53.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 8 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 190 variables (190 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.04 c OPT-LIN
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = c 1620
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = c 1791
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = c 10000
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving problem
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 133 | 611k| 0 | 8 | 190 | 8 | 8 | 190 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.0s| 1 | 0 | 204 | 728k| 0 | 11 | 190 | 8 | 8 | 190 | 15 | 7 | 0 | 0 | 1.818989e-12 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 213 | 800k| 0 | 13 | 190 | 8 | 8 | 190 | 20 | 12 | 0 | 0 | 1.818989e-12 | -- | Inf
0.00/0.10 c 0.1s| 1 | 0 | 223 | 850k| 0 | 16 | 190 | 8 | 8 | 190 | 22 | 14 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 233 | 862k| 0 | 17 | 190 | 8 | 8 | 190 | 24 | 16 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 236 | 868k| 0 | 19 | 190 | 8 | 8 | 190 | 25 | 17 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 245 | 874k| 0 | 19 | 190 | 8 | 8 | 190 | 26 | 18 | 0 | 0 | 1.818989e-12 | -- | Inf
0.19/0.26 c 0.2s| 1 | 2 | 245 | 874k| 0 | 19 | 190 | 8 | 8 | 190 | 26 | 18 | 0 | 19 | 1.818989e-12 | -- | Inf
0.39/0.48 o 1045
0.39/0.48 c c 0.4s| 58 | 58 | 515 | 945k| 57 | - | 190 | 8 | 3 | 190 | 19 | 18 | 0 | 390 | 1.818989e-12 | 1.045000e+03 | Inf
0.49/0.55 o 546
0.49/0.55 c p 0.5s| 90 | 77 | 647 | 958k| 62 | - | 190 | 8 | 4 | 190 | 19 | 18 | 0 | 515 | 1.818989e-12 | 5.460000e+02 | Inf
0.79/0.85 o 545
0.79/0.85 c * 0.8s| 302 | 287 | 1963 |1073k| 62 | - | 190 | 8 | 0 | 190 | 19 | 18 | 2 | 809 | 1.818989e-12 | 5.450000e+02 | Inf
0.89/0.96 o 543
0.89/0.96 c * 0.9s| 419 | 402 | 2653 |1145k| 62 | - | 190 | 8 | 0 | 190 | 19 | 18 | 5 | 853 | 1.818989e-12 | 5.430000e+02 | Inf
1.79/1.81 o 482
1.79/1.81 c p 1.7s| 1148 | 1121 | 7797 |1457k| 62 | - | 190 | 8 | 3 | 190 | 19 | 18 | 23 | 872 | 1.818989e-12 | 4.820000e+02 | Inf
2.99/3.03 o 281
2.99/3.03 c f 2.8s| 2541 | 2459 | 17890 |1967k| 66 | - | 190 | 8 | 4 | 190 | 19 | 18 | 75 | 894 | 1.818989e-12 | 2.810000e+02 | Inf
3.89/3.94 o 172
3.89/3.94 c g 3.7s| 3499 | 3278 | 25168 |2309k| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 108 | 900 | 1.818989e-12 | 1.720000e+02 | Inf
7.79/7.86 o 171
7.79/7.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.79/7.86 c l 7.4s| 7119 | 6871 | 54281 |3835k| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 250 | 940 | 1.818989e-12 | 1.710000e+02 | Inf
9.69/9.73 o 169
9.69/9.73 c f 9.2s| 8723 | 8458 | 67886 |4538k| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 334 |1002 | 1.818989e-12 | 1.690000e+02 | Inf
9.69/9.74 o 167
9.69/9.74 c l 9.2s| 8723 | 8450 | 67887 |4540k| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 336 |1002 | 1.818989e-12 | 1.670000e+02 | Inf
11.09/11.17 c 10.5s| 10000 | 9727 | 78298 |5073k| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 388 |1044 | 1.818989e-12 | 1.670000e+02 | Inf
13.58/13.61 o 165
13.58/13.61 c l12.8s| 12374 | 12074 | 96482 |6102k| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 470 |1154 | 1.818989e-12 | 1.650000e+02 | Inf
17.79/17.83 o 163
17.79/17.83 c l16.8s| 17019 | 16672 |129129 |8166k| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 562 |1410 | 1.818989e-12 | 1.630000e+02 | Inf
18.58/18.65 o 88
18.58/18.65 c g17.6s| 17844 | 16583 |135339 |8079k| 66 | - | 190 | 8 | 3 | 190 | 19 | 18 | 575 |1435 | 1.818989e-12 | 8.800000e+01 | Inf
20.78/20.85 c 19.7s| 20000 | 18511 |151050 |9069k| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 646 |1611 | 1.818989e-12 | 8.800000e+01 | Inf
29.48/29.57 c 27.9s| 30000 | 26919 |215982 | 13M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 933 |2228 | 1.818989e-12 | 8.800000e+01 | Inf
30.48/30.51 o 87
30.48/30.51 c *28.8s| 31025 | 27750 |222433 | 14M| 66 | - | 190 | 9 | 0 | 190 | 19 | 18 | 971 |2309 | 1.818989e-12 | 8.700000e+01 | Inf
33.58/33.66 o 86
33.58/33.66 c *31.8s| 34682 | 30696 |245275 | 16M| 66 | - | 190 | 9 | 0 | 190 | 19 | 18 |1088 |2504 | 1.818989e-12 | 8.600000e+01 | Inf
38.28/38.31 c 36.2s| 40000 | 35045 |280007 | 18M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |1246 |2765 | 1.818989e-12 | 8.600000e+01 | Inf
41.98/42.03 o 85
41.98/42.03 c l39.7s| 44423 | 38465 |307648 | 20M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |1393 |2993 | 1.818989e-12 | 8.500000e+01 | Inf
42.38/42.47 o 83
42.38/42.47 c *40.1s| 44853 | 38702 |310724 | 21M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |1408 |3028 | 1.818989e-12 | 8.300000e+01 | Inf
44.67/44.71 o 81
44.67/44.71 c *42.3s| 47303 | 40450 |327414 | 22M| 66 | - | 190 | 9 | 0 | 190 | 19 | 18 |1498 |3134 | 1.818989e-12 | 8.100000e+01 | Inf
46.97/47.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.97/47.02 c 44.4s| 50000 | 42507 |344840 | 23M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 |1588 |3228 | 1.818989e-12 | 8.100000e+01 | Inf
47.58/47.63 o 79
47.58/47.63 c *45.0s| 50717 | 42874 |349367 | 23M| 66 | - | 190 | 9 | 0 | 190 | 19 | 18 |1606 |3249 | 1.818989e-12 | 7.900000e+01 | Inf
48.77/48.85 o 78
48.77/48.85 c c46.2s| 52052 | 43697 |358681 | 24M| 66 | - | 190 | 9 | 1 | 190 | 19 | 18 |1676 |3325 | 1.818989e-12 | 7.800000e+01 | Inf
50.17/50.25 o 76
50.17/50.25 c *47.5s| 53345 | 44352 |368451 | 24M| 66 | - | 190 | 9 | 0 | 190 | 19 | 18 |1733 |3395 | 1.818989e-12 | 7.600000e+01 | Inf
50.17/50.26 o 74
50.17/50.26 c *47.5s| 53346 | 44072 |368452 | 24M| 66 | - | 190 | 9 | 0 | 190 | 19 | 18 |1733 |3397 | 1.818989e-12 | 7.400000e+01 | Inf
58.77/58.80 c 55.5s| 60000 | 48821 |412782 | 27M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |2023 |3651 | 1.818989e-12 | 7.400000e+01 | Inf
64.67/64.72 o 72
64.67/64.72 c *61.2s| 67125 | 53689 |456917 | 30M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |2273 |3902 | 1.818989e-12 | 7.200000e+01 | Inf
64.67/64.73 o 70
64.67/64.73 c *61.2s| 67127 | 53343 |456922 | 30M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |2273 |3911 | 1.818989e-12 | 7.000000e+01 | Inf
64.67/64.73 o 68
64.67/64.73 c *61.2s| 67129 | 52991 |456925 | 29M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |2273 |3915 | 1.818989e-12 | 6.800000e+01 | Inf
64.67/64.74 o 66
64.67/64.74 c *61.2s| 67130 | 52625 |456927 | 29M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |2273 |3915 | 1.818989e-12 | 6.600000e+01 | Inf
69.37/69.46 c 65.6s| 70000 | 54528 |474472 | 30M| 66 | - | 190 | 8 | 8 | 0 | 0 | 18 |2375 |4003 | 1.818989e-12 | 6.600000e+01 | Inf
73.36/73.45 o 64
73.36/73.45 c *69.4s| 74858 | 57210 |504027 | 32M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |2495 |4178 | 1.818989e-12 | 6.400000e+01 | Inf
77.46/77.54 o 62
77.46/77.54 c *73.3s| 79723 | 60154 |536517 | 34M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |2666 |4355 | 1.818989e-12 | 6.200000e+01 | Inf
77.46/77.55 o 60
77.46/77.55 c *73.3s| 79724 | 59700 |536518 | 33M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |2666 |4355 | 1.818989e-12 | 6.000000e+01 | Inf
77.66/77.77 c 73.5s| 80000 | 59892 |538040 | 33M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |2675 |4367 | 1.818989e-12 | 6.000000e+01 | Inf
85.77/85.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.77/85.85 c 81.1s| 90000 | 67377 |601072 | 38M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |2950 |4671 | 1.818989e-12 | 6.000000e+01 | Inf
93.66/93.79 c 88.7s|100000 | 74831 |661856 | 42M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |3241 |4965 | 1.818989e-12 | 6.000000e+01 | Inf
101.76/101.86 c 96.3s|110000 | 81732 |725126 | 47M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 |3610 |5252 | 1.818989e-12 | 6.000000e+01 | Inf
109.95/110.09 c 104s|120000 | 88247 |791121 | 52M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |3995 |5553 | 1.818989e-12 | 6.000000e+01 | Inf
118.35/118.40 c 112s|130000 | 95023 |857595 | 57M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |4356 |5810 | 1.818989e-12 | 6.000000e+01 | Inf
126.25/126.30 c 120s|140000 |102242 |919095 | 61M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |4684 |6049 | 1.818989e-12 | 6.000000e+01 | Inf
134.44/134.52 c 127s|150000 |109073 |983202 | 66M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 |5038 |6271 | 1.818989e-12 | 6.000000e+01 | Inf
140.45/140.56 o 59
140.45/140.56 c p 133s|157523 |114259 | 1030k| 68M| 66 | - | 190 | 13 | 0 | 190 | 19 | 18 |5262 |6443 | 1.818989e-12 | 5.900000e+01 | Inf
142.75/142.89 c 135s|160000 |115978 | 1048k| 70M| 66 | 8 | 190 | 13 | 8 | 190 | 19 | 18 |5390 |6490 | 1.818989e-12 | 5.900000e+01 | Inf
151.14/151.21 c 143s|170000 |122556 | 1113k| 74M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 |5808 |6726 | 1.818989e-12 | 5.900000e+01 | Inf
159.54/159.62 c 151s|180000 |129071 | 1180k| 78M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |6265 |6930 | 1.818989e-12 | 5.900000e+01 | Inf
162.14/162.26 o 57
162.14/162.26 c * 154s|183315 |130271 | 1200k| 78M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |6359 |7007 | 1.818989e-12 | 5.700000e+01 | Inf
167.43/167.55 c 159s|190000 |134236 | 1241k| 81M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |6666 |7128 | 1.818989e-12 | 5.700000e+01 | Inf
169.13/169.22 o 55
169.13/169.22 c * 160s|191998 |134166 | 1254k| 80M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |6749 |7186 | 1.818989e-12 | 5.500000e+01 | Inf
169.13/169.24 o 53
169.13/169.24 c * 160s|192000 |132594 | 1254k| 78M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |6749 |7190 | 1.818989e-12 | 5.300000e+01 | Inf
169.13/169.25 o 51
169.13/169.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.13/169.25 c * 160s|192001 |130846 | 1254k| 76M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |6749 |7192 | 1.818989e-12 | 5.100000e+01 | Inf
172.93/173.01 o 49
172.93/173.01 c * 164s|196872 |131607 | 1283k| 76M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |6922 |7281 | 1.818989e-12 | 4.900000e+01 | Inf
178.73/178.82 o 47
178.73/178.82 c * 169s|199217 |130181 | 1298k| 75M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |7031 |7355 | 1.818989e-12 | 4.700000e+01 | Inf
179.34/179.45 c 170s|200000 |130639 | 1303k| 75M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |7058 |7366 | 1.818989e-12 | 4.700000e+01 | Inf
187.04/187.11 c 177s|210000 |135839 | 1362k| 79M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 |7398 |7562 | 1.818989e-12 | 4.700000e+01 | Inf
196.93/197.07 o 45
196.93/197.07 c * 186s|219842 |139342 | 1421k| 81M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |7735 |7736 | 1.818989e-12 | 4.500000e+01 | Inf
196.93/197.08 o 43
196.93/197.08 c * 186s|219843 |137286 | 1421k| 79M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 |7735 |7736 | 1.818989e-12 | 4.300000e+01 | Inf
197.02/197.18 c 187s|220000 |137349 | 1422k| 79M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |7740 |7748 | 1.818989e-12 | 4.300000e+01 | Inf
206.22/206.33 c 195s|230000 |142400 | 1481k| 83M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 |8055 |7921 | 1.818989e-12 | 4.300000e+01 | Inf
213.72/213.88 c 202s|240000 |147309 | 1540k| 87M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |8342 |8133 | 1.818989e-12 | 4.300000e+01 | Inf
221.32/221.49 c 210s|250000 |152334 | 1598k| 90M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 |8676 |8301 | 1.818989e-12 | 4.300000e+01 | Inf
228.72/228.83 c 217s|260000 |157066 | 1656k| 94M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |8967 |8458 | 1.818989e-12 | 4.300000e+01 | Inf
236.31/236.42 c 224s|270000 |162140 | 1714k| 98M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |9226 |8644 | 1.818989e-12 | 4.300000e+01 | Inf
243.51/243.68 c 231s|280000 |167031 | 1771k| 102M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 |9500 |8789 | 1.818989e-12 | 4.300000e+01 | Inf
250.81/250.93 c 238s|290000 |171713 | 1828k| 106M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 |9797 |8981 | 1.818989e-12 | 4.300000e+01 | Inf
258.61/258.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.61/258.72 c 245s|300000 |176916 | 1887k| 109M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 10k|9104 | 1.818989e-12 | 4.300000e+01 | Inf
265.90/266.04 c 252s|310000 |182135 | 1943k| 113M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 10k|9260 | 1.818989e-12 | 4.300000e+01 | Inf
273.20/273.38 c 259s|320000 |186850 | 2000k| 117M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 10k|9418 | 1.818989e-12 | 4.300000e+01 | Inf
280.69/280.90 c 266s|330000 |192049 | 2057k| 121M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 10k|9544 | 1.818989e-12 | 4.300000e+01 | Inf
288.30/288.46 c 273s|340000 |197272 | 2114k| 124M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 11k|9670 | 1.818989e-12 | 4.300000e+01 | Inf
295.59/295.75 c 280s|350000 |202149 | 2170k| 128M| 66 | - | 190 | 11 | 8 | 190 | 19 | 18 | 11k|9824 | 1.818989e-12 | 4.300000e+01 | Inf
302.79/303.00 c 287s|360000 |206771 | 2226k| 132M| 66 | - | 190 | 10 | 8 | 190 | 19 | 18 | 11k|9976 | 1.818989e-12 | 4.300000e+01 | Inf
303.28/303.48 o 41
303.28/303.48 c * 287s|360549 |204533 | 2229k| 129M| 66 | - | 190 | 10 | 0 | 190 | 19 | 18 | 11k|9984 | 1.818989e-12 | 4.100000e+01 | Inf
314.09/314.29 c 297s|370000 |208770 | 2281k| 132M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 11k| 10k| 1.818989e-12 | 4.100000e+01 | Inf
321.58/321.74 c 305s|380000 |213665 | 2338k| 136M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 12k| 10k| 1.818989e-12 | 4.100000e+01 | Inf
328.47/328.66 c 311s|390000 |218197 | 2392k| 139M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 12k| 10k| 1.818989e-12 | 4.100000e+01 | Inf
335.87/336.00 c 318s|400000 |222879 | 2449k| 143M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 12k| 10k| 1.818989e-12 | 4.100000e+01 | Inf
343.28/343.42 c 325s|410000 |227729 | 2506k| 147M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 12k| 10k| 1.818989e-12 | 4.100000e+01 | Inf
350.57/350.74 c 332s|420000 |232564 | 2562k| 151M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 13k| 10k| 1.818989e-12 | 4.100000e+01 | Inf
358.17/358.33 c 339s|430000 |237952 | 2618k| 154M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 13k| 10k| 1.818989e-12 | 4.100000e+01 | Inf
365.17/365.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.17/365.39 c 346s|440000 |242383 | 2674k| 158M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 13k| 11k| 1.818989e-12 | 4.100000e+01 | Inf
365.47/365.62 o 40
365.47/365.62 c * 346s|440288 |241052 | 2676k| 156M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 13k| 11k| 1.818989e-12 | 4.000000e+01 | Inf
365.76/365.92 o 38
365.76/365.92 c * 346s|440711 |237816 | 2678k| 152M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 13k| 11k| 1.818989e-12 | 3.800000e+01 | Inf
369.47/369.63 o 36
369.47/369.63 c * 350s|445946 |236633 | 2706k| 150M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 13k| 11k| 1.818989e-12 | 3.600000e+01 | Inf
369.47/369.65 o 34
369.47/369.65 c * 350s|445950 |232720 | 2706k| 146M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 13k| 11k| 1.818989e-12 | 3.400000e+01 | Inf
369.47/369.70 o 32
369.47/369.70 c * 350s|445952 |220672 | 2706k| 136M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 13k| 11k| 1.818989e-12 | 3.200000e+01 | Inf
369.57/369.72 o 30
369.57/369.72 c * 350s|445953 |216655 | 2706k| 132M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 13k| 11k| 1.818989e-12 | 3.000000e+01 | Inf
373.87/374.08 c 354s|450000 |218282 | 2729k| 133M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 13k| 11k| 1.818989e-12 | 3.000000e+01 | Inf
380.86/381.01 c 361s|460000 |222440 | 2786k| 136M| 66 | 8 | 190 | 10 | 9 | 190 | 19 | 18 | 14k| 11k| 1.818989e-12 | 3.000000e+01 | Inf
387.46/387.67 c 367s|470000 |226241 | 2842k| 139M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 14k| 11k| 1.818989e-12 | 3.000000e+01 | Inf
390.26/390.49 o 29
390.26/390.49 c p 370s|474143 |225591 | 2865k| 138M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 14k| 11k| 1.818989e-12 | 2.900000e+01 | Inf
394.55/394.71 c 374s|480000 |228291 | 2899k| 140M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 14k| 11k| 1.818989e-12 | 2.900000e+01 | Inf
403.16/403.36 c 382s|490000 |232668 | 2954k| 143M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 14k| 11k| 1.818989e-12 | 2.900000e+01 | Inf
409.65/409.89 c 388s|500000 |236294 | 3009k| 145M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 15k| 11k| 1.818989e-12 | 2.900000e+01 | Inf
416.95/417.14 c 395s|510000 |241243 | 3065k| 148M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 15k| 11k| 1.818989e-12 | 2.900000e+01 | Inf
423.85/424.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.85/424.05 c 401s|520000 |246115 | 3120k| 151M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 15k| 12k| 1.818989e-12 | 2.900000e+01 | Inf
430.05/430.25 o 28
430.05/430.25 c * 407s|529021 |247923 | 3171k| 151M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 15k| 12k| 1.818989e-12 | 2.800000e+01 | Inf
430.05/430.28 o 26
430.05/430.28 c * 407s|529022 |242894 | 3171k| 146M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 15k| 12k| 1.818989e-12 | 2.600000e+01 | Inf
430.74/430.94 c 408s|530000 |243270 | 3176k| 146M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 15k| 12k| 1.818989e-12 | 2.600000e+01 | Inf
441.74/441.96 c 418s|540000 |247412 | 3228k| 149M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 15k| 12k| 1.818989e-12 | 2.600000e+01 | Inf
448.54/448.71 c 425s|550000 |251473 | 3282k| 152M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 16k| 12k| 1.818989e-12 | 2.600000e+01 | Inf
455.03/455.29 c 431s|560000 |255120 | 3335k| 154M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 16k| 12k| 1.818989e-12 | 2.600000e+01 | Inf
461.23/461.44 c 437s|570000 |258115 | 3386k| 157M| 66 | - | 190 | 9 | 8 | 0 | 0 | 18 | 16k| 12k| 1.818989e-12 | 2.600000e+01 | Inf
467.53/467.73 c 442s|580000 |261297 | 3440k| 159M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 16k| 12k| 1.818989e-12 | 2.600000e+01 | Inf
473.52/473.77 c 448s|590000 |263967 | 3490k| 162M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 16k| 12k| 1.818989e-12 | 2.600000e+01 | Inf
479.53/479.75 c 454s|600000 |266424 | 3541k| 164M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 17k| 12k| 1.818989e-12 | 2.600000e+01 | Inf
480.93/481.14 o 25
480.93/481.14 c * 455s|602307 |264277 | 3552k| 162M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 17k| 13k| 1.818989e-12 | 2.500000e+01 | Inf
486.62/486.86 c 461s|610000 |266110 | 3590k| 163M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 17k| 13k| 1.818989e-12 | 2.500000e+01 | Inf
492.62/492.86 c 466s|620000 |268812 | 3639k| 166M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 17k| 13k| 1.818989e-12 | 2.500000e+01 | Inf
498.52/498.72 c 472s|630000 |271240 | 3687k| 168M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 17k| 13k| 1.818989e-12 | 2.500000e+01 | Inf
504.52/504.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.52/504.71 c 478s|640000 |273854 | 3738k| 170M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 17k| 13k| 1.818989e-12 | 2.500000e+01 | Inf
510.42/510.67 c 483s|650000 |276294 | 3787k| 172M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 17k| 13k| 1.818989e-12 | 2.500000e+01 | Inf
516.51/516.77 c 489s|660000 |278985 | 3837k| 174M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 17k| 13k| 1.818989e-12 | 2.500000e+01 | Inf
522.61/522.81 c 495s|670000 |281487 | 3887k| 176M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 18k| 13k| 1.818989e-12 | 2.500000e+01 | Inf
528.70/528.90 c 500s|680000 |284279 | 3937k| 179M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 18k| 13k| 1.818989e-12 | 2.500000e+01 | Inf
534.71/534.92 c 506s|690000 |286781 | 3987k| 181M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 18k| 13k| 1.818989e-12 | 2.500000e+01 | Inf
540.61/540.85 c 512s|700000 |289005 | 4036k| 183M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 18k| 14k| 1.818989e-12 | 2.500000e+01 | Inf
546.51/546.78 c 517s|710000 |291496 | 4086k| 185M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 18k| 14k| 1.818989e-12 | 2.500000e+01 | Inf
552.50/552.72 c 523s|720000 |293765 | 4135k| 187M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 18k| 14k| 1.818989e-12 | 2.500000e+01 | Inf
558.40/558.69 c 529s|730000 |296238 | 4184k| 189M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 18k| 14k| 1.818989e-12 | 2.500000e+01 | Inf
564.40/564.70 c 534s|740000 |299027 | 4235k| 192M| 66 | - | 190 | 8 | 8 | 0 | 0 | 18 | 19k| 14k| 1.818989e-12 | 2.500000e+01 | Inf
570.39/570.67 c 540s|750000 |301517 | 4284k| 194M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 19k| 14k| 1.818989e-12 | 2.500000e+01 | Inf
576.39/576.69 c 546s|760000 |304205 | 4334k| 196M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 19k| 14k| 1.818989e-12 | 2.500000e+01 | Inf
582.29/582.56 c 551s|770000 |306581 | 4383k| 198M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 19k| 14k| 1.818989e-12 | 2.500000e+01 | Inf
588.18/588.42 c 557s|780000 |308908 | 4431k| 200M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 19k| 14k| 1.818989e-12 | 2.500000e+01 | Inf
594.38/594.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.38/594.69 c 563s|790000 |312202 | 4482k| 203M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 19k| 14k| 1.818989e-12 | 2.500000e+01 | Inf
600.48/600.73 c 569s|800000 |315258 | 4532k| 205M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 19k| 15k| 1.818989e-12 | 2.500000e+01 | Inf
606.49/606.70 c 574s|810000 |317548 | 4583k| 207M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 20k| 15k| 1.818989e-12 | 2.500000e+01 | Inf
612.28/612.59 c 580s|820000 |319939 | 4631k| 209M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 20k| 15k| 1.818989e-12 | 2.500000e+01 | Inf
618.68/618.96 c 586s|830000 |322789 | 4684k| 211M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 20k| 15k| 1.818989e-12 | 2.500000e+01 | Inf
624.58/624.89 c 591s|840000 |325186 | 4735k| 213M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 20k| 15k| 1.818989e-12 | 2.500000e+01 | Inf
630.47/630.79 c 597s|850000 |327385 | 4785k| 215M| 66 | - | 190 | 8 | 8 | 0 | 0 | 18 | 20k| 15k| 1.818989e-12 | 2.500000e+01 | Inf
636.47/636.70 c 603s|860000 |329566 | 4834k| 217M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 20k| 15k| 1.818989e-12 | 2.500000e+01 | Inf
642.37/642.64 c 608s|870000 |331786 | 4884k| 220M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 20k| 15k| 1.818989e-12 | 2.500000e+01 | Inf
648.27/648.58 c 614s|880000 |333807 | 4935k| 222M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 20k| 15k| 1.818989e-12 | 2.500000e+01 | Inf
654.17/654.45 c 620s|890000 |335621 | 4984k| 223M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 21k| 15k| 1.818989e-12 | 2.500000e+01 | Inf
659.96/660.24 c 625s|900000 |337653 | 5032k| 225M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 21k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
665.76/666.00 c 630s|910000 |339762 | 5081k| 227M| 66 | - | 190 | 9 | 8 | 0 | 0 | 18 | 21k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
671.66/671.96 c 636s|920000 |342406 | 5131k| 229M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 21k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
677.56/677.85 c 642s|930000 |344419 | 5180k| 231M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 21k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
683.36/683.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.36/683.64 c 647s|940000 |346261 | 5231k| 233M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 21k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
689.15/689.42 c 653s|950000 |348087 | 5280k| 235M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 21k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
694.95/695.25 c 658s|960000 |349933 | 5329k| 237M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 21k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
700.75/701.08 c 664s|970000 |351741 | 5378k| 239M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 21k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
706.75/707.01 c 669s|980000 |354370 | 5427k| 241M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 22k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
712.65/712.99 c 675s|990000 |356635 | 5479k| 243M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 22k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
718.44/718.75 c 680s| 1000k|358192 | 5528k| 244M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 22k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
724.24/724.52 c 686s| 1010k|359815 | 5576k| 246M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 22k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
730.24/730.52 c 692s| 1020k|362435 | 5626k| 248M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 22k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
736.23/736.51 c 697s| 1030k|364811 | 5677k| 250M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 22k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
742.03/742.34 c 703s| 1040k|366532 | 5726k| 252M| 66 | - | 190 | 8 | 9 | 0 | 0 | 18 | 22k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
748.13/748.45 c 709s| 1050k|369062 | 5777k| 254M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 23k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
754.63/755.00 c 715s| 1060k|372555 | 5829k| 257M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 23k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
760.93/761.21 c 721s| 1070k|376153 | 5880k| 259M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 23k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
768.03/768.35 c 727s| 1080k|380529 | 5935k| 262M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 23k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
774.93/775.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
774.93/775.25 c 734s| 1090k|384704 | 5989k| 265M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 23k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
781.62/781.99 c 740s| 1100k|388866 | 6042k| 267M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 23k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
788.32/788.65 c 747s| 1110k|392590 | 6096k| 270M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 24k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
795.22/795.50 c 753s| 1120k|396448 | 6150k| 273M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 24k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
801.81/802.18 c 760s| 1130k|400516 | 6203k| 275M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 24k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
808.51/808.89 c 766s| 1140k|404540 | 6257k| 278M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 24k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
815.51/815.83 c 772s| 1150k|408874 | 6310k| 281M| 66 | 8 | 190 | 10 | 9 | 190 | 19 | 18 | 24k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
821.81/822.18 c 778s| 1160k|412309 | 6362k| 283M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 25k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
828.21/828.51 c 784s| 1170k|415689 | 6413k| 286M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 25k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
834.61/835.00 c 791s| 1180k|419294 | 6465k| 288M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 25k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
841.21/841.58 c 797s| 1190k|423099 | 6518k| 291M| 66 | - | 190 | 10 | 8 | 190 | 19 | 18 | 25k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
847.50/847.84 c 803s| 1200k|426408 | 6570k| 293M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 25k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
853.90/854.22 c 809s| 1210k|429960 | 6621k| 296M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 25k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
860.60/860.92 c 815s| 1220k|433801 | 6674k| 298M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 26k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
866.60/866.97 c 821s| 1230k|436656 | 6724k| 300M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 26k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
873.49/873.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
873.49/873.87 c 828s| 1240k|440577 | 6779k| 303M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 26k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
880.18/880.54 c 834s| 1250k|444459 | 6832k| 306M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 26k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
887.18/887.53 c 841s| 1260k|448506 | 6889k| 308M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 26k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
893.98/894.36 c 847s| 1270k|452262 | 6945k| 311M| 66 | - | 190 | 8 | 7 | 0 | 0 | 18 | 26k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
900.28/900.68 c 853s| 1280k|455588 | 6997k| 314M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 26k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
906.57/906.94 c 859s| 1290k|458924 | 7049k| 316M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 27k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
913.58/913.93 c 866s| 1300k|462756 | 7104k| 319M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 27k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
920.48/920.89 c 872s| 1310k|467199 | 7159k| 322M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 27k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
927.27/927.61 c 879s| 1320k|471548 | 7213k| 324M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 27k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
933.77/934.17 c 885s| 1330k|475341 | 7266k| 327M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 27k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
939.97/940.34 c 891s| 1340k|478372 | 7317k| 329M| 66 | - | 190 | 9 | 9 | 0 | 0 | 18 | 27k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
946.26/946.68 c 897s| 1350k|481851 | 7369k| 332M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 28k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
952.76/953.12 c 903s| 1360k|485137 | 7421k| 334M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 28k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
959.46/959.81 c 909s| 1370k|489332 | 7473k| 337M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 28k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
965.56/965.94 c 915s| 1380k|492275 | 7524k| 339M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 28k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
971.86/972.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
971.86/972.21 c 921s| 1390k|495514 | 7574k| 342M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 28k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
978.25/978.62 c 927s| 1400k|498848 | 7627k| 344M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 28k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
984.45/984.84 c 933s| 1410k|502149 | 7679k| 347M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 29k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
990.45/990.89 c 939s| 1420k|504880 | 7729k| 349M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 29k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
996.74/997.15 c 945s| 1430k|508109 | 7781k| 352M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 29k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1003.35/1003.70 c 951s| 1440k|511887 | 7835k| 354M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 29k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1009.85/1010.25 c 957s| 1450k|515521 | 7888k| 357M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 29k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1016.34/1016.72 c 963s| 1460k|519048 | 7940k| 359M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 29k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1022.54/1022.99 c 969s| 1470k|522385 | 7991k| 362M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 30k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1028.63/1029.03 c 975s| 1480k|525114 | 8041k| 364M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 30k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1034.74/1035.13 c 981s| 1490k|527862 | 8091k| 366M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 30k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1040.74/1041.12 c 986s| 1500k|530518 | 8141k| 368M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 30k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1046.73/1047.19 c 992s| 1510k|533539 | 8192k| 371M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 30k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1053.03/1053.44 c 998s| 1520k|536470 | 8243k| 373M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 30k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1058.93/1059.37 c 1004s| 1530k|539015 | 8294k| 375M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 30k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1065.02/1065.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.02/1065.46 c 1009s| 1540k|541866 | 8344k| 377M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 31k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1071.13/1071.50 c 1015s| 1550k|544639 | 8394k| 380M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 31k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1077.12/1077.56 c 1021s| 1560k|547256 | 8443k| 382M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 31k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1083.22/1083.62 c 1027s| 1570k|550179 | 8493k| 384M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 31k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1089.22/1089.68 c 1032s| 1580k|552678 | 8545k| 386M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 31k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1095.32/1095.70 c 1038s| 1590k|555310 | 8595k| 388M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 31k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1101.31/1101.79 c 1044s| 1600k|558137 | 8645k| 390M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 32k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1107.21/1107.68 c 1049s| 1610k|560682 | 8695k| 393M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 32k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1113.51/1113.91 c 1055s| 1620k|563503 | 8746k| 395M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 32k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1119.51/1119.93 c 1061s| 1630k|566163 | 8797k| 397M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 32k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1125.41/1125.89 c 1067s| 1640k|568582 | 8847k| 399M| 66 | - | 190 | 8 | 8 | 0 | 0 | 18 | 32k| 22k| 1.818989e-12 | 2.500000e+01 | Inf
1131.51/1131.92 c 1072s| 1650k|571101 | 8898k| 401M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 32k| 22k| 1.818989e-12 | 2.500000e+01 | Inf
1134.80/1135.27 o 23
1134.80/1135.27 c *1076s| 1655k|564903 | 8926k| 392M| 66 | - | 190 | 9 | 0 | 190 | 19 | 18 | 32k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1134.91/1135.34 o 21
1134.91/1135.34 c *1076s| 1655k|555726 | 8926k| 380M| 66 | - | 190 | 9 | 0 | 190 | 19 | 18 | 32k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1139.50/1139.99 c 1080s| 1660k|556791 | 8947k| 381M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 32k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1145.60/1146.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.60/1146.05 c 1086s| 1670k|559982 | 8995k| 383M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 33k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1151.39/1151.81 c 1091s| 1680k|563109 | 9040k| 385M| 66 | - | 190 | 9 | 9 | 0 | 0 | 18 | 33k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1157.08/1157.55 c 1097s| 1690k|565420 | 9087k| 387M| 66 | - | 190 | 8 | 7 | 190 | 19 | 18 | 33k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1162.88/1163.37 c 1102s| 1700k|567494 | 9135k| 389M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 33k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1168.68/1169.14 c 1108s| 1710k|569727 | 9182k| 391M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 33k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1174.49/1174.90 c 1113s| 1720k|571738 | 9228k| 392M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 33k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1180.18/1180.67 c 1119s| 1730k|574116 | 9275k| 394M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 33k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1186.17/1186.61 c 1124s| 1740k|577056 | 9323k| 397M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 33k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1191.97/1192.45 c 1130s| 1750k|579213 | 9372k| 398M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 34k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1197.97/1198.45 c 1135s| 1760k|581960 | 9419k| 400M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 34k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1203.87/1204.33 c 1141s| 1770k|584609 | 9466k| 403M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 34k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1209.67/1210.19 c 1147s| 1780k|586718 | 9515k| 404M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 34k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1215.47/1215.95 c 1152s| 1790k|588592 | 9562k| 406M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 34k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1221.16/1221.64 c 1157s| 1800k|590674 | 9608k| 408M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 34k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1227.06/1227.52 c 1163s| 1810k|593578 | 9656k| 410M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 34k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1232.96/1233.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.96/1233.43 c 1169s| 1820k|596215 | 9702k| 412M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 35k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1238.86/1239.30 c 1174s| 1830k|598676 | 9750k| 414M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 35k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1244.55/1245.06 c 1180s| 1840k|600606 | 9797k| 416M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 35k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1250.36/1250.87 c 1185s| 1850k|602769 | 9844k| 418M| 66 | 8 | 190 | 9 | 9 | 190 | 19 | 18 | 35k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1256.25/1256.71 c 1191s| 1860k|604758 | 9893k| 420M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 35k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1261.95/1262.48 c 1196s| 1870k|606927 | 9940k| 421M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 35k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1267.65/1268.12 c 1202s| 1880k|608739 | 9987k| 423M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 35k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1273.45/1273.98 c 1207s| 1890k|610926 | 10035k| 425M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 35k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1279.24/1279.70 c 1212s| 1900k|612788 | 10083k| 427M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 36k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1285.04/1285.50 c 1218s| 1910k|615030 | 10132k| 429M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 36k| 23k| 1.818989e-12 | 2.100000e+01 | Inf
1290.74/1291.23 c 1223s| 1920k|616606 | 10179k| 430M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 36k| 24k| 1.818989e-12 | 2.100000e+01 | Inf
1296.55/1297.07 c 1229s| 1930k|618554 | 10228k| 432M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 36k| 24k| 1.818989e-12 | 2.100000e+01 | Inf
1302.24/1302.80 c 1234s| 1940k|620379 | 10276k| 434M| 66 | 8 | 190 | 9 | 9 | 190 | 19 | 18 | 36k| 24k| 1.818989e-12 | 2.100000e+01 | Inf
1308.33/1308.80 c 1240s| 1950k|623156 | 10324k| 436M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 36k| 24k| 1.818989e-12 | 2.100000e+01 | Inf
1314.03/1314.58 c 1246s| 1960k|625297 | 10371k| 438M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 36k| 24k| 1.818989e-12 | 2.100000e+01 | Inf
1319.83/1320.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1319.83/1320.37 c 1251s| 1970k|627058 | 10419k| 439M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 36k| 24k| 1.818989e-12 | 2.100000e+01 | Inf
1325.43/1325.99 c 1256s| 1980k|628952 | 10466k| 441M| 66 | - | 190 | 8 | 9 | 0 | 0 | 18 | 37k| 24k| 1.818989e-12 | 2.100000e+01 | Inf
1327.42/1327.97 o 19
1327.42/1327.97 c *1258s| 1983k|618134 | 10481k| 426M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 37k| 24k| 1.818989e-12 | 1.900000e+01 | Inf
1327.52/1328.05 o 17
1327.52/1328.05 c *1258s| 1983k|603850 | 10481k| 408M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 37k| 24k| 1.818989e-12 | 1.700000e+01 | Inf
1327.72/1328.21 o 15
1327.72/1328.21 c *1258s| 1983k|584240 | 10481k| 386M| 66 | - | 190 | 8 | 0 | 190 | 19 | 18 | 37k| 24k| 1.818989e-12 | 1.500000e+01 | Inf
1331.53/1332.03 c 1262s| 1990k|585467 | 10513k| 387M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 37k| 24k| 1.818989e-12 | 1.500000e+01 | Inf
1337.13/1337.70 c 1267s| 2000k|587533 | 10560k| 388M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 37k| 24k| 1.818989e-12 | 1.500000e+01 | Inf
1344.73/1345.21 c 1275s| 2010k|589217 | 10607k| 389M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 37k| 24k| 1.818989e-12 | 1.500000e+01 | Inf
1350.22/1350.77 c 1280s| 2020k|591026 | 10654k| 390M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 37k| 24k| 1.818989e-12 | 1.500000e+01 | Inf
1355.92/1356.41 c 1285s| 2030k|592944 | 10702k| 392M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 37k| 25k| 1.818989e-12 | 1.500000e+01 | Inf
1361.61/1362.14 c 1291s| 2040k|595190 | 10751k| 393M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 37k| 25k| 1.818989e-12 | 1.500000e+01 | Inf
1367.11/1367.68 c 1296s| 2050k|596823 | 10799k| 395M| 66 | - | 190 | 11 | 10 | 190 | 19 | 18 | 37k| 25k| 1.818989e-12 | 1.500000e+01 | Inf
1372.72/1373.25 c 1301s| 2060k|598000 | 10846k| 396M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 37k| 25k| 1.818989e-12 | 1.500000e+01 | Inf
1378.31/1378.85 c 1306s| 2070k|599227 | 10894k| 397M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 38k| 25k| 1.818989e-12 | 1.500000e+01 | Inf
1383.81/1384.32 c 1312s| 2080k|601034 | 10940k| 398M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 38k| 25k| 1.818989e-12 | 1.500000e+01 | Inf
1389.80/1390.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.80/1390.34 c 1317s| 2090k|604321 | 10988k| 400M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 38k| 25k| 1.818989e-12 | 1.500000e+01 | Inf
1395.61/1396.14 c 1323s| 2100k|607019 | 11036k| 401M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 38k| 25k| 1.818989e-12 | 1.500000e+01 | Inf
1401.30/1401.84 c 1328s| 2110k|609324 | 11083k| 403M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 38k| 25k| 1.818989e-12 | 1.500000e+01 | Inf
1406.90/1407.46 c 1334s| 2120k|611441 | 11130k| 404M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 38k| 25k| 1.818989e-12 | 1.500000e+01 | Inf
1412.60/1413.13 c 1339s| 2130k|613313 | 11176k| 406M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 38k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1418.09/1418.66 c 1344s| 2140k|614981 | 11223k| 407M| 66 | - | 190 | 10 | 8 | 190 | 19 | 18 | 38k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1423.59/1424.18 c 1349s| 2150k|616545 | 11269k| 408M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 39k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1429.19/1429.76 c 1355s| 2160k|618380 | 11315k| 410M| 66 | - | 190 | 9 | 8 | 0 | 0 | 18 | 39k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1434.79/1435.33 c 1360s| 2170k|620236 | 11360k| 411M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 39k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1440.19/1440.77 c 1365s| 2180k|621734 | 11406k| 412M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 39k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1445.69/1446.25 c 1370s| 2190k|623498 | 11452k| 413M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 39k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1451.28/1451.81 c 1376s| 2200k|624855 | 11499k| 414M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 39k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1456.99/1457.53 c 1381s| 2210k|626966 | 11545k| 416M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 39k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1462.69/1463.27 c 1386s| 2220k|629640 | 11593k| 417M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 39k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1468.18/1468.74 c 1392s| 2230k|631526 | 11640k| 419M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 39k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1473.78/1474.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1473.78/1474.30 c 1397s| 2240k|633513 | 11686k| 420M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 39k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1479.17/1479.79 c 1402s| 2250k|635537 | 11731k| 421M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 40k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1484.87/1485.46 c 1408s| 2260k|637446 | 11780k| 423M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 40k| 26k| 1.818989e-12 | 1.500000e+01 | Inf
1490.38/1490.94 c 1413s| 2270k|639212 | 11825k| 424M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 40k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1496.07/1496.63 c 1418s| 2280k|640755 | 11873k| 425M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 40k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1501.57/1502.13 c 1423s| 2290k|642413 | 11922k| 427M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 40k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1507.07/1507.64 c 1429s| 2300k|643519 | 11972k| 428M| 66 | - | 190 | 8 | 9 | 0 | 0 | 18 | 40k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1512.56/1513.16 c 1434s| 2310k|644465 | 12020k| 429M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 40k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1518.06/1518.65 c 1439s| 2320k|645446 | 12066k| 430M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 40k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1523.46/1524.09 c 1444s| 2330k|646704 | 12112k| 431M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 40k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1529.06/1529.66 c 1449s| 2340k|647781 | 12160k| 431M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 41k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1534.55/1535.13 c 1455s| 2350k|648648 | 12208k| 432M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 41k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1539.95/1540.54 c 1460s| 2360k|649711 | 12254k| 433M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 41k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1545.55/1546.12 c 1465s| 2370k|651900 | 12301k| 435M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 41k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1551.05/1551.61 c 1470s| 2380k|653011 | 12348k| 436M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 41k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1556.55/1557.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1556.55/1557.12 c 1476s| 2390k|654263 | 12394k| 437M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 41k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1561.95/1562.60 c 1481s| 2400k|656082 | 12440k| 438M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 41k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1567.44/1568.01 c 1486s| 2410k|657583 | 12485k| 439M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 41k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1572.94/1573.57 c 1491s| 2420k|659012 | 12531k| 440M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 41k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1578.54/1579.12 c 1496s| 2430k|660892 | 12577k| 442M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 42k| 27k| 1.818989e-12 | 1.500000e+01 | Inf
1584.04/1584.66 c 1502s| 2440k|662643 | 12622k| 443M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 42k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1589.64/1590.27 c 1507s| 2450k|664646 | 12669k| 444M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 42k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1595.34/1595.98 c 1512s| 2460k|666082 | 12718k| 446M| 66 | - | 190 | 8 | 8 | 0 | 0 | 18 | 42k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1600.94/1601.50 c 1518s| 2470k|667053 | 12764k| 447M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 42k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1606.33/1606.94 c 1523s| 2480k|668195 | 12810k| 448M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 42k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1611.93/1612.57 c 1528s| 2490k|669982 | 12857k| 449M| 66 | - | 190 | 9 | 8 | 0 | 0 | 18 | 42k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1617.63/1618.28 c 1533s| 2500k|673001 | 12902k| 450M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 42k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1623.33/1623.96 c 1539s| 2510k|675768 | 12948k| 452M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 42k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1628.83/1629.47 c 1544s| 2520k|678136 | 12993k| 454M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 43k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1634.43/1635.04 c 1549s| 2530k|680234 | 13037k| 455M| 66 | 8 | 190 | 11 | 8 | 190 | 19 | 18 | 43k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1640.12/1640.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.12/1640.77 c 1555s| 2540k|683073 | 13084k| 457M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 43k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1645.82/1646.43 c 1560s| 2550k|685618 | 13131k| 458M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 43k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1651.31/1651.98 c 1565s| 2560k|687537 | 13176k| 460M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 43k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1657.02/1657.62 c 1571s| 2570k|689883 | 13221k| 461M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 43k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1662.51/1663.19 c 1576s| 2580k|691737 | 13268k| 462M| 66 | - | 190 | 12 | 11 | 190 | 19 | 18 | 43k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1668.01/1668.68 c 1581s| 2590k|694065 | 13313k| 464M| 66 | 8 | 190 | 10 | 8 | 190 | 19 | 18 | 43k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1673.41/1674.08 c 1586s| 2600k|696171 | 13357k| 465M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 44k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1678.91/1679.59 c 1592s| 2610k|698205 | 13401k| 467M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 44k| 28k| 1.818989e-12 | 1.500000e+01 | Inf
1684.31/1684.97 c 1597s| 2620k|699938 | 13445k| 468M| 66 | - | 190 | 8 | 8 | 0 | 0 | 18 | 44k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1689.70/1690.38 c 1602s| 2630k|701609 | 13488k| 469M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 44k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1695.20/1695.87 c 1607s| 2640k|703245 | 13532k| 470M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 44k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1700.59/1701.25 c 1612s| 2650k|704976 | 13575k| 471M| 66 | - | 190 | 9 | 8 | 0 | 0 | 18 | 44k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1706.10/1706.75 c 1617s| 2660k|706722 | 13620k| 473M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 44k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1711.60/1712.26 c 1623s| 2670k|708256 | 13664k| 474M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 44k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1717.09/1717.77 c 1628s| 2680k|710393 | 13710k| 475M| 66 | - | 190 | 9 | 8 | 190 | 19 | 18 | 44k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1722.59/1723.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.59/1723.20 c 1633s| 2690k|711927 | 13755k| 476M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 45k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1728.09/1728.70 c 1638s| 2700k|713189 | 13802k| 478M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 45k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1733.59/1734.22 c 1643s| 2710k|714825 | 13847k| 479M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 45k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1739.09/1739.73 c 1649s| 2720k|716531 | 13891k| 480M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 45k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1744.49/1745.12 c 1654s| 2730k|717751 | 13934k| 481M| 66 | - | 190 | 8 | 8 | 190 | 19 | 18 | 45k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1749.88/1750.56 c 1659s| 2740k|719364 | 13978k| 482M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 45k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1755.68/1756.33 c 1664s| 2750k|721993 | 14023k| 484M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 45k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1761.17/1761.81 c 1670s| 2760k|724250 | 14066k| 485M| 66 | 8 | 190 | 11 | 8 | 190 | 19 | 18 | 45k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1766.78/1767.42 c 1675s| 2770k|726181 | 14113k| 487M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 46k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1772.38/1773.03 c 1680s| 2780k|727761 | 14159k| 488M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 46k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1777.78/1778.48 c 1685s| 2790k|729484 | 14203k| 489M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 46k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1783.27/1783.92 c 1690s| 2800k|730863 | 14248k| 490M| 66 | 8 | 190 | 8 | 8 | 190 | 19 | 18 | 46k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1788.67/1789.36 c 1696s| 2810k|732275 | 14292k| 491M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 46k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1794.07/1794.76 c 1701s| 2820k|733585 | 14335k| 492M| 66 | 8 | 190 | 9 | 8 | 190 | 19 | 18 | 46k| 29k| 1.818989e-12 | 1.500000e+01 | Inf
1799.46/1800.18 c 1706s| 2830k|734941 | 14380k| 493M| 66 | - | 190 | 8 | 8 | 0 | 0 | 18 | 46k| 30k| 1.818989e-12 | 1.500000e+01 | Inf
1800.07/1800.71 c
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time (sec) : 1706.42
1800.07/1800.71 c Solving Nodes : 2830968
1800.07/1800.71 c Primal Bound : +1.50000000000000e+01 (57 solutions)
1800.07/1800.71 c Dual Bound : +1.81898940354586e-12
1800.07/1800.71 c Gap : infinite
1800.07/1800.71 c NODE 2830968
1800.07/1800.71 c DUAL BOUND 1.81899e-12
1800.07/1800.71 c PRIMAL BOUND 15
1800.07/1800.71 c GAP 1e+20
1800.07/1800.71 s SATISFIABLE
1800.07/1800.71 v x198 -x197 -x196 -x195 x194 x193 x192 x191 x190 x189 -x188 x187 x186 -x185 x184 -x183 x182 -x181 -x180 -x179 x178 x177 -x176 x175
1800.07/1800.71 v -x174 x173 x172 -x171 x170 -x169 x168 x167 x166 -x165 x164 -x163 x162 -x161 -x160 -x159 x158 -x157 x156 x155 -x154 -x153 -x152
1800.07/1800.71 v x151 x150 -x149 -x148 x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 -x136 -x135 x134 x133 -x132 -x131 -x130
1800.07/1800.71 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109
1800.07/1800.71 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85
1800.07/1800.71 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 x66 -x65 -x64 -x63 -x62 -x61 -x60
1800.07/1800.71 v -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.07/1800.71 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1800.07/1800.71 v x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time : 1706.42
1800.07/1800.71 c Original Problem :
1800.07/1800.71 c Problem name : HOME/instance-1869480-1245174109.opb
1800.07/1800.71 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71 c Constraints : 16 initial, 16 maximal
1800.07/1800.71 c Presolved Problem :
1800.07/1800.71 c Problem name : t_HOME/instance-1869480-1245174109.opb
1800.07/1800.71 c Variables : 190 (190 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71 c Constraints : 8 initial, 16 maximal
1800.07/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.71 c linear : 0.00 0 8 0 0 0 8 0 0
1800.07/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c root node : - 64 - - 64 - - - -
1800.07/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.71 c integral : 0 0 0 1854380 0 75 6079 0 0 3697020
1800.07/1800.71 c linear : 8 6 4656488 0 0 255427 1840602 11 0 0
1800.07/1800.71 c logicor : 0+ 0 94994 0 0 2038 11676 0 0 0
1800.07/1800.71 c countsols : 0 0 0 39 0 0 0 0 0 0
1800.07/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.71 c integral : 30.15 0.00 0.00 30.15 0.00
1800.07/1800.71 c linear : 437.52 0.00 437.52 0.00 0.00
1800.07/1800.71 c logicor : 0.35 0.00 0.35 0.00 0.00
1800.07/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.71 c rootredcost : 1.65 54 0 64
1800.07/1800.71 c pseudoobj : 46.11 4666418 10043 25881
1800.07/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.71 c propagation : 23.88 265470 44919 54358 71.8 0 0.0 -
1800.07/1800.71 c infeasible LP : 0.22 3444 3366 3464 37.8 0 0.0 0
1800.07/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.71 c applied globally : - - - 536 28.5 - - -
1800.07/1800.71 c applied locally : - - - 46254 70.7 - - -
1800.07/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.71 c cut pool : 0.00 5 - - 6 - (maximal pool size: 55)
1800.07/1800.71 c redcost : 62.38 2702987 0 16872477 0 0
1800.07/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.71 c intobj : 0.00 0 0 0 0 0
1800.07/1800.71 c gomory : 0.01 6 0 0 0 0
1800.07/1800.71 c strongcg : 0.04 6 0 0 23 0
1800.07/1800.71 c cmir : 0.02 6 0 0 10 0
1800.07/1800.71 c flowcover : 0.07 6 0 0 13 0
1800.07/1800.71 c clique : 0.00 1 0 0 0 0
1800.07/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.71 c mcf : 0.00 1 0 0 0 0
1800.07/1800.71 c Pricers : Time Calls Vars
1800.07/1800.71 c problem variables: 0.00 0 0
1800.07/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.71 c relpscost : 27.98 1854341 75 6079 0 0 3697020
1800.07/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.71 c random : 0.00 0 0 0 0 0 0
1800.07/1800.71 c Primal Heuristics : Time Calls Found
1800.07/1800.71 c LP solutions : 0.79 - 39
1800.07/1800.71 c pseudo solutions : 0.00 - 0
1800.07/1800.71 c intshifting : 0.05 0 0
1800.07/1800.71 c oneopt : 1.37 53 0
1800.07/1800.71 c crossover : 28.82 17 0
1800.07/1800.71 c rootsoldiving : 5.75 597 2
1800.07/1800.71 c coefdiving : 45.52 6232 2
1800.07/1800.71 c linesearchdiving : 22.55 6232 5
1800.07/1800.71 c pscostdiving : 33.93 6232 4
1800.07/1800.71 c fracdiving : 33.23 6232 2
1800.07/1800.71 c guideddiving : 24.20 6232 2
1800.07/1800.71 c veclendiving : 22.38 6232 0
1800.07/1800.71 c objpscostdiving : 7.59 3117 1
1800.07/1800.71 c simplerounding : 1.18 0 0
1800.07/1800.71 c rounding : 2.35 19762 0
1800.07/1800.71 c shifting : 7.28 6244 0
1800.07/1800.71 c fixandinfer : 0.00 0 0
1800.07/1800.71 c feaspump : 0.10 1 0
1800.07/1800.71 c intdiving : 0.00 0 0
1800.07/1800.71 c actconsdiving : 0.00 0 0
1800.07/1800.71 c octane : 0.00 0 0
1800.07/1800.71 c rens : 0.02 1 0
1800.07/1800.71 c rins : 0.00 0 0
1800.07/1800.71 c localbranching : 0.00 0 0
1800.07/1800.71 c mutation : 0.00 0 0
1800.07/1800.71 c dins : 0.00 0 0
1800.07/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.71 c dual LP : 650.99 2693657 12923614 4.80 19852.25
1800.07/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.71 c diving/probing LP: 99.84 721903 1461107 2.02 14634.49
1800.07/1800.71 c strong branching : 8.51 30041 105176 3.50 12359.11
1800.07/1800.71 c (at root node) : - 19 545 28.68 -
1800.07/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.71 c B&B Tree :
1800.07/1800.71 c number of runs : 1
1800.07/1800.71 c nodes : 2830968
1800.07/1800.71 c nodes (total) : 2830968
1800.07/1800.71 c nodes left : 735048
1800.07/1800.71 c max depth : 66
1800.07/1800.71 c max depth (total): 66
1800.07/1800.71 c backtracks : 466987 (16.5%)
1800.07/1800.71 c delayed cutoffs : 5580
1800.07/1800.71 c repropagations : 12620 (41390 domain reductions, 5580 cutoffs)
1800.07/1800.71 c avg switch length: 5.84
1800.07/1800.71 c switching time : 97.33
1800.07/1800.71 c Solution :
1800.07/1800.71 c Solutions found : 57 (54 improvements)
1800.07/1800.71 c Primal Bound : +1.50000000000000e+01 (in run 1, after 1983239 nodes, 1258.31 seconds, depth 56, found by <relaxation>)
1800.07/1800.71 c Dual Bound : +1.81898940354586e-12
1800.07/1800.71 c Gap : infinite
1800.07/1800.71 c Root Dual Bound : +1.81898940354586e-12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869480-1245174109/watcher-1869480-1245174109 -o /tmp/evaluation-result-1869480-1245174109/solver-1869480-1245174109 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869480-1245174109.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 3842
/proc/meminfo: memFree=1841792/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=4648 CPUtime=0
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 500 0 0 0 0 0 0 0 18 0 1 0 185011816 4759552 484 1992294400 4194304 7823515 548682068736 18446744073709551615 6109072 0 0 4096 0 0 0 0 17 1 0 0
/proc/3842/statm: 1082 485 320 886 0 192 0
[startup+0.103461 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 3842
/proc/meminfo: memFree=1841792/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=13176 CPUtime=0.09
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 2869 0 0 0 8 1 0 0 18 0 1 0 185011816 13492224 2497 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 3294 2497 551 886 0 2404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13176
[startup+0.201479 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 3842
/proc/meminfo: memFree=1841792/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=18652 CPUtime=0.19
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 4186 0 0 0 18 1 0 0 18 0 1 0 185011816 19099648 3813 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 4663 3815 551 886 0 3773 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18652
[startup+0.301498 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 3842
/proc/meminfo: memFree=1841792/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=16144 CPUtime=0.29
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 4608 0 0 0 27 2 0 0 19 0 1 0 185011816 16531456 3267 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 4036 3267 565 886 0 3146 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16144
[startup+0.701575 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 3842
/proc/meminfo: memFree=1841792/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=16144 CPUtime=0.69
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 4612 0 0 0 65 4 0 0 22 0 1 0 185011816 16531456 3271 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 4036 3271 569 886 0 3146 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16144
[startup+1.50173 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1830712/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=21776 CPUtime=1.49
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 5723 0 0 0 140 9 0 0 25 0 1 0 185011816 22298624 4382 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 5444 4382 571 886 0 4554 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21776
[startup+3.10104 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1832568/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=14692 CPUtime=3.09
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 5896 0 0 0 290 19 0 0 25 0 1 0 185011816 15044608 2926 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 3673 2926 571 886 0 2783 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14692
[startup+6.30165 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1830272/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=16116 CPUtime=6.29
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 8268 0 0 0 592 37 0 0 25 0 1 0 185011816 16502784 3316 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 4029 3316 571 886 0 3139 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16116
[startup+12.7029 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1827968/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=18760 CPUtime=12.69
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 13556 0 0 0 1198 71 0 0 25 0 1 0 185011816 19210240 3981 1992294400 4194304 7823515 548682068736 18446744073709551615 6036306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 4690 3981 571 886 0 3800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18760
[startup+25.5013 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1820800/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=25772 CPUtime=25.49
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 21255 0 0 0 2409 140 0 0 25 0 1 0 185011816 26390528 5769 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 6443 5769 571 886 0 5553 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25772
[startup+51.1012 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1804608/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=41600 CPUtime=51.07
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 38985 0 0 0 4831 276 0 0 25 0 1 0 185011816 42598400 9841 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 10400 9841 571 886 0 9510 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41600
[startup+102.301 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1778432/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=68704 CPUtime=102.26
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 58137 0 0 0 9674 552 0 0 25 0 1 0 185011816 70352896 16328 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 17176 16328 571 886 0 16286 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 68704
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1739840/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=107076 CPUtime=162.24
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 71760 0 0 0 15373 851 0 0 25 0 1 0 185011816 109645824 26088 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 26769 26088 571 886 0 25879 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 107076
[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1728000/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=118032 CPUtime=222.22
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 89471 0 0 0 21029 1193 0 0 25 0 1 0 185011816 120864768 28899 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 29508 28899 571 886 0 28618 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 118032
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1694336/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=151076 CPUtime=282.19
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 99753 0 0 0 26726 1493 0 0 25 0 1 0 185011816 154701824 37245 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 37769 37245 571 886 0 36879 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 151076
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1669312/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=180516 CPUtime=342.18
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 111567 0 0 0 32405 1813 0 0 25 0 1 0 185011816 184848384 43708 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 45129 43708 571 886 0 44239 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 180516
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1657216/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=191172 CPUtime=402.16
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 126919 0 0 0 38061 2155 0 0 25 0 1 0 185011816 195760128 46466 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 47793 46466 573 886 0 46903 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 191172
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1647680/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=200908 CPUtime=462.13
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 137614 0 0 0 43739 2474 0 0 25 0 1 0 185011816 205729792 48932 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 50227 48932 574 886 0 49337 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 200908
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1633472/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=214540 CPUtime=522.11
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 145391 0 0 0 49423 2788 0 0 25 0 1 0 185011816 219688960 52429 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 53635 52429 574 886 0 52745 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 214540
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3843
/proc/meminfo: memFree=1615616/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=231816 CPUtime=582.09
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 149841 0 0 0 55109 3100 0 0 25 0 1 0 185011816 237379584 56879 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 57954 56879 574 886 0 57064 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 231816
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3845
/proc/meminfo: memFree=1593536/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=253900 CPUtime=642.06
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 156072 0 0 0 60797 3409 0 0 25 0 1 0 185011816 259993600 62465 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 63475 62465 574 886 0 62585 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 253900
[startup+702.301 s]
################
# More data... #
################
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 197233 0 0 0 100644 5548 0 0 25 0 1 0 185011816 428351488 102335 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 104578 102335 574 886 0 103688 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 418312
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3845
/proc/meminfo: memFree=1413504/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=437212 CPUtime=1121.91
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 202062 0 0 0 106332 5859 0 0 25 0 1 0 185011816 447705088 107164 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 109303 107164 574 886 0 108413 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 437212
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1402496/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=447920 CPUtime=1181.88
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 210009 0 0 0 112012 6176 0 0 25 0 1 0 185011816 458670080 109872 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 111980 109872 574 886 0 111090 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 447920
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1386496/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=463476 CPUtime=1241.86
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 214639 0 0 0 117702 6484 0 0 25 0 1 0 185011816 474599424 113858 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 115869 113858 574 886 0 114979 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 463476
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1369728/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=479684 CPUtime=1301.83
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 219414 0 0 0 123385 6798 0 0 25 0 1 0 185011816 491196416 117990 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 119921 117990 574 886 0 119031 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 479684
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1363392/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=485624 CPUtime=1361.81
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 226840 0 0 0 129074 7107 0 0 25 0 1 0 185011816 497278976 119538 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 121406 119538 574 886 0 120516 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 485624
[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1363136/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=485996 CPUtime=1421.8
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 227553 0 0 0 134763 7417 0 0 25 0 1 0 185011816 497659904 119607 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 121499 119607 574 886 0 120609 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 485996
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1353792/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=495024 CPUtime=1481.77
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 230510 0 0 0 140451 7726 0 0 25 0 1 0 185011816 506904576 121920 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 123756 121920 574 886 0 122866 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 495024
[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1345600/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=503088 CPUtime=1541.76
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 232550 0 0 0 146145 8031 0 0 25 0 1 0 185011816 515162112 123960 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 125772 123960 574 886 0 124882 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 503088
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1336576/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=511796 CPUtime=1601.74
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 235438 0 0 0 151825 8349 0 0 25 0 1 0 185011816 524079104 126203 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 127949 126203 574 886 0 127059 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 511796
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1324800/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=523140 CPUtime=1661.72
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 238368 0 0 0 157519 8653 0 0 25 0 1 0 185011816 535695360 129133 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 130785 129133 574 886 0 129895 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 523140
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1314496/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=533124 CPUtime=1721.7
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 240976 0 0 0 163206 8964 0 0 25 0 1 0 185011816 545918976 131741 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 133281 131741 574 886 0 132391 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 533124
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1300160/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=546892 CPUtime=1781.67
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 244460 0 0 0 168896 9271 0 0 25 0 1 0 185011816 560017408 135225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 136723 135225 574 886 0 135833 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 546892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1296832/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=550156 CPUtime=1800.07
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 245936 0 0 0 170642 9365 0 0 25 0 1 0 185011816 563359744 136056 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3842/statm: 137539 136056 574 886 0 136649 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 550156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -3842
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3851
/proc/meminfo: memFree=1296832/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=550156 CPUtime=1800.86
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 245938 0 0 0 170721 9365 0 0 25 0 1 0 185011816 563359744 136058 1992294400 4194304 7823515 548682068736 18446744073709551615 4744276 0 0 4096 0 0 0 0 17 1 0 0
/proc/3842/statm: 137539 136058 576 886 0 136649 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 550156
[startup+1802.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 3852
/proc/meminfo: memFree=1296824/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=550156 CPUtime=1801.66
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 245938 0 0 0 170801 9365 0 0 25 0 1 0 185011816 563359744 136058 1992294400 4194304 7823515 548682068736 18446744073709551615 5875265 0 0 4096 0 0 0 0 17 1 0 0
/proc/3842/statm: 137539 136058 576 886 0 136649 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 550156
[startup+1802.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 3852
/proc/meminfo: memFree=1296824/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=550156 CPUtime=1802.06
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4194304 245938 0 0 0 170841 9365 0 0 25 0 1 0 185011816 563359744 136058 1992294400 4194304 7823515 548682068736 18446744073709551615 4745004 0 0 4096 0 0 0 0 17 1 0 0
/proc/3842/statm: 137539 136058 576 886 0 136649 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 550156
[startup+1802.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 3852
/proc/meminfo: memFree=1296824/2055920 swapFree=4183064/4192956
[pid=3842] ppid=3840 vsize=0 CPUtime=1802.16
/proc/3842/stat : 3842 (pbscip.linux.x8) R 3840 3842 3805 0 -1 4195332 245938 0 0 0 170842 9374 0 0 25 0 1 0 185011816 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/3842/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.8
CPU time (s): 1802.17
CPU user time (s): 1708.43
CPU system time (s): 93.7477
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 550156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1708.43
system time used= 93.7477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1925
runsolver used 1.23081 second user time and 3.85641 second system time
The end