0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver Clp 1.8.2
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869545-1245177834.opb>
0.00/0.01 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 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, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 4 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 4 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 90 variables (90 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c OPT-LIN
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = c 1620
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = c 1791
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = c 10000
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving problem
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 16 | 325k| 0 | 4 | 90 | 4 | 4 | 90 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 56 | 369k| 0 | 7 | 90 | 4 | 4 | 90 | 7 | 3 | 0 | 0 | 4.547474e-13 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 64 | 396k| 0 | 8 | 90 | 4 | 4 | 90 | 11 | 7 | 0 | 0 | 4.547474e-13 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 71 | 427k| 0 | 9 | 90 | 4 | 4 | 90 | 14 | 10 | 0 | 0 | 4.547474e-13 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 76 | 452k| 0 | 13 | 90 | 4 | 4 | 90 | 18 | 14 | 0 | 0 | 4.547474e-13 | -- | Inf
0.00/0.06 c 0.0s| 1 | 0 | 84 | 472k| 0 | 18 | 90 | 4 | 4 | 90 | 23 | 19 | 0 | 0 | 4.547474e-13 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 98 | 483k| 0 | 17 | 90 | 4 | 4 | 90 | 27 | 23 | 0 | 0 | 4.547474e-13 | -- | Inf
0.09/0.19 c 0.2s| 1 | 2 | 98 | 484k| 0 | 17 | 90 | 4 | 4 | 90 | 27 | 23 | 0 | 17 | 4.547474e-13 | -- | Inf
0.19/0.27 o 248
0.19/0.27 c f 0.2s| 54 | 39 | 278 | 506k| 29 | - | 90 | 4 | 2 | 90 | 18 | 23 | 0 | 227 | 9.094947e-13 | 2.480000e+02 | Inf
0.19/0.28 o 247
0.19/0.28 c v 0.2s| 69 | 50 | 326 | 524k| 29 | - | 90 | 4 | 0 | 90 | 18 | 23 | 1 | 253 | 9.094947e-13 | 2.470000e+02 | Inf
0.29/0.36 o 176
0.29/0.36 c c 0.3s| 149 | 121 | 663 | 565k| 29 | - | 90 | 4 | 2 | 90 | 18 | 23 | 4 | 366 | 9.094947e-13 | 1.760000e+02 | Inf
0.29/0.36 o 175
0.29/0.36 c * 0.3s| 161 | 131 | 697 | 565k| 29 | - | 90 | 4 | 0 | 90 | 18 | 23 | 4 | 376 | 9.094947e-13 | 1.750000e+02 | Inf
0.29/0.36 o 173
0.29/0.36 c * 0.3s| 162 | 130 | 698 | 566k| 29 | - | 90 | 4 | 0 | 90 | 18 | 23 | 4 | 376 | 9.094947e-13 | 1.730000e+02 | Inf
0.29/0.39 o 122
0.29/0.39 c f 0.3s| 192 | 145 | 844 | 581k| 29 | - | 90 | 4 | 2 | 90 | 18 | 23 | 7 | 383 | 9.094947e-13 | 1.220000e+02 | Inf
0.39/0.42 o 101
0.39/0.42 c * 0.4s| 249 | 180 | 1050 | 591k| 30 | - | 90 | 4 | 4 | 90 | 18 | 23 | 9 | 409 | 9.094947e-13 | 1.010000e+02 | Inf
0.39/0.43 o 99
0.39/0.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.43 c * 0.4s| 263 | 183 | 1084 | 596k| 30 | - | 90 | 5 | 0 | 90 | 18 | 23 | 10 | 415 | 9.094947e-13 | 9.900000e+01 | Inf
0.39/0.49 o 98
0.39/0.49 c p 0.5s| 372 | 278 | 1514 | 640k| 30 | - | 90 | 5 | 0 | 90 | 18 | 23 | 13 | 439 | 9.094947e-13 | 9.800000e+01 | Inf
0.49/0.51 o 97
0.49/0.51 c v 0.5s| 406 | 306 | 1594 | 654k| 31 | - | 90 | 6 | 1 | 90 | 18 | 23 | 16 | 457 | 9.094947e-13 | 9.700000e+01 | Inf
0.49/0.51 o 95
0.49/0.51 c l 0.5s| 406 | 306 | 1596 | 656k| 31 | - | 90 | 6 | 1 | 90 | 18 | 23 | 16 | 457 | 9.094947e-13 | 9.500000e+01 | Inf
0.49/0.52 o 91
0.49/0.52 c * 0.5s| 415 | 308 | 1614 | 658k| 31 | - | 90 | 6 | 2 | 90 | 18 | 23 | 16 | 461 | 9.094947e-13 | 9.100000e+01 | Inf
0.49/0.52 o 89
0.49/0.52 c * 0.5s| 416 | 303 | 1614 | 657k| 31 | - | 90 | 6 | 1 | 90 | 18 | 23 | 16 | 461 | 9.094947e-13 | 8.900000e+01 | Inf
0.49/0.52 o 69
0.49/0.52 c s 0.5s| 426 | 285 | 1628 | 650k| 31 | - | 90 | 6 | 2 | 90 | 18 | 23 | 16 | 468 | 9.094947e-13 | 6.900000e+01 | Inf
0.49/0.55 o 63
0.49/0.55 c c 0.5s| 475 | 301 | 1758 | 658k| 31 | - | 90 | 6 | 3 | 90 | 18 | 23 | 18 | 476 | 9.094947e-13 | 6.300000e+01 | Inf
0.49/0.55 o 61
0.49/0.55 c * 0.5s| 481 | 301 | 1769 | 661k| 31 | - | 90 | 6 | 0 | 90 | 18 | 23 | 18 | 478 | 9.094947e-13 | 6.100000e+01 | Inf
0.49/0.59 o 59
0.49/0.59 c l 0.5s| 544 | 350 | 1981 | 690k| 31 | - | 90 | 8 | 1 | 90 | 18 | 23 | 21 | 487 | 9.094947e-13 | 5.900000e+01 | Inf
0.59/0.64 o 56
0.59/0.64 c * 0.6s| 624 | 418 | 2303 | 720k| 31 | - | 90 | 9 | 0 | 90 | 18 | 23 | 24 | 499 | 9.094947e-13 | 5.600000e+01 | Inf
0.59/0.64 o 55
0.59/0.64 c * 0.6s| 630 | 418 | 2322 | 721k| 31 | - | 90 | 9 | 0 | 90 | 18 | 23 | 24 | 500 | 9.094947e-13 | 5.500000e+01 | Inf
0.59/0.68 o 50
0.59/0.68 c c 0.6s| 696 | 453 | 2579 | 740k| 31 | - | 90 | 14 | 4 | 90 | 18 | 23 | 32 | 507 | 9.094947e-13 | 5.000000e+01 | Inf
0.69/0.77 o 46
0.69/0.77 c s 0.7s| 859 | 562 | 3090 | 797k| 31 | 4 | 90 | 26 | 4 | 90 | 18 | 23 | 56 | 510 | 9.094947e-13 | 4.600000e+01 | Inf
0.69/0.77 o 42
0.69/0.77 c s 0.7s| 859 | 558 | 3092 | 795k| 31 | - | 90 | 26 | 2 | 90 | 18 | 23 | 56 | 510 | 9.094947e-13 | 4.200000e+01 | Inf
0.79/0.80 o 40
0.79/0.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.80 c f 0.7s| 899 | 588 | 3271 | 811k| 31 | - | 90 | 26 | 3 | 90 | 18 | 23 | 58 | 516 | 9.094947e-13 | 4.000000e+01 | Inf
0.79/0.80 o 38
0.79/0.80 c p 0.7s| 899 | 572 | 3272 | 803k| 31 | - | 90 | 26 | 3 | 90 | 18 | 23 | 58 | 516 | 9.094947e-13 | 3.800000e+01 | Inf
0.79/0.82 o 32
0.79/0.82 c g 0.8s| 947 | 575 | 3403 | 808k| 31 | - | 90 | 27 | 3 | 90 | 18 | 23 | 60 | 518 | 9.094947e-13 | 3.200000e+01 | Inf
0.79/0.86 o 31
0.79/0.86 c * 0.8s| 1002 | 615 | 3673 | 829k| 31 | - | 90 | 33 | 2 | 90 | 18 | 23 | 70 | 519 | 9.094947e-13 | 3.100000e+01 | Inf
0.79/0.86 o 29
0.79/0.86 c * 0.8s| 1003 | 603 | 3673 | 825k| 31 | - | 90 | 33 | 2 | 90 | 18 | 23 | 70 | 519 | 9.094947e-13 | 2.900000e+01 | Inf
0.79/0.89 o 24
0.79/0.89 c g 0.8s| 1050 | 619 | 3886 | 835k| 31 | - | 90 | 39 | 4 | 90 | 18 | 23 | 76 | 523 | 9.094947e-13 | 2.400000e+01 | Inf
1.00/1.10 o 21
1.00/1.10 c l 1.0s| 1349 | 809 | 5060 | 935k| 31 | - | 90 | 75 | 0 | 90 | 18 | 23 | 115 | 525 | 9.094947e-13 | 2.100000e+01 | Inf
1.00/1.10 o 17
1.00/1.10 c g 1.0s| 1349 | 778 | 5060 | 922k| 31 | - | 90 | 75 | 0 | 90 | 18 | 23 | 116 | 525 | 9.094947e-13 | 1.700000e+01 | Inf
1.50/1.54 o 16
1.50/1.54 c * 1.4s| 1945 | 1067 | 7855 |1091k| 31 | - | 90 | 151 | 3 | 90 | 18 | 23 | 212 | 526 | 9.094947e-13 | 1.600000e+01 | Inf
1.50/1.60 o 11
1.50/1.60 c s 1.5s| 2028 | 1057 | 8293 |1089k| 31 | - | 90 | 167 | 9 | 90 | 18 | 23 | 231 | 526 | 9.094947e-13 | 1.100000e+01 | Inf
1.89/1.91 o 10
1.89/1.91 c * 1.8s| 2612 | 1265 | 10317 |1212k| 31 | - | 90 | 214 | 18 | 90 | 18 | 23 | 281 | 531 | 9.094947e-13 | 1.000000e+01 | Inf
1.89/1.98 o 9
1.89/1.98 c * 1.9s| 2764 | 1277 | 10730 |1227k| 31 | - | 90 | 228 | 1 | 90 | 18 | 23 | 295 | 533 | 9.094947e-13 | 9.000000e+00 | Inf
1.89/1.98 o 7
1.89/1.98 c * 1.9s| 2765 | 1259 | 10731 |1219k| 31 | - | 90 | 228 | 1 | 90 | 18 | 23 | 295 | 533 | 9.094947e-13 | 7.000000e+00 | Inf
2.49/2.53 o 3
2.49/2.53 c g 2.4s| 3826 | 1402 | 13848 |1338k| 31 | - | 90 | 316 | 1 | 90 | 18 | 23 | 390 | 535 | 9.094947e-13 | 3.000000e+00 | Inf
4.89/4.95 c 4.7s| 10000 | 1798 | 33175 |1778k| 31 | - | 90 | 686 | 17 | 90 | 18 | 23 | 766 | 545 | 9.094947e-13 | 3.000000e+00 | Inf
9.19/9.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.19/9.20 c 8.7s| 20000 | 2331 | 65506 |2520k| 31 | 4 | 90 |1469 | 37 | 90 | 18 | 23 |1560 | 571 | 9.094947e-13 | 3.000000e+00 | Inf
13.59/13.67 c 13.0s| 30000 | 2126 | 98040 |2898k| 31 | - | 90 |2228 | 5 | 90 | 18 | 23 |2398 | 604 | 9.094947e-13 | 3.000000e+00 | Inf
18.38/18.46 c 17.6s| 40000 | 1940 |132008 |2999k| 31 | 4 | 90 |2588 | 562 | 90 | 18 | 23 |3112 | 664 | 9.094947e-13 | 3.000000e+00 | Inf
23.38/23.44 c 22.5s| 50000 | 1734 |164669 |2811k| 31 | 4 | 90 |2240 | 32 | 90 | 18 | 23 |3891 | 963 | 9.094947e-13 | 3.000000e+00 | Inf
27.99/28.09 c 27.0s| 60000 | 1651 |196595 |2786k| 31 | - | 90 |2162 | 21 | 90 | 18 | 23 |4661 |1047 | 9.094947e-13 | 3.000000e+00 | Inf
32.48/32.55 c 31.2s| 70000 | 1610 |229316 |2815k| 31 | - | 90 |2231 | 52 | 0 | 0 | 23 |5413 |1160 | 9.094947e-13 | 3.000000e+00 | Inf
36.78/36.85 c 35.4s| 80000 | 1508 |260235 |2748k| 31 | - | 90 |2070 | 5 | 90 | 18 | 23 |6096 |1191 | 9.094947e-13 | 3.000000e+00 | Inf
40.87/40.93 c 39.3s| 90000 | 1675 |290353 |2843k| 31 | 4 | 90 |1860 | 10 | 90 | 18 | 23 |6815 |1231 | 9.094947e-13 | 3.000000e+00 | Inf
44.87/44.97 c 43.1s|100000 | 1404 |318336 |2393k| 31 | - | 90 |1197 | 4 | 90 | 18 | 23 |7435 |1277 | 9.094947e-13 | 3.000000e+00 | Inf
48.67/48.79 c 46.8s|110000 | 1343 |344111 |2528k| 31 | - | 90 |1656 | 10 | 90 | 18 | 23 |8088 |1291 | 9.094947e-13 | 3.000000e+00 | Inf
52.67/52.71 c 50.6s|120000 | 1319 |375706 |2460k| 31 | 4 | 90 |1456 | 62 | 90 | 18 | 23 |8513 |1305 | 9.094947e-13 | 3.000000e+00 | Inf
56.37/56.46 c 54.1s|130000 | 1215 |404024 |2222k| 31 | - | 90 | 900 | 6 | 0 | 0 | 23 |9032 |1314 | 9.094947e-13 | 3.000000e+00 | Inf
59.97/60.04 c 57.6s|140000 | 1222 |430934 |2247k| 31 | - | 90 | 943 | 5 | 90 | 18 | 23 |9523 |1320 | 9.094947e-13 | 3.000000e+00 | Inf
63.47/63.59 c 61.0s|150000 | 1688 |455696 |2498k| 31 | 4 | 90 |1096 | 7 | 90 | 18 | 23 | 10k|1326 | 9.094947e-13 | 3.000000e+00 | Inf
67.08/67.17 c 64.4s|160000 | 2346 |482820 |2978k| 31 | 4 | 90 |1085 | 5 | 90 | 18 | 23 | 10k|1337 | 9.094947e-13 | 3.000000e+00 | Inf
70.47/70.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.47/70.59 c 67.7s|170000 | 2253 |509293 |3057k| 31 | 4 | 90 |1095 | 65 | 90 | 18 | 23 | 10k|1343 | 9.094947e-13 | 3.000000e+00 | Inf
74.07/74.13 c 71.0s|180000 | 2156 |537988 |3040k| 31 | - | 90 |1080 | 4 | 90 | 18 | 23 | 11k|1350 | 9.094947e-13 | 3.000000e+00 | Inf
77.37/77.44 c 74.2s|190000 | 2246 |564543 |3227k| 31 | - | 90 |1204 | 4 | 0 | 0 | 23 | 11k|1355 | 9.094947e-13 | 3.000000e+00 | Inf
80.77/80.82 c 77.4s|200000 | 2024 |591440 |3098k| 31 | - | 90 |1166 | 10 | 90 | 18 | 23 | 12k|1366 | 9.094947e-13 | 3.000000e+00 | Inf
84.16/84.21 c 80.6s|210000 | 1825 |618742 |2929k| 31 | - | 90 |1194 | 15 | 90 | 18 | 23 | 12k|1376 | 9.094947e-13 | 3.000000e+00 | Inf
87.56/87.67 c 83.9s|220000 | 1562 |645706 |2703k| 31 | - | 90 |1247 | 6 | 90 | 18 | 23 | 12k|1383 | 9.094947e-13 | 3.000000e+00 | Inf
91.06/91.19 c 87.3s|230000 | 1506 |673271 |2741k| 31 | 4 | 90 |1296 | 4 | 90 | 18 | 23 | 13k|1394 | 9.094947e-13 | 3.000000e+00 | Inf
94.56/94.64 c 90.5s|240000 | 1441 |700731 |2649k| 31 | 4 | 90 |1329 | 6 | 90 | 18 | 23 | 13k|1400 | 9.094947e-13 | 3.000000e+00 | Inf
97.96/98.05 c 93.8s|250000 | 2097 |727860 |3147k| 31 | 4 | 90 |1473 | 4 | 90 | 18 | 23 | 14k|1413 | 9.094947e-13 | 3.000000e+00 | Inf
101.46/101.50 c 97.1s|260000 | 1912 |755142 |3116k| 31 | 4 | 90 |1503 | 5 | 90 | 18 | 23 | 14k|1419 | 9.094947e-13 | 3.000000e+00 | Inf
104.96/105.02 c 100s|270000 | 1714 |781932 |3025k| 31 | 4 | 90 |1534 | 9 | 90 | 18 | 23 | 14k|1429 | 9.094947e-13 | 3.000000e+00 | Inf
108.35/108.49 c 104s|280000 | 1771 |809414 |3118k| 31 | - | 90 |1636 | 4 | 0 | 0 | 23 | 15k|1432 | 9.094947e-13 | 3.000000e+00 | Inf
111.95/112.05 c 107s|290000 | 1769 |838762 |3127k| 31 | - | 90 |1616 | 120 | 0 | 0 | 23 | 15k|1436 | 9.094947e-13 | 3.000000e+00 | Inf
115.46/115.58 c 110s|300000 | 1668 |866616 |3037k| 31 | - | 90 |1541 | 8 | 0 | 0 | 23 | 16k|1443 | 9.094947e-13 | 3.000000e+00 | Inf
118.95/119.06 c 114s|310000 | 1554 |894330 |2908k| 31 | 4 | 90 |1617 | 4 | 90 | 18 | 23 | 16k|1464 | 9.094947e-13 | 3.000000e+00 | Inf
122.55/122.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.55/122.61 c 117s|320000 | 1490 |923286 |2896k| 31 | 4 | 90 |1685 | 9 | 90 | 18 | 23 | 16k|1469 | 9.094947e-13 | 3.000000e+00 | Inf
126.15/126.20 c 121s|330000 | 1657 |951991 |3068k| 31 | - | 90 |1852 | 14 | 90 | 18 | 23 | 17k|1491 | 9.094947e-13 | 3.000000e+00 | Inf
129.75/129.84 c 124s|340000 | 1575 |980537 |3003k| 31 | - | 90 |1751 | 37 | 90 | 18 | 23 | 17k|1506 | 9.094947e-13 | 3.000000e+00 | Inf
133.25/133.39 c 127s|350000 | 1568 | 1009k|2770k| 31 | 4 | 90 |1290 | 5 | 90 | 18 | 23 | 18k|1522 | 9.094947e-13 | 3.000000e+00 | Inf
136.75/136.84 c 131s|360000 | 1587 | 1039k|2745k| 31 | 4 | 90 |1174 | 13 | 90 | 18 | 23 | 18k|1534 | 9.094947e-13 | 3.000000e+00 | Inf
140.14/140.24 c 134s|370000 | 1373 | 1068k|2630k| 31 | 4 | 90 |1313 | 18 | 90 | 18 | 23 | 18k|1547 | 9.094947e-13 | 3.000000e+00 | Inf
143.54/143.61 c 137s|380000 | 1281 | 1095k|2582k| 31 | 4 | 90 |1382 | 4 | 90 | 18 | 23 | 19k|1555 | 9.094947e-13 | 3.000000e+00 | Inf
147.05/147.17 c 141s|390000 | 1221 | 1126k|2602k| 31 | - | 90 |1504 | 4 | 90 | 18 | 23 | 19k|1565 | 9.094947e-13 | 3.000000e+00 | Inf
150.55/150.66 c 144s|400000 | 1764 | 1154k|2824k| 31 | - | 90 |1204 | 57 | 0 | 0 | 23 | 20k|1586 | 9.094947e-13 | 3.000000e+00 | Inf
154.04/154.13 c 147s|410000 | 2311 | 1184k|3183k| 31 | 4 | 90 |1173 | 8 | 90 | 18 | 23 | 20k|1599 | 9.094947e-13 | 3.000000e+00 | Inf
157.44/157.59 c 151s|420000 | 2368 | 1214k|3193k| 31 | 4 | 90 | 931 | 7 | 90 | 18 | 23 | 21k|1617 | 9.094947e-13 | 3.000000e+00 | Inf
160.83/160.96 c 154s|430000 | 1886 | 1243k|2983k| 31 | - | 90 | 915 | 33 | 90 | 18 | 23 | 21k|1623 | 9.094947e-13 | 3.000000e+00 | Inf
164.14/164.26 c 157s|440000 | 1862 | 1272k|3027k| 31 | - | 90 |1004 | 8 | 90 | 18 | 23 | 21k|1642 | 9.094947e-13 | 3.000000e+00 | Inf
167.54/167.63 c 160s|450000 | 1716 | 1302k|2913k| 31 | - | 90 | 994 | 5 | 0 | 0 | 23 | 22k|1650 | 9.094947e-13 | 3.000000e+00 | Inf
170.93/171.05 c 163s|460000 | 1478 | 1330k|2759k| 31 | 4 | 90 |1060 | 5 | 90 | 18 | 23 | 22k|1656 | 9.094947e-13 | 3.000000e+00 | Inf
174.33/174.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.33/174.42 c 167s|470000 | 1234 | 1359k|2487k| 31 | 4 | 90 |1055 | 4 | 90 | 18 | 23 | 23k|1661 | 9.094947e-13 | 3.000000e+00 | Inf
177.64/177.77 c 170s|480000 | 1633 | 1387k|2767k| 31 | - | 90 |1197 | 17 | 0 | 0 | 23 | 23k|1750 | 9.094947e-13 | 3.000000e+00 | Inf
181.03/181.13 c 173s|490000 | 1334 | 1415k|2576k| 31 | 4 | 90 |1108 | 10 | 90 | 18 | 23 | 24k|1761 | 9.094947e-13 | 3.000000e+00 | Inf
184.33/184.48 c 176s|500000 | 1277 | 1443k|2510k| 31 | 4 | 90 |1096 | 6 | 90 | 18 | 23 | 24k|1778 | 9.094947e-13 | 3.000000e+00 | Inf
187.83/187.99 c 179s|510000 | 1538 | 1471k|2386k| 31 | 4 | 90 | 848 | 6 | 90 | 18 | 23 | 25k|2088 | 9.094947e-13 | 3.000000e+00 | Inf
191.12/191.29 c 183s|520000 | 2558 | 1497k|3000k| 31 | 4 | 90 | 794 | 8 | 90 | 18 | 23 | 25k|2104 | 9.094947e-13 | 3.000000e+00 | Inf
194.63/194.72 c 186s|530000 | 2327 | 1525k|3047k| 31 | 4 | 90 | 797 | 4 | 90 | 18 | 23 | 26k|2119 | 9.094947e-13 | 3.000000e+00 | Inf
197.93/198.02 c 189s|540000 | 2329 | 1552k|3165k| 31 | - | 90 | 881 | 14 | 90 | 18 | 23 | 26k|2133 | 9.094947e-13 | 3.000000e+00 | Inf
201.23/201.35 c 192s|550000 | 2082 | 1578k|3060k| 31 | 4 | 90 | 822 | 4 | 90 | 18 | 23 | 27k|2138 | 9.094947e-13 | 3.000000e+00 | Inf
204.53/204.69 c 195s|560000 | 1672 | 1606k|2802k| 31 | 4 | 90 | 863 | 16 | 90 | 18 | 23 | 27k|2147 | 9.094947e-13 | 3.000000e+00 | Inf
207.92/208.08 c 199s|570000 | 1134 | 1633k|2276k| 31 | 4 | 90 | 915 | 4 | 90 | 18 | 23 | 28k|2160 | 9.094947e-13 | 3.000000e+00 | Inf
211.32/211.45 c 202s|580000 | 1236 | 1662k|2232k| 31 | 4 | 90 | 709 | 4 | 90 | 18 | 23 | 28k|2184 | 9.094947e-13 | 3.000000e+00 | Inf
214.63/214.74 c 205s|590000 | 1743 | 1690k|2417k| 31 | - | 90 | 705 | 8 | 90 | 18 | 23 | 29k|2201 | 9.094947e-13 | 3.000000e+00 | Inf
217.82/217.95 c 208s|600000 | 3073 | 1715k|3194k| 31 | 4 | 90 | 776 | 13 | 90 | 18 | 23 | 29k|2204 | 9.094947e-13 | 3.000000e+00 | Inf
221.02/221.19 c 211s|610000 | 4043 | 1740k|3813k| 31 | - | 90 | 847 | 9 | 0 | 0 | 23 | 30k|2207 | 9.094947e-13 | 3.000000e+00 | Inf
224.32/224.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.32/224.49 c 214s|620000 | 4530 | 1765k|4219k| 31 | 4 | 90 | 866 | 11 | 90 | 18 | 23 | 30k|2210 | 9.094947e-13 | 3.000000e+00 | Inf
227.62/227.77 c 217s|630000 | 5304 | 1790k|4744k| 31 | 4 | 90 | 908 | 7 | 90 | 18 | 23 | 30k|2216 | 9.094947e-13 | 3.000000e+00 | Inf
231.02/231.18 c 221s|640000 | 5312 | 1815k|4910k| 31 | 4 | 90 | 851 | 4 | 90 | 18 | 23 | 31k|2224 | 9.094947e-13 | 3.000000e+00 | Inf
234.42/234.53 c 224s|650000 | 5706 | 1840k|5281k| 31 | - | 90 | 935 | 19 | 90 | 18 | 23 | 31k|2229 | 9.094947e-13 | 3.000000e+00 | Inf
237.71/237.83 c 227s|660000 | 5854 | 1866k|5509k| 31 | - | 90 | 996 | 4 | 0 | 0 | 23 | 32k|2234 | 9.094947e-13 | 3.000000e+00 | Inf
241.11/241.23 c 230s|670000 | 6199 | 1891k|5773k| 31 | 4 | 90 | 973 | 6 | 90 | 18 | 23 | 33k|2241 | 9.094947e-13 | 3.000000e+00 | Inf
244.42/244.54 c 233s|680000 | 7528 | 1918k|6512k| 31 | - | 90 | 964 | 4 | 90 | 18 | 23 | 33k|2253 | 9.094947e-13 | 3.000000e+00 | Inf
247.81/247.96 c 236s|690000 | 7837 | 1944k|6841k| 31 | 4 | 90 | 952 | 6 | 90 | 18 | 23 | 33k|2271 | 9.094947e-13 | 3.000000e+00 | Inf
251.11/251.28 c 240s|700000 | 8889 | 1969k|7511k| 31 | - | 90 |1080 | 6 | 0 | 0 | 23 | 34k|2274 | 9.094947e-13 | 3.000000e+00 | Inf
254.61/254.70 c 243s|710000 | 9077 | 1994k|7701k| 31 | - | 90 | 946 | 5 | 90 | 18 | 23 | 34k|2286 | 9.094947e-13 | 3.000000e+00 | Inf
257.80/257.98 c 246s|720000 | 9167 | 2019k|7869k| 31 | 4 | 90 | 941 | 22 | 90 | 18 | 23 | 35k|2287 | 9.094947e-13 | 3.000000e+00 | Inf
261.20/261.31 c 249s|730000 | 9049 | 2043k|7896k| 31 | - | 90 | 889 | 6 | 90 | 18 | 23 | 35k|2294 | 9.094947e-13 | 3.000000e+00 | Inf
264.61/264.70 c 252s|740000 | 8645 | 2069k|7801k| 31 | - | 90 | 884 | 12 | 90 | 18 | 23 | 36k|2299 | 9.094947e-13 | 3.000000e+00 | Inf
267.71/267.89 o 2
267.71/267.89 c * 255s|749384 | 8732 | 2092k|7973k| 31 | - | 90 | 996 | 26 | 90 | 18 | 23 | 36k|2304 | 9.094947e-13 | 2.000000e+00 | Inf
268.01/268.10 c 256s|750000 | 8700 | 2093k|7944k| 31 | 4 | 90 | 930 | 37 | 90 | 18 | 23 | 36k|2304 | 9.094947e-13 | 2.000000e+00 | Inf
271.21/271.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.21/271.37 c 259s|760000 | 8135 | 2114k|7690k| 31 | - | 90 | 881 | 12 | 90 | 18 | 23 | 37k|2304 | 9.094947e-13 | 2.000000e+00 | Inf
274.51/274.70 c 262s|770000 | 7052 | 2137k|7142k| 31 | - | 90 | 901 | 11 | 90 | 18 | 23 | 37k|2306 | 9.094947e-13 | 2.000000e+00 | Inf
277.90/278.00 c 265s|780000 | 5846 | 2159k|6436k| 31 | - | 90 | 846 | 12 | 90 | 18 | 23 | 38k|2310 | 9.094947e-13 | 2.000000e+00 | Inf
281.00/281.18 c 268s|790000 | 5364 | 2181k|6185k| 31 | - | 90 | 976 | 14 | 0 | 0 | 23 | 39k|2310 | 9.094947e-13 | 2.000000e+00 | Inf
284.30/284.41 c 271s|800000 | 5048 | 2201k|6047k| 31 | 4 | 90 |1095 | 21 | 90 | 18 | 23 | 39k|2310 | 9.094947e-13 | 2.000000e+00 | Inf
287.60/287.74 c 274s|810000 | 3952 | 2223k|5203k| 31 | - | 90 | 978 | 9 | 90 | 18 | 23 | 40k|2311 | 9.094947e-13 | 2.000000e+00 | Inf
290.70/290.88 c 277s|820000 | 4347 | 2244k|5504k| 31 | 4 | 90 |1119 | 9 | 90 | 18 | 23 | 40k|2311 | 9.094947e-13 | 2.000000e+00 | Inf
293.80/293.99 c 280s|830000 | 3998 | 2266k|5366k| 31 | 4 | 90 |1189 | 12 | 90 | 18 | 23 | 41k|2311 | 9.094947e-13 | 2.000000e+00 | Inf
297.90/298.08 c 284s|840000 | 3171 | 2288k|4617k| 31 | 4 | 90 |1041 | 23 | 90 | 18 | 23 | 41k|2312 | 9.094947e-13 | 2.000000e+00 | Inf
301.20/301.35 c 287s|850000 | 2463 | 2312k|3923k| 31 | 4 | 90 |1041 | 38 | 90 | 18 | 23 | 42k|2313 | 9.094947e-13 | 2.000000e+00 | Inf
304.39/304.50 c 290s|860000 | 2283 | 2333k|3873k| 31 | 4 | 90 |1256 | 4 | 90 | 18 | 23 | 42k|2316 | 9.094947e-13 | 2.000000e+00 | Inf
307.69/307.80 c 293s|870000 | 1484 | 2356k|2915k| 31 | - | 90 |1043 | 10 | 90 | 18 | 23 | 43k|2319 | 9.094947e-13 | 2.000000e+00 | Inf
310.79/310.95 c 296s|880000 | 1590 | 2379k|2913k| 31 | 4 | 90 |1191 | 11 | 90 | 18 | 23 | 43k|2320 | 9.094947e-13 | 2.000000e+00 | Inf
313.98/314.15 c 299s|890000 | 1389 | 2400k|2839k| 31 | - | 90 |1169 | 133 | 0 | 0 | 23 | 44k|2320 | 9.094947e-13 | 2.000000e+00 | Inf
317.19/317.34 c 302s|900000 | 919 | 2422k|2143k| 31 | - | 90 | 951 | 7 | 0 | 0 | 23 | 44k|2322 | 9.094947e-13 | 2.000000e+00 | Inf
320.29/320.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.29/320.50 c 305s|910000 | 1151 | 2443k|2366k| 31 | - | 90 |1090 | 11 | 0 | 0 | 23 | 45k|2322 | 9.094947e-13 | 2.000000e+00 | Inf
323.39/323.53 c 308s|920000 | 982 | 2464k|2322k| 31 | 4 | 90 |1199 | 4 | 90 | 18 | 23 | 45k|2322 | 9.094947e-13 | 2.000000e+00 | Inf
326.49/326.61 c 311s|930000 | 839 | 2485k|2065k| 31 | - | 90 | 848 | 7 | 90 | 18 | 23 | 45k|2324 | 9.094947e-13 | 2.000000e+00 | Inf
329.49/329.66 c 314s|940000 | 1130 | 2506k|2240k| 31 | 4 | 90 | 894 | 7 | 90 | 18 | 23 | 46k|2324 | 9.094947e-13 | 2.000000e+00 | Inf
332.68/332.83 c 317s|950000 | 1410 | 2527k|2586k| 31 | - | 90 |1105 | 63 | 0 | 0 | 23 | 47k|2326 | 9.094947e-13 | 2.000000e+00 | Inf
335.89/336.03 c 320s|960000 | 1136 | 2548k|2502k| 31 | - | 90 |1142 | 245 | 0 | 0 | 23 | 48k|2326 | 9.094947e-13 | 2.000000e+00 | Inf
339.08/339.21 c 323s|970000 | 1486 | 2569k|2847k| 31 | - | 90 |1373 | 64 | 90 | 18 | 23 | 48k|2328 | 9.094947e-13 | 2.000000e+00 | Inf
342.28/342.45 c 326s|980000 | 1602 | 2590k|3062k| 31 | - | 90 |1608 | 13 | 0 | 0 | 23 | 49k|2328 | 9.094947e-13 | 2.000000e+00 | Inf
345.67/345.83 c 330s|990000 | 1327 | 2611k|2848k| 31 | 4 | 90 |1468 | 14 | 90 | 18 | 23 | 50k|2328 | 9.094947e-13 | 2.000000e+00 | Inf
348.98/349.17 c 333s| 1000k| 1256 | 2634k|2803k| 31 | 4 | 90 |1484 | 14 | 90 | 18 | 23 | 51k|2328 | 9.094947e-13 | 2.000000e+00 | Inf
352.27/352.48 c 336s| 1010k| 1023 | 2655k|2612k| 31 | - | 90 |1446 | 19 | 90 | 18 | 23 | 52k|2328 | 9.094947e-13 | 2.000000e+00 | Inf
355.67/355.85 c 339s| 1020k| 989 | 2677k|2539k| 31 | - | 90 |1457 | 6 | 0 | 0 | 23 | 52k|2328 | 9.094947e-13 | 2.000000e+00 | Inf
358.87/359.09 c 342s| 1030k| 776 | 2699k|2242k| 31 | 4 | 90 |1324 | 25 | 90 | 18 | 23 | 53k|2328 | 9.094947e-13 | 2.000000e+00 | Inf
362.07/362.25 c 345s| 1040k| 1005 | 2720k|2479k| 31 | - | 90 |1520 | 16 | 90 | 18 | 23 | 54k|2329 | 9.094947e-13 | 2.000000e+00 | Inf
365.28/365.42 c 348s| 1050k| 772 | 2741k|2298k| 31 | - | 90 |1430 | 70 | 0 | 0 | 23 | 54k|2331 | 9.094947e-13 | 2.000000e+00 | Inf
368.37/368.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.37/368.54 c 351s| 1060k| 701 | 2761k|2136k| 31 | 4 | 90 |1142 | 25 | 90 | 18 | 23 | 55k|2332 | 9.094947e-13 | 2.000000e+00 | Inf
371.37/371.59 c 354s| 1070k| 883 | 2781k|2309k| 31 | 4 | 90 |1172 | 20 | 90 | 18 | 23 | 55k|2332 | 9.094947e-13 | 2.000000e+00 | Inf
374.57/374.75 c 357s| 1080k| 993 | 2800k|2415k| 31 | 4 | 90 |1072 | 33 | 90 | 18 | 23 | 56k|2333 | 9.094947e-13 | 2.000000e+00 | Inf
377.67/377.83 c 360s| 1090k| 719 | 2820k|2200k| 31 | - | 90 |1108 | 22 | 90 | 18 | 23 | 57k|2333 | 9.094947e-13 | 2.000000e+00 | Inf
380.77/380.93 c 363s| 1100k| 804 | 2841k|2206k| 31 | 4 | 90 |1139 | 18 | 90 | 18 | 23 | 57k|2334 | 9.094947e-13 | 2.000000e+00 | Inf
383.87/384.09 c 366s| 1110k| 604 | 2862k|2182k| 31 | - | 90 |1344 | 154 | 0 | 0 | 23 | 58k|2334 | 9.094947e-13 | 2.000000e+00 | Inf
387.07/387.27 c 369s| 1120k| 699 | 2885k|2197k| 31 | - | 90 |1269 | 21 | 0 | 0 | 23 | 59k|2334 | 9.094947e-13 | 2.000000e+00 | Inf
390.16/390.34 c 372s| 1130k| 622 | 2906k|2057k| 31 | - | 90 | 959 | 4 | 90 | 18 | 23 | 59k|2335 | 9.094947e-13 | 2.000000e+00 | Inf
393.27/393.41 c 375s| 1140k| 560 | 2928k|2002k| 31 | 4 | 90 | 946 | 4 | 90 | 18 | 23 | 60k|2335 | 9.094947e-13 | 2.000000e+00 | Inf
396.27/396.45 c 378s| 1150k| 891 | 2949k|2389k| 31 | 4 | 90 |1288 | 15 | 90 | 18 | 23 | 60k|2335 | 9.094947e-13 | 2.000000e+00 | Inf
399.47/399.64 c 381s| 1160k| 1264 | 2969k|2755k| 31 | - | 90 |1463 | 25 | 90 | 18 | 23 | 61k|2335 | 9.094947e-13 | 2.000000e+00 | Inf
402.66/402.83 c 384s| 1170k| 1234 | 2990k|2636k| 31 | - | 90 |1158 | 8 | 90 | 18 | 23 | 62k|2336 | 9.094947e-13 | 2.000000e+00 | Inf
405.86/406.03 c 387s| 1180k| 1055 | 3012k|2581k| 31 | 4 | 90 |1141 | 5 | 90 | 18 | 23 | 63k|2336 | 9.094947e-13 | 2.000000e+00 | Inf
409.06/409.20 c 390s| 1190k| 575 | 3033k|2155k| 31 | - | 90 |1190 | 5 | 90 | 18 | 23 | 64k|2336 | 9.094947e-13 | 2.000000e+00 | Inf
412.15/412.34 c 393s| 1200k| 903 | 3057k|2284k| 31 | 4 | 90 |1045 | 4 | 90 | 18 | 23 | 64k|2336 | 9.094947e-13 | 2.000000e+00 | Inf
415.25/415.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.25/415.40 c 396s| 1210k| 829 | 3079k|2345k| 31 | - | 90 |1156 | 6 | 0 | 0 | 23 | 64k|2337 | 9.094947e-13 | 2.000000e+00 | Inf
418.16/418.37 c 399s| 1220k| 757 | 3099k|2294k| 31 | 4 | 90 |1133 | 4 | 90 | 18 | 23 | 65k|2337 | 9.094947e-13 | 2.000000e+00 | Inf
421.16/421.36 c 401s| 1230k| 494 | 3120k|2034k| 31 | 4 | 90 |1080 | 11 | 90 | 18 | 23 | 65k|2337 | 9.094947e-13 | 2.000000e+00 | Inf
424.16/424.35 c 404s| 1240k| 402 | 3142k|1911k| 31 | - | 90 | 889 | 26 | 0 | 0 | 23 | 66k|2339 | 9.094947e-13 | 2.000000e+00 | Inf
427.26/427.42 c 407s| 1250k| 1574 | 3165k|2629k| 31 | - | 90 |1041 | 16 | 90 | 18 | 23 | 66k|2340 | 9.094947e-13 | 2.000000e+00 | Inf
430.35/430.58 c 410s| 1260k| 2410 | 3186k|3219k| 31 | - | 90 |1229 | 78 | 90 | 18 | 23 | 67k|2341 | 9.094947e-13 | 2.000000e+00 | Inf
433.55/433.73 c 413s| 1270k| 2749 | 3208k|3532k| 31 | - | 90 |1286 | 6 | 90 | 18 | 23 | 68k|2342 | 9.094947e-13 | 2.000000e+00 | Inf
436.75/436.93 c 416s| 1280k| 2784 | 3229k|3637k| 31 | 4 | 90 |1231 | 40 | 90 | 18 | 23 | 68k|2343 | 9.094947e-13 | 2.000000e+00 | Inf
439.86/440.02 c 419s| 1290k| 3672 | 3251k|4202k| 31 | - | 90 |1343 | 13 | 90 | 18 | 23 | 69k|2344 | 9.094947e-13 | 2.000000e+00 | Inf
442.95/443.11 c 422s| 1300k| 4125 | 3273k|4591k| 31 | - | 90 |1458 | 42 | 90 | 18 | 23 | 69k|2344 | 9.094947e-13 | 2.000000e+00 | Inf
446.15/446.34 c 425s| 1310k| 4602 | 3294k|4984k| 31 | 4 | 90 |1565 | 9 | 90 | 18 | 23 | 70k|2344 | 9.094947e-13 | 2.000000e+00 | Inf
449.34/449.56 c 428s| 1320k| 5142 | 3315k|5428k| 31 | - | 90 |1746 | 56 | 90 | 18 | 23 | 70k|2346 | 9.094947e-13 | 2.000000e+00 | Inf
452.75/452.91 c 431s| 1330k| 4885 | 3335k|5362k| 31 | - | 90 |1702 | 4 | 90 | 18 | 23 | 71k|2346 | 9.094947e-13 | 2.000000e+00 | Inf
456.04/456.20 c 435s| 1340k| 4722 | 3357k|5306k| 31 | 4 | 90 |1605 | 4 | 90 | 18 | 23 | 71k|2348 | 9.094947e-13 | 2.000000e+00 | Inf
459.24/459.49 c 438s| 1350k| 4357 | 3378k|5102k| 31 | 4 | 90 |1406 | 4 | 90 | 18 | 23 | 72k|2348 | 9.094947e-13 | 2.000000e+00 | Inf
462.54/462.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.54/462.70 c 441s| 1360k| 4164 | 3399k|5085k| 31 | - | 90 |1500 | 22 | 0 | 0 | 23 | 73k|2348 | 9.094947e-13 | 2.000000e+00 | Inf
465.74/465.93 c 444s| 1370k| 3991 | 3419k|4971k| 31 | - | 90 |1339 | 57 | 90 | 18 | 23 | 73k|2349 | 9.094947e-13 | 2.000000e+00 | Inf
468.94/469.13 c 447s| 1380k| 4593 | 3441k|5435k| 31 | 4 | 90 |1558 | 4 | 90 | 18 | 23 | 74k|2350 | 9.094947e-13 | 2.000000e+00 | Inf
472.13/472.39 c 450s| 1390k| 4444 | 3462k|5470k| 31 | 4 | 90 |1612 | 42 | 90 | 18 | 23 | 74k|2352 | 9.094947e-13 | 2.000000e+00 | Inf
475.44/475.66 c 453s| 1400k| 4276 | 3483k|5451k| 31 | - | 90 |1738 | 4 | 0 | 0 | 23 | 75k|2356 | 9.094947e-13 | 2.000000e+00 | Inf
478.84/479.02 c 456s| 1410k| 3867 | 3504k|5145k| 31 | - | 90 |1518 | 7 | 0 | 0 | 23 | 76k|2356 | 9.094947e-13 | 2.000000e+00 | Inf
482.04/482.24 c 459s| 1420k| 3622 | 3525k|4997k| 31 | - | 90 |1487 | 7 | 90 | 18 | 23 | 76k|2357 | 9.094947e-13 | 2.000000e+00 | Inf
485.23/485.42 c 462s| 1430k| 3424 | 3547k|4885k| 31 | 4 | 90 |1468 | 5 | 90 | 18 | 23 | 77k|2357 | 9.094947e-13 | 2.000000e+00 | Inf
488.44/488.63 c 465s| 1440k| 2983 | 3567k|4557k| 31 | - | 90 |1385 | 4 | 90 | 18 | 23 | 77k|2358 | 9.094947e-13 | 2.000000e+00 | Inf
491.73/491.93 c 468s| 1450k| 2676 | 3588k|4397k| 31 | 4 | 90 |1533 | 87 | 90 | 18 | 23 | 78k|2358 | 9.094947e-13 | 2.000000e+00 | Inf
495.03/495.27 c 472s| 1460k| 1881 | 3609k|3658k| 31 | 4 | 90 |1242 | 17 | 90 | 18 | 23 | 79k|2360 | 9.094947e-13 | 2.000000e+00 | Inf
498.33/498.52 c 475s| 1470k| 1497 | 3631k|3366k| 31 | - | 90 |1340 | 10 | 90 | 18 | 23 | 79k|2362 | 9.094947e-13 | 2.000000e+00 | Inf
501.43/501.62 c 478s| 1480k| 1980 | 3652k|3718k| 31 | - | 90 |1602 | 4 | 0 | 0 | 23 | 80k|2362 | 9.094947e-13 | 2.000000e+00 | Inf
504.73/504.91 c 481s| 1490k| 2443 | 3673k|4147k| 31 | 4 | 90 |1762 | 5 | 90 | 18 | 23 | 80k|2363 | 9.094947e-13 | 2.000000e+00 | Inf
508.03/508.27 c 484s| 1500k| 2291 | 3694k|4135k| 31 | - | 90 |1689 | 4 | 90 | 18 | 23 | 81k|2364 | 9.094947e-13 | 2.000000e+00 | Inf
511.42/511.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.42/511.64 c 487s| 1510k| 2044 | 3715k|4014k| 31 | 4 | 90 |1687 | 10 | 90 | 18 | 23 | 82k|2365 | 9.094947e-13 | 2.000000e+00 | Inf
514.92/515.10 c 491s| 1520k| 1328 | 3735k|3318k| 31 | - | 90 |1548 | 4 | 0 | 0 | 23 | 83k|2365 | 9.094947e-13 | 2.000000e+00 | Inf
518.12/518.35 c 494s| 1530k| 1357 | 3758k|3408k| 31 | - | 90 |1659 | 53 | 90 | 18 | 23 | 83k|2367 | 9.094947e-13 | 2.000000e+00 | Inf
521.52/521.71 c 497s| 1540k| 767 | 3779k|2703k| 31 | - | 90 |1547 | 184 | 0 | 0 | 23 | 84k|2368 | 9.094947e-13 | 2.000000e+00 | Inf
524.83/525.03 c 500s| 1550k| 600 | 3802k|2238k| 31 | - | 90 |1505 | 15 | 90 | 18 | 23 | 85k|2375 | 9.094947e-13 | 2.000000e+00 | Inf
528.01/528.27 c 503s| 1560k| 1049 | 3822k|2620k| 31 | - | 90 |1591 | 5 | 90 | 18 | 23 | 85k|2412 | 9.094947e-13 | 2.000000e+00 | Inf
531.21/531.49 c 506s| 1570k| 1113 | 3842k|2722k| 31 | 4 | 90 |1663 | 38 | 90 | 18 | 23 | 86k|2420 | 9.094947e-13 | 2.000000e+00 | Inf
534.61/534.81 c 509s| 1580k| 1488 | 3863k|3109k| 31 | 4 | 90 |1837 | 5 | 90 | 18 | 23 | 87k|2420 | 9.094947e-13 | 2.000000e+00 | Inf
537.82/538.08 c 512s| 1590k| 1591 | 3884k|3134k| 31 | - | 90 |1661 | 7 | 90 | 18 | 23 | 87k|2423 | 9.094947e-13 | 2.000000e+00 | Inf
541.02/541.26 c 516s| 1600k| 1923 | 3905k|3482k| 31 | - | 90 |1815 | 4 | 90 | 18 | 23 | 88k|2424 | 9.094947e-13 | 2.000000e+00 | Inf
544.32/544.57 c 519s| 1610k| 1503 | 3926k|3200k| 31 | 4 | 90 |1553 | 7 | 90 | 18 | 23 | 88k|2429 | 9.094947e-13 | 2.000000e+00 | Inf
547.61/547.82 c 522s| 1620k| 1716 | 3947k|3456k| 31 | 4 | 90 |1732 | 13 | 90 | 18 | 23 | 89k|2430 | 9.094947e-13 | 2.000000e+00 | Inf
551.11/551.31 c 525s| 1630k| 1551 | 3967k|3336k| 31 | - | 90 |1688 | 11 | 90 | 18 | 23 | 89k|2435 | 9.094947e-13 | 2.000000e+00 | Inf
554.41/554.63 c 528s| 1640k| 1664 | 3988k|3304k| 31 | - | 90 |1645 | 5 | 0 | 0 | 23 | 90k|2437 | 9.094947e-13 | 2.000000e+00 | Inf
557.51/557.78 c 531s| 1650k| 1834 | 4009k|3596k| 31 | - | 90 |1822 | 4 | 90 | 18 | 23 | 91k|2437 | 9.094947e-13 | 2.000000e+00 | Inf
560.81/561.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
560.81/561.01 c 534s| 1660k| 1693 | 4030k|3598k| 31 | - | 90 |1882 | 74 | 0 | 0 | 23 | 91k|2437 | 9.094947e-13 | 2.000000e+00 | Inf
564.01/564.30 c 537s| 1670k| 1392 | 4052k|3307k| 31 | 4 | 90 |1783 | 5 | 90 | 18 | 23 | 92k|2438 | 9.094947e-13 | 2.000000e+00 | Inf
567.31/567.60 c 541s| 1680k| 1357 | 4073k|3371k| 31 | 4 | 90 |1847 | 4 | 90 | 18 | 23 | 93k|2440 | 9.094947e-13 | 2.000000e+00 | Inf
570.61/570.90 c 544s| 1690k| 1612 | 4096k|3564k| 31 | 4 | 90 |1921 | 4 | 90 | 18 | 23 | 93k|2451 | 9.094947e-13 | 2.000000e+00 | Inf
574.10/574.38 c 547s| 1700k| 1272 | 4118k|3290k| 31 | - | 90 |1890 | 11 | 0 | 0 | 23 | 94k|2454 | 9.094947e-13 | 2.000000e+00 | Inf
577.50/577.78 c 550s| 1710k| 468 | 4138k|2307k| 31 | - | 90 |1567 | 7 | 0 | 0 | 23 | 94k|2459 | 9.094947e-13 | 2.000000e+00 | Inf
581.00/581.28 c 554s| 1720k| 348 | 4161k|2128k| 31 | - | 90 |1535 | 269 | 0 | 0 | 23 | 95k|2626 | 9.094947e-13 | 2.000000e+00 | Inf
584.20/584.43 c 557s| 1730k| 461 | 4183k|2221k| 31 | - | 90 |1555 | 8 | 90 | 18 | 23 | 96k|2626 | 9.094947e-13 | 2.000000e+00 | Inf
587.30/587.56 c 560s| 1740k| 516 | 4206k|2225k| 31 | 4 | 90 |1493 | 11 | 90 | 18 | 23 | 96k|2627 | 9.094947e-13 | 2.000000e+00 | Inf
590.41/590.64 c 562s| 1750k| 734 | 4229k|2448k| 31 | - | 90 |1582 | 4 | 90 | 18 | 23 | 96k|2628 | 9.094947e-13 | 2.000000e+00 | Inf
593.50/593.79 c 565s| 1760k| 664 | 4252k|2468k| 31 | - | 90 |1667 | 4 | 0 | 0 | 23 | 97k|2628 | 9.094947e-13 | 2.000000e+00 | Inf
596.70/596.91 c 568s| 1770k| 541 | 4274k|2389k| 31 | - | 90 |1666 | 6 | 0 | 0 | 23 | 97k|2629 | 9.094947e-13 | 2.000000e+00 | Inf
599.69/599.99 c 571s| 1780k| 409 | 4295k|2282k| 31 | - | 90 |1696 | 31 | 90 | 18 | 23 | 98k|2632 | 9.094947e-13 | 2.000000e+00 | Inf
602.89/603.12 c 574s| 1790k| 387 | 4317k|2284k| 31 | 4 | 90 |1834 | 5 | 90 | 18 | 23 | 98k|2633 | 9.094947e-13 | 2.000000e+00 | Inf
606.10/606.35 c 577s| 1800k| 337 | 4338k|2263k| 31 | 4 | 90 |1871 | 53 | 90 | 18 | 23 | 99k|2635 | 9.094947e-13 | 2.000000e+00 | Inf
609.49/609.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.49/609.75 c 581s| 1810k| 399 | 4361k|2083k| 31 | 4 | 90 |1337 | 86 | 90 | 18 | 23 | 99k|2636 | 9.094947e-13 | 2.000000e+00 | Inf
612.60/612.90 c 584s| 1820k| 396 | 4382k|2110k| 31 | 4 | 90 |1208 | 4 | 90 | 18 | 23 | 100k|2636 | 9.094947e-13 | 2.000000e+00 | Inf
615.70/615.99 c 587s| 1830k| 401 | 4404k|2195k| 31 | - | 90 |1454 | 6 | 0 | 0 | 23 | 101k|2637 | 9.094947e-13 | 2.000000e+00 | Inf
618.89/619.12 c 590s| 1840k| 389 | 4426k|2145k| 31 | - | 90 |1414 | 6 | 90 | 18 | 23 | 101k|2637 | 9.094947e-13 | 2.000000e+00 | Inf
621.98/622.22 c 593s| 1850k| 210 | 4447k|1929k| 31 | - | 90 |1175 | 4 | 90 | 18 | 23 | 101k|2637 | 9.094947e-13 | 2.000000e+00 | Inf
625.19/625.42 c 596s| 1860k| 765 | 4470k|2336k| 31 | - | 90 |1281 | 6 | 90 | 18 | 23 | 102k|2637 | 9.094947e-13 | 2.000000e+00 | Inf
628.48/628.72 c 599s| 1870k| 522 | 4494k|2259k| 31 | - | 90 |1257 | 9 | 0 | 0 | 23 | 103k|2637 | 9.094947e-13 | 2.000000e+00 | Inf
631.69/631.93 c 602s| 1880k| 557 | 4516k|2183k| 31 | - | 90 |1364 | 22 | 90 | 18 | 23 | 104k|2638 | 9.094947e-13 | 2.000000e+00 | Inf
634.78/635.03 c 605s| 1890k| 717 | 4538k|2440k| 31 | 4 | 90 |1477 | 10 | 90 | 18 | 23 | 104k|2638 | 9.094947e-13 | 2.000000e+00 | Inf
637.89/638.18 c 608s| 1900k| 1132 | 4558k|2836k| 31 | 4 | 90 |1678 | 5 | 90 | 18 | 23 | 105k|2641 | 9.094947e-13 | 2.000000e+00 | Inf
641.08/641.37 c 611s| 1910k| 1150 | 4579k|2901k| 31 | - | 90 |1557 | 9 | 90 | 18 | 23 | 105k|2643 | 9.094947e-13 | 2.000000e+00 | Inf
644.29/644.57 c 614s| 1920k| 464 | 4599k|2380k| 31 | - | 90 |1507 | 42 | 0 | 0 | 23 | 106k|2644 | 9.094947e-13 | 2.000000e+00 | Inf
647.48/647.76 c 617s| 1930k| 367 | 4619k|1969k| 31 | 4 | 90 | 948 | 35 | 90 | 18 | 23 | 106k|2644 | 9.094947e-13 | 2.000000e+00 | Inf
650.68/650.92 c 620s| 1940k| 493 | 4640k|2189k| 31 | 4 | 90 |1186 | 12 | 90 | 18 | 23 | 107k|2644 | 9.094947e-13 | 2.000000e+00 | Inf
653.78/654.09 c 623s| 1950k| 392 | 4663k|2168k| 31 | 4 | 90 |1248 | 93 | 90 | 18 | 23 | 108k|2644 | 9.094947e-13 | 2.000000e+00 | Inf
656.98/657.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.98/657.28 c 626s| 1960k| 198 | 4686k|1911k| 31 | - | 90 |1033 | 4 | 90 | 18 | 23 | 108k|2644 | 9.094947e-13 | 2.000000e+00 | Inf
659.98/660.29 c 629s| 1970k| 389 | 4708k|1947k| 31 | - | 90 | 912 | 6 | 90 | 18 | 23 | 109k|2645 | 9.094947e-13 | 2.000000e+00 | Inf
662.98/663.24 c 632s| 1980k| 488 | 4730k|2100k| 31 | 4 | 90 |1055 | 12 | 90 | 18 | 23 | 109k|2645 | 9.094947e-13 | 2.000000e+00 | Inf
665.98/666.25 c 634s| 1990k| 341 | 4751k|2009k| 31 | 4 | 90 | 997 | 13 | 90 | 18 | 23 | 110k|2645 | 9.094947e-13 | 2.000000e+00 | Inf
668.97/669.26 c 637s| 2000k| 142 | 4771k|1855k| 31 | 4 | 90 |1037 | 6 | 90 | 18 | 23 | 110k|2645 | 9.094947e-13 | 2.000000e+00 | Inf
671.38/671.66 c
671.38/671.66 c SCIP Status : problem is solved [optimal solution found]
671.38/671.66 c Solving Time (sec) : 639.52
671.38/671.66 c Solving Nodes : 2007728
671.38/671.66 c Primal Bound : +2.00000000000000e+00 (38 solutions)
671.38/671.66 c Dual Bound : +2.00000000000000e+00
671.38/671.66 c Gap : 0.00 %
671.38/671.66 c NODE 2007728
671.38/671.66 c DUAL BOUND 2
671.38/671.66 c PRIMAL BOUND 2
671.38/671.66 c GAP 0
671.38/671.66 s OPTIMUM FOUND
671.38/671.66 v x94 -x93 x92 -x91 x90 -x89 -x88 x87 -x86 x85 x84 -x83 x82 -x81 -x80 -x79 x78 -x77 x76 -x75 x74 x73 -x72 -x71 x70 -x69 -x68 x67
671.38/671.66 v -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
671.38/671.66 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
671.38/671.66 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
671.38/671.66 c SCIP Status : problem is solved [optimal solution found]
671.38/671.66 c Solving Time : 639.52
671.38/671.66 c Original Problem :
671.38/671.66 c Problem name : HOME/instance-1869545-1245177834.opb
671.38/671.66 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
671.38/671.66 c Constraints : 8 initial, 8 maximal
671.38/671.66 c Presolved Problem :
671.38/671.66 c Problem name : t_HOME/instance-1869545-1245177834.opb
671.38/671.66 c Variables : 90 (90 binary, 0 integer, 0 implicit integer, 0 continuous)
671.38/671.66 c Constraints : 4 initial, 2597 maximal
671.38/671.66 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
671.38/671.66 c trivial : 0.00 0 0 0 0 0 0 0 0
671.38/671.66 c dualfix : 0.00 0 0 0 0 0 0 0 0
671.38/671.66 c boundshift : 0.00 0 0 0 0 0 0 0 0
671.38/671.66 c inttobinary : 0.00 0 0 0 0 0 0 0 0
671.38/671.66 c implics : 0.00 0 0 0 0 0 0 0 0
671.38/671.66 c probing : 0.01 0 0 0 0 0 0 0 0
671.38/671.66 c linear : 0.00 0 4 0 0 0 4 0 0
671.38/671.66 c logicor : 0.00 0 0 0 0 0 0 0 0
671.38/671.66 c root node : - 58 - - 58 - - - -
671.38/671.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
671.38/671.66 c integral : 0 0 0 1018356 0 118 935 0 0 2034594
671.38/671.66 c linear : 4 6 2479143 2 0 490148 3126990 20 0 0
671.38/671.67 c logicor : 0+ 0 1205596 0 0 413 57100 0 0 0
671.38/671.67 c countsols : 0 0 0 16 0 0 0 0 0 0
671.38/671.67 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
671.38/671.67 c integral : 10.06 0.00 0.00 10.06 0.00
671.38/671.67 c linear : 98.71 0.00 98.71 0.00 0.00
671.38/671.67 c logicor : 32.46 0.00 32.46 0.00 0.00
671.38/671.67 c countsols : 0.00 0.00 0.00 0.00 0.00
671.38/671.67 c Propagators : Time Calls Cutoffs DomReds
671.38/671.67 c rootredcost : 0.92 37 0 56
671.38/671.67 c pseudoobj : 13.73 2498151 19155 124156
671.38/671.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
671.38/671.67 c propagation : 20.05 509716 108078 154604 23.1 0 0.0 -
671.38/671.67 c infeasible LP : 2.28 511192 0 0 0.0 0 0.0 0
671.38/671.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
671.38/671.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
671.38/671.67 c pseudo solution : 0.00 1 1 1 19.0 0 0.0 -
671.38/671.67 c applied globally : - - - 110760 22.9 - - -
671.38/671.67 c applied locally : - - - 120 31.9 - - -
671.38/671.67 c Separators : Time Calls Cutoffs DomReds Cuts Conss
671.38/671.67 c cut pool : 0.00 5 - - 42 - (maximal pool size: 88)
671.38/671.67 c redcost : 6.69 1061208 0 471932 0 0
671.38/671.67 c impliedbounds : 0.00 6 0 0 0 0
671.38/671.67 c intobj : 0.00 0 0 0 0 0
671.38/671.67 c gomory : 0.02 6 0 0 0 0
671.38/671.67 c strongcg : 0.00 6 0 0 13 0
671.38/671.67 c cmir : 0.01 6 0 0 31 0
671.38/671.67 c flowcover : 0.01 6 0 0 41 0
671.38/671.67 c clique : 0.00 1 0 0 0 0
671.38/671.67 c zerohalf : 0.00 0 0 0 0 0
671.38/671.67 c mcf : 0.00 1 0 0 0 0
671.38/671.67 c Pricers : Time Calls Vars
671.38/671.67 c problem variables: 0.00 0 0
671.38/671.67 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
671.38/671.67 c relpscost : 9.09 1018340 118 935 0 0 2034594
671.38/671.67 c pscost : 0.00 0 0 0 0 0 0
671.38/671.67 c inference : 0.00 0 0 0 0 0 0
671.38/671.67 c mostinf : 0.00 0 0 0 0 0 0
671.38/671.67 c leastinf : 0.00 0 0 0 0 0 0
671.38/671.67 c fullstrong : 0.00 0 0 0 0 0 0
671.38/671.67 c allfullstrong : 0.00 0 0 0 0 0 0
671.38/671.67 c random : 0.00 0 0 0 0 0 0
671.38/671.67 c Primal Heuristics : Time Calls Found
671.38/671.67 c LP solutions : 0.00 - 16
671.38/671.67 c pseudo solutions : 0.00 - 0
671.38/671.67 c feaspump : 0.14 1 0
671.38/671.67 c oneopt : 0.71 33 0
671.38/671.67 c crossover : 2.06 8 0
671.38/671.67 c guideddiving : 0.46 329 4
671.38/671.67 c veclendiving : 0.41 329 2
671.38/671.67 c pscostdiving : 0.47 329 2
671.38/671.67 c linesearchdiving : 0.36 329 3
671.38/671.67 c rootsoldiving : 0.47 165 0
671.38/671.67 c coefdiving : 0.46 330 3
671.38/671.67 c fracdiving : 0.52 330 3
671.38/671.67 c objpscostdiving : 0.36 166 1
671.38/671.67 c simplerounding : 0.51 0 0
671.38/671.67 c rounding : 0.88 14559 0
671.38/671.67 c shifting : 24.53 36721 4
671.38/671.67 c intshifting : 0.08 0 0
671.38/671.67 c fixandinfer : 0.00 0 0
671.38/671.67 c intdiving : 0.00 0 0
671.38/671.67 c actconsdiving : 0.00 0 0
671.38/671.67 c octane : 0.00 0 0
671.38/671.67 c rens : 0.09 1 0
671.38/671.67 c rins : 0.00 0 0
671.38/671.67 c localbranching : 0.00 0 0
671.38/671.67 c mutation : 0.00 0 0
671.38/671.67 c dins : 0.00 0 0
671.38/671.67 c LP : Time Calls Iterations Iter/call Iter/sec
671.38/671.67 c primal LP : 0.00 0 0 0.00 -
671.38/671.67 c dual LP : 287.03 1569223 4766241 3.04 16605.38
671.38/671.67 c barrier LP : 0.00 0 0 0.00 -
671.38/671.67 c diving/probing LP: 1.47 8565 22432 2.62 15259.86
671.38/671.67 c strong branching : 0.77 2645 12394 4.69 16096.10
671.38/671.67 c (at root node) : - 17 464 27.29 -
671.38/671.67 c conflict analysis: 0.00 0 0 0.00 -
671.38/671.67 c B&B Tree :
671.38/671.67 c number of runs : 1
671.38/671.67 c nodes : 2007728
671.38/671.67 c nodes (total) : 2007728
671.38/671.67 c nodes left : 0
671.38/671.67 c max depth : 31
671.38/671.67 c max depth (total): 31
671.38/671.67 c backtracks : 527619 (26.3%)
671.38/671.67 c delayed cutoffs : 26387
671.38/671.67 c repropagations : 71870 (175532 domain reductions, 25994 cutoffs)
671.38/671.67 c avg switch length: 4.39
671.38/671.67 c switching time : 72.00
671.38/671.67 c Solution :
671.38/671.67 c Solutions found : 38 (37 improvements)
671.38/671.67 c Primal Bound : +2.00000000000000e+00 (in run 1, after 749384 nodes, 255.46 seconds, depth 22, found by <relaxation>)
671.38/671.67 c Dual Bound : +2.00000000000000e+00
671.38/671.67 c Gap : 0.00 %
671.38/671.67 c Root Dual Bound : +4.54747350886464e-13
671.38/671.68 c Time complete: 671.45.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869545-1245177834/watcher-1869545-1245177834 -o /tmp/evaluation-result-1869545-1245177834/solver-1869545-1245177834 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869545-1245177834.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: 1.00 1.00 1.00 3/64 650
/proc/meminfo: memFree=1845428/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=5812 CPUtime=0
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 185380641 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/650/statm: 1453 505 334 1256 0 192 0
[startup+0.015726 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 650
/proc/meminfo: memFree=1845428/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=12996 CPUtime=0
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 2370 0 0 0 0 0 0 0 18 0 1 0 185380641 13307904 2000 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 3249 2009 455 1256 0 1988 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12996
[startup+0.101742 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 650
/proc/meminfo: memFree=1845428/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=23460 CPUtime=0.09
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 4487 0 0 0 8 1 0 0 18 0 1 0 185380641 24023040 4116 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 5865 4116 681 1256 0 4604 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23460
[startup+0.301775 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 650
/proc/meminfo: memFree=1845428/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=16080 CPUtime=0.29
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 4602 0 0 0 26 3 0 0 19 0 1 0 185380641 16465920 2654 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 4020 2654 698 1256 0 2759 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16080
[startup+0.701844 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 650
/proc/meminfo: memFree=1845428/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=16232 CPUtime=0.69
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 4641 0 0 0 64 5 0 0 22 0 1 0 185380641 16621568 2693 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 4058 2693 700 1256 0 2797 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16232
[startup+1.50298 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 651
/proc/meminfo: memFree=1837228/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=16632 CPUtime=1.5
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 7067 0 0 0 141 9 0 0 25 0 1 0 185380641 17031168 2858 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 4158 2858 700 1256 0 2897 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 16632
[startup+3.10125 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 651
/proc/meminfo: memFree=1836460/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=16696 CPUtime=3.09
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 9358 0 0 0 292 17 0 0 25 0 1 0 185380641 17096704 2977 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 4174 2977 700 1256 0 2913 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16696
[startup+6.30179 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 651
/proc/meminfo: memFree=1832748/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=19860 CPUtime=6.29
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 10246 0 0 0 598 31 0 0 25 0 1 0 185380641 20336640 3865 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 4965 3865 700 1256 0 3704 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19860
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 651
/proc/meminfo: memFree=1831980/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=20184 CPUtime=12.69
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 10369 0 0 0 1210 59 0 0 25 0 1 0 185380641 20668416 3988 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 5046 3988 700 1256 0 3785 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20184
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 651
/proc/meminfo: memFree=1833324/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=20328 CPUtime=25.48
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 10736 0 0 0 2445 103 0 0 25 0 1 0 185380641 20815872 3669 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 5082 3669 700 1256 0 3821 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20328
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 651
/proc/meminfo: memFree=1833196/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=20328 CPUtime=51.07
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 12039 0 0 0 4900 207 0 0 25 0 1 0 185380641 20815872 3672 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 5082 3672 700 1256 0 3821 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20328
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 651
/proc/meminfo: memFree=1829740/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=22672 CPUtime=102.26
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 13680 0 0 0 9784 442 0 0 25 0 1 0 185380641 23216128 4522 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 5668 4522 700 1256 0 4407 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 22672
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 651
/proc/meminfo: memFree=1829676/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=22672 CPUtime=162.23
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 13730 0 0 0 15502 721 0 0 25 0 1 0 185380641 23216128 4572 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 5668 4572 700 1256 0 4407 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 22672
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 651
/proc/meminfo: memFree=1829676/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=22672 CPUtime=222.22
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 13738 0 0 0 21211 1011 0 0 25 0 1 0 185380641 23216128 4580 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 5668 4580 700 1256 0 4407 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 22672
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 651
/proc/meminfo: memFree=1825068/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=27460 CPUtime=282.21
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 14994 0 0 0 26920 1301 0 0 25 0 1 0 185380641 28119040 5836 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6865 5836 700 1256 0 5604 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 27460
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 651
/proc/meminfo: memFree=1824556/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=342.18
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 17207 0 0 0 32625 1593 0 0 25 0 1 0 185380641 27631616 5781 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5781 700 1256 0 5485 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 26984
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 651
/proc/meminfo: memFree=1824492/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=402.16
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 17948 0 0 0 38332 1884 0 0 25 0 1 0 185380641 27631616 5785 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5785 700 1256 0 5485 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 26984
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 651
/proc/meminfo: memFree=1824428/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=462.14
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 17981 0 0 0 44030 2184 0 0 25 0 1 0 185380641 27631616 5818 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5818 700 1256 0 5485 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 26984
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 653
/proc/meminfo: memFree=1824044/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=522.12
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 17981 0 0 0 49746 2466 0 0 25 0 1 0 185380641 27631616 5818 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5818 700 1256 0 5485 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 26984
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 653
/proc/meminfo: memFree=1824044/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=582.1
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 18743 0 0 0 55459 2751 0 0 25 0 1 0 185380641 27631616 5819 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5819 700 1256 0 5485 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 26984
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 653
/proc/meminfo: memFree=1824044/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=642.09
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 18743 0 0 0 61166 3043 0 0 25 0 1 0 185380641 27631616 5819 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5819 700 1256 0 5485 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 26984
Solver just ended. Dumping a history of the last processes samples
[startup+652.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 653
/proc/meminfo: memFree=1824044/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=652.48
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 18743 0 0 0 62155 3093 0 0 25 0 1 0 185380641 27631616 5819 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5819 700 1256 0 5485 0
Current children cumulated CPU time (s) 652.48
Current children cumulated vsize (KiB) 26984
[startup+659.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 653
/proc/meminfo: memFree=1824044/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=658.88
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 18743 0 0 0 62762 3126 0 0 25 0 1 0 185380641 27631616 5819 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5819 700 1256 0 5485 0
Current children cumulated CPU time (s) 658.88
Current children cumulated vsize (KiB) 26984
[startup+665.506 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 653
/proc/meminfo: memFree=1824044/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=665.28
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 18743 0 0 0 63368 3160 0 0 25 0 1 0 185380641 27631616 5819 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5819 700 1256 0 5485 0
Current children cumulated CPU time (s) 665.28
Current children cumulated vsize (KiB) 26984
[startup+668.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 653
/proc/meminfo: memFree=1824044/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=668.48
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 18743 0 0 0 63670 3178 0 0 25 0 1 0 185380641 27631616 5819 1992294400 4194304 9342243 548682068736 18446744073709551615 4686206 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5819 700 1256 0 5485 0
Current children cumulated CPU time (s) 668.48
Current children cumulated vsize (KiB) 26984
[startup+670.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 653
/proc/meminfo: memFree=1824044/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=670.08
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 18743 0 0 0 63822 3186 0 0 25 0 1 0 185380641 27631616 5819 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5819 700 1256 0 5485 0
Current children cumulated CPU time (s) 670.08
Current children cumulated vsize (KiB) 26984
[startup+671.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 653
/proc/meminfo: memFree=1824044/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=670.87
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 18743 0 0 0 63898 3189 0 0 25 0 1 0 185380641 27631616 5819 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5819 700 1256 0 5485 0
Current children cumulated CPU time (s) 670.87
Current children cumulated vsize (KiB) 26984
[startup+671.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 653
/proc/meminfo: memFree=1824044/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=671.27
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 18743 0 0 0 63936 3191 0 0 25 0 1 0 185380641 27631616 5819 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5819 700 1256 0 5485 0
Current children cumulated CPU time (s) 671.27
Current children cumulated vsize (KiB) 26984
[startup+671.602 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 653
/proc/meminfo: memFree=1824044/2055920 swapFree=4181368/4192956
[pid=650] ppid=648 vsize=26984 CPUtime=671.38
/proc/650/stat : 650 (pbscip.linux.x8) R 648 650 585 0 -1 4194304 18743 0 0 0 63946 3192 0 0 25 0 1 0 185380641 27631616 5819 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/650/statm: 6746 5819 700 1256 0 5485 0
Current children cumulated CPU time (s) 671.38
Current children cumulated vsize (KiB) 26984
Child status: 0
Real time (s): 671.681
CPU time (s): 671.462
CPU user time (s): 639.53
CPU system time (s): 31.9321
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 33148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 639.53
system time used= 31.9321
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18747
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= 761
runsolver used 0.425935 second user time and 1.46578 second system time
The end
Begin job on node43 at 2009-06-16 20:43:54
IDJOB=1869545
IDBENCH=2927
IDSOLVER=684
FILE ID=node43/1869545-1245177834
PBS_JOBID= 9363947
Free space on /tmp= 66192 MiB
SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869545-1245177834/watcher-1869545-1245177834 -o /tmp/evaluation-result-1869545-1245177834/solver-1869545-1245177834 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869545-1245177834.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114
RANDOM SEED=662286634
node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1845844 kB
Buffers: 47364 kB
Cached: 101780 kB
SwapCached: 5352 kB
Active: 39628 kB
Inactive: 117360 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1845844 kB
SwapTotal: 4192956 kB
SwapFree: 4181368 kB
Dirty: 11740 kB
Writeback: 0 kB
Mapped: 13588 kB
Slab: 38960 kB
Committed_AS: 174684 kB
PageTables: 1448 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66180 MiB
End job on node43 at 2009-06-16 20:55:06