0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869520-1245176246.opb>
0.00/0.01 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 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, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c OPT-LIN
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = c 1620
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = c 1791
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = c 10000
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving problem
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 28 | 251k| 0 | 6 | 50 | 6 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 98 | 281k| 0 | 9 | 50 | 6 | 6 | 50 | 12 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 105 | 316k| 0 | 12 | 50 | 6 | 6 | 50 | 16 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 116 | 348k| 0 | 15 | 50 | 6 | 6 | 50 | 21 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.06 c 0.0s| 1 | 0 | 126 | 367k| 0 | 15 | 50 | 6 | 6 | 50 | 24 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.07 c 0.1s| 1 | 0 | 131 | 372k| 0 | 17 | 50 | 6 | 6 | 50 | 27 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.08 c 0.1s| 1 | 0 | 144 | 381k| 0 | 18 | 50 | 6 | 6 | 50 | 29 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 2 | 144 | 381k| 0 | 18 | 50 | 6 | 6 | 50 | 29 | 23 | 0 | 18 | 0.000000e+00 | -- | Inf
4.09/4.15 c 3.9s| 10000 | 2927 | 23325 |3772k| 43 | - | 50 |3357 | 22 | 50 | 18 | 23 |4800 | 573 | 0.000000e+00 | -- | Inf
8.29/8.38 c 7.8s| 20000 | 5322 | 46734 |5332k| 44 | - | 50 |2405 | 62 | 50 | 18 | 23 | 10k| 759 | 0.000000e+00 | -- | Inf
12.29/12.39 c 11.6s| 30000 | 7672 | 69531 |7168k| 44 | 6 | 50 |2798 | 64 | 50 | 18 | 23 | 15k| 880 | 0.000000e+00 | -- | Inf
16.49/16.60 c 15.5s| 40000 | 10078 | 93463 |9018k| 44 | 6 | 50 |2902 | 108 | 50 | 18 | 23 | 20k| 978 | 0.000000e+00 | -- | Inf
20.78/20.88 c 19.6s| 50000 | 12302 |116893 | 10M| 44 | 6 | 50 |3641 | 43 | 50 | 18 | 23 | 26k|1100 | 0.000000e+00 | -- | Inf
25.19/25.22 c 23.7s| 60000 | 14523 |139955 | 12M| 44 | 6 | 50 |3430 | 211 | 50 | 18 | 23 | 31k|1208 | 0.000000e+00 | -- | Inf
29.59/29.68 c 27.9s| 70000 | 16639 |163163 | 14M| 44 | - | 50 |4145 | 266 | 50 | 18 | 23 | 37k|1306 | 0.000000e+00 | -- | Inf
34.38/34.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.38/34.49 c 32.4s| 80000 | 18955 |186567 | 16M| 44 | - | 50 |3939 | 26 | 50 | 18 | 23 | 42k|1389 | 0.000000e+00 | -- | Inf
38.68/38.75 c 36.4s| 90000 | 21500 |209781 | 18M| 44 | - | 50 |4466 | 114 | 0 | 0 | 23 | 47k|1453 | 0.000000e+00 | -- | Inf
43.38/43.42 c 40.8s|100000 | 23833 |233484 | 20M| 44 | - | 50 |4038 | 15 | 50 | 18 | 23 | 53k|1503 | 0.000000e+00 | -- | Inf
47.97/48.02 c 45.2s|110000 | 25906 |255626 | 21M| 44 | 6 | 50 |4088 | 12 | 50 | 18 | 23 | 58k|1555 | 0.000000e+00 | -- | Inf
52.28/52.30 c 49.2s|120000 | 28451 |278505 | 23M| 44 | 6 | 50 |5035 | 20 | 50 | 18 | 23 | 63k|1601 | 0.000000e+00 | -- | Inf
57.27/57.31 c 54.0s|130000 | 30374 |301125 | 25M| 44 | 6 | 50 |3909 | 148 | 50 | 18 | 23 | 69k|1645 | 0.000000e+00 | -- | Inf
61.98/62.08 c 58.5s|140000 | 32660 |325392 | 27M| 44 | - | 50 |4792 | 30 | 50 | 18 | 23 | 74k|1701 | 0.000000e+00 | -- | Inf
66.98/67.02 c 63.1s|150000 | 34644 |348287 | 28M| 44 | 6 | 50 |4358 | 13 | 50 | 18 | 23 | 80k|1747 | 0.000000e+00 | -- | Inf
71.77/71.85 c 67.7s|160000 | 36744 |371171 | 30M| 44 | 6 | 50 |5240 | 59 | 50 | 18 | 23 | 85k|1785 | 0.000000e+00 | -- | Inf
77.07/77.13 c 72.7s|170000 | 38707 |394121 | 32M| 44 | - | 50 |4426 | 318 | 0 | 0 | 23 | 91k|1820 | 0.000000e+00 | -- | Inf
81.76/81.85 c 77.2s|180000 | 41031 |418253 | 34M| 44 | 6 | 50 |4905 | 65 | 50 | 18 | 23 | 96k|1845 | 0.000000e+00 | -- | Inf
86.57/86.61 c 81.7s|190000 | 43390 |440436 | 36M| 44 | 6 | 50 |5398 | 57 | 50 | 18 | 23 | 101k|1877 | 0.000000e+00 | -- | Inf
91.76/91.87 c 86.7s|200000 | 45422 |463625 | 37M| 44 | - | 50 |5016 | 33 | 50 | 18 | 23 | 107k|1911 | 0.000000e+00 | -- | Inf
96.67/96.76 c 91.3s|210000 | 47444 |486403 | 39M| 44 | 6 | 50 |5605 | 14 | 50 | 18 | 23 | 112k|1948 | 0.000000e+00 | -- | Inf
102.06/102.13 c 96.5s|220000 | 49403 |509475 | 41M| 44 | 6 | 50 |5085 | 105 | 50 | 18 | 23 | 118k|1987 | 0.000000e+00 | -- | Inf
107.26/107.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.26/107.30 c 101s|230000 | 51464 |532339 | 43M| 44 | 6 | 50 |4879 | 126 | 50 | 18 | 23 | 124k|2026 | 0.000000e+00 | -- | Inf
112.36/112.48 c 106s|240000 | 53445 |555003 | 44M| 45 | 6 | 50 |5213 | 193 | 50 | 18 | 23 | 129k|2055 | 0.000000e+00 | -- | Inf
117.56/117.65 c 111s|250000 | 55378 |577192 | 46M| 45 | 6 | 50 |5170 | 88 | 50 | 18 | 23 | 135k|2079 | 0.000000e+00 | -- | Inf
122.95/123.02 c 116s|260000 | 57368 |600507 | 48M| 45 | 6 | 50 |5264 | 318 | 50 | 18 | 23 | 140k|2115 | 0.000000e+00 | -- | Inf
128.05/128.16 c 121s|270000 | 59424 |623457 | 50M| 45 | - | 50 |5685 | 32 | 50 | 18 | 23 | 146k|2150 | 0.000000e+00 | -- | Inf
133.45/133.58 c 126s|280000 | 61521 |646609 | 51M| 45 | - | 50 |5826 | 37 | 0 | 0 | 23 | 152k|2185 | 0.000000e+00 | -- | Inf
138.85/138.93 c 131s|290000 | 63646 |668271 | 53M| 45 | 6 | 50 |6597 | 19 | 50 | 18 | 23 | 157k|2211 | 0.000000e+00 | -- | Inf
144.85/144.94 c 137s|300000 | 65472 |690821 | 55M| 45 | 6 | 50 |5178 | 90 | 50 | 18 | 23 | 163k|2230 | 0.000000e+00 | -- | Inf
150.35/150.41 c 142s|310000 | 67384 |714366 | 56M| 45 | 6 | 50 |4953 | 80 | 50 | 18 | 23 | 168k|2267 | 0.000000e+00 | -- | Inf
155.54/155.66 c 147s|320000 | 69280 |736796 | 58M| 45 | 6 | 50 |5306 | 11 | 50 | 18 | 23 | 174k|2307 | 0.000000e+00 | -- | Inf
161.04/161.15 c 153s|330000 | 71184 |760129 | 60M| 45 | - | 50 |5515 | 88 | 50 | 18 | 23 | 180k|2330 | 0.000000e+00 | -- | Inf
166.65/166.73 c 158s|340000 | 73243 |782557 | 62M| 45 | 6 | 50 |5223 | 17 | 50 | 18 | 23 | 185k|2361 | 0.000000e+00 | -- | Inf
172.24/172.31 c 163s|350000 | 75005 |805156 | 63M| 45 | 6 | 50 |5358 | 39 | 50 | 18 | 23 | 191k|2387 | 0.000000e+00 | -- | Inf
177.64/177.78 c 169s|360000 | 76958 |827747 | 65M| 45 | 6 | 50 |5574 | 38 | 50 | 18 | 23 | 197k|2418 | 0.000000e+00 | -- | Inf
183.24/183.33 c 174s|370000 | 79056 |850542 | 67M| 45 | - | 50 |5986 | 26 | 0 | 0 | 23 | 202k|2461 | 0.000000e+00 | -- | Inf
188.94/189.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.94/189.05 c 179s|380000 | 81062 |873742 | 69M| 45 | - | 50 |6141 | 11 | 50 | 18 | 23 | 208k|2492 | 0.000000e+00 | -- | Inf
194.43/194.56 c 185s|390000 | 83139 |897098 | 71M| 45 | - | 50 |6580 | 59 | 50 | 18 | 23 | 213k|2519 | 0.000000e+00 | -- | Inf
200.33/200.48 c 190s|400000 | 85114 |919775 | 72M| 45 | - | 50 |5620 | 13 | 50 | 18 | 23 | 219k|2549 | 0.000000e+00 | -- | Inf
206.13/206.21 c 196s|410000 | 87106 |942535 | 74M| 45 | - | 50 |5795 | 52 | 0 | 0 | 23 | 225k|2571 | 0.000000e+00 | -- | Inf
211.93/212.08 c 201s|420000 | 88975 |965015 | 75M| 45 | - | 50 |5557 | 66 | 50 | 18 | 23 | 230k|2590 | 0.000000e+00 | -- | Inf
217.63/217.79 c 207s|430000 | 90984 |988269 | 77M| 45 | 6 | 50 |5319 | 18 | 50 | 18 | 23 | 236k|2616 | 0.000000e+00 | -- | Inf
223.03/223.20 c 212s|440000 | 93027 | 1011k| 79M| 45 | - | 50 |6233 | 449 | 50 | 18 | 23 | 241k|2643 | 0.000000e+00 | -- | Inf
228.92/229.03 c 217s|450000 | 94940 | 1033k| 81M| 45 | 6 | 50 |6314 | 238 | 50 | 18 | 23 | 247k|2663 | 0.000000e+00 | -- | Inf
234.62/234.76 c 223s|460000 | 96831 | 1056k| 82M| 45 | 6 | 50 |6166 | 44 | 50 | 18 | 23 | 252k|2687 | 0.000000e+00 | -- | Inf
240.32/240.42 c 228s|470000 | 98752 | 1078k| 84M| 45 | - | 50 |6726 | 28 | 50 | 18 | 23 | 258k|2713 | 0.000000e+00 | -- | Inf
246.62/246.78 c 234s|480000 |100370 | 1101k| 86M| 45 | 6 | 50 |6440 | 39 | 50 | 18 | 23 | 264k|2733 | 0.000000e+00 | -- | Inf
252.51/252.65 c 240s|490000 |102280 | 1124k| 87M| 45 | - | 50 |6811 | 18 | 50 | 18 | 23 | 270k|2756 | 0.000000e+00 | -- | Inf
258.22/258.32 c 245s|500000 |104437 | 1146k| 89M| 45 | - | 50 |6590 | 7 | 50 | 18 | 23 | 275k|2780 | 0.000000e+00 | -- | Inf
263.41/263.59 c 250s|510000 |106724 | 1169k| 91M| 45 | - | 50 |7356 | 46 | 50 | 18 | 23 | 280k|2803 | 0.000000e+00 | -- | Inf
269.11/269.24 c 256s|520000 |108832 | 1191k| 93M| 45 | - | 50 |7267 | 22 | 50 | 18 | 23 | 285k|2827 | 0.000000e+00 | -- | Inf
275.01/275.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.01/275.16 c 261s|530000 |111109 | 1215k| 94M| 45 | 6 | 50 |6849 | 104 | 50 | 18 | 23 | 291k|2853 | 0.000000e+00 | -- | Inf
280.60/280.73 c 267s|540000 |113485 | 1237k| 96M| 45 | - | 50 |7098 | 139 | 0 | 0 | 23 | 296k|2872 | 0.000000e+00 | -- | Inf
287.20/287.38 c 273s|550000 |115187 | 1260k| 98M| 45 | - | 50 |6812 | 316 | 50 | 18 | 23 | 302k|2893 | 0.000000e+00 | -- | Inf
293.20/293.32 c 279s|560000 |117202 | 1283k| 99M| 45 | 6 | 50 |6133 | 121 | 50 | 18 | 23 | 307k|2911 | 0.000000e+00 | -- | Inf
299.40/299.51 c 285s|570000 |118963 | 1306k| 101M| 45 | - | 50 |5877 | 11 | 50 | 18 | 23 | 313k|2926 | 0.000000e+00 | -- | Inf
305.20/305.39 c 290s|580000 |120855 | 1328k| 103M| 45 | 6 | 50 |5961 | 96 | 50 | 18 | 23 | 318k|2947 | 0.000000e+00 | -- | Inf
311.19/311.37 c 296s|590000 |122630 | 1351k| 104M| 45 | - | 50 |6280 | 135 | 50 | 18 | 23 | 324k|2964 | 0.000000e+00 | -- | Inf
317.30/317.49 c 302s|600000 |124386 | 1374k| 106M| 45 | 6 | 50 |6122 | 48 | 50 | 18 | 23 | 330k|2979 | 0.000000e+00 | -- | Inf
322.39/322.57 c 307s|610000 |126708 | 1397k| 108M| 45 | - | 50 |7379 | 142 | 0 | 0 | 23 | 335k|2996 | 0.000000e+00 | -- | Inf
328.09/328.24 c 312s|620000 |128735 | 1420k| 110M| 45 | - | 50 |7111 | 79 | 0 | 0 | 23 | 341k|3013 | 0.000000e+00 | -- | Inf
334.19/334.33 c 318s|630000 |130756 | 1443k| 111M| 45 | 6 | 50 |6560 | 13 | 50 | 18 | 23 | 346k|3030 | 0.000000e+00 | -- | Inf
340.39/340.50 c 324s|640000 |132649 | 1466k| 113M| 45 | 6 | 50 |6336 | 278 | 50 | 18 | 23 | 352k|3051 | 0.000000e+00 | -- | Inf
345.98/346.14 c 329s|650000 |134593 | 1489k| 115M| 45 | 6 | 50 |6052 | 23 | 50 | 18 | 23 | 358k|3069 | 0.000000e+00 | -- | Inf
351.59/351.79 c 335s|660000 |136557 | 1513k| 117M| 45 | - | 50 |7727 | 51 | 50 | 18 | 23 | 363k|3086 | 0.000000e+00 | -- | Inf
357.88/358.04 c 341s|670000 |138415 | 1535k| 118M| 45 | 6 | 50 |7019 | 24 | 50 | 18 | 23 | 369k|3105 | 0.000000e+00 | -- | Inf
364.28/364.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.28/364.49 c 347s|680000 |140344 | 1558k| 120M| 45 | 6 | 50 |6342 | 133 | 50 | 18 | 23 | 375k|3123 | 0.000000e+00 | -- | Inf
370.07/370.24 c 352s|690000 |142184 | 1581k| 122M| 45 | 6 | 50 |7188 | 420 | 50 | 18 | 23 | 380k|3140 | 0.000000e+00 | -- | Inf
376.28/376.48 c 358s|700000 |143910 | 1604k| 123M| 45 | - | 50 |6035 | 50 | 0 | 0 | 23 | 386k|3162 | 0.000000e+00 | -- | Inf
382.47/382.60 c 364s|710000 |145656 | 1626k| 125M| 45 | - | 50 |5742 | 24 | 50 | 18 | 23 | 392k|3187 | 0.000000e+00 | -- | Inf
387.97/388.12 c 369s|720000 |147868 | 1649k| 127M| 45 | 6 | 50 |6607 | 73 | 50 | 18 | 23 | 397k|3200 | 0.000000e+00 | -- | Inf
393.87/394.04 c 375s|730000 |149947 | 1672k| 128M| 45 | - | 50 |6629 | 42 | 50 | 18 | 23 | 403k|3215 | 0.000000e+00 | -- | Inf
400.47/400.63 c 381s|740000 |151537 | 1694k| 130M| 45 | - | 50 |5737 | 34 | 0 | 0 | 23 | 408k|3235 | 0.000000e+00 | -- | Inf
406.87/407.05 c 388s|750000 |153287 | 1717k| 131M| 45 | - | 50 |5921 | 13 | 0 | 0 | 23 | 414k|3252 | 0.000000e+00 | -- | Inf
412.37/412.57 c 393s|760000 |155351 | 1741k| 134M| 45 | 6 | 50 |7998 | 224 | 50 | 18 | 23 | 420k|3274 | 0.000000e+00 | -- | Inf
419.16/419.34 c 399s|770000 |157029 | 1764k| 135M| 45 | - | 50 |6886 | 20 | 50 | 18 | 23 | 425k|3297 | 0.000000e+00 | -- | Inf
425.36/425.55 c 405s|780000 |158932 | 1786k| 136M| 45 | - | 50 |6434 | 10 | 50 | 18 | 23 | 431k|3316 | 0.000000e+00 | -- | Inf
431.66/431.84 c 411s|790000 |160680 | 1809k| 138M| 45 | - | 50 |6449 | 12 | 50 | 18 | 23 | 437k|3333 | 0.000000e+00 | -- | Inf
437.36/437.54 c 417s|800000 |162692 | 1831k| 140M| 45 | - | 50 |7337 | 15 | 50 | 18 | 23 | 442k|3351 | 0.000000e+00 | -- | Inf
444.26/444.42 c 423s|810000 |164358 | 1854k| 141M| 45 | 6 | 50 |6141 | 27 | 50 | 18 | 23 | 448k|3367 | 0.000000e+00 | -- | Inf
450.85/451.09 c 430s|820000 |165896 | 1877k| 143M| 45 | 6 | 50 |5884 | 640 | 50 | 18 | 23 | 454k|3390 | 0.000000e+00 | -- | Inf
456.75/456.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.75/456.97 c 435s|830000 |167934 | 1900k| 145M| 45 | 6 | 50 |5764 | 25 | 50 | 18 | 23 | 459k|3408 | 0.000000e+00 | -- | Inf
462.95/463.10 c 441s|840000 |169735 | 1923k| 146M| 45 | 6 | 50 |6047 | 12 | 50 | 18 | 23 | 465k|3420 | 0.000000e+00 | -- | Inf
468.65/468.89 c 447s|850000 |171610 | 1945k| 148M| 45 | - | 50 |6109 | 13 | 50 | 18 | 23 | 471k|3437 | 0.000000e+00 | -- | Inf
474.64/474.86 c 452s|860000 |173562 | 1967k| 150M| 45 | - | 50 |6258 | 192 | 50 | 18 | 23 | 476k|3450 | 0.000000e+00 | -- | Inf
480.94/481.15 c 459s|870000 |175281 | 1990k| 151M| 45 | 6 | 50 |5940 | 6 | 50 | 18 | 23 | 482k|3463 | 0.000000e+00 | -- | Inf
486.94/487.10 c 464s|880000 |177342 | 2013k| 153M| 45 | 6 | 50 |6356 | 155 | 50 | 18 | 23 | 487k|3479 | 0.000000e+00 | -- | Inf
492.94/493.14 c 470s|890000 |179103 | 2035k| 155M| 45 | - | 50 |6423 | 12 | 0 | 0 | 23 | 493k|3490 | 0.000000e+00 | -- | Inf
498.64/498.82 c 475s|900000 |181319 | 2058k| 156M| 45 | - | 50 |6580 | 22 | 50 | 18 | 23 | 498k|3505 | 0.000000e+00 | -- | Inf
504.53/504.76 c 481s|910000 |183459 | 2081k| 158M| 45 | 6 | 50 |6475 | 56 | 50 | 18 | 23 | 504k|3518 | 0.000000e+00 | -- | Inf
511.14/511.34 c 487s|920000 |185239 | 2104k| 160M| 45 | 6 | 50 |6055 | 8 | 50 | 18 | 23 | 510k|3538 | 0.000000e+00 | -- | Inf
516.64/516.84 c 493s|930000 |187304 | 2127k| 162M| 45 | 6 | 50 |7824 | 135 | 50 | 18 | 23 | 515k|3557 | 0.000000e+00 | -- | Inf
523.23/523.40 c 499s|940000 |189033 | 2150k| 163M| 45 | 6 | 50 |6573 | 34 | 50 | 18 | 23 | 521k|3573 | 0.000000e+00 | -- | Inf
529.33/529.54 c 505s|950000 |190660 | 2172k| 165M| 45 | - | 50 |6124 | 166 | 50 | 18 | 23 | 527k|3589 | 0.000000e+00 | -- | Inf
535.33/535.58 c 511s|960000 |192481 | 2196k| 166M| 45 | 6 | 50 |6329 | 153 | 50 | 18 | 23 | 532k|3601 | 0.000000e+00 | -- | Inf
541.53/541.79 c 516s|970000 |194083 | 2219k| 168M| 45 | - | 50 |6959 | 12 | 50 | 18 | 23 | 538k|3615 | 0.000000e+00 | -- | Inf
548.23/548.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.23/548.47 c 523s|980000 |195824 | 2241k| 169M| 45 | - | 50 |6325 | 11 | 0 | 0 | 23 | 544k|3626 | 0.000000e+00 | -- | Inf
554.52/554.71 c 529s|990000 |197434 | 2264k| 171M| 45 | 6 | 50 |6599 | 58 | 50 | 18 | 23 | 550k|3640 | 0.000000e+00 | -- | Inf
560.52/560.75 c 535s| 1000k|199519 | 2287k| 173M| 45 | 6 | 50 |6932 | 102 | 50 | 18 | 23 | 555k|3659 | 0.000000e+00 | -- | Inf
567.01/567.24 c 541s| 1010k|201335 | 2310k| 175M| 45 | 6 | 50 |7332 | 20 | 50 | 18 | 23 | 561k|3670 | 0.000000e+00 | -- | Inf
573.61/573.89 c 547s| 1020k|203098 | 2332k| 176M| 45 | 6 | 50 |6651 | 18 | 50 | 18 | 23 | 567k|3683 | 0.000000e+00 | -- | Inf
579.71/579.99 c 553s| 1030k|204883 | 2355k| 178M| 45 | 6 | 50 |7390 | 38 | 50 | 18 | 23 | 572k|3698 | 0.000000e+00 | -- | Inf
586.31/586.58 c 559s| 1040k|206608 | 2379k| 179M| 45 | - | 50 |6841 | 63 | 50 | 18 | 23 | 578k|3714 | 0.000000e+00 | -- | Inf
592.31/592.50 c 565s| 1050k|208785 | 2401k| 181M| 45 | - | 50 |6434 | 33 | 50 | 18 | 23 | 583k|3728 | 0.000000e+00 | -- | Inf
598.81/599.06 c 571s| 1060k|210495 | 2423k| 183M| 45 | 6 | 50 |6314 | 21 | 50 | 18 | 23 | 589k|3741 | 0.000000e+00 | -- | Inf
604.90/605.14 c 577s| 1070k|212238 | 2446k| 184M| 45 | 6 | 50 |7402 | 25 | 50 | 18 | 23 | 595k|3756 | 0.000000e+00 | -- | Inf
611.51/611.79 c 584s| 1080k|214067 | 2468k| 186M| 45 | - | 50 |6816 | 96 | 0 | 0 | 23 | 600k|3766 | 0.000000e+00 | -- | Inf
618.00/618.23 c 590s| 1090k|215855 | 2492k| 188M| 45 | 6 | 50 |6813 | 533 | 50 | 18 | 23 | 606k|3785 | 0.000000e+00 | -- | Inf
625.00/625.23 c 597s| 1100k|217416 | 2515k| 189M| 45 | 6 | 50 |6625 | 51 | 50 | 18 | 23 | 612k|3800 | 0.000000e+00 | -- | Inf
630.60/630.85 c 602s| 1110k|219505 | 2539k| 191M| 45 | - | 50 |8060 | 50 | 50 | 18 | 23 | 618k|3817 | 0.000000e+00 | -- | Inf
637.60/637.88 c 609s| 1120k|221155 | 2562k| 192M| 45 | - | 50 |6408 | 20 | 50 | 18 | 23 | 624k|3831 | 0.000000e+00 | -- | Inf
644.00/644.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.00/644.22 c 615s| 1130k|223031 | 2585k| 194M| 45 | - | 50 |6045 | 30 | 0 | 0 | 23 | 629k|3844 | 0.000000e+00 | -- | Inf
650.19/650.47 c 621s| 1140k|224706 | 2607k| 195M| 45 | 6 | 50 |6057 | 58 | 50 | 18 | 23 | 635k|3864 | 0.000000e+00 | -- | Inf
655.99/656.29 c 626s| 1150k|226582 | 2630k| 197M| 45 | 6 | 50 |7110 | 169 | 50 | 18 | 23 | 641k|3878 | 0.000000e+00 | -- | Inf
662.99/663.27 c 633s| 1160k|228372 | 2653k| 199M| 45 | - | 50 |6482 | 33 | 50 | 18 | 23 | 646k|3892 | 0.000000e+00 | -- | Inf
669.78/670.09 c 639s| 1170k|230082 | 2676k| 201M| 45 | - | 50 |6391 | 39 | 50 | 18 | 23 | 652k|3914 | 0.000000e+00 | -- | Inf
676.78/677.06 c 646s| 1180k|231656 | 2699k| 202M| 45 | - | 50 |6595 | 95 | 50 | 18 | 23 | 658k|3926 | 0.000000e+00 | -- | Inf
683.58/683.88 c 653s| 1190k|233240 | 2721k| 204M| 45 | - | 50 |6589 | 33 | 0 | 0 | 23 | 664k|3938 | 0.000000e+00 | -- | Inf
690.08/690.38 c 659s| 1200k|235058 | 2744k| 206M| 45 | - | 50 |7380 | 27 | 50 | 18 | 23 | 670k|3953 | 0.000000e+00 | -- | Inf
697.18/697.42 c 666s| 1210k|236588 | 2766k| 207M| 45 | - | 50 |6713 | 8 | 50 | 18 | 23 | 675k|3970 | 0.000000e+00 | -- | Inf
702.87/703.13 c 671s| 1220k|238412 | 2789k| 209M| 45 | 6 | 50 |7718 | 28 | 50 | 18 | 23 | 681k|3981 | 0.000000e+00 | -- | Inf
710.27/710.53 c 678s| 1230k|240011 | 2812k| 210M| 45 | 6 | 50 |6937 | 84 | 50 | 18 | 23 | 687k|3994 | 0.000000e+00 | -- | Inf
717.07/717.38 c 685s| 1240k|241688 | 2835k| 212M| 45 | 6 | 50 |6984 | 37 | 50 | 18 | 23 | 693k|4008 | 0.000000e+00 | -- | Inf
724.57/724.83 c 692s| 1250k|243198 | 2858k| 213M| 45 | 6 | 50 |6979 | 70 | 50 | 18 | 23 | 699k|4024 | 0.000000e+00 | -- | Inf
730.86/731.12 c 698s| 1260k|245118 | 2881k| 215M| 45 | 6 | 50 |7429 | 31 | 50 | 18 | 23 | 704k|4046 | 0.000000e+00 | -- | Inf
738.16/738.46 c 705s| 1270k|246643 | 2903k| 217M| 45 | 6 | 50 |6425 | 328 | 50 | 18 | 23 | 710k|4055 | 0.000000e+00 | -- | Inf
743.96/744.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.96/744.28 c 711s| 1280k|248562 | 2925k| 219M| 45 | 6 | 50 |8387 | 106 | 50 | 18 | 23 | 715k|4070 | 0.000000e+00 | -- | Inf
751.26/751.55 c 718s| 1290k|250349 | 2947k| 220M| 45 | 6 | 50 |7082 | 84 | 50 | 18 | 23 | 721k|4088 | 0.000000e+00 | -- | Inf
758.15/758.40 c 724s| 1300k|251921 | 2970k| 222M| 45 | - | 50 |7385 | 11 | 50 | 18 | 23 | 727k|4096 | 0.000000e+00 | -- | Inf
764.76/765.04 c 731s| 1310k|253716 | 2993k| 223M| 45 | 6 | 50 |7523 | 50 | 50 | 18 | 23 | 732k|4112 | 0.000000e+00 | -- | Inf
772.15/772.40 c 738s| 1320k|255206 | 3015k| 225M| 45 | 6 | 50 |6937 | 19 | 50 | 18 | 23 | 738k|4131 | 0.000000e+00 | -- | Inf
779.24/779.52 c 745s| 1330k|256884 | 3038k| 226M| 45 | 6 | 50 |6525 | 139 | 50 | 18 | 23 | 744k|4143 | 0.000000e+00 | -- | Inf
786.25/786.52 c 751s| 1340k|258455 | 3061k| 228M| 45 | - | 50 |6127 | 11 | 50 | 18 | 23 | 750k|4159 | 0.000000e+00 | -- | Inf
792.74/793.09 c 758s| 1350k|260154 | 3083k| 229M| 45 | - | 50 |6651 | 24 | 50 | 18 | 23 | 755k|4174 | 0.000000e+00 | -- | Inf
799.84/800.19 c 764s| 1360k|261714 | 3105k| 231M| 45 | - | 50 |6506 | 11 | 50 | 18 | 23 | 761k|4189 | 0.000000e+00 | -- | Inf
806.74/807.05 c 771s| 1370k|263351 | 3128k| 233M| 45 | - | 50 |6824 | 104 | 50 | 18 | 23 | 767k|4204 | 0.000000e+00 | -- | Inf
813.13/813.45 c 777s| 1380k|265179 | 3151k| 234M| 45 | 6 | 50 |7145 | 31 | 50 | 18 | 23 | 772k|4215 | 0.000000e+00 | -- | Inf
819.54/819.87 c 783s| 1390k|267034 | 3173k| 236M| 45 | 6 | 50 |7019 | 178 | 50 | 18 | 23 | 778k|4230 | 0.000000e+00 | -- | Inf
826.74/827.01 c 790s| 1400k|268495 | 3195k| 237M| 45 | - | 50 |6745 | 12 | 0 | 0 | 23 | 783k|4244 | 0.000000e+00 | -- | Inf
833.63/833.92 c 797s| 1410k|270088 | 3218k| 239M| 45 | - | 50 |6384 | 297 | 50 | 18 | 23 | 789k|4255 | 0.000000e+00 | -- | Inf
840.73/841.01 c 804s| 1420k|271695 | 3241k| 240M| 45 | 6 | 50 |6519 | 31 | 50 | 18 | 23 | 795k|4267 | 0.000000e+00 | -- | Inf
847.73/848.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.73/848.02 c 810s| 1430k|273288 | 3264k| 242M| 45 | 6 | 50 |6584 | 24 | 50 | 18 | 23 | 801k|4279 | 0.000000e+00 | -- | Inf
854.43/854.70 c 817s| 1440k|274968 | 3287k| 244M| 45 | 6 | 50 |7240 | 80 | 50 | 18 | 23 | 807k|4287 | 0.000000e+00 | -- | Inf
861.53/861.86 c 824s| 1450k|276547 | 3309k| 245M| 45 | 6 | 50 |7038 | 14 | 50 | 18 | 23 | 812k|4298 | 0.000000e+00 | -- | Inf
868.33/868.70 c 830s| 1460k|278367 | 3332k| 247M| 45 | 6 | 50 |7215 | 120 | 50 | 18 | 23 | 818k|4309 | 0.000000e+00 | -- | Inf
873.73/874.02 c 835s| 1470k|280968 | 3355k| 249M| 45 | 6 | 50 |8552 | 13 | 50 | 18 | 23 | 823k|4319 | 0.000000e+00 | -- | Inf
880.42/880.72 c 842s| 1480k|282734 | 3378k| 251M| 45 | - | 50 |8276 | 24 | 0 | 0 | 23 | 829k|4330 | 0.000000e+00 | -- | Inf
887.02/887.30 c 848s| 1490k|284783 | 3400k| 252M| 45 | 6 | 50 |8583 | 59 | 50 | 18 | 23 | 834k|4341 | 0.000000e+00 | -- | Inf
894.42/894.72 c 855s| 1500k|286421 | 3423k| 254M| 45 | 6 | 50 |8156 | 63 | 50 | 18 | 23 | 840k|4353 | 0.000000e+00 | -- | Inf
902.41/902.79 c 863s| 1510k|288000 | 3446k| 255M| 45 | 6 | 50 |7030 | 14 | 50 | 18 | 23 | 846k|4360 | 0.000000e+00 | -- | Inf
909.71/910.01 c 870s| 1520k|289527 | 3469k| 257M| 45 | 6 | 50 |7228 | 539 | 50 | 18 | 23 | 852k|4370 | 0.000000e+00 | -- | Inf
915.91/916.25 c 876s| 1530k|291443 | 3492k| 258M| 45 | 6 | 50 |7584 | 17 | 50 | 18 | 23 | 857k|4388 | 0.000000e+00 | -- | Inf
922.81/923.19 c 883s| 1540k|293103 | 3516k| 260M| 45 | - | 50 |8130 | 34 | 50 | 18 | 23 | 863k|4396 | 0.000000e+00 | -- | Inf
929.40/929.73 c 889s| 1550k|295216 | 3539k| 262M| 45 | - | 50 |7663 |1935 | 0 | 0 | 23 | 869k|4402 | 0.000000e+00 | -- | Inf
936.21/936.56 c 895s| 1560k|296935 | 3563k| 263M| 45 | - | 50 |7438 | 61 | 50 | 18 | 23 | 874k|4422 | 0.000000e+00 | -- | Inf
942.80/943.10 c 902s| 1570k|298747 | 3586k| 265M| 45 | 6 | 50 |7831 | 6 | 50 | 18 | 23 | 880k|4438 | 0.000000e+00 | -- | Inf
949.70/950.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.70/950.06 c 908s| 1580k|300640 | 3609k| 266M| 45 | - | 50 |7551 | 54 | 50 | 18 | 23 | 885k|4455 | 0.000000e+00 | -- | Inf
955.70/956.07 c 914s| 1590k|303195 | 3632k| 268M| 45 | - | 50 |8201 | 36 | 50 | 18 | 23 | 890k|4468 | 0.000000e+00 | -- | Inf
961.89/962.28 c 920s| 1600k|305272 | 3655k| 270M| 45 | 6 | 50 |8739 | 14 | 50 | 18 | 23 | 896k|4478 | 0.000000e+00 | -- | Inf
969.20/969.57 c 927s| 1610k|307042 | 3678k| 272M| 45 | 6 | 50 |7655 | 54 | 50 | 18 | 23 | 901k|4487 | 0.000000e+00 | -- | Inf
975.39/975.73 c 933s| 1620k|309054 | 3701k| 274M| 45 | 6 | 50 |8590 | 41 | 50 | 18 | 23 | 907k|4504 | 0.000000e+00 | -- | Inf
982.29/982.65 c 940s| 1630k|310859 | 3723k| 275M| 45 | 6 | 50 |7900 | 11 | 50 | 18 | 23 | 912k|4516 | 0.000000e+00 | -- | Inf
989.70/990.07 c 947s| 1640k|312445 | 3746k| 277M| 45 | 6 | 50 |7279 | 28 | 50 | 18 | 23 | 918k|4529 | 0.000000e+00 | -- | Inf
996.78/997.10 c 954s| 1650k|314105 | 3768k| 278M| 45 | 6 | 50 |6772 | 32 | 50 | 18 | 23 | 924k|4538 | 0.000000e+00 | -- | Inf
1002.98/1003.31 c 959s| 1660k|316348 | 3791k| 280M| 45 | 6 | 50 |6791 | 149 | 50 | 18 | 23 | 929k|4555 | 0.000000e+00 | -- | Inf
1009.28/1009.65 c 966s| 1670k|318043 | 3814k| 282M| 45 | - | 50 |7334 | 29 | 50 | 18 | 23 | 935k|4571 | 0.000000e+00 | -- | Inf
1016.78/1017.12 c 973s| 1680k|319518 | 3838k| 283M| 45 | 6 | 50 |6258 | 47 | 50 | 18 | 23 | 941k|4580 | 0.000000e+00 | -- | Inf
1023.68/1024.03 c 979s| 1690k|321017 | 3860k| 284M| 45 | 6 | 50 |6352 | 67 | 50 | 18 | 23 | 947k|4595 | 0.000000e+00 | -- | Inf
1030.47/1030.84 c 986s| 1700k|322819 | 3883k| 286M| 45 | 6 | 50 |6742 | 172 | 50 | 18 | 23 | 952k|4608 | 0.000000e+00 | -- | Inf
1037.37/1037.76 c 993s| 1710k|324456 | 3906k| 288M| 45 | 6 | 50 |7447 | 267 | 50 | 18 | 23 | 958k|4617 | 0.000000e+00 | -- | Inf
1044.27/1044.69 c 999s| 1720k|325955 | 3929k| 289M| 45 | 6 | 50 |7280 | 953 | 50 | 18 | 23 | 964k|4629 | 0.000000e+00 | -- | Inf
1051.37/1051.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1051.37/1051.71 c 1006s| 1730k|327719 | 3952k| 291M| 45 | 6 | 50 |6822 | 73 | 50 | 18 | 23 | 970k|4640 | 0.000000e+00 | -- | Inf
1057.78/1058.17 c 1012s| 1740k|329447 | 3975k| 293M| 45 | - | 50 |6880 | 9 | 0 | 0 | 23 | 975k|4648 | 0.000000e+00 | -- | Inf
1064.37/1064.77 c 1019s| 1750k|331148 | 3997k| 294M| 45 | - | 50 |7542 | 15 | 50 | 18 | 23 | 981k|4659 | 0.000000e+00 | -- | Inf
1071.16/1071.53 c 1025s| 1760k|332814 | 4019k| 296M| 45 | - | 50 |7383 | 34 | 50 | 18 | 23 | 987k|4670 | 0.000000e+00 | -- | Inf
1078.46/1078.81 c 1032s| 1770k|334364 | 4042k| 297M| 45 | 6 | 50 |7174 | 19 | 50 | 18 | 23 | 992k|4677 | 0.000000e+00 | -- | Inf
1085.96/1086.36 c 1039s| 1780k|335785 | 4065k| 299M| 45 | - | 50 |6680 | 40 | 50 | 18 | 23 | 998k|4686 | 0.000000e+00 | -- | Inf
1092.66/1093.04 c 1046s| 1790k|337709 | 4087k| 300M| 45 | 6 | 50 |7302 | 6 | 50 | 18 | 23 |1004k|4704 | 0.000000e+00 | -- | Inf
1099.95/1100.31 c 1053s| 1800k|339100 | 4110k| 302M| 45 | 6 | 50 |7086 | 126 | 50 | 18 | 23 |1010k|4713 | 0.000000e+00 | -- | Inf
1106.65/1107.07 c 1059s| 1810k|340770 | 4133k| 304M| 45 | - | 50 |7688 | 145 | 50 | 18 | 23 |1016k|4728 | 0.000000e+00 | -- | Inf
1114.05/1114.46 c 1066s| 1820k|342319 | 4156k| 305M| 45 | 6 | 50 |6899 | 159 | 50 | 18 | 23 |1021k|4745 | 0.000000e+00 | -- | Inf
1121.25/1121.64 c 1073s| 1830k|344169 | 4179k| 307M| 45 | - | 50 |6969 | 190 | 50 | 18 | 23 |1027k|4757 | 0.000000e+00 | -- | Inf
1127.45/1127.88 c 1079s| 1840k|345947 | 4202k| 308M| 45 | 6 | 50 |7584 |1596 | 50 | 18 | 23 |1033k|4763 | 0.000000e+00 | -- | Inf
1135.14/1135.59 c 1087s| 1850k|347398 | 4224k| 310M| 45 | 6 | 50 |6462 | 28 | 50 | 18 | 23 |1039k|4773 | 0.000000e+00 | -- | Inf
1141.14/1141.59 c 1092s| 1860k|349792 | 4247k| 312M| 45 | 6 | 50 |7367 | 52 | 50 | 18 | 23 |1044k|4782 | 0.000000e+00 | -- | Inf
1147.34/1147.72 c 1098s| 1870k|351822 | 4270k| 314M| 45 | 6 | 50 |8125 | 89 | 50 | 18 | 23 |1049k|4794 | 0.000000e+00 | -- | Inf
1153.14/1153.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.14/1153.51 c 1104s| 1880k|354624 | 4294k| 316M| 45 | 6 | 50 |9503 | 74 | 50 | 18 | 23 |1054k|4803 | 0.000000e+00 | -- | Inf
1159.94/1160.33 c 1110s| 1890k|357140 | 4317k| 318M| 45 | 6 | 50 | 10k| 85 | 50 | 18 | 23 |1059k|4812 | 0.000000e+00 | -- | Inf
1168.04/1168.44 c 1118s| 1900k|358911 | 4340k| 320M| 45 | 6 | 50 |9966 | 32 | 50 | 18 | 23 |1065k|4825 | 0.000000e+00 | -- | Inf
1175.13/1175.59 c 1125s| 1910k|360991 | 4363k| 321M| 45 | - | 50 |9817 | 15 | 0 | 0 | 23 |1071k|4835 | 0.000000e+00 | -- | Inf
1182.33/1182.77 c 1132s| 1920k|362884 | 4386k| 323M| 45 | - | 50 |9559 | 214 | 50 | 18 | 23 |1076k|4854 | 0.000000e+00 | -- | Inf
1189.83/1190.20 c 1139s| 1930k|364484 | 4409k| 325M| 45 | 6 | 50 |9908 | 7 | 50 | 18 | 23 |1082k|4874 | 0.000000e+00 | -- | Inf
1196.63/1197.00 c 1146s| 1940k|366503 | 4432k| 326M| 45 | - | 50 |9707 | 32 | 0 | 0 | 23 |1088k|4888 | 0.000000e+00 | -- | Inf
1203.32/1203.78 c 1152s| 1950k|368302 | 4456k| 328M| 45 | 6 | 50 | 11k| 10 | 50 | 18 | 23 |1093k|4898 | 0.000000e+00 | -- | Inf
1211.22/1211.62 c 1160s| 1960k|369864 | 4480k| 330M| 45 | - | 50 |9820 | 8 | 0 | 0 | 23 |1099k|4907 | 0.000000e+00 | -- | Inf
1218.82/1219.22 c 1167s| 1970k|371484 | 4503k| 331M| 45 | - | 50 |9433 | 23 | 0 | 0 | 23 |1105k|4928 | 0.000000e+00 | -- | Inf
1224.92/1225.38 c 1173s| 1980k|374000 | 4526k| 333M| 45 | 6 | 50 | 10k| 27 | 50 | 18 | 23 |1110k|4939 | 0.000000e+00 | -- | Inf
1232.11/1232.56 c 1180s| 1990k|376108 | 4548k| 335M| 45 | - | 50 | 10k| 53 | 50 | 18 | 23 |1115k|4957 | 0.000000e+00 | -- | Inf
1241.62/1242.09 c 1189s| 2000k|377495 | 4571k| 336M| 45 | 6 | 50 |8096 | 44 | 50 | 18 | 23 |1121k|4967 | 0.000000e+00 | -- | Inf
1248.41/1248.85 c 1196s| 2010k|379452 | 4594k| 338M| 45 | 6 | 50 |8708 | 949 | 50 | 18 | 23 |1127k|4975 | 0.000000e+00 | -- | Inf
1255.11/1255.57 c 1202s| 2020k|381462 | 4617k| 339M| 45 | 6 | 50 |8674 | 54 | 50 | 18 | 23 |1132k|4988 | 0.000000e+00 | -- | Inf
1263.20/1263.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1263.20/1263.60 c 1210s| 2030k|383173 | 4639k| 341M| 45 | 6 | 50 |7683 | 32 | 50 | 18 | 23 |1137k|5000 | 0.000000e+00 | -- | Inf
1270.40/1270.87 c 1217s| 2040k|384747 | 4661k| 342M| 45 | 6 | 50 |7869 | 15 | 50 | 18 | 23 |1143k|5009 | 0.000000e+00 | -- | Inf
1277.40/1277.85 c 1224s| 2050k|386320 | 4683k| 344M| 45 | - | 50 |8454 | 23 | 50 | 18 | 23 |1149k|5018 | 0.000000e+00 | -- | Inf
1285.99/1286.45 c 1232s| 2060k|387772 | 4706k| 345M| 45 | 6 | 50 |7244 | 67 | 50 | 18 | 23 |1155k|5028 | 0.000000e+00 | -- | Inf
1292.49/1292.98 c 1238s| 2070k|389353 | 4728k| 347M| 45 | 6 | 50 |8791 | 7 | 50 | 18 | 23 |1161k|5041 | 0.000000e+00 | -- | Inf
1300.29/1300.71 c 1246s| 2080k|391071 | 4751k| 349M| 45 | - | 50 |7953 | 10 | 50 | 18 | 23 |1166k|5059 | 0.000000e+00 | -- | Inf
1307.89/1308.39 c 1253s| 2090k|392619 | 4774k| 350M| 45 | 6 | 50 |7489 | 8 | 50 | 18 | 23 |1172k|5075 | 0.000000e+00 | -- | Inf
1315.20/1315.60 c 1260s| 2100k|394307 | 4797k| 352M| 45 | - | 50 |7532 | 55 | 50 | 18 | 23 |1178k|5090 | 0.000000e+00 | -- | Inf
1321.89/1322.32 c 1267s| 2110k|396086 | 4821k| 353M| 45 | 6 | 50 |7985 | 44 | 50 | 18 | 23 |1184k|5097 | 0.000000e+00 | -- | Inf
1328.29/1328.77 c 1273s| 2120k|398047 | 4844k| 356M| 45 | 6 | 50 |9546 | 39 | 50 | 18 | 23 |1189k|5115 | 0.000000e+00 | -- | Inf
1336.18/1336.65 c 1280s| 2130k|399693 | 4866k| 357M| 45 | 6 | 50 |8583 |3299 | 50 | 18 | 23 |1195k|5124 | 0.000000e+00 | -- | Inf
1344.09/1344.57 c 1288s| 2140k|401261 | 4889k| 358M| 45 | 6 | 50 |8411 | 20 | 50 | 18 | 23 |1201k|5135 | 0.000000e+00 | -- | Inf
1352.38/1352.81 c 1296s| 2150k|402685 | 4912k| 360M| 45 | - | 50 |7277 | 239 | 0 | 0 | 23 |1207k|5151 | 0.000000e+00 | -- | Inf
1359.48/1359.97 c 1303s| 2160k|404287 | 4935k| 361M| 45 | 6 | 50 |7698 | 63 | 50 | 18 | 23 |1213k|5171 | 0.000000e+00 | -- | Inf
1366.67/1367.16 c 1310s| 2170k|405917 | 4958k| 363M| 45 | 6 | 50 |7829 | 80 | 50 | 18 | 23 |1219k|5185 | 0.000000e+00 | -- | Inf
1374.37/1374.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1374.37/1374.81 c 1317s| 2180k|407489 | 4981k| 364M| 45 | 6 | 50 |7647 | 9 | 50 | 18 | 23 |1224k|5196 | 0.000000e+00 | -- | Inf
1381.87/1382.30 c 1324s| 2190k|408997 | 5004k| 366M| 45 | 6 | 50 |7173 | 23 | 50 | 18 | 23 |1230k|5206 | 0.000000e+00 | -- | Inf
1389.16/1389.68 c 1332s| 2200k|410526 | 5026k| 368M| 45 | 6 | 50 |7649 | 38 | 50 | 18 | 23 |1236k|5217 | 0.000000e+00 | -- | Inf
1397.07/1397.50 c 1339s| 2210k|411911 | 5049k| 369M| 45 | 6 | 50 |7445 | 21 | 50 | 18 | 23 |1242k|5227 | 0.000000e+00 | -- | Inf
1403.66/1404.10 c 1345s| 2220k|413954 | 5072k| 371M| 45 | 6 | 50 |8226 | 69 | 50 | 18 | 23 |1247k|5238 | 0.000000e+00 | -- | Inf
1411.36/1411.81 c 1353s| 2230k|415703 | 5094k| 372M| 45 | - | 50 |7482 | 12 | 50 | 18 | 23 |1253k|5246 | 0.000000e+00 | -- | Inf
1419.05/1419.57 c 1360s| 2240k|417132 | 5117k| 374M| 45 | 6 | 50 |7086 | 241 | 50 | 18 | 23 |1259k|5259 | 0.000000e+00 | -- | Inf
1426.35/1426.80 c 1367s| 2250k|418772 | 5140k| 375M| 45 | - | 50 |7446 | 11 | 0 | 0 | 23 |1265k|5269 | 0.000000e+00 | -- | Inf
1433.35/1433.80 c 1374s| 2260k|420831 | 5163k| 377M| 45 | - | 50 |7646 | 49 | 50 | 18 | 23 |1270k|5279 | 0.000000e+00 | -- | Inf
1439.05/1439.56 c 1380s| 2270k|423416 | 5187k| 379M| 45 | 6 | 50 |9305 | 173 | 50 | 18 | 23 |1275k|5294 | 0.000000e+00 | -- | Inf
1445.85/1446.31 c 1386s| 2280k|425255 | 5211k| 381M| 45 | 6 | 50 | 10k| 29 | 50 | 18 | 23 |1281k|5302 | 0.000000e+00 | -- | Inf
1454.65/1455.19 c 1395s| 2290k|426780 | 5234k| 382M| 45 | - | 50 |8111 | 51 | 50 | 18 | 23 |1287k|5318 | 0.000000e+00 | -- | Inf
1460.65/1461.15 c 1400s| 2300k|429283 | 5259k| 384M| 45 | 6 | 50 |8929 | 37 | 50 | 18 | 23 |1292k|5330 | 0.000000e+00 | -- | Inf
1467.14/1467.69 c 1407s| 2310k|431644 | 5283k| 386M| 45 | - | 50 |9204 | 210 | 50 | 18 | 23 |1297k|5341 | 0.000000e+00 | -- | Inf
1474.34/1474.81 c 1413s| 2320k|433672 | 5308k| 388M| 45 | - | 50 |9346 | 77 | 50 | 18 | 23 |1302k|5355 | 0.000000e+00 | -- | Inf
1481.34/1481.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.34/1481.84 c 1420s| 2330k|435570 | 5334k| 390M| 45 | 6 | 50 | 10k| 8 | 50 | 18 | 23 |1308k|5365 | 0.000000e+00 | -- | Inf
1489.83/1490.38 c 1428s| 2340k|437034 | 5357k| 391M| 45 | 6 | 50 |7684 | 26 | 50 | 18 | 23 |1314k|5379 | 0.000000e+00 | -- | Inf
1497.03/1497.54 c 1435s| 2350k|438806 | 5379k| 392M| 45 | - | 50 |7245 | 21 | 50 | 18 | 23 |1320k|5391 | 0.000000e+00 | -- | Inf
1504.13/1504.67 c 1442s| 2360k|440635 | 5402k| 394M| 45 | - | 50 |7546 | 17 | 50 | 18 | 23 |1325k|5401 | 0.000000e+00 | -- | Inf
1510.93/1511.42 c 1449s| 2370k|442536 | 5426k| 396M| 45 | 6 | 50 |8265 | 32 | 50 | 18 | 23 |1331k|5413 | 0.000000e+00 | -- | Inf
1518.12/1518.61 c 1456s| 2380k|444244 | 5450k| 397M| 45 | 6 | 50 |8541 | 165 | 50 | 18 | 23 |1337k|5423 | 0.000000e+00 | -- | Inf
1526.52/1527.06 c 1464s| 2390k|445772 | 5472k| 398M| 45 | 6 | 50 |6891 | 29 | 50 | 18 | 23 |1343k|5434 | 0.000000e+00 | -- | Inf
1533.82/1534.34 c 1471s| 2400k|447318 | 5496k| 400M| 45 | 6 | 50 |7444 | 35 | 50 | 18 | 23 |1349k|5452 | 0.000000e+00 | -- | Inf
1541.22/1541.70 c 1478s| 2410k|448850 | 5518k| 401M| 45 | 6 | 50 |6443 | 299 | 50 | 18 | 23 |1355k|5462 | 0.000000e+00 | -- | Inf
1548.62/1549.17 c 1485s| 2420k|450309 | 5540k| 403M| 45 | 6 | 50 |6249 | 49 | 50 | 18 | 23 |1360k|5470 | 0.000000e+00 | -- | Inf
1554.92/1555.41 c 1491s| 2430k|452007 | 5564k| 405M| 45 | - | 50 |7737 | 47 | 50 | 18 | 23 |1366k|5478 | 0.000000e+00 | -- | Inf
1562.01/1562.50 c 1498s| 2440k|453507 | 5587k| 406M| 45 | 6 | 50 |7733 | 16 | 50 | 18 | 23 |1372k|5484 | 0.000000e+00 | -- | Inf
1569.51/1570.03 c 1505s| 2450k|455153 | 5609k| 408M| 45 | 6 | 50 |7282 | 16 | 50 | 18 | 23 |1378k|5499 | 0.000000e+00 | -- | Inf
1576.41/1576.90 c 1512s| 2460k|456622 | 5632k| 409M| 45 | 6 | 50 |8094 | 54 | 50 | 18 | 23 |1383k|5504 | 0.000000e+00 | -- | Inf
1584.61/1585.19 c 1520s| 2470k|458042 | 5655k| 411M| 45 | 6 | 50 |7553 | 105 | 50 | 18 | 23 |1389k|5521 | 0.000000e+00 | -- | Inf
1591.11/1591.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1591.11/1591.67 c 1526s| 2480k|459737 | 5678k| 413M| 45 | - | 50 |8303 | 85 | 50 | 18 | 23 |1395k|5535 | 0.000000e+00 | -- | Inf
1599.00/1599.57 c 1534s| 2490k|461207 | 5701k| 414M| 45 | - | 50 |7175 | 23 | 50 | 18 | 23 |1401k|5546 | 0.000000e+00 | -- | Inf
1606.90/1607.49 c 1541s| 2500k|462533 | 5723k| 415M| 45 | 6 | 50 |7161 | 176 | 50 | 18 | 23 |1407k|5555 | 0.000000e+00 | -- | Inf
1613.99/1614.57 c 1548s| 2510k|464207 | 5746k| 417M| 45 | - | 50 |7005 | 13 | 0 | 0 | 23 |1413k|5567 | 0.000000e+00 | -- | Inf
1621.09/1621.69 c 1555s| 2520k|465746 | 5768k| 419M| 45 | - | 50 |7784 | 12 | 50 | 18 | 23 |1419k|5580 | 0.000000e+00 | -- | Inf
1629.29/1629.86 c 1563s| 2530k|467197 | 5791k| 420M| 45 | - | 50 |6984 | 53 | 0 | 0 | 23 |1425k|5590 | 0.000000e+00 | -- | Inf
1636.49/1637.07 c 1570s| 2540k|468838 | 5813k| 421M| 45 | - | 50 |6663 | 38 | 50 | 18 | 23 |1430k|5597 | 0.000000e+00 | -- | Inf
1642.59/1643.16 c 1576s| 2550k|470996 | 5835k| 423M| 45 | - | 50 |7853 | 9 | 50 | 18 | 23 |1435k|5608 | 0.000000e+00 | -- | Inf
1648.58/1649.12 c 1581s| 2560k|473178 | 5858k| 425M| 45 | - | 50 |8802 | 15 | 50 | 18 | 23 |1441k|5614 | 0.000000e+00 | -- | Inf
1655.48/1656.07 c 1588s| 2570k|474798 | 5879k| 427M| 45 | - | 50 |8647 | 15 | 50 | 18 | 23 |1446k|5622 | 0.000000e+00 | -- | Inf
1663.58/1664.16 c 1596s| 2580k|476406 | 5902k| 428M| 45 | - | 50 |7075 | 61 | 50 | 18 | 23 |1452k|5637 | 0.000000e+00 | -- | Inf
1671.99/1672.54 c 1604s| 2590k|477550 | 5925k| 429M| 45 | - | 50 |6271 | 82 | 50 | 18 | 23 |1458k|5649 | 0.000000e+00 | -- | Inf
1678.28/1678.85 c 1610s| 2600k|479684 | 5947k| 431M| 45 | - | 50 |6815 | 148 | 50 | 18 | 23 |1463k|5658 | 0.000000e+00 | -- | Inf
1684.77/1685.37 c 1616s| 2610k|481395 | 5969k| 433M| 45 | - | 50 |7124 | 40 | 50 | 18 | 23 |1469k|5673 | 0.000000e+00 | -- | Inf
1692.68/1693.29 c 1624s| 2620k|482740 | 5992k| 434M| 45 | 6 | 50 |6319 | 19 | 50 | 18 | 23 |1475k|5684 | 0.000000e+00 | -- | Inf
1700.47/1701.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1700.47/1701.00 c 1631s| 2630k|484244 | 6014k| 435M| 45 | 6 | 50 |6182 | 28 | 50 | 18 | 23 |1481k|5689 | 0.000000e+00 | -- | Inf
1706.47/1707.02 c 1637s| 2640k|486022 | 6037k| 437M| 45 | 6 | 50 |7672 | 17 | 50 | 18 | 23 |1487k|5700 | 0.000000e+00 | -- | Inf
1714.37/1714.90 c 1645s| 2650k|487437 | 6060k| 439M| 45 | 6 | 50 |6815 | 30 | 50 | 18 | 23 |1492k|5710 | 0.000000e+00 | -- | Inf
1721.47/1722.07 c 1652s| 2660k|488930 | 6082k| 440M| 45 | 6 | 50 |7471 | 605 | 50 | 18 | 23 |1498k|5722 | 0.000000e+00 | -- | Inf
1727.86/1728.44 c 1658s| 2670k|490201 | 6106k| 442M| 45 | 6 | 50 |8334 | 85 | 50 | 18 | 23 |1505k|5731 | 0.000000e+00 | -- | Inf
1735.86/1736.41 c 1665s| 2680k|491655 | 6128k| 443M| 45 | 6 | 50 |6993 | 417 | 50 | 18 | 23 |1511k|5741 | 0.000000e+00 | -- | Inf
1742.36/1742.97 c 1672s| 2690k|493515 | 6151k| 445M| 45 | - | 50 |7857 | 19 | 0 | 0 | 23 |1516k|5753 | 0.000000e+00 | -- | Inf
1749.65/1750.21 c 1679s| 2700k|495302 | 6174k| 447M| 45 | - | 50 |7525 | 16 | 50 | 18 | 23 |1522k|5767 | 0.000000e+00 | -- | Inf
1756.16/1756.73 c 1685s| 2710k|497175 | 6197k| 449M| 45 | - | 50 |9221 | 183 | 50 | 18 | 23 |1527k|5775 | 0.000000e+00 | -- | Inf
1763.55/1764.10 c 1692s| 2720k|498668 | 6220k| 450M| 45 | 6 | 50 |8843 | 16 | 50 | 18 | 23 |1533k|5785 | 0.000000e+00 | -- | Inf
1770.95/1771.58 c 1699s| 2730k|500214 | 6243k| 451M| 45 | - | 50 |8304 | 33 | 0 | 0 | 23 |1539k|5792 | 0.000000e+00 | -- | Inf
1778.44/1779.07 c 1706s| 2740k|501859 | 6266k| 453M| 45 | - | 50 |8100 | 10 | 50 | 18 | 23 |1545k|5797 | 0.000000e+00 | -- | Inf
1786.95/1787.55 c 1715s| 2750k|503223 | 6288k| 454M| 45 | - | 50 |6854 | 13 | 50 | 18 | 23 |1551k|5805 | 0.000000e+00 | -- | Inf
1793.65/1794.26 c 1721s| 2760k|504860 | 6311k| 456M| 45 | 6 | 50 |7975 | 35 | 50 | 18 | 23 |1557k|5821 | 0.000000e+00 | -- | Inf
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1727.13
1800.05/1800.61 c Solving Nodes : 2768491
1800.05/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c NODE 2768491
1800.05/1800.61 c DUAL BOUND 0
1800.05/1800.61 c PRIMAL BOUND 1e+20
1800.05/1800.61 c GAP 1e+20
1800.05/1800.61 s UNKNOWN
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1727.13
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-1869520-1245176246.opb
1800.05/1800.61 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 13 initial, 13 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-1869520-1245176246.opb
1800.05/1800.61 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 6 initial, 11504 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.00 0 0 0 0 0 7 0 0
1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 1673708 0 780 2597 0 0 3340942
1800.05/1800.61 c linear : 6 6 6602635 0 0 315179 4338467 0 0 0
1800.05/1800.61 c logicor : 0+ 0 2802831 0 0 7538 1064286 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 19.57 0.00 0.00 19.57 0.00
1800.05/1800.61 c linear : 272.99 0.00 272.99 0.00 0.00
1800.05/1800.61 c logicor : 500.01 0.00 500.01 0.00 0.00
1800.05/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c rootredcost : 2.21 0 0 0
1800.05/1800.61 c pseudoobj : 1.50 0 0 0
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 31.78 322717 267985 949688 35.6 31 29.1 -
1800.05/1800.61 c infeasible LP : 55.42 834527 834492 1620199 23.7 8955 28.3 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 1279832 21.1 - - -
1800.05/1800.61 c applied locally : - - - 282092 33.8 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 5 - - 7 - (maximal pool size: 82)
1800.05/1800.61 c redcost : 3.66 1673710 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 6 0 0 0 0
1800.05/1800.61 c strongcg : 0.01 6 0 0 37 0
1800.05/1800.61 c cmir : 0.02 6 0 0 25 0
1800.05/1800.61 c flowcover : 0.03 6 0 0 38 0
1800.05/1800.61 c clique : 0.00 1 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 1 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 17.77 1673708 780 2597 0 0 3340942
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c oneopt : 1.22 0 0
1800.05/1800.61 c crossover : 0.84 0 0
1800.05/1800.61 c guideddiving : 0.09 0 0
1800.05/1800.61 c pscostdiving : 0.22 76 0
1800.05/1800.61 c linesearchdiving : 0.32 76 0
1800.05/1800.61 c fracdiving : 0.17 76 0
1800.05/1800.61 c veclendiving : 0.18 76 0
1800.05/1800.61 c coefdiving : 0.07 77 0
1800.05/1800.61 c feaspump : 0.13 39 0
1800.05/1800.61 c rootsoldiving : 0.15 39 0
1800.05/1800.61 c objpscostdiving : 0.12 39 0
1800.05/1800.61 c simplerounding : 0.85 0 0
1800.05/1800.61 c rounding : 1.92 18302 0
1800.05/1800.61 c shifting : 3.86 5714 0
1800.05/1800.61 c intshifting : 0.10 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.04 1 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 242.21 2451008 6328111 2.58 26126.55
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.14 1444 2939 2.04 20992.86
1800.05/1800.61 c strong branching : 1.10 5826 25847 4.44 23497.27
1800.05/1800.61 c (at root node) : - 18 604 33.56 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 2768491
1800.05/1800.61 c nodes (total) : 2768491
1800.05/1800.61 c nodes left : 506276
1800.05/1800.61 c max depth : 45
1800.05/1800.61 c max depth (total): 45
1800.05/1800.61 c backtracks : 387280 (14.0%)
1800.05/1800.61 c delayed cutoffs : 66176
1800.05/1800.61 c repropagations : 2396183 (1453447 domain reductions, 59061 cutoffs)
1800.05/1800.61 c avg switch length: 5.39
1800.05/1800.61 c switching time : 382.66
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 0 (0 improvements)
1800.05/1800.61 c Primal Bound : -
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 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-1869520-1245176246/watcher-1869520-1245176246 -o /tmp/evaluation-result-1869520-1245176246/solver-1869520-1245176246 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869520-1245176246.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.92 0.98 0.99 3/64 4894
/proc/meminfo: memFree=1844016/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=4324 CPUtime=0
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 465 0 0 0 0 0 0 0 18 0 1 0 185221633 4427776 449 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/4894/statm: 1081 460 297 886 0 191 0
[startup+0.059519 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4894
/proc/meminfo: memFree=1844016/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=12764 CPUtime=0.05
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 2733 0 0 0 4 1 0 0 18 0 1 0 185221633 13070336 2361 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 3191 2361 544 886 0 2301 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12764
[startup+0.101524 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4894
/proc/meminfo: memFree=1844016/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=19656 CPUtime=0.09
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 4163 0 0 0 8 1 0 0 18 0 1 0 185221633 20127744 3791 1992294400 4194304 7823515 548682068736 18446744073709551615 4402254 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 4914 3791 547 886 0 4024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19656
[startup+0.301553 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4894
/proc/meminfo: memFree=1844016/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=14928 CPUtime=0.29
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 4210 0 0 0 26 3 0 0 19 0 1 0 185221633 15286272 2939 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 3732 2939 566 886 0 2842 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14928
[startup+0.701609 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4894
/proc/meminfo: memFree=1844016/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=14928 CPUtime=0.69
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 4211 0 0 0 64 5 0 0 22 0 1 0 185221633 15286272 2940 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 3732 2940 566 886 0 2842 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14928
[startup+1.50172 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 4895
/proc/meminfo: memFree=1834280/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=14928 CPUtime=1.49
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 4214 0 0 0 138 11 0 0 25 0 1 0 185221633 15286272 2943 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 3732 2943 566 886 0 2842 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14928
[startup+3.10195 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 4895
/proc/meminfo: memFree=1833704/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=16416 CPUtime=3.09
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 4592 0 0 0 287 22 0 0 25 0 1 0 185221633 16809984 3321 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 4104 3321 566 886 0 3214 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16416
[startup+6.30141 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 4895
/proc/meminfo: memFree=1830704/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=18700 CPUtime=6.29
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 5157 0 0 0 588 41 0 0 25 0 1 0 185221633 19148800 3886 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 4675 3886 566 886 0 3785 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18700
[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 4895
/proc/meminfo: memFree=1827824/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=21444 CPUtime=12.69
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 5875 0 0 0 1189 80 0 0 25 0 1 0 185221633 21958656 4604 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 5361 4604 566 886 0 4471 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21444
[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 4895
/proc/meminfo: memFree=1821168/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=28520 CPUtime=25.48
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 7634 0 0 0 2391 157 0 0 25 0 1 0 185221633 29204480 6363 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 7130 6363 566 886 0 6240 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28520
[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 4895
/proc/meminfo: memFree=1809392/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=39708 CPUtime=51.08
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 10452 0 0 0 4807 301 0 0 25 0 1 0 185221633 40660992 9181 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 9927 9181 566 886 0 9037 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39708
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 4895
/proc/meminfo: memFree=1788272/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=60560 CPUtime=102.26
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 15724 0 0 0 9662 564 0 0 25 0 1 0 185221633 62013440 14453 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 15140 14453 566 886 0 14250 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 60560
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4895
/proc/meminfo: memFree=1767792/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=82632 CPUtime=162.24
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 20920 0 0 0 15376 848 0 0 25 0 1 0 185221633 84615168 19649 1992294400 4194304 7823515 548682068736 18446744073709551615 5102455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 20658 19649 566 886 0 19768 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 82632
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4895
/proc/meminfo: memFree=1744944/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=104700 CPUtime=222.22
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 26512 0 0 0 21098 1124 0 0 25 0 1 0 185221633 107212800 25241 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 26175 25241 566 886 0 25285 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 104700
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4895
/proc/meminfo: memFree=1727920/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=121344 CPUtime=282.21
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 30734 0 0 0 26825 1396 0 0 25 0 1 0 185221633 124256256 29463 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 30336 29463 566 886 0 29446 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 121344
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4895
/proc/meminfo: memFree=1710576/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=138432 CPUtime=342.19
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 35069 0 0 0 32561 1658 0 0 25 0 1 0 185221633 141754368 33798 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 34608 33798 566 886 0 33718 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 138432
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4895
/proc/meminfo: memFree=1692528/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=156448 CPUtime=402.17
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 39548 0 0 0 38302 1915 0 0 25 0 1 0 185221633 160202752 38277 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 39112 38277 566 886 0 38222 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 156448
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4895
/proc/meminfo: memFree=1675312/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=173472 CPUtime=462.15
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 43841 0 0 0 44048 2167 0 0 25 0 1 0 185221633 177635328 42570 1992294400 4194304 7823515 548682068736 18446744073709551615 4218736 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 43368 42570 566 886 0 42478 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 173472
[startup+522.302 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1658992/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=189472 CPUtime=522.13
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 47929 0 0 0 49786 2427 0 0 25 0 1 0 185221633 194019328 46658 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 47368 46658 566 886 0 46478 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 189472
[startup+582.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1643376/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=208920 CPUtime=582.12
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 51798 0 0 0 55537 2675 0 0 25 0 1 0 185221633 213934080 50527 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 52230 50527 566 886 0 51340 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 208920
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1629488/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=222272 CPUtime=642.09
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 55233 0 0 0 61281 2928 0 0 25 0 1 0 185221633 227606528 53962 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 55568 53962 566 886 0 54678 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 222272
[startup+702.301 s]
################
# More data... #
################
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 77632 0 0 0 95853 4346 0 0 25 0 1 0 185221633 318263296 76361 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 77701 76361 566 886 0 76811 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 310804
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1527344/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=323148 CPUtime=1061.96
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 80803 0 0 0 101623 4573 0 0 25 0 1 0 185221633 330903552 79532 1992294400 4194304 7823515 548682068736 18446744073709551615 5813911 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 80787 79532 566 886 0 79897 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 323148
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1510896/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=338512 CPUtime=1121.95
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 84727 0 0 0 107399 4796 0 0 25 0 1 0 185221633 346636288 83456 1992294400 4194304 7823515 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 84628 83456 566 886 0 83738 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 338512
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1492336/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=357580 CPUtime=1181.93
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 89564 0 0 0 113160 5033 0 0 25 0 1 0 185221633 366161920 88293 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 89395 88293 566 886 0 88505 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 357580
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1478320/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=370792 CPUtime=1241.91
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 92806 0 0 0 118949 5242 0 0 25 0 1 0 185221633 379691008 91535 1992294400 4194304 7823515 548682068736 18446744073709551615 4220501 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 92698 91535 566 886 0 91808 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 370792
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1465200/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=383340 CPUtime=1301.89
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 96057 0 0 0 124738 5451 0 0 25 0 1 0 185221633 392540160 94786 1992294400 4194304 7823515 548682068736 18446744073709551615 4243042 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 95835 94786 566 886 0 94945 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 383340
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1453744/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=394636 CPUtime=1361.88
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 98928 0 0 0 130517 5671 0 0 25 0 1 0 185221633 404107264 97657 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 98659 97657 566 886 0 97769 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 394636
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1442032/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=405896 CPUtime=1421.86
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 101816 0 0 0 136300 5886 0 0 25 0 1 0 185221633 415637504 100545 1992294400 4194304 7823515 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 101474 100545 566 886 0 100584 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 405896
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1427952/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=419408 CPUtime=1481.84
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 105313 0 0 0 142059 6125 0 0 25 0 1 0 185221633 429473792 104042 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 104852 104042 566 886 0 103962 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 419408
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1415600/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=432076 CPUtime=1541.82
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 108398 0 0 0 147842 6340 0 0 25 0 1 0 185221633 442445824 107127 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 108019 107127 566 886 0 107129 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 432076
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1400624/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=454928 CPUtime=1601.81
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 112107 0 0 0 153624 6557 0 0 25 0 1 0 185221633 465846272 110836 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 113732 110836 566 886 0 112842 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 454928
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1386864/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=468300 CPUtime=1661.78
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 115532 0 0 0 159396 6782 0 0 25 0 1 0 185221633 479539200 114261 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 117075 114261 566 886 0 116185 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 468300
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1374704/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=480392 CPUtime=1721.77
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 118635 0 0 0 165176 7001 0 0 25 0 1 0 185221633 491921408 117364 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 120098 117364 566 886 0 119208 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 480392
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1361264/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=493068 CPUtime=1781.74
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 121882 0 0 0 170947 7227 0 0 25 0 1 0 185221633 504901632 120611 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 123267 120611 566 886 0 122377 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 493068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4895
/proc/meminfo: memFree=1358128/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=496116 CPUtime=1800.05
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 122667 0 0 0 172712 7293 0 0 25 0 1 0 185221633 508022784 121396 1992294400 4194304 7823515 548682068736 18446744073709551615 5102242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4894/statm: 124029 121396 566 886 0 123139 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 496116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4894
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 4895
/proc/meminfo: memFree=1358128/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=496116 CPUtime=1800.84
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 122669 0 0 0 172791 7293 0 0 25 0 1 0 185221633 508022784 121398 1992294400 4194304 7823515 548682068736 18446744073709551615 4745372 0 0 4096 0 0 0 0 17 0 0 0
/proc/4894/statm: 124029 121398 568 886 0 123139 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 496116
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4896
/proc/meminfo: memFree=1358056/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=496116 CPUtime=1801.64
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 122669 0 0 0 172871 7293 0 0 25 0 1 0 185221633 508022784 121398 1992294400 4194304 7823515 548682068736 18446744073709551615 5105504 0 0 4096 0 0 0 0 17 1 0 0
/proc/4894/statm: 124029 121398 568 886 0 123139 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 496116
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4896
/proc/meminfo: memFree=1358056/2055920 swapFree=4182572/4192956
[pid=4894] ppid=4892 vsize=496116 CPUtime=1802.04
/proc/4894/stat : 4894 (pbscip.linux.x8) R 4892 4894 4758 0 -1 4194304 122669 0 0 0 172911 7293 0 0 25 0 1 0 185221633 508022784 121398 1992294400 4194304 7823515 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/4894/statm: 124029 121398 568 886 0 123139 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 496116
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.13
CPU user time (s): 1729.12
CPU system time (s): 73.0109
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 496116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1729.12
system time used= 73.0109
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122669
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= 2594
runsolver used 1.40179 second user time and 3.63945 second system time
The end
Begin job on node39 at 2009-06-16 20:17:26
IDJOB=1869520
IDBENCH=2915
IDSOLVER=683
FILE ID=node39/1869520-1245176246
PBS_JOBID= 9363902
Free space on /tmp= 66128 MiB
SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869520-1245176246/watcher-1869520-1245176246 -o /tmp/evaluation-result-1869520-1245176246/solver-1869520-1245176246 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869520-1245176246.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 25ec3c4431eaa97f8c8dfc7dcac7b55c
RANDOM SEED=71233574
node39.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.263
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.263
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: 1844496 kB
Buffers: 46868 kB
Cached: 96476 kB
SwapCached: 4216 kB
Active: 49748 kB
Inactive: 101504 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1844496 kB
SwapTotal: 4192956 kB
SwapFree: 4182572 kB
Dirty: 9844 kB
Writeback: 0 kB
Mapped: 13660 kB
Slab: 46192 kB
Committed_AS: 138684 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= 66120 MiB
End job on node39 at 2009-06-16 20:47:28