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-1869486-1245174315.opb>
0.00/0.01 c original problem has 71 variables (71 bin, 0 int, 0 impl, 0 cont) and 17 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 9 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 1 deleted vars, 9 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c OPT-LIN
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = c 1620
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = c 1791
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = c 10000
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving problem
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 47 | 341k| 0 | 8 | 70 | 8 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 175 | 390k| 0 | 14 | 70 | 8 | 8 | 70 | 14 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.06 c 0.0s| 1 | 0 | 185 | 409k| 0 | 18 | 70 | 8 | 8 | 70 | 19 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.08 c 0.1s| 1 | 0 | 189 | 414k| 0 | 21 | 70 | 8 | 8 | 70 | 22 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 195 | 418k| 0 | 21 | 70 | 8 | 8 | 70 | 23 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 208 | 429k| 0 | 19 | 70 | 8 | 8 | 70 | 25 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 216 | 443k| 0 | 23 | 70 | 8 | 8 | 70 | 29 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 2 | 216 | 443k| 0 | 23 | 70 | 8 | 8 | 70 | 29 | 21 | 0 | 23 | 0.000000e+00 | -- | Inf
5.39/5.49 c 5.1s| 10000 | 3856 | 35382 |4110k| 59 | - | 70 |2570 | 513 | 70 | 23 | 21 |3957 | 669 | 0.000000e+00 | -- | Inf
10.49/10.52 c 9.9s| 20000 | 7425 | 70923 |6434k| 59 | 8 | 70 |1634 | 122 | 70 | 23 | 21 |8142 | 872 | 0.000000e+00 | -- | Inf
15.29/15.36 c 14.4s| 30000 | 10939 |105845 |8934k| 59 | - | 70 |1745 | 24 | 70 | 23 | 21 | 12k|1070 | 0.000000e+00 | -- | Inf
20.19/20.27 c 19.0s| 40000 | 14319 |139405 | 11M| 60 | 8 | 70 |1761 | 161 | 70 | 23 | 21 | 16k|1256 | 0.000000e+00 | -- | Inf
25.08/25.10 c 23.6s| 50000 | 17577 |173943 | 13M| 60 | 8 | 70 |2433 | 450 | 70 | 23 | 21 | 20k|1381 | 0.000000e+00 | -- | Inf
30.08/30.11 c 28.3s| 60000 | 20755 |207944 | 16M| 61 | - | 70 |2406 | 40 | 70 | 23 | 21 | 25k|1495 | 0.000000e+00 | -- | Inf
34.97/35.08 c 32.9s| 70000 | 24006 |243081 | 18M| 61 | 8 | 70 |2870 | 181 | 70 | 23 | 21 | 29k|1610 | 0.000000e+00 | -- | Inf
40.07/40.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.07/40.19 c 37.7s| 80000 | 27166 |277015 | 21M| 61 | 8 | 70 |2336 | 190 | 70 | 23 | 21 | 33k|1709 | 0.000000e+00 | -- | Inf
44.97/45.08 c 42.4s| 90000 | 30601 |311485 | 23M| 61 | 8 | 70 |3238 | 88 | 70 | 23 | 21 | 37k|1815 | 0.000000e+00 | -- | Inf
50.06/50.17 c 47.2s|100000 | 33745 |345245 | 26M| 61 | 8 | 70 |2650 | 844 | 70 | 23 | 21 | 42k|1897 | 0.000000e+00 | -- | Inf
55.26/55.31 c 52.0s|110000 | 37101 |378646 | 28M| 61 | 8 | 70 |2683 | 108 | 70 | 23 | 21 | 46k|1988 | 0.000000e+00 | -- | Inf
60.26/60.38 c 56.8s|120000 | 40415 |411895 | 30M| 61 | - | 70 |2792 | 132 | 70 | 23 | 21 | 50k|2060 | 0.000000e+00 | -- | Inf
65.46/65.53 c 61.7s|130000 | 43585 |445724 | 33M| 61 | - | 70 |3174 | 161 | 70 | 23 | 21 | 54k|2121 | 0.000000e+00 | -- | Inf
70.66/70.79 c 66.6s|140000 | 46692 |479945 | 36M| 61 | - | 70 |3541 | 259 | 70 | 23 | 21 | 59k|2186 | 0.000000e+00 | -- | Inf
75.95/76.06 c 71.6s|150000 | 50038 |514146 | 38M| 61 | 8 | 70 |3157 | 80 | 70 | 23 | 21 | 63k|2255 | 0.000000e+00 | -- | Inf
81.26/81.36 c 76.6s|160000 | 53007 |549178 | 40M| 62 | - | 70 |3277 | 88 | 70 | 23 | 21 | 67k|2305 | 0.000000e+00 | -- | Inf
86.56/86.67 c 81.6s|170000 | 56065 |582900 | 43M| 62 | 8 | 70 |2849 | 82 | 70 | 23 | 21 | 72k|2347 | 0.000000e+00 | -- | Inf
91.75/91.82 c 86.5s|180000 | 59136 |617400 | 45M| 62 | 8 | 70 |3262 | 243 | 70 | 23 | 21 | 76k|2400 | 0.000000e+00 | -- | Inf
96.95/97.09 c 91.5s|190000 | 62432 |650457 | 47M| 62 | 8 | 70 |2943 | 115 | 70 | 23 | 21 | 80k|2435 | 0.000000e+00 | -- | Inf
102.35/102.46 c 96.6s|200000 | 65474 |685137 | 50M| 62 | - | 70 |3472 | 22 | 70 | 23 | 21 | 85k|2496 | 0.000000e+00 | -- | Inf
107.75/107.85 c 102s|210000 | 68412 |719427 | 52M| 62 | 8 | 70 |3483 | 83 | 70 | 23 | 21 | 89k|2568 | 0.000000e+00 | -- | Inf
113.05/113.14 c 107s|220000 | 71397 |752757 | 55M| 62 | - | 70 |3424 | 100 | 70 | 23 | 21 | 94k|2618 | 0.000000e+00 | -- | Inf
118.44/118.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.44/118.53 c 112s|230000 | 74320 |786366 | 57M| 62 | - | 70 |3323 | 65 | 70 | 23 | 21 | 98k|2660 | 0.000000e+00 | -- | Inf
123.14/123.21 c 116s|240000 | 78170 |818851 | 60M| 62 | 8 | 70 |4443 | 503 | 70 | 23 | 21 | 102k|2692 | 0.000000e+00 | -- | Inf
128.74/128.82 c 121s|250000 | 81008 |853287 | 62M| 62 | 8 | 70 |3367 | 17 | 70 | 23 | 21 | 106k|2717 | 0.000000e+00 | -- | Inf
133.94/134.06 c 126s|260000 | 84050 |886153 | 65M| 62 | - | 70 |3629 | 215 | 70 | 23 | 21 | 111k|2753 | 0.000000e+00 | -- | Inf
139.34/139.45 c 132s|270000 | 86986 |919970 | 67M| 62 | - | 70 |3518 | 93 | 70 | 23 | 21 | 115k|2782 | 0.000000e+00 | -- | Inf
144.53/144.66 c 136s|280000 | 90091 |953370 | 69M| 62 | - | 70 |3546 | 40 | 70 | 23 | 21 | 119k|2823 | 0.000000e+00 | -- | Inf
149.63/149.77 c 141s|290000 | 93288 |986347 | 72M| 63 | - | 70 |4109 | 69 | 70 | 23 | 21 | 123k|2848 | 0.000000e+00 | -- | Inf
155.33/155.49 c 147s|300000 | 95958 | 1020k| 74M| 63 | - | 70 |3783 | 14 | 70 | 23 | 21 | 128k|2885 | 0.000000e+00 | -- | Inf
160.63/160.70 c 152s|310000 | 99293 | 1052k| 77M| 63 | 8 | 70 |4095 | 386 | 70 | 23 | 21 | 132k|2929 | 0.000000e+00 | -- | Inf
165.82/165.98 c 157s|320000 |102528 | 1083k| 79M| 63 | 8 | 70 |3789 | 67 | 70 | 23 | 21 | 136k|2958 | 0.000000e+00 | -- | Inf
171.13/171.28 c 162s|330000 |105689 | 1116k| 81M| 63 | 8 | 70 |3429 | 53 | 70 | 23 | 21 | 140k|2987 | 0.000000e+00 | -- | Inf
176.62/176.79 c 167s|340000 |108562 | 1150k| 84M| 63 | 8 | 70 |3533 | 67 | 70 | 23 | 21 | 145k|3012 | 0.000000e+00 | -- | Inf
182.12/182.22 c 172s|350000 |111508 | 1184k| 86M| 63 | 8 | 70 |3497 | 64 | 70 | 23 | 21 | 149k|3050 | 0.000000e+00 | -- | Inf
187.42/187.58 c 177s|360000 |114429 | 1217k| 88M| 63 | 8 | 70 |3867 | 503 | 70 | 23 | 21 | 154k|3066 | 0.000000e+00 | -- | Inf
192.72/192.83 c 182s|370000 |117699 | 1250k| 91M| 63 | 8 | 70 |3872 | 167 | 70 | 23 | 21 | 158k|3080 | 0.000000e+00 | -- | Inf
197.92/198.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.92/198.03 c 187s|380000 |121342 | 1281k| 93M| 63 | - | 70 |4330 | 504 | 70 | 23 | 21 | 162k|3090 | 0.000000e+00 | -- | Inf
203.61/203.75 c 192s|390000 |124308 | 1314k| 96M| 63 | 8 | 70 |3443 | 90 | 70 | 23 | 21 | 166k|3107 | 0.000000e+00 | -- | Inf
208.81/208.92 c 197s|400000 |127690 | 1347k| 98M| 63 | 8 | 70 |4239 | 472 | 70 | 23 | 21 | 171k|3145 | 0.000000e+00 | -- | Inf
214.51/214.68 c 203s|410000 |130713 | 1380k| 100M| 63 | 8 | 70 |3987 | 297 | 70 | 23 | 21 | 175k|3172 | 0.000000e+00 | -- | Inf
219.60/219.77 c 208s|420000 |134370 | 1413k| 103M| 63 | 8 | 70 |5187 | 223 | 70 | 23 | 21 | 179k|3187 | 0.000000e+00 | -- | Inf
225.01/225.10 c 212s|430000 |137718 | 1448k| 106M| 63 | - | 70 |5116 | 128 | 70 | 23 | 21 | 183k|3208 | 0.000000e+00 | -- | Inf
230.81/230.91 c 218s|440000 |140738 | 1481k| 108M| 63 | 8 | 70 |4230 | 55 | 70 | 23 | 21 | 187k|3233 | 0.000000e+00 | -- | Inf
236.10/236.26 c 223s|450000 |144089 | 1513k| 110M| 63 | - | 70 |3811 | 123 | 70 | 23 | 21 | 192k|3255 | 0.000000e+00 | -- | Inf
241.59/241.78 c 228s|460000 |147060 | 1546k| 113M| 63 | 8 | 70 |3287 | 85 | 70 | 23 | 21 | 196k|3268 | 0.000000e+00 | -- | Inf
247.19/247.34 c 234s|470000 |150020 | 1580k| 115M| 63 | 8 | 70 |3413 | 50 | 70 | 23 | 21 | 200k|3302 | 0.000000e+00 | -- | Inf
252.49/252.61 c 239s|480000 |153177 | 1613k| 117M| 63 | - | 70 |3855 | 19 | 70 | 23 | 21 | 205k|3329 | 0.000000e+00 | -- | Inf
258.19/258.30 c 244s|490000 |156149 | 1646k| 120M| 63 | 8 | 70 |3966 | 691 | 70 | 23 | 21 | 209k|3356 | 0.000000e+00 | -- | Inf
263.79/263.90 c 249s|500000 |159098 | 1679k| 122M| 63 | 8 | 70 |3742 | 88 | 70 | 23 | 21 | 213k|3377 | 0.000000e+00 | -- | Inf
268.69/268.84 c 254s|510000 |162988 | 1711k| 125M| 63 | 8 | 70 |4575 | 202 | 70 | 23 | 21 | 217k|3393 | 0.000000e+00 | -- | Inf
273.79/273.99 c 259s|520000 |166611 | 1744k| 128M| 63 | - | 70 |5097 | 87 | 70 | 23 | 21 | 221k|3405 | 0.000000e+00 | -- | Inf
279.68/279.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.68/279.87 c 264s|530000 |169595 | 1777k| 130M| 63 | - | 70 |4163 | 94 | 70 | 23 | 21 | 226k|3412 | 0.000000e+00 | -- | Inf
285.28/285.40 c 270s|540000 |172728 | 1810k| 132M| 63 | 8 | 70 |3876 | 10 | 70 | 23 | 21 | 230k|3423 | 0.000000e+00 | -- | Inf
290.08/290.25 c 274s|550000 |176373 | 1842k| 135M| 63 | - | 70 |4833 | 263 | 70 | 23 | 21 | 234k|3438 | 0.000000e+00 | -- | Inf
295.69/295.88 c 280s|560000 |179563 | 1875k| 137M| 63 | 8 | 70 |4521 | 69 | 70 | 23 | 21 | 238k|3462 | 0.000000e+00 | -- | Inf
301.58/301.74 c 285s|570000 |182331 | 1908k| 139M| 63 | 8 | 70 |3679 | 68 | 70 | 23 | 21 | 242k|3478 | 0.000000e+00 | -- | Inf
307.17/307.31 c 290s|580000 |185367 | 1941k| 142M| 63 | - | 70 |3894 | 45 | 70 | 23 | 21 | 247k|3497 | 0.000000e+00 | -- | Inf
312.78/312.94 c 296s|590000 |188445 | 1975k| 144M| 63 | 8 | 70 |3841 | 92 | 70 | 23 | 21 | 251k|3519 | 0.000000e+00 | -- | Inf
318.37/318.50 c 301s|600000 |191504 | 2008k| 147M| 63 | 8 | 70 |4013 | 259 | 70 | 23 | 21 | 255k|3530 | 0.000000e+00 | -- | Inf
324.07/324.29 c 306s|610000 |194439 | 2042k| 149M| 63 | 8 | 70 |3632 | 104 | 70 | 23 | 21 | 260k|3548 | 0.000000e+00 | -- | Inf
329.77/329.92 c 312s|620000 |197380 | 2075k| 151M| 63 | 8 | 70 |4038 | 57 | 70 | 23 | 21 | 264k|3566 | 0.000000e+00 | -- | Inf
335.47/335.66 c 317s|630000 |200286 | 2109k| 154M| 63 | 8 | 70 |3907 | 45 | 70 | 23 | 21 | 269k|3580 | 0.000000e+00 | -- | Inf
341.26/341.44 c 323s|640000 |203098 | 2141k| 156M| 63 | - | 70 |4151 | 48 | 70 | 23 | 21 | 273k|3603 | 0.000000e+00 | -- | Inf
347.06/347.22 c 328s|650000 |205946 | 2174k| 158M| 63 | - | 70 |3961 | 230 | 70 | 23 | 21 | 277k|3630 | 0.000000e+00 | -- | Inf
352.56/352.76 c 334s|660000 |208830 | 2207k| 161M| 63 | 8 | 70 |4351 | 100 | 70 | 23 | 21 | 282k|3645 | 0.000000e+00 | -- | Inf
358.36/358.54 c 339s|670000 |211634 | 2241k| 163M| 63 | 8 | 70 |4149 | 97 | 70 | 23 | 21 | 286k|3665 | 0.000000e+00 | -- | Inf
363.95/364.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.95/364.16 c 344s|680000 |214586 | 2274k| 165M| 63 | - | 70 |3825 | 28 | 0 | 0 | 21 | 291k|3683 | 0.000000e+00 | -- | Inf
369.15/369.31 c 349s|690000 |217840 | 2307k| 168M| 63 | - | 70 |4825 | 60 | 70 | 23 | 21 | 295k|3694 | 0.000000e+00 | -- | Inf
374.96/375.12 c 355s|700000 |220927 | 2340k| 170M| 63 | 8 | 70 |4573 | 90 | 70 | 23 | 21 | 299k|3714 | 0.000000e+00 | -- | Inf
380.74/380.96 c 360s|710000 |224077 | 2374k| 173M| 63 | - | 70 |4299 | 26 | 70 | 23 | 21 | 303k|3751 | 0.000000e+00 | -- | Inf
386.15/386.38 c 365s|720000 |227203 | 2408k| 175M| 63 | - | 70 |5064 | 103 | 70 | 23 | 21 | 308k|3778 | 0.000000e+00 | -- | Inf
391.84/392.09 c 371s|730000 |230075 | 2442k| 178M| 63 | 8 | 70 |5322 | 232 | 70 | 23 | 21 | 312k|3793 | 0.000000e+00 | -- | Inf
398.04/398.22 c 377s|740000 |232928 | 2476k| 180M| 63 | 8 | 70 |4470 | 51 | 70 | 23 | 21 | 317k|3824 | 0.000000e+00 | -- | Inf
403.44/403.69 c 382s|750000 |235700 | 2509k| 182M| 63 | 8 | 70 |4930 | 405 | 70 | 23 | 21 | 321k|3847 | 0.000000e+00 | -- | Inf
409.23/409.48 c 387s|760000 |238583 | 2543k| 185M| 63 | 8 | 70 |4757 | 96 | 70 | 23 | 21 | 326k|3871 | 0.000000e+00 | -- | Inf
414.84/415.06 c 393s|770000 |241734 | 2576k| 187M| 63 | 8 | 70 |4561 | 15 | 70 | 23 | 21 | 330k|3893 | 0.000000e+00 | -- | Inf
420.43/420.64 c 398s|780000 |244765 | 2608k| 189M| 63 | 8 | 70 |4095 | 81 | 70 | 23 | 21 | 334k|3914 | 0.000000e+00 | -- | Inf
425.93/426.18 c 403s|790000 |247774 | 2641k| 192M| 63 | 8 | 70 |4437 | 29 | 70 | 23 | 21 | 339k|3933 | 0.000000e+00 | -- | Inf
431.43/431.66 c 408s|800000 |250741 | 2673k| 194M| 63 | 8 | 70 |4723 | 70 | 70 | 23 | 21 | 343k|3954 | 0.000000e+00 | -- | Inf
437.33/437.52 c 414s|810000 |253561 | 2707k| 196M| 63 | - | 70 |4863 | 37 | 70 | 23 | 21 | 347k|3966 | 0.000000e+00 | -- | Inf
442.72/442.91 c 419s|820000 |256790 | 2740k| 199M| 63 | 8 | 70 |5756 | 173 | 70 | 23 | 21 | 352k|3971 | 0.000000e+00 | -- | Inf
448.82/449.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
448.82/449.01 c 425s|830000 |259838 | 2773k| 201M| 63 | 8 | 70 |4422 | 274 | 70 | 23 | 21 | 356k|3984 | 0.000000e+00 | -- | Inf
454.42/454.65 c 430s|840000 |262894 | 2806k| 204M| 63 | - | 70 |4824 | 96 | 70 | 23 | 21 | 360k|3989 | 0.000000e+00 | -- | Inf
460.11/460.33 c 435s|850000 |265937 | 2838k| 206M| 63 | - | 70 |5254 | 47 | 70 | 23 | 21 | 365k|4000 | 0.000000e+00 | -- | Inf
465.91/466.17 c 441s|860000 |268939 | 2871k| 208M| 63 | - | 70 |4434 | 116 | 70 | 23 | 21 | 369k|4006 | 0.000000e+00 | -- | Inf
471.62/471.81 c 446s|870000 |271958 | 2904k| 211M| 63 | 8 | 70 |4219 | 29 | 70 | 23 | 21 | 373k|4020 | 0.000000e+00 | -- | Inf
477.41/477.64 c 452s|880000 |274812 | 2938k| 213M| 63 | 8 | 70 |4357 |1430 | 70 | 23 | 21 | 378k|4034 | 0.000000e+00 | -- | Inf
483.01/483.23 c 457s|890000 |277816 | 2971k| 216M| 63 | 8 | 70 |4595 | 15 | 70 | 23 | 21 | 382k|4044 | 0.000000e+00 | -- | Inf
488.61/488.84 c 463s|900000 |280967 | 3004k| 218M| 63 | 8 | 70 |4355 | 44 | 70 | 23 | 21 | 386k|4056 | 0.000000e+00 | -- | Inf
494.50/494.73 c 468s|910000 |283691 | 3038k| 220M| 63 | - | 70 |4749 | 132 | 70 | 23 | 21 | 391k|4062 | 0.000000e+00 | -- | Inf
500.60/500.89 c 474s|920000 |286553 | 3071k| 222M| 63 | - | 70 |3957 | 161 | 70 | 23 | 21 | 395k|4074 | 0.000000e+00 | -- | Inf
506.50/506.76 c 480s|930000 |289400 | 3104k| 225M| 63 | 8 | 70 |4137 | 526 | 70 | 23 | 21 | 400k|4085 | 0.000000e+00 | -- | Inf
512.20/512.49 c 485s|940000 |292534 | 3137k| 227M| 63 | 8 | 70 |4552 | 11 | 70 | 23 | 21 | 404k|4100 | 0.000000e+00 | -- | Inf
518.29/518.50 c 491s|950000 |295279 | 3171k| 230M| 63 | - | 70 |4140 | 45 | 70 | 23 | 21 | 408k|4105 | 0.000000e+00 | -- | Inf
524.00/524.25 c 496s|960000 |298240 | 3204k| 232M| 63 | - | 70 |4898 | 81 | 70 | 23 | 21 | 413k|4111 | 0.000000e+00 | -- | Inf
529.69/529.95 c 502s|970000 |301249 | 3237k| 234M| 63 | 8 | 70 |4677 | 43 | 70 | 23 | 21 | 417k|4118 | 0.000000e+00 | -- | Inf
535.49/535.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.49/535.74 c 507s|980000 |304299 | 3270k| 237M| 63 | 8 | 70 |4752 | 301 | 70 | 23 | 21 | 421k|4126 | 0.000000e+00 | -- | Inf
541.49/541.75 c 513s|990000 |307198 | 3303k| 239M| 63 | - | 70 |4583 | 91 | 70 | 23 | 21 | 426k|4140 | 0.000000e+00 | -- | Inf
547.18/547.42 c 518s| 1000k|310256 | 3335k| 242M| 63 | - | 70 |4810 | 38 | 70 | 23 | 21 | 430k|4148 | 0.000000e+00 | -- | Inf
552.78/553.06 c 524s| 1010k|313218 | 3367k| 244M| 63 | 8 | 70 |4258 | 139 | 70 | 23 | 21 | 434k|4166 | 0.000000e+00 | -- | Inf
558.68/558.97 c 529s| 1020k|316054 | 3399k| 246M| 63 | - | 70 |4199 | 46 | 0 | 0 | 21 | 439k|4175 | 0.000000e+00 | -- | Inf
564.18/564.46 c 534s| 1030k|319119 | 3431k| 249M| 63 | - | 70 |4442 | 160 | 70 | 23 | 21 | 443k|4186 | 0.000000e+00 | -- | Inf
569.97/570.25 c 540s| 1040k|321959 | 3464k| 251M| 63 | - | 70 |5034 | 39 | 70 | 23 | 21 | 448k|4197 | 0.000000e+00 | -- | Inf
575.58/575.87 c 545s| 1050k|325125 | 3497k| 254M| 63 | 8 | 70 |5229 | 99 | 70 | 23 | 21 | 452k|4203 | 0.000000e+00 | -- | Inf
581.68/581.97 c 551s| 1060k|327892 | 3530k| 256M| 63 | 8 | 70 |4710 | 22 | 70 | 23 | 21 | 456k|4213 | 0.000000e+00 | -- | Inf
587.48/587.77 c 556s| 1070k|330771 | 3563k| 258M| 63 | 8 | 70 |4220 | 163 | 70 | 23 | 21 | 461k|4225 | 0.000000e+00 | -- | Inf
593.47/593.76 c 562s| 1080k|333707 | 3595k| 260M| 63 | 8 | 70 |4120 | 114 | 70 | 23 | 21 | 465k|4235 | 0.000000e+00 | -- | Inf
599.17/599.48 c 568s| 1090k|336686 | 3628k| 263M| 63 | - | 70 |4359 | 18 | 70 | 23 | 21 | 469k|4250 | 0.000000e+00 | -- | Inf
605.07/605.30 c 573s| 1100k|339530 | 3660k| 265M| 63 | 8 | 70 |4425 | 150 | 70 | 23 | 21 | 474k|4258 | 0.000000e+00 | -- | Inf
610.86/611.19 c 579s| 1110k|342352 | 3693k| 268M| 63 | - | 70 |4641 | 24 | 70 | 23 | 21 | 478k|4273 | 0.000000e+00 | -- | Inf
617.06/617.39 c 585s| 1120k|345115 | 3725k| 270M| 63 | 8 | 70 |3820 | 363 | 70 | 23 | 21 | 483k|4282 | 0.000000e+00 | -- | Inf
622.86/623.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.86/623.11 c 590s| 1130k|347913 | 3758k| 272M| 63 | 8 | 70 |4534 | 46 | 70 | 23 | 21 | 487k|4289 | 0.000000e+00 | -- | Inf
628.66/628.93 c 596s| 1140k|350669 | 3791k| 275M| 63 | - | 70 |4706 | 16 | 70 | 23 | 21 | 491k|4300 | 0.000000e+00 | -- | Inf
634.86/635.12 c 602s| 1150k|353410 | 3824k| 277M| 63 | 8 | 70 |4433 | 41 | 70 | 23 | 21 | 496k|4307 | 0.000000e+00 | -- | Inf
640.55/640.83 c 607s| 1160k|356491 | 3856k| 279M| 63 | - | 70 |4665 | 26 | 70 | 23 | 21 | 500k|4315 | 0.000000e+00 | -- | Inf
646.65/646.97 c 613s| 1170k|359137 | 3889k| 282M| 63 | 8 | 70 |4167 | 20 | 70 | 23 | 21 | 505k|4323 | 0.000000e+00 | -- | Inf
652.65/652.99 c 619s| 1180k|361779 | 3921k| 284M| 63 | - | 70 |3851 | 119 | 70 | 23 | 21 | 509k|4332 | 0.000000e+00 | -- | Inf
658.66/658.91 c 624s| 1190k|364652 | 3954k| 286M| 63 | 8 | 70 |4201 | 144 | 70 | 23 | 21 | 514k|4342 | 0.000000e+00 | -- | Inf
664.65/664.94 c 630s| 1200k|367471 | 3987k| 289M| 63 | 8 | 70 |4368 | 19 | 70 | 23 | 21 | 518k|4347 | 0.000000e+00 | -- | Inf
670.24/670.52 c 635s| 1210k|370493 | 4019k| 291M| 63 | 8 | 70 |5061 | 32 | 70 | 23 | 21 | 522k|4351 | 0.000000e+00 | -- | Inf
676.34/676.67 c 641s| 1220k|373326 | 4052k| 293M| 63 | - | 70 |4269 | 50 | 70 | 23 | 21 | 527k|4359 | 0.000000e+00 | -- | Inf
682.24/682.59 c 647s| 1230k|376053 | 4086k| 296M| 63 | 8 | 70 |4398 | 91 | 70 | 23 | 21 | 531k|4369 | 0.000000e+00 | -- | Inf
688.34/688.63 c 652s| 1240k|378802 | 4118k| 298M| 63 | 8 | 70 |4251 | 172 | 70 | 23 | 21 | 536k|4383 | 0.000000e+00 | -- | Inf
694.13/694.47 c 658s| 1250k|381812 | 4151k| 300M| 63 | - | 70 |4382 | 21 | 70 | 23 | 21 | 540k|4392 | 0.000000e+00 | -- | Inf
700.13/700.46 c 664s| 1260k|384588 | 4184k| 303M| 63 | 8 | 70 |4664 | 50 | 70 | 23 | 21 | 544k|4413 | 0.000000e+00 | -- | Inf
706.33/706.62 c 670s| 1270k|387225 | 4216k| 305M| 63 | 8 | 70 |4476 | 32 | 70 | 23 | 21 | 549k|4421 | 0.000000e+00 | -- | Inf
712.13/712.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.13/712.44 c 675s| 1280k|390138 | 4249k| 307M| 63 | 8 | 70 |4630 | 122 | 70 | 23 | 21 | 553k|4435 | 0.000000e+00 | -- | Inf
717.82/718.19 c 681s| 1290k|392904 | 4283k| 310M| 63 | - | 70 |4617 | 100 | 70 | 23 | 21 | 558k|4438 | 0.000000e+00 | -- | Inf
723.83/724.17 c 686s| 1300k|395636 | 4316k| 312M| 63 | 8 | 70 |4235 | 479 | 70 | 23 | 21 | 562k|4440 | 0.000000e+00 | -- | Inf
729.52/729.81 c 692s| 1310k|398617 | 4349k| 314M| 63 | - | 70 |4516 | 296 | 70 | 23 | 21 | 566k|4442 | 0.000000e+00 | -- | Inf
735.92/736.23 c 698s| 1320k|401221 | 4380k| 317M| 63 | 8 | 70 |4284 | 67 | 70 | 23 | 21 | 571k|4442 | 0.000000e+00 | -- | Inf
741.72/742.05 c 703s| 1330k|404137 | 4413k| 319M| 63 | 8 | 70 |4825 | 204 | 70 | 23 | 21 | 575k|4442 | 0.000000e+00 | -- | Inf
747.52/747.89 c 709s| 1340k|407192 | 4446k| 322M| 63 | 8 | 70 |5042 | 76 | 70 | 23 | 21 | 580k|4455 | 0.000000e+00 | -- | Inf
753.81/754.12 c 715s| 1350k|409865 | 4478k| 324M| 63 | - | 70 |4753 | 34 | 70 | 23 | 21 | 584k|4464 | 0.000000e+00 | -- | Inf
759.61/759.94 c 720s| 1360k|412734 | 4510k| 326M| 63 | 8 | 70 |4464 | 167 | 70 | 23 | 21 | 588k|4469 | 0.000000e+00 | -- | Inf
765.61/765.92 c 726s| 1370k|415584 | 4542k| 328M| 63 | 8 | 70 |4365 | 804 | 70 | 23 | 21 | 593k|4477 | 0.000000e+00 | -- | Inf
771.51/771.81 c 732s| 1380k|418550 | 4575k| 331M| 63 | - | 70 |4140 | 41 | 70 | 23 | 21 | 597k|4484 | 0.000000e+00 | -- | Inf
777.31/777.67 c 737s| 1390k|421485 | 4608k| 333M| 63 | 8 | 70 |4607 | 35 | 70 | 23 | 21 | 601k|4505 | 0.000000e+00 | -- | Inf
783.30/783.67 c 743s| 1400k|424273 | 4639k| 335M| 63 | - | 70 |4570 | 30 | 70 | 23 | 21 | 606k|4505 | 0.000000e+00 | -- | Inf
789.20/789.51 c 748s| 1410k|427086 | 4672k| 338M| 63 | 8 | 70 |4421 | 36 | 70 | 23 | 21 | 610k|4505 | 0.000000e+00 | -- | Inf
795.30/795.60 c 754s| 1420k|429785 | 4705k| 340M| 63 | - | 70 |4515 | 123 | 70 | 23 | 21 | 615k|4505 | 0.000000e+00 | -- | Inf
801.00/801.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.00/801.37 c 760s| 1430k|432595 | 4737k| 343M| 63 | 8 | 70 |4935 | 20 | 70 | 23 | 21 | 619k|4511 | 0.000000e+00 | -- | Inf
807.00/807.33 c 765s| 1440k|435632 | 4769k| 345M| 63 | 8 | 70 |4754 | 294 | 70 | 23 | 21 | 624k|4519 | 0.000000e+00 | -- | Inf
812.99/813.34 c 771s| 1450k|438453 | 4802k| 347M| 63 | - | 70 |4409 | 31 | 70 | 23 | 21 | 628k|4533 | 0.000000e+00 | -- | Inf
818.89/819.28 c 777s| 1460k|441242 | 4836k| 350M| 63 | 8 | 70 |4840 | 129 | 70 | 23 | 21 | 632k|4540 | 0.000000e+00 | -- | Inf
824.89/825.28 c 782s| 1470k|444100 | 4869k| 352M| 63 | 8 | 70 |4904 | 33 | 70 | 23 | 21 | 637k|4548 | 0.000000e+00 | -- | Inf
830.89/831.21 c 788s| 1480k|446925 | 4901k| 355M| 63 | - | 70 |5047 | 230 | 70 | 23 | 21 | 641k|4556 | 0.000000e+00 | -- | Inf
837.38/837.77 c 794s| 1490k|449457 | 4934k| 357M| 63 | 8 | 70 |4229 | 62 | 70 | 23 | 21 | 646k|4566 | 0.000000e+00 | -- | Inf
843.29/843.67 c 800s| 1500k|452223 | 4966k| 359M| 63 | - | 70 |4472 | 186 | 70 | 23 | 21 | 650k|4570 | 0.000000e+00 | -- | Inf
849.28/849.66 c 806s| 1510k|455101 | 4998k| 361M| 63 | 8 | 70 |4525 | 15 | 70 | 23 | 21 | 655k|4577 | 0.000000e+00 | -- | Inf
855.17/855.53 c 811s| 1520k|457967 | 5031k| 364M| 63 | - | 70 |4739 | 95 | 70 | 23 | 21 | 659k|4579 | 0.000000e+00 | -- | Inf
860.68/861.07 c 816s| 1530k|461100 | 5063k| 366M| 63 | - | 70 |5655 | 26 | 70 | 23 | 21 | 664k|4587 | 0.000000e+00 | -- | Inf
866.88/867.22 c 822s| 1540k|464036 | 5096k| 369M| 63 | - | 70 |5262 | 27 | 0 | 0 | 21 | 668k|4595 | 0.000000e+00 | -- | Inf
872.87/873.23 c 828s| 1550k|466978 | 5129k| 371M| 63 | 8 | 70 |5567 | 18 | 70 | 23 | 21 | 672k|4602 | 0.000000e+00 | -- | Inf
879.17/879.56 c 834s| 1560k|469765 | 5162k| 373M| 63 | - | 70 |5283 | 17 | 70 | 23 | 21 | 677k|4608 | 0.000000e+00 | -- | Inf
885.17/885.56 c 840s| 1570k|472678 | 5195k| 376M| 63 | 8 | 70 |5208 | 110 | 70 | 23 | 21 | 681k|4618 | 0.000000e+00 | -- | Inf
891.67/892.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
891.67/892.03 c 846s| 1580k|475365 | 5228k| 378M| 63 | 8 | 70 |4640 | 70 | 70 | 23 | 21 | 686k|4634 | 0.000000e+00 | -- | Inf
897.56/897.92 c 852s| 1590k|478588 | 5260k| 380M| 63 | 8 | 70 |4830 | 542 | 70 | 23 | 21 | 690k|4635 | 0.000000e+00 | -- | Inf
902.86/903.27 c 857s| 1600k|481859 | 5293k| 383M| 63 | 8 | 70 |6104 |1894 | 70 | 23 | 21 | 694k|4637 | 0.000000e+00 | -- | Inf
908.46/908.89 c 862s| 1610k|485050 | 5327k| 386M| 63 | 8 | 70 |6120 | 508 | 70 | 23 | 21 | 698k|4645 | 0.000000e+00 | -- | Inf
914.56/914.97 c 868s| 1620k|487962 | 5359k| 388M| 63 | 8 | 70 |5660 | 170 | 70 | 23 | 21 | 703k|4655 | 0.000000e+00 | -- | Inf
920.26/920.65 c 873s| 1630k|490918 | 5392k| 390M| 63 | 8 | 70 |6467 | 76 | 70 | 23 | 21 | 707k|4661 | 0.000000e+00 | -- | Inf
926.96/927.35 c 880s| 1640k|493576 | 5425k| 392M| 63 | 8 | 70 |4339 | 55 | 70 | 23 | 21 | 712k|4667 | 0.000000e+00 | -- | Inf
932.95/933.37 c 885s| 1650k|496385 | 5457k| 395M| 63 | - | 70 |4647 | 14 | 70 | 23 | 21 | 716k|4674 | 0.000000e+00 | -- | Inf
939.05/939.42 c 891s| 1660k|499063 | 5491k| 397M| 63 | - | 70 |5129 | 45 | 70 | 23 | 21 | 721k|4682 | 0.000000e+00 | -- | Inf
945.14/945.57 c 897s| 1670k|501755 | 5523k| 399M| 63 | 8 | 70 |4648 | 193 | 70 | 23 | 21 | 725k|4686 | 0.000000e+00 | -- | Inf
951.24/951.68 c 903s| 1680k|504669 | 5556k| 402M| 63 | 8 | 70 |5293 | 410 | 70 | 23 | 21 | 730k|4699 | 0.000000e+00 | -- | Inf
957.64/958.10 c 909s| 1690k|507315 | 5588k| 404M| 63 | - | 70 |4608 | 17 | 70 | 23 | 21 | 734k|4709 | 0.000000e+00 | -- | Inf
963.93/964.38 c 915s| 1700k|510027 | 5621k| 406M| 63 | 8 | 70 |4983 | 321 | 70 | 23 | 21 | 739k|4718 | 0.000000e+00 | -- | Inf
969.63/970.05 c 920s| 1710k|513111 | 5653k| 409M| 63 | 8 | 70 |5763 | 215 | 70 | 23 | 21 | 743k|4723 | 0.000000e+00 | -- | Inf
975.23/975.69 c 926s| 1720k|516195 | 5687k| 411M| 63 | 8 | 70 |6549 | 87 | 70 | 23 | 21 | 747k|4736 | 0.000000e+00 | -- | Inf
982.02/982.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.02/982.42 c 932s| 1730k|518848 | 5719k| 413M| 63 | - | 70 |4648 | 165 | 70 | 23 | 21 | 752k|4748 | 0.000000e+00 | -- | Inf
987.92/988.31 c 938s| 1740k|521810 | 5752k| 416M| 63 | 8 | 70 |4590 | 143 | 70 | 23 | 21 | 756k|4748 | 0.000000e+00 | -- | Inf
993.72/994.15 c 943s| 1750k|524769 | 5784k| 418M| 63 | 8 | 70 |4806 | 51 | 70 | 23 | 21 | 761k|4749 | 0.000000e+00 | -- | Inf
999.21/999.69 c 948s| 1760k|527682 | 5817k| 421M| 63 | - | 70 |6026 | 75 | 70 | 23 | 21 | 765k|4764 | 0.000000e+00 | -- | Inf
1005.12/1005.50 c 954s| 1770k|530843 | 5850k| 423M| 63 | 8 | 70 |6578 | 53 | 70 | 23 | 21 | 769k|4766 | 0.000000e+00 | -- | Inf
1011.62/1012.06 c 960s| 1780k|533778 | 5883k| 425M| 63 | 8 | 70 |4578 | 74 | 70 | 23 | 21 | 774k|4776 | 0.000000e+00 | -- | Inf
1017.81/1018.23 c 966s| 1790k|536426 | 5916k| 428M| 63 | - | 70 |4757 | 198 | 70 | 23 | 21 | 778k|4782 | 0.000000e+00 | -- | Inf
1023.61/1024.06 c 972s| 1800k|539219 | 5949k| 430M| 63 | 8 | 70 |5658 | 47 | 70 | 23 | 21 | 783k|4796 | 0.000000e+00 | -- | Inf
1029.81/1030.28 c 977s| 1810k|541953 | 5981k| 432M| 63 | - | 70 |5003 | 38 | 70 | 23 | 21 | 787k|4797 | 0.000000e+00 | -- | Inf
1036.00/1036.40 c 983s| 1820k|544862 | 6013k| 435M| 63 | 8 | 70 |5264 | 27 | 70 | 23 | 21 | 791k|4804 | 0.000000e+00 | -- | Inf
1041.90/1042.34 c 989s| 1830k|547830 | 6046k| 437M| 63 | 8 | 70 |5028 | 59 | 70 | 23 | 21 | 796k|4808 | 0.000000e+00 | -- | Inf
1047.90/1048.38 c 995s| 1840k|550535 | 6078k| 439M| 63 | 8 | 70 |5030 |1132 | 70 | 23 | 21 | 800k|4818 | 0.000000e+00 | -- | Inf
1054.50/1054.90 c 1001s| 1850k|553149 | 6111k| 442M| 63 | 8 | 70 |4526 | 41 | 70 | 23 | 21 | 805k|4824 | 0.000000e+00 | -- | Inf
1059.90/1060.37 c 1006s| 1860k|556376 | 6142k| 444M| 63 | 8 | 70 |5669 | 75 | 70 | 23 | 21 | 809k|4835 | 0.000000e+00 | -- | Inf
1066.19/1066.66 c 1012s| 1870k|559243 | 6175k| 446M| 63 | 8 | 70 |5018 | 188 | 70 | 23 | 21 | 814k|4846 | 0.000000e+00 | -- | Inf
1071.59/1072.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.59/1072.04 c 1017s| 1880k|562835 | 6208k| 449M| 63 | 8 | 70 |5678 | 176 | 70 | 23 | 21 | 818k|4855 | 0.000000e+00 | -- | Inf
1078.19/1078.65 c 1024s| 1890k|565486 | 6240k| 451M| 63 | 8 | 70 |4852 | 145 | 70 | 23 | 21 | 822k|4862 | 0.000000e+00 | -- | Inf
1084.49/1084.92 c 1029s| 1900k|568239 | 6272k| 453M| 63 | 8 | 70 |4854 | 31 | 70 | 23 | 21 | 826k|4872 | 0.000000e+00 | -- | Inf
1090.49/1090.92 c 1035s| 1910k|571130 | 6304k| 456M| 63 | 8 | 70 |4895 | 123 | 70 | 23 | 21 | 831k|4882 | 0.000000e+00 | -- | Inf
1095.98/1096.41 c 1040s| 1920k|574319 | 6336k| 458M| 63 | 8 | 70 |5319 | 24 | 70 | 23 | 21 | 835k|4893 | 0.000000e+00 | -- | Inf
1102.28/1102.76 c 1046s| 1930k|577150 | 6369k| 460M| 63 | 8 | 70 |4867 | 32 | 70 | 23 | 21 | 839k|4900 | 0.000000e+00 | -- | Inf
1108.38/1108.88 c 1052s| 1940k|579913 | 6403k| 463M| 63 | - | 70 |4880 | 162 | 70 | 23 | 21 | 844k|4906 | 0.000000e+00 | -- | Inf
1114.38/1114.89 c 1058s| 1950k|582753 | 6435k| 465M| 63 | 8 | 70 |5439 | 84 | 70 | 23 | 21 | 848k|4917 | 0.000000e+00 | -- | Inf
1120.67/1121.11 c 1064s| 1960k|585562 | 6469k| 468M| 63 | - | 70 |5258 | 50 | 70 | 23 | 21 | 853k|4925 | 0.000000e+00 | -- | Inf
1127.07/1127.50 c 1070s| 1970k|588426 | 6501k| 470M| 63 | 8 | 70 |4459 | 92 | 70 | 23 | 21 | 857k|4930 | 0.000000e+00 | -- | Inf
1132.77/1133.27 c 1076s| 1980k|591529 | 6533k| 472M| 63 | 8 | 70 |5198 | 75 | 70 | 23 | 21 | 861k|4940 | 0.000000e+00 | -- | Inf
1139.17/1139.66 c 1082s| 1990k|594247 | 6566k| 475M| 63 | 8 | 70 |5171 | 110 | 70 | 23 | 21 | 866k|4950 | 0.000000e+00 | -- | Inf
1145.36/1145.82 c 1087s| 2000k|597146 | 6599k| 477M| 63 | - | 70 |4880 | 27 | 70 | 23 | 21 | 870k|4959 | 0.000000e+00 | -- | Inf
1150.76/1151.20 c 1093s| 2010k|600451 | 6630k| 479M| 63 | 8 | 70 |6090 | 52 | 70 | 23 | 21 | 874k|4965 | 0.000000e+00 | -- | Inf
1157.16/1157.64 c 1099s| 2020k|603340 | 6663k| 482M| 63 | - | 70 |4891 | 44 | 70 | 23 | 21 | 879k|4973 | 0.000000e+00 | -- | Inf
1163.06/1163.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.06/1163.56 c 1104s| 2030k|606264 | 6696k| 484M| 63 | - | 70 |5323 | 13 | 70 | 23 | 21 | 883k|4980 | 0.000000e+00 | -- | Inf
1169.36/1169.87 c 1110s| 2040k|609127 | 6729k| 486M| 63 | 8 | 70 |4552 | 336 | 70 | 23 | 21 | 888k|4986 | 0.000000e+00 | -- | Inf
1174.95/1175.43 c 1116s| 2050k|612476 | 6761k| 489M| 63 | - | 70 |5122 | 145 | 70 | 23 | 21 | 892k|4996 | 0.000000e+00 | -- | Inf
1180.76/1181.26 c 1121s| 2060k|615610 | 6793k| 491M| 63 | - | 70 |5456 | 14 | 70 | 23 | 21 | 896k|5003 | 0.000000e+00 | -- | Inf
1187.25/1187.71 c 1127s| 2070k|618264 | 6826k| 493M| 63 | 8 | 70 |4436 | 103 | 70 | 23 | 21 | 900k|5008 | 0.000000e+00 | -- | Inf
1193.45/1193.92 c 1133s| 2080k|621028 | 6858k| 496M| 63 | 8 | 70 |4344 | 751 | 70 | 23 | 21 | 905k|5020 | 0.000000e+00 | -- | Inf
1199.65/1200.15 c 1139s| 2090k|623683 | 6891k| 498M| 63 | 8 | 70 |4650 | 36 | 70 | 23 | 21 | 909k|5024 | 0.000000e+00 | -- | Inf
1205.54/1206.07 c 1145s| 2100k|626520 | 6924k| 501M| 63 | 8 | 70 |5434 | 389 | 70 | 23 | 21 | 914k|5029 | 0.000000e+00 | -- | Inf
1211.64/1212.11 c 1150s| 2110k|629427 | 6956k| 503M| 63 | - | 70 |5524 | 27 | 70 | 23 | 21 | 918k|5037 | 0.000000e+00 | -- | Inf
1217.44/1217.98 c 1156s| 2120k|632394 | 6991k| 505M| 63 | - | 70 |5966 | 94 | 70 | 23 | 21 | 923k|5042 | 0.000000e+00 | -- | Inf
1223.54/1224.06 c 1162s| 2130k|635055 | 7026k| 508M| 63 | 8 | 70 |6611 | 45 | 70 | 23 | 21 | 928k|5049 | 0.000000e+00 | -- | Inf
1230.23/1230.78 c 1168s| 2140k|637863 | 7058k| 510M| 63 | - | 70 |5549 | 89 | 70 | 23 | 21 | 932k|5055 | 0.000000e+00 | -- | Inf
1235.44/1235.95 c 1173s| 2150k|641159 | 7089k| 513M| 63 | 8 | 70 |6594 | 510 | 70 | 23 | 21 | 936k|5057 | 0.000000e+00 | -- | Inf
1242.33/1242.83 c 1180s| 2160k|643745 | 7121k| 515M| 63 | 8 | 70 |5198 | 47 | 70 | 23 | 21 | 940k|5061 | 0.000000e+00 | -- | Inf
1248.33/1248.83 c 1185s| 2170k|646521 | 7153k| 517M| 63 | 8 | 70 |5478 | 535 | 70 | 23 | 21 | 945k|5064 | 0.000000e+00 | -- | Inf
1254.73/1255.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.73/1255.28 c 1192s| 2180k|649332 | 7185k| 519M| 63 | 8 | 70 |4823 | 322 | 70 | 23 | 21 | 949k|5092 | 0.000000e+00 | -- | Inf
1260.13/1260.66 c 1197s| 2190k|652659 | 7218k| 522M| 63 | 8 | 70 |6074 | 112 | 70 | 23 | 21 | 953k|5092 | 0.000000e+00 | -- | Inf
1266.53/1267.02 c 1203s| 2200k|655385 | 7251k| 524M| 63 | 8 | 70 |5516 | 433 | 70 | 23 | 21 | 958k|5092 | 0.000000e+00 | -- | Inf
1272.72/1273.28 c 1209s| 2210k|658111 | 7284k| 526M| 63 | 8 | 70 |4962 | 23 | 70 | 23 | 21 | 962k|5092 | 0.000000e+00 | -- | Inf
1278.72/1279.28 c 1214s| 2220k|661117 | 7315k| 529M| 63 | - | 70 |5360 | 95 | 70 | 23 | 21 | 967k|5093 | 0.000000e+00 | -- | Inf
1284.82/1285.34 c 1220s| 2230k|664121 | 7348k| 531M| 63 | 8 | 70 |5728 | 704 | 70 | 23 | 21 | 971k|5095 | 0.000000e+00 | -- | Inf
1291.42/1291.95 c 1227s| 2240k|666829 | 7381k| 533M| 63 | - | 70 |5094 | 28 | 70 | 23 | 21 | 976k|5097 | 0.000000e+00 | -- | Inf
1297.41/1297.95 c 1232s| 2250k|669834 | 7413k| 536M| 63 | - | 70 |5391 | 29 | 0 | 0 | 21 | 980k|5100 | 0.000000e+00 | -- | Inf
1303.51/1304.09 c 1238s| 2260k|672798 | 7445k| 538M| 63 | 8 | 70 |5635 | 144 | 70 | 23 | 21 | 984k|5108 | 0.000000e+00 | -- | Inf
1309.11/1309.65 c 1243s| 2270k|675871 | 7478k| 541M| 63 | - | 70 |6912 | 16 | 70 | 23 | 21 | 989k|5116 | 0.000000e+00 | -- | Inf
1315.40/1315.94 c 1249s| 2280k|678444 | 7512k| 543M| 63 | - | 70 |6945 | 41 | 70 | 23 | 21 | 993k|5120 | 0.000000e+00 | -- | Inf
1322.50/1323.06 c 1256s| 2290k|681103 | 7545k| 545M| 63 | 8 | 70 |5149 | 53 | 70 | 23 | 21 | 998k|5126 | 0.000000e+00 | -- | Inf
1328.70/1329.20 c 1262s| 2300k|683845 | 7577k| 547M| 63 | 8 | 70 |5090 | 32 | 70 | 23 | 21 |1002k|5144 | 0.000000e+00 | -- | Inf
1335.00/1335.51 c 1268s| 2310k|686595 | 7609k| 550M| 63 | 8 | 70 |4990 | 191 | 70 | 23 | 21 |1007k|5147 | 0.000000e+00 | -- | Inf
1341.10/1341.65 c 1274s| 2320k|689342 | 7641k| 552M| 63 | - | 70 |5181 | 22 | 70 | 23 | 21 |1011k|5156 | 0.000000e+00 | -- | Inf
1346.60/1347.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.60/1347.11 c 1279s| 2330k|692613 | 7674k| 555M| 63 | 8 | 70 |6447 | 326 | 70 | 23 | 21 |1015k|5159 | 0.000000e+00 | -- | Inf
1352.89/1353.49 c 1285s| 2340k|695315 | 7706k| 557M| 63 | 8 | 70 |5710 | 339 | 70 | 23 | 21 |1020k|5159 | 0.000000e+00 | -- | Inf
1359.48/1360.05 c 1291s| 2350k|698180 | 7738k| 559M| 63 | 8 | 70 |5245 | 18 | 70 | 23 | 21 |1024k|5159 | 0.000000e+00 | -- | Inf
1365.89/1366.44 c 1297s| 2360k|700912 | 7771k| 561M| 63 | 8 | 70 |5059 | 54 | 70 | 23 | 21 |1029k|5159 | 0.000000e+00 | -- | Inf
1372.49/1373.08 c 1304s| 2370k|703602 | 7803k| 564M| 63 | 8 | 70 |5259 | 53 | 70 | 23 | 21 |1033k|5159 | 0.000000e+00 | -- | Inf
1378.58/1379.18 c 1310s| 2380k|706347 | 7836k| 566M| 63 | 8 | 70 |5918 | 180 | 70 | 23 | 21 |1038k|5161 | 0.000000e+00 | -- | Inf
1385.38/1385.93 c 1316s| 2390k|709058 | 7869k| 569M| 63 | 8 | 70 |5631 | 113 | 70 | 23 | 21 |1042k|5170 | 0.000000e+00 | -- | Inf
1391.38/1391.97 c 1322s| 2400k|711918 | 7900k| 571M| 63 | 8 | 70 |6561 | 100 | 70 | 23 | 21 |1047k|5183 | 0.000000e+00 | -- | Inf
1397.98/1398.56 c 1328s| 2410k|714725 | 7933k| 573M| 63 | 8 | 70 |5894 | 32 | 70 | 23 | 21 |1051k|5188 | 0.000000e+00 | -- | Inf
1404.67/1405.27 c 1335s| 2420k|717389 | 7966k| 575M| 63 | 8 | 70 |5388 | 304 | 70 | 23 | 21 |1056k|5199 | 0.000000e+00 | -- | Inf
1411.17/1411.75 c 1341s| 2430k|720128 | 7998k| 578M| 63 | - | 70 |4934 | 31 | 70 | 23 | 21 |1060k|5205 | 0.000000e+00 | -- | Inf
1417.17/1417.71 c 1346s| 2440k|723097 | 8030k| 580M| 63 | - | 70 |5463 | 26 | 70 | 23 | 21 |1064k|5213 | 0.000000e+00 | -- | Inf
1423.46/1424.07 c 1353s| 2450k|725853 | 8062k| 583M| 63 | - | 70 |4990 | 94 | 70 | 23 | 21 |1069k|5216 | 0.000000e+00 | -- | Inf
1430.27/1430.80 c 1359s| 2460k|728256 | 8096k| 585M| 63 | - | 70 |4582 | 25 | 70 | 23 | 21 |1073k|5224 | 0.000000e+00 | -- | Inf
1436.26/1436.87 c 1365s| 2470k|731065 | 8128k| 587M| 63 | 8 | 70 |4888 | 64 | 70 | 23 | 21 |1078k|5227 | 0.000000e+00 | -- | Inf
1442.36/1442.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.36/1442.93 c 1371s| 2480k|733843 | 8160k| 590M| 63 | 8 | 70 |5323 | 37 | 70 | 23 | 21 |1082k|5232 | 0.000000e+00 | -- | Inf
1448.66/1449.27 c 1377s| 2490k|736393 | 8193k| 592M| 63 | 8 | 70 |5154 | 16 | 70 | 23 | 21 |1087k|5239 | 0.000000e+00 | -- | Inf
1454.95/1455.53 c 1383s| 2500k|739286 | 8225k| 594M| 63 | 8 | 70 |5252 | 30 | 70 | 23 | 21 |1091k|5245 | 0.000000e+00 | -- | Inf
1460.95/1461.59 c 1388s| 2510k|741997 | 8258k| 597M| 63 | - | 70 |5861 | 29 | 70 | 23 | 21 |1096k|5248 | 0.000000e+00 | -- | Inf
1467.35/1467.99 c 1394s| 2520k|744690 | 8290k| 599M| 63 | 8 | 70 |4844 | 106 | 70 | 23 | 21 |1100k|5255 | 0.000000e+00 | -- | Inf
1474.05/1474.69 c 1401s| 2530k|747150 | 8322k| 601M| 63 | 8 | 70 |4686 | 196 | 70 | 23 | 21 |1105k|5265 | 0.000000e+00 | -- | Inf
1479.45/1480.06 c 1406s| 2540k|750259 | 8355k| 604M| 63 | 8 | 70 |6438 | 41 | 70 | 23 | 21 |1109k|5270 | 0.000000e+00 | -- | Inf
1484.84/1485.43 c 1411s| 2550k|753451 | 8385k| 606M| 63 | 8 | 70 |7956 | 54 | 70 | 23 | 21 |1113k|5275 | 0.000000e+00 | -- | Inf
1491.54/1492.13 c 1417s| 2560k|756235 | 8417k| 608M| 63 | 8 | 70 |5221 | 371 | 70 | 23 | 21 |1118k|5278 | 0.000000e+00 | -- | Inf
1498.04/1498.67 c 1424s| 2570k|758806 | 8450k| 610M| 63 | 8 | 70 |4781 | 16 | 70 | 23 | 21 |1122k|5283 | 0.000000e+00 | -- | Inf
1504.14/1504.78 c 1430s| 2580k|761424 | 8483k| 613M| 63 | - | 70 |5105 | 128 | 70 | 23 | 21 |1127k|5295 | 0.000000e+00 | -- | Inf
1510.64/1511.22 c 1436s| 2590k|764037 | 8516k| 615M| 63 | 8 | 70 |4966 | 139 | 70 | 23 | 21 |1131k|5301 | 0.000000e+00 | -- | Inf
1516.93/1517.59 c 1442s| 2600k|766792 | 8548k| 617M| 63 | 8 | 70 |4883 | 144 | 70 | 23 | 21 |1136k|5307 | 0.000000e+00 | -- | Inf
1522.93/1523.51 c 1447s| 2610k|769602 | 8580k| 620M| 63 | 8 | 70 |5361 | 100 | 70 | 23 | 21 |1140k|5313 | 0.000000e+00 | -- | Inf
1529.23/1529.80 c 1453s| 2620k|772300 | 8612k| 622M| 63 | 8 | 70 |4956 | 33 | 70 | 23 | 21 |1144k|5317 | 0.000000e+00 | -- | Inf
1535.52/1536.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.52/1536.12 c 1459s| 2630k|775148 | 8645k| 624M| 63 | 8 | 70 |5025 | 19 | 70 | 23 | 21 |1149k|5328 | 0.000000e+00 | -- | Inf
1541.73/1542.34 c 1465s| 2640k|777971 | 8677k| 627M| 63 | 8 | 70 |5302 | 123 | 70 | 23 | 21 |1153k|5334 | 0.000000e+00 | -- | Inf
1548.23/1548.82 c 1472s| 2650k|780592 | 8710k| 629M| 63 | - | 70 |4942 | 754 | 70 | 23 | 21 |1158k|5343 | 0.000000e+00 | -- | Inf
1554.62/1555.25 c 1478s| 2660k|783443 | 8742k| 631M| 63 | 8 | 70 |4839 | 12 | 70 | 23 | 21 |1162k|5355 | 0.000000e+00 | -- | Inf
1560.22/1560.82 c 1483s| 2670k|786411 | 8776k| 634M| 63 | 8 | 70 |6218 | 49 | 70 | 23 | 21 |1167k|5360 | 0.000000e+00 | -- | Inf
1566.72/1567.37 c 1489s| 2680k|789092 | 8808k| 636M| 63 | 8 | 70 |5381 | 198 | 70 | 23 | 21 |1171k|5377 | 0.000000e+00 | -- | Inf
1573.01/1573.60 c 1495s| 2690k|791927 | 8841k| 638M| 63 | - | 70 |5258 | 23 | 70 | 23 | 21 |1176k|5386 | 0.000000e+00 | -- | Inf
1579.41/1580.06 c 1501s| 2700k|794659 | 8873k| 641M| 63 | - | 70 |5057 | 13 | 0 | 0 | 21 |1180k|5398 | 0.000000e+00 | -- | Inf
1585.20/1585.88 c 1507s| 2710k|797670 | 8906k| 643M| 63 | - | 70 |5609 | 33 | 70 | 23 | 21 |1184k|5406 | 0.000000e+00 | -- | Inf
1591.11/1591.77 c 1512s| 2720k|800564 | 8938k| 646M| 63 | 8 | 70 |6159 | 23 | 70 | 23 | 21 |1189k|5414 | 0.000000e+00 | -- | Inf
1597.00/1597.63 c 1518s| 2730k|803875 | 8971k| 648M| 63 | 8 | 70 |6706 | 75 | 70 | 23 | 21 |1193k|5418 | 0.000000e+00 | -- | Inf
1603.80/1604.48 c 1525s| 2740k|806583 | 9002k| 650M| 63 | - | 70 |5505 | 604 | 70 | 23 | 21 |1197k|5423 | 0.000000e+00 | -- | Inf
1610.59/1611.21 c 1531s| 2750k|809234 | 9035k| 652M| 63 | - | 70 |4813 | 45 | 70 | 23 | 21 |1202k|5429 | 0.000000e+00 | -- | Inf
1617.60/1618.28 c 1538s| 2760k|811609 | 9068k| 655M| 63 | 8 | 70 |4427 | 186 | 70 | 23 | 21 |1207k|5432 | 0.000000e+00 | -- | Inf
1623.79/1624.48 c 1544s| 2770k|814387 | 9100k| 657M| 63 | 8 | 70 |4621 | 96 | 70 | 23 | 21 |1211k|5437 | 0.000000e+00 | -- | Inf
1629.50/1630.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1629.50/1630.19 c 1549s| 2780k|817183 | 9130k| 659M| 63 | 8 | 70 |5600 | 189 | 70 | 23 | 21 |1215k|5439 | 0.000000e+00 | -- | Inf
1636.10/1636.74 c 1555s| 2790k|819887 | 9162k| 662M| 63 | 8 | 70 |4781 | 130 | 70 | 23 | 21 |1220k|5442 | 0.000000e+00 | -- | Inf
1642.19/1642.89 c 1561s| 2800k|822545 | 9195k| 664M| 63 | 8 | 70 |4998 | 38 | 70 | 23 | 21 |1224k|5447 | 0.000000e+00 | -- | Inf
1648.69/1649.34 c 1567s| 2810k|825183 | 9227k| 666M| 63 | - | 70 |4882 | 56 | 70 | 23 | 21 |1229k|5453 | 0.000000e+00 | -- | Inf
1655.29/1655.93 c 1574s| 2820k|827875 | 9259k| 669M| 63 | 8 | 70 |4873 | 25 | 70 | 23 | 21 |1233k|5460 | 0.000000e+00 | -- | Inf
1661.59/1662.22 c 1580s| 2830k|830569 | 9292k| 671M| 63 | - | 70 |5145 | 20 | 70 | 23 | 21 |1238k|5465 | 0.000000e+00 | -- | Inf
1667.28/1667.99 c 1585s| 2840k|833658 | 9324k| 673M| 63 | 8 | 70 |5692 | 234 | 70 | 23 | 21 |1242k|5468 | 0.000000e+00 | -- | Inf
1673.38/1674.03 c 1591s| 2850k|836582 | 9355k| 676M| 63 | - | 70 |5559 | 21 | 70 | 23 | 21 |1246k|5472 | 0.000000e+00 | -- | Inf
1679.67/1680.32 c 1597s| 2860k|839345 | 9388k| 678M| 63 | - | 70 |5478 | 44 | 70 | 23 | 21 |1251k|5479 | 0.000000e+00 | -- | Inf
1686.07/1686.77 c 1603s| 2870k|842155 | 9421k| 680M| 63 | 8 | 70 |4672 | 43 | 70 | 23 | 21 |1255k|5484 | 0.000000e+00 | -- | Inf
1692.47/1693.13 c 1609s| 2880k|844662 | 9454k| 683M| 63 | 8 | 70 |5377 | 83 | 70 | 23 | 21 |1260k|5491 | 0.000000e+00 | -- | Inf
1698.87/1699.52 c 1615s| 2890k|847439 | 9487k| 685M| 63 | - | 70 |5531 | 264 | 70 | 23 | 21 |1264k|5495 | 0.000000e+00 | -- | Inf
1704.76/1705.44 c 1621s| 2900k|850680 | 9520k| 688M| 63 | - | 70 |5879 | 126 | 70 | 23 | 21 |1269k|5503 | 0.000000e+00 | -- | Inf
1710.36/1711.06 c 1626s| 2910k|854106 | 9554k| 690M| 63 | 8 | 70 |7080 | 323 | 70 | 23 | 21 |1273k|5507 | 0.000000e+00 | -- | Inf
1716.36/1717.03 c 1632s| 2920k|856871 | 9590k| 693M| 63 | 8 | 70 |8183 | 86 | 70 | 23 | 21 |1277k|5515 | 0.000000e+00 | -- | Inf
1722.56/1723.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.56/1723.28 c 1638s| 2930k|859728 | 9625k| 695M| 63 | - | 70 |7836 | 287 | 70 | 23 | 21 |1281k|5524 | 0.000000e+00 | -- | Inf
1729.46/1730.17 c 1644s| 2940k|862408 | 9657k| 697M| 63 | 8 | 70 |5946 | 41 | 70 | 23 | 21 |1286k|5536 | 0.000000e+00 | -- | Inf
1735.75/1736.42 c 1650s| 2950k|865191 | 9689k| 699M| 63 | 8 | 70 |6242 | 23 | 70 | 23 | 21 |1290k|5539 | 0.000000e+00 | -- | Inf
1742.05/1742.75 c 1656s| 2960k|868079 | 9721k| 702M| 63 | 8 | 70 |5655 | 71 | 70 | 23 | 21 |1295k|5541 | 0.000000e+00 | -- | Inf
1748.75/1749.45 c 1663s| 2970k|870655 | 9754k| 704M| 63 | 8 | 70 |4947 | 59 | 70 | 23 | 21 |1299k|5548 | 0.000000e+00 | -- | Inf
1755.04/1755.74 c 1669s| 2980k|873416 | 9785k| 706M| 63 | 8 | 70 |4896 | 53 | 70 | 23 | 21 |1304k|5553 | 0.000000e+00 | -- | Inf
1761.04/1761.73 c 1675s| 2990k|876046 | 9818k| 709M| 63 | 8 | 70 |5713 | 37 | 70 | 23 | 21 |1308k|5560 | 0.000000e+00 | -- | Inf
1767.74/1768.41 c 1681s| 3000k|878650 | 9851k| 711M| 63 | 8 | 70 |5021 | 88 | 70 | 23 | 21 |1313k|5563 | 0.000000e+00 | -- | Inf
1773.84/1774.53 c 1687s| 3010k|881473 | 9885k| 713M| 63 | 8 | 70 |5778 | 56 | 70 | 23 | 21 |1317k|5570 | 0.000000e+00 | -- | Inf
1779.44/1780.18 c 1692s| 3020k|884621 | 9917k| 716M| 63 | 8 | 70 |6714 | 41 | 70 | 23 | 21 |1321k|5574 | 0.000000e+00 | -- | Inf
1786.04/1786.70 c 1698s| 3030k|887325 | 9950k| 718M| 63 | 8 | 70 |6026 | 53 | 70 | 23 | 21 |1326k|5580 | 0.000000e+00 | -- | Inf
1792.63/1793.37 c 1705s| 3040k|890048 | 9982k| 720M| 63 | - | 70 |5774 | 17 | 70 | 23 | 21 |1330k|5584 | 0.000000e+00 | -- | Inf
1799.33/1800.00 c 1711s| 3050k|892867 | 10015k| 723M| 63 | 8 | 70 |5835 | 52 | 70 | 23 | 21 |1335k|5589 | 0.000000e+00 | -- | Inf
1800.04/1800.71 c
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time (sec) : 1711.72
1800.04/1800.71 c Solving Nodes : 3051087
1800.04/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.71 c Dual Bound : +0.00000000000000e+00
1800.04/1800.71 c Gap : infinite
1800.04/1800.71 c NODE 3051087
1800.04/1800.71 c DUAL BOUND 0
1800.04/1800.71 c PRIMAL BOUND 1e+20
1800.04/1800.71 c GAP 1e+20
1800.04/1800.71 s UNKNOWN
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time : 1711.72
1800.04/1800.71 c Original Problem :
1800.04/1800.71 c Problem name : HOME/instance-1869486-1245174315.opb
1800.04/1800.71 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 17 initial, 17 maximal
1800.04/1800.71 c Presolved Problem :
1800.04/1800.71 c Problem name : t_HOME/instance-1869486-1245174315.opb
1800.04/1800.71 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 8 initial, 8542 maximal
1800.04/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.04/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.71 c linear : 0.00 0 0 0 0 0 9 0 0
1800.04/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c root node : - 0 - - 0 - - - -
1800.04/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c integral : 0 0 0 1980188 0 789 2330 0 0 3954374
1800.04/1800.71 c linear : 8 6 7302935 0 0 42177 1843053 0 0 0
1800.04/1800.71 c logicor : 0+ 0 2926105 0 0 3034 1003548 0 0 0
1800.04/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.71 c integral : 24.64 0.00 0.00 24.64 0.00
1800.04/1800.71 c linear : 429.42 0.00 429.42 0.00 0.00
1800.04/1800.71 c logicor : 272.19 0.00 272.19 0.00 0.00
1800.04/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.71 c rootredcost : 2.16 0 0 0
1800.04/1800.71 c pseudoobj : 1.73 0 0 0
1800.04/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.71 c propagation : 9.39 45211 42940 180889 48.2 18 41.0 -
1800.04/1800.71 c infeasible LP : 79.01 1032688 1032624 2101846 32.2 13641 36.5 0
1800.04/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.71 c applied globally : - - - 1101349 25.5 - - -
1800.04/1800.71 c applied locally : - - - 234266 38.7 - - -
1800.04/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.71 c cut pool : 0.00 5 - - 7 - (maximal pool size: 49)
1800.04/1800.71 c redcost : 4.99 1980193 0 0 0 0
1800.04/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.71 c intobj : 0.00 0 0 0 0 0
1800.04/1800.71 c gomory : 0.01 6 0 0 0 0
1800.04/1800.71 c strongcg : 0.01 6 0 0 16 0
1800.04/1800.71 c cmir : 0.04 6 0 0 21 0
1800.04/1800.71 c flowcover : 0.04 6 0 0 24 0
1800.04/1800.71 c clique : 0.00 1 0 0 0 0
1800.04/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.71 c mcf : 0.00 1 0 0 0 0
1800.04/1800.71 c Pricers : Time Calls Vars
1800.04/1800.71 c problem variables: 0.00 0 0
1800.04/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c relpscost : 22.54 1980188 789 2330 0 0 3954374
1800.04/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c random : 0.00 0 0 0 0 0 0
1800.04/1800.71 c Primal Heuristics : Time Calls Found
1800.04/1800.71 c LP solutions : 0.00 - 0
1800.04/1800.71 c pseudo solutions : 0.00 - 0
1800.04/1800.71 c oneopt : 1.24 0 0
1800.04/1800.71 c crossover : 0.82 0 0
1800.04/1800.71 c guideddiving : 0.15 0 0
1800.04/1800.71 c pscostdiving : 0.23 78 0
1800.04/1800.71 c fracdiving : 0.16 78 0
1800.04/1800.71 c veclendiving : 0.19 78 0
1800.04/1800.71 c linesearchdiving : 0.15 78 0
1800.04/1800.71 c coefdiving : 0.14 79 0
1800.04/1800.71 c feaspump : 0.14 40 0
1800.04/1800.71 c objpscostdiving : 0.12 40 0
1800.04/1800.71 c rootsoldiving : 0.16 40 0
1800.04/1800.71 c simplerounding : 0.81 0 0
1800.04/1800.71 c rounding : 2.20 19969 0
1800.04/1800.71 c shifting : 5.61 6313 0
1800.04/1800.71 c intshifting : 0.11 0 0
1800.04/1800.71 c fixandinfer : 0.00 0 0
1800.04/1800.71 c intdiving : 0.00 0 0
1800.04/1800.71 c actconsdiving : 0.00 0 0
1800.04/1800.71 c octane : 0.00 0 0
1800.04/1800.71 c rens : 0.04 1 0
1800.04/1800.71 c rins : 0.00 0 0
1800.04/1800.71 c localbranching : 0.00 0 0
1800.04/1800.71 c mutation : 0.00 0 0
1800.04/1800.71 c dins : 0.00 0 0
1800.04/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.71 c dual LP : 432.27 2962544 10012985 3.38 23163.73
1800.04/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.71 c diving/probing LP: 0.33 2517 6435 2.56 19500.00
1800.04/1800.71 c strong branching : 1.93 5589 37339 6.68 19346.63
1800.04/1800.71 c (at root node) : - 23 1273 55.35 -
1800.04/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.71 c B&B Tree :
1800.04/1800.71 c number of runs : 1
1800.04/1800.71 c nodes : 3051087
1800.04/1800.71 c nodes (total) : 3051087
1800.04/1800.71 c nodes left : 893173
1800.04/1800.71 c max depth : 63
1800.04/1800.71 c max depth (total): 63
1800.04/1800.71 c backtracks : 266001 (8.7%)
1800.04/1800.71 c delayed cutoffs : 10115
1800.04/1800.71 c repropagations : 3049894 (1009934 domain reductions, 3803 cutoffs)
1800.04/1800.71 c avg switch length: 5.64
1800.04/1800.71 c switching time : 250.49
1800.04/1800.71 c Solution :
1800.04/1800.71 c Solutions found : 0 (0 improvements)
1800.04/1800.71 c Primal Bound : -
1800.04/1800.71 c Dual Bound : +0.00000000000000e+00
1800.04/1800.71 c Gap : infinite
1800.04/1800.71 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-1869486-1245174315/watcher-1869486-1245174315 -o /tmp/evaluation-result-1869486-1245174315/solver-1869486-1245174315 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869486-1245174315.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8695
/proc/meminfo: memFree=1908528/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=4324 CPUtime=0
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 185032176 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/8695/statm: 1081 453 290 886 0 191 0
[startup+0.056015 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8695
/proc/meminfo: memFree=1908528/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=12960 CPUtime=0.05
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 2780 0 0 0 4 1 0 0 18 0 1 0 185032176 13271040 2408 1992294400 4194304 7823515 548682068736 18446744073709551615 4386275 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 3240 2408 544 886 0 2350 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12960
[startup+0.101023 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8695
/proc/meminfo: memFree=1908528/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=12960 CPUtime=0.09
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 2790 0 0 0 8 1 0 0 18 0 1 0 185032176 13271040 2418 1992294400 4194304 7823515 548682068736 18446744073709551615 4339140 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 3240 2418 544 886 0 2350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12960
[startup+0.30106 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8695
/proc/meminfo: memFree=1908528/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=15256 CPUtime=0.28
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 4313 0 0 0 26 2 0 0 19 0 1 0 185032176 15622144 3023 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 3814 3023 558 886 0 2924 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15256
[startup+0.701132 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8695
/proc/meminfo: memFree=1908528/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=15256 CPUtime=0.69
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 4321 0 0 0 64 5 0 0 22 0 1 0 185032176 15622144 3031 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 3814 3031 566 886 0 2924 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15256
[startup+1.50127 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8696
/proc/meminfo: memFree=1898344/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=15256 CPUtime=1.49
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 4322 0 0 0 140 9 0 0 25 0 1 0 185032176 15622144 3032 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 3814 3032 566 886 0 2924 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15256
[startup+3.10156 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8696
/proc/meminfo: memFree=1898216/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=15500 CPUtime=3.09
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 4393 0 0 0 291 18 0 0 25 0 1 0 185032176 15872000 3103 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 3875 3103 566 886 0 2985 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15500
[startup+6.30114 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8696
/proc/meminfo: memFree=1895336/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=18692 CPUtime=6.29
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 5193 0 0 0 592 37 0 0 25 0 1 0 185032176 19140608 3903 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 4673 3903 566 886 0 3783 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18692
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8696
/proc/meminfo: memFree=1891880/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=21780 CPUtime=12.69
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 5979 0 0 0 1194 75 0 0 25 0 1 0 185032176 22302720 4689 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 5445 4689 566 886 0 4555 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21780
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8696
/proc/meminfo: memFree=1884264/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=29464 CPUtime=25.48
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 7924 0 0 0 2396 152 0 0 25 0 1 0 185032176 30171136 6634 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 7366 6634 566 886 0 6476 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29464
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8696
/proc/meminfo: memFree=1870952/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=43192 CPUtime=51.07
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 11411 0 0 0 4803 304 0 0 25 0 1 0 185032176 44228608 10121 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 10798 10121 566 886 0 9908 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43192
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8696
/proc/meminfo: memFree=1844008/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=68472 CPUtime=102.25
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 17867 0 0 0 9641 584 0 0 25 0 1 0 185032176 70115328 16577 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 17118 16577 566 886 0 16228 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 68472
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8696
/proc/meminfo: memFree=1811240/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=102272 CPUtime=162.23
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 26021 0 0 0 15316 907 0 0 25 0 1 0 185032176 104726528 24731 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 25568 24731 566 886 0 24678 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 102272
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8696
/proc/meminfo: memFree=1784296/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=128768 CPUtime=222.21
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 32731 0 0 0 20987 1234 0 0 25 0 1 0 185032176 131858432 31441 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 32192 31441 566 886 0 31302 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 128768
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8696
/proc/meminfo: memFree=1756008/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=157188 CPUtime=282.18
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 39885 0 0 0 26672 1546 0 0 25 0 1 0 185032176 160960512 38595 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 39297 38595 566 886 0 38407 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 157188
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8696
/proc/meminfo: memFree=1727464/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=188880 CPUtime=342.16
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 46876 0 0 0 32355 1861 0 0 25 0 1 0 185032176 193413120 45586 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 47220 45586 566 886 0 46330 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 188880
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8698
/proc/meminfo: memFree=1704040/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=212192 CPUtime=402.14
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 52789 0 0 0 38046 2168 0 0 25 0 1 0 185032176 217284608 51499 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 53048 51499 566 886 0 52158 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 212192
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8698
/proc/meminfo: memFree=1678312/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=236676 CPUtime=462.11
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 59073 0 0 0 43731 2480 0 0 25 0 1 0 185032176 242356224 57783 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 59169 57783 566 886 0 58279 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 236676
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8698
/proc/meminfo: memFree=1651240/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=263328 CPUtime=522.09
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 65824 0 0 0 49433 2776 0 0 25 0 1 0 185032176 269647872 64534 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 65832 64534 566 886 0 64942 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 263328
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8698
/proc/meminfo: memFree=1625576/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=288184 CPUtime=582.08
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 72203 0 0 0 55132 3076 0 0 25 0 1 0 185032176 295100416 70913 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 72046 70913 566 886 0 71156 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 288184
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8698
/proc/meminfo: memFree=1600296/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=312888 CPUtime=642.05
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 78483 0 0 0 60831 3374 0 0 25 0 1 0 185032176 320397312 77193 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 78222 77193 566 886 0 77332 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 312888
[startup+702.302 s]
################
# More data... #
################
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 119365 0 0 0 100795 5395 0 0 25 0 1 0 185032176 493613056 118075 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 120511 118075 566 886 0 119621 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 482044
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8704
/proc/meminfo: memFree=1410088/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=506764 CPUtime=1121.87
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 125698 0 0 0 106507 5680 0 0 25 0 1 0 185032176 518926336 124408 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 126691 124408 566 886 0 125801 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 506764
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8704
/proc/meminfo: memFree=1383144/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=533376 CPUtime=1181.86
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 132513 0 0 0 112211 5975 0 0 25 0 1 0 185032176 546177024 131223 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 133344 131223 566 886 0 132454 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 533376
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8704
/proc/meminfo: memFree=1362600/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=552840 CPUtime=1241.84
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 137503 0 0 0 117929 6255 0 0 25 0 1 0 185032176 566108160 136213 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 138210 136213 566 886 0 137320 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 552840
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8704
/proc/meminfo: memFree=1338984/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=576400 CPUtime=1301.81
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 143373 0 0 0 123641 6540 0 0 25 0 1 0 185032176 590233600 142083 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 144100 142083 566 886 0 143210 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 576400
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8704
/proc/meminfo: memFree=1313192/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=602464 CPUtime=1361.79
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 149989 0 0 0 129353 6826 0 0 25 0 1 0 185032176 616923136 148699 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 150616 148699 566 886 0 149726 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 602464
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8704
/proc/meminfo: memFree=1291752/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=622388 CPUtime=1421.77
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 155117 0 0 0 135088 7089 0 0 25 0 1 0 185032176 637325312 153827 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 155597 153827 566 886 0 154707 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 622388
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8704
/proc/meminfo: memFree=1266728/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=646644 CPUtime=1481.74
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 161327 0 0 0 140806 7368 0 0 25 0 1 0 185032176 662163456 160037 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 161661 160037 566 886 0 160771 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 646644
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8704
/proc/meminfo: memFree=1247656/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=665824 CPUtime=1541.73
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 166053 0 0 0 146527 7646 0 0 25 0 1 0 185032176 681803776 164763 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 166456 164763 566 886 0 165566 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 665824
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8704
/proc/meminfo: memFree=1223464/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=689384 CPUtime=1601.71
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 172080 0 0 0 152249 7922 0 0 25 0 1 0 185032176 705929216 170790 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 172346 170790 566 886 0 171456 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 689384
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8704
/proc/meminfo: memFree=1205416/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=707584 CPUtime=1661.68
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 176770 0 0 0 157974 8194 0 0 25 0 1 0 185032176 724566016 175480 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 176896 175480 566 886 0 176006 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 707584
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8704
/proc/meminfo: memFree=1181736/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=730172 CPUtime=1721.66
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 182578 0 0 0 163696 8470 0 0 25 0 1 0 185032176 747696128 181288 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 182543 181288 566 886 0 181653 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 730172
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8704
/proc/meminfo: memFree=1160296/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=750352 CPUtime=1781.64
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 187767 0 0 0 169410 8754 0 0 25 0 1 0 185032176 768360448 186477 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 187588 186477 566 886 0 186698 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 750352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8704
/proc/meminfo: memFree=1152488/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=757904 CPUtime=1800.04
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 189703 0 0 0 171172 8832 0 0 25 0 1 0 185032176 776093696 188413 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8695/statm: 189476 188413 566 886 0 188586 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 757904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8695
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 8704
/proc/meminfo: memFree=1152488/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=757904 CPUtime=1800.73
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 189705 0 0 0 171241 8832 0 0 25 0 1 0 185032176 776093696 188415 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 0 0 0
/proc/8695/statm: 189476 188415 568 886 0 188586 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 757904
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8705
/proc/meminfo: memFree=1152480/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=757904 CPUtime=1801.53
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 189705 0 0 0 171321 8832 0 0 25 0 1 0 185032176 776093696 188415 1992294400 4194304 7823515 548682068736 18446744073709551615 5875937 0 0 4096 0 0 0 0 17 1 0 0
/proc/8695/statm: 189476 188415 568 886 0 188586 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 757904
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8705
/proc/meminfo: memFree=1152480/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=757904 CPUtime=1801.93
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4194304 189705 0 0 0 171361 8832 0 0 25 0 1 0 185032176 776093696 188415 1992294400 4194304 7823515 548682068736 18446744073709551615 4743944 0 0 4096 0 0 0 0 17 1 0 0
/proc/8695/statm: 189476 188415 568 886 0 188586 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 757904
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8705
/proc/meminfo: memFree=1730728/2055920 swapFree=4180860/4192956
[pid=8695] ppid=8693 vsize=0 CPUtime=1802.13
/proc/8695/stat : 8695 (pbscip.linux.x8) R 8693 8695 8198 0 -1 4195332 189705 0 0 0 171372 8841 0 0 25 0 1 0 185032176 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/8695/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.83
CPU time (s): 1802.16
CPU user time (s): 1713.73
CPU system time (s): 88.4366
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 757904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1713.73
system time used= 88.4366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189705
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= 2133
runsolver used 1.37979 second user time and 3.70844 second system time
The end
Begin job on node12 at 2009-06-16 19:45:16
IDJOB=1869486
IDBENCH=2898
IDSOLVER=683
FILE ID=node12/1869486-1245174315
PBS_JOBID= 9363884
Free space on /tmp= 66236 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_8_70_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-1869486-1245174315/watcher-1869486-1245174315 -o /tmp/evaluation-result-1869486-1245174315/solver-1869486-1245174315 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869486-1245174315.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ccdf85c0efcf9b688264aa74ef25462f
RANDOM SEED=23197773
node12.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1908944 kB
Buffers: 31684 kB
Cached: 66296 kB
SwapCached: 6264 kB
Active: 58060 kB
Inactive: 48272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1908944 kB
SwapTotal: 4192956 kB
SwapFree: 4180860 kB
Dirty: 9840 kB
Writeback: 0 kB
Mapped: 13500 kB
Slab: 26652 kB
Committed_AS: 175900 kB
PageTables: 1380 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= 66224 MiB
End job on node12 at 2009-06-16 20:15:19