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-1869491-1245174479.opb>
0.00/0.01 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 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, 8 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, 8 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 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.02 c 7 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 | 34 | 296k| 0 | 7 | 60 | 7 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 128 | 336k| 0 | 12 | 60 | 7 | 7 | 60 | 14 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 141 | 361k| 0 | 15 | 60 | 7 | 7 | 60 | 19 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 155 | 390k| 0 | 17 | 60 | 7 | 7 | 60 | 22 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.07/0.08 c 0.1s| 1 | 0 | 178 | 408k| 0 | 19 | 60 | 7 | 7 | 60 | 25 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.10 c 0.1s| 1 | 0 | 192 | 411k| 0 | 17 | 60 | 7 | 7 | 60 | 27 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.12 c 0.1s| 1 | 0 | 213 | 424k| 0 | 21 | 60 | 7 | 7 | 60 | 29 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.30 c 0.3s| 1 | 2 | 213 | 424k| 0 | 21 | 60 | 7 | 7 | 60 | 29 | 22 | 0 | 21 | 0.000000e+00 | -- | Inf
6.19/6.24 c 6.0s| 10000 | 2508 | 33224 |1738k| 51 | - | 60 | 84 | 8 | 60 | 21 | 22 | 351 | 554 | 0.000000e+00 | -- | Inf
11.68/11.80 c 11.4s| 20000 | 4817 | 66191 |2958k| 51 | - | 60 | 121 | 21 | 60 | 21 | 22 | 669 | 657 | 0.000000e+00 | -- | Inf
17.29/17.40 c 16.8s| 30000 | 7111 | 99261 |4125k| 51 | - | 60 | 113 | 9 | 60 | 21 | 22 | 948 | 799 | 0.000000e+00 | -- | Inf
22.88/22.91 c 22.2s| 40000 | 9195 |131792 |5226k| 52 | 7 | 60 | 101 | 23 | 60 | 21 | 22 |1204 | 903 | 0.000000e+00 | -- | Inf
28.38/28.41 c 27.5s| 50000 | 11268 |164597 |6315k| 52 | - | 60 | 95 | 9 | 60 | 21 | 22 |1483 |1045 | 0.000000e+00 | -- | Inf
33.78/33.83 c 32.7s| 60000 | 13367 |196217 |7423k| 52 | - | 60 | 104 | 7 | 60 | 21 | 22 |1845 |1118 | 0.000000e+00 | -- | Inf
39.27/39.37 c 38.1s| 70000 | 15502 |229817 |8528k| 52 | 7 | 60 | 88 | 8 | 60 | 21 | 22 |2055 |1191 | 0.000000e+00 | -- | Inf
44.78/44.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.78/44.86 c 43.4s| 80000 | 17419 |262080 |9581k| 53 | - | 60 | 89 | 8 | 60 | 21 | 22 |2343 |1282 | 0.000000e+00 | -- | Inf
50.18/50.26 c 48.6s| 90000 | 19649 |293905 | 10M| 53 | - | 60 | 65 | 11 | 60 | 21 | 22 |2597 |1359 | 0.000000e+00 | -- | Inf
55.58/55.66 c 53.8s|100000 | 21716 |325497 | 11M| 53 | 7 | 60 | 49 | 8 | 60 | 21 | 22 |2806 |1449 | 0.000000e+00 | -- | Inf
60.97/61.08 c 59.1s|110000 | 23530 |356766 | 12M| 53 | - | 60 | 30 | 7 | 60 | 21 | 22 |3086 |1555 | 0.000000e+00 | -- | Inf
66.37/66.40 c 64.2s|120000 | 25338 |388252 | 13M| 53 | - | 60 | 32 | 7 | 60 | 21 | 22 |3359 |1627 | 0.000000e+00 | -- | Inf
71.77/71.81 c 69.5s|130000 | 26942 |420467 | 14M| 53 | 7 | 60 | 24 | 7 | 60 | 21 | 22 |3578 |1720 | 0.000000e+00 | -- | Inf
77.17/77.25 c 74.7s|140000 | 28519 |452165 | 15M| 53 | 7 | 60 | 21 | 7 | 60 | 21 | 22 |3868 |1791 | 0.000000e+00 | -- | Inf
82.57/82.60 c 79.9s|150000 | 30409 |483778 | 16M| 53 | 7 | 60 | 18 | 7 | 60 | 21 | 22 |4097 |1853 | 0.000000e+00 | -- | Inf
87.97/88.01 c 85.1s|160000 | 32313 |516085 | 17M| 53 | - | 60 | 24 | 7 | 60 | 21 | 22 |4306 |1917 | 0.000000e+00 | -- | Inf
93.26/93.36 c 90.2s|170000 | 34382 |547468 | 18M| 53 | 7 | 60 | 31 | 8 | 60 | 21 | 22 |4590 |1968 | 0.000000e+00 | -- | Inf
98.66/98.77 c 95.4s|180000 | 36200 |579534 | 19M| 54 | 7 | 60 | 33 | 7 | 60 | 21 | 22 |4901 |2016 | 0.000000e+00 | -- | Inf
104.06/104.18 c 101s|190000 | 38135 |612154 | 20M| 54 | - | 60 | 39 | 7 | 60 | 21 | 22 |5150 |2064 | 0.000000e+00 | -- | Inf
109.46/109.56 c 106s|200000 | 40002 |644546 | 21M| 54 | 7 | 60 | 27 | 8 | 60 | 21 | 22 |5452 |2104 | 0.000000e+00 | -- | Inf
114.86/114.97 c 111s|210000 | 42382 |676351 | 23M| 54 | - | 60 | 43 | 12 | 60 | 21 | 22 |5610 |2138 | 0.000000e+00 | -- | Inf
120.35/120.41 c 116s|220000 | 44060 |708082 | 24M| 54 | - | 60 | 37 | 8 | 60 | 21 | 22 |5956 |2172 | 0.000000e+00 | -- | Inf
125.75/125.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.75/125.85 c 122s|230000 | 46051 |741480 | 25M| 54 | - | 60 | 47 | 9 | 60 | 21 | 22 |6191 |2223 | 0.000000e+00 | -- | Inf
131.15/131.28 c 127s|240000 | 47732 |774434 | 26M| 54 | 7 | 60 | 36 | 8 | 60 | 21 | 22 |6485 |2237 | 0.000000e+00 | -- | Inf
136.55/136.68 c 132s|250000 | 49915 |806848 | 27M| 54 | - | 60 | 43 | 7 | 60 | 21 | 22 |6694 |2262 | 0.000000e+00 | -- | Inf
142.05/142.13 c 137s|260000 | 51702 |839590 | 28M| 54 | 7 | 60 | 42 | 10 | 60 | 21 | 22 |6922 |2286 | 0.000000e+00 | -- | Inf
147.44/147.54 c 143s|270000 | 53398 |872307 | 29M| 54 | 7 | 60 | 38 | 8 | 60 | 21 | 22 |7175 |2305 | 0.000000e+00 | -- | Inf
152.85/152.93 c 148s|280000 | 55314 |905018 | 30M| 54 | 7 | 60 | 27 | 10 | 60 | 21 | 22 |7442 |2326 | 0.000000e+00 | -- | Inf
158.25/158.35 c 153s|290000 | 57127 |936771 | 31M| 54 | 7 | 60 | 27 | 8 | 60 | 21 | 22 |7685 |2352 | 0.000000e+00 | -- | Inf
163.65/163.78 c 158s|300000 | 59098 |969878 | 32M| 54 | 7 | 60 | 27 | 7 | 60 | 21 | 22 |7897 |2373 | 0.000000e+00 | -- | Inf
169.14/169.22 c 164s|310000 | 60671 | 1002k| 33M| 54 | - | 60 | 22 | 8 | 60 | 21 | 22 |8135 |2396 | 0.000000e+00 | -- | Inf
174.54/174.68 c 169s|320000 | 62450 | 1035k| 34M| 54 | 7 | 60 | 34 | 8 | 60 | 21 | 22 |8456 |2424 | 0.000000e+00 | -- | Inf
179.94/180.09 c 174s|330000 | 64168 | 1067k| 35M| 54 | 7 | 60 | 57 | 7 | 60 | 21 | 22 |8773 |2449 | 0.000000e+00 | -- | Inf
185.43/185.52 c 179s|340000 | 65927 | 1100k| 36M| 54 | - | 60 | 71 | 8 | 0 | 0 | 22 |9107 |2464 | 0.000000e+00 | -- | Inf
190.84/190.93 c 184s|350000 | 67654 | 1132k| 37M| 54 | 7 | 60 | 56 | 8 | 60 | 21 | 22 |9418 |2494 | 0.000000e+00 | -- | Inf
196.24/196.37 c 190s|360000 | 69561 | 1165k| 38M| 54 | - | 60 | 58 | 7 | 60 | 21 | 22 |9685 |2531 | 0.000000e+00 | -- | Inf
201.63/201.73 c 195s|370000 | 71421 | 1197k| 39M| 54 | 7 | 60 | 38 | 7 | 60 | 21 | 22 |9913 |2549 | 0.000000e+00 | -- | Inf
207.03/207.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.03/207.12 c 200s|380000 | 73242 | 1229k| 40M| 54 | 7 | 60 | 48 | 7 | 60 | 21 | 22 | 10k|2571 | 0.000000e+00 | -- | Inf
212.43/212.52 c 205s|390000 | 75323 | 1262k| 41M| 54 | - | 60 | 54 | 10 | 0 | 0 | 22 | 10k|2591 | 0.000000e+00 | -- | Inf
217.83/217.91 c 210s|400000 | 77371 | 1294k| 42M| 54 | 7 | 60 | 63 | 7 | 60 | 21 | 22 | 10k|2611 | 0.000000e+00 | -- | Inf
223.13/223.27 c 216s|410000 | 79119 | 1325k| 43M| 54 | - | 60 | 72 | 8 | 60 | 21 | 22 | 11k|2623 | 0.000000e+00 | -- | Inf
228.63/228.75 c 221s|420000 | 80571 | 1358k| 44M| 54 | 7 | 60 | 44 | 7 | 60 | 21 | 22 | 11k|2640 | 0.000000e+00 | -- | Inf
234.02/234.14 c 226s|430000 | 82300 | 1389k| 44M| 54 | 7 | 60 | 41 | 7 | 60 | 21 | 22 | 11k|2653 | 0.000000e+00 | -- | Inf
239.52/239.66 c 231s|440000 | 83976 | 1422k| 45M| 54 | 7 | 60 | 44 | 7 | 60 | 21 | 22 | 11k|2675 | 0.000000e+00 | -- | Inf
245.02/245.10 c 237s|450000 | 85445 | 1454k| 46M| 54 | 7 | 60 | 40 | 7 | 60 | 21 | 22 | 12k|2687 | 0.000000e+00 | -- | Inf
250.42/250.50 c 242s|460000 | 86947 | 1486k| 47M| 54 | 7 | 60 | 39 | 7 | 60 | 21 | 22 | 12k|2700 | 0.000000e+00 | -- | Inf
255.81/255.95 c 247s|470000 | 88615 | 1518k| 48M| 54 | 7 | 60 | 40 | 7 | 60 | 21 | 22 | 12k|2746 | 0.000000e+00 | -- | Inf
261.22/261.37 c 252s|480000 | 90253 | 1550k| 49M| 54 | 7 | 60 | 48 | 9 | 60 | 21 | 22 | 13k|2753 | 0.000000e+00 | -- | Inf
266.51/266.68 c 258s|490000 | 91781 | 1581k| 50M| 54 | - | 60 | 35 | 9 | 60 | 21 | 22 | 13k|2764 | 0.000000e+00 | -- | Inf
271.91/272.09 c 263s|500000 | 93238 | 1612k| 51M| 54 | 7 | 60 | 42 | 7 | 60 | 21 | 22 | 13k|2779 | 0.000000e+00 | -- | Inf
277.21/277.38 c 268s|510000 | 95641 | 1643k| 52M| 54 | 7 | 60 | 44 | 7 | 60 | 21 | 22 | 13k|2795 | 0.000000e+00 | -- | Inf
282.52/282.62 c 273s|520000 | 97804 | 1674k| 53M| 54 | - | 60 | 47 | 7 | 60 | 21 | 22 | 13k|2795 | 0.000000e+00 | -- | Inf
287.70/287.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.70/287.88 c 278s|530000 | 99696 | 1704k| 54M| 54 | - | 60 | 47 | 8 | 60 | 21 | 22 | 14k|2795 | 0.000000e+00 | -- | Inf
293.01/293.13 c 283s|540000 |101524 | 1734k| 55M| 54 | 7 | 60 | 51 | 7 | 60 | 21 | 22 | 14k|2797 | 0.000000e+00 | -- | Inf
298.30/298.42 c 288s|550000 |103331 | 1764k| 56M| 54 | - | 60 | 35 | 7 | 60 | 21 | 22 | 14k|2814 | 0.000000e+00 | -- | Inf
303.70/303.81 c 293s|560000 |104819 | 1795k| 57M| 54 | 7 | 60 | 17 | 7 | 60 | 21 | 22 | 14k|2838 | 0.000000e+00 | -- | Inf
308.90/309.05 c 298s|570000 |106770 | 1827k| 58M| 54 | - | 60 | 28 | 7 | 60 | 21 | 22 | 14k|2848 | 0.000000e+00 | -- | Inf
314.20/314.38 c 304s|580000 |108445 | 1858k| 59M| 54 | 7 | 60 | 22 | 7 | 60 | 21 | 22 | 15k|2861 | 0.000000e+00 | -- | Inf
319.60/319.76 c 309s|590000 |110240 | 1890k| 60M| 54 | - | 60 | 20 | 7 | 60 | 21 | 22 | 15k|2867 | 0.000000e+00 | -- | Inf
324.90/325.08 c 314s|600000 |112264 | 1922k| 61M| 54 | 7 | 60 | 19 | 7 | 60 | 21 | 22 | 15k|2882 | 0.000000e+00 | -- | Inf
330.19/330.36 c 319s|610000 |114256 | 1954k| 62M| 54 | 7 | 60 | 19 | 8 | 60 | 21 | 22 | 15k|2888 | 0.000000e+00 | -- | Inf
335.50/335.64 c 324s|620000 |116538 | 1984k| 63M| 54 | - | 60 | 24 | 8 | 60 | 21 | 22 | 15k|2894 | 0.000000e+00 | -- | Inf
340.89/341.03 c 329s|630000 |118117 | 2016k| 64M| 54 | - | 60 | 27 | 7 | 60 | 21 | 22 | 15k|2897 | 0.000000e+00 | -- | Inf
346.19/346.32 c 334s|640000 |119802 | 2046k| 65M| 54 | - | 60 | 22 | 7 | 60 | 21 | 22 | 16k|2907 | 0.000000e+00 | -- | Inf
351.49/351.62 c 340s|650000 |121648 | 2078k| 66M| 54 | 7 | 60 | 22 | 7 | 60 | 21 | 22 | 16k|2911 | 0.000000e+00 | -- | Inf
356.78/356.96 c 345s|660000 |123274 | 2108k| 67M| 54 | 7 | 60 | 25 | 7 | 60 | 21 | 22 | 16k|2914 | 0.000000e+00 | -- | Inf
362.09/362.22 c 350s|670000 |124902 | 2138k| 68M| 54 | - | 60 | 19 | 7 | 60 | 21 | 22 | 16k|2920 | 0.000000e+00 | -- | Inf
367.39/367.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.39/367.53 c 355s|680000 |126735 | 2170k| 69M| 54 | - | 60 | 21 | 7 | 0 | 0 | 22 | 17k|2925 | 0.000000e+00 | -- | Inf
372.69/372.83 c 360s|690000 |128493 | 2201k| 70M| 54 | 7 | 60 | 19 | 7 | 60 | 21 | 22 | 17k|2934 | 0.000000e+00 | -- | Inf
377.98/378.17 c 365s|700000 |130227 | 2232k| 71M| 54 | - | 60 | 17 | 7 | 60 | 21 | 22 | 17k|2940 | 0.000000e+00 | -- | Inf
383.38/383.52 c 370s|710000 |131682 | 2263k| 72M| 54 | - | 60 | 19 | 8 | 60 | 21 | 22 | 17k|2943 | 0.000000e+00 | -- | Inf
388.68/388.87 c 376s|720000 |133337 | 2295k| 72M| 54 | 7 | 60 | 16 | 7 | 60 | 21 | 22 | 17k|2947 | 0.000000e+00 | -- | Inf
394.07/394.21 c 381s|730000 |134854 | 2326k| 73M| 54 | - | 60 | 13 | 7 | 60 | 21 | 22 | 17k|2963 | 0.000000e+00 | -- | Inf
399.37/399.59 c 386s|740000 |136295 | 2356k| 74M| 54 | 7 | 60 | 20 | 8 | 60 | 21 | 22 | 18k|2976 | 0.000000e+00 | -- | Inf
404.68/404.85 c 391s|750000 |138140 | 2387k| 75M| 54 | - | 60 | 14 | 7 | 60 | 21 | 22 | 18k|2986 | 0.000000e+00 | -- | Inf
409.97/410.12 c 396s|760000 |139765 | 2418k| 76M| 54 | 7 | 60 | 13 | 8 | 60 | 21 | 22 | 18k|2994 | 0.000000e+00 | -- | Inf
415.27/415.40 c 401s|770000 |141429 | 2447k| 77M| 54 | 7 | 60 | 17 | 7 | 60 | 21 | 22 | 18k|3003 | 0.000000e+00 | -- | Inf
420.67/420.80 c 406s|780000 |142976 | 2478k| 78M| 54 | - | 60 | 21 | 7 | 60 | 21 | 22 | 19k|3010 | 0.000000e+00 | -- | Inf
425.77/425.99 c 411s|790000 |145117 | 2507k| 79M| 54 | - | 60 | 22 | 7 | 60 | 21 | 22 | 19k|3020 | 0.000000e+00 | -- | Inf
431.07/431.27 c 416s|800000 |146882 | 2537k| 80M| 54 | 7 | 60 | 20 | 9 | 60 | 21 | 22 | 19k|3028 | 0.000000e+00 | -- | Inf
436.47/436.62 c 422s|810000 |148445 | 2567k| 81M| 54 | - | 60 | 22 | 6 | 0 | 0 | 22 | 19k|3037 | 0.000000e+00 | -- | Inf
441.76/441.91 c 427s|820000 |151118 | 2598k| 82M| 54 | - | 60 | 21 | 7 | 60 | 21 | 22 | 19k|3040 | 0.000000e+00 | -- | Inf
446.96/447.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.96/447.12 c 432s|830000 |153513 | 2628k| 83M| 54 | - | 60 | 30 | 7 | 60 | 21 | 22 | 19k|3050 | 0.000000e+00 | -- | Inf
452.26/452.42 c 437s|840000 |155310 | 2659k| 84M| 54 | - | 60 | 23 | 7 | 60 | 21 | 22 | 20k|3053 | 0.000000e+00 | -- | Inf
457.55/457.77 c 442s|850000 |157153 | 2690k| 85M| 54 | - | 60 | 30 | 7 | 60 | 21 | 22 | 20k|3067 | 0.000000e+00 | -- | Inf
462.86/463.10 c 447s|860000 |158588 | 2720k| 86M| 54 | 7 | 60 | 25 | 8 | 60 | 21 | 22 | 20k|3076 | 0.000000e+00 | -- | Inf
468.26/468.47 c 452s|870000 |160125 | 2750k| 87M| 54 | 7 | 60 | 21 | 8 | 60 | 21 | 22 | 20k|3120 | 0.000000e+00 | -- | Inf
473.65/473.80 c 458s|880000 |161673 | 2781k| 88M| 54 | 7 | 60 | 22 | 7 | 60 | 21 | 22 | 20k|3128 | 0.000000e+00 | -- | Inf
478.95/479.13 c 463s|890000 |163441 | 2811k| 89M| 54 | 7 | 60 | 21 | 11 | 60 | 21 | 22 | 21k|3137 | 0.000000e+00 | -- | Inf
484.25/484.47 c 468s|900000 |164872 | 2841k| 90M| 54 | 7 | 60 | 20 | 8 | 60 | 21 | 22 | 21k|3147 | 0.000000e+00 | -- | Inf
489.65/489.86 c 473s|910000 |166253 | 2872k| 91M| 54 | - | 60 | 21 | 7 | 60 | 21 | 22 | 21k|3159 | 0.000000e+00 | -- | Inf
495.05/495.23 c 478s|920000 |167718 | 2902k| 92M| 54 | - | 60 | 26 | 7 | 60 | 21 | 22 | 21k|3167 | 0.000000e+00 | -- | Inf
500.45/500.62 c 483s|930000 |169299 | 2934k| 93M| 54 | - | 60 | 27 | 7 | 60 | 21 | 22 | 22k|3173 | 0.000000e+00 | -- | Inf
505.64/505.90 c 489s|940000 |171085 | 2964k| 94M| 54 | 7 | 60 | 22 | 7 | 60 | 21 | 22 | 22k|3182 | 0.000000e+00 | -- | Inf
510.94/511.13 c 494s|950000 |173237 | 2995k| 95M| 54 | - | 60 | 28 | 7 | 0 | 0 | 22 | 22k|3188 | 0.000000e+00 | -- | Inf
516.35/516.56 c 499s|960000 |174865 | 3026k| 96M| 54 | - | 60 | 19 | 7 | 60 | 21 | 22 | 22k|3202 | 0.000000e+00 | -- | Inf
521.74/521.97 c 504s|970000 |176422 | 3057k| 96M| 54 | - | 60 | 14 | 7 | 60 | 21 | 22 | 22k|3215 | 0.000000e+00 | -- | Inf
527.13/527.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
527.13/527.32 c 509s|980000 |178026 | 3088k| 97M| 54 | - | 60 | 23 | 7 | 60 | 21 | 22 | 22k|3228 | 0.000000e+00 | -- | Inf
532.43/532.64 c 514s|990000 |179458 | 3118k| 98M| 54 | - | 60 | 22 | 7 | 60 | 21 | 22 | 23k|3241 | 0.000000e+00 | -- | Inf
537.84/538.00 c 520s| 1000k|181553 | 3150k| 99M| 54 | - | 60 | 23 | 7 | 60 | 21 | 22 | 23k|3246 | 0.000000e+00 | -- | Inf
543.03/543.27 c 525s| 1010k|184049 | 3181k| 101M| 54 | - | 60 | 25 | 7 | 60 | 21 | 22 | 23k|3253 | 0.000000e+00 | -- | Inf
548.33/548.51 c 530s| 1020k|186378 | 3211k| 102M| 54 | 7 | 60 | 23 | 7 | 60 | 21 | 22 | 23k|3256 | 0.000000e+00 | -- | Inf
553.53/553.79 c 535s| 1030k|188433 | 3242k| 103M| 54 | 7 | 60 | 28 | 7 | 60 | 21 | 22 | 23k|3261 | 0.000000e+00 | -- | Inf
558.82/559.02 c 540s| 1040k|190470 | 3271k| 104M| 54 | 7 | 60 | 28 | 7 | 60 | 21 | 22 | 23k|3262 | 0.000000e+00 | -- | Inf
564.04/564.24 c 545s| 1050k|192664 | 3301k| 105M| 54 | - | 60 | 26 | 8 | 0 | 0 | 22 | 23k|3264 | 0.000000e+00 | -- | Inf
569.23/569.45 c 550s| 1060k|194674 | 3331k| 106M| 54 | - | 60 | 27 | 7 | 60 | 21 | 22 | 23k|3273 | 0.000000e+00 | -- | Inf
574.52/574.79 c 555s| 1070k|196600 | 3361k| 107M| 54 | - | 60 | 29 | 8 | 60 | 21 | 22 | 23k|3276 | 0.000000e+00 | -- | Inf
579.92/580.12 c 560s| 1080k|198713 | 3392k| 108M| 54 | - | 60 | 30 | 7 | 60 | 21 | 22 | 24k|3281 | 0.000000e+00 | -- | Inf
585.12/585.35 c 565s| 1090k|200735 | 3422k| 109M| 54 | - | 60 | 28 | 7 | 60 | 21 | 22 | 24k|3284 | 0.000000e+00 | -- | Inf
590.43/590.64 c 570s| 1100k|202555 | 3452k| 110M| 54 | 7 | 60 | 24 | 8 | 60 | 21 | 22 | 24k|3292 | 0.000000e+00 | -- | Inf
595.82/596.00 c 576s| 1110k|204205 | 3482k| 111M| 54 | - | 60 | 27 | 7 | 60 | 21 | 22 | 24k|3297 | 0.000000e+00 | -- | Inf
601.21/601.44 c 581s| 1120k|205723 | 3513k| 112M| 54 | - | 60 | 19 | 8 | 60 | 21 | 22 | 24k|3307 | 0.000000e+00 | -- | Inf
606.62/606.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
606.62/606.84 c 586s| 1130k|207230 | 3544k| 113M| 54 | - | 60 | 19 | 7 | 60 | 21 | 22 | 24k|3322 | 0.000000e+00 | -- | Inf
611.91/612.19 c 591s| 1140k|208833 | 3575k| 113M| 54 | 7 | 60 | 22 | 7 | 60 | 21 | 22 | 24k|3330 | 0.000000e+00 | -- | Inf
617.41/617.65 c 596s| 1150k|210450 | 3606k| 114M| 54 | 7 | 60 | 24 | 7 | 60 | 21 | 22 | 25k|3370 | 0.000000e+00 | -- | Inf
622.81/623.05 c 602s| 1160k|212313 | 3638k| 115M| 54 | 7 | 60 | 30 | 8 | 60 | 21 | 22 | 25k|3371 | 0.000000e+00 | -- | Inf
628.10/628.32 c 607s| 1170k|214228 | 3668k| 116M| 54 | - | 60 | 26 | 7 | 60 | 21 | 22 | 25k|3381 | 0.000000e+00 | -- | Inf
633.50/633.70 c 612s| 1180k|215744 | 3698k| 117M| 54 | - | 60 | 24 | 7 | 60 | 21 | 22 | 25k|3390 | 0.000000e+00 | -- | Inf
638.81/639.06 c 617s| 1190k|217711 | 3728k| 118M| 54 | - | 60 | 30 | 7 | 60 | 21 | 22 | 25k|3395 | 0.000000e+00 | -- | Inf
644.21/644.42 c 622s| 1200k|219239 | 3758k| 119M| 54 | - | 60 | 29 | 7 | 60 | 21 | 22 | 26k|3410 | 0.000000e+00 | -- | Inf
649.60/649.83 c 628s| 1210k|220706 | 3789k| 120M| 54 | - | 60 | 14 | 7 | 60 | 21 | 22 | 26k|3446 | 0.000000e+00 | -- | Inf
655.00/655.25 c 633s| 1220k|222446 | 3821k| 121M| 54 | - | 60 | 17 | 7 | 60 | 21 | 22 | 26k|3449 | 0.000000e+00 | -- | Inf
660.40/660.67 c 638s| 1230k|224038 | 3851k| 122M| 54 | - | 60 | 16 | 7 | 60 | 21 | 22 | 26k|3459 | 0.000000e+00 | -- | Inf
665.70/666.00 c 643s| 1240k|225572 | 3881k| 123M| 54 | - | 60 | 16 | 7 | 60 | 21 | 22 | 26k|3466 | 0.000000e+00 | -- | Inf
671.09/671.38 c 648s| 1250k|227243 | 3912k| 124M| 54 | - | 60 | 15 | 8 | 60 | 21 | 22 | 27k|3474 | 0.000000e+00 | -- | Inf
676.60/676.82 c 654s| 1260k|229045 | 3945k| 125M| 54 | - | 60 | 17 | 7 | 60 | 21 | 22 | 27k|3484 | 0.000000e+00 | -- | Inf
682.09/682.30 c 659s| 1270k|230538 | 3977k| 126M| 54 | 7 | 60 | 16 | 7 | 60 | 21 | 22 | 27k|3488 | 0.000000e+00 | -- | Inf
687.39/687.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
687.39/687.60 c 664s| 1280k|232197 | 4006k| 126M| 54 | - | 60 | 22 | 7 | 60 | 21 | 22 | 27k|3495 | 0.000000e+00 | -- | Inf
692.69/692.91 c 669s| 1290k|234020 | 4036k| 127M| 54 | 7 | 60 | 16 | 7 | 60 | 21 | 22 | 27k|3504 | 0.000000e+00 | -- | Inf
697.98/698.22 c 674s| 1300k|235516 | 4065k| 128M| 54 | 7 | 60 | 16 | 7 | 60 | 21 | 22 | 28k|3507 | 0.000000e+00 | -- | Inf
703.39/703.66 c 680s| 1310k|237192 | 4095k| 129M| 54 | 7 | 60 | 17 | 7 | 60 | 21 | 22 | 28k|3521 | 0.000000e+00 | -- | Inf
708.68/708.92 c 685s| 1320k|238885 | 4125k| 130M| 54 | 7 | 60 | 13 | 7 | 60 | 21 | 22 | 28k|3530 | 0.000000e+00 | -- | Inf
714.09/714.32 c 690s| 1330k|240444 | 4155k| 131M| 54 | 7 | 60 | 17 | 7 | 60 | 21 | 22 | 28k|3549 | 0.000000e+00 | -- | Inf
719.48/719.71 c 695s| 1340k|241994 | 4185k| 132M| 54 | - | 60 | 20 | 7 | 0 | 0 | 22 | 29k|3567 | 0.000000e+00 | -- | Inf
724.68/724.93 c 700s| 1350k|244140 | 4215k| 133M| 54 | 7 | 60 | 25 | 7 | 60 | 21 | 22 | 29k|3574 | 0.000000e+00 | -- | Inf
730.08/730.32 c 705s| 1360k|245710 | 4246k| 134M| 54 | - | 60 | 16 | 8 | 60 | 21 | 22 | 29k|3586 | 0.000000e+00 | -- | Inf
735.47/735.74 c 711s| 1370k|247142 | 4277k| 135M| 54 | 7 | 60 | 18 | 7 | 60 | 21 | 22 | 29k|3595 | 0.000000e+00 | -- | Inf
740.87/741.13 c 716s| 1380k|248838 | 4308k| 136M| 54 | 7 | 60 | 17 | 7 | 60 | 21 | 22 | 29k|3598 | 0.000000e+00 | -- | Inf
746.18/746.44 c 721s| 1390k|250623 | 4339k| 137M| 54 | - | 60 | 20 | 7 | 60 | 21 | 22 | 29k|3605 | 0.000000e+00 | -- | Inf
751.47/751.73 c 726s| 1400k|252298 | 4369k| 138M| 54 | - | 60 | 19 | 7 | 60 | 21 | 22 | 29k|3613 | 0.000000e+00 | -- | Inf
756.87/757.13 c 731s| 1410k|253724 | 4399k| 138M| 54 | 7 | 60 | 16 | 7 | 60 | 21 | 22 | 30k|3623 | 0.000000e+00 | -- | Inf
762.27/762.51 c 736s| 1420k|255256 | 4430k| 139M| 54 | - | 60 | 17 | 7 | 60 | 21 | 22 | 30k|3627 | 0.000000e+00 | -- | Inf
767.57/767.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.57/767.83 c 742s| 1430k|256942 | 4461k| 140M| 54 | - | 60 | 22 | 7 | 60 | 21 | 22 | 30k|3634 | 0.000000e+00 | -- | Inf
772.87/773.13 c 747s| 1440k|258603 | 4491k| 141M| 54 | 7 | 60 | 22 | 7 | 60 | 21 | 22 | 30k|3637 | 0.000000e+00 | -- | Inf
778.26/778.52 c 752s| 1450k|260090 | 4522k| 142M| 54 | 7 | 60 | 26 | 7 | 60 | 21 | 22 | 30k|3637 | 0.000000e+00 | -- | Inf
783.46/783.78 c 757s| 1460k|261657 | 4551k| 143M| 54 | - | 60 | 20 | 7 | 60 | 21 | 22 | 31k|3641 | 0.000000e+00 | -- | Inf
788.86/789.11 c 762s| 1470k|263117 | 4581k| 144M| 54 | 7 | 60 | 16 | 7 | 60 | 21 | 22 | 31k|3645 | 0.000000e+00 | -- | Inf
794.16/794.40 c 767s| 1480k|265160 | 4611k| 145M| 54 | - | 60 | 20 | 7 | 60 | 21 | 22 | 31k|3648 | 0.000000e+00 | -- | Inf
799.36/799.60 c 772s| 1490k|267786 | 4641k| 146M| 54 | - | 60 | 22 | 7 | 60 | 21 | 22 | 31k|3653 | 0.000000e+00 | -- | Inf
804.55/804.83 c 777s| 1500k|269928 | 4671k| 147M| 54 | - | 60 | 21 | 7 | 0 | 0 | 22 | 31k|3658 | 0.000000e+00 | -- | Inf
809.75/810.08 c 782s| 1510k|271859 | 4701k| 148M| 54 | - | 60 | 25 | 7 | 60 | 21 | 22 | 31k|3664 | 0.000000e+00 | -- | Inf
815.15/815.41 c 788s| 1520k|273727 | 4731k| 149M| 54 | - | 60 | 15 | 7 | 60 | 21 | 22 | 31k|3673 | 0.000000e+00 | -- | Inf
820.45/820.72 c 793s| 1530k|275547 | 4760k| 150M| 54 | 7 | 60 | 17 | 7 | 60 | 21 | 22 | 32k|3682 | 0.000000e+00 | -- | Inf
825.75/826.01 c 798s| 1540k|277201 | 4791k| 151M| 54 | 7 | 60 | 17 | 8 | 60 | 21 | 22 | 32k|3692 | 0.000000e+00 | -- | Inf
831.14/831.45 c 803s| 1550k|278819 | 4824k| 152M| 54 | - | 60 | 26 | 8 | 60 | 21 | 22 | 32k|3701 | 0.000000e+00 | -- | Inf
836.65/836.98 c 808s| 1560k|280519 | 4858k| 153M| 54 | - | 60 | 22 | 8 | 60 | 21 | 22 | 32k|3716 | 0.000000e+00 | -- | Inf
842.14/842.49 c 814s| 1570k|282261 | 4891k| 154M| 54 | 7 | 60 | 31 | 7 | 60 | 21 | 22 | 32k|3724 | 0.000000e+00 | -- | Inf
847.64/847.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.64/847.95 c 819s| 1580k|283703 | 4924k| 155M| 54 | 7 | 60 | 31 | 7 | 60 | 21 | 22 | 32k|3729 | 0.000000e+00 | -- | Inf
853.14/853.47 c 824s| 1590k|285280 | 4959k| 155M| 54 | - | 60 | 32 | 7 | 60 | 21 | 22 | 33k|3744 | 0.000000e+00 | -- | Inf
858.64/858.90 c 830s| 1600k|287594 | 4993k| 157M| 54 | - | 60 | 37 | 8 | 60 | 21 | 22 | 33k|3752 | 0.000000e+00 | -- | Inf
864.04/864.30 c 835s| 1610k|289883 | 5027k| 158M| 54 | 7 | 60 | 42 | 7 | 60 | 21 | 22 | 33k|3759 | 0.000000e+00 | -- | Inf
869.44/869.77 c 840s| 1620k|291710 | 5062k| 159M| 54 | - | 60 | 42 | 7 | 60 | 21 | 22 | 33k|3773 | 0.000000e+00 | -- | Inf
874.83/875.14 c 845s| 1630k|293633 | 5095k| 160M| 54 | 7 | 60 | 42 | 7 | 60 | 21 | 22 | 33k|3788 | 0.000000e+00 | -- | Inf
880.13/880.44 c 850s| 1640k|296497 | 5127k| 161M| 54 | 7 | 60 | 42 | 12 | 60 | 21 | 22 | 34k|3799 | 0.000000e+00 | -- | Inf
885.33/885.67 c 855s| 1650k|299022 | 5158k| 162M| 54 | 7 | 60 | 77 | 8 | 60 | 21 | 22 | 34k|3812 | 0.000000e+00 | -- | Inf
890.53/890.85 c 860s| 1660k|301536 | 5188k| 163M| 54 | 7 | 60 | 72 | 7 | 60 | 21 | 22 | 34k|3822 | 0.000000e+00 | -- | Inf
895.82/896.17 c 866s| 1670k|303784 | 5217k| 165M| 54 | - | 60 | 80 | 7 | 60 | 21 | 22 | 34k|3831 | 0.000000e+00 | -- | Inf
901.23/901.53 c 871s| 1680k|305876 | 5248k| 166M| 54 | 7 | 60 | 60 | 7 | 60 | 21 | 22 | 34k|3841 | 0.000000e+00 | -- | Inf
906.53/906.82 c 876s| 1690k|307898 | 5278k| 167M| 54 | 7 | 60 | 77 | 8 | 60 | 21 | 22 | 34k|3850 | 0.000000e+00 | -- | Inf
911.82/912.16 c 881s| 1700k|309833 | 5309k| 168M| 54 | 7 | 60 | 82 | 8 | 60 | 21 | 22 | 35k|3858 | 0.000000e+00 | -- | Inf
917.22/917.59 c 886s| 1710k|311691 | 5340k| 169M| 54 | 7 | 60 | 62 | 7 | 60 | 21 | 22 | 35k|3867 | 0.000000e+00 | -- | Inf
922.62/922.91 c 891s| 1720k|313450 | 5369k| 169M| 54 | - | 60 | 57 | 7 | 60 | 21 | 22 | 35k|3879 | 0.000000e+00 | -- | Inf
928.02/928.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.02/928.32 c 897s| 1730k|315039 | 5399k| 170M| 54 | - | 60 | 50 | 7 | 0 | 0 | 22 | 35k|3896 | 0.000000e+00 | -- | Inf
933.42/933.78 c 902s| 1740k|316772 | 5431k| 171M| 54 | 7 | 60 | 44 | 7 | 60 | 21 | 22 | 35k|3904 | 0.000000e+00 | -- | Inf
938.81/939.16 c 907s| 1750k|318654 | 5461k| 172M| 54 | 7 | 60 | 46 | 15 | 60 | 21 | 22 | 35k|3912 | 0.000000e+00 | -- | Inf
944.22/944.57 c 912s| 1760k|320185 | 5492k| 173M| 54 | - | 60 | 52 | 7 | 60 | 21 | 22 | 36k|3921 | 0.000000e+00 | -- | Inf
949.61/949.99 c 917s| 1770k|321671 | 5522k| 174M| 54 | 7 | 60 | 33 | 7 | 60 | 21 | 22 | 36k|3933 | 0.000000e+00 | -- | Inf
955.01/955.34 c 923s| 1780k|323493 | 5553k| 175M| 54 | - | 60 | 25 | 7 | 0 | 0 | 22 | 36k|3947 | 0.000000e+00 | -- | Inf
960.40/960.74 c 928s| 1790k|325109 | 5583k| 176M| 54 | 7 | 60 | 18 | 7 | 60 | 21 | 22 | 36k|3955 | 0.000000e+00 | -- | Inf
965.70/966.08 c 933s| 1800k|326693 | 5613k| 177M| 54 | - | 60 | 21 | 7 | 60 | 21 | 22 | 36k|3963 | 0.000000e+00 | -- | Inf
971.10/971.41 c 938s| 1810k|328180 | 5643k| 178M| 54 | - | 60 | 20 | 7 | 60 | 21 | 22 | 36k|3972 | 0.000000e+00 | -- | Inf
976.51/976.84 c 943s| 1820k|329850 | 5675k| 179M| 54 | - | 60 | 29 | 7 | 60 | 21 | 22 | 37k|3982 | 0.000000e+00 | -- | Inf
981.91/982.20 c 949s| 1830k|331718 | 5706k| 179M| 54 | 7 | 60 | 27 | 7 | 60 | 21 | 22 | 37k|3989 | 0.000000e+00 | -- | Inf
987.20/987.58 c 954s| 1840k|333572 | 5738k| 180M| 54 | 7 | 60 | 21 | 8 | 60 | 21 | 22 | 37k|3997 | 0.000000e+00 | -- | Inf
992.60/992.94 c 959s| 1850k|335214 | 5768k| 181M| 54 | 7 | 60 | 20 | 7 | 60 | 21 | 22 | 37k|4004 | 0.000000e+00 | -- | Inf
997.90/998.26 c 964s| 1860k|337277 | 5799k| 182M| 54 | - | 60 | 26 | 7 | 60 | 21 | 22 | 37k|4012 | 0.000000e+00 | -- | Inf
1003.29/1003.67 c 969s| 1870k|339366 | 5831k| 183M| 54 | 7 | 60 | 29 | 7 | 60 | 21 | 22 | 37k|4022 | 0.000000e+00 | -- | Inf
1008.69/1009.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1008.69/1009.04 c 975s| 1880k|340978 | 5862k| 184M| 54 | 7 | 60 | 27 | 12 | 60 | 21 | 22 | 37k|4034 | 0.000000e+00 | -- | Inf
1014.09/1014.48 c 980s| 1890k|342583 | 5893k| 185M| 54 | - | 60 | 26 | 7 | 60 | 21 | 22 | 38k|4044 | 0.000000e+00 | -- | Inf
1019.59/1019.92 c 985s| 1900k|344070 | 5923k| 186M| 54 | - | 60 | 25 | 7 | 60 | 21 | 22 | 38k|4047 | 0.000000e+00 | -- | Inf
1024.89/1025.22 c 990s| 1910k|346025 | 5954k| 187M| 54 | 7 | 60 | 26 | 8 | 60 | 21 | 22 | 38k|4051 | 0.000000e+00 | -- | Inf
1030.19/1030.51 c 995s| 1920k|348467 | 5984k| 188M| 54 | - | 60 | 26 | 7 | 60 | 21 | 22 | 38k|4059 | 0.000000e+00 | -- | Inf
1035.48/1035.82 c 1000s| 1930k|350739 | 6014k| 189M| 54 | 7 | 60 | 29 | 7 | 60 | 21 | 22 | 38k|4059 | 0.000000e+00 | -- | Inf
1040.79/1041.20 c 1006s| 1940k|352647 | 6045k| 190M| 54 | 7 | 60 | 37 | 7 | 60 | 21 | 22 | 38k|4064 | 0.000000e+00 | -- | Inf
1046.18/1046.53 c 1011s| 1950k|354592 | 6075k| 191M| 54 | - | 60 | 50 | 7 | 60 | 21 | 22 | 38k|4071 | 0.000000e+00 | -- | Inf
1051.58/1051.98 c 1016s| 1960k|356147 | 6106k| 192M| 54 | - | 60 | 33 | 7 | 60 | 21 | 22 | 39k|4080 | 0.000000e+00 | -- | Inf
1057.08/1057.43 c 1021s| 1970k|357572 | 6136k| 193M| 54 | 7 | 60 | 22 | 7 | 60 | 21 | 22 | 39k|4085 | 0.000000e+00 | -- | Inf
1062.48/1062.82 c 1026s| 1980k|359344 | 6166k| 194M| 54 | 7 | 60 | 32 | 7 | 60 | 21 | 22 | 39k|4088 | 0.000000e+00 | -- | Inf
1067.88/1068.26 c 1032s| 1990k|360856 | 6197k| 195M| 54 | - | 60 | 33 | 7 | 60 | 21 | 22 | 39k|4095 | 0.000000e+00 | -- | Inf
1073.28/1073.67 c 1037s| 2000k|362376 | 6227k| 196M| 54 | 7 | 60 | 41 | 7 | 60 | 21 | 22 | 39k|4104 | 0.000000e+00 | -- | Inf
1078.68/1079.01 c 1042s| 2010k|364127 | 6256k| 197M| 54 | - | 60 | 32 | 7 | 60 | 21 | 22 | 40k|4108 | 0.000000e+00 | -- | Inf
1083.97/1084.33 c 1047s| 2020k|366004 | 6287k| 198M| 54 | - | 60 | 23 | 7 | 60 | 21 | 22 | 40k|4111 | 0.000000e+00 | -- | Inf
1089.27/1089.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.27/1089.66 c 1052s| 2030k|367905 | 6318k| 199M| 54 | 7 | 60 | 36 | 7 | 60 | 21 | 22 | 40k|4120 | 0.000000e+00 | -- | Inf
1094.77/1095.15 c 1058s| 2040k|369682 | 6349k| 200M| 54 | - | 60 | 39 | 7 | 60 | 21 | 22 | 40k|4122 | 0.000000e+00 | -- | Inf
1100.27/1100.64 c 1063s| 2050k|371462 | 6380k| 201M| 54 | 7 | 60 | 52 | 7 | 60 | 21 | 22 | 40k|4126 | 0.000000e+00 | -- | Inf
1105.76/1106.10 c 1068s| 2060k|372936 | 6411k| 202M| 54 | - | 60 | 34 | 7 | 60 | 21 | 22 | 40k|4140 | 0.000000e+00 | -- | Inf
1111.17/1111.57 c 1073s| 2070k|374274 | 6442k| 202M| 54 | - | 60 | 48 | 7 | 60 | 21 | 22 | 41k|4149 | 0.000000e+00 | -- | Inf
1116.66/1117.08 c 1079s| 2080k|375672 | 6473k| 203M| 54 | 7 | 60 | 33 | 7 | 60 | 21 | 22 | 41k|4156 | 0.000000e+00 | -- | Inf
1122.16/1122.51 c 1084s| 2090k|377253 | 6504k| 204M| 54 | 7 | 60 | 37 | 7 | 60 | 21 | 22 | 41k|4163 | 0.000000e+00 | -- | Inf
1127.46/1127.87 c 1089s| 2100k|378874 | 6535k| 205M| 54 | - | 60 | 34 | 7 | 60 | 21 | 22 | 41k|4165 | 0.000000e+00 | -- | Inf
1132.76/1133.19 c 1094s| 2110k|380533 | 6564k| 206M| 54 | 7 | 60 | 25 | 7 | 60 | 21 | 22 | 41k|4176 | 0.000000e+00 | -- | Inf
1138.26/1138.61 c 1100s| 2120k|382203 | 6594k| 207M| 54 | - | 60 | 27 | 7 | 60 | 21 | 22 | 41k|4192 | 0.000000e+00 | -- | Inf
1143.56/1143.96 c 1105s| 2130k|383636 | 6624k| 208M| 54 | 7 | 60 | 17 | 7 | 60 | 21 | 22 | 42k|4199 | 0.000000e+00 | -- | Inf
1148.85/1149.29 c 1110s| 2140k|385331 | 6655k| 209M| 54 | - | 60 | 22 | 7 | 60 | 21 | 22 | 42k|4203 | 0.000000e+00 | -- | Inf
1154.25/1154.67 c 1115s| 2150k|386930 | 6685k| 209M| 54 | 7 | 60 | 28 | 9 | 60 | 21 | 22 | 42k|4209 | 0.000000e+00 | -- | Inf
1159.75/1160.13 c 1120s| 2160k|388270 | 6716k| 210M| 54 | 7 | 60 | 24 | 7 | 60 | 21 | 22 | 42k|4216 | 0.000000e+00 | -- | Inf
1165.15/1165.51 c 1126s| 2170k|389766 | 6747k| 211M| 54 | 7 | 60 | 23 | 7 | 60 | 21 | 22 | 42k|4232 | 0.000000e+00 | -- | Inf
1170.45/1170.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.45/1170.85 c 1131s| 2180k|391278 | 6777k| 212M| 54 | 7 | 60 | 21 | 7 | 60 | 21 | 22 | 43k|4244 | 0.000000e+00 | -- | Inf
1175.74/1176.13 c 1136s| 2190k|393810 | 6807k| 213M| 54 | 7 | 60 | 27 | 7 | 60 | 21 | 22 | 43k|4248 | 0.000000e+00 | -- | Inf
1180.94/1181.38 c 1141s| 2200k|396414 | 6836k| 214M| 54 | - | 60 | 27 | 7 | 60 | 21 | 22 | 43k|4257 | 0.000000e+00 | -- | Inf
1186.14/1186.55 c 1146s| 2210k|399255 | 6867k| 216M| 54 | - | 60 | 30 | 7 | 60 | 21 | 22 | 43k|4261 | 0.000000e+00 | -- | Inf
1191.34/1191.74 c 1151s| 2220k|401948 | 6897k| 217M| 54 | 7 | 60 | 32 | 7 | 60 | 21 | 22 | 43k|4266 | 0.000000e+00 | -- | Inf
1196.64/1197.08 c 1156s| 2230k|404109 | 6927k| 218M| 54 | 7 | 60 | 31 | 8 | 60 | 21 | 22 | 43k|4273 | 0.000000e+00 | -- | Inf
1201.94/1202.39 c 1161s| 2240k|406449 | 6958k| 219M| 54 | 7 | 60 | 39 | 7 | 60 | 21 | 22 | 43k|4280 | 0.000000e+00 | -- | Inf
1207.24/1207.62 c 1166s| 2250k|408937 | 6988k| 220M| 54 | - | 60 | 36 | 7 | 60 | 21 | 22 | 43k|4283 | 0.000000e+00 | -- | Inf
1212.43/1212.89 c 1171s| 2260k|411013 | 7018k| 221M| 54 | 7 | 60 | 32 | 7 | 60 | 21 | 22 | 43k|4291 | 0.000000e+00 | -- | Inf
1217.73/1218.16 c 1176s| 2270k|413570 | 7048k| 223M| 54 | - | 60 | 28 | 7 | 60 | 21 | 22 | 43k|4299 | 0.000000e+00 | -- | Inf
1223.13/1223.52 c 1182s| 2280k|415845 | 7079k| 224M| 54 | - | 60 | 36 | 7 | 60 | 21 | 22 | 43k|4315 | 0.000000e+00 | -- | Inf
1228.43/1228.85 c 1187s| 2290k|417831 | 7110k| 225M| 54 | 7 | 60 | 32 | 7 | 60 | 21 | 22 | 44k|4323 | 0.000000e+00 | -- | Inf
1233.83/1234.22 c 1192s| 2300k|419829 | 7140k| 226M| 54 | 7 | 60 | 30 | 8 | 60 | 21 | 22 | 44k|4330 | 0.000000e+00 | -- | Inf
1239.23/1239.61 c 1197s| 2310k|421724 | 7171k| 227M| 54 | 7 | 60 | 29 | 7 | 60 | 21 | 22 | 44k|4338 | 0.000000e+00 | -- | Inf
1244.52/1244.98 c 1202s| 2320k|423659 | 7202k| 228M| 54 | - | 60 | 30 | 7 | 60 | 21 | 22 | 44k|4349 | 0.000000e+00 | -- | Inf
1249.83/1250.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1249.83/1250.24 c 1207s| 2330k|425612 | 7232k| 229M| 54 | - | 60 | 33 | 7 | 60 | 21 | 22 | 44k|4360 | 0.000000e+00 | -- | Inf
1255.12/1255.57 c 1212s| 2340k|427897 | 7263k| 230M| 54 | 7 | 60 | 36 | 7 | 60 | 21 | 22 | 44k|4370 | 0.000000e+00 | -- | Inf
1260.42/1260.83 c 1218s| 2350k|430241 | 7292k| 231M| 54 | - | 60 | 33 | 7 | 60 | 21 | 22 | 44k|4376 | 0.000000e+00 | -- | Inf
1265.73/1266.19 c 1223s| 2360k|432336 | 7322k| 232M| 54 | 7 | 60 | 32 | 7 | 60 | 21 | 22 | 44k|4386 | 0.000000e+00 | -- | Inf
1271.12/1271.57 c 1228s| 2370k|434222 | 7353k| 233M| 54 | - | 60 | 26 | 7 | 60 | 21 | 22 | 44k|4391 | 0.000000e+00 | -- | Inf
1276.52/1276.95 c 1233s| 2380k|436047 | 7383k| 234M| 54 | 7 | 60 | 28 | 7 | 60 | 21 | 22 | 44k|4399 | 0.000000e+00 | -- | Inf
1281.92/1282.31 c 1238s| 2390k|437923 | 7414k| 235M| 54 | 7 | 60 | 31 | 8 | 60 | 21 | 22 | 44k|4408 | 0.000000e+00 | -- | Inf
1287.21/1287.65 c 1243s| 2400k|439817 | 7445k| 236M| 54 | 7 | 60 | 30 | 8 | 60 | 21 | 22 | 44k|4412 | 0.000000e+00 | -- | Inf
1292.51/1292.92 c 1248s| 2410k|441756 | 7475k| 237M| 54 | 7 | 60 | 33 | 7 | 60 | 21 | 22 | 45k|4421 | 0.000000e+00 | -- | Inf
1297.81/1298.28 c 1254s| 2420k|443682 | 7505k| 238M| 54 | 7 | 60 | 30 | 7 | 60 | 21 | 22 | 45k|4434 | 0.000000e+00 | -- | Inf
1303.21/1303.67 c 1259s| 2430k|445633 | 7536k| 239M| 54 | - | 60 | 32 | 7 | 60 | 21 | 22 | 45k|4445 | 0.000000e+00 | -- | Inf
1308.51/1308.99 c 1264s| 2440k|447600 | 7566k| 240M| 54 | - | 60 | 33 | 7 | 60 | 21 | 22 | 45k|4450 | 0.000000e+00 | -- | Inf
1313.91/1314.38 c 1269s| 2450k|449322 | 7597k| 241M| 54 | 7 | 60 | 28 | 7 | 60 | 21 | 22 | 45k|4458 | 0.000000e+00 | -- | Inf
1319.30/1319.74 c 1274s| 2460k|451100 | 7627k| 242M| 54 | - | 60 | 27 | 7 | 60 | 21 | 22 | 45k|4466 | 0.000000e+00 | -- | Inf
1324.60/1325.08 c 1280s| 2470k|452984 | 7657k| 243M| 54 | 7 | 60 | 32 | 8 | 60 | 21 | 22 | 45k|4474 | 0.000000e+00 | -- | Inf
1330.00/1330.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1330.00/1330.42 c 1285s| 2480k|454726 | 7686k| 243M| 54 | 7 | 60 | 26 | 7 | 60 | 21 | 22 | 45k|4488 | 0.000000e+00 | -- | Inf
1335.40/1335.89 c 1290s| 2490k|456261 | 7718k| 244M| 54 | 7 | 60 | 34 | 8 | 60 | 21 | 22 | 45k|4498 | 0.000000e+00 | -- | Inf
1340.90/1341.35 c 1295s| 2500k|457804 | 7749k| 245M| 54 | 7 | 60 | 24 | 7 | 60 | 21 | 22 | 45k|4506 | 0.000000e+00 | -- | Inf
1346.30/1346.74 c 1300s| 2510k|459209 | 7779k| 246M| 54 | 7 | 60 | 21 | 7 | 60 | 21 | 22 | 46k|4537 | 0.000000e+00 | -- | Inf
1351.60/1352.04 c 1306s| 2520k|461297 | 7809k| 247M| 54 | 7 | 60 | 24 | 7 | 60 | 21 | 22 | 46k|4538 | 0.000000e+00 | -- | Inf
1357.09/1357.50 c 1311s| 2530k|462796 | 7840k| 248M| 54 | - | 60 | 17 | 7 | 60 | 21 | 22 | 46k|4560 | 0.000000e+00 | -- | Inf
1362.50/1362.95 c 1316s| 2540k|464388 | 7871k| 249M| 54 | 7 | 60 | 19 | 7 | 60 | 21 | 22 | 46k|4592 | 0.000000e+00 | -- | Inf
1367.89/1368.34 c 1321s| 2550k|465851 | 7901k| 250M| 54 | 7 | 60 | 23 | 7 | 60 | 21 | 22 | 46k|4592 | 0.000000e+00 | -- | Inf
1373.19/1373.66 c 1327s| 2560k|467612 | 7932k| 251M| 54 | - | 60 | 19 | 7 | 0 | 0 | 22 | 46k|4596 | 0.000000e+00 | -- | Inf
1378.69/1379.13 c 1332s| 2570k|469200 | 7963k| 252M| 54 | - | 60 | 27 | 7 | 60 | 21 | 22 | 47k|4608 | 0.000000e+00 | -- | Inf
1384.08/1384.53 c 1337s| 2580k|470842 | 7994k| 252M| 54 | 7 | 60 | 18 | 7 | 60 | 21 | 22 | 47k|4615 | 0.000000e+00 | -- | Inf
1389.48/1389.95 c 1342s| 2590k|472198 | 8024k| 253M| 54 | 7 | 60 | 12 | 7 | 60 | 21 | 22 | 47k|4625 | 0.000000e+00 | -- | Inf
1394.78/1395.26 c 1347s| 2600k|473827 | 8054k| 254M| 54 | 7 | 60 | 13 | 7 | 60 | 21 | 22 | 47k|4630 | 0.000000e+00 | -- | Inf
1400.18/1400.65 c 1353s| 2610k|475384 | 8083k| 255M| 54 | - | 60 | 14 | 7 | 60 | 21 | 22 | 47k|4636 | 0.000000e+00 | -- | Inf
1405.58/1406.00 c 1358s| 2620k|477062 | 8114k| 256M| 54 | - | 60 | 16 | 7 | 60 | 21 | 22 | 47k|4646 | 0.000000e+00 | -- | Inf
1410.88/1411.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.88/1411.31 c 1363s| 2630k|478564 | 8144k| 257M| 54 | - | 60 | 14 | 7 | 60 | 21 | 22 | 48k|4655 | 0.000000e+00 | -- | Inf
1416.08/1416.56 c 1368s| 2640k|480634 | 8173k| 258M| 54 | 7 | 60 | 14 | 7 | 60 | 21 | 22 | 48k|4661 | 0.000000e+00 | -- | Inf
1421.47/1421.94 c 1373s| 2650k|482657 | 8203k| 259M| 54 | 7 | 60 | 18 | 7 | 60 | 21 | 22 | 48k|4669 | 0.000000e+00 | -- | Inf
1426.67/1427.20 c 1378s| 2660k|484839 | 8233k| 260M| 54 | 7 | 60 | 18 | 7 | 60 | 21 | 22 | 48k|4675 | 0.000000e+00 | -- | Inf
1432.07/1432.51 c 1383s| 2670k|486602 | 8262k| 261M| 54 | 7 | 60 | 19 | 7 | 60 | 21 | 22 | 48k|4682 | 0.000000e+00 | -- | Inf
1437.28/1437.79 c 1388s| 2680k|488308 | 8291k| 262M| 54 | - | 60 | 19 | 7 | 60 | 21 | 22 | 48k|4688 | 0.000000e+00 | -- | Inf
1442.67/1443.14 c 1394s| 2690k|489822 | 8321k| 263M| 54 | 7 | 60 | 17 | 7 | 60 | 21 | 22 | 48k|4697 | 0.000000e+00 | -- | Inf
1448.07/1448.54 c 1399s| 2700k|491329 | 8352k| 264M| 54 | 7 | 60 | 17 | 8 | 60 | 21 | 22 | 49k|4707 | 0.000000e+00 | -- | Inf
1453.46/1453.94 c 1404s| 2710k|492801 | 8382k| 264M| 54 | - | 60 | 19 | 7 | 60 | 21 | 22 | 49k|4713 | 0.000000e+00 | -- | Inf
1458.87/1459.30 c 1409s| 2720k|494448 | 8412k| 265M| 54 | - | 60 | 16 | 7 | 60 | 21 | 22 | 49k|4719 | 0.000000e+00 | -- | Inf
1464.26/1464.70 c 1414s| 2730k|496102 | 8442k| 266M| 54 | 7 | 60 | 18 | 7 | 60 | 21 | 22 | 49k|4731 | 0.000000e+00 | -- | Inf
1469.46/1469.98 c 1420s| 2740k|497831 | 8471k| 267M| 54 | - | 60 | 21 | 7 | 60 | 21 | 22 | 49k|4737 | 0.000000e+00 | -- | Inf
1474.86/1475.38 c 1425s| 2750k|499733 | 8502k| 268M| 54 | - | 60 | 28 | 7 | 60 | 21 | 22 | 49k|4746 | 0.000000e+00 | -- | Inf
1480.36/1480.84 c 1430s| 2760k|501146 | 8532k| 269M| 54 | - | 60 | 27 | 7 | 60 | 21 | 22 | 50k|4751 | 0.000000e+00 | -- | Inf
1485.66/1486.13 c 1435s| 2770k|502905 | 8562k| 270M| 54 | 7 | 60 | 33 | 7 | 60 | 21 | 22 | 50k|4757 | 0.000000e+00 | -- | Inf
1491.05/1491.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.05/1491.57 c 1440s| 2780k|504538 | 8593k| 271M| 54 | 7 | 60 | 40 | 7 | 60 | 21 | 22 | 50k|4765 | 0.000000e+00 | -- | Inf
1496.55/1497.04 c 1446s| 2790k|506156 | 8623k| 272M| 54 | 7 | 60 | 40 | 7 | 60 | 21 | 22 | 50k|4769 | 0.000000e+00 | -- | Inf
1502.05/1502.52 c 1451s| 2800k|507576 | 8654k| 273M| 54 | 7 | 60 | 27 | 7 | 60 | 21 | 22 | 50k|4775 | 0.000000e+00 | -- | Inf
1507.45/1507.95 c 1456s| 2810k|509255 | 8685k| 274M| 54 | 7 | 60 | 30 | 7 | 60 | 21 | 22 | 50k|4781 | 0.000000e+00 | -- | Inf
1512.95/1513.42 c 1461s| 2820k|510761 | 8716k| 274M| 54 | - | 60 | 73 | 7 | 60 | 21 | 22 | 51k|4783 | 0.000000e+00 | -- | Inf
1518.34/1518.87 c 1467s| 2830k|512495 | 8747k| 275M| 54 | - | 60 | 75 | 7 | 60 | 21 | 22 | 51k|4786 | 0.000000e+00 | -- | Inf
1523.84/1524.33 c 1472s| 2840k|514266 | 8778k| 276M| 54 | 7 | 60 | 72 | 12 | 60 | 21 | 22 | 51k|4789 | 0.000000e+00 | -- | Inf
1529.24/1529.79 c 1477s| 2850k|516141 | 8810k| 277M| 54 | 7 | 60 | 88 | 8 | 60 | 21 | 22 | 51k|4791 | 0.000000e+00 | -- | Inf
1534.84/1535.30 c 1483s| 2860k|517810 | 8840k| 278M| 54 | - | 60 | 84 | 7 | 0 | 0 | 22 | 52k|4797 | 0.000000e+00 | -- | Inf
1540.44/1540.90 c 1488s| 2870k|519144 | 8871k| 279M| 54 | - | 60 | 91 | 10 | 60 | 21 | 22 | 52k|4805 | 0.000000e+00 | -- | Inf
1545.84/1546.39 c 1493s| 2880k|520829 | 8903k| 280M| 54 | 7 | 60 | 78 | 7 | 60 | 21 | 22 | 52k|4811 | 0.000000e+00 | -- | Inf
1551.23/1551.73 c 1498s| 2890k|523576 | 8933k| 281M| 54 | - | 60 | 104 | 10 | 60 | 21 | 22 | 52k|4818 | 0.000000e+00 | -- | Inf
1556.84/1557.32 c 1504s| 2900k|525578 | 8966k| 282M| 54 | - | 60 | 96 | 7 | 60 | 21 | 22 | 52k|4825 | 0.000000e+00 | -- | Inf
1562.23/1562.77 c 1509s| 2910k|527179 | 8997k| 283M| 54 | 7 | 60 | 66 | 7 | 60 | 21 | 22 | 53k|4831 | 0.000000e+00 | -- | Inf
1567.73/1568.21 c 1514s| 2920k|528937 | 9028k| 284M| 54 | 7 | 60 | 78 | 8 | 60 | 21 | 22 | 53k|4839 | 0.000000e+00 | -- | Inf
1573.13/1573.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.13/1573.68 c 1520s| 2930k|530516 | 9058k| 285M| 54 | 7 | 60 | 37 | 7 | 60 | 21 | 22 | 53k|4843 | 0.000000e+00 | -- | Inf
1578.73/1579.21 c 1525s| 2940k|532079 | 9090k| 286M| 54 | 7 | 60 | 46 | 10 | 60 | 21 | 22 | 53k|4851 | 0.000000e+00 | -- | Inf
1584.12/1584.63 c 1530s| 2950k|533659 | 9121k| 287M| 54 | 7 | 60 | 39 | 9 | 60 | 21 | 22 | 53k|4858 | 0.000000e+00 | -- | Inf
1589.63/1590.11 c 1536s| 2960k|535044 | 9152k| 288M| 54 | 7 | 60 | 38 | 7 | 60 | 21 | 22 | 53k|4865 | 0.000000e+00 | -- | Inf
1595.02/1595.56 c 1541s| 2970k|536686 | 9183k| 288M| 54 | - | 60 | 43 | 7 | 0 | 0 | 22 | 54k|4871 | 0.000000e+00 | -- | Inf
1600.42/1601.00 c 1546s| 2980k|538681 | 9214k| 289M| 54 | 7 | 60 | 40 | 7 | 60 | 21 | 22 | 54k|4879 | 0.000000e+00 | -- | Inf
1605.92/1606.43 c 1551s| 2990k|540474 | 9245k| 290M| 54 | - | 60 | 41 | 7 | 60 | 21 | 22 | 54k|4883 | 0.000000e+00 | -- | Inf
1611.32/1611.81 c 1556s| 3000k|542080 | 9275k| 291M| 54 | - | 60 | 27 | 8 | 0 | 0 | 22 | 54k|4892 | 0.000000e+00 | -- | Inf
1616.62/1617.17 c 1562s| 3010k|544235 | 9307k| 292M| 54 | 7 | 60 | 31 | 7 | 60 | 21 | 22 | 54k|4897 | 0.000000e+00 | -- | Inf
1622.11/1622.65 c 1567s| 3020k|545973 | 9341k| 293M| 54 | 7 | 60 | 34 | 8 | 60 | 21 | 22 | 54k|4902 | 0.000000e+00 | -- | Inf
1627.52/1628.03 c 1572s| 3030k|547790 | 9373k| 294M| 54 | 7 | 60 | 42 | 7 | 60 | 21 | 22 | 55k|4907 | 0.000000e+00 | -- | Inf
1632.81/1633.36 c 1577s| 3040k|550343 | 9405k| 295M| 54 | 7 | 60 | 46 | 7 | 60 | 21 | 22 | 55k|4909 | 0.000000e+00 | -- | Inf
1638.22/1638.77 c 1583s| 3050k|552937 | 9437k| 297M| 54 | - | 60 | 47 | 7 | 60 | 21 | 22 | 55k|4912 | 0.000000e+00 | -- | Inf
1643.61/1644.18 c 1588s| 3060k|555217 | 9468k| 298M| 54 | 7 | 60 | 55 | 7 | 60 | 21 | 22 | 55k|4918 | 0.000000e+00 | -- | Inf
1649.00/1649.57 c 1593s| 3070k|557289 | 9497k| 299M| 54 | - | 60 | 61 | 8 | 0 | 0 | 22 | 55k|4921 | 0.000000e+00 | -- | Inf
1654.40/1654.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1654.40/1654.98 c 1598s| 3080k|559477 | 9527k| 300M| 54 | 7 | 60 | 62 | 7 | 60 | 21 | 22 | 55k|4926 | 0.000000e+00 | -- | Inf
1659.80/1660.39 c 1603s| 3090k|561610 | 9557k| 301M| 54 | 7 | 60 | 64 | 7 | 60 | 21 | 22 | 56k|4931 | 0.000000e+00 | -- | Inf
1665.20/1665.75 c 1609s| 3100k|564034 | 9587k| 302M| 54 | 7 | 60 | 84 | 7 | 60 | 21 | 22 | 56k|4932 | 0.000000e+00 | -- | Inf
1670.60/1671.20 c 1614s| 3110k|566139 | 9618k| 303M| 54 | - | 60 | 69 | 8 | 60 | 21 | 22 | 56k|4932 | 0.000000e+00 | -- | Inf
1676.10/1676.69 c 1619s| 3120k|567915 | 9648k| 304M| 54 | - | 60 | 69 | 7 | 60 | 21 | 22 | 56k|4932 | 0.000000e+00 | -- | Inf
1681.60/1682.16 c 1624s| 3130k|569706 | 9678k| 305M| 54 | 7 | 60 | 51 | 7 | 60 | 21 | 22 | 56k|4932 | 0.000000e+00 | -- | Inf
1686.90/1687.48 c 1630s| 3140k|571880 | 9707k| 306M| 54 | 7 | 60 | 55 | 7 | 60 | 21 | 22 | 56k|4932 | 0.000000e+00 | -- | Inf
1692.40/1692.91 c 1635s| 3150k|573524 | 9737k| 307M| 54 | 7 | 60 | 45 | 7 | 60 | 21 | 22 | 56k|4932 | 0.000000e+00 | -- | Inf
1697.80/1698.37 c 1640s| 3160k|575273 | 9766k| 308M| 54 | 7 | 60 | 34 | 7 | 60 | 21 | 22 | 57k|4932 | 0.000000e+00 | -- | Inf
1703.30/1703.86 c 1645s| 3170k|576784 | 9798k| 309M| 54 | - | 60 | 25 | 7 | 60 | 21 | 22 | 57k|4934 | 0.000000e+00 | -- | Inf
1708.59/1709.11 c 1650s| 3180k|578764 | 9826k| 310M| 54 | 7 | 60 | 21 | 7 | 60 | 21 | 22 | 57k|4935 | 0.000000e+00 | -- | Inf
1713.99/1714.54 c 1656s| 3190k|580326 | 9856k| 311M| 54 | - | 60 | 18 | 7 | 60 | 21 | 22 | 57k|4938 | 0.000000e+00 | -- | Inf
1719.49/1720.06 c 1661s| 3200k|581585 | 9886k| 312M| 54 | - | 60 | 14 | 7 | 60 | 21 | 22 | 57k|4942 | 0.000000e+00 | -- | Inf
1724.99/1725.55 c 1666s| 3210k|583099 | 9917k| 313M| 54 | - | 60 | 22 | 7 | 60 | 21 | 22 | 57k|4950 | 0.000000e+00 | -- | Inf
1730.38/1730.93 c 1672s| 3220k|584868 | 9948k| 314M| 54 | - | 60 | 23 | 7 | 60 | 21 | 22 | 57k|4957 | 0.000000e+00 | -- | Inf
1735.78/1736.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.78/1736.32 c 1677s| 3230k|586709 | 9977k| 315M| 54 | - | 60 | 27 | 7 | 60 | 21 | 22 | 57k|4964 | 0.000000e+00 | -- | Inf
1741.18/1741.73 c 1682s| 3240k|588264 | 10007k| 315M| 54 | - | 60 | 28 | 7 | 60 | 21 | 22 | 58k|4967 | 0.000000e+00 | -- | Inf
1746.48/1747.06 c 1687s| 3250k|589840 | 10036k| 316M| 54 | 7 | 60 | 24 | 8 | 60 | 21 | 22 | 58k|4969 | 0.000000e+00 | -- | Inf
1751.87/1752.46 c 1692s| 3260k|591502 | 10066k| 317M| 54 | - | 60 | 21 | 7 | 60 | 21 | 22 | 58k|4972 | 0.000000e+00 | -- | Inf
1757.28/1757.86 c 1698s| 3270k|592962 | 10096k| 318M| 54 | 7 | 60 | 18 | 7 | 60 | 21 | 22 | 58k|4976 | 0.000000e+00 | -- | Inf
1762.68/1763.25 c 1703s| 3280k|594419 | 10126k| 319M| 54 | - | 60 | 18 | 7 | 60 | 21 | 22 | 58k|4983 | 0.000000e+00 | -- | Inf
1768.07/1768.65 c 1708s| 3290k|595961 | 10156k| 320M| 54 | 7 | 60 | 17 | 7 | 60 | 21 | 22 | 59k|4992 | 0.000000e+00 | -- | Inf
1773.57/1774.12 c 1713s| 3300k|597416 | 10187k| 321M| 54 | - | 60 | 19 | 7 | 60 | 21 | 22 | 59k|4994 | 0.000000e+00 | -- | Inf
1778.96/1779.55 c 1719s| 3310k|599441 | 10217k| 322M| 54 | - | 60 | 23 | 7 | 60 | 21 | 22 | 59k|4997 | 0.000000e+00 | -- | Inf
1784.37/1784.91 c 1724s| 3320k|601456 | 10248k| 323M| 54 | - | 60 | 26 | 7 | 0 | 0 | 22 | 59k|4999 | 0.000000e+00 | -- | Inf
1789.67/1790.30 c 1729s| 3330k|603377 | 10278k| 324M| 54 | - | 60 | 23 | 7 | 60 | 21 | 22 | 59k|5005 | 0.000000e+00 | -- | Inf
1795.07/1795.70 c 1734s| 3340k|605183 | 10308k| 325M| 54 | 7 | 60 | 17 | 7 | 60 | 21 | 22 | 59k|5008 | 0.000000e+00 | -- | Inf
1800.07/1800.60 c
1800.07/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.60 c Solving Time (sec) : 1738.89
1800.07/1800.60 c Solving Nodes : 3348973
1800.07/1800.60 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.60 c Dual Bound : +0.00000000000000e+00
1800.07/1800.60 c Gap : infinite
1800.07/1800.60 c NODE 3348973
1800.07/1800.60 c DUAL BOUND 0
1800.07/1800.60 c PRIMAL BOUND 1e+20
1800.07/1800.60 c GAP 1e+20
1800.07/1800.60 s UNKNOWN
1800.07/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.60 c Solving Time : 1738.89
1800.07/1800.60 c Original Problem :
1800.07/1800.60 c Problem name : HOME/instance-1869491-1245174479.opb
1800.07/1800.61 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 15 initial, 15 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-1869491-1245174479.opb
1800.07/1800.61 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 7 initial, 122 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.00 0 0 0 0 0 8 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 0 - - 0 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 1981015 0 391 1928 0 0 3957742
1800.07/1800.61 c linear : 7 6 4302163 0 0 191387 5611205 0 0 0
1800.07/1800.61 c logicor : 0+ 0 879692 0 0 69 53502 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 23.73 0.00 0.00 23.73 0.00
1800.07/1800.61 c linear : 277.07 0.00 277.07 0.00 0.00
1800.07/1800.61 c logicor : 2.03 0.00 2.03 0.00 0.00
1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c rootredcost : 1.70 0 0 0
1800.07/1800.61 c pseudoobj : 1.05 0 0 0
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 23.08 191456 53528 122437 43.4 2 52.5 -
1800.07/1800.61 c infeasible LP : 15.10 1180808 5645 7231 26.9 1 50.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 6197 24.7 - - -
1800.07/1800.61 c applied locally : - - - 53671 41.6 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 5 - - 9 - (maximal pool size: 71)
1800.07/1800.61 c redcost : 4.65 1981012 0 0 0 0
1800.07/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 6 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 6 0 0 25 0
1800.07/1800.61 c cmir : 0.03 6 0 0 29 0
1800.07/1800.61 c flowcover : 0.05 6 0 0 26 0
1800.07/1800.61 c clique : 0.00 1 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 1 0 0 0 0
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 21.62 1981015 391 1928 0 0 3957742
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.00 - 0
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c oneopt : 1.42 0 0
1800.07/1800.61 c crossover : 0.75 0 0
1800.07/1800.61 c guideddiving : 0.14 0 0
1800.07/1800.61 c linesearchdiving : 0.10 36 0
1800.07/1800.61 c fracdiving : 0.22 36 0
1800.07/1800.61 c veclendiving : 0.22 36 0
1800.07/1800.61 c coefdiving : 0.19 37 0
1800.07/1800.61 c pscostdiving : 0.15 37 0
1800.07/1800.61 c feaspump : 0.17 19 0
1800.07/1800.61 c objpscostdiving : 0.09 19 0
1800.07/1800.61 c rootsoldiving : 0.20 19 0
1800.07/1800.61 c simplerounding : 1.49 0 0
1800.07/1800.61 c rounding : 2.19 19999 0
1800.07/1800.61 c shifting : 4.86 6233 0
1800.07/1800.61 c intshifting : 0.08 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.11 1 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 1196.14 3344236 10334193 3.09 8639.62
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 0.51 1059 2300 2.17 4509.80
1800.07/1800.61 c strong branching : 1.51 5020 39130 7.79 25913.91
1800.07/1800.61 c (at root node) : - 21 1420 67.62 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 3348973
1800.07/1800.61 c nodes (total) : 3348973
1800.07/1800.61 c nodes left : 606663
1800.07/1800.61 c max depth : 54
1800.07/1800.61 c max depth (total): 54
1800.07/1800.61 c backtracks : 373542 (11.2%)
1800.07/1800.61 c delayed cutoffs : 2107
1800.07/1800.61 c repropagations : 86611 (70802 domain reductions, 2098 cutoffs)
1800.07/1800.61 c avg switch length: 4.03
1800.07/1800.61 c switching time : 75.72
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 0 (0 improvements)
1800.07/1800.61 c Primal Bound : -
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/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-1869491-1245174479/watcher-1869491-1245174479 -o /tmp/evaluation-result-1869491-1245174479/solver-1869491-1245174479 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869491-1245174479.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 5846
/proc/meminfo: memFree=1870256/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=5812 CPUtime=0
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 185047837 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8236280 0 0 4096 0 0 0 0 17 1 0 0
/proc/5846/statm: 1453 501 332 1256 0 192 0
[startup+0.073724 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5846
/proc/meminfo: memFree=1870256/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=14568 CPUtime=0.07
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 2902 0 0 0 6 1 0 0 18 0 1 0 185047837 14917632 2532 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 3642 2532 659 1256 0 2381 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14568
[startup+0.102728 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5846
/proc/meminfo: memFree=1870256/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=14736 CPUtime=0.1
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 2933 0 0 0 9 1 0 0 18 0 1 0 185047837 15089664 2563 1992294400 4194304 9342243 548682068736 18446744073709551615 4341056 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 3684 2563 659 1256 0 2423 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14736
[startup+0.302755 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5846
/proc/meminfo: memFree=1870256/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=17372 CPUtime=0.29
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 4563 0 0 0 28 1 0 0 19 0 1 0 185047837 17788928 3270 1992294400 4194304 9342243 548682068736 18446744073709551615 6018246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 4343 3270 681 1256 0 3082 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17372
[startup+0.701796 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5846
/proc/meminfo: memFree=1870256/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=17372 CPUtime=0.69
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 4573 0 0 0 66 3 0 0 22 0 1 0 185047837 17788928 3280 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 4343 3280 689 1256 0 3082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17372
[startup+1.50189 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 5847
/proc/meminfo: memFree=1859624/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=17372 CPUtime=1.49
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 4581 0 0 0 144 5 0 0 25 0 1 0 185047837 17788928 3288 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 4343 3288 689 1256 0 3082 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17372
[startup+3.10107 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 5847
/proc/meminfo: memFree=1859496/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=17372 CPUtime=3.09
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 4632 0 0 0 299 10 0 0 25 0 1 0 185047837 17788928 3339 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 4343 3339 689 1256 0 3082 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17372
[startup+6.30143 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 5847
/proc/meminfo: memFree=1859048/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=17372 CPUtime=6.28
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 4652 0 0 0 607 21 0 0 25 0 1 0 185047837 17788928 3359 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 4343 3359 689 1256 0 3082 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17372
[startup+12.7012 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 5847
/proc/meminfo: memFree=1858680/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=19276 CPUtime=12.69
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 4792 0 0 0 1228 41 0 0 25 0 1 0 185047837 19738624 3499 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 4819 3499 689 1256 0 3558 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19276
[startup+25.5026 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 5847
/proc/meminfo: memFree=1856248/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=22508 CPUtime=25.48
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 5424 0 0 0 2467 81 0 0 25 0 1 0 185047837 23048192 4131 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 5627 4131 689 1256 0 4366 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22508
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5847
/proc/meminfo: memFree=1851320/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=27820 CPUtime=51.08
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 6856 0 0 0 4941 167 0 0 25 0 1 0 185047837 28487680 5563 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 6955 5563 689 1256 0 5694 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27820
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5847
/proc/meminfo: memFree=1841272/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=37256 CPUtime=102.27
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 9166 0 0 0 9884 343 0 0 25 0 1 0 185047837 38150144 7873 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 9314 7873 689 1256 0 8053 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37256
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5847
/proc/meminfo: memFree=1829112/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=49424 CPUtime=162.24
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 12174 0 0 0 15681 543 0 0 25 0 1 0 185047837 50610176 10881 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 12356 10881 689 1256 0 11095 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49424
[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5847
/proc/meminfo: memFree=1817592/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=62380 CPUtime=222.22
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 15014 0 0 0 21470 752 0 0 25 0 1 0 185047837 63877120 13719 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 15595 13719 689 1256 0 14334 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 62380
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5849
/proc/meminfo: memFree=1806264/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=73088 CPUtime=282.21
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 17906 0 0 0 27264 957 0 0 25 0 1 0 185047837 74842112 16611 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 18272 16611 689 1256 0 17011 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 73088
[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5849
/proc/meminfo: memFree=1794040/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=84856 CPUtime=342.2
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 20825 0 0 0 33059 1161 0 0 25 0 1 0 185047837 86892544 19530 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 21214 19530 689 1256 0 19953 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 84856
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5849
/proc/meminfo: memFree=1783416/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=95252 CPUtime=402.17
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 23494 0 0 0 38850 1367 0 0 25 0 1 0 185047837 97538048 22199 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 23813 22199 689 1256 0 22552 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 95252
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5849
/proc/meminfo: memFree=1772344/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=106836 CPUtime=462.16
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 26230 0 0 0 44646 1570 0 0 25 0 1 0 185047837 109400064 24935 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 26709 24935 689 1256 0 25448 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 106836
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5849
/proc/meminfo: memFree=1761656/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=117412 CPUtime=522.14
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 28857 0 0 0 50442 1772 0 0 25 0 1 0 185047837 120229888 27562 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 29353 27562 689 1256 0 28092 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 117412
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5849
/proc/meminfo: memFree=1748088/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=133920 CPUtime=582.12
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 32215 0 0 0 56235 1977 0 0 25 0 1 0 185047837 137134080 30920 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 33480 30920 689 1256 0 32219 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 133920
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5849
/proc/meminfo: memFree=1735928/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=145720 CPUtime=642.1
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 35222 0 0 0 62032 2178 0 0 25 0 1 0 185047837 149217280 33927 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 36430 33927 689 1256 0 35169 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 145720
[startup+702.302 s]
################
# More data... #
################
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 51332 0 0 0 96803 3396 0 0 25 0 1 0 185047837 215400448 50036 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 52588 50036 690 1256 0 51327 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 210352
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1660400/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=221136 CPUtime=1061.98
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 53909 0 0 0 102589 3609 0 0 25 0 1 0 185047837 226443264 52613 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 55284 52613 690 1256 0 54023 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 221136
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1649656/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=232016 CPUtime=1121.97
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 56596 0 0 0 108376 3821 0 0 25 0 1 0 185047837 237584384 55300 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 58004 55300 690 1256 0 56743 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 232016
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1639416/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=242288 CPUtime=1181.94
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 59323 0 0 0 114178 4016 0 0 25 0 1 0 185047837 248102912 58027 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 60572 58027 690 1256 0 59311 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 242288
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1624504/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=256540 CPUtime=1241.93
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 62803 0 0 0 119963 4230 0 0 25 0 1 0 185047837 262696960 61506 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 64135 61506 690 1256 0 62874 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 256540
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1611960/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=269228 CPUtime=1301.91
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 65925 0 0 0 125755 4436 0 0 25 0 1 0 185047837 275689472 64628 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 67307 64628 690 1256 0 66046 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 269228
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1601720/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=287888 CPUtime=1361.89
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 68467 0 0 0 131553 4636 0 0 25 0 1 0 185047837 294797312 67170 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 71972 67170 690 1256 0 70711 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 287888
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1592248/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=297196 CPUtime=1421.87
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 70817 0 0 0 137348 4839 0 0 25 0 1 0 185047837 304328704 69519 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 74299 69519 690 1256 0 73038 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 297196
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1580856/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=308516 CPUtime=1481.86
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 73777 0 0 0 143139 5047 0 0 25 0 1 0 185047837 315920384 72479 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 77129 72479 690 1256 0 75868 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 308516
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1571000/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=318148 CPUtime=1541.84
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 76104 0 0 0 148933 5251 0 0 25 0 1 0 185047837 325783552 74806 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 79537 74806 690 1256 0 78276 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 318148
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1560888/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=328484 CPUtime=1601.82
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 78721 0 0 0 154729 5453 0 0 25 0 1 0 185047837 336367616 77423 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 82121 77423 690 1256 0 80860 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 328484
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1547896/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=340768 CPUtime=1661.81
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 81829 0 0 0 160524 5657 0 0 25 0 1 0 185047837 348946432 80531 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 85192 80531 690 1256 0 83931 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 340768
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1536696/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=352128 CPUtime=1721.79
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 84622 0 0 0 166320 5859 0 0 25 0 1 0 185047837 360579072 83324 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 88032 83324 690 1256 0 86771 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 352128
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1526712/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=361632 CPUtime=1781.77
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 87131 0 0 0 172121 6056 0 0 25 0 1 0 185047837 370311168 85833 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 90408 85833 690 1256 0 89147 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 361632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5855
/proc/meminfo: memFree=1523512/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=365120 CPUtime=1800.07
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 87882 0 0 0 173889 6118 0 0 25 0 1 0 185047837 373882880 86584 1992294400 4194304 9342243 548682068736 18446744073709551615 6338557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5846/statm: 91280 86584 690 1256 0 90019 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 365120
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5846
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 5855
/proc/meminfo: memFree=1523512/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=365120 CPUtime=1800.86
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 87883 0 0 0 173968 6118 0 0 25 0 1 0 185047837 373882880 86585 1992294400 4194304 9342243 548682068736 18446744073709551615 4805770 0 0 4096 0 0 0 0 17 1 0 0
/proc/5846/statm: 91280 86585 691 1256 0 90019 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 365120
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5856
/proc/meminfo: memFree=1523440/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=365120 CPUtime=1801.66
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 87883 0 0 0 174048 6118 0 0 25 0 1 0 185047837 373882880 86585 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/5846/statm: 91280 86585 691 1256 0 90019 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 365120
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5856
/proc/meminfo: memFree=1523440/2055920 swapFree=4182468/4192956
[pid=5846] ppid=5844 vsize=365120 CPUtime=1802.06
/proc/5846/stat : 5846 (pbscip.linux.x8) R 5844 5846 5809 0 -1 4194304 87883 0 0 0 174088 6118 0 0 25 0 1 0 185047837 373882880 86585 1992294400 4194304 9342243 548682068736 18446744073709551615 5854325 0 0 4096 0 0 0 0 17 1 0 0
/proc/5846/statm: 91280 86585 691 1256 0 90019 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 365120
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.67
CPU time (s): 1802.14
CPU user time (s): 1740.9
CPU system time (s): 61.2417
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 365120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1740.9
system time used= 61.2417
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87883
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= 1766
runsolver used 1.39879 second user time and 3.73343 second system time
The end
Begin job on node23 at 2009-06-16 19:47:59
IDJOB=1869491
IDBENCH=2900
IDSOLVER=684
FILE ID=node23/1869491-1245174479
PBS_JOBID= 9363923
Free space on /tmp= 66272 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_7_60_1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869491-1245174479/watcher-1869491-1245174479 -o /tmp/evaluation-result-1869491-1245174479/solver-1869491-1245174479 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869491-1245174479.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 487945ea0e229650aa78cf341d4ff673
RANDOM SEED=1604624812
node23.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.236
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.236
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: 1870672 kB
Buffers: 38552 kB
Cached: 84576 kB
SwapCached: 4304 kB
Active: 66400 kB
Inactive: 64508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1870672 kB
SwapTotal: 4192956 kB
SwapFree: 4182468 kB
Dirty: 11932 kB
Writeback: 0 kB
Mapped: 14432 kB
Slab: 40348 kB
Committed_AS: 164636 kB
PageTables: 1392 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= 66260 MiB
End job on node23 at 2009-06-16 20:18:02