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-1869551-1245178269.opb>
0.00/0.01 c original problem has 71 variables (71 bin, 0 int, 0 impl, 0 cont) and 17 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 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) 1 del vars, 9 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 1 deleted vars, 9 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 70 variables (70 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.03 c OPT-LIN
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = c 1620
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = c 1791
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = c 10000
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving problem
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 41 | 341k| 0 | 8 | 70 | 8 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 144 | 389k| 0 | 13 | 70 | 8 | 8 | 70 | 15 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 151 | 413k| 0 | 14 | 70 | 8 | 8 | 70 | 20 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.08 c 0.1s| 1 | 0 | 161 | 448k| 0 | 17 | 70 | 8 | 8 | 70 | 23 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 169 | 473k| 0 | 19 | 70 | 8 | 8 | 70 | 25 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 176 | 485k| 0 | 22 | 70 | 8 | 8 | 70 | 27 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 190 | 488k| 0 | 22 | 70 | 8 | 8 | 70 | 29 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.3s| 1 | 2 | 190 | 489k| 0 | 22 | 70 | 8 | 8 | 70 | 29 | 21 | 0 | 22 | 0.000000e+00 | -- | Inf
6.99/7.07 c 6.9s| 10000 | 2741 | 36455 |1831k| 58 | - | 70 | 25 | 9 | 70 | 23 | 21 | 119 | 681 | 0.000000e+00 | -- | Inf
13.28/13.34 c 13.0s| 20000 | 5601 | 70761 |3155k| 61 | 8 | 70 | 26 | 14 | 70 | 23 | 21 | 222 | 873 | 0.000000e+00 | -- | Inf
19.59/19.60 c 19.1s| 30000 | 8064 |106274 |4345k| 61 | 8 | 70 | 29 | 8 | 70 | 23 | 21 | 336 |1038 | 0.000000e+00 | -- | Inf
25.78/25.87 c 25.1s| 40000 | 10554 |141586 |5545k| 61 | - | 70 | 29 | 8 | 70 | 23 | 21 | 416 |1215 | 0.000000e+00 | -- | Inf
31.98/32.03 c 31.1s| 50000 | 13170 |176216 |6789k| 61 | 8 | 70 | 27 | 8 | 70 | 23 | 21 | 520 |1351 | 0.000000e+00 | -- | Inf
38.18/38.23 c 37.1s| 60000 | 15246 |211349 |7842k| 61 | 8 | 70 | 27 | 8 | 70 | 23 | 21 | 612 |1483 | 0.000000e+00 | -- | Inf
44.38/44.45 c 43.2s| 70000 | 17584 |246566 |9004k| 61 | 8 | 70 | 32 | 9 | 70 | 23 | 21 | 717 |1585 | 0.000000e+00 | -- | Inf
50.58/50.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.58/50.61 c 49.1s| 80000 | 19986 |281119 | 10M| 61 | 8 | 70 | 34 | 8 | 70 | 23 | 21 | 811 |1695 | 0.000000e+00 | -- | Inf
56.68/56.72 c 55.1s| 90000 | 22283 |315435 | 11M| 61 | - | 70 | 34 | 8 | 70 | 23 | 21 | 901 |1799 | 0.000000e+00 | -- | Inf
62.77/62.89 c 61.1s|100000 | 24359 |350026 | 12M| 61 | 8 | 70 | 47 | 9 | 70 | 23 | 21 |1006 |1872 | 0.000000e+00 | -- | Inf
69.07/69.11 c 67.1s|110000 | 26432 |384410 | 13M| 61 | - | 70 | 60 | 9 | 70 | 23 | 21 |1115 |1943 | 0.000000e+00 | -- | Inf
75.07/75.13 c 73.0s|120000 | 29112 |418279 | 14M| 61 | 8 | 70 | 73 | 8 | 70 | 23 | 21 |1207 |1994 | 0.000000e+00 | -- | Inf
81.17/81.23 c 78.9s|130000 | 31448 |452938 | 15M| 61 | 8 | 70 | 79 | 9 | 70 | 23 | 21 |1301 |2064 | 0.000000e+00 | -- | Inf
87.27/87.35 c 84.9s|140000 | 34309 |487832 | 17M| 61 | 8 | 70 | 78 | 8 | 70 | 23 | 21 |1362 |2146 | 0.000000e+00 | -- | Inf
93.47/93.50 c 90.8s|150000 | 36541 |521986 | 18M| 61 | - | 70 | 68 | 9 | 70 | 23 | 21 |1436 |2220 | 0.000000e+00 | -- | Inf
99.47/99.52 c 96.7s|160000 | 39297 |555926 | 19M| 61 | 8 | 70 | 60 | 9 | 70 | 23 | 21 |1519 |2272 | 0.000000e+00 | -- | Inf
105.57/105.68 c 103s|170000 | 41475 |590448 | 20M| 61 | 8 | 70 | 51 | 8 | 70 | 23 | 21 |1626 |2341 | 0.000000e+00 | -- | Inf
111.76/111.81 c 109s|180000 | 43683 |624643 | 21M| 61 | - | 70 | 43 | 11 | 70 | 23 | 21 |1730 |2395 | 0.000000e+00 | -- | Inf
117.76/117.88 c 115s|190000 | 46027 |659374 | 22M| 61 | - | 70 | 38 | 8 | 70 | 23 | 21 |1813 |2448 | 0.000000e+00 | -- | Inf
123.86/123.98 c 120s|200000 | 48103 |693269 | 23M| 61 | 8 | 70 | 36 | 8 | 70 | 23 | 21 |1914 |2497 | 0.000000e+00 | -- | Inf
130.06/130.11 c 126s|210000 | 50095 |726958 | 24M| 61 | 8 | 70 | 36 | 10 | 70 | 23 | 21 |1987 |2546 | 0.000000e+00 | -- | Inf
136.05/136.19 c 132s|220000 | 52203 |760903 | 25M| 61 | 8 | 70 | 35 | 8 | 70 | 23 | 21 |2069 |2600 | 0.000000e+00 | -- | Inf
142.16/142.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.16/142.24 c 138s|230000 | 54589 |794700 | 27M| 61 | - | 70 | 36 | 8 | 70 | 23 | 21 |2148 |2638 | 0.000000e+00 | -- | Inf
148.25/148.33 c 144s|240000 | 56873 |828910 | 28M| 61 | - | 70 | 31 | 10 | 70 | 23 | 21 |2223 |2681 | 0.000000e+00 | -- | Inf
154.35/154.42 c 150s|250000 | 58943 |862523 | 29M| 61 | 8 | 70 | 27 | 8 | 70 | 23 | 21 |2280 |2729 | 0.000000e+00 | -- | Inf
160.35/160.45 c 156s|260000 | 61337 |896566 | 30M| 61 | - | 70 | 24 | 8 | 70 | 23 | 21 |2343 |2761 | 0.000000e+00 | -- | Inf
166.54/166.63 c 162s|270000 | 63169 |931041 | 31M| 62 | - | 70 | 24 | 9 | 70 | 23 | 21 |2420 |2804 | 0.000000e+00 | -- | Inf
172.65/172.76 c 168s|280000 | 64995 |965229 | 32M| 62 | 8 | 70 | 21 | 8 | 70 | 23 | 21 |2493 |2832 | 0.000000e+00 | -- | Inf
178.85/178.94 c 174s|290000 | 67177 | 1000k| 33M| 62 | - | 70 | 35 | 11 | 70 | 23 | 21 |2578 |2882 | 0.000000e+00 | -- | Inf
185.15/185.25 c 180s|300000 | 69163 | 1037k| 34M| 62 | - | 70 | 92 | 8 | 70 | 23 | 21 |2714 |2912 | 0.000000e+00 | -- | Inf
191.43/191.56 c 186s|310000 | 71315 | 1074k| 35M| 62 | 8 | 70 | 111 | 8 | 70 | 23 | 21 |2878 |2948 | 0.000000e+00 | -- | Inf
197.63/197.78 c 192s|320000 | 73665 | 1110k| 36M| 62 | 8 | 70 | 127 | 9 | 70 | 23 | 21 |2986 |2983 | 0.000000e+00 | -- | Inf
204.04/204.10 c 198s|330000 | 75721 | 1147k| 37M| 62 | 8 | 70 | 101 | 10 | 70 | 23 | 21 |3119 |3029 | 0.000000e+00 | -- | Inf
210.34/210.43 c 205s|340000 | 77603 | 1183k| 38M| 62 | - | 70 | 121 | 9 | 0 | 0 | 21 |3271 |3061 | 0.000000e+00 | -- | Inf
216.64/216.72 c 211s|350000 | 79502 | 1219k| 39M| 62 | 8 | 70 | 104 | 11 | 70 | 23 | 21 |3414 |3096 | 0.000000e+00 | -- | Inf
222.93/223.01 c 217s|360000 | 81323 | 1255k| 40M| 62 | 8 | 70 | 113 | 10 | 70 | 23 | 21 |3570 |3137 | 0.000000e+00 | -- | Inf
229.33/229.43 c 223s|370000 | 83247 | 1293k| 41M| 62 | - | 70 | 113 | 9 | 70 | 23 | 21 |3695 |3179 | 0.000000e+00 | -- | Inf
235.63/235.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.63/235.72 c 229s|380000 | 85089 | 1329k| 42M| 62 | 8 | 70 | 88 | 9 | 70 | 23 | 21 |3811 |3219 | 0.000000e+00 | -- | Inf
241.83/241.95 c 235s|390000 | 87689 | 1366k| 43M| 62 | 8 | 70 | 95 | 8 | 70 | 23 | 21 |3939 |3256 | 0.000000e+00 | -- | Inf
248.12/248.23 c 241s|400000 | 89992 | 1403k| 45M| 62 | - | 70 | 94 | 8 | 70 | 23 | 21 |4070 |3296 | 0.000000e+00 | -- | Inf
254.43/254.51 c 247s|410000 | 92236 | 1440k| 46M| 62 | 8 | 70 | 101 | 8 | 70 | 23 | 21 |4202 |3332 | 0.000000e+00 | -- | Inf
260.63/260.78 c 253s|420000 | 94350 | 1477k| 47M| 62 | 8 | 70 | 90 | 10 | 70 | 23 | 21 |4338 |3369 | 0.000000e+00 | -- | Inf
267.02/267.13 c 260s|430000 | 96300 | 1514k| 48M| 62 | 8 | 70 | 74 | 8 | 70 | 23 | 21 |4491 |3410 | 0.000000e+00 | -- | Inf
273.22/273.31 c 266s|440000 | 98174 | 1549k| 49M| 62 | - | 70 | 46 | 8 | 70 | 23 | 21 |4598 |3441 | 0.000000e+00 | -- | Inf
279.22/279.37 c 271s|450000 |100056 | 1583k| 50M| 62 | 8 | 70 | 35 | 8 | 70 | 23 | 21 |4668 |3476 | 0.000000e+00 | -- | Inf
285.41/285.51 c 277s|460000 |101860 | 1617k| 51M| 62 | - | 70 | 28 | 8 | 70 | 23 | 21 |4712 |3503 | 0.000000e+00 | -- | Inf
291.51/291.62 c 283s|470000 |103806 | 1650k| 52M| 62 | - | 70 | 31 | 8 | 70 | 23 | 21 |4773 |3550 | 0.000000e+00 | -- | Inf
297.52/297.69 c 289s|480000 |105742 | 1684k| 53M| 62 | - | 70 | 28 | 8 | 70 | 23 | 21 |4849 |3589 | 0.000000e+00 | -- | Inf
303.71/303.84 c 295s|490000 |107556 | 1718k| 54M| 62 | - | 70 | 24 | 8 | 70 | 23 | 21 |4937 |3626 | 0.000000e+00 | -- | Inf
309.81/309.94 c 301s|500000 |109620 | 1752k| 55M| 62 | 8 | 70 | 24 | 8 | 70 | 23 | 21 |5007 |3651 | 0.000000e+00 | -- | Inf
315.80/315.97 c 307s|510000 |111688 | 1786k| 56M| 62 | - | 70 | 21 | 8 | 70 | 23 | 21 |5101 |3688 | 0.000000e+00 | -- | Inf
321.90/322.01 c 313s|520000 |114002 | 1820k| 57M| 62 | 8 | 70 | 24 | 9 | 70 | 23 | 21 |5168 |3724 | 0.000000e+00 | -- | Inf
328.01/328.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.01/328.12 c 319s|530000 |115882 | 1853k| 58M| 62 | - | 70 | 22 | 9 | 70 | 23 | 21 |5247 |3763 | 0.000000e+00 | -- | Inf
334.10/334.21 c 325s|540000 |117816 | 1887k| 59M| 62 | 8 | 70 | 25 | 8 | 70 | 23 | 21 |5311 |3792 | 0.000000e+00 | -- | Inf
340.20/340.34 c 331s|550000 |119478 | 1921k| 60M| 62 | 8 | 70 | 31 | 8 | 70 | 23 | 21 |5408 |3839 | 0.000000e+00 | -- | Inf
346.30/346.45 c 337s|560000 |121454 | 1955k| 61M| 62 | - | 70 | 23 | 8 | 70 | 23 | 21 |5456 |3860 | 0.000000e+00 | -- | Inf
352.30/352.48 c 342s|570000 |123572 | 1989k| 62M| 62 | - | 70 | 29 | 8 | 70 | 23 | 21 |5524 |3878 | 0.000000e+00 | -- | Inf
358.40/358.55 c 348s|580000 |125560 | 2023k| 63M| 62 | 8 | 70 | 26 | 8 | 70 | 23 | 21 |5599 |3912 | 0.000000e+00 | -- | Inf
364.49/364.67 c 354s|590000 |127566 | 2056k| 64M| 62 | - | 70 | 22 | 8 | 70 | 23 | 21 |5664 |3930 | 0.000000e+00 | -- | Inf
370.60/370.76 c 360s|600000 |129668 | 2090k| 65M| 62 | - | 70 | 22 | 8 | 70 | 23 | 21 |5742 |3955 | 0.000000e+00 | -- | Inf
376.59/376.72 c 366s|610000 |132402 | 2124k| 66M| 62 | 8 | 70 | 21 | 8 | 70 | 23 | 21 |5774 |3986 | 0.000000e+00 | -- | Inf
382.59/382.76 c 372s|620000 |134860 | 2159k| 67M| 63 | 8 | 70 | 24 | 8 | 70 | 23 | 21 |5811 |4009 | 0.000000e+00 | -- | Inf
388.69/388.89 c 378s|630000 |136926 | 2192k| 68M| 63 | 8 | 70 | 24 | 8 | 70 | 23 | 21 |5902 |4047 | 0.000000e+00 | -- | Inf
394.79/394.96 c 384s|640000 |138715 | 2226k| 69M| 63 | - | 70 | 23 | 9 | 70 | 23 | 21 |5942 |4074 | 0.000000e+00 | -- | Inf
400.79/400.96 c 390s|650000 |140731 | 2259k| 70M| 63 | 8 | 70 | 22 | 8 | 70 | 23 | 21 |6007 |4100 | 0.000000e+00 | -- | Inf
406.79/406.99 c 395s|660000 |143197 | 2293k| 72M| 63 | - | 70 | 24 | 8 | 70 | 23 | 21 |6055 |4132 | 0.000000e+00 | -- | Inf
412.88/413.09 c 401s|670000 |145197 | 2327k| 73M| 63 | 8 | 70 | 23 | 8 | 70 | 23 | 21 |6107 |4164 | 0.000000e+00 | -- | Inf
419.08/419.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.08/419.20 c 407s|680000 |147179 | 2361k| 74M| 63 | - | 70 | 23 | 8 | 70 | 23 | 21 |6179 |4189 | 0.000000e+00 | -- | Inf
425.18/425.35 c 413s|690000 |149056 | 2395k| 75M| 63 | - | 70 | 23 | 8 | 70 | 23 | 21 |6243 |4211 | 0.000000e+00 | -- | Inf
431.27/431.46 c 419s|700000 |150904 | 2429k| 76M| 63 | 8 | 70 | 23 | 9 | 70 | 23 | 21 |6288 |4242 | 0.000000e+00 | -- | Inf
437.37/437.54 c 425s|710000 |152898 | 2463k| 77M| 63 | 8 | 70 | 21 | 8 | 70 | 23 | 21 |6368 |4265 | 0.000000e+00 | -- | Inf
443.47/443.63 c 431s|720000 |155027 | 2496k| 78M| 63 | - | 70 | 20 | 8 | 70 | 23 | 21 |6457 |4298 | 0.000000e+00 | -- | Inf
449.57/449.71 c 437s|730000 |156931 | 2530k| 79M| 63 | - | 70 | 19 | 8 | 70 | 23 | 21 |6532 |4317 | 0.000000e+00 | -- | Inf
455.57/455.79 c 443s|740000 |158787 | 2563k| 80M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 |6575 |4344 | 0.000000e+00 | -- | Inf
461.66/461.84 c 449s|750000 |161197 | 2597k| 81M| 63 | 8 | 70 | 20 | 8 | 70 | 23 | 21 |6634 |4372 | 0.000000e+00 | -- | Inf
467.67/467.85 c 455s|760000 |163625 | 2630k| 82M| 63 | - | 70 | 22 | 8 | 70 | 23 | 21 |6676 |4399 | 0.000000e+00 | -- | Inf
473.77/473.96 c 460s|770000 |165439 | 2664k| 83M| 63 | 8 | 70 | 21 | 8 | 70 | 23 | 21 |6730 |4416 | 0.000000e+00 | -- | Inf
479.86/480.08 c 466s|780000 |167071 | 2698k| 84M| 63 | - | 70 | 19 | 7 | 0 | 0 | 21 |6785 |4438 | 0.000000e+00 | -- | Inf
485.96/486.16 c 472s|790000 |168979 | 2730k| 85M| 63 | 8 | 70 | 18 | 8 | 70 | 23 | 21 |6851 |4453 | 0.000000e+00 | -- | Inf
492.06/492.20 c 478s|800000 |171353 | 2765k| 86M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 |6931 |4492 | 0.000000e+00 | -- | Inf
498.06/498.21 c 484s|810000 |173313 | 2798k| 87M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 |7023 |4507 | 0.000000e+00 | -- | Inf
504.06/504.23 c 490s|820000 |175135 | 2830k| 88M| 63 | - | 70 | 19 | 10 | 70 | 23 | 21 |7111 |4524 | 0.000000e+00 | -- | Inf
510.26/510.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.26/510.41 c 496s|830000 |176773 | 2864k| 89M| 63 | 8 | 70 | 21 | 9 | 70 | 23 | 21 |7205 |4546 | 0.000000e+00 | -- | Inf
516.26/516.49 c 502s|840000 |178792 | 2898k| 90M| 63 | 8 | 70 | 21 | 8 | 70 | 23 | 21 |7268 |4569 | 0.000000e+00 | -- | Inf
522.36/522.58 c 508s|850000 |180736 | 2932k| 91M| 63 | - | 70 | 17 | 7 | 0 | 0 | 21 |7316 |4581 | 0.000000e+00 | -- | Inf
528.55/528.70 c 514s|860000 |182500 | 2965k| 92M| 63 | 8 | 70 | 16 | 8 | 70 | 23 | 21 |7377 |4602 | 0.000000e+00 | -- | Inf
534.65/534.80 c 520s|870000 |184258 | 2998k| 93M| 63 | 8 | 70 | 15 | 8 | 70 | 23 | 21 |7458 |4628 | 0.000000e+00 | -- | Inf
540.65/540.88 c 525s|880000 |186076 | 3032k| 94M| 63 | - | 70 | 17 | 8 | 70 | 23 | 21 |7530 |4644 | 0.000000e+00 | -- | Inf
546.85/547.03 c 531s|890000 |188186 | 3066k| 95M| 63 | 8 | 70 | 19 | 8 | 70 | 23 | 21 |7580 |4662 | 0.000000e+00 | -- | Inf
552.94/553.14 c 537s|900000 |190144 | 3100k| 96M| 63 | 8 | 70 | 12 | 8 | 70 | 23 | 21 |7630 |4684 | 0.000000e+00 | -- | Inf
559.04/559.24 c 543s|910000 |191733 | 3133k| 97M| 63 | 8 | 70 | 18 | 8 | 70 | 23 | 21 |7718 |4701 | 0.000000e+00 | -- | Inf
565.15/565.38 c 549s|920000 |193495 | 3167k| 98M| 63 | - | 70 | 19 | 8 | 0 | 0 | 21 |7774 |4725 | 0.000000e+00 | -- | Inf
571.34/571.50 c 555s|930000 |195117 | 3200k| 99M| 63 | - | 70 | 23 | 8 | 0 | 0 | 21 |7844 |4744 | 0.000000e+00 | -- | Inf
577.43/577.63 c 561s|940000 |196801 | 3234k| 99M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 |7901 |4761 | 0.000000e+00 | -- | Inf
583.53/583.70 c 567s|950000 |198869 | 3267k| 101M| 63 | 8 | 70 | 20 | 8 | 70 | 23 | 21 |7959 |4796 | 0.000000e+00 | -- | Inf
589.64/589.83 c 573s|960000 |200673 | 3301k| 101M| 63 | 8 | 70 | 15 | 8 | 70 | 23 | 21 |8045 |4823 | 0.000000e+00 | -- | Inf
595.63/595.87 c 579s|970000 |202843 | 3335k| 103M| 63 | 8 | 70 | 16 | 8 | 70 | 23 | 21 |8078 |4839 | 0.000000e+00 | -- | Inf
601.83/602.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.83/602.03 c 585s|980000 |204675 | 3369k| 104M| 63 | 8 | 70 | 20 | 8 | 70 | 23 | 21 |8138 |4872 | 0.000000e+00 | -- | Inf
607.92/608.15 c 591s|990000 |206593 | 3402k| 105M| 63 | - | 70 | 18 | 8 | 70 | 23 | 21 |8195 |4891 | 0.000000e+00 | -- | Inf
614.02/614.27 c 597s| 1000k|208423 | 3436k| 106M| 63 | - | 70 | 14 | 8 | 0 | 0 | 21 |8284 |4919 | 0.000000e+00 | -- | Inf
620.13/620.30 c 603s| 1010k|210184 | 3469k| 106M| 63 | 8 | 70 | 15 | 8 | 70 | 23 | 21 |8369 |4934 | 0.000000e+00 | -- | Inf
626.12/626.35 c 609s| 1020k|212209 | 3501k| 107M| 63 | - | 70 | 16 | 8 | 70 | 23 | 21 |8481 |4955 | 0.000000e+00 | -- | Inf
632.23/632.47 c 614s| 1030k|214075 | 3535k| 108M| 63 | 8 | 70 | 18 | 8 | 70 | 23 | 21 |8539 |4970 | 0.000000e+00 | -- | Inf
638.41/638.62 c 620s| 1040k|215841 | 3569k| 109M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 |8599 |4995 | 0.000000e+00 | -- | Inf
644.51/644.76 c 626s| 1050k|217661 | 3603k| 110M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 |8670 |5015 | 0.000000e+00 | -- | Inf
650.61/650.85 c 632s| 1060k|219376 | 3636k| 111M| 63 | - | 70 | 16 | 8 | 70 | 23 | 21 |8728 |5039 | 0.000000e+00 | -- | Inf
656.72/656.96 c 638s| 1070k|221062 | 3670k| 112M| 63 | 8 | 70 | 11 | 8 | 70 | 23 | 21 |8780 |5057 | 0.000000e+00 | -- | Inf
662.81/663.07 c 644s| 1080k|222906 | 3704k| 113M| 63 | 8 | 70 | 11 | 8 | 70 | 23 | 21 |8821 |5083 | 0.000000e+00 | -- | Inf
669.01/669.30 c 650s| 1090k|224716 | 3739k| 114M| 63 | 8 | 70 | 14 | 8 | 70 | 23 | 21 |8884 |5109 | 0.000000e+00 | -- | Inf
675.01/675.26 c 656s| 1100k|226964 | 3772k| 115M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 |8955 |5127 | 0.000000e+00 | -- | Inf
681.10/681.32 c 662s| 1110k|228878 | 3805k| 116M| 63 | - | 70 | 18 | 9 | 70 | 23 | 21 |9014 |5146 | 0.000000e+00 | -- | Inf
687.21/687.44 c 668s| 1120k|230942 | 3838k| 117M| 63 | - | 70 | 16 | 8 | 70 | 23 | 21 |9088 |5177 | 0.000000e+00 | -- | Inf
693.31/693.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.31/693.56 c 674s| 1130k|232692 | 3872k| 118M| 63 | 8 | 70 | 15 | 8 | 70 | 23 | 21 |9157 |5195 | 0.000000e+00 | -- | Inf
699.41/699.65 c 680s| 1140k|234436 | 3905k| 119M| 63 | 8 | 70 | 16 | 8 | 70 | 23 | 21 |9229 |5214 | 0.000000e+00 | -- | Inf
705.50/705.77 c 686s| 1150k|236200 | 3938k| 120M| 63 | 8 | 70 | 14 | 8 | 70 | 23 | 21 |9300 |5227 | 0.000000e+00 | -- | Inf
711.60/711.87 c 692s| 1160k|238088 | 3972k| 121M| 63 | - | 70 | 19 | 8 | 70 | 23 | 21 |9407 |5245 | 0.000000e+00 | -- | Inf
717.70/717.96 c 698s| 1170k|239662 | 4005k| 122M| 63 | 8 | 70 | 13 | 8 | 70 | 23 | 21 |9474 |5261 | 0.000000e+00 | -- | Inf
723.90/724.12 c 703s| 1180k|241400 | 4039k| 123M| 63 | 8 | 70 | 18 | 8 | 70 | 23 | 21 |9550 |5274 | 0.000000e+00 | -- | Inf
730.20/730.41 c 710s| 1190k|243108 | 4075k| 124M| 63 | - | 70 | 19 | 8 | 70 | 23 | 21 |9608 |5291 | 0.000000e+00 | -- | Inf
736.29/736.52 c 716s| 1200k|244904 | 4108k| 125M| 63 | 8 | 70 | 20 | 9 | 70 | 23 | 21 |9705 |5309 | 0.000000e+00 | -- | Inf
742.39/742.65 c 722s| 1210k|246760 | 4142k| 126M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 |9753 |5329 | 0.000000e+00 | -- | Inf
748.58/748.84 c 728s| 1220k|248296 | 4176k| 127M| 63 | - | 70 | 14 | 8 | 0 | 0 | 21 |9817 |5341 | 0.000000e+00 | -- | Inf
754.68/754.96 c 734s| 1230k|249942 | 4210k| 128M| 63 | 8 | 70 | 12 | 8 | 70 | 23 | 21 |9871 |5366 | 0.000000e+00 | -- | Inf
760.78/761.07 c 739s| 1240k|251766 | 4243k| 129M| 63 | 8 | 70 | 11 | 8 | 70 | 23 | 21 |9923 |5384 | 0.000000e+00 | -- | Inf
766.88/767.20 c 745s| 1250k|254034 | 4277k| 130M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 10k|5396 | 0.000000e+00 | -- | Inf
773.09/773.31 c 751s| 1260k|255844 | 4311k| 131M| 63 | 8 | 70 | 16 | 8 | 70 | 23 | 21 | 10k|5399 | 0.000000e+00 | -- | Inf
779.18/779.42 c 757s| 1270k|257808 | 4345k| 132M| 63 | 8 | 70 | 15 | 8 | 70 | 23 | 21 | 10k|5414 | 0.000000e+00 | -- | Inf
785.28/785.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.28/785.58 c 763s| 1280k|259530 | 4379k| 133M| 63 | - | 70 | 14 | 8 | 0 | 0 | 21 | 10k|5430 | 0.000000e+00 | -- | Inf
791.48/791.71 c 769s| 1290k|261366 | 4413k| 134M| 63 | 8 | 70 | 13 | 8 | 70 | 23 | 21 | 10k|5445 | 0.000000e+00 | -- | Inf
797.57/797.82 c 775s| 1300k|263130 | 4447k| 134M| 63 | 8 | 70 | 18 | 8 | 70 | 23 | 21 | 10k|5462 | 0.000000e+00 | -- | Inf
803.67/803.98 c 781s| 1310k|265074 | 4481k| 136M| 63 | 8 | 70 | 19 | 8 | 70 | 23 | 21 | 10k|5476 | 0.000000e+00 | -- | Inf
809.88/810.18 c 787s| 1320k|266656 | 4514k| 136M| 63 | 8 | 70 | 17 | 9 | 70 | 23 | 21 | 10k|5495 | 0.000000e+00 | -- | Inf
816.07/816.33 c 793s| 1330k|268384 | 4548k| 137M| 63 | 8 | 70 | 15 | 8 | 70 | 23 | 21 | 10k|5505 | 0.000000e+00 | -- | Inf
822.17/822.46 c 799s| 1340k|270508 | 4582k| 138M| 63 | - | 70 | 18 | 8 | 70 | 23 | 21 | 10k|5530 | 0.000000e+00 | -- | Inf
828.37/828.62 c 805s| 1350k|272280 | 4616k| 139M| 63 | 8 | 70 | 18 | 8 | 70 | 23 | 21 | 10k|5543 | 0.000000e+00 | -- | Inf
834.47/834.70 c 811s| 1360k|274496 | 4650k| 140M| 63 | 8 | 70 | 16 | 8 | 70 | 23 | 21 | 10k|5552 | 0.000000e+00 | -- | Inf
840.47/840.74 c 817s| 1370k|276472 | 4683k| 141M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 10k|5562 | 0.000000e+00 | -- | Inf
846.56/846.87 c 823s| 1380k|278396 | 4717k| 142M| 63 | - | 70 | 16 | 8 | 70 | 23 | 21 | 10k|5579 | 0.000000e+00 | -- | Inf
852.56/852.90 c 829s| 1390k|280618 | 4750k| 144M| 63 | - | 70 | 16 | 8 | 70 | 23 | 21 | 10k|5588 | 0.000000e+00 | -- | Inf
858.56/858.86 c 834s| 1400k|282782 | 4783k| 145M| 63 | - | 70 | 17 | 8 | 0 | 0 | 21 | 10k|5594 | 0.000000e+00 | -- | Inf
864.75/865.02 c 840s| 1410k|284566 | 4817k| 146M| 63 | 8 | 70 | 18 | 9 | 70 | 23 | 21 | 10k|5613 | 0.000000e+00 | -- | Inf
870.86/871.10 c 846s| 1420k|286450 | 4850k| 147M| 63 | 8 | 70 | 16 | 8 | 70 | 23 | 21 | 11k|5621 | 0.000000e+00 | -- | Inf
877.06/877.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.06/877.30 c 852s| 1430k|288076 | 4885k| 147M| 63 | - | 70 | 16 | 8 | 70 | 23 | 21 | 11k|5632 | 0.000000e+00 | -- | Inf
883.16/883.47 c 858s| 1440k|289663 | 4919k| 148M| 63 | - | 70 | 20 | 8 | 70 | 23 | 21 | 11k|5638 | 0.000000e+00 | -- | Inf
889.35/889.61 c 864s| 1450k|291905 | 4954k| 149M| 63 | - | 70 | 21 | 8 | 70 | 23 | 21 | 11k|5648 | 0.000000e+00 | -- | Inf
895.35/895.65 c 870s| 1460k|294077 | 4989k| 150M| 63 | 8 | 70 | 28 | 8 | 70 | 23 | 21 | 11k|5660 | 0.000000e+00 | -- | Inf
901.45/901.78 c 876s| 1470k|295783 | 5023k| 151M| 63 | 8 | 70 | 23 | 8 | 70 | 23 | 21 | 11k|5674 | 0.000000e+00 | -- | Inf
907.65/907.98 c 882s| 1480k|297543 | 5057k| 152M| 63 | 8 | 70 | 19 | 10 | 70 | 23 | 21 | 11k|5689 | 0.000000e+00 | -- | Inf
913.75/914.10 c 888s| 1490k|299331 | 5091k| 153M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 11k|5705 | 0.000000e+00 | -- | Inf
919.85/920.18 c 894s| 1500k|301167 | 5124k| 154M| 63 | 8 | 70 | 24 | 8 | 70 | 23 | 21 | 11k|5731 | 0.000000e+00 | -- | Inf
926.05/926.39 c 900s| 1510k|302857 | 5159k| 155M| 63 | 8 | 70 | 19 | 8 | 70 | 23 | 21 | 11k|5747 | 0.000000e+00 | -- | Inf
932.24/932.54 c 906s| 1520k|304811 | 5193k| 156M| 63 | 8 | 70 | 21 | 8 | 70 | 23 | 21 | 11k|5774 | 0.000000e+00 | -- | Inf
938.34/938.69 c 912s| 1530k|306539 | 5226k| 157M| 63 | - | 70 | 20 | 8 | 0 | 0 | 21 | 11k|5791 | 0.000000e+00 | -- | Inf
944.54/944.85 c 918s| 1540k|308239 | 5260k| 158M| 63 | 8 | 70 | 22 | 8 | 70 | 23 | 21 | 11k|5803 | 0.000000e+00 | -- | Inf
950.73/951.06 c 924s| 1550k|309817 | 5293k| 159M| 63 | 8 | 70 | 21 | 8 | 70 | 23 | 21 | 11k|5832 | 0.000000e+00 | -- | Inf
956.84/957.18 c 930s| 1560k|311958 | 5328k| 160M| 63 | - | 70 | 21 | 8 | 70 | 23 | 21 | 11k|5844 | 0.000000e+00 | -- | Inf
962.93/963.29 c 936s| 1570k|313924 | 5362k| 161M| 63 | 8 | 70 | 24 | 9 | 70 | 23 | 21 | 11k|5854 | 0.000000e+00 | -- | Inf
969.13/969.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.13/969.45 c 942s| 1580k|315990 | 5396k| 162M| 63 | 8 | 70 | 22 | 8 | 70 | 23 | 21 | 11k|5863 | 0.000000e+00 | -- | Inf
975.23/975.58 c 948s| 1590k|317820 | 5429k| 163M| 63 | 8 | 70 | 18 | 8 | 70 | 23 | 21 | 12k|5876 | 0.000000e+00 | -- | Inf
981.43/981.73 c 954s| 1600k|319300 | 5462k| 164M| 63 | 8 | 70 | 15 | 8 | 70 | 23 | 21 | 12k|5888 | 0.000000e+00 | -- | Inf
987.63/987.99 c 960s| 1610k|321070 | 5497k| 165M| 63 | 8 | 70 | 22 | 8 | 70 | 23 | 21 | 12k|5907 | 0.000000e+00 | -- | Inf
993.72/994.09 c 966s| 1620k|323138 | 5531k| 166M| 63 | - | 70 | 21 | 8 | 70 | 23 | 21 | 12k|5919 | 0.000000e+00 | -- | Inf
999.82/1000.15 c 972s| 1630k|324832 | 5564k| 167M| 63 | - | 70 | 22 | 8 | 70 | 23 | 21 | 12k|5928 | 0.000000e+00 | -- | Inf
1005.92/1006.28 c 978s| 1640k|326868 | 5598k| 168M| 63 | - | 70 | 20 | 9 | 70 | 23 | 21 | 12k|5944 | 0.000000e+00 | -- | Inf
1012.02/1012.37 c 984s| 1650k|328916 | 5631k| 169M| 63 | 8 | 70 | 23 | 10 | 70 | 23 | 21 | 12k|5960 | 0.000000e+00 | -- | Inf
1018.23/1018.53 c 990s| 1660k|330652 | 5665k| 170M| 63 | - | 70 | 19 | 8 | 70 | 23 | 21 | 12k|5978 | 0.000000e+00 | -- | Inf
1024.31/1024.67 c 995s| 1670k|332618 | 5699k| 171M| 63 | 8 | 70 | 14 | 8 | 70 | 23 | 21 | 12k|5992 | 0.000000e+00 | -- | Inf
1030.52/1030.84 c 1001s| 1680k|334242 | 5732k| 172M| 63 | 8 | 70 | 16 | 8 | 70 | 23 | 21 | 12k|6015 | 0.000000e+00 | -- | Inf
1036.61/1036.95 c 1007s| 1690k|335928 | 5765k| 173M| 63 | 8 | 70 | 13 | 8 | 70 | 23 | 21 | 12k|6028 | 0.000000e+00 | -- | Inf
1042.72/1043.08 c 1013s| 1700k|337768 | 5798k| 174M| 63 | - | 70 | 19 | 8 | 70 | 23 | 21 | 12k|6048 | 0.000000e+00 | -- | Inf
1048.91/1049.29 c 1019s| 1710k|339420 | 5832k| 174M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 12k|6059 | 0.000000e+00 | -- | Inf
1055.11/1055.41 c 1025s| 1720k|341220 | 5865k| 175M| 63 | 8 | 70 | 16 | 8 | 70 | 23 | 21 | 12k|6070 | 0.000000e+00 | -- | Inf
1061.21/1061.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1061.21/1061.59 c 1031s| 1730k|342874 | 5899k| 176M| 63 | - | 70 | 14 | 9 | 0 | 0 | 21 | 12k|6095 | 0.000000e+00 | -- | Inf
1067.51/1067.80 c 1037s| 1740k|344686 | 5933k| 177M| 63 | 8 | 70 | 14 | 8 | 70 | 23 | 21 | 12k|6109 | 0.000000e+00 | -- | Inf
1073.61/1073.94 c 1043s| 1750k|346416 | 5966k| 178M| 63 | 8 | 70 | 15 | 8 | 70 | 23 | 21 | 12k|6131 | 0.000000e+00 | -- | Inf
1079.71/1080.07 c 1049s| 1760k|348224 | 6000k| 179M| 63 | - | 70 | 16 | 9 | 70 | 23 | 21 | 12k|6144 | 0.000000e+00 | -- | Inf
1085.90/1086.27 c 1055s| 1770k|350112 | 6034k| 180M| 63 | 8 | 70 | 14 | 8 | 70 | 23 | 21 | 12k|6165 | 0.000000e+00 | -- | Inf
1092.10/1092.45 c 1061s| 1780k|352052 | 6068k| 181M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 13k|6189 | 0.000000e+00 | -- | Inf
1098.20/1098.54 c 1067s| 1790k|353776 | 6101k| 182M| 63 | 8 | 70 | 16 | 8 | 70 | 23 | 21 | 13k|6206 | 0.000000e+00 | -- | Inf
1104.30/1104.67 c 1073s| 1800k|355394 | 6134k| 183M| 63 | - | 70 | 17 | 8 | 70 | 23 | 21 | 13k|6223 | 0.000000e+00 | -- | Inf
1110.49/1110.84 c 1079s| 1810k|357134 | 6167k| 184M| 63 | 8 | 70 | 17 | 9 | 70 | 23 | 21 | 13k|6238 | 0.000000e+00 | -- | Inf
1116.69/1117.02 c 1085s| 1820k|358762 | 6202k| 185M| 63 | 8 | 70 | 18 | 8 | 70 | 23 | 21 | 13k|6259 | 0.000000e+00 | -- | Inf
1122.79/1123.17 c 1091s| 1830k|360394 | 6235k| 186M| 63 | 8 | 70 | 18 | 8 | 70 | 23 | 21 | 13k|6268 | 0.000000e+00 | -- | Inf
1128.99/1129.37 c 1097s| 1840k|362122 | 6269k| 187M| 63 | 8 | 70 | 22 | 8 | 70 | 23 | 21 | 13k|6283 | 0.000000e+00 | -- | Inf
1135.09/1135.48 c 1103s| 1850k|364240 | 6303k| 188M| 63 | - | 70 | 22 | 8 | 70 | 23 | 21 | 13k|6296 | 0.000000e+00 | -- | Inf
1141.08/1141.41 c 1109s| 1860k|366894 | 6336k| 189M| 63 | 8 | 70 | 24 | 8 | 70 | 23 | 21 | 13k|6306 | 0.000000e+00 | -- | Inf
1147.28/1147.62 c 1115s| 1870k|368628 | 6369k| 190M| 63 | 8 | 70 | 21 | 8 | 70 | 23 | 21 | 13k|6313 | 0.000000e+00 | -- | Inf
1153.29/1153.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.29/1153.69 c 1121s| 1880k|370847 | 6403k| 191M| 63 | - | 70 | 21 | 8 | 70 | 23 | 21 | 13k|6325 | 0.000000e+00 | -- | Inf
1159.38/1159.70 c 1127s| 1890k|373105 | 6437k| 192M| 63 | - | 70 | 20 | 8 | 70 | 23 | 21 | 13k|6341 | 0.000000e+00 | -- | Inf
1165.47/1165.87 c 1133s| 1900k|374777 | 6471k| 193M| 63 | - | 70 | 17 | 8 | 70 | 23 | 21 | 13k|6352 | 0.000000e+00 | -- | Inf
1171.68/1172.04 c 1139s| 1910k|376537 | 6505k| 194M| 63 | - | 70 | 18 | 8 | 70 | 23 | 21 | 13k|6365 | 0.000000e+00 | -- | Inf
1177.87/1178.20 c 1145s| 1920k|378127 | 6538k| 195M| 63 | 8 | 70 | 19 | 8 | 70 | 23 | 21 | 13k|6377 | 0.000000e+00 | -- | Inf
1183.97/1184.35 c 1151s| 1930k|379821 | 6572k| 196M| 63 | - | 70 | 21 | 8 | 70 | 23 | 21 | 13k|6396 | 0.000000e+00 | -- | Inf
1190.17/1190.52 c 1157s| 1940k|381766 | 6606k| 197M| 63 | 8 | 70 | 21 | 8 | 70 | 23 | 21 | 13k|6402 | 0.000000e+00 | -- | Inf
1196.27/1196.62 c 1163s| 1950k|383630 | 6639k| 198M| 63 | 8 | 70 | 21 | 8 | 70 | 23 | 21 | 13k|6420 | 0.000000e+00 | -- | Inf
1202.37/1202.74 c 1168s| 1960k|385736 | 6673k| 199M| 63 | 8 | 70 | 22 | 8 | 70 | 23 | 21 | 14k|6430 | 0.000000e+00 | -- | Inf
1208.58/1208.97 c 1175s| 1970k|387222 | 6707k| 200M| 63 | 8 | 70 | 17 | 9 | 70 | 23 | 21 | 14k|6450 | 0.000000e+00 | -- | Inf
1214.76/1215.11 c 1180s| 1980k|388886 | 6741k| 200M| 63 | - | 70 | 17 | 8 | 70 | 23 | 21 | 14k|6460 | 0.000000e+00 | -- | Inf
1220.77/1221.17 c 1186s| 1990k|390892 | 6774k| 201M| 63 | - | 70 | 20 | 8 | 70 | 23 | 21 | 14k|6473 | 0.000000e+00 | -- | Inf
1226.97/1227.34 c 1192s| 2000k|392886 | 6807k| 202M| 63 | 8 | 70 | 20 | 8 | 70 | 23 | 21 | 14k|6493 | 0.000000e+00 | -- | Inf
1233.16/1233.51 c 1198s| 2010k|394596 | 6841k| 203M| 63 | - | 70 | 22 | 8 | 70 | 23 | 21 | 14k|6505 | 0.000000e+00 | -- | Inf
1239.26/1239.63 c 1204s| 2020k|396220 | 6874k| 204M| 63 | - | 70 | 26 | 8 | 70 | 23 | 21 | 14k|6518 | 0.000000e+00 | -- | Inf
1245.36/1245.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1245.36/1245.78 c 1210s| 2030k|397858 | 6907k| 205M| 63 | 8 | 70 | 21 | 10 | 70 | 23 | 21 | 14k|6524 | 0.000000e+00 | -- | Inf
1251.56/1251.97 c 1216s| 2040k|399444 | 6940k| 206M| 63 | - | 70 | 27 | 9 | 70 | 23 | 21 | 14k|6535 | 0.000000e+00 | -- | Inf
1257.75/1258.14 c 1222s| 2050k|401066 | 6974k| 207M| 63 | 8 | 70 | 21 | 8 | 70 | 23 | 21 | 14k|6551 | 0.000000e+00 | -- | Inf
1263.85/1264.28 c 1228s| 2060k|402920 | 7008k| 208M| 63 | 8 | 70 | 21 | 8 | 70 | 23 | 21 | 14k|6557 | 0.000000e+00 | -- | Inf
1270.06/1270.46 c 1234s| 2070k|404686 | 7041k| 209M| 63 | 8 | 70 | 20 | 8 | 70 | 23 | 21 | 14k|6564 | 0.000000e+00 | -- | Inf
1276.15/1276.58 c 1240s| 2080k|406458 | 7075k| 210M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 14k|6578 | 0.000000e+00 | -- | Inf
1282.35/1282.73 c 1246s| 2090k|408234 | 7108k| 211M| 63 | 8 | 70 | 21 | 11 | 70 | 23 | 21 | 14k|6587 | 0.000000e+00 | -- | Inf
1288.45/1288.87 c 1252s| 2100k|409726 | 7140k| 212M| 63 | 8 | 70 | 19 | 8 | 70 | 23 | 21 | 14k|6597 | 0.000000e+00 | -- | Inf
1294.65/1295.03 c 1258s| 2110k|411460 | 7173k| 213M| 63 | 8 | 70 | 21 | 8 | 70 | 23 | 21 | 15k|6604 | 0.000000e+00 | -- | Inf
1300.64/1301.09 c 1264s| 2120k|413604 | 7206k| 214M| 63 | - | 70 | 25 | 10 | 70 | 23 | 21 | 15k|6618 | 0.000000e+00 | -- | Inf
1306.84/1307.29 c 1270s| 2130k|415571 | 7241k| 215M| 63 | - | 70 | 19 | 8 | 70 | 23 | 21 | 15k|6629 | 0.000000e+00 | -- | Inf
1313.05/1313.42 c 1276s| 2140k|417263 | 7275k| 216M| 63 | - | 70 | 18 | 8 | 70 | 23 | 21 | 15k|6638 | 0.000000e+00 | -- | Inf
1319.04/1319.48 c 1282s| 2150k|419121 | 7308k| 217M| 63 | 8 | 70 | 19 | 9 | 70 | 23 | 21 | 15k|6650 | 0.000000e+00 | -- | Inf
1325.23/1325.65 c 1288s| 2160k|420651 | 7341k| 217M| 63 | - | 70 | 20 | 8 | 70 | 23 | 21 | 15k|6658 | 0.000000e+00 | -- | Inf
1331.44/1331.87 c 1294s| 2170k|422305 | 7374k| 218M| 63 | - | 70 | 16 | 8 | 70 | 23 | 21 | 15k|6673 | 0.000000e+00 | -- | Inf
1337.63/1338.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.63/1338.01 c 1300s| 2180k|423913 | 7407k| 219M| 63 | 8 | 70 | 17 | 9 | 70 | 23 | 21 | 15k|6692 | 0.000000e+00 | -- | Inf
1343.74/1344.18 c 1306s| 2190k|425603 | 7440k| 220M| 63 | 8 | 70 | 15 | 8 | 70 | 23 | 21 | 15k|6700 | 0.000000e+00 | -- | Inf
1349.93/1350.32 c 1312s| 2200k|427667 | 7474k| 221M| 63 | - | 70 | 15 | 8 | 70 | 23 | 21 | 15k|6717 | 0.000000e+00 | -- | Inf
1355.94/1356.39 c 1318s| 2210k|430060 | 7507k| 222M| 63 | - | 70 | 22 | 8 | 70 | 23 | 21 | 15k|6725 | 0.000000e+00 | -- | Inf
1362.13/1362.54 c 1324s| 2220k|431938 | 7540k| 223M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 15k|6733 | 0.000000e+00 | -- | Inf
1368.32/1368.76 c 1330s| 2230k|433920 | 7574k| 224M| 63 | 8 | 70 | 23 | 8 | 70 | 23 | 21 | 15k|6746 | 0.000000e+00 | -- | Inf
1374.52/1374.93 c 1336s| 2240k|435564 | 7608k| 225M| 63 | - | 70 | 28 | 8 | 70 | 23 | 21 | 15k|6756 | 0.000000e+00 | -- | Inf
1380.63/1381.07 c 1342s| 2250k|437236 | 7641k| 226M| 63 | - | 70 | 25 | 8 | 70 | 23 | 21 | 15k|6766 | 0.000000e+00 | -- | Inf
1386.83/1387.24 c 1348s| 2260k|439132 | 7675k| 227M| 63 | 8 | 70 | 20 | 9 | 70 | 23 | 21 | 16k|6776 | 0.000000e+00 | -- | Inf
1392.92/1393.35 c 1354s| 2270k|441224 | 7708k| 228M| 63 | 8 | 70 | 22 | 9 | 70 | 23 | 21 | 16k|6784 | 0.000000e+00 | -- | Inf
1399.02/1399.45 c 1360s| 2280k|443032 | 7742k| 229M| 63 | 8 | 70 | 16 | 9 | 70 | 23 | 21 | 16k|6788 | 0.000000e+00 | -- | Inf
1405.21/1405.64 c 1366s| 2290k|444630 | 7775k| 230M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 16k|6803 | 0.000000e+00 | -- | Inf
1411.42/1411.85 c 1372s| 2300k|446484 | 7810k| 231M| 63 | - | 70 | 16 | 8 | 70 | 23 | 21 | 16k|6813 | 0.000000e+00 | -- | Inf
1417.61/1418.03 c 1378s| 2310k|448170 | 7844k| 232M| 63 | - | 70 | 21 | 8 | 70 | 23 | 21 | 16k|6829 | 0.000000e+00 | -- | Inf
1423.81/1424.21 c 1384s| 2320k|449744 | 7878k| 233M| 63 | 8 | 70 | 18 | 8 | 70 | 23 | 21 | 16k|6835 | 0.000000e+00 | -- | Inf
1430.01/1430.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.01/1430.44 c 1390s| 2330k|451348 | 7911k| 234M| 63 | - | 70 | 19 | 8 | 70 | 23 | 21 | 16k|6846 | 0.000000e+00 | -- | Inf
1436.12/1436.53 c 1396s| 2340k|453150 | 7944k| 235M| 63 | 8 | 70 | 21 | 8 | 70 | 23 | 21 | 16k|6855 | 0.000000e+00 | -- | Inf
1442.21/1442.67 c 1402s| 2350k|454782 | 7977k| 235M| 63 | 8 | 70 | 14 | 8 | 70 | 23 | 21 | 16k|6867 | 0.000000e+00 | -- | Inf
1448.40/1448.83 c 1408s| 2360k|456738 | 8011k| 236M| 63 | 8 | 70 | 16 | 8 | 70 | 23 | 21 | 16k|6881 | 0.000000e+00 | -- | Inf
1454.50/1454.96 c 1414s| 2370k|458424 | 8044k| 237M| 63 | - | 70 | 16 | 8 | 70 | 23 | 21 | 16k|6885 | 0.000000e+00 | -- | Inf
1460.60/1461.06 c 1419s| 2380k|460146 | 8076k| 238M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 16k|6904 | 0.000000e+00 | -- | Inf
1466.80/1467.27 c 1425s| 2390k|461592 | 8109k| 239M| 63 | - | 70 | 18 | 8 | 70 | 23 | 21 | 16k|6909 | 0.000000e+00 | -- | Inf
1472.90/1473.40 c 1431s| 2400k|463355 | 8142k| 240M| 63 | - | 70 | 19 | 8 | 70 | 23 | 21 | 16k|6920 | 0.000000e+00 | -- | Inf
1479.11/1479.55 c 1437s| 2410k|464959 | 8176k| 241M| 63 | - | 70 | 17 | 8 | 70 | 23 | 21 | 17k|6929 | 0.000000e+00 | -- | Inf
1485.30/1485.75 c 1443s| 2420k|466731 | 8210k| 242M| 63 | 8 | 70 | 20 | 9 | 70 | 23 | 21 | 17k|6933 | 0.000000e+00 | -- | Inf
1491.50/1491.93 c 1449s| 2430k|468523 | 8243k| 243M| 63 | 8 | 70 | 22 | 8 | 70 | 23 | 21 | 17k|6949 | 0.000000e+00 | -- | Inf
1497.59/1498.10 c 1455s| 2440k|470169 | 8277k| 244M| 63 | 8 | 70 | 20 | 9 | 70 | 23 | 21 | 17k|6959 | 0.000000e+00 | -- | Inf
1503.79/1504.22 c 1461s| 2450k|472158 | 8311k| 245M| 63 | 8 | 70 | 25 | 8 | 70 | 23 | 21 | 17k|6968 | 0.000000e+00 | -- | Inf
1509.99/1510.40 c 1467s| 2460k|473700 | 8344k| 246M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 17k|6978 | 0.000000e+00 | -- | Inf
1516.09/1516.55 c 1473s| 2470k|475212 | 8377k| 247M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 17k|6987 | 0.000000e+00 | -- | Inf
1522.19/1522.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1522.19/1522.68 c 1479s| 2480k|477022 | 8411k| 247M| 63 | 8 | 70 | 20 | 8 | 70 | 23 | 21 | 17k|6995 | 0.000000e+00 | -- | Inf
1528.39/1528.89 c 1485s| 2490k|478566 | 8444k| 248M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 17k|7001 | 0.000000e+00 | -- | Inf
1534.59/1535.01 c 1491s| 2500k|480354 | 8477k| 249M| 63 | 8 | 70 | 15 | 8 | 70 | 23 | 21 | 17k|7006 | 0.000000e+00 | -- | Inf
1540.69/1541.14 c 1497s| 2510k|482504 | 8511k| 250M| 63 | 8 | 70 | 15 | 10 | 70 | 23 | 21 | 17k|7019 | 0.000000e+00 | -- | Inf
1546.79/1547.22 c 1503s| 2520k|485224 | 8545k| 252M| 63 | 8 | 70 | 23 | 9 | 70 | 23 | 21 | 17k|7026 | 0.000000e+00 | -- | Inf
1552.88/1553.38 c 1509s| 2530k|487370 | 8580k| 253M| 63 | - | 70 | 17 | 9 | 70 | 23 | 21 | 17k|7039 | 0.000000e+00 | -- | Inf
1558.97/1559.43 c 1515s| 2540k|489802 | 8613k| 254M| 63 | - | 70 | 20 | 8 | 70 | 23 | 21 | 17k|7049 | 0.000000e+00 | -- | Inf
1564.97/1565.46 c 1521s| 2550k|492478 | 8646k| 255M| 63 | - | 70 | 19 | 8 | 0 | 0 | 21 | 17k|7059 | 0.000000e+00 | -- | Inf
1571.17/1571.66 c 1527s| 2560k|494440 | 8681k| 256M| 63 | 8 | 70 | 18 | 9 | 70 | 23 | 21 | 17k|7070 | 0.000000e+00 | -- | Inf
1577.17/1577.65 c 1533s| 2570k|496674 | 8714k| 257M| 63 | 8 | 70 | 22 | 8 | 70 | 23 | 21 | 17k|7072 | 0.000000e+00 | -- | Inf
1583.37/1583.83 c 1539s| 2580k|498384 | 8747k| 258M| 63 | - | 70 | 16 | 8 | 70 | 23 | 21 | 17k|7081 | 0.000000e+00 | -- | Inf
1589.67/1590.11 c 1545s| 2590k|499889 | 8781k| 259M| 63 | 8 | 70 | 19 | 8 | 70 | 23 | 21 | 17k|7092 | 0.000000e+00 | -- | Inf
1595.76/1596.28 c 1551s| 2600k|501755 | 8815k| 260M| 63 | - | 70 | 19 | 8 | 70 | 23 | 21 | 17k|7105 | 0.000000e+00 | -- | Inf
1601.97/1602.46 c 1557s| 2610k|503733 | 8849k| 261M| 63 | 8 | 70 | 21 | 8 | 70 | 23 | 21 | 17k|7117 | 0.000000e+00 | -- | Inf
1608.27/1608.70 c 1563s| 2620k|505365 | 8883k| 262M| 63 | 8 | 70 | 18 | 8 | 70 | 23 | 21 | 17k|7120 | 0.000000e+00 | -- | Inf
1614.46/1614.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.46/1614.91 c 1569s| 2630k|507193 | 8917k| 263M| 63 | 8 | 70 | 19 | 8 | 70 | 23 | 21 | 18k|7139 | 0.000000e+00 | -- | Inf
1620.56/1621.09 c 1575s| 2640k|508699 | 8951k| 264M| 63 | 8 | 70 | 15 | 8 | 70 | 23 | 21 | 18k|7152 | 0.000000e+00 | -- | Inf
1626.76/1627.29 c 1581s| 2650k|510356 | 8984k| 265M| 63 | 8 | 70 | 15 | 8 | 70 | 23 | 21 | 18k|7165 | 0.000000e+00 | -- | Inf
1632.95/1633.48 c 1587s| 2660k|512102 | 9018k| 266M| 63 | - | 70 | 18 | 8 | 70 | 23 | 21 | 18k|7172 | 0.000000e+00 | -- | Inf
1639.05/1639.57 c 1593s| 2670k|513996 | 9051k| 267M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 18k|7183 | 0.000000e+00 | -- | Inf
1645.25/1645.76 c 1599s| 2680k|515788 | 9084k| 267M| 63 | - | 70 | 25 | 8 | 70 | 23 | 21 | 18k|7198 | 0.000000e+00 | -- | Inf
1651.45/1651.99 c 1605s| 2690k|517414 | 9118k| 268M| 63 | - | 70 | 27 | 8 | 70 | 23 | 21 | 18k|7214 | 0.000000e+00 | -- | Inf
1657.65/1658.18 c 1611s| 2700k|519082 | 9152k| 269M| 63 | 8 | 70 | 26 | 8 | 70 | 23 | 21 | 18k|7225 | 0.000000e+00 | -- | Inf
1663.85/1664.37 c 1617s| 2710k|520980 | 9185k| 270M| 63 | - | 70 | 26 | 8 | 70 | 23 | 21 | 18k|7237 | 0.000000e+00 | -- | Inf
1670.05/1670.59 c 1623s| 2720k|522792 | 9219k| 271M| 63 | 8 | 70 | 20 | 8 | 70 | 23 | 21 | 18k|7245 | 0.000000e+00 | -- | Inf
1676.24/1676.78 c 1629s| 2730k|524296 | 9253k| 272M| 63 | - | 70 | 21 | 8 | 70 | 23 | 21 | 18k|7259 | 0.000000e+00 | -- | Inf
1682.55/1683.06 c 1635s| 2740k|525786 | 9286k| 273M| 63 | 8 | 70 | 19 | 8 | 70 | 23 | 21 | 18k|7276 | 0.000000e+00 | -- | Inf
1688.84/1689.30 c 1641s| 2750k|527838 | 9321k| 274M| 63 | 8 | 70 | 18 | 8 | 70 | 23 | 21 | 18k|7281 | 0.000000e+00 | -- | Inf
1694.93/1695.47 c 1647s| 2760k|529979 | 9355k| 275M| 63 | - | 70 | 20 | 8 | 70 | 23 | 21 | 18k|7298 | 0.000000e+00 | -- | Inf
1701.14/1701.66 c 1653s| 2770k|531707 | 9389k| 276M| 63 | 8 | 70 | 18 | 9 | 70 | 23 | 21 | 18k|7309 | 0.000000e+00 | -- | Inf
1707.33/1707.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1707.33/1707.87 c 1659s| 2780k|533557 | 9423k| 277M| 63 | 8 | 70 | 23 | 8 | 70 | 23 | 21 | 18k|7321 | 0.000000e+00 | -- | Inf
1713.54/1714.01 c 1665s| 2790k|535465 | 9456k| 278M| 63 | 8 | 70 | 25 | 8 | 70 | 23 | 21 | 18k|7335 | 0.000000e+00 | -- | Inf
1719.63/1720.11 c 1671s| 2800k|537241 | 9489k| 279M| 63 | - | 70 | 22 | 8 | 70 | 23 | 21 | 18k|7344 | 0.000000e+00 | -- | Inf
1725.83/1726.31 c 1677s| 2810k|539037 | 9522k| 280M| 63 | - | 70 | 22 | 8 | 70 | 23 | 21 | 19k|7360 | 0.000000e+00 | -- | Inf
1732.03/1732.56 c 1683s| 2820k|540637 | 9556k| 281M| 63 | 8 | 70 | 24 | 8 | 70 | 23 | 21 | 19k|7374 | 0.000000e+00 | -- | Inf
1738.32/1738.84 c 1689s| 2830k|542033 | 9590k| 282M| 63 | 8 | 70 | 17 | 8 | 70 | 23 | 21 | 19k|7390 | 0.000000e+00 | -- | Inf
1744.52/1745.09 c 1695s| 2840k|543809 | 9624k| 282M| 63 | 8 | 70 | 16 | 8 | 70 | 23 | 21 | 19k|7398 | 0.000000e+00 | -- | Inf
1750.73/1751.25 c 1701s| 2850k|545843 | 9657k| 283M| 63 | 8 | 70 | 14 | 8 | 70 | 23 | 21 | 19k|7408 | 0.000000e+00 | -- | Inf
1756.92/1757.42 c 1707s| 2860k|547773 | 9691k| 284M| 63 | 8 | 70 | 18 | 8 | 70 | 23 | 21 | 19k|7430 | 0.000000e+00 | -- | Inf
1763.12/1763.62 c 1713s| 2870k|549377 | 9724k| 285M| 63 | - | 70 | 20 | 8 | 70 | 23 | 21 | 19k|7440 | 0.000000e+00 | -- | Inf
1769.32/1769.88 c 1719s| 2880k|551013 | 9758k| 286M| 63 | - | 70 | 20 | 8 | 0 | 0 | 21 | 19k|7449 | 0.000000e+00 | -- | Inf
1775.41/1775.99 c 1725s| 2890k|553037 | 9791k| 287M| 63 | 8 | 70 | 26 | 11 | 70 | 23 | 21 | 19k|7460 | 0.000000e+00 | -- | Inf
1781.61/1782.11 c 1731s| 2900k|555894 | 9826k| 289M| 63 | 8 | 70 | 27 | 9 | 70 | 23 | 21 | 19k|7472 | 0.000000e+00 | -- | Inf
1787.71/1788.28 c 1737s| 2910k|558396 | 9860k| 290M| 63 | 8 | 70 | 33 | 9 | 70 | 23 | 21 | 19k|7476 | 0.000000e+00 | -- | Inf
1793.91/1794.44 c 1743s| 2920k|560490 | 9894k| 291M| 63 | - | 70 | 31 | 8 | 70 | 23 | 21 | 19k|7482 | 0.000000e+00 | -- | Inf
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1749.28
1800.02/1800.50 c Solving Nodes : 2929898
1800.02/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.50 c Dual Bound : +0.00000000000000e+00
1800.02/1800.50 c Gap : infinite
1800.02/1800.50 c NODE 2929898
1800.02/1800.50 c DUAL BOUND 0
1800.02/1800.50 c PRIMAL BOUND 1e+20
1800.02/1800.50 c GAP 1e+20
1800.02/1800.50 s UNKNOWN
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time : 1749.28
1800.02/1800.50 c Original Problem :
1800.02/1800.50 c Problem name : HOME/instance-1869551-1245178269.opb
1800.02/1800.50 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 17 initial, 17 maximal
1800.02/1800.50 c Presolved Problem :
1800.02/1800.50 c Problem name : t_HOME/instance-1869551-1245178269.opb
1800.02/1800.50 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 8 initial, 135 maximal
1800.02/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.02/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.50 c linear : 0.00 0 0 0 0 0 9 0 0
1800.02/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c root node : - 0 - - 0 - - - -
1800.02/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c integral : 0 0 0 1749224 0 604 2835 0 0 3492478
1800.02/1800.50 c linear : 8 6 3494349 0 0 138299 5659555 0 0 0
1800.02/1800.50 c logicor : 0+ 0 538977 0 0 6 18245 0 0 0
1800.02/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.50 c integral : 21.53 0.00 0.00 21.53 0.00
1800.02/1800.50 c linear : 305.31 0.00 305.31 0.00 0.00
1800.02/1800.50 c logicor : 1.16 0.00 1.16 0.00 0.00
1800.02/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.50 c rootredcost : 1.57 0 0 0
1800.02/1800.50 c pseudoobj : 0.82 0 0 0
1800.02/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.50 c propagation : 24.71 138305 16368 37611 50.3 0 0.0 -
1800.02/1800.50 c infeasible LP : 16.51 1045528 3259 3724 29.9 0 0.0 0
1800.02/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.50 c applied globally : - - - 2627 27.7 - - -
1800.02/1800.50 c applied locally : - - - 17131 47.5 - - -
1800.02/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.50 c cut pool : 0.00 5 - - 16 - (maximal pool size: 74)
1800.02/1800.50 c redcost : 4.98 1749223 0 0 0 0
1800.02/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.50 c intobj : 0.00 0 0 0 0 0
1800.02/1800.50 c gomory : 0.00 6 0 0 0 0
1800.02/1800.50 c strongcg : 0.00 6 0 0 34 0
1800.02/1800.50 c cmir : 0.04 6 0 0 23 0
1800.02/1800.50 c flowcover : 0.04 6 0 0 32 0
1800.02/1800.50 c clique : 0.00 1 0 0 0 0
1800.02/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.50 c mcf : 0.00 1 0 0 0 0
1800.02/1800.50 c Pricers : Time Calls Vars
1800.02/1800.50 c problem variables: 0.00 0 0
1800.02/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c relpscost : 19.97 1749224 604 2835 0 0 3492478
1800.02/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.50 c random : 0.00 0 0 0 0 0 0
1800.02/1800.50 c Primal Heuristics : Time Calls Found
1800.02/1800.50 c LP solutions : 0.00 - 0
1800.02/1800.50 c pseudo solutions : 0.00 - 0
1800.02/1800.50 c oneopt : 1.19 0 0
1800.02/1800.50 c crossover : 0.69 0 0
1800.02/1800.50 c guideddiving : 0.07 0 0
1800.02/1800.50 c veclendiving : 0.23 61 0
1800.02/1800.50 c linesearchdiving : 0.13 61 0
1800.02/1800.50 c feaspump : 0.25 31 0
1800.02/1800.50 c objpscostdiving : 0.11 31 0
1800.02/1800.50 c rootsoldiving : 0.13 31 0
1800.02/1800.50 c coefdiving : 0.14 62 0
1800.02/1800.50 c pscostdiving : 0.23 62 0
1800.02/1800.50 c fracdiving : 0.27 62 0
1800.02/1800.50 c simplerounding : 0.75 0 0
1800.02/1800.50 c rounding : 2.10 18748 0
1800.02/1800.50 c shifting : 5.94 5857 0
1800.02/1800.50 c intshifting : 0.03 0 0
1800.02/1800.50 c fixandinfer : 0.00 0 0
1800.02/1800.50 c intdiving : 0.00 0 0
1800.02/1800.50 c actconsdiving : 0.00 0 0
1800.02/1800.50 c octane : 0.00 0 0
1800.02/1800.50 c rens : 0.06 1 0
1800.02/1800.50 c rins : 0.00 0 0
1800.02/1800.50 c localbranching : 0.00 0 0
1800.02/1800.50 c mutation : 0.00 0 0
1800.02/1800.50 c dins : 0.00 0 0
1800.02/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.50 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.50 c dual LP : 1205.70 2943514 9924467 3.37 8231.29
1800.02/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.50 c diving/probing LP: 0.72 1957 4570 2.34 6347.22
1800.02/1800.50 c strong branching : 2.35 7489 54245 7.24 23082.98
1800.02/1800.50 c (at root node) : - 22 1545 70.23 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 2929898
1800.02/1800.51 c nodes (total) : 2929898
1800.02/1800.51 c nodes left : 562550
1800.02/1800.51 c max depth : 63
1800.02/1800.51 c max depth (total): 63
1800.02/1800.51 c backtracks : 279906 (9.6%)
1800.02/1800.51 c delayed cutoffs : 31
1800.02/1800.51 c repropagations : 34366 (18487 domain reductions, 31 cutoffs)
1800.02/1800.51 c avg switch length: 4.19
1800.02/1800.51 c switching time : 65.90
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 0 (0 improvements)
1800.02/1800.51 c Primal Bound : -
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1801.71/1802.29 c Time complete: 1801.8.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869551-1245178269/watcher-1869551-1245178269 -o /tmp/evaluation-result-1869551-1245178269/solver-1869551-1245178269 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869551-1245178269.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 0.99 0.99 3/64 4938
/proc/meminfo: memFree=1838320/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=5812 CPUtime=0
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 185426951 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/4938/statm: 1453 510 339 1256 0 192 0
[startup+0.009467 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 4938
/proc/meminfo: memFree=1838320/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=10056 CPUtime=0
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 1483 0 0 0 0 0 0 0 18 0 1 0 185426951 10297344 1467 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/4938/statm: 2514 1468 378 1256 0 1253 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10056
[startup+0.101476 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 4938
/proc/meminfo: memFree=1838320/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=14908 CPUtime=0.09
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 2948 0 0 0 9 0 0 0 18 0 1 0 185426951 15265792 2578 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 3727 2580 659 1256 0 2466 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14908
[startup+0.301497 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 4938
/proc/meminfo: memFree=1838320/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=16248 CPUtime=0.29
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 4792 0 0 0 27 2 0 0 19 0 1 0 185426951 16637952 2630 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 4062 2630 683 1256 0 2801 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16248
[startup+0.70154 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 4938
/proc/meminfo: memFree=1838320/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=16248 CPUtime=0.69
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 4870 0 0 0 66 3 0 0 22 0 1 0 185426951 16637952 2708 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 4062 2708 692 1256 0 2801 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16248
[startup+1.50163 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4939
/proc/meminfo: memFree=1830120/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=16248 CPUtime=1.49
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 4887 0 0 0 145 4 0 0 25 0 1 0 185426951 16637952 2725 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 4062 2725 692 1256 0 2801 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16248
[startup+3.1018 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4939
/proc/meminfo: memFree=1829800/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=16592 CPUtime=3.09
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 4971 0 0 0 301 8 0 0 25 0 1 0 185426951 16990208 2809 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 4148 2809 692 1256 0 2887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16592
[startup+6.30115 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4939
/proc/meminfo: memFree=1828968/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=16932 CPUtime=6.29
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 5153 0 0 0 613 16 0 0 25 0 1 0 185426951 17338368 2991 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 4233 2991 692 1256 0 2972 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16932
[startup+12.7018 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4939
/proc/meminfo: memFree=1827240/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=19524 CPUtime=12.69
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 5596 0 0 0 1235 34 0 0 25 0 1 0 185426951 19992576 3434 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 4881 3434 692 1256 0 3620 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19524
[startup+25.5012 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4939
/proc/meminfo: memFree=1824680/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=21924 CPUtime=25.48
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 6283 0 0 0 2477 71 0 0 25 0 1 0 185426951 22450176 4121 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 5481 4121 692 1256 0 4220 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21924
[startup+51.102 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4939
/proc/meminfo: memFree=1819752/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=27336 CPUtime=51.08
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 7440 0 0 0 4962 146 0 0 25 0 1 0 185426951 27992064 5278 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 6834 5278 692 1256 0 5573 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27336
[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4941
/proc/meminfo: memFree=1810088/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=36496 CPUtime=102.26
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 9843 0 0 0 9939 287 0 0 25 0 1 0 185426951 37371904 7681 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 9124 7681 692 1256 0 7863 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 36496
[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4941
/proc/meminfo: memFree=1799080/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=47196 CPUtime=162.25
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 12603 0 0 0 15769 456 0 0 25 0 1 0 185426951 48328704 10441 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 11799 10441 692 1256 0 10538 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 47196
[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4941
/proc/meminfo: memFree=1788392/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=59144 CPUtime=222.23
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 15314 0 0 0 21603 620 0 0 25 0 1 0 185426951 60563456 13152 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 14786 13152 692 1256 0 13525 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 59144
[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4941
/proc/meminfo: memFree=1778088/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=69392 CPUtime=282.21
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 17782 0 0 0 27433 788 0 0 25 0 1 0 185426951 71057408 15620 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 17348 15620 692 1256 0 16087 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 69392
[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4941
/proc/meminfo: memFree=1767976/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=79096 CPUtime=342.2
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 20279 0 0 0 33260 960 0 0 25 0 1 0 185426951 80994304 18117 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 19774 18117 692 1256 0 18513 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 79096
[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4941
/proc/meminfo: memFree=1757352/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=89956 CPUtime=402.19
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 23055 0 0 0 39088 1131 0 0 25 0 1 0 185426951 92114944 20893 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 22489 20893 692 1256 0 21228 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 89956
[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4941
/proc/meminfo: memFree=1746216/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=101236 CPUtime=462.17
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 25680 0 0 0 44914 1303 0 0 25 0 1 0 185426951 103665664 23518 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 25309 23518 692 1256 0 24048 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 101236
[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4941
/proc/meminfo: memFree=1737128/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=109560 CPUtime=522.15
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 27939 0 0 0 50744 1471 0 0 25 0 1 0 185426951 112189440 25777 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 27390 25777 692 1256 0 26129 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 109560
[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4941
/proc/meminfo: memFree=1726440/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=124040 CPUtime=582.13
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 30592 0 0 0 56576 1637 0 0 25 0 1 0 185426951 127016960 28430 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 31010 28430 692 1256 0 29749 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 124040
[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1716712/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=132880 CPUtime=642.12
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 32970 0 0 0 62399 1813 0 0 25 0 1 0 185426951 136069120 30806 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 33220 30806 692 1256 0 31959 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 132880
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1658728/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=190312 CPUtime=1002.02
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 47515 0 0 0 97376 2826 0 0 25 0 1 0 185426951 194879488 45348 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 47578 45348 692 1256 0 46317 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 190312
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1649384/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=199632 CPUtime=1062.01
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 49785 0 0 0 103200 3001 0 0 25 0 1 0 185426951 204423168 47618 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 49908 47618 692 1256 0 48647 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 199632
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1639720/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=208860 CPUtime=1122
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 52122 0 0 0 109034 3166 0 0 25 0 1 0 185426951 213872640 49954 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 52215 49954 692 1256 0 50954 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 208860
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1630248/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=218180 CPUtime=1181.98
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 54567 0 0 0 114860 3338 0 0 25 0 1 0 185426951 223416320 52399 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 54545 52399 692 1256 0 53284 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 218180
[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1620136/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=227240 CPUtime=1241.96
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 56963 0 0 0 120692 3504 0 0 25 0 1 0 185426951 232693760 54795 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 56810 54795 692 1256 0 55549 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 227240
[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1611368/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=236020 CPUtime=1301.95
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 59127 0 0 0 126522 3673 0 0 25 0 1 0 185426951 241684480 56959 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 59005 56959 692 1256 0 57744 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 236020
[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1601000/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=245944 CPUtime=1361.93
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 61714 0 0 0 132357 3836 0 0 25 0 1 0 185426951 251846656 59546 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 61486 59546 692 1256 0 60225 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 245944
[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1591848/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=255108 CPUtime=1421.91
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 63988 0 0 0 138179 4012 0 0 25 0 1 0 185426951 261230592 61820 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 63777 61820 692 1256 0 62516 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 255108
[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1583016/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=271588 CPUtime=1481.9
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 66183 0 0 0 144003 4187 0 0 25 0 1 0 185426951 278106112 64015 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 67897 64015 692 1256 0 66636 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 271588
[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1573480/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=281228 CPUtime=1541.88
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 68572 0 0 0 149828 4360 0 0 25 0 1 0 185426951 287977472 66404 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 70307 66404 692 1256 0 69046 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 281228
[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1563112/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=291348 CPUtime=1601.86
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 71135 0 0 0 155657 4529 0 0 25 0 1 0 185426951 298340352 68967 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 72837 68967 692 1256 0 71576 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 291348
[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1553704/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=300308 CPUtime=1661.85
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 73461 0 0 0 161489 4696 0 0 25 0 1 0 185426951 307515392 71293 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 75077 71293 692 1256 0 73816 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 300308
[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1543976/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=310140 CPUtime=1721.83
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 76007 0 0 0 167324 4859 0 0 25 0 1 0 185426951 317583360 73839 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 77535 73839 692 1256 0 76274 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 310140
[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1533736/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=319392 CPUtime=1781.82
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 78384 0 0 0 173158 5024 0 0 25 0 1 0 185426951 327057408 76216 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 79848 76216 692 1256 0 78587 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 319392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4947
/proc/meminfo: memFree=1530280/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=322692 CPUtime=1800.02
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 79253 0 0 0 174928 5074 0 0 25 0 1 0 185426951 330436608 77085 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4938/statm: 80673 77085 692 1256 0 79412 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 322692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 4948
/proc/meminfo: memFree=1530208/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=322692 CPUtime=1800.91
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 79254 0 0 0 175017 5074 0 0 25 0 1 0 185426951 330436608 77086 1992294400 4194304 9342243 548682068736 18446744073709551615 5838684 0 0 4096 0 0 0 0 17 1 0 0
/proc/4938/statm: 80673 77086 693 1256 0 79412 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 322692
[startup+1801.81 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 4948
/proc/meminfo: memFree=1530208/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=322692 CPUtime=1801.31
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 79254 0 0 0 175057 5074 0 0 25 0 1 0 185426951 330436608 77086 1992294400 4194304 9342243 548682068736 18446744073709551615 5838684 0 0 4096 0 0 0 0 17 1 0 0
/proc/4938/statm: 80673 77086 693 1256 0 79412 0
Current children cumulated CPU time (s) 1801.31
Current children cumulated vsize (KiB) 322692
[startup+1802.2 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 4948
/proc/meminfo: memFree=1530208/2055920 swapFree=4182492/4192956
[pid=4938] ppid=4936 vsize=322692 CPUtime=1801.71
/proc/4938/stat : 4938 (pbscip.linux.x8) R 4936 4938 4468 0 -1 4194304 79254 0 0 0 175097 5074 0 0 25 0 1 0 185426951 330436608 77086 1992294400 4194304 9342243 548682068736 18446744073709551615 5854449 0 0 4096 0 0 0 0 17 1 0 0
/proc/4938/statm: 80673 77086 693 1256 0 79412 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 322692
Child status: 0
Real time (s): 1802.3
CPU time (s): 1801.81
CPU user time (s): 1751.01
CPU system time (s): 50.7953
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 322692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1751.01
system time used= 50.7953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79257
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= 2070
runsolver used 1.25781 second user time and 3.89841 second system time
The end
Begin job on node21 at 2009-06-16 20:51:09
IDJOB=1869551
IDBENCH=2930
IDSOLVER=684
FILE ID=node21/1869551-1245178269
PBS_JOBID= 9363878
Free space on /tmp= 66092 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-market-split_8_70_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-1869551-1245178269/watcher-1869551-1245178269 -o /tmp/evaluation-result-1869551-1245178269/solver-1869551-1245178269 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869551-1245178269.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c7543821508efc06c2ce41424051ab2c
RANDOM SEED=1271019838
node21.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.239
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.239
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: 1838736 kB
Buffers: 47816 kB
Cached: 94060 kB
SwapCached: 4256 kB
Active: 51112 kB
Inactive: 98092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1838736 kB
SwapTotal: 4192956 kB
SwapFree: 4182492 kB
Dirty: 11740 kB
Writeback: 0 kB
Mapped: 13420 kB
Slab: 54024 kB
Committed_AS: 175452 kB
PageTables: 1384 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= 66080 MiB
End job on node21 at 2009-06-16 21:21:12