0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2700392-1278535349.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 0 impl, 800 cont) and 1701 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 1000 implications, 0 cliques
0.00/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.00/0.05 c 800 constraints of type <indicator>
0.00/0.05 c 800 constraints of type <linear>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1799.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 o 394238
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c t 0.0s| 1 | 0 | 0 | - |5795k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6168k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 39 | - |6204k| 0 | 0 |1700 |1600 |1700 | 63 | 63 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 115 | - |6258k| 0 | 25 |1700 |1600 |1700 | 116 | 116 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 159 | - |6353k| 0 | 77 |1700 |1600 |1700 | 154 | 154 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.07/0.08 c 0.1s| 1 | 0 | 174 | - |6390k| 0 | 82 |1700 |1600 |1700 | 171 | 171 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 182 | - |6430k| 0 | 82 |1700 |1600 |1700 | 173 | 173 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 190 | - |6456k| 0 | 81 |1700 |1600 |1700 | 174 | 174 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.19/0.25 c 0.2s| 1 | 2 | 316 | - |6508k| 0 | 81 |1700 |1600 |1700 | 174 | 174 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
11.09/11.10 c 10.7s| 10000 | 9999 | 62499 | 6.2 | 19M| 97 | 0 |1700 |1601 |1700 | 287 | 13k| 1 | 791 | 0.000000e+00 | 3.942380e+05 | Inf
19.70/19.80 c 19.2s| 20000 | 19999 |110739 | 5.5 | 28M| 99 | 0 |1700 |1601 |1700 | 275 | 25k| 1 | 791 | 0.000000e+00 | 3.942380e+05 | Inf
28.50/28.56 c 27.8s| 30000 | 29999 |157506 | 5.2 | 38M| 99 | 0 |1700 |1601 |1700 | 287 | 37k| 1 | 964 | 0.000000e+00 | 3.942380e+05 | Inf
37.19/37.24 c 36.2s| 40000 | 39999 |203900 | 5.1 | 48M| 99 | 4 |1700 |1601 |1700 | 246 | 49k| 1 |1128 | 0.000000e+00 | 3.942380e+05 | Inf
45.89/45.99 c 44.8s| 50000 | 49999 |250207 | 5.0 | 58M| 99 | 0 |1700 |1601 |1700 | 228 | 59k| 1 |1302 | 0.000000e+00 | 3.942380e+05 | Inf
54.59/54.65 c 53.2s| 60000 | 59999 |293746 | 4.9 | 68M| 107 | 0 |1700 |1601 |1700 | 255 | 70k| 1 |1431 | 0.000000e+00 | 3.942380e+05 | Inf
62.89/62.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.89/62.91 c 61.2s| 70000 | 69999 |328791 | 4.7 | 78M| 107 | 0 |1700 |1601 |1700 | 273 | 78k| 1 |1547 | 0.000000e+00 | 3.942380e+05 | Inf
70.99/71.04 c 69.2s| 80000 | 79999 |357416 | 4.5 | 87M| 107 | 0 |1700 |1601 |1700 | 281 | 84k| 1 |1628 | 0.000000e+00 | 3.942380e+05 | Inf
79.20/79.27 c 77.2s| 90000 | 89999 |391818 | 4.4 | 97M| 107 | 0 |1700 |1601 |1700 | 287 | 93k| 1 |1720 | 0.000000e+00 | 3.942380e+05 | Inf
87.49/87.56 c 85.3s|100000 | 99999 |426630 | 4.3 | 107M| 107 | 0 |1700 |1601 |1700 | 258 | 102k| 1 |1844 | 0.000000e+00 | 3.942380e+05 | Inf
96.00/96.00 c 93.5s|110000 |109999 |464808 | 4.2 | 117M| 111 | 19 |1700 |1601 |1700 | 230 | 111k| 1 |1917 | 0.000000e+00 | 3.942380e+05 | Inf
104.29/104.30 c 102s|120000 |119999 |502273 | 4.2 | 126M| 111 | 5 |1700 |1601 |1700 | 233 | 120k| 1 |2016 | 0.000000e+00 | 3.942380e+05 | Inf
112.60/112.62 c 110s|130000 |129999 |538439 | 4.1 | 136M| 111 | 0 |1700 |1601 |1700 | 278 | 129k| 1 |2105 | 0.000000e+00 | 3.942380e+05 | Inf
120.79/120.84 c 118s|140000 |139999 |572837 | 4.1 | 146M| 111 | 0 |1700 |1601 |1700 | 248 | 138k| 1 |2187 | 0.000000e+00 | 3.942380e+05 | Inf
128.99/129.09 c 126s|150000 |149999 |606612 | 4.0 | 156M| 111 | 10 |1700 |1601 |1700 | 259 | 146k| 1 |2266 | 0.000000e+00 | 3.942380e+05 | Inf
137.09/137.16 c 134s|160000 |159999 |637313 | 4.0 | 165M| 111 | 0 |1700 |1601 |1700 | 267 | 155k| 1 |2332 | 0.000000e+00 | 3.942380e+05 | Inf
145.29/145.35 c 142s|170000 |169999 |670336 | 3.9 | 175M| 111 | 0 |1700 |1601 |1700 | 289 | 163k| 1 |2418 | 0.000000e+00 | 3.942380e+05 | Inf
153.29/153.38 c 149s|180000 |179999 |697320 | 3.9 | 185M| 111 | 0 |1700 |1601 |1700 | 245 | 171k| 1 |2460 | 0.000000e+00 | 3.942380e+05 | Inf
161.70/161.70 c 158s|190000 |189999 |730936 | 3.8 | 195M| 111 | 7 |1700 |1601 |1700 | 252 | 179k| 1 |2550 | 0.000000e+00 | 3.942380e+05 | Inf
169.99/170.01 c 166s|200000 |199999 |766765 | 3.8 | 205M| 111 | 10 |1700 |1601 |1700 | 238 | 188k| 1 |2616 | 0.000000e+00 | 3.942380e+05 | Inf
178.40/178.41 c 174s|210000 |209999 |804923 | 3.8 | 214M| 111 | 0 |1700 |1600 |1700 | 269 | 197k| 1 |2673 | 0.000000e+00 | 3.942380e+05 | Inf
186.30/186.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.30/186.36 c 182s|220000 |219999 |833178 | 3.8 | 224M| 111 | 0 |1700 |1600 |1700 | 225 | 204k| 1 |2729 | 0.000000e+00 | 3.942380e+05 | Inf
194.70/194.71 c 190s|230000 |229999 |868371 | 3.8 | 234M| 111 | 0 |1700 |1600 |1700 | 257 | 213k| 1 |2798 | 0.000000e+00 | 3.942380e+05 | Inf
202.80/202.88 c 198s|240000 |239999 |899928 | 3.7 | 244M| 111 | 0 |1700 |1600 |1700 | 252 | 220k| 1 |2862 | 0.000000e+00 | 3.942380e+05 | Inf
210.50/210.50 c 205s|250000 |249999 |922908 | 3.7 | 253M| 163 | 0 |1700 |1600 |1700 | 247 | 226k| 1 |2887 | 0.000000e+00 | 3.942380e+05 | Inf
217.99/218.02 c 213s|260000 |259999 |945867 | 3.6 | 263M| 163 | 0 |1700 |1600 |1700 | 297 | 232k| 1 |2946 | 0.000000e+00 | 3.942380e+05 | Inf
225.50/225.56 c 220s|270000 |269999 |969020 | 3.6 | 273M| 163 | 26 |1700 |1600 |1700 | 258 | 237k| 1 |2976 | 0.000000e+00 | 3.942380e+05 | Inf
233.00/233.04 c 227s|280000 |279999 |988194 | 3.5 | 283M| 163 | 7 |1700 |1600 |1700 | 230 | 242k| 1 |3008 | 0.000000e+00 | 3.942380e+05 | Inf
240.40/240.46 c 234s|290000 |289999 | 1008k| 3.5 | 292M| 163 | 0 |1700 |1600 |1700 | 281 | 248k| 1 |3031 | 0.000000e+00 | 3.942380e+05 | Inf
247.79/247.89 c 242s|300000 |299999 | 1026k| 3.4 | 302M| 163 | 0 |1700 |1600 |1700 | 274 | 253k| 1 |3072 | 0.000000e+00 | 3.942380e+05 | Inf
255.20/255.30 c 249s|310000 |309999 | 1044k| 3.4 | 312M| 163 | 7 |1700 |1600 |1700 | 265 | 259k| 1 |3105 | 0.000000e+00 | 3.942380e+05 | Inf
262.80/262.88 c 256s|320000 |319999 | 1068k| 3.3 | 321M| 163 | 0 |1700 |1600 |1700 | 229 | 265k| 1 |3136 | 0.000000e+00 | 3.942380e+05 | Inf
270.39/270.49 c 264s|330000 |329999 | 1092k| 3.3 | 331M| 163 | 0 |1700 |1600 |1700 | 270 | 271k| 1 |3167 | 0.000000e+00 | 3.942380e+05 | Inf
278.00/278.00 c 271s|340000 |339999 | 1115k| 3.3 | 341M| 163 | 13 |1700 |1600 |1700 | 224 | 277k| 1 |3215 | 0.000000e+00 | 3.942380e+05 | Inf
285.39/285.41 c 278s|350000 |349999 | 1135k| 3.2 | 351M| 163 | 0 |1700 |1600 |1700 | 267 | 282k| 1 |3249 | 0.000000e+00 | 3.942380e+05 | Inf
292.80/292.86 c 285s|360000 |359999 | 1155k| 3.2 | 360M| 163 | 0 |1700 |1600 |1700 | 267 | 286k| 1 |3273 | 0.000000e+00 | 3.942380e+05 | Inf
300.40/300.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.40/300.42 c 293s|370000 |369999 | 1175k| 3.2 | 370M| 163 | 0 |1700 |1600 |1700 | 264 | 291k| 1 |3299 | 0.000000e+00 | 3.942380e+05 | Inf
307.91/307.90 c 300s|380000 |379999 | 1196k| 3.1 | 380M| 163 | 0 |1700 |1600 |1700 | 283 | 296k| 1 |3323 | 0.000000e+00 | 3.942380e+05 | Inf
315.30/315.30 c 307s|390000 |389999 | 1215k| 3.1 | 389M| 163 | 0 |1700 |1600 |1700 | 279 | 301k| 1 |3354 | 0.000000e+00 | 3.942380e+05 | Inf
322.70/322.74 c 314s|400000 |399999 | 1234k| 3.1 | 399M| 163 | 9 |1700 |1600 |1700 | 250 | 305k| 1 |3376 | 0.000000e+00 | 3.942380e+05 | Inf
330.19/330.23 c 321s|410000 |409999 | 1256k| 3.1 | 409M| 163 | 0 |1700 |1600 |1700 | 282 | 311k| 1 |3414 | 0.000000e+00 | 3.942380e+05 | Inf
337.40/337.49 c 329s|420000 |419999 | 1271k| 3.0 | 419M| 163 | 0 |1700 |1600 |1700 | 283 | 315k| 1 |3430 | 0.000000e+00 | 3.942380e+05 | Inf
344.70/344.77 c 336s|430000 |429999 | 1288k| 3.0 | 428M| 163 | 0 |1700 |1600 |1700 | 289 | 320k| 1 |3449 | 0.000000e+00 | 3.942380e+05 | Inf
352.19/352.25 c 343s|440000 |439999 | 1310k| 3.0 | 438M| 163 | 0 |1700 |1600 |1700 | 276 | 325k| 1 |3489 | 0.000000e+00 | 3.942380e+05 | Inf
359.60/359.69 c 350s|450000 |449999 | 1331k| 3.0 | 448M| 163 | 0 |1700 |1600 |1700 | 279 | 331k| 1 |3522 | 0.000000e+00 | 3.942380e+05 | Inf
367.00/367.02 c 357s|460000 |459999 | 1349k| 2.9 | 458M| 163 | 23 |1700 |1600 |1700 | 255 | 336k| 1 |3548 | 0.000000e+00 | 3.942380e+05 | Inf
374.60/374.60 c 365s|470000 |469999 | 1374k| 2.9 | 467M| 163 | 0 |1700 |1600 |1700 | 260 | 342k| 1 |3584 | 0.000000e+00 | 3.942380e+05 | Inf
382.10/382.13 c 372s|480000 |479999 | 1397k| 2.9 | 477M| 163 | 0 |1700 |1600 |1700 | 235 | 348k| 1 |3607 | 0.000000e+00 | 3.942380e+05 | Inf
389.31/389.37 c 379s|490000 |489999 | 1414k| 2.9 | 487M| 163 | 0 |1700 |1600 |1700 | 242 | 352k| 1 |3632 | 0.000000e+00 | 3.942380e+05 | Inf
396.70/396.74 c 386s|500000 |499999 | 1433k| 2.9 | 496M| 163 | 0 |1700 |1600 |1700 | 289 | 357k| 1 |3656 | 0.000000e+00 | 3.942380e+05 | Inf
404.10/404.15 c 394s|510000 |509999 | 1454k| 2.9 | 506M| 163 | 0 |1700 |1600 |1700 | 267 | 363k| 1 |3682 | 0.000000e+00 | 3.942380e+05 | Inf
411.90/411.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.90/411.92 c 401s|520000 |519999 | 1477k| 2.8 | 516M| 163 | 0 |1700 |1600 |1700 | 261 | 369k| 1 |3719 | 0.000000e+00 | 3.942380e+05 | Inf
419.30/419.37 c 408s|530000 |529999 | 1495k| 2.8 | 526M| 163 | 0 |1700 |1600 |1700 | 285 | 373k| 1 |3732 | 0.000000e+00 | 3.942380e+05 | Inf
426.81/426.81 c 415s|540000 |539999 | 1516k| 2.8 | 535M| 163 | 6 |1700 |1600 |1700 | 257 | 378k| 1 |3767 | 0.000000e+00 | 3.942380e+05 | Inf
434.10/434.16 c 422s|550000 |549999 | 1532k| 2.8 | 545M| 163 | 0 |1700 |1600 |1700 | 263 | 383k| 1 |3776 | 0.000000e+00 | 3.942380e+05 | Inf
441.40/441.43 c 429s|560000 |559999 | 1549k| 2.8 | 555M| 163 | 12 |1700 |1600 |1700 | 270 | 387k| 1 |3794 | 0.000000e+00 | 3.942380e+05 | Inf
448.90/448.96 c 437s|570000 |569999 | 1571k| 2.8 | 565M| 163 | 0 |1700 |1600 |1700 | 259 | 393k| 1 |3832 | 0.000000e+00 | 3.942380e+05 | Inf
456.30/456.38 c 444s|580000 |579999 | 1590k| 2.7 | 574M| 163 | 0 |1700 |1600 |1700 | 273 | 397k| 1 |3852 | 0.000000e+00 | 3.942380e+05 | Inf
463.81/463.80 c 451s|590000 |589999 | 1609k| 2.7 | 584M| 163 | 0 |1700 |1600 |1700 | 244 | 402k| 1 |3873 | 0.000000e+00 | 3.942380e+05 | Inf
471.31/471.31 c 458s|600000 |599999 | 1631k| 2.7 | 594M| 163 | 0 |1700 |1600 |1700 | 279 | 407k| 1 |3892 | 0.000000e+00 | 3.942380e+05 | Inf
478.71/478.70 c 465s|610000 |609999 | 1651k| 2.7 | 603M| 163 | 0 |1700 |1600 |1700 | 266 | 412k| 1 |3913 | 0.000000e+00 | 3.942380e+05 | Inf
486.01/486.02 c 472s|620000 |619999 | 1668k| 2.7 | 613M| 163 | 0 |1700 |1600 |1700 | 276 | 417k| 1 |3937 | 0.000000e+00 | 3.942380e+05 | Inf
493.60/493.62 c 480s|630000 |629999 | 1691k| 2.7 | 623M| 163 | 0 |1700 |1600 |1700 | 248 | 422k| 1 |3956 | 0.000000e+00 | 3.942380e+05 | Inf
501.30/501.36 c 487s|640000 |639999 | 1717k| 2.7 | 633M| 163 | 0 |1700 |1600 |1700 | 270 | 428k| 1 |3990 | 0.000000e+00 | 3.942380e+05 | Inf
508.80/508.82 c 494s|650000 |649999 | 1737k| 2.7 | 642M| 163 | 0 |1700 |1600 |1700 | 272 | 433k| 1 |4019 | 0.000000e+00 | 3.942380e+05 | Inf
516.20/516.25 c 501s|660000 |659999 | 1755k| 2.7 | 652M| 163 | 0 |1700 |1600 |1700 | 264 | 438k| 1 |4031 | 0.000000e+00 | 3.942380e+05 | Inf
523.41/523.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
523.41/523.42 c 508s|670000 |669999 | 1771k| 2.6 | 662M| 163 | 0 |1700 |1600 |1700 | 267 | 442k| 1 |4051 | 0.000000e+00 | 3.942380e+05 | Inf
530.41/530.49 c 515s|680000 |679999 | 1781k| 2.6 | 671M| 163 | 0 |1700 |1600 |1700 | 258 | 445k| 1 |4068 | 0.000000e+00 | 3.942380e+05 | Inf
537.81/537.85 c 522s|690000 |689999 | 1799k| 2.6 | 681M| 163 | 0 |1700 |1600 |1700 | 273 | 449k| 1 |4093 | 0.000000e+00 | 3.942380e+05 | Inf
545.20/545.29 c 529s|700000 |699999 | 1816k| 2.6 | 691M| 163 | 0 |1700 |1600 |1700 | 277 | 454k| 1 |4112 | 0.000000e+00 | 3.942380e+05 | Inf
552.71/552.75 c 536s|710000 |709999 | 1837k| 2.6 | 701M| 163 | 0 |1700 |1600 |1700 | 245 | 460k| 1 |4129 | 0.000000e+00 | 3.942380e+05 | Inf
560.00/560.07 c 543s|720000 |719999 | 1856k| 2.6 | 710M| 163 | 0 |1700 |1600 |1700 | 246 | 464k| 1 |4147 | 0.000000e+00 | 3.942380e+05 | Inf
567.30/567.33 c 550s|730000 |729999 | 1871k| 2.6 | 720M| 163 | 0 |1700 |1600 |1700 | 261 | 468k| 1 |4158 | 0.000000e+00 | 3.942380e+05 | Inf
574.71/574.75 c 558s|740000 |739999 | 1891k| 2.6 | 730M| 163 | 0 |1700 |1600 |1700 | 251 | 473k| 1 |4179 | 0.000000e+00 | 3.942380e+05 | Inf
582.10/582.13 c 565s|750000 |749999 | 1911k| 2.5 | 739M| 163 | 0 |1700 |1600 |1700 | 262 | 479k| 1 |4201 | 0.000000e+00 | 3.942380e+05 | Inf
589.51/589.56 c 572s|760000 |759999 | 1930k| 2.5 | 749M| 163 | 0 |1700 |1600 |1700 | 281 | 484k| 1 |4219 | 0.000000e+00 | 3.942380e+05 | Inf
596.80/596.88 c 579s|770000 |769999 | 1948k| 2.5 | 759M| 163 | 0 |1700 |1600 |1700 | 259 | 489k| 1 |4234 | 0.000000e+00 | 3.942380e+05 | Inf
604.21/604.26 c 586s|780000 |779999 | 1968k| 2.5 | 769M| 165 | 0 |1700 |1600 |1700 | 261 | 494k| 1 |4247 | 0.000000e+00 | 3.942380e+05 | Inf
611.61/611.68 c 593s|790000 |789999 | 1988k| 2.5 | 778M| 165 | 0 |1700 |1600 |1700 | 260 | 499k| 1 |4267 | 0.000000e+00 | 3.942380e+05 | Inf
619.00/619.02 c 600s|800000 |799999 | 2008k| 2.5 | 788M| 165 | 0 |1700 |1600 |1700 | 290 | 504k| 1 |4287 | 0.000000e+00 | 3.942380e+05 | Inf
626.30/626.33 c 607s|810000 |809999 | 2026k| 2.5 | 798M| 175 | 0 |1700 |1600 |1700 | 249 | 509k| 1 |4303 | 0.000000e+00 | 3.942380e+05 | Inf
633.61/633.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.61/633.60 c 614s|820000 |819999 | 2045k| 2.5 | 808M| 175 | 0 |1700 |1600 |1700 | 279 | 514k| 1 |4317 | 0.000000e+00 | 3.942380e+05 | Inf
640.70/640.70 c 621s|830000 |829999 | 2058k| 2.5 | 817M| 175 | 0 |1700 |1600 |1700 | 250 | 518k| 1 |4327 | 0.000000e+00 | 3.942380e+05 | Inf
647.71/647.80 c 628s|840000 |839999 | 2072k| 2.5 | 827M| 175 | 0 |1700 |1600 |1700 | 267 | 522k| 1 |4343 | 0.000000e+00 | 3.942380e+05 | Inf
655.10/655.17 c 635s|850000 |849999 | 2092k| 2.5 | 836M| 175 | 0 |1700 |1600 |1700 | 225 | 525k| 1 |4354 | 0.000000e+00 | 3.942380e+05 | Inf
662.41/662.43 c 642s|860000 |859999 | 2109k| 2.5 | 846M| 175 | 0 |1700 |1600 |1700 | 272 | 529k| 1 |4378 | 0.000000e+00 | 3.942380e+05 | Inf
669.51/669.53 c 649s|870000 |869999 | 2123k| 2.4 | 856M| 175 | 0 |1700 |1600 |1700 | 255 | 533k| 1 |4392 | 0.000000e+00 | 3.942380e+05 | Inf
676.71/676.73 c 656s|880000 |879999 | 2141k| 2.4 | 865M| 181 | 4 |1700 |1600 |1700 | 243 | 538k| 1 |4399 | 0.000000e+00 | 3.942380e+05 | Inf
684.01/684.03 c 663s|890000 |889999 | 2158k| 2.4 | 875M| 181 | 0 |1700 |1600 |1700 | 291 | 542k| 1 |4418 | 0.000000e+00 | 3.942380e+05 | Inf
690.90/690.93 c 669s|900000 |899999 | 2167k| 2.4 | 885M| 181 | 0 |1700 |1600 |1700 | 254 | 544k| 1 |4436 | 0.000000e+00 | 3.942380e+05 | Inf
698.01/698.06 c 676s|910000 |909999 | 2181k| 2.4 | 894M| 181 | 0 |1700 |1600 |1700 | 304 | 548k| 1 |4438 | 0.000000e+00 | 3.942380e+05 | Inf
704.91/704.91 c 683s|920000 |919999 | 2190k| 2.4 | 904M| 181 | 0 |1700 |1600 |1700 | 287 | 550k| 1 |4457 | 0.000000e+00 | 3.942380e+05 | Inf
711.81/711.84 c 689s|930000 |929999 | 2202k| 2.4 | 914M| 181 | 8 |1700 |1600 |1700 | 232 | 553k| 1 |4457 | 0.000000e+00 | 3.942380e+05 | Inf
719.01/719.00 c 696s|940000 |939999 | 2218k| 2.4 | 923M| 181 | 14 |1700 |1600 |1700 | 283 | 557k| 1 |4476 | 0.000000e+00 | 3.942380e+05 | Inf
726.11/726.12 c 703s|950000 |949999 | 2231k| 2.3 | 933M| 181 | 0 |1700 |1600 |1700 | 295 | 561k| 1 |4497 | 0.000000e+00 | 3.942380e+05 | Inf
733.51/733.54 c 710s|960000 |959999 | 2250k| 2.3 | 943M| 181 | 0 |1700 |1600 |1700 | 263 | 565k| 1 |4514 | 0.000000e+00 | 3.942380e+05 | Inf
740.71/740.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
740.71/740.72 c 717s|970000 |969999 | 2264k| 2.3 | 952M| 181 | 0 |1700 |1600 |1700 | 277 | 569k| 1 |4522 | 0.000000e+00 | 3.942380e+05 | Inf
747.71/747.75 c 724s|980000 |979999 | 2276k| 2.3 | 962M| 181 | 0 |1700 |1600 |1700 | 254 | 572k| 1 |4535 | 0.000000e+00 | 3.942380e+05 | Inf
755.01/755.03 c 731s|990000 |989999 | 2293k| 2.3 | 972M| 181 | 0 |1700 |1600 |1700 | 269 | 577k| 1 |4555 | 0.000000e+00 | 3.942380e+05 | Inf
762.21/762.23 c 737s| 1000k|999999 | 2308k| 2.3 | 981M| 181 | 0 |1700 |1600 |1700 | 251 | 581k| 1 |4571 | 0.000000e+00 | 3.942380e+05 | Inf
769.21/769.26 c 744s| 1010k| 1009k| 2322k| 2.3 | 991M| 181 | 0 |1700 |1600 |1700 | 283 | 584k| 1 |4571 | 0.000000e+00 | 3.942380e+05 | Inf
776.51/776.59 c 751s| 1020k| 1019k| 2340k| 2.3 |1001M| 181 | 0 |1700 |1600 |1700 | 250 | 589k| 1 |4591 | 0.000000e+00 | 3.942380e+05 | Inf
783.62/783.65 c 758s| 1030k| 1029k| 2354k| 2.3 |1010M| 181 | 0 |1700 |1600 |1700 | 258 | 593k| 1 |4608 | 0.000000e+00 | 3.942380e+05 | Inf
790.92/790.92 c 765s| 1040k| 1039k| 2372k| 2.3 |1020M| 181 | 0 |1700 |1600 |1700 | 274 | 597k| 1 |4623 | 0.000000e+00 | 3.942380e+05 | Inf
798.01/798.08 c 772s| 1050k| 1049k| 2388k| 2.3 |1030M| 181 | 0 |1700 |1600 |1700 | 271 | 602k| 1 |4627 | 0.000000e+00 | 3.942380e+05 | Inf
805.31/805.36 c 779s| 1060k| 1059k| 2405k| 2.3 |1040M| 181 | 0 |1700 |1600 |1700 | 279 | 606k| 1 |4649 | 0.000000e+00 | 3.942380e+05 | Inf
812.51/812.56 c 786s| 1070k| 1069k| 2422k| 2.3 |1049M| 181 | 0 |1700 |1600 |1700 | 253 | 611k| 1 |4668 | 0.000000e+00 | 3.942380e+05 | Inf
819.81/819.87 c 793s| 1080k| 1079k| 2440k| 2.3 |1059M| 181 | 0 |1700 |1600 |1700 | 270 | 615k| 1 |4690 | 0.000000e+00 | 3.942380e+05 | Inf
827.01/827.08 c 800s| 1090k| 1089k| 2456k| 2.3 |1069M| 181 | 0 |1700 |1600 |1700 | 271 | 620k| 1 |4709 | 0.000000e+00 | 3.942380e+05 | Inf
834.52/834.51 c 807s| 1100k| 1099k| 2476k| 2.3 |1078M| 181 | 0 |1700 |1600 |1700 | 255 | 624k| 1 |4727 | 0.000000e+00 | 3.942380e+05 | Inf
841.61/841.66 c 814s| 1110k| 1109k| 2491k| 2.2 |1088M| 181 | 14 |1700 |1600 |1700 | 242 | 628k| 1 |4731 | 0.000000e+00 | 3.942380e+05 | Inf
848.81/848.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
848.81/848.88 c 821s| 1120k| 1119k| 2508k| 2.2 |1098M| 181 | 0 |1700 |1600 |1700 | 253 | 633k| 1 |4752 | 0.000000e+00 | 3.942380e+05 | Inf
856.01/856.04 c 828s| 1130k| 1129k| 2523k| 2.2 |1107M| 181 | 0 |1700 |1600 |1700 | 250 | 637k| 1 |4770 | 0.000000e+00 | 3.942380e+05 | Inf
863.11/863.13 c 835s| 1140k| 1139k| 2537k| 2.2 |1117M| 181 | 0 |1700 |1600 |1700 | 248 | 641k| 1 |4777 | 0.000000e+00 | 3.942380e+05 | Inf
870.32/870.34 c 841s| 1150k| 1149k| 2551k| 2.2 |1127M| 181 | 0 |1700 |1600 |1700 | 275 | 645k| 1 |4790 | 0.000000e+00 | 3.942380e+05 | Inf
877.72/877.72 c 848s| 1160k| 1159k| 2572k| 2.2 |1137M| 181 | 0 |1700 |1600 |1700 | 269 | 650k| 1 |4809 | 0.000000e+00 | 3.942380e+05 | Inf
885.01/885.02 c 856s| 1170k| 1169k| 2593k| 2.2 |1146M| 181 | 0 |1700 |1600 |1700 | 279 | 656k| 1 |4826 | 0.000000e+00 | 3.942380e+05 | Inf
891.81/891.85 c 862s| 1180k| 1179k| 2602k| 2.2 |1156M| 181 | 0 |1700 |1600 |1700 | 251 | 658k| 1 |4841 | 0.000000e+00 | 3.942380e+05 | Inf
898.91/898.98 c 869s| 1190k| 1189k| 2616k| 2.2 |1166M| 181 | 0 |1700 |1600 |1700 | 249 | 662k| 1 |4843 | 0.000000e+00 | 3.942380e+05 | Inf
906.21/906.27 c 876s| 1200k| 1199k| 2635k| 2.2 |1175M| 181 | 0 |1700 |1600 |1700 | 225 | 666k| 1 |4862 | 0.000000e+00 | 3.942380e+05 | Inf
913.51/913.57 c 883s| 1210k| 1209k| 2652k| 2.2 |1185M| 181 | 0 |1700 |1600 |1700 | 294 | 670k| 1 |4880 | 0.000000e+00 | 3.942380e+05 | Inf
920.91/920.97 c 890s| 1220k| 1219k| 2672k| 2.2 |1195M| 181 | 6 |1700 |1600 |1700 | 250 | 675k| 1 |4900 | 0.000000e+00 | 3.942380e+05 | Inf
928.52/928.59 c 897s| 1230k| 1229k| 2697k| 2.2 |1204M| 181 | 0 |1700 |1600 |1700 | 238 | 679k| 1 |4915 | 0.000000e+00 | 3.942380e+05 | Inf
935.81/935.88 c 904s| 1240k| 1239k| 2714k| 2.2 |1214M| 181 | 0 |1700 |1600 |1700 | 237 | 683k| 1 |4935 | 0.000000e+00 | 3.942380e+05 | Inf
943.11/943.19 c 911s| 1250k| 1249k| 2732k| 2.2 |1224M| 181 | 0 |1700 |1600 |1700 | 276 | 687k| 1 |4951 | 0.000000e+00 | 3.942380e+05 | Inf
950.22/950.24 c 918s| 1260k| 1259k| 2746k| 2.2 |1233M| 181 | 21 |1700 |1600 |1700 | 240 | 691k| 1 |4953 | 0.000000e+00 | 3.942380e+05 | Inf
957.42/957.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.42/957.42 c 925s| 1270k| 1269k| 2762k| 2.2 |1243M| 181 | 6 |1700 |1600 |1700 | 238 | 695k| 1 |4977 | 0.000000e+00 | 3.942380e+05 | Inf
964.52/964.53 c 932s| 1280k| 1279k| 2776k| 2.2 |1252M| 181 | 0 |1700 |1600 |1700 | 241 | 698k| 1 |4995 | 0.000000e+00 | 3.942380e+05 | Inf
971.61/971.61 c 938s| 1290k| 1289k| 2791k| 2.2 |1262M| 181 | 0 |1700 |1600 |1700 | 256 | 703k| 1 |4998 | 0.000000e+00 | 3.942380e+05 | Inf
978.71/978.77 c 945s| 1300k| 1299k| 2806k| 2.2 |1272M| 181 | 0 |1700 |1600 |1700 | 259 | 707k| 1 |5022 | 0.000000e+00 | 3.942380e+05 | Inf
985.92/985.94 c 952s| 1310k| 1309k| 2821k| 2.2 |1282M| 181 | 0 |1700 |1600 |1700 | 245 | 711k| 1 |5042 | 0.000000e+00 | 3.942380e+05 | Inf
993.11/993.13 c 959s| 1320k| 1319k| 2836k| 2.1 |1291M| 181 | 0 |1700 |1600 |1700 | 307 | 715k| 1 |5045 | 0.000000e+00 | 3.942380e+05 | Inf
1000.42/1000.45 c 966s| 1330k| 1329k| 2852k| 2.1 |1301M| 181 | 0 |1700 |1600 |1700 | 277 | 719k| 1 |5062 | 0.000000e+00 | 3.942380e+05 | Inf
1007.52/1007.54 c 973s| 1340k| 1339k| 2865k| 2.1 |1311M| 181 | 0 |1700 |1600 |1700 | 292 | 723k| 1 |5075 | 0.000000e+00 | 3.942380e+05 | Inf
1014.52/1014.50 c 980s| 1350k| 1349k| 2875k| 2.1 |1320M| 181 | 0 |1700 |1600 |1700 | 277 | 726k| 1 |5078 | 0.000000e+00 | 3.942380e+05 | Inf
1021.92/1021.91 c 987s| 1360k| 1359k| 2895k| 2.1 |1330M| 181 | 0 |1700 |1600 |1700 | 218 | 730k| 1 |5093 | 0.000000e+00 | 3.942380e+05 | Inf
1029.31/1029.34 c 994s| 1370k| 1369k| 2915k| 2.1 |1340M| 181 | 0 |1700 |1600 |1700 | 269 | 734k| 1 |5110 | 0.000000e+00 | 3.942380e+05 | Inf
1036.62/1036.62 c 1001s| 1380k| 1379k| 2930k| 2.1 |1349M| 181 | 0 |1700 |1600 |1700 | 279 | 737k| 1 |5130 | 0.000000e+00 | 3.942380e+05 | Inf
1043.82/1043.82 c 1008s| 1390k| 1389k| 2944k| 2.1 |1359M| 181 | 0 |1700 |1600 |1700 | 274 | 741k| 1 |5144 | 0.000000e+00 | 3.942380e+05 | Inf
1050.92/1050.99 c 1015s| 1400k| 1399k| 2958k| 2.1 |1369M| 181 | 0 |1700 |1600 |1700 | 276 | 745k| 1 |5164 | 0.000000e+00 | 3.942380e+05 | Inf
1058.12/1058.10 c 1021s| 1410k| 1409k| 2973k| 2.1 |1378M| 181 | 0 |1700 |1600 |1700 | 268 | 748k| 1 |5166 | 0.000000e+00 | 3.942380e+05 | Inf
1065.32/1065.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.32/1065.37 c 1028s| 1420k| 1419k| 2988k| 2.1 |1388M| 181 | 8 |1700 |1600 |1700 | 223 | 753k| 1 |5185 | 0.000000e+00 | 3.942380e+05 | Inf
1072.72/1072.70 c 1036s| 1430k| 1429k| 3009k| 2.1 |1398M| 181 | 0 |1700 |1600 |1700 | 255 | 759k| 1 |5203 | 0.000000e+00 | 3.942380e+05 | Inf
1080.02/1080.02 c 1043s| 1440k| 1439k| 3025k| 2.1 |1408M| 181 | 0 |1700 |1600 |1700 | 230 | 763k| 1 |5221 | 0.000000e+00 | 3.942380e+05 | Inf
1087.12/1087.17 c 1050s| 1450k| 1449k| 3039k| 2.1 |1417M| 181 | 0 |1700 |1600 |1700 | 260 | 767k| 1 |5229 | 0.000000e+00 | 3.942380e+05 | Inf
1094.42/1094.41 c 1056s| 1460k| 1459k| 3057k| 2.1 |1427M| 181 | 0 |1700 |1600 |1700 | 268 | 771k| 1 |5247 | 0.000000e+00 | 3.942380e+05 | Inf
1101.42/1101.45 c 1063s| 1470k| 1469k| 3070k| 2.1 |1437M| 181 | 0 |1700 |1600 |1700 | 260 | 776k| 1 |5257 | 0.000000e+00 | 3.942380e+05 | Inf
1108.62/1108.68 c 1070s| 1480k| 1479k| 3087k| 2.1 |1446M| 181 | 22 |1700 |1600 |1700 | 228 | 780k| 1 |5272 | 0.000000e+00 | 3.942380e+05 | Inf
1115.82/1115.84 c 1077s| 1490k| 1489k| 3102k| 2.1 |1456M| 181 | 0 |1700 |1600 |1700 | 256 | 784k| 1 |5285 | 0.000000e+00 | 3.942380e+05 | Inf
1123.03/1123.09 c 1084s| 1500k| 1499k| 3118k| 2.1 |1466M| 181 | 0 |1700 |1600 |1700 | 267 | 788k| 1 |5306 | 0.000000e+00 | 3.942380e+05 | Inf
1130.32/1130.31 c 1091s| 1510k| 1509k| 3135k| 2.1 |1475M| 181 | 0 |1700 |1600 |1700 | 252 | 792k| 1 |5322 | 0.000000e+00 | 3.942380e+05 | Inf
1137.52/1137.54 c 1098s| 1520k| 1519k| 3151k| 2.1 |1485M| 181 | 0 |1700 |1600 |1700 | 296 | 796k| 1 |5326 | 0.000000e+00 | 3.942380e+05 | Inf
1144.82/1144.83 c 1105s| 1530k| 1529k| 3170k| 2.1 |1495M| 181 | 8 |1700 |1600 |1700 | 304 | 801k| 1 |5346 | 0.000000e+00 | 3.942380e+05 | Inf
1151.91/1151.94 c 1112s| 1540k| 1539k| 3184k| 2.1 |1504M| 181 | 0 |1700 |1600 |1700 | 285 | 805k| 1 |5359 | 0.000000e+00 | 3.942380e+05 | Inf
1159.12/1159.16 c 1119s| 1550k| 1549k| 3201k| 2.1 |1514M| 181 | 0 |1700 |1600 |1700 | 241 | 809k| 1 |5366 | 0.000000e+00 | 3.942380e+05 | Inf
1166.12/1166.19 c 1126s| 1560k| 1559k| 3210k| 2.1 |1524M| 181 | 0 |1700 |1600 |1700 | 270 | 812k| 1 |5376 | 0.000000e+00 | 3.942380e+05 | Inf
1173.42/1173.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1173.42/1173.43 c 1133s| 1570k| 1569k| 3227k| 2.1 |1534M| 181 | 0 |1700 |1600 |1700 | 286 | 816k| 1 |5390 | 0.000000e+00 | 3.942380e+05 | Inf
1180.52/1180.54 c 1140s| 1580k| 1579k| 3239k| 2.1 |1543M| 181 | 0 |1700 |1600 |1700 | 269 | 820k| 1 |5401 | 0.000000e+00 | 3.942380e+05 | Inf
1187.72/1187.72 c 1147s| 1590k| 1589k| 3254k| 2.0 |1553M| 181 | 0 |1700 |1600 |1700 | 262 | 823k| 1 |5417 | 0.000000e+00 | 3.942380e+05 | Inf
1194.82/1194.86 c 1154s| 1600k| 1599k| 3270k| 2.0 |1563M| 181 | 0 |1700 |1600 |1700 | 253 | 828k| 1 |5418 | 0.000000e+00 | 3.942380e+05 | Inf
1202.02/1202.03 c 1160s| 1610k| 1609k| 3284k| 2.0 |1572M| 181 | 0 |1700 |1600 |1700 | 272 | 832k| 1 |5435 | 0.000000e+00 | 3.942380e+05 | Inf
1209.32/1209.35 c 1168s| 1620k| 1619k| 3301k| 2.0 |1582M| 181 | 0 |1700 |1600 |1700 | 272 | 836k| 1 |5456 | 0.000000e+00 | 3.942380e+05 | Inf
1216.72/1216.73 c 1175s| 1630k| 1629k| 3321k| 2.0 |1592M| 181 | 6 |1700 |1600 |1700 | 245 | 841k| 1 |5469 | 0.000000e+00 | 3.942380e+05 | Inf
1224.03/1224.04 c 1182s| 1640k| 1639k| 3338k| 2.0 |1601M| 181 | 0 |1700 |1605 |1700 | 255 | 846k| 6 |5479 | 0.000000e+00 | 3.942380e+05 | Inf
1231.32/1231.30 c 1189s| 1650k| 1649k| 3356k| 2.0 |1611M| 181 | 6 |1700 |1605 |1700 | 225 | 851k| 6 |5497 | 0.000000e+00 | 3.942380e+05 | Inf
1238.43/1238.45 c 1196s| 1660k| 1659k| 3373k| 2.0 |1621M| 181 | 0 |1700 |1605 |1700 | 271 | 856k| 6 |5517 | 0.000000e+00 | 3.942380e+05 | Inf
1245.53/1245.57 c 1203s| 1670k| 1669k| 3387k| 2.0 |1630M| 181 | 6 |1700 |1605 |1700 | 263 | 861k| 6 |5533 | 0.000000e+00 | 3.942380e+05 | Inf
1252.82/1252.89 c 1210s| 1680k| 1679k| 3405k| 2.0 |1640M| 181 | 0 |1700 |1605 |1700 | 247 | 865k| 6 |5548 | 0.000000e+00 | 3.942380e+05 | Inf
1259.92/1259.96 c 1216s| 1690k| 1689k| 3416k| 2.0 |1650M| 181 | 0 |1700 |1605 |1700 | 258 | 868k| 6 |5568 | 0.000000e+00 | 3.942380e+05 | Inf
1267.02/1267.00 c 1223s| 1700k| 1699k| 3427k| 2.0 |1659M| 181 | 0 |1700 |1605 |1700 | 254 | 871k| 6 |5569 | 0.000000e+00 | 3.942380e+05 | Inf
1274.12/1274.19 c 1230s| 1710k| 1709k| 3442k| 2.0 |1669M| 181 | 0 |1700 |1605 |1700 | 273 | 875k| 6 |5590 | 0.000000e+00 | 3.942380e+05 | Inf
1281.23/1281.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.23/1281.28 c 1237s| 1720k| 1719k| 3455k| 2.0 |1679M| 181 | 5 |1700 |1605 |1700 | 250 | 878k| 6 |5590 | 0.000000e+00 | 3.942380e+05 | Inf
1288.53/1288.59 c 1244s| 1730k| 1729k| 3474k| 2.0 |1688M| 181 | 0 |1700 |1604 |1700 | 292 | 883k| 6 |5611 | 0.000000e+00 | 3.942380e+05 | Inf
1295.92/1295.94 c 1251s| 1740k| 1739k| 3493k| 2.0 |1698M| 181 | 0 |1700 |1604 |1700 | 254 | 888k| 6 |5626 | 0.000000e+00 | 3.942380e+05 | Inf
1303.13/1303.13 c 1258s| 1750k| 1749k| 3509k| 2.0 |1708M| 181 | 0 |1700 |1604 |1700 | 277 | 891k| 6 |5633 | 0.000000e+00 | 3.942380e+05 | Inf
1310.32/1310.32 c 1265s| 1760k| 1759k| 3524k| 2.0 |1717M| 181 | 0 |1700 |1604 |1700 | 257 | 895k| 6 |5651 | 0.000000e+00 | 3.942380e+05 | Inf
1317.33/1317.35 c 1272s| 1770k| 1769k| 3538k| 2.0 |1727M| 181 | 0 |1700 |1604 |1700 | 306 | 899k| 6 |5663 | 0.000000e+00 | 3.942380e+05 | Inf
1324.52/1324.52 c 1279s| 1780k| 1779k| 3554k| 2.0 |1737M| 181 | 0 |1700 |1604 |1700 | 261 | 904k| 6 |5668 | 0.000000e+00 | 3.942380e+05 | Inf
1331.63/1331.66 c 1286s| 1790k| 1789k| 3569k| 2.0 |1746M| 181 | 0 |1700 |1604 |1700 | 259 | 908k| 6 |5685 | 0.000000e+00 | 3.942380e+05 | Inf
1338.63/1338.70 c 1292s| 1800k| 1799k| 3583k| 2.0 |1756M| 181 | 0 |1700 |1604 |1700 | 281 | 912k| 6 |5690 | 0.000000e+00 | 3.942380e+05 | Inf
1345.93/1345.98 c 1300s| 1810k| 1809k| 3604k| 2.0 |1766M| 181 | 0 |1700 |1604 |1700 | 286 | 917k| 6 |5702 | 0.000000e+00 | 3.942380e+05 | Inf
1353.22/1353.22 c 1307s| 1820k| 1819k| 3620k| 2.0 |1776M| 181 | 0 |1700 |1604 |1700 | 271 | 921k| 6 |5720 | 0.000000e+00 | 3.942380e+05 | Inf
1360.22/1360.27 c 1313s| 1830k| 1829k| 3632k| 2.0 |1785M| 181 | 0 |1700 |1604 |1700 | 223 | 925k| 6 |5720 | 0.000000e+00 | 3.942380e+05 | Inf
1367.42/1367.42 c 1320s| 1840k| 1839k| 3646k| 2.0 |1795M| 181 | 0 |1700 |1604 |1700 | 251 | 928k| 6 |5736 | 0.000000e+00 | 3.942380e+05 | Inf
1374.73/1374.72 c 1327s| 1850k| 1849k| 3664k| 2.0 |1805M| 181 | 0 |1700 |1604 |1700 | 210 | 932k| 6 |5752 | 0.000000e+00 | 3.942380e+05 | Inf
1381.92/1381.90 c 1334s| 1860k| 1859k| 3680k| 2.0 |1814M| 181 | 0 |1700 |1604 |1700 | 239 | 936k| 6 |5753 | 0.000000e+00 | 3.942380e+05 | Inf
1388.93/1388.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1388.93/1388.91 c 1341s| 1870k| 1869k| 3691k| 2.0 |1824M| 181 | 0 |1700 |1604 |1700 | 271 | 940k| 6 |5769 | 0.000000e+00 | 3.942380e+05 | Inf
1395.93/1395.99 c 1348s| 1880k| 1879k| 3704k| 2.0 |1834M| 181 | 0 |1700 |1604 |1700 | 282 | 943k| 6 |5770 | 0.000000e+00 | 3.942380e+05 | Inf
1403.23/1403.23 c 1355s| 1890k| 1889k| 3720k| 2.0 |1843M| 181 | 0 |1700 |1604 |1700 | 268 | 947k| 6 |5786 | 0.000000e+00 | 3.942380e+05 | Inf
1410.43/1410.42 c 1362s| 1900k| 1899k| 3733k| 2.0 |1853M| 181 | 0 |1700 |1604 |1700 | 282 | 951k| 6 |5797 | 0.000000e+00 | 3.942380e+05 | Inf
1417.72/1417.78 c 1369s| 1910k| 1909k| 3752k| 2.0 |1863M| 181 | 0 |1700 |1604 |1700 | 250 | 955k| 6 |5807 | 0.000000e+00 | 3.942380e+05 | Inf
1425.12/1425.17 c 1376s| 1920k| 1919k| 3771k| 2.0 |1872M| 181 | 15 |1700 |1604 |1700 | 244 | 960k| 6 |5822 | 0.000000e+00 | 3.942380e+05 | Inf
1432.42/1432.40 c 1383s| 1930k| 1929k| 3787k| 2.0 |1882M| 181 | 0 |1700 |1604 |1700 | 256 | 964k| 6 |5841 | 0.000000e+00 | 3.942380e+05 | Inf
1439.53/1439.55 c 1390s| 1940k| 1939k| 3801k| 2.0 |1892M| 181 | 8 |1700 |1604 |1700 | 280 | 967k| 6 |5843 | 0.000000e+00 | 3.942380e+05 | Inf
1446.73/1446.76 c 1397s| 1950k| 1949k| 3815k| 2.0 |1901M| 181 | 0 |1700 |1604 |1700 | 259 | 971k| 6 |5859 | 0.000000e+00 | 3.942380e+05 | Inf
1454.03/1454.09 c 1404s| 1960k| 1959k| 3833k| 2.0 |1911M| 181 | 0 |1700 |1604 |1700 | 279 | 975k| 6 |5877 | 0.000000e+00 | 3.942380e+05 | Inf
1461.23/1461.24 c 1411s| 1970k| 1969k| 3845k| 2.0 |1921M| 181 | 0 |1700 |1604 |1700 | 272 | 979k| 6 |5878 | 0.000000e+00 | 3.942380e+05 | Inf
1468.33/1468.37 c 1418s| 1980k| 1979k| 3860k| 1.9 |1931M| 181 | 0 |1700 |1604 |1700 | 255 | 983k| 6 |5894 | 0.000000e+00 | 3.942380e+05 | Inf
1475.62/1475.63 c 1425s| 1990k| 1989k| 3876k| 1.9 |1940M| 189 | 9 |1700 |1604 |1700 | 228 | 987k| 6 |5904 | 0.000000e+00 | 3.942380e+05 | Inf
1482.53/1482.59 c 1431s| 2000k| 1999k| 3888k| 1.9 |1950M| 189 | 0 |1700 |1604 |1700 | 229 | 991k| 6 |5912 | 0.000000e+00 | 3.942380e+05 | Inf
1489.53/1489.51 c 1438s| 2010k| 2009k| 3898k| 1.9 |1960M| 189 | 0 |1700 |1604 |1700 | 236 | 993k| 6 |5917 | 0.000000e+00 | 3.942380e+05 | Inf
1496.23/1496.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.23/1496.29 c 1445s| 2020k| 2019k| 3905k| 1.9 |1969M| 203 | 0 |1700 |1604 |1700 | 300 | 995k| 6 |5933 | 0.000000e+00 | 3.942380e+05 | Inf
1503.23/1503.22 c 1451s| 2030k| 2029k| 3918k| 1.9 |1979M| 203 | 0 |1700 |1604 |1700 | 261 | 999k| 6 |5934 | 0.000000e+00 | 3.942380e+05 | Inf
1510.34/1510.33 c 1458s| 2040k| 2039k| 3933k| 1.9 |1989M| 203 | 0 |1700 |1604 |1700 | 250 |1003k| 6 |5951 | 0.000000e+00 | 3.942380e+05 | Inf
1517.13/1517.18 c 1465s| 2050k| 2049k| 3944k| 1.9 |1998M| 203 | 0 |1700 |1604 |1700 | 265 |1006k| 6 |5954 | 0.000000e+00 | 3.942380e+05 | Inf
1524.23/1524.24 c 1472s| 2060k| 2059k| 3960k| 1.9 |2008M| 203 | 0 |1700 |1608 |1700 | 267 |1010k| 10 |5970 | 0.000000e+00 | 3.942380e+05 | Inf
1531.23/1531.21 c 1478s| 2070k| 2069k| 3972k| 1.9 |2018M| 203 | 0 |1700 |1608 |1700 | 264 |1013k| 10 |5972 | 0.000000e+00 | 3.942380e+05 | Inf
1538.13/1538.17 c 1485s| 2080k| 2079k| 3983k| 1.9 |2027M| 203 | 0 |1700 |1608 |1700 | 256 |1016k| 10 |5989 | 0.000000e+00 | 3.942380e+05 | Inf
1545.03/1545.01 c 1492s| 2090k| 2089k| 3993k| 1.9 |2037M| 203 | 0 |1700 |1608 |1700 | 266 |1018k| 10 |5989 | 0.000000e+00 | 3.942380e+05 | Inf
1552.14/1552.11 c 1498s| 2100k| 2099k| 4008k| 1.9 |2046M| 203 | 0 |1700 |1608 |1700 | 274 |1022k| 10 |6010 | 0.000000e+00 | 3.942380e+05 | Inf
1559.23/1559.22 c 1505s| 2110k| 2109k| 4025k| 1.9 |2056M| 203 | 0 |1700 |1607 |1700 | 272 |1026k| 10 |6014 | 0.000000e+00 | 3.942380e+05 | Inf
1566.13/1566.18 c 1512s| 2120k| 2119k| 4037k| 1.9 |2066M| 203 | 0 |1700 |1607 |1700 | 269 |1029k| 10 |6024 | 0.000000e+00 | 3.942380e+05 | Inf
1573.04/1573.03 c 1519s| 2130k| 2129k| 4048k| 1.9 |2075M| 203 | 0 |1700 |1607 |1700 | 281 |1032k| 10 |6026 | 0.000000e+00 | 3.942380e+05 | Inf
1580.23/1580.29 c 1526s| 2140k| 2139k| 4068k| 1.9 |2085M| 203 | 0 |1700 |1607 |1700 | 257 |1037k| 10 |6039 | 0.000000e+00 | 3.942380e+05 | Inf
1587.34/1587.35 c 1533s| 2150k| 2149k| 4083k| 1.9 |2095M| 203 | 0 |1700 |1607 |1700 | 272 |1042k| 10 |6052 | 0.000000e+00 | 3.942380e+05 | Inf
1594.33/1594.33 c 1539s| 2160k| 2159k| 4096k| 1.9 |2105M| 203 | 0 |1700 |1607 |1700 | 266 |1047k| 10 |6053 | 0.000000e+00 | 3.942380e+05 | Inf
1601.23/1601.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.23/1601.21 c 1546s| 2170k| 2169k| 4107k| 1.9 |2114M| 203 | 0 |1700 |1607 |1700 | 253 |1050k| 10 |6069 | 0.000000e+00 | 3.942380e+05 | Inf
1608.34/1608.32 c 1553s| 2180k| 2179k| 4124k| 1.9 |2124M| 203 | 0 |1700 |1607 |1700 | 254 |1055k| 10 |6082 | 0.000000e+00 | 3.942380e+05 | Inf
1615.63/1615.61 c 1560s| 2190k| 2189k| 4143k| 1.9 |2134M| 203 | 2 |1700 |1607 |1700 | 227 |1058k| 10 |6099 | 0.000000e+00 | 3.942380e+05 | Inf
1622.63/1622.65 c 1567s| 2200k| 2199k| 4157k| 1.9 |2143M| 203 | 0 |1700 |1607 |1700 | 231 |1061k| 10 |6113 | 0.000000e+00 | 3.942380e+05 | Inf
1629.63/1629.65 c 1573s| 2210k| 2209k| 4171k| 1.9 |2153M| 203 | 0 |1700 |1606 |1700 | 284 |1063k| 10 |6114 | 0.000000e+00 | 3.942380e+05 | Inf
1636.43/1636.50 c 1580s| 2220k| 2219k| 4181k| 1.9 |2163M| 203 | 0 |1700 |1606 |1700 | 243 |1066k| 10 |6128 | 0.000000e+00 | 3.942380e+05 | Inf
1643.34/1643.30 c 1587s| 2230k| 2229k| 4189k| 1.9 |2172M| 203 | 0 |1700 |1606 |1700 | 256 |1069k| 10 |6130 | 0.000000e+00 | 3.942380e+05 | Inf
1650.13/1650.15 c 1593s| 2240k| 2239k| 4199k| 1.9 |2182M| 203 | 0 |1700 |1606 |1700 | 247 |1071k| 10 |6134 | 0.000000e+00 | 3.942380e+05 | Inf
1657.04/1657.07 c 1600s| 2250k| 2249k| 4210k| 1.9 |2191M| 203 | 0 |1700 |1606 |1700 | 272 |1074k| 10 |6147 | 0.000000e+00 | 3.942380e+05 | Inf
1664.33/1664.39 c 1607s| 2260k| 2259k| 4230k| 1.9 |2201M| 203 | 0 |1700 |1606 |1700 | 246 |1079k| 10 |6159 | 0.000000e+00 | 3.942380e+05 | Inf
1671.43/1671.40 c 1614s| 2270k| 2269k| 4244k| 1.9 |2211M| 203 | 0 |1700 |1606 |1700 | 272 |1083k| 10 |6164 | 0.000000e+00 | 3.942380e+05 | Inf
1678.54/1678.59 c 1621s| 2280k| 2279k| 4262k| 1.9 |2221M| 203 | 0 |1700 |1606 |1700 | 273 |1087k| 10 |6179 | 0.000000e+00 | 3.942380e+05 | Inf
1685.44/1685.47 c 1627s| 2290k| 2289k| 4273k| 1.9 |2230M| 203 | 0 |1700 |1606 |1700 | 258 |1090k| 10 |6179 | 0.000000e+00 | 3.942380e+05 | Inf
1692.33/1692.39 c 1634s| 2300k| 2299k| 4283k| 1.9 |2240M| 203 | 0 |1700 |1606 |1700 | 254 |1093k| 10 |6193 | 0.000000e+00 | 3.942380e+05 | Inf
1699.24/1699.27 c 1641s| 2310k| 2309k| 4294k| 1.9 |2249M| 203 | 0 |1700 |1606 |1700 | 246 |1096k| 10 |6195 | 0.000000e+00 | 3.942380e+05 | Inf
1706.44/1706.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.44/1706.44 c 1648s| 2320k| 2319k| 4312k| 1.9 |2259M| 203 | 0 |1700 |1606 |1700 | 255 |1101k| 10 |6210 | 0.000000e+00 | 3.942380e+05 | Inf
1713.64/1713.65 c 1655s| 2330k| 2329k| 4330k| 1.9 |2269M| 203 | 0 |1700 |1606 |1700 | 275 |1106k| 10 |6225 | 0.000000e+00 | 3.942380e+05 | Inf
1720.64/1720.62 c 1661s| 2340k| 2339k| 4343k| 1.9 |2279M| 203 | 0 |1700 |1606 |1700 | 241 |1110k| 10 |6231 | 0.000000e+00 | 3.942380e+05 | Inf
1727.63/1727.64 c 1668s| 2350k| 2349k| 4357k| 1.9 |2288M| 203 | 0 |1700 |1606 |1700 | 286 |1114k| 10 |6251 | 0.000000e+00 | 3.942380e+05 | Inf
1734.74/1734.71 c 1675s| 2360k| 2359k| 4371k| 1.9 |2298M| 203 | 0 |1700 |1606 |1700 | 286 |1117k| 10 |6255 | 0.000000e+00 | 3.942380e+05 | Inf
1741.73/1741.76 c 1682s| 2370k| 2369k| 4385k| 1.9 |2308M| 203 | 0 |1700 |1609 |1700 | 253 |1121k| 13 |6262 | 0.000000e+00 | 3.942380e+05 | Inf
1748.84/1748.84 c 1689s| 2380k| 2379k| 4400k| 1.8 |2317M| 203 | 0 |1700 |1609 |1700 | 237 |1124k| 13 |6274 | 0.000000e+00 | 3.942380e+05 | Inf
1755.83/1755.85 c 1696s| 2390k| 2389k| 4413k| 1.8 |2327M| 203 | 0 |1700 |1609 |1700 | 263 |1128k| 13 |6279 | 0.000000e+00 | 3.942380e+05 | Inf
1762.54/1762.51 c 1702s| 2400k| 2399k| 4419k| 1.8 |2337M| 203 | 0 |1700 |1608 |1700 | 267 |1129k| 13 |6290 | 0.000000e+00 | 3.942380e+05 | Inf
1769.43/1769.48 c 1709s| 2410k| 2409k| 4433k| 1.8 |2346M| 203 | 0 |1700 |1608 |1700 | 284 |1133k| 13 |6294 | 0.000000e+00 | 3.942380e+05 | Inf
1776.44/1776.47 c 1716s| 2420k| 2419k| 4448k| 1.8 |2356M| 203 | 0 |1700 |1608 |1700 | 229 |1137k| 13 |6311 | 0.000000e+00 | 3.942380e+05 | Inf
1783.44/1783.45 c 1722s| 2430k| 2429k| 4461k| 1.8 |2366M| 203 | 0 |1700 |1608 |1700 | 272 |1140k| 13 |6318 | 0.000000e+00 | 3.942380e+05 | Inf
1790.44/1790.40 c 1729s| 2440k| 2439k| 4472k| 1.8 |2375M| 203 | 0 |1700 |1608 |1700 | 280 |1144k| 13 |6335 | 0.000000e+00 | 3.942380e+05 | Inf
1797.44/1797.46 c 1736s| 2450k| 2449k| 4488k| 1.8 |2385M| 203 | 0 |1700 |1608 |1700 | 245 |1148k| 13 |6335 | 0.000000e+00 | 3.942380e+05 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1738.25
1800.04/1800.00 c Solving Nodes : 2453631
1800.04/1800.00 c Primal Bound : +3.94238000000000e+05 (100 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1800.04/1800.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.04/1800.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1800.04/1800.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1800.04/1800.01 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 x84
1800.04/1800.01 v -x83 x82 -x81 x80 -x79 x78 -x77 x76 -x75 x74 -x73 x72 -x71 x70 -x69 x68 -x67 x66 -x65 x64 -x63 x62 -x61 x60 -x59 x58 -x57 x56
1800.04/1800.01 v -x55 x54 -x53 x52 -x51 x50 -x49 x48 -x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 x28
1800.04/1800.01 v -x27 x26 -x25 x24 -x23 x22 -x21 x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 -x11 x10 -x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1738.25
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2700392-1278535349.wbo
1800.04/1800.01 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.04/1800.01 c Constraints : 1701 initial, 1701 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2700392-1278535349.wbo
1800.04/1800.01 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.04/1800.01 c Constraints : 1600 initial, 1609 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.02 0 100 0 800 0 101 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 2757565 0 0 0 0 0 824080
1800.04/1800.01 c indicator : 800 0 3427516 2345525 0 0 2477349 0 0 0
1800.04/1800.01 c linear : 800 6 3427516 2345524 0 4 1046123 1150094 0 0
1800.04/1800.01 c logicor : 0+ 0 41593 0 0 0 3570 0 0 0
1800.04/1800.01 c countsols : 0 0 0 2041587 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 8.46 0.00 0.00 8.46 0.00
1800.04/1800.01 c indicator : 155.90 0.10 32.57 123.23 0.00
1800.04/1800.01 c linear : 37.21 0.00 14.27 22.94 0.00
1800.04/1800.01 c logicor : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c countsols : 0.34 0.00 0.00 0.34 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.82 2 0 0
1800.04/1800.01 c rootredcost : 0.58 0 0 0
1800.04/1800.01 c pseudoobj : 51.71 3427316 0 0
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 4 4 4 6.8 9 3.9 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 13 4.8 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 3 - - 5 - (maximal pool size: 28)
1800.04/1800.01 c redcost : 90.46 2756979 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.02 4 0 0 28 0
1800.04/1800.01 c strongcg : 0.01 4 0 0 0 0
1800.04/1800.01 c cmir : 0.00 4 0 0 0 0
1800.04/1800.01 c flowcover : 0.02 4 0 0 0 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 7.81 412040 0 0 0 0 824080
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 133.39 2041587 0 0 0 0 4083174
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c feaspump : 0.01 0 0
1800.04/1800.01 c oneopt : 1.20 1 0
1800.04/1800.01 c intshifting : 0.06 18 0
1800.04/1800.01 c crossover : 0.64 13 0
1800.04/1800.01 c linesearchdiving : 14.26 28184 0
1800.04/1800.01 c guideddiving : 14.52 28184 0
1800.04/1800.01 c coefdiving : 13.86 28184 0
1800.04/1800.01 c pscostdiving : 14.16 28184 0
1800.04/1800.01 c veclendiving : 13.64 28184 0
1800.04/1800.01 c fracdiving : 14.14 28185 0
1800.04/1800.01 c objpscostdiving : 14.20 28156 0
1800.04/1800.01 c rootsoldiving : 15.06 28156 0
1800.04/1800.01 c trivial : 0.00 2 1
1800.04/1800.01 c simplerounding : 0.96 411995 0
1800.04/1800.01 c zirounding : 0.53 1000 0
1800.04/1800.01 c rounding : 0.85 9024 0
1800.04/1800.01 c shifting : 1.41 2813 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.73 0 0
1800.04/1800.01 c trysol : 1.21 31883 99
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 702.95 879193 4491296 5.11 6389.21
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.18 352 1109 3.15 6161.11
1800.04/1800.01 c strong branching : 4.99 6341 64961 10.24 13018.24
1800.04/1800.01 c (at root node) : - 33 2300 69.70 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2453631
1800.04/1800.01 c nodes (total) : 2453631
1800.04/1800.01 c nodes left : 2453624
1800.04/1800.01 c max depth : 203
1800.04/1800.01 c max depth (total): 203
1800.04/1800.01 c backtracks : 28342 (1.2%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 28 (11 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.29
1800.04/1800.01 c switching time : 67.31
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 100 (1 improvements)
1800.04/1800.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 190
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700392-1278535349/watcher-2700392-1278535349 -o /tmp/evaluation-result-2700392-1278535349/solver-2700392-1278535349 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700392-1278535349.wbo -t 1800 -m 3800
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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.22 2.02 1.60 4/178 18922
/proc/meminfo: memFree=29081756/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=9416 CPUtime=0
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 1659 0 0 0 0 0 0 0 25 0 1 0 21748799 9641984 1578 4089446400 4194304 8223781 140733870304256 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18922/statm: 2354 1578 369 984 0 1367 0
[startup+0.0778301 s]
/proc/loadavg: 2.22 2.02 1.60 4/178 18922
/proc/meminfo: memFree=29081756/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=22852 CPUtime=0.07
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 6016 0 0 0 7 0 0 0 25 0 1 0 21748799 23400448 4790 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 5713 4790 563 984 0 4726 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22852
[startup+0.100827 s]
/proc/loadavg: 2.22 2.02 1.60 4/178 18922
/proc/meminfo: memFree=29081756/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=22852 CPUtime=0.09
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 6047 0 0 0 9 0 0 0 25 0 1 0 21748799 23400448 4821 4089446400 4194304 8223781 140733870304256 18446744073709551615 6439597 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 5713 4821 563 984 0 4726 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22852
[startup+0.30079 s]
/proc/loadavg: 2.22 2.02 1.60 4/178 18922
/proc/meminfo: memFree=29081756/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=27408 CPUtime=0.29
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 10003 0 0 0 28 1 0 0 25 0 1 0 21748799 28065792 5965 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 6852 5965 578 984 0 5865 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27408
[startup+0.700719 s]
/proc/loadavg: 2.22 2.02 1.60 4/178 18922
/proc/meminfo: memFree=29081756/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=27408 CPUtime=0.69
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 10003 0 0 0 67 2 0 0 25 0 1 0 21748799 28065792 5965 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 6852 5965 578 984 0 5865 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27408
[startup+1.50058 s]
/proc/loadavg: 2.22 2.02 1.60 3/179 18923
/proc/meminfo: memFree=29059180/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=28072 CPUtime=1.49
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 10138 0 0 0 142 7 0 0 25 0 1 0 21748799 28745728 6100 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 7018 6100 581 984 0 6031 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28072
[startup+3.10029 s]
/proc/loadavg: 2.22 2.02 1.60 3/179 18923
/proc/meminfo: memFree=29056824/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=32496 CPUtime=3.09
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 19809 0 0 0 297 12 0 0 25 0 1 0 21748799 33275904 7176 4089446400 4194304 8223781 140733870304256 18446744073709551615 4414573 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 8124 7176 582 984 0 7137 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32496
[startup+6.30079 s]
/proc/loadavg: 2.20 2.02 1.60 3/179 18923
/proc/meminfo: memFree=29052844/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=36528 CPUtime=6.29
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 23695 0 0 0 609 20 0 0 25 0 1 0 21748799 37404672 8199 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 9132 8199 582 984 0 8145 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36528
[startup+12.7007 s]
/proc/loadavg: 2.19 2.02 1.60 3/179 18923
/proc/meminfo: memFree=29043180/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=44572 CPUtime=12.69
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 28563 0 0 0 1232 37 0 0 25 0 1 0 21748799 45641728 10220 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 11143 10220 586 984 0 10156 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44572
[startup+25.5004 s]
/proc/loadavg: 2.14 2.02 1.61 3/179 18924
/proc/meminfo: memFree=29027544/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=58844 CPUtime=25.49
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 37933 0 0 0 2480 69 0 0 25 0 1 0 21748799 60256256 13865 4089446400 4194304 8223781 140733870304256 18446744073709551615 6002944 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 14711 13865 586 984 0 13724 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58844
[startup+51.1008 s]
/proc/loadavg: 2.09 2.02 1.62 3/179 18925
/proc/meminfo: memFree=28990544/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=87192 CPUtime=51.09
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 48002 0 0 0 4972 137 0 0 25 0 1 0 21748799 89284608 21058 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 21798 21058 586 984 0 20811 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87192
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 1.64 3/179 18926
/proc/meminfo: memFree=28911380/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=150784 CPUtime=102.3
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 66510 0 0 0 9961 269 0 0 25 0 1 0 21748799 154402816 36687 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 37696 36687 586 984 0 36709 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 150784
[startup+162.301 s]
/proc/loadavg: 2.08 2.02 1.66 3/179 18927
/proc/meminfo: memFree=28821928/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=221224 CPUtime=162.29
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 84403 0 0 0 15821 408 0 0 25 0 1 0 21748799 226533376 54580 4089446400 4194304 8223781 140733870304256 18446744073709551615 6004067 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 55306 54580 586 984 0 54319 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 221224
[startup+222.3 s]
/proc/loadavg: 2.03 2.02 1.68 3/179 18929
/proc/meminfo: memFree=28726648/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=297624 CPUtime=222.3
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 105655 0 0 0 21675 555 0 0 25 0 1 0 21748799 304766976 72947 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 74406 72947 586 984 0 73419 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 297624
[startup+282.301 s]
/proc/loadavg: 2.01 2.01 1.70 3/179 19008
/proc/meminfo: memFree=29298760/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=373608 CPUtime=282.3
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 124972 0 0 0 27520 710 0 0 25 0 1 0 21748799 382574592 92262 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 93402 92262 586 984 0 92415 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 373608
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 19009
/proc/meminfo: memFree=29219528/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=451172 CPUtime=342.3
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 147552 0 0 0 33326 904 0 0 25 0 1 0 21748799 462000128 111962 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 112793 111962 586 984 0 111806 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 451172
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 19011
/proc/meminfo: memFree=29142060/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=534880 CPUtime=402.3
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 166742 0 0 0 39184 1046 0 0 25 0 1 0 21748799 547717120 131152 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 133720 131152 586 984 0 132733 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 534880
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.74 3/179 19012
/proc/meminfo: memFree=29061480/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=612860 CPUtime=462.31
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 186561 0 0 0 44954 1277 0 0 25 0 1 0 21748799 627568640 150971 4089446400 4194304 8223781 140733870304256 18446744073709551615 6455718 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 153215 150971 586 984 0 152228 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 612860
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/179 19014
/proc/meminfo: memFree=28981764/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=691308 CPUtime=522.3
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 206485 0 0 0 50718 1512 0 0 25 0 1 0 21748799 707899392 170895 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 172827 170895 586 984 0 171840 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 691308
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.77 3/179 19016
/proc/meminfo: memFree=28902432/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=769744 CPUtime=582.31
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 226402 0 0 0 56476 1755 0 0 25 0 1 0 21748799 788217856 190812 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 192436 190812 586 984 0 191449 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 769744
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.78 3/179 19017
/proc/meminfo: memFree=28822368/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=847024 CPUtime=642.31
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 248912 0 0 0 62251 1980 0 0 25 0 1 0 21748799 867352576 210452 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 211756 210452 586 984 0 210769 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 847024
[startup+702.3 s]
################
# More data... #
################
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 370189 0 0 0 96793 3439 0 0 25 0 1 0 21748799 1372860416 331728 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 335171 331728 586 984 0 334184 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1340684
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/179 19055
/proc/meminfo: memFree=28250808/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=1416928 CPUtime=1062.32
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 389580 0 0 0 102553 3679 0 0 25 0 1 0 21748799 1450934272 351119 4089446400 4194304 8223781 140733870304256 18446744073709551615 6524054 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 354232 351119 586 984 0 353245 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1416928
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 19066
/proc/meminfo: memFree=28165420/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=1497944 CPUtime=1122.32
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 410140 0 0 0 108343 3889 0 0 25 0 1 0 21748799 1533894656 371679 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 374486 371679 586 984 0 373499 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1497944
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 19068
/proc/meminfo: memFree=28084032/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=1577744 CPUtime=1182.32
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 430418 0 0 0 114138 4094 0 0 25 0 1 0 21748799 1615609856 391957 4089446400 4194304 8223781 140733870304256 18446744073709551615 6003169 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 394436 391957 586 984 0 393449 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1577744
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 19069
/proc/meminfo: memFree=28002020/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=1656776 CPUtime=1242.32
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 453368 0 0 0 119942 4290 0 0 25 0 1 0 21748799 1696538624 412049 4089446400 4194304 8223781 140733870304256 18446744073709551615 4651304 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 414194 412049 586 984 0 413207 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1656776
[startup+1302.3 s]
/proc/loadavg: 2.13 2.03 1.88 3/179 19071
/proc/meminfo: memFree=27919880/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=1735448 CPUtime=1302.33
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 473376 0 0 0 125733 4500 0 0 25 0 1 0 21748799 1777098752 432057 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 433862 432057 586 984 0 432875 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1735448
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 1.88 3/179 19072
/proc/meminfo: memFree=27839844/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=1815152 CPUtime=1362.32
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 493619 0 0 0 131531 4701 0 0 25 0 1 0 21748799 1858715648 452297 4089446400 4194304 8223781 140733870304256 18446744073709551615 4819060 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 453788 452297 586 984 0 452801 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1815152
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 1.89 3/179 19074
/proc/meminfo: memFree=27758200/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=1894260 CPUtime=1422.33
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 513720 0 0 0 137317 4916 0 0 25 0 1 0 21748799 1939722240 472396 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 473565 472396 586 984 0 472578 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1894260
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/179 19076
/proc/meminfo: memFree=27678304/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=1973052 CPUtime=1482.32
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 533739 0 0 0 143101 5131 0 0 25 0 1 0 21748799 2020405248 492413 4089446400 4194304 8223781 140733870304256 18446744073709551615 6445097 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 493263 492413 586 984 0 492276 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1973052
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/179 19077
/proc/meminfo: memFree=27593428/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=2088168 CPUtime=1542.33
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 554683 0 0 0 148902 5331 0 0 25 0 1 0 21748799 2138284032 513357 4089446400 4194304 8223781 140733870304256 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 522042 513357 586 984 0 521055 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2088168
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 19079
/proc/meminfo: memFree=27511780/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=2169540 CPUtime=1602.34
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 575348 0 0 0 154704 5530 0 0 25 0 1 0 21748799 2221608960 534022 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 542385 534022 586 984 0 541398 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2169540
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 19080
/proc/meminfo: memFree=27426400/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=2251828 CPUtime=1662.33
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 596258 0 0 0 160501 5732 0 0 25 0 1 0 21748799 2305871872 554932 4089446400 4194304 8223781 140733870304256 18446744073709551615 6162703 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 562957 554932 586 984 0 561970 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2251828
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 19082
/proc/meminfo: memFree=27345008/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=2332992 CPUtime=1722.34
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 616883 0 0 0 166313 5921 0 0 25 0 1 0 21748799 2388983808 575557 4089446400 4194304 8223781 140733870304256 18446744073709551615 6482877 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 583248 575557 586 984 0 582261 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2332992
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 19084
/proc/meminfo: memFree=27258776/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=2415576 CPUtime=1782.34
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 637852 0 0 0 172117 6117 0 0 25 0 1 0 21748799 2473549824 596526 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 603894 596526 586 984 0 602907 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2415576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 19084
/proc/meminfo: memFree=27233200/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=2440848 CPUtime=1800.04
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 644270 0 0 0 173826 6178 0 0 25 0 1 0 21748799 2499428352 602944 4089446400 4194304 8223781 140733870304256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18922/statm: 610212 602944 586 984 0 609225 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2440848
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18922
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 19085
/proc/meminfo: memFree=27233192/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=2440848 CPUtime=1801.43
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 644272 0 0 0 173965 6178 0 0 25 0 1 0 21748799 2499428352 602946 4089446400 4194304 8223781 140733870304256 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18922/statm: 610212 602946 588 984 0 609225 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 2440848
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 19085
/proc/meminfo: memFree=27233192/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=2440848 CPUtime=1801.84
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 644272 0 0 0 174006 6178 0 0 25 0 1 0 21748799 2499428352 602946 4089446400 4194304 8223781 140733870304256 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18922/statm: 610212 602946 588 984 0 609225 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2440848
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 19085
/proc/meminfo: memFree=27233192/32950928 swapFree=67111528/67111528
[pid=18922] ppid=18920 vsize=2440848 CPUtime=1802.03
/proc/18922/stat : 18922 (pbscip.linux.x8) R 18920 18922 18410 0 -1 4202496 644272 0 0 0 174025 6178 0 0 25 0 1 0 21748799 2499428352 602946 4089446400 4194304 8223781 140733870304256 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18922/statm: 610212 602946 588 984 0 609225 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 2440848
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.13
CPU user time (s): 1740.26
CPU system time (s): 61.8676
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2440848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1740.26
system time used= 61.8676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 644272
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= 3
involuntary context switches= 1031
runsolver used 2.6316 second user time and 5.71913 second system time
The end
Begin job on node123 at 2010-07-07 22:42:29
IDJOB=2700392
IDBENCH=79424
IDSOLVER=1204
FILE ID=node123/2700392-1278535349
PBS_JOBID= 11239232
Free space on /tmp= 73624 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh205_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700392-1278535349/watcher-2700392-1278535349 -o /tmp/evaluation-result-2700392-1278535349/solver-2700392-1278535349 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700392-1278535349.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= dcd6541236cc8e3c8ecb4a3e0452a499
RANDOM SEED=1488927910
node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.80
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5354.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 29082284 kB
Buffers: 137868 kB
Cached: 2935744 kB
SwapCached: 0 kB
Active: 1534616 kB
Inactive: 2185032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29082284 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4892 kB
Writeback: 0 kB
AnonPages: 646136 kB
Mapped: 17368 kB
Slab: 82268 kB
PageTables: 5812 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 797772 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73624 MiB
End job on node123 at 2010-07-07 23:12:31