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-2700236-1278534483.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.03/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.03/0.05 c presolving (3 rounds):
0.03/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.05 c 1000 implications, 0 cliques
0.03/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.03/0.05 c 800 constraints of type <indicator>
0.03/0.05 c 800 constraints of type <linear>
0.03/0.05 c transformed objective value is always integral (scale: 1)
0.03/0.05 c Presolving Time: 0.03
0.03/0.05 c - non default parameters ----------------------------------------------------------------------
0.03/0.05 c # SCIP version 1.2.1.2
0.03/0.05 c
0.03/0.05 c # frequency for displaying node information lines
0.03/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.05 c display/freq = 10000
0.03/0.05 c
0.03/0.05 c # maximal time in seconds to run
0.03/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.05 c limits/time = 1799.99
0.03/0.05 c
0.03/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.05 c limits/memory = 3420
0.03/0.05 c
0.03/0.05 c # should presolving try to simplify inequalities
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c constraints/linear/simplifyinequalities = TRUE
0.03/0.05 c
0.03/0.05 c # should presolving try to simplify knapsacks
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.05 c
0.03/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.05 c separating/rapidlearning/freq = 0
0.03/0.05 c
0.03/0.05 c -----------------------------------------------------------------------------------------------
0.03/0.05 c start solving
0.03/0.05 c
0.03/0.05 o 394238
0.03/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.03/0.05 c t 0.0s| 1 | 0 | 0 | - |5796k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.03/0.06 c 0.0s| 1 | 0 | 0 | - |6169k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.03/0.06 c 0.0s| 1 | 0 | 29 | - |6202k| 0 | 0 |1700 |1600 |1700 | 57 | 57 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.03/0.06 c 0.0s| 1 | 0 | 102 | - |6247k| 0 | 42 |1700 |1600 |1700 | 94 | 94 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.03/0.07 c 0.1s| 1 | 0 | 190 | - |6356k| 0 | 69 |1700 |1600 |1700 | 142 | 142 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.03/0.09 c 0.1s| 1 | 0 | 239 | - |6495k| 0 | 80 |1700 |1600 |1700 | 161 | 161 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 256 | - |6530k| 0 | 83 |1700 |1600 |1700 | 170 | 170 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 297 | - |6559k| 0 | 78 |1700 |1600 |1700 | 174 | 174 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.30/0.36 c 0.3s| 1 | 2 | 452 | - |6611k| 0 | 78 |1700 |1600 |1700 | 174 | 174 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
12.40/12.48 c 12.2s| 10000 | 10001 | 68593 | 6.8 | 19M| 79 | 0 |1700 |1600 |1700 | 236 | 19k| 0 | 791 | 0.000000e+00 | 3.942380e+05 | Inf
22.19/22.29 c 21.8s| 20000 | 19999 |128853 | 6.4 | 29M| 93 | 0 |1700 |1601 |1700 | 226 | 34k| 1 | 830 | 0.000000e+00 | 3.942380e+05 | Inf
31.59/31.64 c 30.9s| 30000 | 29999 |174121 | 5.8 | 39M| 111 | 0 |1700 |1601 |1700 | 279 | 46k| 1 | 978 | 0.000000e+00 | 3.942380e+05 | Inf
40.09/40.19 c 39.3s| 40000 | 39999 |206366 | 5.2 | 48M| 117 | 0 |1700 |1601 |1700 | 267 | 55k| 1 |1096 | 0.000000e+00 | 3.942380e+05 | Inf
49.09/49.12 c 48.1s| 50000 | 49999 |245785 | 4.9 | 58M| 117 | 18 |1700 |1601 |1700 | 239 | 66k| 1 |1306 | 0.000000e+00 | 3.942380e+05 | Inf
57.89/57.95 c 56.7s| 60000 | 59999 |283576 | 4.7 | 68M| 117 | 0 |1700 |1601 |1700 | 246 | 75k| 1 |1436 | 0.000000e+00 | 3.942380e+05 | Inf
66.19/66.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.19/66.23 c 64.9s| 70000 | 69999 |309059 | 4.4 | 78M| 117 | 0 |1700 |1601 |1700 | 273 | 82k| 1 |1533 | 0.000000e+00 | 3.942380e+05 | Inf
74.89/74.96 c 73.4s| 80000 | 79999 |342215 | 4.3 | 88M| 117 | 0 |1700 |1601 |1700 | 264 | 92k| 1 |1619 | 0.000000e+00 | 3.942380e+05 | Inf
83.39/83.40 c 81.7s| 90000 | 89999 |369368 | 4.1 | 97M| 117 | 0 |1700 |1601 |1700 | 234 | 100k| 1 |1693 | 0.000000e+00 | 3.942380e+05 | Inf
91.80/91.85 c 90.0s|100000 | 99999 |396310 | 4.0 | 107M| 117 | 0 |1700 |1601 |1700 | 268 | 108k| 1 |1762 | 0.000000e+00 | 3.942380e+05 | Inf
100.60/100.65 c 98.6s|110000 |109999 |430173 | 3.9 | 117M| 117 | 0 |1700 |1601 |1700 | 305 | 117k| 1 |1878 | 0.000000e+00 | 3.942380e+05 | Inf
109.40/109.47 c 107s|120000 |119999 |462269 | 3.8 | 127M| 117 | 0 |1700 |1601 |1700 | 279 | 126k| 1 |1978 | 0.000000e+00 | 3.942380e+05 | Inf
117.89/117.99 c 116s|130000 |129999 |492558 | 3.8 | 136M| 117 | 27 |1700 |1601 |1700 | 197 | 134k| 1 |2045 | 0.000000e+00 | 3.942380e+05 | Inf
126.50/126.59 c 124s|140000 |139999 |522233 | 3.7 | 146M| 117 | 12 |1700 |1601 |1700 | 208 | 142k| 1 |2112 | 0.000000e+00 | 3.942380e+05 | Inf
135.20/135.23 c 133s|150000 |149999 |549019 | 3.7 | 156M| 117 | 0 |1700 |1601 |1700 | 283 | 150k| 1 |2177 | 0.000000e+00 | 3.942380e+05 | Inf
143.70/143.74 c 141s|160000 |159999 |574056 | 3.6 | 166M| 117 | 0 |1700 |1601 |1700 | 251 | 157k| 1 |2237 | 0.000000e+00 | 3.942380e+05 | Inf
152.09/152.10 c 149s|170000 |169999 |598446 | 3.5 | 176M| 119 | 0 |1700 |1601 |1700 | 249 | 164k| 1 |2283 | 0.000000e+00 | 3.942380e+05 | Inf
160.39/160.41 c 157s|180000 |179999 |618514 | 3.4 | 185M| 119 | 3 |1700 |1601 |1700 | 251 | 170k| 1 |2314 | 0.000000e+00 | 3.942380e+05 | Inf
168.79/168.86 c 166s|190000 |189999 |642588 | 3.4 | 195M| 123 | 22 |1700 |1601 |1700 | 214 | 178k| 1 |2356 | 0.000000e+00 | 3.942380e+05 | Inf
177.20/177.25 c 174s|200000 |199999 |670771 | 3.4 | 205M| 125 | 0 |1700 |1601 |1700 | 270 | 186k| 1 |2409 | 0.000000e+00 | 3.942380e+05 | Inf
185.80/185.88 c 182s|210000 |209999 |697934 | 3.3 | 215M| 129 | 7 |1700 |1601 |1700 | 245 | 194k| 1 |2455 | 0.000000e+00 | 3.942380e+05 | Inf
194.19/194.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.19/194.25 c 191s|220000 |219997 |720476 | 3.3 | 225M| 129 | 0 |1700 |1602 |1700 | 278 | 201k| 2 |2510 | 0.000000e+00 | 3.942380e+05 | Inf
202.49/202.59 c 199s|230000 |229997 |740292 | 3.2 | 234M| 129 | 4 |1700 |1602 |1700 | 248 | 206k| 2 |2537 | 0.000000e+00 | 3.942380e+05 | Inf
210.70/210.78 c 207s|240000 |239997 |762443 | 3.2 | 244M| 129 | 0 |1700 |1602 |1700 | 273 | 213k| 2 |2567 | 0.000000e+00 | 3.942380e+05 | Inf
219.19/219.29 c 215s|250000 |249997 |785059 | 3.1 | 254M| 129 | 0 |1700 |1602 |1700 | 242 | 220k| 2 |2606 | 0.000000e+00 | 3.942380e+05 | Inf
227.70/227.78 c 223s|260000 |259997 |807929 | 3.1 | 264M| 129 | 0 |1700 |1602 |1700 | 253 | 227k| 2 |2654 | 0.000000e+00 | 3.942380e+05 | Inf
236.20/236.29 c 232s|270000 |269997 |831673 | 3.1 | 273M| 129 | 0 |1700 |1602 |1700 | 246 | 234k| 2 |2680 | 0.000000e+00 | 3.942380e+05 | Inf
244.19/244.23 c 240s|280000 |279997 |852845 | 3.0 | 283M| 129 | 0 |1700 |1602 |1700 | 268 | 240k| 2 |2728 | 0.000000e+00 | 3.942380e+05 | Inf
251.90/251.92 c 247s|290000 |289997 |873859 | 3.0 | 293M| 129 | 29 |1700 |1602 |1700 | 226 | 247k| 2 |2756 | 0.000000e+00 | 3.942380e+05 | Inf
259.60/259.68 c 255s|300000 |299997 |897610 | 3.0 | 303M| 129 | 22 |1700 |1602 |1700 | 268 | 253k| 2 |2794 | 0.000000e+00 | 3.942380e+05 | Inf
267.50/267.52 c 262s|310000 |309997 |923933 | 3.0 | 313M| 129 | 0 |1700 |1602 |1700 | 270 | 261k| 2 |2832 | 0.000000e+00 | 3.942380e+05 | Inf
275.29/275.34 c 270s|320000 |319997 |948770 | 3.0 | 322M| 131 | 0 |1700 |1602 |1700 | 258 | 268k| 2 |2879 | 0.000000e+00 | 3.942380e+05 | Inf
282.99/283.06 c 277s|330000 |329997 |970712 | 2.9 | 332M| 131 | 0 |1700 |1602 |1700 | 225 | 274k| 2 |2904 | 0.000000e+00 | 3.942380e+05 | Inf
290.79/290.85 c 285s|340000 |339997 |995960 | 2.9 | 342M| 131 | 11 |1700 |1602 |1700 | 275 | 282k| 2 |2955 | 0.000000e+00 | 3.942380e+05 | Inf
298.60/298.63 c 293s|350000 |349997 | 1021k| 2.9 | 352M| 131 | 0 |1700 |1602 |1700 | 255 | 289k| 2 |2996 | 0.000000e+00 | 3.942380e+05 | Inf
306.39/306.42 c 300s|360000 |359997 | 1047k| 2.9 | 362M| 131 | 0 |1700 |1602 |1700 | 241 | 297k| 2 |3025 | 0.000000e+00 | 3.942380e+05 | Inf
314.10/314.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.10/314.17 c 308s|370000 |369997 | 1070k| 2.9 | 371M| 131 | 7 |1700 |1602 |1700 | 240 | 304k| 2 |3067 | 0.000000e+00 | 3.942380e+05 | Inf
322.00/322.01 c 315s|380000 |379997 | 1098k| 2.9 | 381M| 131 | 0 |1700 |1602 |1700 | 275 | 312k| 2 |3104 | 0.000000e+00 | 3.942380e+05 | Inf
329.70/329.71 c 323s|390000 |389997 | 1120k| 2.9 | 391M| 131 | 0 |1700 |1602 |1700 | 274 | 318k| 2 |3130 | 0.000000e+00 | 3.942380e+05 | Inf
337.40/337.46 c 330s|400000 |399997 | 1145k| 2.9 | 401M| 131 | 9 |1700 |1602 |1700 | 265 | 326k| 2 |3154 | 0.000000e+00 | 3.942380e+05 | Inf
345.20/345.28 c 338s|410000 |409997 | 1170k| 2.9 | 410M| 131 | 4 |1700 |1602 |1700 | 267 | 333k| 2 |3192 | 0.000000e+00 | 3.942380e+05 | Inf
352.89/352.98 c 346s|420000 |419997 | 1193k| 2.8 | 420M| 131 | 0 |1700 |1602 |1700 | 249 | 340k| 2 |3210 | 0.000000e+00 | 3.942380e+05 | Inf
360.70/360.72 c 353s|430000 |429997 | 1216k| 2.8 | 430M| 131 | 0 |1700 |1602 |1700 | 255 | 346k| 2 |3246 | 0.000000e+00 | 3.942380e+05 | Inf
368.40/368.50 c 361s|440000 |439997 | 1239k| 2.8 | 440M| 131 | 0 |1700 |1602 |1700 | 297 | 353k| 2 |3267 | 0.000000e+00 | 3.942380e+05 | Inf
376.20/376.21 c 368s|450000 |449997 | 1259k| 2.8 | 450M| 131 | 0 |1700 |1602 |1700 | 268 | 359k| 2 |3296 | 0.000000e+00 | 3.942380e+05 | Inf
383.80/383.87 c 376s|460000 |459997 | 1281k| 2.8 | 459M| 131 | 0 |1700 |1602 |1700 | 285 | 365k| 2 |3328 | 0.000000e+00 | 3.942380e+05 | Inf
391.60/391.67 c 383s|470000 |469997 | 1307k| 2.8 | 469M| 133 | 17 |1700 |1602 |1700 | 208 | 373k| 2 |3348 | 0.000000e+00 | 3.942380e+05 | Inf
399.31/399.38 c 391s|480000 |479997 | 1330k| 2.8 | 479M| 133 | 5 |1700 |1602 |1700 | 246 | 380k| 2 |3391 | 0.000000e+00 | 3.942380e+05 | Inf
406.70/406.75 c 398s|490000 |489997 | 1351k| 2.8 | 489M| 175 | 0 |1700 |1602 |1700 | 307 | 386k| 2 |3411 | 0.000000e+00 | 3.942380e+05 | Inf
413.90/413.93 c 405s|500000 |499997 | 1366k| 2.7 | 498M| 175 | 0 |1700 |1602 |1700 | 241 | 390k| 2 |3431 | 0.000000e+00 | 3.942380e+05 | Inf
421.20/421.25 c 412s|510000 |509997 | 1384k| 2.7 | 508M| 175 | 0 |1700 |1602 |1700 | 288 | 395k| 2 |3452 | 0.000000e+00 | 3.942380e+05 | Inf
428.39/428.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.39/428.49 c 419s|520000 |519997 | 1395k| 2.7 | 518M| 175 | 0 |1700 |1602 |1700 | 250 | 399k| 2 |3464 | 0.000000e+00 | 3.942380e+05 | Inf
435.79/435.80 c 426s|530000 |529997 | 1410k| 2.7 | 528M| 175 | 0 |1700 |1602 |1700 | 268 | 403k| 2 |3477 | 0.000000e+00 | 3.942380e+05 | Inf
442.90/442.99 c 433s|540000 |539997 | 1422k| 2.6 | 537M| 175 | 0 |1700 |1602 |1700 | 265 | 407k| 2 |3493 | 0.000000e+00 | 3.942380e+05 | Inf
450.00/450.06 c 440s|550000 |549997 | 1432k| 2.6 | 547M| 175 | 0 |1700 |1602 |1700 | 244 | 409k| 2 |3506 | 0.000000e+00 | 3.942380e+05 | Inf
457.19/457.21 c 447s|560000 |559997 | 1443k| 2.6 | 557M| 175 | 0 |1700 |1602 |1700 | 272 | 412k| 2 |3508 | 0.000000e+00 | 3.942380e+05 | Inf
464.40/464.41 c 454s|570000 |569997 | 1455k| 2.6 | 566M| 175 | 0 |1700 |1602 |1700 | 259 | 416k| 2 |3523 | 0.000000e+00 | 3.942380e+05 | Inf
471.59/471.64 c 461s|580000 |579997 | 1470k| 2.5 | 576M| 175 | 0 |1700 |1602 |1700 | 283 | 420k| 2 |3544 | 0.000000e+00 | 3.942380e+05 | Inf
478.90/478.93 c 468s|590000 |589997 | 1487k| 2.5 | 586M| 175 | 0 |1700 |1602 |1700 | 268 | 425k| 2 |3571 | 0.000000e+00 | 3.942380e+05 | Inf
485.90/485.98 c 475s|600000 |599997 | 1499k| 2.5 | 595M| 175 | 0 |1700 |1602 |1700 | 246 | 429k| 2 |3585 | 0.000000e+00 | 3.942380e+05 | Inf
492.89/492.96 c 482s|610000 |609997 | 1509k| 2.5 | 605M| 175 | 0 |1700 |1602 |1700 | 267 | 432k| 2 |3587 | 0.000000e+00 | 3.942380e+05 | Inf
500.00/500.04 c 489s|620000 |619997 | 1522k| 2.5 | 615M| 175 | 0 |1700 |1602 |1700 | 269 | 436k| 2 |3602 | 0.000000e+00 | 3.942380e+05 | Inf
507.19/507.26 c 496s|630000 |629997 | 1536k| 2.4 | 624M| 175 | 4 |1700 |1602 |1700 | 254 | 440k| 2 |3617 | 0.000000e+00 | 3.942380e+05 | Inf
514.49/514.51 c 503s|640000 |639997 | 1553k| 2.4 | 634M| 175 | 0 |1700 |1602 |1700 | 287 | 445k| 2 |3632 | 0.000000e+00 | 3.942380e+05 | Inf
521.70/521.76 c 510s|650000 |649997 | 1568k| 2.4 | 644M| 175 | 0 |1700 |1602 |1700 | 290 | 449k| 2 |3647 | 0.000000e+00 | 3.942380e+05 | Inf
528.90/528.96 c 517s|660000 |659997 | 1582k| 2.4 | 654M| 175 | 0 |1700 |1602 |1700 | 243 | 453k| 2 |3650 | 0.000000e+00 | 3.942380e+05 | Inf
536.20/536.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.20/536.24 c 524s|670000 |669997 | 1596k| 2.4 | 663M| 175 | 0 |1700 |1602 |1700 | 296 | 457k| 2 |3660 | 0.000000e+00 | 3.942380e+05 | Inf
543.41/543.41 c 531s|680000 |679997 | 1610k| 2.4 | 673M| 175 | 0 |1700 |1602 |1700 | 270 | 461k| 2 |3677 | 0.000000e+00 | 3.942380e+05 | Inf
550.70/550.71 c 538s|690000 |689997 | 1627k| 2.4 | 683M| 175 | 0 |1700 |1602 |1700 | 248 | 466k| 2 |3692 | 0.000000e+00 | 3.942380e+05 | Inf
557.89/557.93 c 545s|700000 |699997 | 1643k| 2.3 | 693M| 175 | 0 |1700 |1602 |1700 | 259 | 471k| 2 |3708 | 0.000000e+00 | 3.942380e+05 | Inf
564.70/564.74 c 552s|710000 |709997 | 1650k| 2.3 | 702M| 175 | 0 |1700 |1602 |1700 | 246 | 473k| 2 |3708 | 0.000000e+00 | 3.942380e+05 | Inf
571.79/571.84 c 559s|720000 |719997 | 1663k| 2.3 | 712M| 175 | 0 |1700 |1602 |1700 | 269 | 476k| 2 |3723 | 0.000000e+00 | 3.942380e+05 | Inf
579.00/579.05 c 566s|730000 |729997 | 1677k| 2.3 | 721M| 175 | 0 |1700 |1602 |1700 | 280 | 480k| 2 |3736 | 0.000000e+00 | 3.942380e+05 | Inf
586.30/586.33 c 573s|740000 |739997 | 1693k| 2.3 | 731M| 175 | 0 |1700 |1602 |1700 | 301 | 485k| 2 |3748 | 0.000000e+00 | 3.942380e+05 | Inf
593.60/593.63 c 580s|750000 |749997 | 1715k| 2.3 | 741M| 175 | 3 |1700 |1602 |1700 | 226 | 491k| 2 |3762 | 0.000000e+00 | 3.942380e+05 | Inf
600.61/600.66 c 587s|760000 |759997 | 1732k| 2.3 | 750M| 175 | 0 |1700 |1602 |1700 | 263 | 496k| 2 |3774 | 0.000000e+00 | 3.942380e+05 | Inf
607.80/607.82 c 594s|770000 |769997 | 1747k| 2.3 | 760M| 175 | 0 |1700 |1602 |1700 | 267 | 501k| 2 |3787 | 0.000000e+00 | 3.942380e+05 | Inf
614.91/614.97 c 601s|780000 |779997 | 1762k| 2.3 | 770M| 175 | 0 |1700 |1602 |1700 | 236 | 505k| 2 |3801 | 0.000000e+00 | 3.942380e+05 | Inf
622.09/622.19 c 608s|790000 |789997 | 1780k| 2.3 | 780M| 175 | 0 |1700 |1602 |1700 | 243 | 511k| 2 |3814 | 0.000000e+00 | 3.942380e+05 | Inf
629.20/629.25 c 615s|800000 |799997 | 1794k| 2.2 | 789M| 175 | 3 |1700 |1602 |1700 | 226 | 515k| 2 |3826 | 0.000000e+00 | 3.942380e+05 | Inf
636.20/636.26 c 622s|810000 |809997 | 1808k| 2.2 | 799M| 175 | 0 |1700 |1601 |1700 | 272 | 520k| 2 |3838 | 0.000000e+00 | 3.942380e+05 | Inf
643.20/643.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.20/643.25 c 629s|820000 |819997 | 1819k| 2.2 | 808M| 175 | 0 |1700 |1601 |1700 | 254 | 523k| 2 |3844 | 0.000000e+00 | 3.942380e+05 | Inf
650.30/650.32 c 636s|830000 |829997 | 1833k| 2.2 | 818M| 175 | 0 |1700 |1601 |1700 | 274 | 528k| 2 |3851 | 0.000000e+00 | 3.942380e+05 | Inf
657.30/657.36 c 642s|840000 |839997 | 1845k| 2.2 | 828M| 175 | 0 |1700 |1601 |1700 | 291 | 532k| 2 |3865 | 0.000000e+00 | 3.942380e+05 | Inf
664.20/664.29 c 649s|850000 |849997 | 1855k| 2.2 | 837M| 175 | 0 |1700 |1601 |1700 | 255 | 535k| 2 |3879 | 0.000000e+00 | 3.942380e+05 | Inf
671.30/671.30 c 656s|860000 |859997 | 1868k| 2.2 | 847M| 175 | 0 |1700 |1601 |1700 | 258 | 539k| 2 |3881 | 0.000000e+00 | 3.942380e+05 | Inf
678.20/678.24 c 663s|870000 |869997 | 1880k| 2.2 | 857M| 175 | 0 |1700 |1601 |1700 | 259 | 542k| 2 |3893 | 0.000000e+00 | 3.942380e+05 | Inf
685.00/685.01 c 669s|880000 |879997 | 1887k| 2.1 | 866M| 175 | 0 |1700 |1601 |1700 | 264 | 544k| 2 |3894 | 0.000000e+00 | 3.942380e+05 | Inf
692.10/692.12 c 676s|890000 |889997 | 1898k| 2.1 | 876M| 175 | 0 |1700 |1601 |1700 | 238 | 548k| 2 |3908 | 0.000000e+00 | 3.942380e+05 | Inf
698.80/698.89 c 683s|900000 |899997 | 1906k| 2.1 | 885M| 175 | 0 |1700 |1601 |1700 | 240 | 551k| 2 |3916 | 0.000000e+00 | 3.942380e+05 | Inf
705.80/705.89 c 690s|910000 |909997 | 1915k| 2.1 | 895M| 175 | 0 |1700 |1601 |1700 | 261 | 554k| 2 |3920 | 0.000000e+00 | 3.942380e+05 | Inf
712.81/712.83 c 697s|920000 |919997 | 1925k| 2.1 | 905M| 175 | 0 |1700 |1601 |1700 | 270 | 557k| 2 |3933 | 0.000000e+00 | 3.942380e+05 | Inf
719.80/719.81 c 703s|930000 |929997 | 1937k| 2.1 | 914M| 175 | 0 |1700 |1601 |1700 | 259 | 560k| 2 |3935 | 0.000000e+00 | 3.942380e+05 | Inf
726.80/726.83 c 710s|940000 |939997 | 1948k| 2.1 | 924M| 175 | 10 |1700 |1601 |1700 | 248 | 564k| 2 |3951 | 0.000000e+00 | 3.942380e+05 | Inf
733.71/733.79 c 717s|950000 |949997 | 1958k| 2.1 | 933M| 175 | 0 |1700 |1601 |1700 | 262 | 567k| 2 |3951 | 0.000000e+00 | 3.942380e+05 | Inf
740.60/740.67 c 724s|960000 |959997 | 1969k| 2.1 | 943M| 175 | 0 |1700 |1601 |1700 | 249 | 570k| 2 |3966 | 0.000000e+00 | 3.942380e+05 | Inf
747.30/747.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.30/747.35 c 730s|970000 |969997 | 1976k| 2.0 | 953M| 175 | 0 |1700 |1601 |1700 | 246 | 572k| 2 |3968 | 0.000000e+00 | 3.942380e+05 | Inf
754.30/754.36 c 737s|980000 |979997 | 1989k| 2.0 | 962M| 175 | 14 |1700 |1601 |1700 | 272 | 577k| 2 |3983 | 0.000000e+00 | 3.942380e+05 | Inf
761.50/761.54 c 744s|990000 |989997 | 2005k| 2.0 | 972M| 175 | 0 |1700 |1601 |1700 | 281 | 582k| 2 |3998 | 0.000000e+00 | 3.942380e+05 | Inf
768.60/768.64 c 751s| 1000k|999997 | 2017k| 2.0 | 982M| 175 | 0 |1700 |1601 |1700 | 258 | 586k| 2 |4013 | 0.000000e+00 | 3.942380e+05 | Inf
775.51/775.53 c 758s| 1010k| 1009k| 2027k| 2.0 | 991M| 175 | 0 |1700 |1601 |1700 | 254 | 589k| 2 |4013 | 0.000000e+00 | 3.942380e+05 | Inf
782.30/782.33 c 764s| 1020k| 1019k| 2034k| 2.0 |1001M| 175 | 0 |1700 |1601 |1700 | 243 | 591k| 2 |4028 | 0.000000e+00 | 3.942380e+05 | Inf
789.20/789.24 c 771s| 1030k| 1029k| 2044k| 2.0 |1010M| 175 | 0 |1700 |1602 |1700 | 251 | 594k| 3 |4028 | 0.000000e+00 | 3.942380e+05 | Inf
796.30/796.32 c 778s| 1040k| 1039k| 2059k| 2.0 |1020M| 175 | 0 |1700 |1602 |1700 | 267 | 598k| 3 |4042 | 0.000000e+00 | 3.942380e+05 | Inf
803.20/803.24 c 785s| 1050k| 1049k| 2070k| 2.0 |1030M| 175 | 0 |1700 |1602 |1700 | 241 | 601k| 3 |4055 | 0.000000e+00 | 3.942380e+05 | Inf
810.20/810.22 c 792s| 1060k| 1059k| 2080k| 2.0 |1039M| 175 | 0 |1700 |1602 |1700 | 273 | 605k| 3 |4055 | 0.000000e+00 | 3.942380e+05 | Inf
817.21/817.22 c 798s| 1070k| 1069k| 2093k| 2.0 |1049M| 175 | 0 |1700 |1602 |1700 | 259 | 608k| 3 |4069 | 0.000000e+00 | 3.942380e+05 | Inf
824.00/824.07 c 805s| 1080k| 1079k| 2103k| 1.9 |1058M| 175 | 0 |1700 |1602 |1700 | 249 | 611k| 3 |4072 | 0.000000e+00 | 3.942380e+05 | Inf
830.90/830.97 c 812s| 1090k| 1089k| 2112k| 1.9 |1068M| 175 | 0 |1700 |1602 |1700 | 251 | 614k| 3 |4083 | 0.000000e+00 | 3.942380e+05 | Inf
837.90/837.90 c 819s| 1100k| 1099k| 2122k| 1.9 |1078M| 175 | 0 |1700 |1602 |1700 | 248 | 617k| 3 |4095 | 0.000000e+00 | 3.942380e+05 | Inf
844.81/844.85 c 825s| 1110k| 1109k| 2134k| 1.9 |1087M| 175 | 0 |1700 |1602 |1700 | 251 | 620k| 3 |4098 | 0.000000e+00 | 3.942380e+05 | Inf
852.11/852.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
852.11/852.13 c 832s| 1120k| 1119k| 2154k| 1.9 |1097M| 175 | 0 |1700 |1602 |1700 | 274 | 625k| 3 |4110 | 0.000000e+00 | 3.942380e+05 | Inf
859.20/859.25 c 839s| 1130k| 1129k| 2168k| 1.9 |1107M| 175 | 0 |1700 |1602 |1700 | 275 | 629k| 3 |4124 | 0.000000e+00 | 3.942380e+05 | Inf
866.10/866.12 c 846s| 1140k| 1139k| 2176k| 1.9 |1116M| 175 | 0 |1700 |1602 |1700 | 275 | 632k| 3 |4136 | 0.000000e+00 | 3.942380e+05 | Inf
873.20/873.22 c 853s| 1150k| 1149k| 2189k| 1.9 |1126M| 175 | 0 |1700 |1602 |1700 | 243 | 636k| 3 |4139 | 0.000000e+00 | 3.942380e+05 | Inf
880.50/880.59 c 860s| 1160k| 1159k| 2211k| 1.9 |1135M| 175 | 5 |1700 |1602 |1700 | 265 | 641k| 3 |4162 | 0.000000e+00 | 3.942380e+05 | Inf
887.60/887.63 c 867s| 1170k| 1169k| 2224k| 1.9 |1145M| 175 | 0 |1700 |1602 |1700 | 274 | 645k| 3 |4164 | 0.000000e+00 | 3.942380e+05 | Inf
894.91/894.92 c 874s| 1180k| 1179k| 2242k| 1.9 |1155M| 175 | 0 |1700 |1602 |1700 | 248 | 650k| 3 |4176 | 0.000000e+00 | 3.942380e+05 | Inf
901.80/901.88 c 881s| 1190k| 1189k| 2253k| 1.9 |1164M| 175 | 0 |1700 |1602 |1700 | 229 | 653k| 3 |4191 | 0.000000e+00 | 3.942380e+05 | Inf
908.71/908.71 c 888s| 1200k| 1199k| 2262k| 1.9 |1174M| 175 | 0 |1700 |1602 |1700 | 261 | 656k| 3 |4191 | 0.000000e+00 | 3.942380e+05 | Inf
915.61/915.63 c 894s| 1210k| 1209k| 2272k| 1.9 |1184M| 175 | 0 |1700 |1602 |1700 | 240 | 659k| 3 |4211 | 0.000000e+00 | 3.942380e+05 | Inf
922.60/922.60 c 901s| 1220k| 1219k| 2283k| 1.9 |1193M| 175 | 0 |1700 |1602 |1700 | 247 | 663k| 3 |4212 | 0.000000e+00 | 3.942380e+05 | Inf
929.60/929.63 c 908s| 1230k| 1229k| 2292k| 1.9 |1203M| 175 | 0 |1700 |1602 |1700 | 260 | 666k| 3 |4225 | 0.000000e+00 | 3.942380e+05 | Inf
936.61/936.61 c 915s| 1240k| 1239k| 2305k| 1.9 |1212M| 175 | 5 |1700 |1602 |1700 | 218 | 670k| 3 |4236 | 0.000000e+00 | 3.942380e+05 | Inf
943.60/943.68 c 922s| 1250k| 1249k| 2316k| 1.9 |1222M| 175 | 0 |1700 |1602 |1700 | 258 | 673k| 3 |4237 | 0.000000e+00 | 3.942380e+05 | Inf
950.70/950.75 c 929s| 1260k| 1259k| 2327k| 1.8 |1232M| 175 | 0 |1700 |1602 |1700 | 264 | 677k| 3 |4251 | 0.000000e+00 | 3.942380e+05 | Inf
957.81/957.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.81/957.81 c 936s| 1270k| 1269k| 2339k| 1.8 |1241M| 175 | 0 |1700 |1602 |1700 | 267 | 681k| 3 |4260 | 0.000000e+00 | 3.942380e+05 | Inf
964.70/964.79 c 942s| 1280k| 1279k| 2350k| 1.8 |1251M| 175 | 0 |1700 |1602 |1700 | 255 | 684k| 3 |4267 | 0.000000e+00 | 3.942380e+05 | Inf
971.70/971.72 c 949s| 1290k| 1289k| 2358k| 1.8 |1261M| 175 | 0 |1700 |1602 |1700 | 262 | 686k| 3 |4277 | 0.000000e+00 | 3.942380e+05 | Inf
978.60/978.68 c 956s| 1300k| 1299k| 2369k| 1.8 |1270M| 175 | 0 |1700 |1602 |1700 | 251 | 690k| 3 |4282 | 0.000000e+00 | 3.942380e+05 | Inf
985.50/985.56 c 963s| 1310k| 1309k| 2380k| 1.8 |1280M| 175 | 0 |1700 |1602 |1700 | 264 | 693k| 3 |4295 | 0.000000e+00 | 3.942380e+05 | Inf
992.50/992.52 c 970s| 1320k| 1319k| 2393k| 1.8 |1289M| 175 | 0 |1700 |1601 |1700 | 250 | 696k| 3 |4303 | 0.000000e+00 | 3.942380e+05 | Inf
999.81/999.80 c 977s| 1330k| 1329k| 2412k| 1.8 |1299M| 175 | 0 |1700 |1602 |1700 | 249 | 701k| 4 |4318 | 0.000000e+00 | 3.942380e+05 | Inf
1006.80/1006.88 c 984s| 1340k| 1339k| 2427k| 1.8 |1309M| 175 | 0 |1700 |1602 |1700 | 247 | 705k| 4 |4322 | 0.000000e+00 | 3.942380e+05 | Inf
1013.90/1013.98 c 990s| 1350k| 1349k| 2440k| 1.8 |1318M| 175 | 0 |1700 |1602 |1700 | 278 | 709k| 4 |4333 | 0.000000e+00 | 3.942380e+05 | Inf
1021.10/1021.13 c 997s| 1360k| 1359k| 2455k| 1.8 |1328M| 175 | 0 |1700 |1601 |1700 | 269 | 713k| 4 |4343 | 0.000000e+00 | 3.942380e+05 | Inf
1028.30/1028.34 c 1004s| 1370k| 1369k| 2470k| 1.8 |1338M| 175 | 0 |1700 |1601 |1700 | 258 | 717k| 4 |4357 | 0.000000e+00 | 3.942380e+05 | Inf
1035.50/1035.56 c 1012s| 1380k| 1379k| 2486k| 1.8 |1347M| 175 | 0 |1700 |1601 |1700 | 249 | 722k| 4 |4369 | 0.000000e+00 | 3.942380e+05 | Inf
1042.60/1042.69 c 1019s| 1390k| 1389k| 2504k| 1.8 |1357M| 175 | 24 |1700 |1601 |1700 | 198 | 727k| 4 |4375 | 0.000000e+00 | 3.942380e+05 | Inf
1049.80/1049.86 c 1026s| 1400k| 1399k| 2520k| 1.8 |1367M| 175 | 0 |1700 |1601 |1700 | 251 | 731k| 4 |4382 | 0.000000e+00 | 3.942380e+05 | Inf
1057.11/1057.13 c 1033s| 1410k| 1409k| 2538k| 1.8 |1376M| 175 | 0 |1700 |1601 |1700 | 255 | 736k| 4 |4395 | 0.000000e+00 | 3.942380e+05 | Inf
1064.11/1064.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.11/1064.19 c 1040s| 1420k| 1419k| 2552k| 1.8 |1386M| 175 | 0 |1700 |1601 |1700 | 278 | 740k| 4 |4408 | 0.000000e+00 | 3.942380e+05 | Inf
1071.30/1071.40 c 1047s| 1430k| 1429k| 2568k| 1.8 |1396M| 175 | 0 |1700 |1601 |1700 | 258 | 744k| 4 |4420 | 0.000000e+00 | 3.942380e+05 | Inf
1078.30/1078.38 c 1053s| 1440k| 1439k| 2578k| 1.8 |1405M| 175 | 0 |1700 |1601 |1700 | 294 | 748k| 4 |4423 | 0.000000e+00 | 3.942380e+05 | Inf
1085.30/1085.34 c 1060s| 1450k| 1449k| 2589k| 1.8 |1415M| 175 | 0 |1700 |1601 |1700 | 253 | 751k| 4 |4432 | 0.000000e+00 | 3.942380e+05 | Inf
1092.41/1092.48 c 1067s| 1460k| 1459k| 2603k| 1.8 |1425M| 175 | 0 |1700 |1601 |1700 | 257 | 755k| 4 |4444 | 0.000000e+00 | 3.942380e+05 | Inf
1099.40/1099.46 c 1074s| 1470k| 1469k| 2615k| 1.8 |1434M| 175 | 0 |1700 |1601 |1700 | 243 | 758k| 4 |4444 | 0.000000e+00 | 3.942380e+05 | Inf
1106.51/1106.58 c 1081s| 1480k| 1479k| 2629k| 1.8 |1444M| 175 | 0 |1700 |1601 |1700 | 251 | 762k| 4 |4457 | 0.000000e+00 | 3.942380e+05 | Inf
1113.60/1113.68 c 1088s| 1490k| 1489k| 2642k| 1.8 |1454M| 175 | 0 |1700 |1601 |1700 | 270 | 766k| 4 |4470 | 0.000000e+00 | 3.942380e+05 | Inf
1120.70/1120.74 c 1095s| 1500k| 1499k| 2654k| 1.8 |1463M| 175 | 0 |1700 |1601 |1700 | 252 | 770k| 4 |4470 | 0.000000e+00 | 3.942380e+05 | Inf
1127.81/1127.85 c 1102s| 1510k| 1509k| 2666k| 1.8 |1473M| 175 | 0 |1700 |1601 |1700 | 255 | 773k| 4 |4482 | 0.000000e+00 | 3.942380e+05 | Inf
1134.81/1134.84 c 1109s| 1520k| 1519k| 2678k| 1.8 |1483M| 175 | 0 |1700 |1601 |1700 | 275 | 776k| 4 |4494 | 0.000000e+00 | 3.942380e+05 | Inf
1141.71/1141.80 c 1115s| 1530k| 1529k| 2687k| 1.8 |1492M| 175 | 0 |1700 |1601 |1700 | 265 | 779k| 4 |4494 | 0.000000e+00 | 3.942380e+05 | Inf
1148.80/1148.85 c 1122s| 1540k| 1539k| 2700k| 1.8 |1502M| 175 | 0 |1700 |1601 |1700 | 284 | 783k| 4 |4507 | 0.000000e+00 | 3.942380e+05 | Inf
1155.80/1155.81 c 1129s| 1550k| 1549k| 2709k| 1.7 |1512M| 175 | 0 |1700 |1601 |1700 | 240 | 786k| 4 |4507 | 0.000000e+00 | 3.942380e+05 | Inf
1162.80/1162.89 c 1136s| 1560k| 1559k| 2722k| 1.7 |1521M| 175 | 0 |1700 |1601 |1700 | 293 | 790k| 4 |4520 | 0.000000e+00 | 3.942380e+05 | Inf
1169.90/1169.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1169.90/1169.92 c 1143s| 1570k| 1569k| 2735k| 1.7 |1531M| 175 | 0 |1700 |1601 |1700 | 269 | 793k| 4 |4532 | 0.000000e+00 | 3.942380e+05 | Inf
1176.81/1176.86 c 1150s| 1580k| 1579k| 2745k| 1.7 |1540M| 175 | 0 |1700 |1601 |1700 | 244 | 797k| 4 |4532 | 0.000000e+00 | 3.942380e+05 | Inf
1183.61/1183.64 c 1156s| 1590k| 1589k| 2753k| 1.7 |1550M| 175 | 5 |1700 |1601 |1700 | 255 | 799k| 4 |4545 | 0.000000e+00 | 3.942380e+05 | Inf
1190.91/1190.93 c 1163s| 1600k| 1599k| 2770k| 1.7 |1560M| 175 | 0 |1700 |1601 |1700 | 294 | 803k| 4 |4556 | 0.000000e+00 | 3.942380e+05 | Inf
1198.30/1198.36 c 1171s| 1610k| 1609k| 2793k| 1.7 |1569M| 175 | 0 |1700 |1601 |1700 | 272 | 810k| 4 |4571 | 0.000000e+00 | 3.942380e+05 | Inf
1205.51/1205.58 c 1178s| 1620k| 1619k| 2809k| 1.7 |1579M| 175 | 21 |1700 |1601 |1700 | 224 | 815k| 4 |4583 | 0.000000e+00 | 3.942380e+05 | Inf
1212.60/1212.64 c 1185s| 1630k| 1629k| 2822k| 1.7 |1589M| 175 | 0 |1700 |1601 |1700 | 277 | 818k| 4 |4585 | 0.000000e+00 | 3.942380e+05 | Inf
1219.81/1219.90 c 1192s| 1640k| 1639k| 2838k| 1.7 |1598M| 175 | 0 |1700 |1601 |1700 | 264 | 823k| 4 |4596 | 0.000000e+00 | 3.942380e+05 | Inf
1226.81/1226.89 c 1198s| 1650k| 1649k| 2848k| 1.7 |1608M| 175 | 0 |1700 |1601 |1700 | 264 | 826k| 4 |4607 | 0.000000e+00 | 3.942380e+05 | Inf
1234.00/1234.01 c 1205s| 1660k| 1659k| 2862k| 1.7 |1618M| 175 | 0 |1700 |1601 |1700 | 252 | 831k| 4 |4609 | 0.000000e+00 | 3.942380e+05 | Inf
1241.10/1241.13 c 1212s| 1670k| 1669k| 2877k| 1.7 |1628M| 175 | 0 |1700 |1601 |1700 | 271 | 835k| 4 |4623 | 0.000000e+00 | 3.942380e+05 | Inf
1248.21/1248.29 c 1219s| 1680k| 1679k| 2892k| 1.7 |1637M| 175 | 0 |1700 |1601 |1700 | 268 | 839k| 4 |4636 | 0.000000e+00 | 3.942380e+05 | Inf
1255.41/1255.42 c 1226s| 1690k| 1689k| 2906k| 1.7 |1647M| 175 | 0 |1700 |1601 |1700 | 264 | 843k| 4 |4647 | 0.000000e+00 | 3.942380e+05 | Inf
1262.41/1262.47 c 1233s| 1700k| 1699k| 2917k| 1.7 |1657M| 175 | 0 |1700 |1601 |1700 | 266 | 846k| 4 |4650 | 0.000000e+00 | 3.942380e+05 | Inf
1269.41/1269.46 c 1240s| 1710k| 1709k| 2928k| 1.7 |1666M| 175 | 0 |1700 |1601 |1700 | 255 | 850k| 4 |4663 | 0.000000e+00 | 3.942380e+05 | Inf
1276.31/1276.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1276.31/1276.31 c 1247s| 1720k| 1719k| 2936k| 1.7 |1676M| 175 | 0 |1700 |1601 |1700 | 254 | 852k| 4 |4664 | 0.000000e+00 | 3.942380e+05 | Inf
1283.10/1283.17 c 1253s| 1730k| 1729k| 2946k| 1.7 |1685M| 175 | 0 |1700 |1601 |1700 | 259 | 855k| 4 |4673 | 0.000000e+00 | 3.942380e+05 | Inf
1290.01/1290.10 c 1260s| 1740k| 1739k| 2956k| 1.7 |1695M| 175 | 0 |1700 |1601 |1700 | 275 | 858k| 4 |4676 | 0.000000e+00 | 3.942380e+05 | Inf
1297.21/1297.20 c 1267s| 1750k| 1749k| 2968k| 1.7 |1705M| 175 | 0 |1700 |1601 |1700 | 236 | 861k| 4 |4687 | 0.000000e+00 | 3.942380e+05 | Inf
1304.20/1304.23 c 1274s| 1760k| 1759k| 2980k| 1.7 |1714M| 175 | 7 |1700 |1601 |1700 | 185 | 865k| 4 |4689 | 0.000000e+00 | 3.942380e+05 | Inf
1311.21/1311.29 c 1281s| 1770k| 1769k| 2995k| 1.7 |1724M| 175 | 0 |1700 |1601 |1700 | 245 | 869k| 4 |4701 | 0.000000e+00 | 3.942380e+05 | Inf
1318.31/1318.34 c 1288s| 1780k| 1779k| 3009k| 1.7 |1734M| 175 | 0 |1700 |1601 |1700 | 280 | 873k| 4 |4715 | 0.000000e+00 | 3.942380e+05 | Inf
1325.61/1325.62 c 1295s| 1790k| 1789k| 3026k| 1.7 |1743M| 175 | 0 |1700 |1601 |1700 | 286 | 878k| 4 |4723 | 0.000000e+00 | 3.942380e+05 | Inf
1332.71/1332.71 c 1302s| 1800k| 1799k| 3040k| 1.7 |1753M| 175 | 0 |1700 |1601 |1700 | 280 | 883k| 4 |4730 | 0.000000e+00 | 3.942380e+05 | Inf
1339.71/1339.75 c 1309s| 1810k| 1809k| 3052k| 1.7 |1763M| 175 | 0 |1700 |1601 |1700 | 267 | 886k| 4 |4744 | 0.000000e+00 | 3.942380e+05 | Inf
1346.91/1346.91 c 1316s| 1820k| 1819k| 3066k| 1.7 |1772M| 175 | 0 |1700 |1601 |1700 | 260 | 890k| 4 |4749 | 0.000000e+00 | 3.942380e+05 | Inf
1354.21/1354.29 c 1323s| 1830k| 1829k| 3085k| 1.7 |1782M| 175 | 0 |1700 |1601 |1700 | 251 | 896k| 4 |4759 | 0.000000e+00 | 3.942380e+05 | Inf
1361.61/1361.60 c 1330s| 1840k| 1839k| 3105k| 1.7 |1792M| 175 | 13 |1700 |1601 |1700 | 279 | 902k| 4 |4775 | 0.000000e+00 | 3.942380e+05 | Inf
1368.61/1368.65 c 1337s| 1850k| 1849k| 3117k| 1.7 |1801M| 175 | 0 |1700 |1601 |1700 | 280 | 905k| 4 |4788 | 0.000000e+00 | 3.942380e+05 | Inf
1375.71/1375.70 c 1344s| 1860k| 1859k| 3131k| 1.7 |1811M| 175 | 0 |1700 |1601 |1700 | 251 | 909k| 4 |4797 | 0.000000e+00 | 3.942380e+05 | Inf
1382.71/1382.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.71/1382.75 c 1351s| 1870k| 1869k| 3144k| 1.7 |1821M| 175 | 0 |1700 |1601 |1700 | 266 | 913k| 4 |4800 | 0.000000e+00 | 3.942380e+05 | Inf
1389.71/1389.70 c 1357s| 1880k| 1879k| 3154k| 1.7 |1830M| 175 | 0 |1700 |1601 |1700 | 257 | 916k| 4 |4813 | 0.000000e+00 | 3.942380e+05 | Inf
1396.61/1396.67 c 1364s| 1890k| 1889k| 3164k| 1.7 |1840M| 175 | 0 |1700 |1601 |1700 | 270 | 919k| 4 |4814 | 0.000000e+00 | 3.942380e+05 | Inf
1403.51/1403.53 c 1371s| 1900k| 1899k| 3172k| 1.7 |1850M| 175 | 0 |1700 |1601 |1700 | 238 | 921k| 4 |4827 | 0.000000e+00 | 3.942380e+05 | Inf
1410.31/1410.33 c 1377s| 1910k| 1909k| 3178k| 1.7 |1859M| 175 | 0 |1700 |1601 |1700 | 276 | 923k| 4 |4827 | 0.000000e+00 | 3.942380e+05 | Inf
1417.21/1417.25 c 1384s| 1920k| 1919k| 3186k| 1.7 |1869M| 175 | 0 |1700 |1601 |1700 | 264 | 926k| 4 |4828 | 0.000000e+00 | 3.942380e+05 | Inf
1424.31/1424.33 c 1391s| 1930k| 1929k| 3200k| 1.7 |1878M| 189 | 0 |1700 |1601 |1700 | 280 | 930k| 4 |4843 | 0.000000e+00 | 3.942380e+05 | Inf
1431.01/1431.02 c 1398s| 1940k| 1939k| 3207k| 1.7 |1888M| 189 | 0 |1700 |1601 |1700 | 272 | 932k| 4 |4843 | 0.000000e+00 | 3.942380e+05 | Inf
1437.72/1437.74 c 1404s| 1950k| 1949k| 3214k| 1.6 |1898M| 189 | 0 |1700 |1601 |1700 | 266 | 934k| 4 |4853 | 0.000000e+00 | 3.942380e+05 | Inf
1444.51/1444.51 c 1411s| 1960k| 1959k| 3222k| 1.6 |1907M| 189 | 0 |1700 |1601 |1700 | 277 | 936k| 4 |4855 | 0.000000e+00 | 3.942380e+05 | Inf
1451.21/1451.20 c 1417s| 1970k| 1969k| 3228k| 1.6 |1917M| 189 | 0 |1700 |1601 |1700 | 283 | 938k| 4 |4855 | 0.000000e+00 | 3.942380e+05 | Inf
1457.81/1457.84 c 1424s| 1980k| 1979k| 3232k| 1.6 |1926M| 193 | 0 |1700 |1601 |1700 | 278 | 940k| 4 |4864 | 0.000000e+00 | 3.942380e+05 | Inf
1464.40/1464.44 c 1430s| 1990k| 1989k| 3237k| 1.6 |1936M| 193 | 0 |1700 |1601 |1700 | 233 | 941k| 4 |4870 | 0.000000e+00 | 3.942380e+05 | Inf
1471.10/1471.17 c 1437s| 2000k| 1999k| 3241k| 1.6 |1946M| 193 | 0 |1700 |1601 |1700 | 262 | 942k| 4 |4870 | 0.000000e+00 | 3.942380e+05 | Inf
1477.91/1477.90 c 1443s| 2010k| 2009k| 3247k| 1.6 |1955M| 193 | 0 |1700 |1601 |1700 | 265 | 944k| 4 |4870 | 0.000000e+00 | 3.942380e+05 | Inf
1484.61/1484.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.61/1484.66 c 1450s| 2020k| 2019k| 3254k| 1.6 |1965M| 193 | 0 |1700 |1601 |1700 | 252 | 946k| 4 |4879 | 0.000000e+00 | 3.942380e+05 | Inf
1491.31/1491.37 c 1456s| 2030k| 2029k| 3259k| 1.6 |1975M| 193 | 0 |1700 |1601 |1700 | 278 | 948k| 4 |4882 | 0.000000e+00 | 3.942380e+05 | Inf
1498.11/1498.18 c 1462s| 2040k| 2039k| 3268k| 1.6 |1984M| 193 | 0 |1700 |1605 |1700 | 268 | 951k| 8 |4882 | 0.000000e+00 | 3.942380e+05 | Inf
1505.00/1505.03 c 1469s| 2050k| 2049k| 3279k| 1.6 |1994M| 193 | 0 |1700 |1605 |1700 | 225 | 953k| 8 |4894 | 0.000000e+00 | 3.942380e+05 | Inf
1511.71/1511.73 c 1475s| 2060k| 2059k| 3285k| 1.6 |2004M| 193 | 0 |1700 |1605 |1700 | 267 | 955k| 8 |4894 | 0.000000e+00 | 3.942380e+05 | Inf
1518.41/1518.41 c 1481s| 2070k| 2069k| 3291k| 1.6 |2013M| 193 | 6 |1700 |1605 |1700 | 242 | 957k| 8 |4896 | 0.000000e+00 | 3.942380e+05 | Inf
1525.11/1525.17 c 1487s| 2080k| 2079k| 3297k| 1.6 |2023M| 193 | 0 |1700 |1605 |1700 | 277 | 959k| 8 |4905 | 0.000000e+00 | 3.942380e+05 | Inf
1532.11/1532.13 c 1494s| 2090k| 2089k| 3308k| 1.6 |2032M| 193 | 0 |1700 |1605 |1700 | 260 | 962k| 8 |4909 | 0.000000e+00 | 3.942380e+05 | Inf
1539.21/1539.21 c 1501s| 2100k| 2099k| 3321k| 1.6 |2042M| 193 | 0 |1700 |1604 |1700 | 264 | 965k| 8 |4920 | 0.000000e+00 | 3.942380e+05 | Inf
1546.11/1546.16 c 1507s| 2110k| 2109k| 3332k| 1.6 |2052M| 193 | 7 |1700 |1606 |1700 | 250 | 969k| 10 |4922 | 0.000000e+00 | 3.942380e+05 | Inf
1553.12/1553.20 c 1514s| 2120k| 2119k| 3345k| 1.6 |2062M| 193 | 0 |1700 |1606 |1700 | 233 | 972k| 10 |4934 | 0.000000e+00 | 3.942380e+05 | Inf
1560.21/1560.24 c 1520s| 2130k| 2129k| 3359k| 1.6 |2071M| 193 | 0 |1700 |1606 |1700 | 261 | 976k| 10 |4947 | 0.000000e+00 | 3.942380e+05 | Inf
1567.11/1567.15 c 1527s| 2140k| 2139k| 3368k| 1.6 |2081M| 193 | 0 |1700 |1606 |1700 | 269 | 978k| 10 |4948 | 0.000000e+00 | 3.942380e+05 | Inf
1574.01/1574.08 c 1533s| 2150k| 2149k| 3378k| 1.6 |2091M| 193 | 0 |1700 |1606 |1700 | 249 | 981k| 10 |4959 | 0.000000e+00 | 3.942380e+05 | Inf
1580.81/1580.80 c 1540s| 2160k| 2159k| 3387k| 1.6 |2100M| 193 | 0 |1700 |1606 |1700 | 260 | 984k| 10 |4960 | 0.000000e+00 | 3.942380e+05 | Inf
1587.71/1587.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.71/1587.78 c 1546s| 2170k| 2169k| 3398k| 1.6 |2110M| 193 | 0 |1700 |1606 |1700 | 275 | 987k| 10 |4972 | 0.000000e+00 | 3.942380e+05 | Inf
1594.81/1594.83 c 1553s| 2180k| 2179k| 3411k| 1.6 |2119M| 193 | 0 |1700 |1606 |1700 | 274 | 990k| 10 |4972 | 0.000000e+00 | 3.942380e+05 | Inf
1601.81/1601.85 c 1559s| 2190k| 2189k| 3423k| 1.6 |2129M| 193 | 0 |1700 |1606 |1700 | 272 | 994k| 10 |4983 | 0.000000e+00 | 3.942380e+05 | Inf
1608.71/1608.79 c 1566s| 2200k| 2199k| 3434k| 1.6 |2139M| 193 | 0 |1700 |1606 |1700 | 258 | 997k| 10 |4995 | 0.000000e+00 | 3.942380e+05 | Inf
1615.61/1615.67 c 1572s| 2210k| 2209k| 3442k| 1.6 |2149M| 193 | 0 |1700 |1606 |1700 | 228 | 999k| 10 |4996 | 0.000000e+00 | 3.942380e+05 | Inf
1622.91/1622.92 c 1579s| 2220k| 2219k| 3462k| 1.6 |2158M| 193 | 0 |1700 |1606 |1700 | 252 |1004k| 10 |5010 | 0.000000e+00 | 3.942380e+05 | Inf
1629.61/1629.66 c 1585s| 2230k| 2229k| 3469k| 1.6 |2168M| 193 | 0 |1700 |1606 |1700 | 278 |1006k| 10 |5010 | 0.000000e+00 | 3.942380e+05 | Inf
1636.71/1636.73 c 1592s| 2240k| 2239k| 3482k| 1.6 |2177M| 193 | 0 |1700 |1606 |1700 | 283 |1009k| 10 |5022 | 0.000000e+00 | 3.942380e+05 | Inf
1643.61/1643.69 c 1599s| 2250k| 2249k| 3493k| 1.6 |2187M| 193 | 0 |1700 |1611 |1700 | 251 |1013k| 15 |5022 | 0.000000e+00 | 3.942380e+05 | Inf
1650.52/1650.54 c 1605s| 2260k| 2259k| 3500k| 1.5 |2197M| 193 | 0 |1700 |1612 |1700 | 284 |1015k| 17 |5033 | 0.000000e+00 | 3.942380e+05 | Inf
1657.32/1657.36 c 1612s| 2270k| 2269k| 3509k| 1.5 |2206M| 193 | 0 |1700 |1610 |1700 | 257 |1017k| 17 |5033 | 0.000000e+00 | 3.942380e+05 | Inf
1664.21/1664.27 c 1618s| 2280k| 2279k| 3519k| 1.5 |2216M| 193 | 0 |1700 |1610 |1700 | 245 |1020k| 17 |5041 | 0.000000e+00 | 3.942380e+05 | Inf
1671.01/1671.08 c 1624s| 2290k| 2289k| 3529k| 1.5 |2226M| 193 | 0 |1700 |1610 |1700 | 262 |1023k| 17 |5045 | 0.000000e+00 | 3.942380e+05 | Inf
1678.01/1678.09 c 1631s| 2300k| 2299k| 3542k| 1.5 |2235M| 193 | 12 |1700 |1610 |1700 | 243 |1027k| 17 |5056 | 0.000000e+00 | 3.942380e+05 | Inf
1684.91/1684.99 c 1637s| 2310k| 2309k| 3552k| 1.5 |2245M| 193 | 0 |1700 |1610 |1700 | 250 |1029k| 17 |5057 | 0.000000e+00 | 3.942380e+05 | Inf
1691.72/1691.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1691.72/1691.78 c 1644s| 2320k| 2319k| 3559k| 1.5 |2255M| 193 | 0 |1700 |1610 |1700 | 234 |1031k| 17 |5062 | 0.000000e+00 | 3.942380e+05 | Inf
1698.51/1698.50 c 1650s| 2330k| 2329k| 3564k| 1.5 |2264M| 193 | 0 |1700 |1607 |1700 | 245 |1033k| 17 |5069 | 0.000000e+00 | 3.942380e+05 | Inf
1705.31/1705.32 c 1657s| 2340k| 2339k| 3572k| 1.5 |2274M| 193 | 23 |1700 |1607 |1700 | 262 |1035k| 17 |5069 | 0.000000e+00 | 3.942380e+05 | Inf
1712.21/1712.28 c 1663s| 2350k| 2349k| 3582k| 1.5 |2283M| 193 | 0 |1700 |1607 |1700 | 294 |1038k| 17 |5080 | 0.000000e+00 | 3.942380e+05 | Inf
1719.01/1719.04 c 1669s| 2360k| 2359k| 3589k| 1.5 |2293M| 193 | 0 |1700 |1606 |1700 | 274 |1040k| 17 |5082 | 0.000000e+00 | 3.942380e+05 | Inf
1725.82/1725.90 c 1676s| 2370k| 2369k| 3599k| 1.5 |2303M| 193 | 0 |1700 |1608 |1700 | 261 |1043k| 19 |5084 | 0.000000e+00 | 3.942380e+05 | Inf
1732.71/1732.75 c 1682s| 2380k| 2379k| 3608k| 1.5 |2312M| 193 | 0 |1700 |1607 |1700 | 269 |1045k| 19 |5095 | 0.000000e+00 | 3.942380e+05 | Inf
1739.31/1739.30 c 1688s| 2390k| 2389k| 3612k| 1.5 |2322M| 193 | 0 |1700 |1606 |1700 | 279 |1046k| 19 |5095 | 0.000000e+00 | 3.942380e+05 | Inf
1746.01/1746.08 c 1695s| 2400k| 2399k| 3617k| 1.5 |2332M| 193 | 0 |1700 |1606 |1700 | 270 |1048k| 19 |5095 | 0.000000e+00 | 3.942380e+05 | Inf
1752.71/1752.71 c 1701s| 2410k| 2409k| 3623k| 1.5 |2341M| 193 | 0 |1700 |1605 |1700 | 284 |1049k| 19 |5105 | 0.000000e+00 | 3.942380e+05 | Inf
1759.51/1759.54 c 1708s| 2420k| 2419k| 3631k| 1.5 |2351M| 193 | 0 |1700 |1604 |1700 | 283 |1052k| 19 |5105 | 0.000000e+00 | 3.942380e+05 | Inf
1766.31/1766.39 c 1714s| 2430k| 2429k| 3640k| 1.5 |2361M| 193 | 0 |1700 |1604 |1700 | 255 |1054k| 19 |5113 | 0.000000e+00 | 3.942380e+05 | Inf
1773.32/1773.36 c 1721s| 2440k| 2439k| 3649k| 1.5 |2370M| 193 | 0 |1700 |1604 |1700 | 252 |1057k| 19 |5118 | 0.000000e+00 | 3.942380e+05 | Inf
1780.32/1780.39 c 1727s| 2450k| 2449k| 3662k| 1.5 |2380M| 193 | 0 |1700 |1604 |1700 | 260 |1061k| 19 |5125 | 0.000000e+00 | 3.942380e+05 | Inf
1787.42/1787.46 c 1734s| 2460k| 2459k| 3676k| 1.5 |2390M| 193 | 0 |1700 |1604 |1700 | 258 |1065k| 19 |5128 | 0.000000e+00 | 3.942380e+05 | Inf
1794.41/1794.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1794.41/1794.48 c 1740s| 2470k| 2469k| 3691k| 1.5 |2399M| 193 | 0 |1700 |1604 |1700 | 251 |1069k| 19 |5139 | 0.000000e+00 | 3.942380e+05 | Inf
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time (sec) : 1745.49
1800.01/1800.00 c Solving Nodes : 2478046
1800.01/1800.00 c Primal Bound : +3.94238000000000e+05 (100 solutions)
1800.01/1800.00 c Dual Bound : +0.00000000000000e+00
1800.01/1800.00 c Gap : infinite
1800.01/1800.01 s SATISFIABLE
1800.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/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.01/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.01 c Solving Time : 1745.49
1800.01/1800.01 c Original Problem :
1800.01/1800.01 c Problem name : HOME/instance-2700236-1278534483.wbo
1800.01/1800.01 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.01/1800.01 c Constraints : 1701 initial, 1701 maximal
1800.01/1800.01 c Presolved Problem :
1800.01/1800.01 c Problem name : t_HOME/instance-2700236-1278534483.wbo
1800.01/1800.01 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.01/1800.01 c Constraints : 1600 initial, 1613 maximal
1800.01/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c linear : 0.01 0 100 0 800 0 101 0 0
1800.01/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c root node : - 0 - - 0 - - - -
1800.01/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c integral : 0 0 0 2759775 0 0 0 0 0 775504
1800.01/1800.01 c indicator : 800 0 3512675 2372023 0 0 2559400 0 0 0
1800.01/1800.01 c linear : 800 6 3512675 2372023 0 9 1047518 1071879 0 0
1800.01/1800.01 c logicor : 0+ 0 73413 0 0 0 7695 0 0 0
1800.01/1800.01 c countsols : 0 0 0 2090285 0 0 0 0 0 0
1800.01/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.01 c integral : 8.28 0.00 0.00 8.28 0.00
1800.01/1800.01 c indicator : 151.84 0.11 32.66 119.07 0.00
1800.01/1800.01 c linear : 35.03 0.00 14.02 21.01 0.00
1800.01/1800.01 c logicor : 0.09 0.00 0.09 0.00 0.00
1800.01/1800.01 c countsols : 0.34 0.00 0.00 0.34 0.00
1800.01/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.01 c vbounds : 0.94 2 0 0
1800.01/1800.01 c rootredcost : 0.60 0 0 0
1800.01/1800.01 c pseudoobj : 54.13 3512475 0 0
1800.01/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.01 c propagation : 0.00 9 9 9 4.0 10 4.1 -
1800.01/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.01 c applied globally : - - - 19 4.1 - - -
1800.01/1800.01 c applied locally : - - - 0 0.0 - - -
1800.01/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.01 c cut pool : 0.00 3 - - 61 - (maximal pool size: 71)
1800.01/1800.01 c redcost : 91.45 2759146 0 0 0 0
1800.01/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.01/1800.01 c intobj : 0.00 0 0 0 0 0
1800.01/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.01 c gomory : 0.02 4 0 0 84 0
1800.01/1800.01 c strongcg : 0.00 4 0 0 0 0
1800.01/1800.01 c cmir : 0.02 4 0 0 0 0
1800.01/1800.01 c flowcover : 0.01 4 0 0 0 0
1800.01/1800.01 c clique : 0.00 1 0 0 0 0
1800.01/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.01 c mcf : 0.00 1 0 0 0 0
1800.01/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.01 c Pricers : Time Calls Vars
1800.01/1800.01 c problem variables: 0.00 0 0
1800.01/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c relpscost : 7.54 387752 0 0 0 0 775504
1800.01/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.01 c inference : 139.50 2090285 0 0 0 0 4180570
1800.01/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c random : 0.00 0 0 0 0 0 0
1800.01/1800.01 c Primal Heuristics : Time Calls Found
1800.01/1800.01 c LP solutions : 0.00 - 0
1800.01/1800.01 c pseudo solutions : 0.00 - 0
1800.01/1800.01 c feaspump : 0.01 0 0
1800.01/1800.01 c oneopt : 1.09 1 0
1800.01/1800.01 c intshifting : 0.07 23 0
1800.01/1800.01 c crossover : 0.61 13 0
1800.01/1800.01 c coefdiving : 15.27 29143 0
1800.01/1800.01 c pscostdiving : 14.71 29143 0
1800.01/1800.01 c fracdiving : 15.16 29143 0
1800.01/1800.01 c trivial : 0.01 2 1
1800.01/1800.01 c simplerounding : 1.11 387703 0
1800.01/1800.01 c zirounding : 0.58 1000 0
1800.01/1800.01 c rounding : 1.08 8697 0
1800.01/1800.01 c shifting : 1.46 2745 0
1800.01/1800.01 c twoopt : 0.00 0 0
1800.01/1800.01 c fixandinfer : 0.00 0 0
1800.01/1800.01 c veclendiving : 15.06 29143 0
1800.01/1800.01 c intdiving : 0.00 0 0
1800.01/1800.01 c actconsdiving : 0.00 0 0
1800.01/1800.01 c objpscostdiving : 15.34 29103 0
1800.01/1800.01 c rootsoldiving : 14.87 29103 0
1800.01/1800.01 c linesearchdiving : 14.71 29143 0
1800.01/1800.01 c guideddiving : 14.24 29143 0
1800.01/1800.01 c octane : 0.00 0 0
1800.01/1800.01 c rens : 0.01 1 0
1800.01/1800.01 c rins : 0.00 0 0
1800.01/1800.01 c localbranching : 0.00 0 0
1800.01/1800.01 c mutation : 0.00 0 0
1800.01/1800.01 c dins : 0.00 0 0
1800.01/1800.01 c undercover : 0.00 0 0
1800.01/1800.01 c nlp : 0.50 0 0
1800.01/1800.01 c trysol : 1.35 32562 99
1800.01/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.01 c dual LP : 693.26 836652 3697878 4.42 5334.04
1800.01/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.01 c diving/probing LP: 0.33 620 1773 2.86 5372.73
1800.01/1800.01 c strong branching : 5.11 5139 57576 11.20 11267.32
1800.01/1800.01 c (at root node) : - 33 3574 108.30 -
1800.01/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.01 c B&B Tree :
1800.01/1800.01 c number of runs : 1
1800.01/1800.01 c nodes : 2478046
1800.01/1800.01 c nodes (total) : 2478046
1800.01/1800.01 c nodes left : 2478029
1800.01/1800.01 c max depth : 193
1800.01/1800.01 c max depth (total): 193
1800.01/1800.01 c backtracks : 29360 (1.2%)
1800.01/1800.01 c delayed cutoffs : 0
1800.01/1800.01 c repropagations : 168 (27 domain reductions, 0 cutoffs)
1800.01/1800.01 c avg switch length: 2.30
1800.01/1800.01 c switching time : 70.18
1800.01/1800.01 c Solution :
1800.01/1800.01 c Solutions found : 100 (1 improvements)
1800.01/1800.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.01/1800.01 c Primal Bound : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.01/1800.01 c Dual Bound : +0.00000000000000e+00
1800.01/1800.01 c Gap : infinite
1800.01/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.01 c Root Iterations : 297
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700236-1278534483/watcher-2700236-1278534483 -o /tmp/evaluation-result-2700236-1278534483/solver-2700236-1278534483 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700236-1278534483.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: 1.95 1.75 0.98 4/178 1767
/proc/meminfo: memFree=28909504/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=7724 CPUtime=0
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 1034 0 0 0 0 0 0 0 25 0 1 0 21661751 7909376 954 4089446400 4194304 8223781 140736909776288 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1767/statm: 1931 968 348 984 0 944 0
[startup+0.0443869 s]
/proc/loadavg: 1.95 1.75 0.98 4/178 1767
/proc/meminfo: memFree=28909504/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=20312 CPUtime=0.03
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 5282 0 0 0 3 0 0 0 25 0 1 0 21661751 20799488 4067 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1767/statm: 5078 4067 462 984 0 4091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20312
[startup+0.100378 s]
/proc/loadavg: 1.95 1.75 0.98 4/178 1767
/proc/meminfo: memFree=28909504/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=23224 CPUtime=0.09
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 6117 0 0 0 8 1 0 0 25 0 1 0 21661751 23781376 4893 4089446400 4194304 8223781 140736909776288 18446744073709551615 6043682 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1767/statm: 5806 4893 563 984 0 4819 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23224
[startup+0.302288 s]
/proc/loadavg: 1.95 1.75 0.98 4/178 1767
/proc/meminfo: memFree=28909504/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=25840 CPUtime=0.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 9579 0 0 0 28 2 0 0 25 0 1 0 21661751 26460160 5516 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1767/statm: 6460 5516 578 984 0 5473 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 25840
[startup+0.700277 s]
/proc/loadavg: 1.95 1.75 0.98 4/178 1767
/proc/meminfo: memFree=28909504/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=25840 CPUtime=0.69
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 9579 0 0 0 66 3 0 0 25 0 1 0 21661751 26460160 5516 4089446400 4194304 8223781 140736909776288 18446744073709551615 6358980 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1767/statm: 6460 5516 578 984 0 5473 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25840
[startup+1.50014 s]
/proc/loadavg: 1.95 1.75 0.98 3/179 1768
/proc/meminfo: memFree=28888304/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=25840 CPUtime=1.49
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 9585 0 0 0 145 4 0 0 25 0 1 0 21661751 26460160 5522 4089446400 4194304 8223781 140736909776288 18446744073709551615 6448652 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1767/statm: 6460 5522 579 984 0 5473 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25840
[startup+3.10093 s]
/proc/loadavg: 1.95 1.75 0.98 3/179 1768
/proc/meminfo: memFree=28884212/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=29416 CPUtime=3.09
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 16107 0 0 0 300 9 0 0 25 0 1 0 21661751 30121984 6314 4089446400 4194304 8223781 140736909776288 18446744073709551615 4561526 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1767/statm: 7354 6314 582 984 0 6367 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29416
[startup+6.30033 s]
/proc/loadavg: 1.95 1.75 0.98 3/179 1768
/proc/meminfo: memFree=28876804/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=32716 CPUtime=6.29
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 22652 0 0 0 614 15 0 0 25 0 1 0 21661751 33501184 7155 4089446400 4194304 8223781 140736909776288 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1767/statm: 8179 7155 582 984 0 7192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32716
[startup+12.7003 s]
/proc/loadavg: 1.96 1.76 1.00 3/179 1768
/proc/meminfo: memFree=28860072/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=41084 CPUtime=12.69
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 27647 0 0 0 1241 28 0 0 25 0 1 0 21661751 42070016 9286 4089446400 4194304 8223781 140736909776288 18446744073709551615 6003169 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1767/statm: 10271 9286 586 984 0 9284 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41084
[startup+25.5001 s]
/proc/loadavg: 1.96 1.77 1.01 3/179 1768
/proc/meminfo: memFree=28831216/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=53844 CPUtime=25.49
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 33746 0 0 0 2494 55 0 0 25 0 1 0 21661751 55136256 12536 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1767/statm: 13461 12536 586 984 0 12474 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53844
[startup+51.1008 s]
/proc/loadavg: 1.98 1.78 1.03 3/179 1768
/proc/meminfo: memFree=28772580/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=82056 CPUtime=51.09
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 46664 0 0 0 5001 108 0 0 25 0 1 0 21661751 84025344 19709 4089446400 4194304 8223781 140736909776288 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1767/statm: 20514 19709 586 984 0 19527 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82056
[startup+102.306 s]
/proc/loadavg: 1.99 1.82 1.08 3/179 1770
/proc/meminfo: memFree=28640088/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=144660 CPUtime=102.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 64900 0 0 0 10025 205 0 0 25 0 1 0 21661751 148131840 35076 4089446400 4194304 8223781 140736909776288 18446744073709551615 5892216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1767/statm: 36165 35076 586 984 0 35178 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 144660
[startup+162.301 s]
/proc/loadavg: 1.99 1.85 1.14 3/179 1772
/proc/meminfo: memFree=28497184/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=210864 CPUtime=162.29
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 81714 0 0 0 15918 311 0 0 25 0 1 0 21661751 215924736 51890 4089446400 4194304 8223781 140736909776288 18446744073709551615 6456407 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1767/statm: 52716 51890 586 984 0 51729 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 210864
[startup+222.301 s]
/proc/loadavg: 1.99 1.87 1.19 3/179 1774
/proc/meminfo: memFree=28346224/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=284504 CPUtime=222.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 102247 0 0 0 21808 422 0 0 25 0 1 0 21661751 291332096 69572 4089446400 4194304 8223781 140736909776288 18446744073709551615 6505834 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1767/statm: 71126 69572 586 984 0 70139 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 284504
[startup+282.301 s]
/proc/loadavg: 1.99 1.89 1.24 3/179 1775
/proc/meminfo: memFree=28194380/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=356912 CPUtime=282.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 120638 0 0 0 27662 568 0 0 25 0 1 0 21661751 365477888 87962 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 89228 87962 586 984 0 88241 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 356912
[startup+342.301 s]
/proc/loadavg: 1.99 1.91 1.28 3/179 1776
/proc/meminfo: memFree=28035232/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=431360 CPUtime=342.29
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 139552 0 0 0 33514 715 0 0 25 0 1 0 21661751 441712640 106876 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 107840 106876 586 984 0 106853 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 431360
[startup+402.301 s]
/proc/loadavg: 1.99 1.92 1.32 3/179 1778
/proc/meminfo: memFree=27878684/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=515464 CPUtime=402.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 161644 0 0 0 39370 860 0 0 25 0 1 0 21661751 527835136 126128 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 128866 126128 586 984 0 127879 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 515464
[startup+462.3 s]
/proc/loadavg: 1.99 1.93 1.36 3/179 1780
/proc/meminfo: memFree=27719400/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=594152 CPUtime=462.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 181666 0 0 0 45220 1010 0 0 25 0 1 0 21661751 608411648 146150 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 148538 146150 586 984 0 147551 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 594152
[startup+522.3 s]
/proc/loadavg: 2.04 1.96 1.41 3/179 1782
/proc/meminfo: memFree=27561356/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=673436 CPUtime=522.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 201809 0 0 0 51076 1154 0 0 25 0 1 0 21661751 689598464 166291 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 168359 166291 586 984 0 167372 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 673436
[startup+582.3 s]
/proc/loadavg: 2.01 1.97 1.44 3/179 1783
/proc/meminfo: memFree=27397244/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=751992 CPUtime=582.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 221759 0 0 0 56929 1301 0 0 25 0 1 0 21661751 770039808 186241 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 187998 186241 586 984 0 187011 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 751992
[startup+642.3 s]
/proc/loadavg: 2.00 1.97 1.47 3/179 1784
/proc/meminfo: memFree=27231144/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=833544 CPUtime=642.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 242480 0 0 0 62778 1452 0 0 25 0 1 0 21661751 853549056 206962 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 208386 206962 586 984 0 207399 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 833544
[startup+702.301 s]
################
# More data... #
################
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 368927 0 0 0 97911 2319 0 0 25 0 1 0 21661751 1368293376 330562 4089446400 4194304 8223781 140736909776288 18446744073709551615 6456386 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 334056 330562 586 984 0 333069 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 1336224
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/179 1796
/proc/meminfo: memFree=26093500/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=1415388 CPUtime=1062.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 389035 0 0 0 103770 2460 0 0 25 0 1 0 21661751 1449357312 350670 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 353847 350670 586 984 0 352860 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 1415388
[startup+1122.3 s]
/proc/loadavg: 2.09 2.00 1.68 3/179 1798
/proc/meminfo: memFree=25928988/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=1496208 CPUtime=1122.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 409569 0 0 0 109631 2599 0 0 25 0 1 0 21661751 1532116992 371202 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 374052 371202 586 984 0 373065 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 1496208
[startup+1182.3 s]
/proc/loadavg: 2.03 2.00 1.69 3/179 1799
/proc/meminfo: memFree=25766724/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=1576324 CPUtime=1182.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 429940 0 0 0 115494 2736 0 0 25 0 1 0 21661751 1614155776 391573 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 394081 391573 586 984 0 393094 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 1576324
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.71 3/179 1800
/proc/meminfo: memFree=25605828/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=1655044 CPUtime=1242.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 452807 0 0 0 121353 2877 0 0 25 0 1 0 21661751 1694765056 411573 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 413761 411573 586 984 0 412774 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 1655044
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 1802
/proc/meminfo: memFree=25440088/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=1738064 CPUtime=1302.31
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 473905 0 0 0 127215 3016 0 0 25 0 1 0 21661751 1779777536 432671 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 434516 432671 586 984 0 433529 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1738064
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/179 1804
/proc/meminfo: memFree=25278448/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=1816072 CPUtime=1362.31
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 493732 0 0 0 133066 3165 0 0 25 0 1 0 21661751 1859657728 452498 4089446400 4194304 8223781 140736909776288 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 454018 452498 586 984 0 453031 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 1816072
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.75 3/179 1806
/proc/meminfo: memFree=25110356/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=1900604 CPUtime=1422.31
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 515205 0 0 0 138920 3311 0 0 25 0 1 0 21661751 1946218496 473971 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1767/statm: 475151 473971 586 984 0 474164 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 1900604
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/180 1885
/proc/meminfo: memFree=27345224/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=1984652 CPUtime=1482.31
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 536572 0 0 0 144727 3504 0 0 25 0 1 0 21661751 2032283648 495336 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1767/statm: 496163 495336 586 984 0 495176 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1984652
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/180 1886
/proc/meminfo: memFree=27225568/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=2100852 CPUtime=1542.3
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 557764 0 0 0 150357 3873 0 0 25 0 1 0 21661751 2151272448 516513 4089446400 4194304 8223781 140736909776288 18446744073709551615 6482443 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1767/statm: 525213 516513 586 984 0 524226 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 2100852
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/180 1888
/proc/meminfo: memFree=27138172/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=2182016 CPUtime=1602.31
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 578392 0 0 0 155980 4251 0 0 25 0 1 0 21661751 2234384384 537141 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1767/statm: 545504 537141 586 984 0 544517 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 2182016
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/180 1890
/proc/meminfo: memFree=27049720/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=2265892 CPUtime=1662.31
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 599710 0 0 0 161614 4617 0 0 25 0 1 0 21661751 2320273408 558456 4089446400 4194304 8223781 140736909776288 18446744073709551615 6003640 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1767/statm: 566473 558456 586 984 0 565486 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 2265892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/180 1892
/proc/meminfo: memFree=26966332/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=2347384 CPUtime=1722.31
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 620449 0 0 0 167249 4982 0 0 25 0 1 0 21661751 2403721216 579178 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1767/statm: 586846 579178 586 984 0 585859 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 2347384
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.83 3/180 1893
/proc/meminfo: memFree=26880960/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=2430096 CPUtime=1782.32
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 641473 0 0 0 172891 5341 0 0 25 0 1 0 21661751 2488418304 600202 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1767/statm: 607524 600202 586 984 0 606537 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2430096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.01 1.83 3/180 1894
/proc/meminfo: memFree=26854660/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=2453784 CPUtime=1800.01
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 647492 0 0 0 174549 5452 0 0 25 0 1 0 21661751 2512674816 606221 4089446400 4194304 8223781 140736909776288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1767/statm: 613446 606221 586 984 0 612459 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2453784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -1767
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.05 2.01 1.83 3/181 1895
/proc/meminfo: memFree=26854768/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=2453784 CPUtime=1801.41
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 647494 0 0 0 174689 5452 0 0 19 0 1 0 21661751 2512674816 606223 4089446400 4194304 8223781 140736909776288 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1767/statm: 613446 606223 588 984 0 612459 0
Current children cumulated CPU time (s) 1801.41
Current children cumulated vsize (KiB) 2453784
[startup+1801.81 s]
/proc/loadavg: 2.05 2.01 1.83 3/181 1895
/proc/meminfo: memFree=26854644/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=2453784 CPUtime=1801.82
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 647494 0 0 0 174730 5452 0 0 20 0 1 0 21661751 2512674816 606223 4089446400 4194304 8223781 140736909776288 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1767/statm: 613446 606223 588 984 0 612459 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 2453784
[startup+1802 s]
/proc/loadavg: 2.05 2.01 1.83 3/181 1895
/proc/meminfo: memFree=26854644/32950928 swapFree=67109624/67111528
[pid=1767] ppid=1765 vsize=2453784 CPUtime=1802.01
/proc/1767/stat : 1767 (pbscip.linux.x8) R 1765 1767 909 0 -1 4202496 647494 0 0 0 174749 5452 0 0 20 0 1 0 21661751 2512674816 606223 4089446400 4194304 8223781 140736909776288 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1767/statm: 613446 606223 588 984 0 612459 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 2453784
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.11
CPU user time (s): 1747.5
CPU system time (s): 54.6107
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2453784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1747.5
system time used= 54.6107
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 647494
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= 1886
runsolver used 2.49662 second user time and 5.96309 second system time
The end
Begin job on node126 at 2010-07-07 22:28:03
IDJOB=2700236
IDBENCH=79411
IDSOLVER=1204
FILE ID=node126/2700236-1278534483
PBS_JOBID= 11239225
Free space on /tmp= 73532 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-jnh203_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-2700236-1278534483/watcher-2700236-1278534483 -o /tmp/evaluation-result-2700236-1278534483/solver-2700236-1278534483 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700236-1278534483.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 542e56009f24e88bce5dd1146eaa3ca2
RANDOM SEED=250089841
node126.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.861
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.72
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.861
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 : 5226.05
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.861
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.82
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.861
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.67
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.861
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 : 5332.84
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.861
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.67
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.861
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.85
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.861
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 28909908 kB
Buffers: 104124 kB
Cached: 3285876 kB
SwapCached: 1140 kB
Active: 1125324 kB
Inactive: 2762956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 28909908 kB
SwapTotal: 67111528 kB
SwapFree: 67109624 kB
Dirty: 4796 kB
Writeback: 0 kB
AnonPages: 497416 kB
Mapped: 16716 kB
Slab: 86364 kB
PageTables: 5788 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 645428 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= 73516 MiB
End job on node126 at 2010-07-07 22:58:05