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-1869487-1245174352.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 | 40 | 341k| 0 | 8 | 70 | 8 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 154 | 389k| 0 | 11 | 70 | 8 | 8 | 70 | 14 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 159 | 426k| 0 | 12 | 70 | 8 | 8 | 70 | 18 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 166 | 453k| 0 | 16 | 70 | 8 | 8 | 70 | 21 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.07/0.09 c 0.1s| 1 | 0 | 172 | 469k| 0 | 16 | 70 | 8 | 8 | 70 | 23 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 181 | 513k| 0 | 16 | 70 | 8 | 8 | 70 | 26 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 185 | 534k| 0 | 18 | 70 | 8 | 8 | 70 | 28 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 2 | 185 | 535k| 0 | 18 | 70 | 8 | 8 | 70 | 28 | 20 | 0 | 18 | 0.000000e+00 | -- | Inf
6.47/6.57 c 6.3s| 10000 | 3629 | 37690 |2170k| 58 | 8 | 70 | 53 | 8 | 70 | 18 | 20 | 79 | 679 | 0.000000e+00 | -- | Inf
12.26/12.33 c 11.9s| 20000 | 7177 | 76208 |3753k| 60 | 8 | 70 | 89 | 8 | 70 | 18 | 20 | 173 | 913 | 0.000000e+00 | -- | Inf
18.07/18.12 c 17.6s| 30000 | 10491 |114406 |5226k| 60 | - | 70 | 110 | 12 | 70 | 18 | 20 | 272 |1122 | 0.000000e+00 | -- | Inf
23.76/23.85 c 23.1s| 40000 | 13639 |152633 |6655k| 61 | 8 | 70 | 141 | 30 | 70 | 18 | 20 | 348 |1271 | 0.000000e+00 | -- | Inf
29.46/29.50 c 28.6s| 50000 | 17057 |191585 |8169k| 61 | - | 70 | 147 | 30 | 70 | 18 | 20 | 431 |1405 | 0.000000e+00 | -- | Inf
35.16/35.23 c 34.1s| 60000 | 20099 |229830 |9559k| 63 | - | 70 | 149 | 11 | 70 | 18 | 20 | 499 |1523 | 0.000000e+00 | -- | Inf
40.85/40.92 c 39.6s| 70000 | 23256 |268024 | 10M| 63 | 8 | 70 | 142 | 23 | 70 | 18 | 20 | 572 |1629 | 0.000000e+00 | -- | Inf
46.55/46.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.55/46.62 c 45.2s| 80000 | 26236 |305832 | 12M| 63 | 8 | 70 | 135 | 22 | 70 | 18 | 20 | 648 |1751 | 0.000000e+00 | -- | Inf
52.05/52.16 c 50.5s| 90000 | 28974 |340313 | 13M| 63 | 8 | 70 | 112 | 13 | 70 | 18 | 20 | 702 |1859 | 0.000000e+00 | -- | Inf
57.65/57.71 c 55.9s|100000 | 31958 |374504 | 14M| 63 | 8 | 70 | 82 | 18 | 70 | 18 | 20 | 737 |1964 | 0.000000e+00 | -- | Inf
63.05/63.18 c 61.2s|110000 | 35022 |409082 | 16M| 63 | 8 | 70 | 55 | 9 | 70 | 18 | 20 | 758 |2048 | 0.000000e+00 | -- | Inf
68.54/68.69 c 66.6s|120000 | 37860 |443847 | 17M| 63 | 8 | 70 | 44 | 8 | 70 | 18 | 20 | 785 |2141 | 0.000000e+00 | -- | Inf
74.14/74.25 c 72.0s|130000 | 40500 |479568 | 18M| 63 | - | 70 | 38 | 8 | 70 | 18 | 20 | 814 |2218 | 0.000000e+00 | -- | Inf
79.74/79.84 c 77.4s|140000 | 43022 |515173 | 20M| 63 | - | 70 | 35 | 8 | 70 | 18 | 20 | 840 |2314 | 0.000000e+00 | -- | Inf
85.24/85.34 c 82.8s|150000 | 45748 |550238 | 21M| 63 | - | 70 | 34 | 11 | 70 | 18 | 20 | 860 |2386 | 0.000000e+00 | -- | Inf
90.74/90.85 c 88.1s|160000 | 48392 |585399 | 22M| 63 | - | 70 | 33 | 9 | 70 | 18 | 20 | 876 |2469 | 0.000000e+00 | -- | Inf
96.24/96.35 c 93.4s|170000 | 51244 |619995 | 24M| 63 | 8 | 70 | 33 | 10 | 70 | 18 | 20 | 892 |2546 | 0.000000e+00 | -- | Inf
101.73/101.84 c 98.8s|180000 | 54172 |654911 | 25M| 63 | - | 70 | 35 | 8 | 70 | 18 | 20 | 918 |2612 | 0.000000e+00 | -- | Inf
107.13/107.21 c 104s|190000 | 57082 |688517 | 26M| 63 | 8 | 70 | 34 | 10 | 70 | 18 | 20 | 940 |2677 | 0.000000e+00 | -- | Inf
112.72/112.83 c 109s|200000 | 59563 |723042 | 27M| 63 | - | 70 | 35 | 9 | 70 | 18 | 20 | 966 |2738 | 0.000000e+00 | -- | Inf
118.31/118.42 c 115s|210000 | 62023 |758677 | 29M| 63 | 8 | 70 | 32 | 9 | 70 | 18 | 20 | 981 |2809 | 0.000000e+00 | -- | Inf
123.82/123.98 c 120s|220000 | 64383 |793970 | 30M| 63 | - | 70 | 27 | 8 | 70 | 18 | 20 |1003 |2873 | 0.000000e+00 | -- | Inf
129.41/129.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.41/129.54 c 126s|230000 | 66667 |829145 | 31M| 63 | 8 | 70 | 24 | 10 | 70 | 18 | 20 |1024 |2936 | 0.000000e+00 | -- | Inf
134.91/135.07 c 131s|240000 | 68885 |863990 | 32M| 63 | - | 70 | 26 | 9 | 70 | 18 | 20 |1039 |2999 | 0.000000e+00 | -- | Inf
140.51/140.63 c 136s|250000 | 71143 |898813 | 33M| 63 | - | 70 | 29 | 11 | 70 | 18 | 20 |1073 |3062 | 0.000000e+00 | -- | Inf
145.91/146.08 c 142s|260000 | 74001 |934021 | 35M| 63 | 8 | 70 | 35 | 8 | 70 | 18 | 20 |1098 |3114 | 0.000000e+00 | -- | Inf
151.41/151.59 c 147s|270000 | 76537 |969744 | 36M| 63 | - | 70 | 33 | 8 | 70 | 18 | 20 |1125 |3184 | 0.000000e+00 | -- | Inf
157.01/157.11 c 152s|280000 | 79111 | 1004k| 37M| 63 | 8 | 70 | 29 | 9 | 70 | 18 | 20 |1145 |3246 | 0.000000e+00 | -- | Inf
162.51/162.62 c 158s|290000 | 81531 | 1038k| 38M| 63 | 8 | 70 | 26 | 8 | 70 | 18 | 20 |1186 |3294 | 0.000000e+00 | -- | Inf
168.00/168.11 c 163s|300000 | 84047 | 1074k| 39M| 63 | 8 | 70 | 27 | 8 | 70 | 18 | 20 |1208 |3347 | 0.000000e+00 | -- | Inf
173.50/173.61 c 168s|310000 | 86483 | 1109k| 41M| 63 | 8 | 70 | 28 | 8 | 70 | 18 | 20 |1225 |3387 | 0.000000e+00 | -- | Inf
179.00/179.16 c 174s|320000 | 88749 | 1145k| 42M| 63 | 8 | 70 | 29 | 8 | 70 | 18 | 20 |1235 |3441 | 0.000000e+00 | -- | Inf
184.50/184.69 c 179s|330000 | 91063 | 1180k| 43M| 63 | 8 | 70 | 31 | 8 | 70 | 18 | 20 |1261 |3502 | 0.000000e+00 | -- | Inf
190.00/190.18 c 184s|340000 | 93513 | 1215k| 44M| 63 | 8 | 70 | 36 | 9 | 70 | 18 | 20 |1281 |3537 | 0.000000e+00 | -- | Inf
195.60/195.72 c 190s|350000 | 95959 | 1250k| 45M| 63 | 8 | 70 | 35 | 16 | 70 | 18 | 20 |1297 |3594 | 0.000000e+00 | -- | Inf
201.20/201.36 c 195s|360000 | 98760 | 1288k| 47M| 63 | 8 | 70 | 66 | 8 | 70 | 18 | 20 |1350 |3640 | 0.000000e+00 | -- | Inf
206.69/206.81 c 201s|370000 |101722 | 1323k| 48M| 63 | - | 70 | 75 | 12 | 70 | 18 | 20 |1373 |3683 | 0.000000e+00 | -- | Inf
212.19/212.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.19/212.36 c 206s|380000 |103990 | 1359k| 49M| 63 | 8 | 70 | 73 | 8 | 70 | 18 | 20 |1400 |3732 | 0.000000e+00 | -- | Inf
217.78/217.93 c 211s|390000 |106262 | 1394k| 50M| 63 | 8 | 70 | 63 | 13 | 70 | 18 | 20 |1420 |3770 | 0.000000e+00 | -- | Inf
223.28/223.43 c 217s|400000 |108964 | 1430k| 51M| 63 | 8 | 70 | 57 | 8 | 70 | 18 | 20 |1430 |3807 | 0.000000e+00 | -- | Inf
228.78/228.93 c 222s|410000 |111682 | 1466k| 53M| 63 | 8 | 70 | 55 | 16 | 70 | 18 | 20 |1445 |3859 | 0.000000e+00 | -- | Inf
234.37/234.53 c 227s|420000 |113774 | 1502k| 54M| 63 | - | 70 | 51 | 11 | 70 | 18 | 20 |1467 |3897 | 0.000000e+00 | -- | Inf
239.87/240.09 c 233s|430000 |116466 | 1538k| 55M| 63 | 8 | 70 | 46 | 9 | 70 | 18 | 20 |1491 |3943 | 0.000000e+00 | -- | Inf
245.37/245.57 c 238s|440000 |119188 | 1573k| 56M| 63 | 8 | 70 | 51 | 11 | 70 | 18 | 20 |1512 |3992 | 0.000000e+00 | -- | Inf
250.97/251.10 c 244s|450000 |121526 | 1609k| 58M| 63 | 8 | 70 | 52 | 16 | 70 | 18 | 20 |1532 |4039 | 0.000000e+00 | -- | Inf
256.47/256.66 c 249s|460000 |123930 | 1645k| 59M| 63 | - | 70 | 55 | 10 | 70 | 18 | 20 |1558 |4088 | 0.000000e+00 | -- | Inf
262.06/262.22 c 254s|470000 |126304 | 1680k| 60M| 63 | 8 | 70 | 51 | 9 | 70 | 18 | 20 |1587 |4131 | 0.000000e+00 | -- | Inf
267.57/267.76 c 260s|480000 |128612 | 1715k| 61M| 63 | - | 70 | 48 | 9 | 70 | 18 | 20 |1606 |4173 | 0.000000e+00 | -- | Inf
273.06/273.23 c 265s|490000 |131498 | 1750k| 62M| 63 | 8 | 70 | 53 | 8 | 70 | 18 | 20 |1628 |4208 | 0.000000e+00 | -- | Inf
278.65/278.82 c 270s|500000 |134346 | 1786k| 64M| 63 | 8 | 70 | 54 | 8 | 70 | 18 | 20 |1642 |4255 | 0.000000e+00 | -- | Inf
284.15/284.33 c 276s|510000 |136774 | 1820k| 65M| 63 | - | 70 | 56 | 9 | 70 | 18 | 20 |1661 |4294 | 0.000000e+00 | -- | Inf
289.56/289.79 c 281s|520000 |139106 | 1854k| 66M| 63 | 8 | 70 | 53 | 10 | 70 | 18 | 20 |1688 |4321 | 0.000000e+00 | -- | Inf
295.14/295.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.14/295.33 c 287s|530000 |141568 | 1888k| 67M| 63 | 8 | 70 | 52 | 8 | 70 | 18 | 20 |1706 |4352 | 0.000000e+00 | -- | Inf
300.74/300.90 c 292s|540000 |144090 | 1923k| 69M| 63 | - | 70 | 53 | 8 | 70 | 18 | 20 |1721 |4397 | 0.000000e+00 | -- | Inf
306.25/306.46 c 297s|550000 |146360 | 1958k| 70M| 63 | 8 | 70 | 45 | 9 | 70 | 18 | 20 |1734 |4437 | 0.000000e+00 | -- | Inf
311.74/311.98 c 303s|560000 |148704 | 1993k| 71M| 63 | - | 70 | 44 | 15 | 70 | 18 | 20 |1747 |4470 | 0.000000e+00 | -- | Inf
317.24/317.48 c 308s|570000 |151554 | 2028k| 72M| 63 | 8 | 70 | 46 | 8 | 70 | 18 | 20 |1763 |4497 | 0.000000e+00 | -- | Inf
322.83/323.09 c 313s|580000 |153900 | 2065k| 73M| 63 | - | 70 | 40 | 8 | 70 | 18 | 20 |1787 |4542 | 0.000000e+00 | -- | Inf
328.44/328.62 c 319s|590000 |156218 | 2100k| 74M| 63 | - | 70 | 35 | 10 | 70 | 18 | 20 |1804 |4581 | 0.000000e+00 | -- | Inf
333.94/334.12 c 324s|600000 |158674 | 2135k| 76M| 63 | - | 70 | 34 | 9 | 70 | 18 | 20 |1826 |4616 | 0.000000e+00 | -- | Inf
339.53/339.72 c 330s|610000 |160968 | 2171k| 77M| 63 | 8 | 70 | 36 | 11 | 70 | 18 | 20 |1842 |4659 | 0.000000e+00 | -- | Inf
345.03/345.25 c 335s|620000 |163464 | 2207k| 78M| 63 | - | 70 | 39 | 8 | 70 | 18 | 20 |1851 |4695 | 0.000000e+00 | -- | Inf
350.53/350.75 c 340s|630000 |165910 | 2242k| 79M| 63 | 8 | 70 | 44 | 10 | 70 | 18 | 20 |1881 |4735 | 0.000000e+00 | -- | Inf
356.13/356.32 c 346s|640000 |168288 | 2278k| 80M| 63 | 8 | 70 | 40 | 8 | 70 | 18 | 20 |1905 |4762 | 0.000000e+00 | -- | Inf
361.63/361.86 c 351s|650000 |170886 | 2314k| 82M| 63 | - | 70 | 40 | 8 | 70 | 18 | 20 |1915 |4785 | 0.000000e+00 | -- | Inf
367.13/367.35 c 356s|660000 |173566 | 2350k| 83M| 63 | 8 | 70 | 39 | 9 | 70 | 18 | 20 |1930 |4811 | 0.000000e+00 | -- | Inf
372.72/372.92 c 362s|670000 |175968 | 2386k| 84M| 63 | 8 | 70 | 35 | 9 | 70 | 18 | 20 |1944 |4834 | 0.000000e+00 | -- | Inf
378.32/378.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.32/378.53 c 367s|680000 |178546 | 2422k| 85M| 63 | 8 | 70 | 35 | 12 | 70 | 18 | 20 |1957 |4865 | 0.000000e+00 | -- | Inf
383.91/384.11 c 373s|690000 |180750 | 2457k| 86M| 63 | 8 | 70 | 31 | 15 | 70 | 18 | 20 |1971 |4898 | 0.000000e+00 | -- | Inf
389.41/389.65 c 378s|700000 |182957 | 2493k| 88M| 63 | 8 | 70 | 31 | 8 | 70 | 18 | 20 |1980 |4926 | 0.000000e+00 | -- | Inf
394.91/395.19 c 383s|710000 |185219 | 2528k| 89M| 63 | 8 | 70 | 32 | 9 | 70 | 18 | 20 |2006 |4960 | 0.000000e+00 | -- | Inf
400.50/400.76 c 389s|720000 |187547 | 2563k| 90M| 63 | 8 | 70 | 36 | 9 | 70 | 18 | 20 |2036 |4986 | 0.000000e+00 | -- | Inf
406.01/406.24 c 394s|730000 |190421 | 2599k| 91M| 63 | 8 | 70 | 34 | 8 | 70 | 18 | 20 |2054 |5009 | 0.000000e+00 | -- | Inf
411.50/411.73 c 399s|740000 |192661 | 2634k| 92M| 63 | 8 | 70 | 29 | 8 | 70 | 18 | 20 |2073 |5035 | 0.000000e+00 | -- | Inf
417.10/417.33 c 405s|750000 |194923 | 2670k| 93M| 63 | 8 | 70 | 29 | 8 | 70 | 18 | 20 |2088 |5052 | 0.000000e+00 | -- | Inf
422.60/422.84 c 410s|760000 |197435 | 2705k| 95M| 63 | 8 | 70 | 34 | 12 | 70 | 18 | 20 |2098 |5084 | 0.000000e+00 | -- | Inf
428.00/428.30 c 415s|770000 |199943 | 2740k| 96M| 63 | - | 70 | 37 | 9 | 70 | 18 | 20 |2122 |5119 | 0.000000e+00 | -- | Inf
433.60/433.89 c 421s|780000 |202123 | 2776k| 97M| 63 | - | 70 | 40 | 8 | 70 | 18 | 20 |2148 |5136 | 0.000000e+00 | -- | Inf
439.19/439.42 c 426s|790000 |204759 | 2811k| 98M| 63 | - | 70 | 41 | 8 | 70 | 18 | 20 |2157 |5159 | 0.000000e+00 | -- | Inf
444.69/444.93 c 432s|800000 |207279 | 2846k| 99M| 63 | 8 | 70 | 36 | 8 | 70 | 18 | 20 |2176 |5184 | 0.000000e+00 | -- | Inf
450.18/450.45 c 437s|810000 |209811 | 2882k| 101M| 63 | 8 | 70 | 37 | 8 | 70 | 18 | 20 |2186 |5217 | 0.000000e+00 | -- | Inf
455.68/455.97 c 442s|820000 |212291 | 2917k| 102M| 63 | - | 70 | 40 | 8 | 70 | 18 | 20 |2201 |5249 | 0.000000e+00 | -- | Inf
461.18/461.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.18/461.48 c 448s|830000 |214777 | 2951k| 103M| 63 | - | 70 | 46 | 8 | 70 | 18 | 20 |2221 |5276 | 0.000000e+00 | -- | Inf
466.78/467.04 c 453s|840000 |216975 | 2987k| 104M| 63 | 8 | 70 | 41 | 11 | 70 | 18 | 20 |2254 |5310 | 0.000000e+00 | -- | Inf
472.37/472.60 c 459s|850000 |218960 | 3022k| 105M| 63 | - | 70 | 34 | 14 | 70 | 18 | 20 |2274 |5347 | 0.000000e+00 | -- | Inf
477.88/478.17 c 464s|860000 |221306 | 3057k| 106M| 63 | 8 | 70 | 32 | 8 | 70 | 18 | 20 |2297 |5371 | 0.000000e+00 | -- | Inf
483.37/483.69 c 469s|870000 |223782 | 3091k| 108M| 63 | 8 | 70 | 33 | 8 | 70 | 18 | 20 |2306 |5392 | 0.000000e+00 | -- | Inf
489.07/489.31 c 475s|880000 |226132 | 3128k| 109M| 63 | 8 | 70 | 29 | 8 | 70 | 18 | 20 |2321 |5420 | 0.000000e+00 | -- | Inf
494.57/494.80 c 480s|890000 |229034 | 3163k| 110M| 63 | 8 | 70 | 36 | 8 | 70 | 18 | 20 |2340 |5441 | 0.000000e+00 | -- | Inf
500.06/500.38 c 486s|900000 |231524 | 3198k| 111M| 63 | - | 70 | 42 | 8 | 70 | 18 | 20 |2360 |5462 | 0.000000e+00 | -- | Inf
505.67/505.95 c 491s|910000 |233670 | 3233k| 112M| 63 | 8 | 70 | 40 | 9 | 70 | 18 | 20 |2372 |5495 | 0.000000e+00 | -- | Inf
511.17/511.42 c 496s|920000 |236354 | 3268k| 114M| 63 | 8 | 70 | 42 | 9 | 70 | 18 | 20 |2382 |5521 | 0.000000e+00 | -- | Inf
516.67/516.94 c 502s|930000 |238932 | 3303k| 115M| 63 | 8 | 70 | 35 | 10 | 70 | 18 | 20 |2397 |5551 | 0.000000e+00 | -- | Inf
522.06/522.40 c 507s|940000 |241736 | 3337k| 116M| 63 | - | 70 | 30 | 8 | 70 | 18 | 20 |2405 |5572 | 0.000000e+00 | -- | Inf
527.56/527.84 c 512s|950000 |244168 | 3371k| 117M| 63 | 8 | 70 | 26 | 11 | 70 | 18 | 20 |2418 |5597 | 0.000000e+00 | -- | Inf
533.05/533.30 c 518s|960000 |246750 | 3406k| 119M| 63 | 8 | 70 | 34 | 8 | 70 | 18 | 20 |2438 |5623 | 0.000000e+00 | -- | Inf
538.45/538.77 c 523s|970000 |249518 | 3440k| 120M| 63 | 8 | 70 | 38 | 10 | 70 | 18 | 20 |2455 |5661 | 0.000000e+00 | -- | Inf
544.05/544.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.05/544.36 c 528s|980000 |251774 | 3475k| 121M| 63 | 8 | 70 | 36 | 8 | 70 | 18 | 20 |2468 |5683 | 0.000000e+00 | -- | Inf
549.55/549.89 c 534s|990000 |254076 | 3510k| 122M| 63 | - | 70 | 32 | 8 | 70 | 18 | 20 |2494 |5712 | 0.000000e+00 | -- | Inf
555.15/555.45 c 539s| 1000k|256218 | 3544k| 123M| 63 | 8 | 70 | 30 | 8 | 70 | 18 | 20 |2513 |5734 | 0.000000e+00 | -- | Inf
560.75/561.04 c 544s| 1010k|258490 | 3579k| 124M| 63 | 8 | 70 | 25 | 9 | 70 | 18 | 20 |2527 |5750 | 0.000000e+00 | -- | Inf
566.25/566.57 c 550s| 1020k|260602 | 3613k| 125M| 63 | - | 70 | 24 | 8 | 70 | 18 | 20 |2543 |5773 | 0.000000e+00 | -- | Inf
571.74/572.09 c 555s| 1030k|262876 | 3648k| 127M| 63 | - | 70 | 31 | 8 | 70 | 18 | 20 |2560 |5793 | 0.000000e+00 | -- | Inf
577.34/577.62 c 561s| 1040k|265278 | 3682k| 128M| 63 | - | 70 | 38 | 8 | 70 | 18 | 20 |2586 |5812 | 0.000000e+00 | -- | Inf
582.94/583.22 c 566s| 1050k|267344 | 3717k| 129M| 63 | 8 | 70 | 30 | 14 | 70 | 18 | 20 |2600 |5836 | 0.000000e+00 | -- | Inf
588.43/588.72 c 571s| 1060k|269834 | 3752k| 130M| 63 | 8 | 70 | 27 | 8 | 70 | 18 | 20 |2617 |5863 | 0.000000e+00 | -- | Inf
594.03/594.30 c 577s| 1070k|272084 | 3786k| 131M| 63 | 8 | 70 | 20 | 8 | 70 | 18 | 20 |2636 |5889 | 0.000000e+00 | -- | Inf
599.53/599.89 c 582s| 1080k|274300 | 3821k| 132M| 63 | 8 | 70 | 21 | 8 | 70 | 18 | 20 |2647 |5921 | 0.000000e+00 | -- | Inf
605.13/605.45 c 588s| 1090k|276636 | 3856k| 133M| 63 | - | 70 | 22 | 8 | 70 | 18 | 20 |2656 |5946 | 0.000000e+00 | -- | Inf
610.82/611.10 c 593s| 1100k|278741 | 3892k| 134M| 63 | 8 | 70 | 22 | 8 | 70 | 18 | 20 |2678 |5967 | 0.000000e+00 | -- | Inf
616.42/616.70 c 598s| 1110k|280910 | 3926k| 135M| 63 | - | 70 | 24 | 8 | 70 | 18 | 20 |2694 |5998 | 0.000000e+00 | -- | Inf
622.02/622.34 c 604s| 1120k|282914 | 3961k| 137M| 63 | 8 | 70 | 30 | 8 | 70 | 18 | 20 |2712 |6024 | 0.000000e+00 | -- | Inf
627.52/627.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.52/627.88 c 609s| 1130k|285256 | 3995k| 138M| 63 | - | 70 | 25 | 8 | 70 | 18 | 20 |2725 |6040 | 0.000000e+00 | -- | Inf
633.12/633.44 c 615s| 1140k|287718 | 4031k| 139M| 63 | 8 | 70 | 25 | 8 | 70 | 18 | 20 |2742 |6065 | 0.000000e+00 | -- | Inf
638.81/639.17 c 620s| 1150k|289978 | 4066k| 140M| 63 | 8 | 70 | 24 | 8 | 70 | 18 | 20 |2760 |6098 | 0.000000e+00 | -- | Inf
644.31/644.67 c 626s| 1160k|292666 | 4101k| 141M| 63 | 8 | 70 | 28 | 8 | 70 | 18 | 20 |2770 |6120 | 0.000000e+00 | -- | Inf
649.81/650.18 c 631s| 1170k|294954 | 4135k| 142M| 63 | 8 | 70 | 27 | 8 | 70 | 18 | 20 |2783 |6144 | 0.000000e+00 | -- | Inf
655.39/655.70 c 636s| 1180k|297936 | 4171k| 144M| 63 | - | 70 | 30 | 8 | 70 | 18 | 20 |2796 |6171 | 0.000000e+00 | -- | Inf
660.90/661.26 c 642s| 1190k|300724 | 4205k| 145M| 63 | - | 70 | 38 | 10 | 70 | 18 | 20 |2813 |6189 | 0.000000e+00 | -- | Inf
666.49/666.80 c 647s| 1200k|303056 | 4241k| 146M| 63 | 8 | 70 | 42 | 17 | 70 | 18 | 20 |2822 |6213 | 0.000000e+00 | -- | Inf
672.09/672.40 c 653s| 1210k|305344 | 4277k| 147M| 63 | 8 | 70 | 51 | 9 | 70 | 18 | 20 |2848 |6229 | 0.000000e+00 | -- | Inf
677.69/678.07 c 658s| 1220k|307466 | 4314k| 148M| 63 | - | 70 | 43 | 10 | 70 | 18 | 20 |2864 |6254 | 0.000000e+00 | -- | Inf
683.28/683.67 c 664s| 1230k|309734 | 4349k| 150M| 63 | 8 | 70 | 39 | 8 | 70 | 18 | 20 |2873 |6278 | 0.000000e+00 | -- | Inf
688.78/689.15 c 669s| 1240k|312526 | 4386k| 151M| 63 | - | 70 | 46 | 8 | 70 | 18 | 20 |2881 |6299 | 0.000000e+00 | -- | Inf
694.39/694.74 c 674s| 1250k|314724 | 4422k| 152M| 63 | 8 | 70 | 39 | 9 | 70 | 18 | 20 |2896 |6320 | 0.000000e+00 | -- | Inf
699.88/700.27 c 680s| 1260k|317450 | 4458k| 153M| 63 | 8 | 70 | 38 | 9 | 70 | 18 | 20 |2905 |6338 | 0.000000e+00 | -- | Inf
705.28/705.61 c 685s| 1270k|320698 | 4492k| 155M| 63 | 8 | 70 | 42 | 8 | 70 | 18 | 20 |2915 |6353 | 0.000000e+00 | -- | Inf
710.58/710.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.58/710.94 c 690s| 1280k|323896 | 4525k| 156M| 63 | 8 | 70 | 44 | 8 | 70 | 18 | 20 |2919 |6384 | 0.000000e+00 | -- | Inf
716.17/716.51 c 695s| 1290k|326200 | 4560k| 157M| 63 | 8 | 70 | 43 | 8 | 70 | 18 | 20 |2935 |6400 | 0.000000e+00 | -- | Inf
721.77/722.14 c 701s| 1300k|328274 | 4595k| 158M| 63 | 8 | 70 | 38 | 13 | 70 | 18 | 20 |2954 |6422 | 0.000000e+00 | -- | Inf
727.27/727.60 c 706s| 1310k|331016 | 4631k| 160M| 63 | 8 | 70 | 40 | 22 | 70 | 18 | 20 |2964 |6446 | 0.000000e+00 | -- | Inf
732.76/733.15 c 712s| 1320k|333120 | 4666k| 161M| 63 | - | 70 | 33 | 8 | 70 | 18 | 20 |2992 |6467 | 0.000000e+00 | -- | Inf
738.37/738.75 c 717s| 1330k|335206 | 4701k| 162M| 63 | 8 | 70 | 29 | 8 | 70 | 18 | 20 |3026 |6490 | 0.000000e+00 | -- | Inf
743.86/744.22 c 722s| 1340k|337800 | 4735k| 163M| 63 | 8 | 70 | 39 | 8 | 70 | 18 | 20 |3047 |6504 | 0.000000e+00 | -- | Inf
749.26/749.66 c 728s| 1350k|340412 | 4769k| 164M| 63 | 8 | 70 | 41 | 9 | 70 | 18 | 20 |3082 |6520 | 0.000000e+00 | -- | Inf
754.75/755.17 c 733s| 1360k|342916 | 4803k| 166M| 63 | 8 | 70 | 42 | 8 | 70 | 18 | 20 |3101 |6532 | 0.000000e+00 | -- | Inf
760.36/760.78 c 738s| 1370k|345146 | 4839k| 167M| 63 | 8 | 70 | 46 | 8 | 70 | 18 | 20 |3136 |6555 | 0.000000e+00 | -- | Inf
765.95/766.37 c 744s| 1380k|347326 | 4875k| 168M| 63 | 8 | 70 | 37 | 8 | 70 | 18 | 20 |3148 |6579 | 0.000000e+00 | -- | Inf
771.45/771.87 c 749s| 1390k|349732 | 4910k| 169M| 63 | 8 | 70 | 31 | 8 | 70 | 18 | 20 |3160 |6595 | 0.000000e+00 | -- | Inf
777.05/777.43 c 755s| 1400k|352248 | 4945k| 170M| 63 | 8 | 70 | 30 | 17 | 70 | 18 | 20 |3178 |6615 | 0.000000e+00 | -- | Inf
782.64/783.05 c 760s| 1410k|354420 | 4981k| 171M| 63 | - | 70 | 37 | 8 | 70 | 18 | 20 |3201 |6645 | 0.000000e+00 | -- | Inf
788.24/788.69 c 765s| 1420k|356708 | 5017k| 172M| 63 | 8 | 70 | 37 | 9 | 70 | 18 | 20 |3219 |6657 | 0.000000e+00 | -- | Inf
793.84/794.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
793.84/794.23 c 771s| 1430k|359012 | 5052k| 174M| 63 | - | 70 | 33 | 10 | 70 | 18 | 20 |3244 |6689 | 0.000000e+00 | -- | Inf
799.43/799.80 c 776s| 1440k|361348 | 5088k| 175M| 63 | - | 70 | 34 | 8 | 70 | 18 | 20 |3261 |6703 | 0.000000e+00 | -- | Inf
804.93/805.32 c 782s| 1450k|363840 | 5123k| 176M| 63 | 8 | 70 | 37 | 8 | 70 | 18 | 20 |3290 |6728 | 0.000000e+00 | -- | Inf
810.43/810.88 c 787s| 1460k|365772 | 5157k| 177M| 63 | - | 70 | 38 | 8 | 70 | 18 | 20 |3305 |6746 | 0.000000e+00 | -- | Inf
816.02/816.44 c 792s| 1470k|368082 | 5192k| 178M| 63 | 8 | 70 | 26 | 9 | 70 | 18 | 20 |3329 |6761 | 0.000000e+00 | -- | Inf
821.53/821.99 c 798s| 1480k|370522 | 5227k| 179M| 63 | - | 70 | 31 | 8 | 70 | 18 | 20 |3350 |6775 | 0.000000e+00 | -- | Inf
827.12/827.53 c 803s| 1490k|373130 | 5262k| 181M| 63 | - | 70 | 38 | 8 | 70 | 18 | 20 |3371 |6801 | 0.000000e+00 | -- | Inf
832.72/833.14 c 809s| 1500k|375406 | 5298k| 182M| 63 | 8 | 70 | 34 | 8 | 70 | 18 | 20 |3386 |6820 | 0.000000e+00 | -- | Inf
838.32/838.74 c 814s| 1510k|377630 | 5332k| 183M| 63 | 8 | 70 | 31 | 9 | 70 | 18 | 20 |3402 |6839 | 0.000000e+00 | -- | Inf
843.92/844.32 c 819s| 1520k|379944 | 5366k| 184M| 63 | 8 | 70 | 24 | 8 | 70 | 18 | 20 |3417 |6857 | 0.000000e+00 | -- | Inf
849.31/849.79 c 825s| 1530k|382725 | 5401k| 185M| 63 | - | 70 | 32 | 8 | 70 | 18 | 20 |3437 |6872 | 0.000000e+00 | -- | Inf
854.92/855.33 c 830s| 1540k|385117 | 5435k| 186M| 63 | - | 70 | 36 | 9 | 70 | 18 | 20 |3447 |6885 | 0.000000e+00 | -- | Inf
860.52/860.93 c 836s| 1550k|387501 | 5469k| 188M| 63 | 8 | 70 | 34 | 8 | 70 | 18 | 20 |3457 |6910 | 0.000000e+00 | -- | Inf
866.11/866.50 c 841s| 1560k|389829 | 5505k| 189M| 63 | 8 | 70 | 35 | 8 | 70 | 18 | 20 |3476 |6929 | 0.000000e+00 | -- | Inf
871.61/872.02 c 846s| 1570k|392307 | 5539k| 190M| 63 | 8 | 70 | 29 | 8 | 70 | 18 | 20 |3483 |6954 | 0.000000e+00 | -- | Inf
877.21/877.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.21/877.63 c 852s| 1580k|394645 | 5574k| 191M| 63 | 8 | 70 | 27 | 8 | 70 | 18 | 20 |3495 |6976 | 0.000000e+00 | -- | Inf
882.81/883.29 c 857s| 1590k|396707 | 5610k| 192M| 63 | 8 | 70 | 30 | 9 | 70 | 18 | 20 |3512 |6995 | 0.000000e+00 | -- | Inf
888.41/888.85 c 863s| 1600k|398867 | 5646k| 193M| 63 | 8 | 70 | 21 | 9 | 70 | 18 | 20 |3525 |7005 | 0.000000e+00 | -- | Inf
894.00/894.43 c 868s| 1610k|401083 | 5681k| 194M| 63 | - | 70 | 16 | 8 | 70 | 18 | 20 |3538 |7028 | 0.000000e+00 | -- | Inf
899.49/899.93 c 873s| 1620k|403555 | 5715k| 195M| 63 | 8 | 70 | 22 | 8 | 70 | 18 | 20 |3557 |7051 | 0.000000e+00 | -- | Inf
904.99/905.43 c 879s| 1630k|405937 | 5749k| 197M| 63 | - | 70 | 20 | 8 | 70 | 18 | 20 |3573 |7070 | 0.000000e+00 | -- | Inf
910.59/911.03 c 884s| 1640k|407956 | 5784k| 198M| 63 | 8 | 70 | 25 | 8 | 70 | 18 | 20 |3591 |7086 | 0.000000e+00 | -- | Inf
916.19/916.63 c 890s| 1650k|410040 | 5819k| 199M| 63 | - | 70 | 33 | 8 | 70 | 18 | 20 |3613 |7105 | 0.000000e+00 | -- | Inf
921.68/922.20 c 895s| 1660k|412664 | 5855k| 200M| 63 | - | 70 | 38 | 10 | 70 | 18 | 20 |3630 |7116 | 0.000000e+00 | -- | Inf
927.28/927.74 c 900s| 1670k|414904 | 5889k| 201M| 63 | - | 70 | 37 | 8 | 70 | 18 | 20 |3651 |7128 | 0.000000e+00 | -- | Inf
932.88/933.35 c 906s| 1680k|417018 | 5924k| 202M| 63 | - | 70 | 32 | 8 | 70 | 18 | 20 |3662 |7155 | 0.000000e+00 | -- | Inf
938.38/938.81 c 911s| 1690k|419786 | 5959k| 204M| 63 | 8 | 70 | 30 | 9 | 70 | 18 | 20 |3669 |7164 | 0.000000e+00 | -- | Inf
943.88/944.37 c 916s| 1700k|421827 | 5993k| 205M| 63 | 8 | 70 | 25 | 8 | 70 | 18 | 20 |3682 |7185 | 0.000000e+00 | -- | Inf
949.38/949.88 c 922s| 1710k|424237 | 6027k| 206M| 63 | - | 70 | 25 | 8 | 70 | 18 | 20 |3706 |7200 | 0.000000e+00 | -- | Inf
954.97/955.46 c 927s| 1720k|426459 | 6062k| 207M| 63 | 8 | 70 | 22 | 9 | 70 | 18 | 20 |3729 |7226 | 0.000000e+00 | -- | Inf
960.57/961.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.57/961.07 c 933s| 1730k|428608 | 6096k| 208M| 63 | - | 70 | 25 | 8 | 70 | 18 | 20 |3761 |7249 | 0.000000e+00 | -- | Inf
966.17/966.64 c 938s| 1740k|430838 | 6131k| 209M| 63 | - | 70 | 25 | 8 | 70 | 18 | 20 |3786 |7264 | 0.000000e+00 | -- | Inf
971.67/972.16 c 943s| 1750k|433182 | 6166k| 210M| 63 | - | 70 | 25 | 8 | 0 | 0 | 20 |3803 |7282 | 0.000000e+00 | -- | Inf
977.26/977.72 c 949s| 1760k|435576 | 6201k| 211M| 63 | 8 | 70 | 30 | 10 | 70 | 18 | 20 |3824 |7301 | 0.000000e+00 | -- | Inf
982.86/983.35 c 954s| 1770k|437676 | 6235k| 212M| 63 | 8 | 70 | 31 | 8 | 70 | 18 | 20 |3850 |7320 | 0.000000e+00 | -- | Inf
988.37/988.86 c 960s| 1780k|440796 | 6271k| 214M| 63 | 8 | 70 | 34 | 9 | 70 | 18 | 20 |3867 |7333 | 0.000000e+00 | -- | Inf
993.96/994.45 c 965s| 1790k|443670 | 6307k| 215M| 63 | 8 | 70 | 41 | 11 | 70 | 18 | 20 |3889 |7355 | 0.000000e+00 | -- | Inf
999.56/1000.06 c 971s| 1800k|446124 | 6343k| 216M| 63 | - | 70 | 38 | 8 | 70 | 18 | 20 |3902 |7371 | 0.000000e+00 | -- | Inf
1005.15/1005.60 c 976s| 1810k|448566 | 6378k| 218M| 63 | - | 70 | 39 | 9 | 70 | 18 | 20 |3920 |7387 | 0.000000e+00 | -- | Inf
1010.65/1011.13 c 981s| 1820k|450852 | 6413k| 219M| 63 | - | 70 | 39 | 9 | 70 | 18 | 20 |3929 |7394 | 0.000000e+00 | -- | Inf
1016.15/1016.69 c 987s| 1830k|453189 | 6447k| 220M| 63 | - | 70 | 39 | 8 | 70 | 18 | 20 |3936 |7399 | 0.000000e+00 | -- | Inf
1021.75/1022.25 c 992s| 1840k|455405 | 6481k| 221M| 63 | 8 | 70 | 37 | 8 | 70 | 18 | 20 |3952 |7402 | 0.000000e+00 | -- | Inf
1027.24/1027.74 c 997s| 1850k|457712 | 6515k| 222M| 63 | 8 | 70 | 35 | 8 | 70 | 18 | 20 |3974 |7402 | 0.000000e+00 | -- | Inf
1032.75/1033.28 c 1003s| 1860k|459990 | 6550k| 223M| 63 | 8 | 70 | 25 | 8 | 70 | 18 | 20 |3987 |7402 | 0.000000e+00 | -- | Inf
1038.24/1038.77 c 1008s| 1870k|462852 | 6584k| 225M| 63 | 8 | 70 | 28 | 8 | 70 | 18 | 20 |4000 |7402 | 0.000000e+00 | -- | Inf
1043.83/1044.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1043.83/1044.32 c 1013s| 1880k|465138 | 6619k| 226M| 63 | 8 | 70 | 25 | 8 | 70 | 18 | 20 |4019 |7404 | 0.000000e+00 | -- | Inf
1049.44/1049.92 c 1019s| 1890k|467321 | 6653k| 227M| 63 | 8 | 70 | 23 | 15 | 70 | 18 | 20 |4037 |7416 | 0.000000e+00 | -- | Inf
1055.03/1055.50 c 1024s| 1900k|469649 | 6687k| 228M| 63 | 8 | 70 | 27 | 9 | 70 | 18 | 20 |4071 |7426 | 0.000000e+00 | -- | Inf
1060.53/1061.08 c 1030s| 1910k|472003 | 6722k| 229M| 63 | 8 | 70 | 26 | 8 | 70 | 18 | 20 |4085 |7432 | 0.000000e+00 | -- | Inf
1066.13/1066.64 c 1035s| 1920k|474271 | 6757k| 230M| 63 | 8 | 70 | 22 | 8 | 70 | 18 | 20 |4099 |7445 | 0.000000e+00 | -- | Inf
1071.63/1072.16 c 1041s| 1930k|476989 | 6792k| 231M| 63 | 8 | 70 | 23 | 8 | 70 | 18 | 20 |4109 |7453 | 0.000000e+00 | -- | Inf
1077.32/1077.82 c 1046s| 1940k|478933 | 6827k| 232M| 63 | - | 70 | 22 | 8 | 70 | 18 | 20 |4130 |7461 | 0.000000e+00 | -- | Inf
1082.93/1083.41 c 1051s| 1950k|481307 | 6864k| 234M| 63 | - | 70 | 21 | 8 | 70 | 18 | 20 |4142 |7471 | 0.000000e+00 | -- | Inf
1088.43/1088.98 c 1057s| 1960k|484169 | 6900k| 235M| 63 | 8 | 70 | 24 | 8 | 70 | 18 | 20 |4159 |7478 | 0.000000e+00 | -- | Inf
1094.12/1094.60 c 1062s| 1970k|486419 | 6935k| 236M| 63 | - | 70 | 27 | 8 | 70 | 18 | 20 |4175 |7490 | 0.000000e+00 | -- | Inf
1099.71/1100.29 c 1068s| 1980k|488267 | 6972k| 237M| 63 | 8 | 70 | 20 | 9 | 70 | 18 | 20 |4186 |7498 | 0.000000e+00 | -- | Inf
1105.41/1105.90 c 1073s| 1990k|490417 | 7006k| 238M| 63 | - | 70 | 21 | 8 | 70 | 18 | 20 |4199 |7506 | 0.000000e+00 | -- | Inf
1110.91/1111.45 c 1079s| 2000k|492687 | 7040k| 239M| 63 | 8 | 70 | 22 | 10 | 70 | 18 | 20 |4226 |7514 | 0.000000e+00 | -- | Inf
1116.51/1117.03 c 1084s| 2010k|494919 | 7075k| 240M| 63 | 8 | 70 | 21 | 8 | 70 | 18 | 20 |4238 |7521 | 0.000000e+00 | -- | Inf
1122.11/1122.64 c 1090s| 2020k|497049 | 7110k| 242M| 63 | 8 | 70 | 17 | 8 | 70 | 18 | 20 |4259 |7527 | 0.000000e+00 | -- | Inf
1127.60/1128.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.60/1128.14 c 1095s| 2030k|499461 | 7145k| 243M| 63 | 8 | 70 | 25 | 10 | 70 | 18 | 20 |4277 |7538 | 0.000000e+00 | -- | Inf
1133.20/1133.74 c 1100s| 2040k|501775 | 7180k| 244M| 63 | 8 | 70 | 20 | 8 | 70 | 18 | 20 |4300 |7549 | 0.000000e+00 | -- | Inf
1138.79/1139.33 c 1106s| 2050k|504072 | 7214k| 245M| 63 | - | 70 | 21 | 8 | 70 | 18 | 20 |4314 |7558 | 0.000000e+00 | -- | Inf
1144.40/1144.90 c 1111s| 2060k|506300 | 7250k| 246M| 63 | 8 | 70 | 18 | 8 | 70 | 18 | 20 |4328 |7564 | 0.000000e+00 | -- | Inf
1150.00/1150.59 c 1117s| 2070k|508594 | 7287k| 247M| 63 | 8 | 70 | 51 | 10 | 70 | 18 | 20 |4393 |7575 | 0.000000e+00 | -- | Inf
1155.89/1156.40 c 1122s| 2080k|510466 | 7325k| 248M| 63 | - | 70 | 63 | 10 | 70 | 18 | 20 |4456 |7579 | 0.000000e+00 | -- | Inf
1161.59/1162.15 c 1128s| 2090k|512684 | 7363k| 249M| 63 | - | 70 | 61 | 13 | 70 | 18 | 20 |4515 |7589 | 0.000000e+00 | -- | Inf
1167.29/1167.85 c 1133s| 2100k|514872 | 7399k| 250M| 63 | - | 70 | 59 | 10 | 70 | 18 | 20 |4586 |7599 | 0.000000e+00 | -- | Inf
1172.88/1173.45 c 1139s| 2110k|517037 | 7435k| 252M| 63 | 8 | 70 | 39 | 8 | 70 | 18 | 20 |4606 |7607 | 0.000000e+00 | -- | Inf
1178.39/1178.98 c 1144s| 2120k|519361 | 7468k| 253M| 63 | 8 | 70 | 27 | 8 | 70 | 18 | 20 |4623 |7613 | 0.000000e+00 | -- | Inf
1183.98/1184.54 c 1150s| 2130k|521429 | 7502k| 254M| 63 | 8 | 70 | 20 | 8 | 70 | 18 | 20 |4647 |7629 | 0.000000e+00 | -- | Inf
1189.49/1190.10 c 1155s| 2140k|523655 | 7536k| 255M| 63 | 8 | 70 | 18 | 8 | 70 | 18 | 20 |4662 |7639 | 0.000000e+00 | -- | Inf
1195.08/1195.67 c 1160s| 2150k|526326 | 7572k| 256M| 63 | 8 | 70 | 19 | 9 | 70 | 18 | 20 |4668 |7649 | 0.000000e+00 | -- | Inf
1200.57/1201.14 c 1166s| 2160k|529362 | 7607k| 258M| 63 | 8 | 70 | 19 | 9 | 70 | 18 | 20 |4672 |7658 | 0.000000e+00 | -- | Inf
1206.08/1206.64 c 1171s| 2170k|531752 | 7642k| 259M| 63 | 8 | 70 | 24 | 8 | 70 | 18 | 20 |4702 |7666 | 0.000000e+00 | -- | Inf
1211.57/1212.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.57/1212.12 c 1176s| 2180k|534340 | 7676k| 260M| 63 | 8 | 70 | 26 | 8 | 70 | 18 | 20 |4717 |7682 | 0.000000e+00 | -- | Inf
1217.16/1217.70 c 1182s| 2190k|536670 | 7712k| 261M| 63 | - | 70 | 24 | 9 | 70 | 18 | 20 |4732 |7691 | 0.000000e+00 | -- | Inf
1222.67/1223.29 c 1187s| 2200k|538948 | 7746k| 262M| 63 | 8 | 70 | 17 | 8 | 70 | 18 | 20 |4741 |7706 | 0.000000e+00 | -- | Inf
1228.26/1228.86 c 1193s| 2210k|541058 | 7780k| 263M| 63 | 8 | 70 | 12 | 8 | 70 | 18 | 20 |4755 |7713 | 0.000000e+00 | -- | Inf
1233.75/1234.38 c 1198s| 2220k|543350 | 7814k| 264M| 63 | - | 70 | 16 | 8 | 70 | 18 | 20 |4768 |7727 | 0.000000e+00 | -- | Inf
1239.45/1240.02 c 1203s| 2230k|545434 | 7848k| 266M| 63 | 8 | 70 | 21 | 8 | 70 | 18 | 20 |4782 |7738 | 0.000000e+00 | -- | Inf
1244.95/1245.56 c 1209s| 2240k|548108 | 7882k| 267M| 63 | 8 | 70 | 25 | 8 | 70 | 18 | 20 |4797 |7743 | 0.000000e+00 | -- | Inf
1250.45/1251.09 c 1214s| 2250k|550886 | 7916k| 268M| 63 | 8 | 70 | 24 | 8 | 70 | 18 | 20 |4804 |7748 | 0.000000e+00 | -- | Inf
1256.15/1256.74 c 1220s| 2260k|552920 | 7951k| 269M| 63 | 8 | 70 | 23 | 8 | 70 | 18 | 20 |4821 |7768 | 0.000000e+00 | -- | Inf
1261.75/1262.39 c 1225s| 2270k|554964 | 7987k| 270M| 63 | 8 | 70 | 21 | 9 | 70 | 18 | 20 |4838 |7772 | 0.000000e+00 | -- | Inf
1267.35/1267.95 c 1231s| 2280k|557100 | 8021k| 271M| 63 | 8 | 70 | 18 | 8 | 70 | 18 | 20 |4858 |7779 | 0.000000e+00 | -- | Inf
1272.94/1273.57 c 1236s| 2290k|559152 | 8056k| 272M| 63 | - | 70 | 18 | 8 | 70 | 18 | 20 |4885 |7786 | 0.000000e+00 | -- | Inf
1278.55/1279.20 c 1241s| 2300k|561494 | 8092k| 273M| 63 | 8 | 70 | 14 | 8 | 70 | 18 | 20 |4893 |7802 | 0.000000e+00 | -- | Inf
1284.43/1285.09 c 1247s| 2310k|563606 | 8126k| 275M| 63 | - | 70 | 17 | 8 | 70 | 18 | 20 |4911 |7806 | 0.000000e+00 | -- | Inf
1290.03/1290.64 c 1253s| 2320k|565916 | 8160k| 276M| 63 | 8 | 70 | 19 | 10 | 70 | 18 | 20 |4931 |7810 | 0.000000e+00 | -- | Inf
1295.62/1296.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1295.62/1296.28 c 1258s| 2330k|568072 | 8195k| 277M| 63 | - | 70 | 16 | 8 | 70 | 18 | 20 |4953 |7815 | 0.000000e+00 | -- | Inf
1301.32/1301.91 c 1264s| 2340k|570184 | 8229k| 278M| 63 | - | 70 | 19 | 8 | 70 | 18 | 20 |4974 |7823 | 0.000000e+00 | -- | Inf
1306.92/1307.50 c 1269s| 2350k|572232 | 8263k| 279M| 63 | - | 70 | 13 | 8 | 70 | 18 | 20 |4986 |7825 | 0.000000e+00 | -- | Inf
1312.42/1313.05 c 1274s| 2360k|574670 | 8298k| 280M| 63 | - | 70 | 16 | 8 | 0 | 0 | 20 |5007 |7836 | 0.000000e+00 | -- | Inf
1317.91/1318.56 c 1280s| 2370k|577551 | 8333k| 281M| 63 | - | 70 | 22 | 8 | 70 | 18 | 20 |5023 |7843 | 0.000000e+00 | -- | Inf
1323.41/1324.07 c 1285s| 2380k|580271 | 8367k| 283M| 63 | 8 | 70 | 30 | 10 | 70 | 18 | 20 |5041 |7859 | 0.000000e+00 | -- | Inf
1329.21/1329.84 c 1291s| 2390k|582349 | 8402k| 284M| 63 | 8 | 70 | 22 | 8 | 70 | 18 | 20 |5054 |7869 | 0.000000e+00 | -- | Inf
1334.81/1335.42 c 1296s| 2400k|584451 | 8436k| 285M| 63 | 8 | 70 | 17 | 9 | 70 | 18 | 20 |5070 |7882 | 0.000000e+00 | -- | Inf
1340.30/1340.91 c 1301s| 2410k|587585 | 8470k| 286M| 63 | 8 | 70 | 21 | 8 | 70 | 18 | 20 |5081 |7900 | 0.000000e+00 | -- | Inf
1345.80/1346.44 c 1307s| 2420k|590105 | 8505k| 288M| 63 | - | 70 | 28 | 8 | 70 | 18 | 20 |5101 |7906 | 0.000000e+00 | -- | Inf
1351.40/1352.03 c 1312s| 2430k|592321 | 8539k| 289M| 63 | 8 | 70 | 26 | 8 | 70 | 18 | 20 |5122 |7926 | 0.000000e+00 | -- | Inf
1356.99/1357.60 c 1318s| 2440k|594595 | 8573k| 290M| 63 | 8 | 70 | 21 | 8 | 70 | 18 | 20 |5145 |7937 | 0.000000e+00 | -- | Inf
1362.59/1363.21 c 1323s| 2450k|596921 | 8607k| 291M| 63 | - | 70 | 22 | 8 | 70 | 18 | 20 |5169 |7950 | 0.000000e+00 | -- | Inf
1368.09/1368.77 c 1328s| 2460k|599003 | 8641k| 292M| 63 | 8 | 70 | 23 | 8 | 70 | 18 | 20 |5191 |7965 | 0.000000e+00 | -- | Inf
1373.68/1374.37 c 1334s| 2470k|601153 | 8676k| 293M| 63 | - | 70 | 19 | 8 | 70 | 18 | 20 |5207 |7976 | 0.000000e+00 | -- | Inf
1379.38/1380.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1379.38/1380.04 c 1339s| 2480k|603523 | 8712k| 294M| 63 | 8 | 70 | 29 | 9 | 70 | 18 | 20 |5235 |7989 | 0.000000e+00 | -- | Inf
1385.08/1385.79 c 1345s| 2490k|605675 | 8749k| 295M| 63 | - | 70 | 56 | 8 | 70 | 18 | 20 |5298 |8009 | 0.000000e+00 | -- | Inf
1390.88/1391.59 c 1351s| 2500k|607973 | 8788k| 296M| 63 | - | 70 | 82 | 9 | 70 | 18 | 20 |5383 |8018 | 0.000000e+00 | -- | Inf
1396.67/1397.34 c 1356s| 2510k|610543 | 8827k| 298M| 63 | 8 | 70 | 95 | 10 | 70 | 18 | 20 |5420 |8034 | 0.000000e+00 | -- | Inf
1402.47/1403.15 c 1362s| 2520k|612646 | 8865k| 299M| 63 | 8 | 70 | 73 | 9 | 70 | 18 | 20 |5482 |8040 | 0.000000e+00 | -- | Inf
1408.17/1408.86 c 1367s| 2530k|615051 | 8903k| 300M| 63 | - | 70 | 68 | 8 | 0 | 0 | 20 |5530 |8051 | 0.000000e+00 | -- | Inf
1413.97/1414.64 c 1373s| 2540k|617103 | 8940k| 301M| 63 | - | 70 | 45 | 8 | 0 | 0 | 20 |5579 |8064 | 0.000000e+00 | -- | Inf
1419.56/1420.27 c 1378s| 2550k|619119 | 8975k| 302M| 63 | - | 70 | 23 | 8 | 70 | 18 | 20 |5597 |8076 | 0.000000e+00 | -- | Inf
1425.27/1425.95 c 1384s| 2560k|620901 | 9010k| 303M| 63 | - | 70 | 23 | 9 | 70 | 18 | 20 |5614 |8086 | 0.000000e+00 | -- | Inf
1430.87/1431.57 c 1389s| 2570k|623121 | 9046k| 304M| 63 | 8 | 70 | 18 | 8 | 70 | 18 | 20 |5623 |8097 | 0.000000e+00 | -- | Inf
1436.46/1437.16 c 1395s| 2580k|625495 | 9081k| 305M| 63 | 8 | 70 | 15 | 9 | 70 | 18 | 20 |5634 |8108 | 0.000000e+00 | -- | Inf
1442.05/1442.78 c 1400s| 2590k|627553 | 9116k| 306M| 63 | 8 | 70 | 11 | 8 | 70 | 18 | 20 |5650 |8118 | 0.000000e+00 | -- | Inf
1447.66/1448.40 c 1406s| 2600k|629681 | 9151k| 307M| 63 | 8 | 70 | 15 | 8 | 70 | 18 | 20 |5661 |8133 | 0.000000e+00 | -- | Inf
1453.25/1453.93 c 1411s| 2610k|631993 | 9186k| 309M| 63 | 8 | 70 | 21 | 8 | 70 | 18 | 20 |5684 |8146 | 0.000000e+00 | -- | Inf
1458.86/1459.57 c 1416s| 2620k|634177 | 9221k| 310M| 63 | 8 | 70 | 22 | 8 | 70 | 18 | 20 |5703 |8156 | 0.000000e+00 | -- | Inf
1464.55/1465.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1464.55/1465.23 c 1422s| 2630k|636421 | 9256k| 311M| 63 | 8 | 70 | 20 | 8 | 70 | 18 | 20 |5739 |8170 | 0.000000e+00 | -- | Inf
1470.05/1470.79 c 1427s| 2640k|638611 | 9291k| 312M| 63 | - | 70 | 18 | 8 | 70 | 18 | 20 |5753 |8175 | 0.000000e+00 | -- | Inf
1475.65/1476.36 c 1433s| 2650k|640879 | 9326k| 313M| 63 | 8 | 70 | 13 | 8 | 70 | 18 | 20 |5761 |8192 | 0.000000e+00 | -- | Inf
1481.25/1481.96 c 1438s| 2660k|643433 | 9361k| 314M| 63 | 8 | 70 | 16 | 8 | 70 | 18 | 20 |5767 |8204 | 0.000000e+00 | -- | Inf
1486.75/1487.46 c 1444s| 2670k|645937 | 9395k| 315M| 63 | - | 70 | 15 | 8 | 70 | 18 | 20 |5775 |8212 | 0.000000e+00 | -- | Inf
1492.24/1492.97 c 1449s| 2680k|648401 | 9429k| 317M| 63 | - | 70 | 18 | 8 | 70 | 18 | 20 |5802 |8220 | 0.000000e+00 | -- | Inf
1497.93/1498.68 c 1455s| 2690k|650235 | 9463k| 318M| 63 | - | 70 | 12 | 8 | 70 | 18 | 20 |5811 |8232 | 0.000000e+00 | -- | Inf
1503.54/1504.28 c 1460s| 2700k|652737 | 9498k| 319M| 63 | - | 70 | 17 | 8 | 70 | 18 | 20 |5824 |8239 | 0.000000e+00 | -- | Inf
1509.03/1509.77 c 1465s| 2710k|655445 | 9533k| 320M| 63 | 8 | 70 | 24 | 8 | 70 | 18 | 20 |5841 |8248 | 0.000000e+00 | -- | Inf
1514.63/1515.34 c 1471s| 2720k|657549 | 9567k| 321M| 63 | 8 | 70 | 18 | 8 | 70 | 18 | 20 |5852 |8260 | 0.000000e+00 | -- | Inf
1520.23/1520.98 c 1476s| 2730k|659517 | 9601k| 322M| 63 | 8 | 70 | 19 | 9 | 70 | 18 | 20 |5867 |8268 | 0.000000e+00 | -- | Inf
1525.93/1526.62 c 1482s| 2740k|661721 | 9637k| 323M| 63 | 8 | 70 | 16 | 8 | 70 | 18 | 20 |5876 |8284 | 0.000000e+00 | -- | Inf
1531.53/1532.28 c 1487s| 2750k|663835 | 9673k| 324M| 63 | 8 | 70 | 17 | 8 | 70 | 18 | 20 |5886 |8298 | 0.000000e+00 | -- | Inf
1537.33/1538.02 c 1493s| 2760k|665947 | 9710k| 325M| 63 | 8 | 70 | 31 | 10 | 70 | 18 | 20 |5935 |8308 | 0.000000e+00 | -- | Inf
1543.02/1543.75 c 1498s| 2770k|668241 | 9747k| 327M| 63 | 8 | 70 | 52 | 8 | 70 | 18 | 20 |5998 |8312 | 0.000000e+00 | -- | Inf
1548.73/1549.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.73/1549.48 c 1504s| 2780k|670223 | 9784k| 328M| 63 | 8 | 70 | 42 | 8 | 70 | 18 | 20 |6053 |8318 | 0.000000e+00 | -- | Inf
1554.31/1555.10 c 1509s| 2790k|672467 | 9818k| 329M| 63 | - | 70 | 27 | 8 | 70 | 18 | 20 |6065 |8327 | 0.000000e+00 | -- | Inf
1560.01/1560.72 c 1515s| 2800k|674773 | 9852k| 330M| 63 | - | 70 | 21 | 8 | 70 | 18 | 20 |6092 |8337 | 0.000000e+00 | -- | Inf
1565.61/1566.37 c 1520s| 2810k|676703 | 9887k| 331M| 63 | 8 | 70 | 18 | 8 | 70 | 18 | 20 |6112 |8347 | 0.000000e+00 | -- | Inf
1571.22/1571.95 c 1526s| 2820k|679077 | 9922k| 332M| 63 | 8 | 70 | 17 | 8 | 70 | 18 | 20 |6129 |8358 | 0.000000e+00 | -- | Inf
1576.80/1577.56 c 1531s| 2830k|681291 | 9958k| 333M| 63 | 8 | 70 | 22 | 8 | 70 | 18 | 20 |6145 |8369 | 0.000000e+00 | -- | Inf
1582.50/1583.24 c 1537s| 2840k|683168 | 9993k| 334M| 63 | 8 | 70 | 15 | 8 | 70 | 18 | 20 |6159 |8384 | 0.000000e+00 | -- | Inf
1588.00/1588.79 c 1542s| 2850k|685344 | 10027k| 335M| 63 | 8 | 70 | 16 | 8 | 70 | 18 | 20 |6171 |8395 | 0.000000e+00 | -- | Inf
1593.70/1594.40 c 1548s| 2860k|687570 | 10061k| 336M| 63 | 8 | 70 | 13 | 8 | 70 | 18 | 20 |6181 |8403 | 0.000000e+00 | -- | Inf
1599.39/1600.11 c 1553s| 2870k|689794 | 10096k| 338M| 63 | 8 | 70 | 16 | 8 | 70 | 18 | 20 |6190 |8413 | 0.000000e+00 | -- | Inf
1604.98/1605.78 c 1559s| 2880k|691850 | 10132k| 339M| 63 | 8 | 70 | 18 | 8 | 70 | 18 | 20 |6207 |8422 | 0.000000e+00 | -- | Inf
1610.59/1611.30 c 1564s| 2890k|694183 | 10167k| 340M| 63 | - | 70 | 23 | 8 | 70 | 18 | 20 |6221 |8424 | 0.000000e+00 | -- | Inf
1616.19/1616.92 c 1569s| 2900k|696971 | 10203k| 341M| 63 | - | 70 | 29 | 8 | 70 | 18 | 20 |6235 |8429 | 0.000000e+00 | -- | Inf
1621.79/1622.53 c 1575s| 2910k|699639 | 10239k| 342M| 63 | 8 | 70 | 28 | 8 | 70 | 18 | 20 |6251 |8440 | 0.000000e+00 | -- | Inf
1627.29/1628.08 c 1580s| 2920k|702009 | 10274k| 343M| 63 | 8 | 70 | 33 | 8 | 70 | 18 | 20 |6265 |8447 | 0.000000e+00 | -- | Inf
1632.98/1633.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.98/1633.77 c 1586s| 2930k|703893 | 10309k| 344M| 63 | 8 | 70 | 13 | 8 | 70 | 18 | 20 |6277 |8461 | 0.000000e+00 | -- | Inf
1638.68/1639.44 c 1591s| 2940k|706103 | 10344k| 346M| 63 | - | 70 | 14 | 8 | 70 | 18 | 20 |6299 |8465 | 0.000000e+00 | -- | Inf
1644.27/1645.06 c 1597s| 2950k|708259 | 10378k| 347M| 63 | - | 70 | 14 | 8 | 70 | 18 | 20 |6322 |8470 | 0.000000e+00 | -- | Inf
1649.88/1650.65 c 1602s| 2960k|710265 | 10413k| 348M| 63 | - | 70 | 16 | 7 | 0 | 0 | 20 |6334 |8474 | 0.000000e+00 | -- | Inf
1655.47/1656.30 c 1608s| 2970k|712231 | 10448k| 349M| 63 | - | 70 | 19 | 8 | 70 | 18 | 20 |6354 |8484 | 0.000000e+00 | -- | Inf
1661.17/1661.91 c 1613s| 2980k|714407 | 10483k| 350M| 63 | 8 | 70 | 26 | 8 | 70 | 18 | 20 |6377 |8486 | 0.000000e+00 | -- | Inf
1666.77/1667.53 c 1619s| 2990k|716411 | 10516k| 351M| 63 | 8 | 70 | 21 | 9 | 70 | 18 | 20 |6404 |8495 | 0.000000e+00 | -- | Inf
1672.27/1673.10 c 1624s| 3000k|719023 | 10551k| 352M| 63 | - | 70 | 20 | 8 | 70 | 18 | 20 |6420 |8502 | 0.000000e+00 | -- | Inf
1677.96/1678.79 c 1630s| 3010k|721225 | 10587k| 353M| 63 | 8 | 70 | 23 | 8 | 70 | 18 | 20 |6435 |8508 | 0.000000e+00 | -- | Inf
1683.56/1684.35 c 1635s| 3020k|724147 | 10622k| 355M| 63 | 8 | 70 | 22 | 8 | 70 | 18 | 20 |6450 |8520 | 0.000000e+00 | -- | Inf
1689.15/1689.91 c 1640s| 3030k|726727 | 10656k| 356M| 63 | 8 | 70 | 23 | 10 | 70 | 18 | 20 |6467 |8527 | 0.000000e+00 | -- | Inf
1694.75/1695.58 c 1646s| 3040k|728883 | 10691k| 357M| 63 | 8 | 70 | 16 | 8 | 70 | 18 | 20 |6477 |8530 | 0.000000e+00 | -- | Inf
1700.35/1701.20 c 1651s| 3050k|731059 | 10725k| 358M| 63 | 8 | 70 | 15 | 8 | 70 | 18 | 20 |6499 |8531 | 0.000000e+00 | -- | Inf
1706.04/1706.82 c 1657s| 3060k|733165 | 10760k| 359M| 63 | - | 70 | 13 | 8 | 70 | 18 | 20 |6516 |8533 | 0.000000e+00 | -- | Inf
1711.65/1712.47 c 1662s| 3070k|735244 | 10795k| 360M| 63 | - | 70 | 18 | 9 | 70 | 18 | 20 |6526 |8542 | 0.000000e+00 | -- | Inf
1717.35/1718.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.35/1718.16 c 1668s| 3080k|737582 | 10831k| 361M| 63 | 8 | 70 | 15 | 8 | 70 | 18 | 20 |6540 |8551 | 0.000000e+00 | -- | Inf
1722.94/1723.77 c 1673s| 3090k|739964 | 10865k| 362M| 63 | 8 | 70 | 12 | 8 | 70 | 18 | 20 |6547 |8555 | 0.000000e+00 | -- | Inf
1728.54/1729.31 c 1679s| 3100k|742443 | 10899k| 364M| 63 | 8 | 70 | 17 | 10 | 70 | 18 | 20 |6564 |8565 | 0.000000e+00 | -- | Inf
1734.24/1735.03 c 1684s| 3110k|744495 | 10934k| 365M| 63 | 8 | 70 | 19 | 8 | 70 | 18 | 20 |6584 |8570 | 0.000000e+00 | -- | Inf
1739.84/1740.64 c 1690s| 3120k|746853 | 10968k| 366M| 63 | 8 | 70 | 16 | 8 | 70 | 18 | 20 |6598 |8586 | 0.000000e+00 | -- | Inf
1745.44/1746.22 c 1695s| 3130k|749121 | 11002k| 367M| 63 | - | 70 | 13 | 8 | 70 | 18 | 20 |6602 |8600 | 0.000000e+00 | -- | Inf
1750.93/1751.78 c 1700s| 3140k|751769 | 11037k| 368M| 63 | - | 70 | 22 | 8 | 70 | 18 | 20 |6618 |8609 | 0.000000e+00 | -- | Inf
1756.63/1757.44 c 1706s| 3150k|753989 | 11071k| 369M| 63 | 8 | 70 | 18 | 8 | 70 | 18 | 20 |6636 |8616 | 0.000000e+00 | -- | Inf
1762.23/1763.05 c 1711s| 3160k|756419 | 11107k| 371M| 63 | 8 | 70 | 25 | 9 | 70 | 18 | 20 |6649 |8623 | 0.000000e+00 | -- | Inf
1767.82/1768.63 c 1717s| 3170k|758415 | 11141k| 372M| 63 | 8 | 70 | 14 | 8 | 70 | 18 | 20 |6666 |8631 | 0.000000e+00 | -- | Inf
1773.43/1774.25 c 1722s| 3180k|760499 | 11176k| 373M| 63 | 8 | 70 | 9 | 8 | 70 | 18 | 20 |6675 |8637 | 0.000000e+00 | -- | Inf
1779.11/1779.92 c 1728s| 3190k|762691 | 11210k| 374M| 63 | 8 | 70 | 13 | 8 | 70 | 18 | 20 |6683 |8646 | 0.000000e+00 | -- | Inf
1784.62/1785.49 c 1733s| 3200k|765213 | 11245k| 375M| 63 | - | 70 | 15 | 8 | 70 | 18 | 20 |6701 |8651 | 0.000000e+00 | -- | Inf
1790.31/1791.12 c 1739s| 3210k|767425 | 11280k| 376M| 63 | 8 | 70 | 17 | 8 | 70 | 18 | 20 |6723 |8661 | 0.000000e+00 | -- | Inf
1795.91/1796.77 c 1744s| 3220k|769479 | 11315k| 377M| 63 | 8 | 70 | 21 | 8 | 70 | 18 | 20 |6736 |8666 | 0.000000e+00 | -- | Inf
1800.01/1800.80 c
1800.01/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.80 c Solving Time (sec) : 1747.95
1800.01/1800.80 c Solving Nodes : 3227179
1800.01/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.80 c Dual Bound : +0.00000000000000e+00
1800.01/1800.80 c Gap : infinite
1800.01/1800.80 c NODE 3227179
1800.01/1800.80 c DUAL BOUND 0
1800.01/1800.80 c PRIMAL BOUND 1e+20
1800.01/1800.80 c GAP 1e+20
1800.01/1800.80 s UNKNOWN
1800.01/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.80 c Solving Time : 1747.95
1800.01/1800.80 c Original Problem :
1800.01/1800.80 c Problem name : HOME/instance-1869487-1245174352.opb
1800.01/1800.80 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.80 c Constraints : 17 initial, 17 maximal
1800.01/1800.80 c Presolved Problem :
1800.01/1800.80 c Problem name : t_HOME/instance-1869487-1245174352.opb
1800.01/1800.80 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.80 c Constraints : 8 initial, 154 maximal
1800.01/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.80 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.80 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.01/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.80 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.80 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.80 c linear : 0.00 0 0 0 0 0 9 0 0
1800.01/1800.80 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.80 c root node : - 0 - - 0 - - - -
1800.01/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.80 c integral : 0 0 0 2002762 0 700 3397 0 0 3998358
1800.01/1800.80 c linear : 8 6 3586774 0 0 69555 3135323 0 0 0
1800.01/1800.80 c logicor : 0+ 0 643003 0 0 3 5301 0 0 0
1800.01/1800.80 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.80 c integral : 23.44 0.00 0.00 23.44 0.00
1800.01/1800.80 c linear : 286.70 0.00 286.70 0.00 0.00
1800.01/1800.80 c logicor : 1.48 0.00 1.48 0.00 0.00
1800.01/1800.80 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.80 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.80 c rootredcost : 1.40 0 0 0
1800.01/1800.80 c pseudoobj : 1.06 0 0 0
1800.01/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.80 c propagation : 11.62 69558 2998 6660 51.1 0 0.0 -
1800.01/1800.80 c infeasible LP : 16.80 1158609 3689 3912 28.9 0 0.0 0
1800.01/1800.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.80 c applied globally : - - - 2988 27.5 - - -
1800.01/1800.80 c applied locally : - - - 3755 46.2 - - -
1800.01/1800.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.80 c cut pool : 0.00 5 - - 3 - (maximal pool size: 95)
1800.01/1800.80 c redcost : 4.98 2002767 0 0 0 0
1800.01/1800.80 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.80 c intobj : 0.00 0 0 0 0 0
1800.01/1800.80 c gomory : 0.00 6 0 0 0 0
1800.01/1800.80 c strongcg : 0.01 6 0 0 42 0
1800.01/1800.80 c cmir : 0.04 6 0 0 27 0
1800.01/1800.80 c flowcover : 0.05 6 0 0 40 0
1800.01/1800.80 c clique : 0.00 1 0 0 0 0
1800.01/1800.80 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.80 c mcf : 0.00 1 0 0 0 0
1800.01/1800.80 c Pricers : Time Calls Vars
1800.01/1800.80 c problem variables: 0.00 0 0
1800.01/1800.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.80 c relpscost : 21.57 2002762 700 3397 0 0 3998358
1800.01/1800.80 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.80 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.80 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.80 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.80 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.80 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.80 c random : 0.00 0 0 0 0 0 0
1800.01/1800.80 c Primal Heuristics : Time Calls Found
1800.01/1800.80 c LP solutions : 0.00 - 0
1800.01/1800.80 c pseudo solutions : 0.00 - 0
1800.01/1800.80 c oneopt : 1.19 0 0
1800.01/1800.80 c crossover : 0.91 0 0
1800.01/1800.80 c guideddiving : 0.07 0 0
1800.01/1800.80 c pscostdiving : 0.27 71 0
1800.01/1800.80 c fracdiving : 0.31 71 0
1800.01/1800.80 c veclendiving : 0.19 71 0
1800.01/1800.80 c linesearchdiving : 0.28 71 0
1800.01/1800.80 c feaspump : 0.17 36 0
1800.01/1800.80 c objpscostdiving : 0.21 36 0
1800.01/1800.80 c rootsoldiving : 0.17 36 0
1800.01/1800.80 c coefdiving : 0.27 72 0
1800.01/1800.80 c simplerounding : 0.87 0 0
1800.01/1800.80 c rounding : 2.28 20088 0
1800.01/1800.80 c shifting : 5.31 6302 0
1800.01/1800.80 c intshifting : 0.04 0 0
1800.01/1800.80 c fixandinfer : 0.00 0 0
1800.01/1800.80 c intdiving : 0.00 0 0
1800.01/1800.80 c actconsdiving : 0.00 0 0
1800.01/1800.80 c octane : 0.00 0 0
1800.01/1800.80 c rens : 0.02 1 0
1800.01/1800.80 c rins : 0.00 0 0
1800.01/1800.80 c localbranching : 0.00 0 0
1800.01/1800.80 c mutation : 0.00 0 0
1800.01/1800.80 c dins : 0.00 0 0
1800.01/1800.80 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.80 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.80 c dual LP : 1208.55 3295044 11335346 3.44 9379.29
1800.01/1800.80 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.80 c diving/probing LP: 1.01 2537 5344 2.11 5291.09
1800.01/1800.80 c strong branching : 2.41 8676 59901 6.90 24855.19
1800.01/1800.80 c (at root node) : - 18 735 40.83 -
1800.01/1800.80 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.80 c B&B Tree :
1800.01/1800.80 c number of runs : 1
1800.01/1800.80 c nodes : 3227179
1800.01/1800.80 c nodes (total) : 3227179
1800.01/1800.80 c nodes left : 771156
1800.01/1800.80 c max depth : 63
1800.01/1800.80 c max depth (total): 63
1800.01/1800.80 c backtracks : 306216 (9.5%)
1800.01/1800.80 c delayed cutoffs : 24
1800.01/1800.80 c repropagations : 9991 (5455 domain reductions, 22 cutoffs)
1800.01/1800.80 c avg switch length: 4.28
1800.01/1800.80 c switching time : 71.92
1800.01/1800.80 c Solution :
1800.01/1800.80 c Solutions found : 0 (0 improvements)
1800.01/1800.80 c Primal Bound : -
1800.01/1800.80 c Dual Bound : +0.00000000000000e+00
1800.01/1800.80 c Gap : infinite
1800.01/1800.80 c Root Dual Bound : +0.00000000000000e+00
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869487-1245174352/watcher-1869487-1245174352 -o /tmp/evaluation-result-1869487-1245174352/solver-1869487-1245174352 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869487-1245174352.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32074
/proc/meminfo: memFree=1833456/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=7616 CPUtime=0
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 615 0 0 0 0 0 0 0 18 0 1 0 185030681 7798784 600 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/32074/statm: 1904 609 353 1256 0 643 0
[startup+0.0844449 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32074
/proc/meminfo: memFree=1833456/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=14732 CPUtime=0.07
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 2910 0 0 0 7 0 0 0 18 0 1 0 185030681 15085568 2540 1992294400 4194304 9342243 548682068736 18446744073709551615 4345684 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 3683 2540 659 1256 0 2422 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14732
[startup+0.102447 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32074
/proc/meminfo: memFree=1833456/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=14972 CPUtime=0.09
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 2932 0 0 0 9 0 0 0 18 0 1 0 185030681 15331328 2562 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 3743 2562 659 1256 0 2482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14972
[startup+0.302464 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32074
/proc/meminfo: memFree=1833456/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=16016 CPUtime=0.29
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 4608 0 0 0 27 2 0 0 20 0 1 0 185030681 16400384 2649 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 4004 2649 684 1256 0 2743 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16016
[startup+0.701504 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32074
/proc/meminfo: memFree=1833456/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=16244 CPUtime=0.69
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 4637 0 0 0 66 3 0 0 23 0 1 0 185030681 16633856 2678 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 4061 2678 692 1256 0 2800 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16244
[startup+1.50158 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32075
/proc/meminfo: memFree=1825384/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=16244 CPUtime=1.49
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 4700 0 0 0 144 5 0 0 25 0 1 0 185030681 16633856 2741 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 4061 2741 692 1256 0 2800 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16244
[startup+3.10175 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32075
/proc/meminfo: memFree=1824808/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=17184 CPUtime=3.09
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 4853 0 0 0 299 10 0 0 25 0 1 0 185030681 17596416 2893 1992294400 4194304 9342243 548682068736 18446744073709551615 6261983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32074/statm: 4296 2893 692 1256 0 3035 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17184
[startup+6.30106 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 32075
/proc/meminfo: memFree=1823720/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=18808 CPUtime=6.28
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 5124 0 0 0 609 19 0 0 25 0 1 0 185030681 19259392 3164 1992294400 4194304 9342243 548682068736 18446744073709551615 7982064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32074/statm: 4702 3164 692 1256 0 3441 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18808
[startup+12.7017 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 32075
/proc/meminfo: memFree=1821800/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=20720 CPUtime=12.67
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 5522 0 0 0 1230 37 0 0 25 0 1 0 185030681 21217280 3562 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 5180 3562 692 1256 0 3919 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 20720
[startup+25.502 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 32075
/proc/meminfo: memFree=1818152/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=24628 CPUtime=25.47
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 6467 0 0 0 2473 74 0 0 25 0 1 0 185030681 25219072 4507 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 6157 4507 692 1256 0 4896 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 24628
[startup+51.1015 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 32075
/proc/meminfo: memFree=1812264/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=30288 CPUtime=51.05
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 7928 0 0 0 4950 155 0 0 25 0 1 0 185030681 31014912 5968 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 7572 5968 692 1256 0 6311 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 30288
[startup+102.307 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 32075
/proc/meminfo: memFree=1799400/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=42508 CPUtime=102.23
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 11104 0 0 0 9921 302 0 0 25 0 1 0 185030681 43528192 9144 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 10627 9144 692 1256 0 9366 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 42508
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32075
/proc/meminfo: memFree=1785640/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=57936 CPUtime=162.2
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 14510 0 0 0 15737 483 0 0 25 0 1 0 185030681 59326464 12550 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 14484 12550 692 1256 0 13223 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 57936
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32075
/proc/meminfo: memFree=1772328/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=70924 CPUtime=222.19
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 17812 0 0 0 21564 655 0 0 25 0 1 0 185030681 72626176 15848 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 17731 15848 692 1256 0 16470 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 70924
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32075
/proc/meminfo: memFree=1758824/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=84232 CPUtime=282.16
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 21152 0 0 0 27386 830 0 0 25 0 1 0 185030681 86253568 19187 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 21058 19187 692 1256 0 19797 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 84232
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32075
/proc/meminfo: memFree=1745576/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=97160 CPUtime=342.14
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 24437 0 0 0 33207 1007 0 0 25 0 1 0 185030681 99491840 22472 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 24290 22472 692 1256 0 23029 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 97160
[startup+402.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 32075
/proc/meminfo: memFree=1732904/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=110500 CPUtime=402.11
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 27694 0 0 0 39025 1186 0 0 25 0 1 0 185030681 113152000 25729 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 27625 25729 692 1256 0 26364 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 110500
[startup+462.303 s]
/proc/loadavg: 1.05 1.02 1.00 2/65 32077
/proc/meminfo: memFree=1719016/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=127528 CPUtime=462.08
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 31028 0 0 0 44850 1358 0 0 25 0 1 0 185030681 130588672 29063 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 31882 29063 692 1256 0 30621 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 127528
[startup+522.303 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 32077
/proc/meminfo: memFree=1706472/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=140388 CPUtime=522.06
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 34240 0 0 0 50681 1525 0 0 25 0 1 0 185030681 143757312 32275 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 35097 32275 692 1256 0 33836 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 140388
[startup+582.303 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 32077
/proc/meminfo: memFree=1693160/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=153888 CPUtime=582.04
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 37428 0 0 0 56509 1695 0 0 25 0 1 0 185030681 157581312 35463 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 38472 35463 692 1256 0 37211 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 153888
[startup+642.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 32077
/proc/meminfo: memFree=1680488/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=165404 CPUtime=642.01
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 40575 0 0 0 62338 1863 0 0 25 0 1 0 185030681 169373696 38610 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 41351 38610 692 1256 0 40090 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 165404
[startup+702.302 s]
################
# More data... #
################
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 63059 0 0 0 103097 3086 0 0 25 0 1 0 185030681 269332480 61094 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 65755 61094 692 1256 0 64494 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 263020
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1576544/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=275404 CPUtime=1121.8
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 66146 0 0 0 108918 3262 0 0 25 0 1 0 185030681 282013696 64181 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 68851 64181 692 1256 0 67590 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 275404
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1564640/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=288200 CPUtime=1181.78
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 69080 0 0 0 114748 3430 0 0 25 0 1 0 185030681 295116800 67115 1992294400 4194304 9342243 548682068736 18446744073709551615 6253424 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 72050 67115 692 1256 0 70789 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 288200
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1551272/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=300520 CPUtime=1241.75
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 72330 0 0 0 120566 3609 0 0 25 0 1 0 185030681 307732480 70365 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 75130 70365 692 1256 0 73869 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 300520
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1538920/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=312500 CPUtime=1301.72
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 75393 0 0 0 126392 3780 0 0 25 0 1 0 185030681 320000000 73428 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 78125 73428 692 1256 0 76864 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 312500
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1525544/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=326068 CPUtime=1361.69
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 78814 0 0 0 132217 3952 0 0 25 0 1 0 185030681 333893632 76849 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 81517 76849 692 1256 0 80256 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 326068
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1513384/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=337620 CPUtime=1421.67
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 81734 0 0 0 138033 4134 0 0 25 0 1 0 185030681 345722880 79769 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 84405 79769 692 1256 0 83144 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 337620
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1501480/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=349748 CPUtime=1481.64
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 84756 0 0 0 143861 4303 0 0 25 0 1 0 185030681 358141952 82791 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 87437 82791 692 1256 0 86176 0
Current children cumulated CPU time (s) 1481.64
Current children cumulated vsize (KiB) 349748
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1489256/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=362736 CPUtime=1541.62
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 87698 0 0 0 149692 4470 0 0 25 0 1 0 185030681 371441664 85733 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 90684 85733 692 1256 0 89423 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 362736
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1476776/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=374992 CPUtime=1601.59
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 90815 0 0 0 155518 4641 0 0 25 0 1 0 185030681 383991808 88850 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 93748 88850 692 1256 0 92487 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 374992
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1465000/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=386032 CPUtime=1661.57
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 93709 0 0 0 161346 4811 0 0 25 0 1 0 185030681 395296768 91744 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 96508 91744 692 1256 0 95247 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 386032
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1451752/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=399340 CPUtime=1721.54
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 97006 0 0 0 167177 4977 0 0 25 0 1 0 185030681 408924160 95041 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 99835 95041 692 1256 0 98574 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 399340
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1439848/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=410412 CPUtime=1781.52
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 99916 0 0 0 173000 5152 0 0 25 0 1 0 185030681 420261888 97951 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 102603 97951 692 1256 0 101342 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 410412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1435624/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=414540 CPUtime=1800.01
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 100949 0 0 0 174795 5206 0 0 25 0 1 0 185030681 424488960 98984 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32074/statm: 103635 98984 692 1256 0 102374 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 414540
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -32074
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32083
/proc/meminfo: memFree=1435624/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=414540 CPUtime=1800.61
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 100950 0 0 0 174855 5206 0 0 25 0 1 0 185030681 424488960 98985 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 0 0 0
/proc/32074/statm: 103635 98985 693 1256 0 102374 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 414540
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32084
/proc/meminfo: memFree=1435616/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=414540 CPUtime=1801.41
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 100950 0 0 0 174935 5206 0 0 25 0 1 0 185030681 424488960 98985 1992294400 4194304 9342243 548682068736 18446744073709551615 5854449 0 0 4096 0 0 0 0 17 0 0 0
/proc/32074/statm: 103635 98985 693 1256 0 102374 0
Current children cumulated CPU time (s) 1801.41
Current children cumulated vsize (KiB) 414540
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32084
/proc/meminfo: memFree=1435616/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=414540 CPUtime=1801.8
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 100950 0 0 0 174974 5206 0 0 25 0 1 0 185030681 424488960 98985 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 0 0 0
/proc/32074/statm: 103635 98985 693 1256 0 102374 0
Current children cumulated CPU time (s) 1801.8
Current children cumulated vsize (KiB) 414540
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32084
/proc/meminfo: memFree=1435616/2055920 swapFree=4182328/4192956
[pid=32074] ppid=32072 vsize=414540 CPUtime=1802.01
/proc/32074/stat : 32074 (pbscip.linux.x8) R 32072 32074 31469 0 -1 4194304 100950 0 0 0 174995 5206 0 0 25 0 1 0 185030681 424488960 98985 1992294400 4194304 9342243 548682068736 18446744073709551615 4733160 0 0 4096 0 0 0 0 17 0 0 0
/proc/32074/statm: 103635 98985 693 1256 0 102374 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 414540
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.87
CPU time (s): 1802.08
CPU user time (s): 1749.96
CPU system time (s): 52.1271
CPU usage (%): 99.9565
Max. virtual memory (cumulated for all children) (KiB): 414540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1749.96
system time used= 52.1271
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100950
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= 7381
runsolver used 2.05469 second user time and 4.54231 second system time
The end
Begin job on node60 at 2009-06-16 19:45:52
IDJOB=1869487
IDBENCH=2898
IDSOLVER=684
FILE ID=node60/1869487-1245174352
PBS_JOBID= 9363873
Free space on /tmp= 66436 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_2.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-1869487-1245174352/watcher-1869487-1245174352 -o /tmp/evaluation-result-1869487-1245174352/solver-1869487-1245174352 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869487-1245174352.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ccdf85c0efcf9b688264aa74ef25462f
RANDOM SEED=2146556546
node60.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.231
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.231
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: 1834712 kB
Buffers: 8980 kB
Cached: 140320 kB
SwapCached: 4720 kB
Active: 39264 kB
Inactive: 118196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1834712 kB
SwapTotal: 4192956 kB
SwapFree: 4182328 kB
Dirty: 11740 kB
Writeback: 0 kB
Mapped: 14012 kB
Slab: 49772 kB
Committed_AS: 78996 kB
PageTables: 1452 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= 66424 MiB
End job on node60 at 2009-06-16 20:15:55