0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705737-1278580124.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 850 impl, 0 cont) and 1801 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, 200 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/950 (10.6%) - 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, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 1900 implications, 0 cliques
0.00/0.05 c presolved problem has 1800 variables (950 bin, 0 int, 850 impl, 0 cont) and 1700 constraints
0.00/0.05 c 850 constraints of type <linear>
0.00/0.05 c 850 constraints of type <indicator>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.3
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 = 1789.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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = 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 420925
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 | - |6282k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6679k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 34 | - |6737k| 0 | 0 |1800 |1700 |1800 | 57 | 57 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 104 | - |6759k| 0 | 20 |1800 |1700 |1800 | 96 | 96 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 166 | - |6811k| 0 | 67 |1800 |1700 |1800 | 137 | 137 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 204 | - |7169k| 0 | 71 |1800 |1700 |1800 | 172 | 172 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 239 | - |7607k| 0 | 78 |1800 |1700 |1800 | 186 | 186 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.20 c 0.2s| 1 | 0 | 266 | - |8191k| 0 | 77 |1800 |1700 |1800 | 189 | 189 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.29/0.31 c 0.3s| 1 | 2 | 266 | - |8216k| 0 | 77 |1800 |1700 |1800 | 189 | 189 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
10.19/10.29 c 10.3s| 10000 | 9999 | 47256 | 4.7 | 21M| 99 | 9 |1800 |1701 |1800 | 292 | 15k| 1 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
18.99/19.01 c 19.0s| 20000 | 19997 | 91640 | 4.6 | 31M| 105 | 0 |1800 |1701 |1800 | 296 | 29k| 1 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
27.59/27.61 c 27.6s| 30000 | 29997 |130080 | 4.3 | 41M| 109 | 0 |1800 |1701 |1800 | 289 | 41k| 1 | 869 | 0.000000e+00 | 4.209250e+05 | Inf
35.99/36.04 c 36.0s| 40000 | 39995 |162262 | 4.1 | 51M| 109 | 0 |1800 |1702 |1800 | 300 | 52k| 2 |1010 | 0.000000e+00 | 4.209250e+05 | Inf
43.89/43.97 c 44.0s| 50000 | 49995 |184468 | 3.7 | 61M| 109 | 0 |1800 |1702 |1800 | 270 | 59k| 2 |1107 | 0.000000e+00 | 4.209250e+05 | Inf
51.60/51.65 c 51.6s| 60000 | 59995 |202247 | 3.4 | 71M| 109 | 0 |1800 |1702 |1800 | 291 | 65k| 2 |1141 | 0.000000e+00 | 4.209250e+05 | Inf
59.79/59.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.79/59.86 c 59.9s| 70000 | 69995 |231263 | 3.3 | 81M| 109 | 0 |1800 |1702 |1800 | 304 | 75k| 2 |1233 | 0.000000e+00 | 4.209250e+05 | Inf
68.20/68.25 c 68.2s| 80000 | 79995 |262672 | 3.3 | 91M| 109 | 12 |1800 |1702 |1800 | 248 | 85k| 2 |1332 | 0.000000e+00 | 4.209250e+05 | Inf
76.40/76.47 c 76.5s| 90000 | 89995 |291731 | 3.2 | 101M| 117 | 13 |1800 |1702 |1800 | 254 | 94k| 2 |1421 | 0.000000e+00 | 4.209250e+05 | Inf
84.50/84.55 c 84.5s|100000 | 99995 |318929 | 3.2 | 111M| 117 | 17 |1800 |1702 |1800 | 260 | 103k| 2 |1476 | 0.000000e+00 | 4.209250e+05 | Inf
92.49/92.50 c 92.5s|110000 |109995 |343920 | 3.1 | 121M| 117 | 0 |1800 |1702 |1800 | 273 | 111k| 2 |1555 | 0.000000e+00 | 4.209250e+05 | Inf
100.69/100.74 c 101s|120000 |119995 |375369 | 3.1 | 131M| 117 | 0 |1800 |1702 |1800 | 266 | 121k| 2 |1613 | 0.000000e+00 | 4.209250e+05 | Inf
109.00/109.04 c 109s|130000 |129993 |408699 | 3.1 | 141M| 117 | 8 |1800 |1703 |1800 | 202 | 132k| 3 |1717 | 0.000000e+00 | 4.209250e+05 | Inf
117.40/117.48 c 117s|140000 |139993 |453891 | 3.2 | 151M| 117 | 0 |1800 |1703 |1800 | 310 | 144k| 3 |1824 | 0.000000e+00 | 4.209250e+05 | Inf
125.90/125.96 c 126s|150000 |149993 |500627 | 3.3 | 161M| 117 | 7 |1800 |1703 |1800 | 295 | 158k| 3 |1939 | 0.000000e+00 | 4.209250e+05 | Inf
134.69/134.70 c 135s|160000 |159993 |554514 | 3.5 | 171M| 117 | 27 |1800 |1703 |1800 | 211 | 175k| 3 |2071 | 0.000000e+00 | 4.209250e+05 | Inf
143.20/143.21 c 143s|170000 |169993 |599025 | 3.5 | 181M| 117 | 0 |1800 |1703 |1800 | 300 | 189k| 3 |2180 | 0.000000e+00 | 4.209250e+05 | Inf
151.40/151.41 c 151s|180000 |179993 |631171 | 3.5 | 191M| 117 | 30 |1800 |1703 |1800 | 211 | 200k| 3 |2259 | 0.000000e+00 | 4.209250e+05 | Inf
159.90/159.97 c 160s|190000 |189993 |677837 | 3.6 | 201M| 117 | 0 |1800 |1703 |1800 | 326 | 215k| 3 |2356 | 0.000000e+00 | 4.209250e+05 | Inf
168.70/168.70 c 169s|200000 |199993 |729358 | 3.6 | 211M| 117 | 32 |1800 |1702 |1800 | 260 | 230k| 3 |2500 | 0.000000e+00 | 4.209250e+05 | Inf
177.20/177.25 c 177s|210000 |209993 |775277 | 3.7 | 222M| 117 | 12 |1800 |1702 |1800 | 281 | 245k| 3 |2601 | 0.000000e+00 | 4.209250e+05 | Inf
185.70/185.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.70/185.73 c 186s|220000 |219993 |818779 | 3.7 | 232M| 117 | 0 |1800 |1702 |1800 | 292 | 258k| 3 |2693 | 0.000000e+00 | 4.209250e+05 | Inf
194.20/194.29 c 194s|230000 |229993 |865742 | 3.8 | 242M| 117 | 3 |1800 |1702 |1800 | 218 | 272k| 3 |2816 | 0.000000e+00 | 4.209250e+05 | Inf
202.80/202.83 c 203s|240000 |239993 |908916 | 3.8 | 252M| 117 | 22 |1800 |1702 |1800 | 230 | 286k| 3 |2903 | 0.000000e+00 | 4.209250e+05 | Inf
211.20/211.24 c 211s|250000 |249993 |945743 | 3.8 | 262M| 117 | 0 |1800 |1702 |1800 | 241 | 298k| 3 |2977 | 0.000000e+00 | 4.209250e+05 | Inf
219.60/219.64 c 220s|260000 |259993 |981042 | 3.8 | 272M| 117 | 0 |1800 |1702 |1800 | 273 | 311k| 3 |3036 | 0.000000e+00 | 4.209250e+05 | Inf
227.90/227.94 c 228s|270000 |269993 | 1014k| 3.8 | 282M| 117 | 16 |1800 |1702 |1800 | 237 | 323k| 3 |3088 | 0.000000e+00 | 4.209250e+05 | Inf
236.10/236.17 c 236s|280000 |279993 | 1043k| 3.7 | 292M| 117 | 0 |1800 |1702 |1800 | 290 | 332k| 3 |3153 | 0.000000e+00 | 4.209250e+05 | Inf
244.40/244.47 c 244s|290000 |289993 | 1075k| 3.7 | 302M| 117 | 0 |1800 |1702 |1800 | 264 | 343k| 3 |3204 | 0.000000e+00 | 4.209250e+05 | Inf
252.59/252.60 c 253s|300000 |299993 | 1100k| 3.7 | 312M| 117 | 0 |1800 |1702 |1800 | 261 | 352k| 3 |3246 | 0.000000e+00 | 4.209250e+05 | Inf
260.50/260.56 c 261s|310000 |309993 | 1122k| 3.6 | 322M| 117 | 12 |1800 |1702 |1800 | 272 | 360k| 3 |3281 | 0.000000e+00 | 4.209250e+05 | Inf
268.70/268.77 c 269s|320000 |319993 | 1150k| 3.6 | 332M| 117 | 0 |1800 |1702 |1800 | 297 | 369k| 3 |3333 | 0.000000e+00 | 4.209250e+05 | Inf
276.60/276.69 c 277s|330000 |329993 | 1171k| 3.5 | 342M| 117 | 0 |1800 |1702 |1800 | 275 | 376k| 3 |3354 | 0.000000e+00 | 4.209250e+05 | Inf
284.40/284.47 c 284s|340000 |339993 | 1186k| 3.5 | 352M| 117 | 0 |1800 |1702 |1800 | 263 | 382k| 3 |3375 | 0.000000e+00 | 4.209250e+05 | Inf
292.10/292.13 c 292s|350000 |349993 | 1200k| 3.4 | 362M| 117 | 0 |1800 |1702 |1800 | 272 | 387k| 3 |3386 | 0.000000e+00 | 4.209250e+05 | Inf
300.00/300.09 c 300s|360000 |359993 | 1222k| 3.4 | 372M| 117 | 0 |1800 |1702 |1800 | 264 | 395k| 3 |3430 | 0.000000e+00 | 4.209250e+05 | Inf
308.00/308.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.00/308.08 c 308s|370000 |369993 | 1247k| 3.4 | 382M| 117 | 0 |1800 |1702 |1800 | 273 | 404k| 3 |3473 | 0.000000e+00 | 4.209250e+05 | Inf
316.10/316.11 c 316s|380000 |379993 | 1273k| 3.4 | 391M| 117 | 0 |1800 |1702 |1800 | 265 | 412k| 3 |3501 | 0.000000e+00 | 4.209250e+05 | Inf
324.10/324.16 c 324s|390000 |389993 | 1297k| 3.3 | 401M| 117 | 7 |1800 |1702 |1800 | 262 | 421k| 3 |3542 | 0.000000e+00 | 4.209250e+05 | Inf
332.20/332.27 c 332s|400000 |399993 | 1325k| 3.3 | 411M| 117 | 0 |1800 |1702 |1800 | 281 | 430k| 3 |3578 | 0.000000e+00 | 4.209250e+05 | Inf
340.10/340.11 c 340s|410000 |409993 | 1343k| 3.3 | 421M| 117 | 0 |1800 |1702 |1800 | 319 | 437k| 3 |3607 | 0.000000e+00 | 4.209250e+05 | Inf
347.90/347.94 c 348s|420000 |419993 | 1360k| 3.2 | 431M| 117 | 0 |1800 |1702 |1800 | 262 | 443k| 3 |3627 | 0.000000e+00 | 4.209250e+05 | Inf
355.80/355.87 c 356s|430000 |429993 | 1383k| 3.2 | 441M| 117 | 0 |1800 |1702 |1800 | 258 | 450k| 3 |3656 | 0.000000e+00 | 4.209250e+05 | Inf
363.90/363.96 c 364s|440000 |439993 | 1411k| 3.2 | 451M| 117 | 0 |1800 |1702 |1800 | 268 | 460k| 3 |3685 | 0.000000e+00 | 4.209250e+05 | Inf
372.10/372.10 c 372s|450000 |449993 | 1440k| 3.2 | 461M| 117 | 4 |1800 |1702 |1800 | 284 | 470k| 3 |3733 | 0.000000e+00 | 4.209250e+05 | Inf
380.10/380.19 c 380s|460000 |459993 | 1466k| 3.2 | 471M| 117 | 15 |1800 |1702 |1800 | 259 | 480k| 3 |3759 | 0.000000e+00 | 4.209250e+05 | Inf
388.30/388.36 c 388s|470000 |469993 | 1496k| 3.2 | 481M| 117 | 0 |1800 |1702 |1800 | 266 | 490k| 3 |3809 | 0.000000e+00 | 4.209250e+05 | Inf
396.11/396.18 c 396s|480000 |479993 | 1516k| 3.2 | 491M| 117 | 0 |1800 |1702 |1800 | 270 | 498k| 3 |3833 | 0.000000e+00 | 4.209250e+05 | Inf
404.20/404.24 c 404s|490000 |489993 | 1544k| 3.2 | 501M| 117 | 0 |1800 |1702 |1800 | 253 | 507k| 3 |3861 | 0.000000e+00 | 4.209250e+05 | Inf
412.20/412.25 c 412s|500000 |499993 | 1570k| 3.1 | 511M| 117 | 12 |1800 |1702 |1800 | 239 | 516k| 3 |3895 | 0.000000e+00 | 4.209250e+05 | Inf
420.40/420.46 c 420s|510000 |509993 | 1602k| 3.1 | 521M| 117 | 0 |1800 |1702 |1800 | 288 | 527k| 3 |3936 | 0.000000e+00 | 4.209250e+05 | Inf
428.50/428.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.50/428.52 c 429s|520000 |519993 | 1631k| 3.1 | 531M| 117 | 0 |1800 |1702 |1800 | 271 | 536k| 3 |3963 | 0.000000e+00 | 4.209250e+05 | Inf
436.50/436.58 c 437s|530000 |529993 | 1658k| 3.1 | 541M| 117 | 0 |1800 |1702 |1800 | 286 | 546k| 3 |4009 | 0.000000e+00 | 4.209250e+05 | Inf
444.50/444.51 c 444s|540000 |539993 | 1679k| 3.1 | 551M| 117 | 0 |1800 |1702 |1800 | 312 | 554k| 3 |4028 | 0.000000e+00 | 4.209250e+05 | Inf
452.40/452.45 c 452s|550000 |549993 | 1702k| 3.1 | 561M| 117 | 4 |1800 |1702 |1800 | 274 | 562k| 3 |4057 | 0.000000e+00 | 4.209250e+05 | Inf
460.10/460.12 c 460s|560000 |559993 | 1716k| 3.1 | 571M| 117 | 0 |1800 |1702 |1800 | 283 | 567k| 3 |4063 | 0.000000e+00 | 4.209250e+05 | Inf
467.81/467.87 c 468s|570000 |569993 | 1733k| 3.0 | 580M| 117 | 0 |1800 |1702 |1800 | 263 | 574k| 3 |4087 | 0.000000e+00 | 4.209250e+05 | Inf
475.50/475.58 c 476s|580000 |579993 | 1749k| 3.0 | 590M| 117 | 0 |1800 |1702 |1800 | 271 | 580k| 3 |4110 | 0.000000e+00 | 4.209250e+05 | Inf
483.30/483.34 c 483s|590000 |589993 | 1766k| 3.0 | 600M| 117 | 0 |1800 |1702 |1800 | 247 | 586k| 3 |4127 | 0.000000e+00 | 4.209250e+05 | Inf
491.01/491.06 c 491s|600000 |599993 | 1781k| 3.0 | 610M| 117 | 0 |1800 |1702 |1800 | 321 | 592k| 3 |4155 | 0.000000e+00 | 4.209250e+05 | Inf
499.01/499.04 c 499s|610000 |609993 | 1805k| 3.0 | 620M| 117 | 26 |1800 |1702 |1800 | 276 | 600k| 3 |4179 | 0.000000e+00 | 4.209250e+05 | Inf
506.80/506.85 c 507s|620000 |619991 | 1823k| 2.9 | 630M| 117 | 0 |1800 |1702 |1800 | 281 | 607k| 3 |4203 | 0.000000e+00 | 4.209250e+05 | Inf
514.30/514.36 c 514s|630000 |629991 | 1833k| 2.9 | 640M| 117 | 0 |1800 |1702 |1800 | 289 | 612k| 3 |4203 | 0.000000e+00 | 4.209250e+05 | Inf
521.80/521.86 c 522s|640000 |639991 | 1842k| 2.9 | 649M| 117 | 0 |1800 |1702 |1800 | 258 | 616k| 3 |4222 | 0.000000e+00 | 4.209250e+05 | Inf
529.61/529.69 c 530s|650000 |649991 | 1861k| 2.9 | 659M| 117 | 0 |1800 |1702 |1800 | 277 | 623k| 3 |4253 | 0.000000e+00 | 4.209250e+05 | Inf
537.30/537.32 c 537s|660000 |659991 | 1875k| 2.8 | 669M| 117 | 0 |1800 |1702 |1800 | 260 | 629k| 3 |4255 | 0.000000e+00 | 4.209250e+05 | Inf
545.00/545.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.00/545.07 c 545s|670000 |669991 | 1892k| 2.8 | 679M| 117 | 0 |1800 |1702 |1800 | 259 | 635k| 3 |4277 | 0.000000e+00 | 4.209250e+05 | Inf
552.81/552.82 c 553s|680000 |679991 | 1909k| 2.8 | 689M| 117 | 16 |1800 |1702 |1800 | 267 | 641k| 3 |4298 | 0.000000e+00 | 4.209250e+05 | Inf
560.51/560.59 c 561s|690000 |689991 | 1925k| 2.8 | 699M| 117 | 0 |1800 |1702 |1800 | 269 | 647k| 3 |4316 | 0.000000e+00 | 4.209250e+05 | Inf
568.40/568.47 c 568s|700000 |699991 | 1944k| 2.8 | 709M| 117 | 0 |1800 |1702 |1800 | 289 | 653k| 3 |4342 | 0.000000e+00 | 4.209250e+05 | Inf
576.10/576.15 c 576s|710000 |709991 | 1958k| 2.8 | 719M| 117 | 0 |1800 |1702 |1800 | 290 | 659k| 3 |4358 | 0.000000e+00 | 4.209250e+05 | Inf
583.50/583.55 c 584s|720000 |719991 | 1966k| 2.7 | 728M| 117 | 0 |1800 |1702 |1800 | 255 | 661k| 3 |4359 | 0.000000e+00 | 4.209250e+05 | Inf
591.21/591.25 c 591s|730000 |729991 | 1981k| 2.7 | 738M| 117 | 0 |1800 |1702 |1800 | 288 | 667k| 3 |4391 | 0.000000e+00 | 4.209250e+05 | Inf
599.11/599.18 c 599s|740000 |739991 | 2003k| 2.7 | 748M| 117 | 0 |1800 |1702 |1800 | 264 | 675k| 3 |4416 | 0.000000e+00 | 4.209250e+05 | Inf
606.90/606.97 c 607s|750000 |749991 | 2021k| 2.7 | 758M| 117 | 0 |1800 |1702 |1800 | 265 | 681k| 3 |4436 | 0.000000e+00 | 4.209250e+05 | Inf
614.41/614.48 c 614s|760000 |759991 | 2032k| 2.7 | 768M| 117 | 0 |1800 |1702 |1800 | 262 | 685k| 3 |4438 | 0.000000e+00 | 4.209250e+05 | Inf
621.91/621.97 c 622s|770000 |769991 | 2040k| 2.6 | 778M| 117 | 0 |1800 |1702 |1800 | 257 | 689k| 3 |4457 | 0.000000e+00 | 4.209250e+05 | Inf
629.41/629.41 c 629s|780000 |779991 | 2048k| 2.6 | 787M| 121 | 0 |1800 |1702 |1800 | 273 | 692k| 3 |4458 | 0.000000e+00 | 4.209250e+05 | Inf
636.91/636.95 c 637s|790000 |789989 | 2058k| 2.6 | 797M| 121 | 0 |1800 |1703 |1800 | 272 | 697k| 4 |4477 | 0.000000e+00 | 4.209250e+05 | Inf
644.61/644.60 c 645s|800000 |799989 | 2072k| 2.6 | 807M| 121 | 16 |1800 |1703 |1800 | 245 | 702k| 4 |4487 | 0.000000e+00 | 4.209250e+05 | Inf
652.41/652.42 c 652s|810000 |809989 | 2092k| 2.6 | 817M| 121 | 0 |1800 |1703 |1800 | 271 | 709k| 4 |4505 | 0.000000e+00 | 4.209250e+05 | Inf
660.11/660.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.11/660.10 c 660s|820000 |819989 | 2107k| 2.6 | 827M| 121 | 7 |1800 |1703 |1800 | 188 | 715k| 4 |4529 | 0.000000e+00 | 4.209250e+05 | Inf
667.80/667.88 c 668s|830000 |829989 | 2125k| 2.6 | 837M| 121 | 0 |1800 |1703 |1800 | 266 | 722k| 4 |4550 | 0.000000e+00 | 4.209250e+05 | Inf
675.51/675.50 c 675s|840000 |839989 | 2141k| 2.5 | 847M| 123 | 0 |1800 |1703 |1800 | 290 | 727k| 4 |4567 | 0.000000e+00 | 4.209250e+05 | Inf
683.11/683.12 c 683s|850000 |849989 | 2156k| 2.5 | 857M| 123 | 0 |1800 |1703 |1800 | 297 | 733k| 4 |4581 | 0.000000e+00 | 4.209250e+05 | Inf
690.81/690.84 c 691s|860000 |859989 | 2170k| 2.5 | 866M| 123 | 0 |1800 |1703 |1800 | 291 | 739k| 4 |4598 | 0.000000e+00 | 4.209250e+05 | Inf
698.31/698.40 c 698s|870000 |869989 | 2184k| 2.5 | 876M| 123 | 9 |1800 |1703 |1800 | 251 | 744k| 4 |4618 | 0.000000e+00 | 4.209250e+05 | Inf
706.11/706.20 c 706s|880000 |879989 | 2202k| 2.5 | 886M| 123 | 0 |1800 |1703 |1800 | 281 | 750k| 4 |4633 | 0.000000e+00 | 4.209250e+05 | Inf
713.81/713.83 c 714s|890000 |889989 | 2216k| 2.5 | 896M| 123 | 0 |1800 |1703 |1800 | 261 | 756k| 4 |4640 | 0.000000e+00 | 4.209250e+05 | Inf
721.61/721.68 c 722s|900000 |899989 | 2237k| 2.5 | 906M| 123 | 0 |1800 |1703 |1800 | 250 | 763k| 4 |4659 | 0.000000e+00 | 4.209250e+05 | Inf
729.41/729.40 c 729s|910000 |909989 | 2254k| 2.5 | 916M| 123 | 0 |1800 |1703 |1800 | 257 | 769k| 4 |4674 | 0.000000e+00 | 4.209250e+05 | Inf
737.11/737.17 c 737s|920000 |919989 | 2272k| 2.5 | 926M| 123 | 0 |1800 |1703 |1800 | 259 | 776k| 4 |4689 | 0.000000e+00 | 4.209250e+05 | Inf
744.91/744.95 c 745s|930000 |929989 | 2290k| 2.5 | 935M| 123 | 0 |1800 |1703 |1800 | 291 | 782k| 4 |4704 | 0.000000e+00 | 4.209250e+05 | Inf
752.71/752.74 c 753s|940000 |939989 | 2308k| 2.5 | 945M| 123 | 0 |1800 |1703 |1800 | 272 | 789k| 4 |4722 | 0.000000e+00 | 4.209250e+05 | Inf
760.61/760.63 c 761s|950000 |949989 | 2327k| 2.4 | 955M| 123 | 14 |1800 |1703 |1800 | 256 | 796k| 4 |4741 | 0.000000e+00 | 4.209250e+05 | Inf
768.21/768.25 c 768s|960000 |959989 | 2340k| 2.4 | 965M| 123 | 0 |1800 |1703 |1800 | 273 | 801k| 4 |4746 | 0.000000e+00 | 4.209250e+05 | Inf
775.81/775.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
775.81/775.83 c 776s|970000 |969989 | 2353k| 2.4 | 975M| 127 | 0 |1800 |1703 |1800 | 273 | 806k| 4 |4764 | 0.000000e+00 | 4.209250e+05 | Inf
783.51/783.58 c 784s|980000 |979989 | 2371k| 2.4 | 985M| 127 | 15 |1800 |1703 |1800 | 259 | 812k| 4 |4781 | 0.000000e+00 | 4.209250e+05 | Inf
791.31/791.34 c 791s|990000 |989989 | 2388k| 2.4 | 995M| 127 | 17 |1800 |1703 |1800 | 243 | 818k| 4 |4798 | 0.000000e+00 | 4.209250e+05 | Inf
798.91/798.97 c 799s| 1000k|999989 | 2403k| 2.4 |1005M| 127 | 21 |1800 |1703 |1800 | 247 | 824k| 4 |4801 | 0.000000e+00 | 4.209250e+05 | Inf
806.82/806.84 c 807s| 1010k| 1009k| 2423k| 2.4 |1015M| 127 | 0 |1800 |1703 |1800 | 302 | 831k| 4 |4820 | 0.000000e+00 | 4.209250e+05 | Inf
814.61/814.67 c 815s| 1020k| 1019k| 2444k| 2.4 |1024M| 127 | 8 |1800 |1703 |1800 | 252 | 839k| 4 |4839 | 0.000000e+00 | 4.209250e+05 | Inf
822.41/822.45 c 822s| 1030k| 1029k| 2463k| 2.4 |1034M| 127 | 4 |1800 |1703 |1800 | 257 | 845k| 4 |4859 | 0.000000e+00 | 4.209250e+05 | Inf
830.02/830.06 c 830s| 1040k| 1039k| 2478k| 2.4 |1044M| 127 | 9 |1800 |1703 |1800 | 244 | 851k| 4 |4873 | 0.000000e+00 | 4.209250e+05 | Inf
837.91/837.90 c 838s| 1050k| 1049k| 2499k| 2.4 |1054M| 127 | 0 |1800 |1703 |1800 | 290 | 858k| 4 |4889 | 0.000000e+00 | 4.209250e+05 | Inf
845.71/845.70 c 846s| 1060k| 1059k| 2517k| 2.4 |1064M| 127 | 0 |1800 |1703 |1800 | 316 | 865k| 4 |4907 | 0.000000e+00 | 4.209250e+05 | Inf
853.31/853.37 c 853s| 1070k| 1069k| 2536k| 2.4 |1074M| 127 | 0 |1800 |1703 |1800 | 257 | 873k| 4 |4921 | 0.000000e+00 | 4.209250e+05 | Inf
861.11/861.15 c 861s| 1080k| 1079k| 2555k| 2.4 |1084M| 127 | 0 |1800 |1703 |1800 | 278 | 880k| 4 |4935 | 0.000000e+00 | 4.209250e+05 | Inf
868.81/868.88 c 869s| 1090k| 1089k| 2573k| 2.4 |1094M| 127 | 0 |1800 |1703 |1800 | 296 | 886k| 4 |4945 | 0.000000e+00 | 4.209250e+05 | Inf
876.62/876.69 c 877s| 1100k| 1099k| 2592k| 2.4 |1104M| 127 | 0 |1800 |1703 |1800 | 268 | 893k| 4 |4964 | 0.000000e+00 | 4.209250e+05 | Inf
884.21/884.30 c 884s| 1110k| 1109k| 2607k| 2.3 |1114M| 127 | 0 |1800 |1703 |1800 | 295 | 899k| 4 |4980 | 0.000000e+00 | 4.209250e+05 | Inf
892.02/892.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.02/892.10 c 892s| 1120k| 1119k| 2626k| 2.3 |1123M| 127 | 0 |1800 |1703 |1800 | 262 | 905k| 4 |4998 | 0.000000e+00 | 4.209250e+05 | Inf
899.82/899.82 c 900s| 1130k| 1129k| 2641k| 2.3 |1133M| 127 | 0 |1800 |1703 |1800 | 252 | 911k| 4 |5006 | 0.000000e+00 | 4.209250e+05 | Inf
907.42/907.47 c 907s| 1140k| 1139k| 2656k| 2.3 |1143M| 127 | 0 |1800 |1704 |1800 | 287 | 917k| 5 |5016 | 0.000000e+00 | 4.209250e+05 | Inf
915.22/915.22 c 915s| 1150k| 1149k| 2673k| 2.3 |1153M| 127 | 0 |1800 |1704 |1800 | 251 | 922k| 5 |5034 | 0.000000e+00 | 4.209250e+05 | Inf
922.92/922.98 c 923s| 1160k| 1159k| 2691k| 2.3 |1163M| 127 | 8 |1800 |1703 |1800 | 265 | 929k| 5 |5051 | 0.000000e+00 | 4.209250e+05 | Inf
930.52/930.60 c 931s| 1170k| 1169k| 2705k| 2.3 |1173M| 127 | 16 |1800 |1703 |1800 | 208 | 935k| 5 |5054 | 0.000000e+00 | 4.209250e+05 | Inf
938.22/938.25 c 938s| 1180k| 1179k| 2720k| 2.3 |1183M| 127 | 0 |1800 |1703 |1800 | 251 | 940k| 5 |5071 | 0.000000e+00 | 4.209250e+05 | Inf
945.92/945.93 c 946s| 1190k| 1189k| 2735k| 2.3 |1193M| 127 | 0 |1800 |1703 |1800 | 276 | 946k| 5 |5087 | 0.000000e+00 | 4.209250e+05 | Inf
953.62/953.64 c 954s| 1200k| 1199k| 2752k| 2.3 |1203M| 127 | 0 |1800 |1703 |1800 | 277 | 951k| 5 |5102 | 0.000000e+00 | 4.209250e+05 | Inf
961.32/961.33 c 961s| 1210k| 1209k| 2768k| 2.3 |1213M| 127 | 8 |1800 |1703 |1800 | 279 | 957k| 5 |5106 | 0.000000e+00 | 4.209250e+05 | Inf
969.02/969.06 c 969s| 1220k| 1219k| 2784k| 2.3 |1222M| 127 | 4 |1800 |1703 |1800 | 246 | 963k| 5 |5119 | 0.000000e+00 | 4.209250e+05 | Inf
976.82/976.85 c 977s| 1230k| 1229k| 2804k| 2.3 |1232M| 127 | 0 |1800 |1703 |1800 | 256 | 970k| 5 |5135 | 0.000000e+00 | 4.209250e+05 | Inf
984.62/984.66 c 985s| 1240k| 1239k| 2822k| 2.3 |1242M| 127 | 0 |1800 |1703 |1800 | 258 | 977k| 5 |5160 | 0.000000e+00 | 4.209250e+05 | Inf
992.51/992.57 c 993s| 1250k| 1249k| 2845k| 2.3 |1252M| 127 | 0 |1800 |1703 |1800 | 271 | 985k| 5 |5174 | 0.000000e+00 | 4.209250e+05 | Inf
1000.31/1000.36 c 1000s| 1260k| 1259k| 2864k| 2.3 |1262M| 127 | 0 |1800 |1703 |1800 | 260 | 992k| 5 |5195 | 0.000000e+00 | 4.209250e+05 | Inf
1008.01/1008.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1008.01/1008.01 c 1008s| 1270k| 1269k| 2879k| 2.3 |1272M| 127 | 11 |1800 |1703 |1800 | 274 | 997k| 5 |5198 | 0.000000e+00 | 4.209250e+05 | Inf
1015.62/1015.67 c 1016s| 1280k| 1279k| 2895k| 2.3 |1282M| 127 | 0 |1800 |1703 |1800 | 286 |1003k| 5 |5217 | 0.000000e+00 | 4.209250e+05 | Inf
1023.32/1023.37 c 1023s| 1290k| 1289k| 2911k| 2.3 |1292M| 127 | 0 |1800 |1704 |1800 | 273 |1008k| 6 |5230 | 0.000000e+00 | 4.209250e+05 | Inf
1031.11/1031.17 c 1031s| 1300k| 1299k| 2928k| 2.3 |1302M| 127 | 0 |1800 |1704 |1800 | 277 |1015k| 6 |5235 | 0.000000e+00 | 4.209250e+05 | Inf
1038.92/1038.90 c 1039s| 1310k| 1309k| 2943k| 2.2 |1312M| 127 | 0 |1800 |1704 |1800 | 248 |1020k| 6 |5253 | 0.000000e+00 | 4.209250e+05 | Inf
1046.62/1046.67 c 1047s| 1320k| 1319k| 2960k| 2.2 |1321M| 127 | 0 |1800 |1704 |1800 | 297 |1026k| 6 |5271 | 0.000000e+00 | 4.209250e+05 | Inf
1054.32/1054.39 c 1054s| 1330k| 1329k| 2975k| 2.2 |1331M| 127 | 0 |1800 |1704 |1800 | 255 |1031k| 6 |5279 | 0.000000e+00 | 4.209250e+05 | Inf
1062.42/1062.42 c 1062s| 1340k| 1339k| 2998k| 2.2 |1341M| 127 | 0 |1800 |1703 |1800 | 255 |1040k| 6 |5296 | 0.000000e+00 | 4.209250e+05 | Inf
1070.32/1070.34 c 1070s| 1350k| 1349k| 3020k| 2.2 |1351M| 127 | 9 |1800 |1703 |1800 | 246 |1048k| 6 |5309 | 0.000000e+00 | 4.209250e+05 | Inf
1078.02/1078.07 c 1078s| 1360k| 1359k| 3038k| 2.2 |1361M| 127 | 0 |1800 |1703 |1800 | 275 |1054k| 6 |5326 | 0.000000e+00 | 4.209250e+05 | Inf
1085.82/1085.81 c 1086s| 1370k| 1369k| 3054k| 2.2 |1371M| 127 | 0 |1800 |1703 |1800 | 283 |1060k| 6 |5344 | 0.000000e+00 | 4.209250e+05 | Inf
1093.52/1093.50 c 1093s| 1380k| 1379k| 3069k| 2.2 |1381M| 127 | 0 |1800 |1703 |1800 | 256 |1066k| 6 |5356 | 0.000000e+00 | 4.209250e+05 | Inf
1101.22/1101.25 c 1101s| 1390k| 1389k| 3086k| 2.2 |1391M| 127 | 0 |1800 |1703 |1800 | 295 |1072k| 6 |5362 | 0.000000e+00 | 4.209250e+05 | Inf
1109.02/1109.04 c 1109s| 1400k| 1399k| 3105k| 2.2 |1401M| 127 | 0 |1800 |1703 |1800 | 257 |1079k| 6 |5379 | 0.000000e+00 | 4.209250e+05 | Inf
1116.62/1116.69 c 1117s| 1410k| 1409k| 3121k| 2.2 |1411M| 127 | 0 |1800 |1703 |1800 | 260 |1085k| 6 |5398 | 0.000000e+00 | 4.209250e+05 | Inf
1124.23/1124.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.23/1124.26 c 1124s| 1420k| 1419k| 3135k| 2.2 |1420M| 127 | 0 |1800 |1703 |1800 | 266 |1090k| 6 |5407 | 0.000000e+00 | 4.209250e+05 | Inf
1131.83/1131.83 c 1132s| 1430k| 1429k| 3147k| 2.2 |1430M| 127 | 0 |1800 |1703 |1800 | 249 |1095k| 6 |5412 | 0.000000e+00 | 4.209250e+05 | Inf
1139.63/1139.63 c 1140s| 1440k| 1439k| 3166k| 2.2 |1440M| 127 | 0 |1800 |1703 |1800 | 269 |1101k| 6 |5434 | 0.000000e+00 | 4.209250e+05 | Inf
1147.33/1147.33 c 1147s| 1450k| 1449k| 3181k| 2.2 |1450M| 127 | 0 |1800 |1703 |1800 | 247 |1107k| 6 |5437 | 0.000000e+00 | 4.209250e+05 | Inf
1154.93/1154.94 c 1155s| 1460k| 1459k| 3195k| 2.2 |1460M| 127 | 14 |1800 |1703 |1800 | 236 |1112k| 6 |5455 | 0.000000e+00 | 4.209250e+05 | Inf
1162.63/1162.65 c 1163s| 1470k| 1469k| 3211k| 2.2 |1470M| 127 | 0 |1800 |1703 |1800 | 282 |1117k| 6 |5468 | 0.000000e+00 | 4.209250e+05 | Inf
1170.43/1170.49 c 1170s| 1480k| 1479k| 3228k| 2.2 |1480M| 127 | 0 |1800 |1703 |1800 | 259 |1123k| 6 |5475 | 0.000000e+00 | 4.209250e+05 | Inf
1178.22/1178.21 c 1178s| 1490k| 1489k| 3243k| 2.2 |1490M| 127 | 0 |1800 |1703 |1800 | 281 |1129k| 6 |5492 | 0.000000e+00 | 4.209250e+05 | Inf
1185.73/1185.73 c 1186s| 1500k| 1499k| 3254k| 2.2 |1499M| 127 | 7 |1800 |1703 |1800 | 268 |1133k| 6 |5499 | 0.000000e+00 | 4.209250e+05 | Inf
1193.53/1193.51 c 1193s| 1510k| 1509k| 3272k| 2.2 |1509M| 127 | 0 |1800 |1703 |1800 | 273 |1139k| 6 |5505 | 0.000000e+00 | 4.209250e+05 | Inf
1201.03/1201.09 c 1201s| 1520k| 1519k| 3284k| 2.2 |1519M| 137 | 0 |1800 |1703 |1800 | 275 |1144k| 6 |5521 | 0.000000e+00 | 4.209250e+05 | Inf
1208.82/1208.88 c 1209s| 1530k| 1529k| 3303k| 2.2 |1529M| 137 | 0 |1800 |1703 |1800 | 249 |1150k| 6 |5538 | 0.000000e+00 | 4.209250e+05 | Inf
1216.63/1216.61 c 1217s| 1540k| 1539k| 3321k| 2.2 |1539M| 137 | 0 |1800 |1703 |1800 | 246 |1157k| 6 |5540 | 0.000000e+00 | 4.209250e+05 | Inf
1224.32/1224.31 c 1224s| 1550k| 1549k| 3338k| 2.2 |1549M| 137 | 0 |1800 |1703 |1800 | 304 |1163k| 6 |5556 | 0.000000e+00 | 4.209250e+05 | Inf
1232.02/1232.02 c 1232s| 1560k| 1559k| 3357k| 2.2 |1559M| 137 | 0 |1800 |1703 |1800 | 241 |1169k| 6 |5574 | 0.000000e+00 | 4.209250e+05 | Inf
1239.62/1239.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1239.62/1239.63 c 1240s| 1570k| 1569k| 3372k| 2.1 |1569M| 137 | 0 |1800 |1703 |1800 | 255 |1174k| 6 |5575 | 0.000000e+00 | 4.209250e+05 | Inf
1247.13/1247.16 c 1247s| 1580k| 1579k| 3388k| 2.1 |1579M| 137 | 0 |1800 |1703 |1800 | 263 |1179k| 6 |5589 | 0.000000e+00 | 4.209250e+05 | Inf
1254.73/1254.75 c 1255s| 1590k| 1589k| 3405k| 2.1 |1588M| 137 | 0 |1800 |1703 |1800 | 257 |1185k| 6 |5608 | 0.000000e+00 | 4.209250e+05 | Inf
1262.13/1262.16 c 1262s| 1600k| 1599k| 3416k| 2.1 |1598M| 137 | 13 |1800 |1703 |1800 | 232 |1189k| 6 |5609 | 0.000000e+00 | 4.209250e+05 | Inf
1269.92/1269.95 c 1270s| 1610k| 1609k| 3436k| 2.1 |1608M| 137 | 0 |1800 |1703 |1800 | 276 |1195k| 6 |5629 | 0.000000e+00 | 4.209250e+05 | Inf
1277.62/1277.61 c 1278s| 1620k| 1619k| 3456k| 2.1 |1618M| 137 | 0 |1800 |1703 |1800 | 255 |1203k| 6 |5643 | 0.000000e+00 | 4.209250e+05 | Inf
1285.22/1285.25 c 1285s| 1630k| 1629k| 3472k| 2.1 |1628M| 137 | 6 |1800 |1703 |1800 | 262 |1209k| 6 |5658 | 0.000000e+00 | 4.209250e+05 | Inf
1293.02/1293.07 c 1293s| 1640k| 1639k| 3495k| 2.1 |1638M| 137 | 0 |1800 |1703 |1800 | 259 |1216k| 6 |5673 | 0.000000e+00 | 4.209250e+05 | Inf
1300.82/1300.80 c 1301s| 1650k| 1649k| 3514k| 2.1 |1648M| 137 | 0 |1800 |1703 |1800 | 264 |1223k| 6 |5682 | 0.000000e+00 | 4.209250e+05 | Inf
1308.53/1308.50 c 1308s| 1660k| 1659k| 3531k| 2.1 |1658M| 137 | 0 |1800 |1703 |1800 | 282 |1229k| 6 |5699 | 0.000000e+00 | 4.209250e+05 | Inf
1316.12/1316.13 c 1316s| 1670k| 1669k| 3546k| 2.1 |1667M| 137 | 0 |1800 |1703 |1800 | 282 |1234k| 6 |5710 | 0.000000e+00 | 4.209250e+05 | Inf
1323.82/1323.84 c 1324s| 1680k| 1679k| 3564k| 2.1 |1677M| 137 | 0 |1800 |1703 |1800 | 270 |1241k| 6 |5724 | 0.000000e+00 | 4.209250e+05 | Inf
1331.42/1331.46 c 1331s| 1690k| 1689k| 3576k| 2.1 |1687M| 137 | 0 |1800 |1703 |1800 | 242 |1245k| 6 |5733 | 0.000000e+00 | 4.209250e+05 | Inf
1339.02/1339.07 c 1339s| 1700k| 1699k| 3593k| 2.1 |1697M| 137 | 0 |1800 |1703 |1800 | 254 |1250k| 6 |5749 | 0.000000e+00 | 4.209250e+05 | Inf
1346.93/1346.96 c 1347s| 1710k| 1709k| 3614k| 2.1 |1707M| 137 | 5 |1800 |1703 |1800 | 263 |1257k| 6 |5756 | 0.000000e+00 | 4.209250e+05 | Inf
1354.83/1354.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.83/1354.87 c 1355s| 1720k| 1719k| 3635k| 2.1 |1717M| 137 | 0 |1800 |1703 |1800 | 264 |1264k| 6 |5764 | 0.000000e+00 | 4.209250e+05 | Inf
1362.72/1362.74 c 1363s| 1730k| 1729k| 3656k| 2.1 |1727M| 137 | 0 |1800 |1703 |1800 | 300 |1271k| 6 |5782 | 0.000000e+00 | 4.209250e+05 | Inf
1370.63/1370.64 c 1371s| 1740k| 1739k| 3679k| 2.1 |1737M| 137 | 0 |1800 |1703 |1800 | 285 |1279k| 6 |5799 | 0.000000e+00 | 4.209250e+05 | Inf
1378.33/1378.34 c 1378s| 1750k| 1749k| 3696k| 2.1 |1747M| 137 | 0 |1800 |1703 |1800 | 269 |1284k| 6 |5814 | 0.000000e+00 | 4.209250e+05 | Inf
1385.93/1386.00 c 1386s| 1760k| 1759k| 3712k| 2.1 |1757M| 137 | 0 |1800 |1703 |1800 | 283 |1290k| 6 |5819 | 0.000000e+00 | 4.209250e+05 | Inf
1393.93/1393.96 c 1394s| 1770k| 1769k| 3735k| 2.1 |1767M| 137 | 21 |1800 |1703 |1800 | 253 |1298k| 6 |5840 | 0.000000e+00 | 4.209250e+05 | Inf
1401.73/1401.76 c 1402s| 1780k| 1779k| 3753k| 2.1 |1777M| 137 | 0 |1800 |1703 |1800 | 276 |1304k| 6 |5856 | 0.000000e+00 | 4.209250e+05 | Inf
1409.63/1409.66 c 1410s| 1790k| 1789k| 3774k| 2.1 |1787M| 137 | 0 |1800 |1703 |1800 | 291 |1311k| 6 |5871 | 0.000000e+00 | 4.209250e+05 | Inf
1417.63/1417.62 c 1418s| 1800k| 1799k| 3796k| 2.1 |1797M| 137 | 6 |1800 |1703 |1800 | 250 |1319k| 6 |5889 | 0.000000e+00 | 4.209250e+05 | Inf
1425.42/1425.40 c 1425s| 1810k| 1809k| 3814k| 2.1 |1807M| 137 | 0 |1800 |1703 |1800 | 253 |1325k| 6 |5893 | 0.000000e+00 | 4.209250e+05 | Inf
1433.03/1433.00 c 1433s| 1820k| 1819k| 3829k| 2.1 |1816M| 137 | 0 |1800 |1703 |1800 | 247 |1330k| 6 |5908 | 0.000000e+00 | 4.209250e+05 | Inf
1440.63/1440.66 c 1441s| 1830k| 1829k| 3842k| 2.1 |1826M| 137 | 0 |1800 |1703 |1800 | 289 |1334k| 6 |5926 | 0.000000e+00 | 4.209250e+05 | Inf
1448.32/1448.37 c 1448s| 1840k| 1839k| 3858k| 2.1 |1836M| 137 | 0 |1800 |1703 |1800 | 242 |1340k| 6 |5930 | 0.000000e+00 | 4.209250e+05 | Inf
1456.13/1456.17 c 1456s| 1850k| 1849k| 3876k| 2.1 |1846M| 137 | 0 |1800 |1703 |1800 | 312 |1346k| 6 |5942 | 0.000000e+00 | 4.209250e+05 | Inf
1463.82/1463.82 c 1464s| 1860k| 1859k| 3892k| 2.1 |1856M| 137 | 0 |1800 |1703 |1800 | 275 |1352k| 6 |5959 | 0.000000e+00 | 4.209250e+05 | Inf
1471.33/1471.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.33/1471.35 c 1471s| 1870k| 1869k| 3904k| 2.1 |1866M| 137 | 0 |1800 |1703 |1800 | 261 |1356k| 6 |5962 | 0.000000e+00 | 4.209250e+05 | Inf
1478.73/1478.77 c 1479s| 1880k| 1879k| 3915k| 2.1 |1876M| 137 | 6 |1800 |1703 |1800 | 269 |1360k| 6 |5971 | 0.000000e+00 | 4.209250e+05 | Inf
1486.53/1486.56 c 1487s| 1890k| 1889k| 3934k| 2.1 |1886M| 137 | 0 |1800 |1703 |1800 | 246 |1367k| 6 |5980 | 0.000000e+00 | 4.209250e+05 | Inf
1494.23/1494.25 c 1494s| 1900k| 1899k| 3949k| 2.1 |1896M| 137 | 0 |1800 |1703 |1800 | 264 |1372k| 6 |5992 | 0.000000e+00 | 4.209250e+05 | Inf
1502.03/1502.08 c 1502s| 1910k| 1909k| 3970k| 2.1 |1906M| 137 | 0 |1800 |1703 |1800 | 277 |1380k| 6 |6009 | 0.000000e+00 | 4.209250e+05 | Inf
1509.93/1509.97 c 1510s| 1920k| 1919k| 3992k| 2.1 |1916M| 137 | 11 |1800 |1703 |1800 | 238 |1387k| 6 |6024 | 0.000000e+00 | 4.209250e+05 | Inf
1517.73/1517.75 c 1518s| 1930k| 1929k| 4012k| 2.1 |1926M| 137 | 0 |1800 |1703 |1800 | 263 |1394k| 6 |6029 | 0.000000e+00 | 4.209250e+05 | Inf
1525.13/1525.15 c 1525s| 1940k| 1939k| 4023k| 2.1 |1935M| 137 | 0 |1800 |1703 |1800 | 257 |1398k| 6 |6040 | 0.000000e+00 | 4.209250e+05 | Inf
1532.63/1532.65 c 1533s| 1950k| 1949k| 4035k| 2.1 |1945M| 137 | 0 |1800 |1703 |1800 | 260 |1402k| 6 |6044 | 0.000000e+00 | 4.209250e+05 | Inf
1540.53/1540.55 c 1541s| 1960k| 1959k| 4056k| 2.1 |1955M| 137 | 0 |1800 |1703 |1800 | 247 |1409k| 6 |6065 | 0.000000e+00 | 4.209250e+05 | Inf
1548.43/1548.45 c 1548s| 1970k| 1969k| 4078k| 2.1 |1965M| 137 | 0 |1800 |1703 |1800 | 276 |1416k| 6 |6079 | 0.000000e+00 | 4.209250e+05 | Inf
1556.23/1556.29 c 1556s| 1980k| 1979k| 4099k| 2.1 |1975M| 137 | 0 |1800 |1703 |1800 | 271 |1423k| 6 |6094 | 0.000000e+00 | 4.209250e+05 | Inf
1563.84/1563.85 c 1564s| 1990k| 1989k| 4113k| 2.1 |1985M| 137 | 6 |1800 |1703 |1800 | 291 |1428k| 6 |6102 | 0.000000e+00 | 4.209250e+05 | Inf
1571.33/1571.38 c 1571s| 2000k| 1999k| 4126k| 2.1 |1995M| 137 | 0 |1800 |1703 |1800 | 281 |1432k| 6 |6110 | 0.000000e+00 | 4.209250e+05 | Inf
1579.33/1579.37 c 1579s| 2010k| 2009k| 4149k| 2.1 |2005M| 137 | 0 |1800 |1703 |1800 | 296 |1440k| 6 |6120 | 0.000000e+00 | 4.209250e+05 | Inf
1587.13/1587.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.13/1587.19 c 1587s| 2020k| 2019k| 4166k| 2.1 |2015M| 137 | 3 |1800 |1703 |1800 | 264 |1446k| 6 |6133 | 0.000000e+00 | 4.209250e+05 | Inf
1594.83/1594.83 c 1595s| 2030k| 2029k| 4180k| 2.1 |2025M| 137 | 0 |1800 |1703 |1800 | 275 |1451k| 6 |6153 | 0.000000e+00 | 4.209250e+05 | Inf
1602.73/1602.75 c 1603s| 2040k| 2039k| 4203k| 2.1 |2035M| 137 | 4 |1800 |1703 |1800 | 260 |1459k| 6 |6160 | 0.000000e+00 | 4.209250e+05 | Inf
1610.44/1610.49 c 1610s| 2050k| 2049k| 4220k| 2.1 |2045M| 137 | 0 |1800 |1703 |1800 | 265 |1465k| 6 |6174 | 0.000000e+00 | 4.209250e+05 | Inf
1618.14/1618.12 c 1618s| 2060k| 2059k| 4237k| 2.1 |2054M| 137 | 0 |1800 |1703 |1800 | 272 |1471k| 6 |6196 | 0.000000e+00 | 4.209250e+05 | Inf
1625.93/1625.93 c 1626s| 2070k| 2069k| 4259k| 2.1 |2064M| 137 | 0 |1800 |1703 |1800 | 288 |1478k| 6 |6209 | 0.000000e+00 | 4.209250e+05 | Inf
1633.74/1633.77 c 1634s| 2080k| 2079k| 4278k| 2.1 |2074M| 137 | 0 |1800 |1703 |1800 | 274 |1485k| 6 |6220 | 0.000000e+00 | 4.209250e+05 | Inf
1641.43/1641.45 c 1641s| 2090k| 2089k| 4295k| 2.1 |2084M| 137 | 0 |1800 |1703 |1800 | 238 |1490k| 6 |6238 | 0.000000e+00 | 4.209250e+05 | Inf
1649.03/1649.09 c 1649s| 2100k| 2099k| 4309k| 2.1 |2094M| 137 | 0 |1800 |1703 |1800 | 242 |1496k| 6 |6239 | 0.000000e+00 | 4.209250e+05 | Inf
1656.73/1656.72 c 1657s| 2110k| 2109k| 4322k| 2.0 |2104M| 137 | 0 |1800 |1703 |1800 | 306 |1500k| 6 |6257 | 0.000000e+00 | 4.209250e+05 | Inf
1664.33/1664.30 c 1664s| 2120k| 2119k| 4335k| 2.0 |2114M| 137 | 0 |1800 |1703 |1800 | 257 |1505k| 6 |6257 | 0.000000e+00 | 4.209250e+05 | Inf
1671.93/1671.98 c 1672s| 2130k| 2129k| 4354k| 2.0 |2124M| 137 | 0 |1800 |1703 |1800 | 273 |1512k| 6 |6273 | 0.000000e+00 | 4.209250e+05 | Inf
1679.64/1679.63 c 1680s| 2140k| 2139k| 4370k| 2.0 |2134M| 137 | 0 |1800 |1703 |1800 | 280 |1517k| 6 |6288 | 0.000000e+00 | 4.209250e+05 | Inf
1687.44/1687.47 c 1687s| 2150k| 2149k| 4391k| 2.0 |2143M| 137 | 0 |1800 |1703 |1800 | 279 |1524k| 6 |6294 | 0.000000e+00 | 4.209250e+05 | Inf
1695.04/1695.03 c 1695s| 2160k| 2159k| 4404k| 2.0 |2153M| 137 | 0 |1800 |1703 |1800 | 255 |1529k| 6 |6311 | 0.000000e+00 | 4.209250e+05 | Inf
1702.74/1702.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.74/1702.77 c 1703s| 2170k| 2169k| 4424k| 2.0 |2163M| 137 | 0 |1800 |1703 |1800 | 256 |1535k| 6 |6325 | 0.000000e+00 | 4.209250e+05 | Inf
1710.44/1710.41 c 1710s| 2180k| 2179k| 4440k| 2.0 |2173M| 137 | 0 |1800 |1702 |1800 | 261 |1541k| 6 |6332 | 0.000000e+00 | 4.209250e+05 | Inf
1717.93/1717.99 c 1718s| 2190k| 2189k| 4456k| 2.0 |2183M| 137 | 0 |1800 |1702 |1800 | 261 |1546k| 6 |6346 | 0.000000e+00 | 4.209250e+05 | Inf
1725.53/1725.52 c 1726s| 2200k| 2199k| 4471k| 2.0 |2193M| 137 | 0 |1800 |1702 |1800 | 265 |1551k| 6 |6348 | 0.000000e+00 | 4.209250e+05 | Inf
1733.04/1733.08 c 1733s| 2210k| 2209k| 4485k| 2.0 |2203M| 137 | 0 |1800 |1702 |1800 | 261 |1556k| 6 |6358 | 0.000000e+00 | 4.209250e+05 | Inf
1740.64/1740.68 c 1741s| 2220k| 2219k| 4498k| 2.0 |2213M| 137 | 6 |1800 |1702 |1800 | 262 |1561k| 6 |6369 | 0.000000e+00 | 4.209250e+05 | Inf
1748.23/1748.21 c 1748s| 2230k| 2229k| 4511k| 2.0 |2223M| 137 | 0 |1800 |1702 |1800 | 265 |1565k| 6 |6374 | 0.000000e+00 | 4.209250e+05 | Inf
1755.83/1755.87 c 1756s| 2240k| 2239k| 4527k| 2.0 |2232M| 137 | 0 |1800 |1702 |1800 | 274 |1570k| 6 |6386 | 0.000000e+00 | 4.209250e+05 | Inf
1763.44/1763.43 c 1763s| 2250k| 2249k| 4542k| 2.0 |2242M| 137 | 0 |1800 |1702 |1800 | 274 |1575k| 6 |6391 | 0.000000e+00 | 4.209250e+05 | Inf
1770.63/1770.68 c 1771s| 2260k| 2259k| 4551k| 2.0 |2252M| 137 | 0 |1800 |1702 |1800 | 227 |1578k| 6 |6398 | 0.000000e+00 | 4.209250e+05 | Inf
1778.33/1778.30 c 1778s| 2270k| 2269k| 4564k| 2.0 |2262M| 137 | 0 |1800 |1702 |1800 | 241 |1582k| 6 |6398 | 0.000000e+00 | 4.209250e+05 | Inf
1785.83/1785.89 c 1786s| 2280k| 2279k| 4581k| 2.0 |2272M| 137 | 0 |1800 |1702 |1800 | 259 |1587k| 6 |6411 | 0.000000e+00 | 4.209250e+05 | Inf
1790.03/1790.00 c
1790.03/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.00 c Solving Time (sec) : 1789.99
1790.03/1790.00 c Solving Nodes : 2285500
1790.03/1790.00 c Primal Bound : +4.20925000000000e+05 (100 solutions)
1790.03/1790.00 c Dual Bound : +0.00000000000000e+00
1790.03/1790.00 c Gap : infinite
1790.03/1790.01 s SATISFIABLE
1790.03/1790.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
1790.03/1790.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1790.03/1790.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
1790.03/1790.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
1790.03/1790.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
1790.03/1790.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
1790.03/1790.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
1790.03/1790.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
1790.03/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.01 c Solving Time : 1789.99
1790.03/1790.01 c Original Problem :
1790.03/1790.01 c Problem name : HOME/instance-2705737-1278580124.wbo
1790.03/1790.01 c Variables : 1900 (1050 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.03/1790.01 c Constraints : 1801 initial, 1801 maximal
1790.03/1790.01 c Presolved Problem :
1790.03/1790.01 c Problem name : t_HOME/instance-2705737-1278580124.wbo
1790.03/1790.01 c Variables : 1800 (950 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.03/1790.01 c Constraints : 1700 initial, 1704 maximal
1790.03/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.03/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1790.03/1790.01 c linear : 0.02 0 100 0 850 0 101 0 0
1790.03/1790.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.03/1790.01 c root node : - 0 - - 0 - - - -
1790.03/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.03/1790.01 c integral : 0 0 0 2522423 0 0 0 0 0 1086962
1790.03/1790.01 c linear : 850 6 3092161 1978942 0 6 840849 1589865 0 0
1790.03/1790.01 c indicator : 850 0 3092155 1978942 0 5 2190725 0 0 0
1790.03/1790.01 c logicor : 0+ 0 114831 0 0 0 32954 0 0 0
1790.03/1790.01 c countsols : 0 0 0 1742008 0 0 0 0 0 0
1790.03/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.03/1790.01 c integral : 9.09 0.00 0.00 9.09 0.00
1790.03/1790.01 c linear : 38.77 0.00 14.63 24.14 0.00
1790.03/1790.01 c indicator : 204.71 0.05 81.55 123.11 0.00
1790.03/1790.01 c logicor : 0.19 0.00 0.19 0.00 0.00
1790.03/1790.01 c countsols : 0.22 0.00 0.00 0.22 0.00
1790.03/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.03/1790.01 c vbounds : 0.62 2 0 0
1790.03/1790.01 c rootredcost : 0.57 0 0 0
1790.03/1790.01 c pseudoobj : 38.61 3091961 0 0
1790.03/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.03/1790.01 c propagation : 0.00 6 6 6 4.8 0 0.0 -
1790.03/1790.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.03/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.03/1790.01 c applied globally : - - - 6 4.8 - - -
1790.03/1790.01 c applied locally : - - - 0 0.0 - - -
1790.03/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.03/1790.01 c cut pool : 0.00 3 - - 108 - (maximal pool size: 363)
1790.03/1790.01 c redcost : 98.70 2521991 0 0 0 0
1790.03/1790.01 c impliedbounds : 0.00 4 0 0 0 0
1790.03/1790.01 c intobj : 0.00 0 0 0 0 0
1790.03/1790.01 c cgmip : 0.00 0 0 0 0 0
1790.03/1790.01 c gomory : 0.02 4 0 0 100 0
1790.03/1790.01 c strongcg : 0.03 4 0 0 476 0
1790.03/1790.01 c cmir : 0.01 4 0 0 0 0
1790.03/1790.01 c flowcover : 0.01 4 0 0 0 0
1790.03/1790.01 c clique : 0.00 1 0 0 0 0
1790.03/1790.01 c zerohalf : 0.00 0 0 0 0 0
1790.03/1790.01 c mcf : 0.00 1 0 0 0 0
1790.03/1790.01 c rapidlearning : 0.06 1 0 0 0 0
1790.03/1790.01 c Pricers : Time Calls Vars
1790.03/1790.01 c problem variables: 0.00 0 0
1790.03/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.03/1790.01 c relpscost : 8.22 543481 0 0 0 0 1086962
1790.03/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.03/1790.01 c inference : 209.53 1742008 0 0 0 0 3484016
1790.03/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1790.03/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1790.03/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1790.03/1790.01 c random : 0.00 0 0 0 0 0 0
1790.03/1790.01 c Primal Heuristics : Time Calls Found
1790.03/1790.01 c LP solutions : 0.00 - 0
1790.03/1790.01 c pseudo solutions : 0.00 - 0
1790.03/1790.01 c intshifting : 0.01 0 0
1790.03/1790.01 c feaspump : 0.01 0 0
1790.03/1790.01 c oneopt : 0.97 1 0
1790.03/1790.01 c crossover : 0.68 13 2
1790.03/1790.01 c guideddiving : 21.81 35067 0
1790.03/1790.01 c coefdiving : 21.80 35068 0
1790.03/1790.01 c pscostdiving : 21.76 35068 0
1790.03/1790.01 c fracdiving : 21.80 35068 0
1790.03/1790.01 c veclendiving : 21.81 35068 0
1790.03/1790.01 c linesearchdiving : 21.83 35068 0
1790.03/1790.01 c objpscostdiving : 22.51 34994 0
1790.03/1790.01 c rootsoldiving : 22.83 34994 0
1790.03/1790.01 c trivial : 0.00 2 1
1790.03/1790.01 c simplerounding : 0.94 543470 0
1790.03/1790.01 c zirounding : 0.45 1000 0
1790.03/1790.01 c rounding : 0.62 10342 0
1790.03/1790.01 c shifting : 0.35 3205 0
1790.03/1790.01 c twoopt : 0.00 0 0
1790.03/1790.01 c fixandinfer : 0.00 0 0
1790.03/1790.01 c intdiving : 0.00 0 0
1790.03/1790.01 c actconsdiving : 0.00 0 0
1790.03/1790.01 c octane : 0.00 0 0
1790.03/1790.01 c rens : 0.01 1 0
1790.03/1790.01 c rins : 0.00 0 0
1790.03/1790.01 c localbranching : 0.00 0 0
1790.03/1790.01 c mutation : 0.00 0 0
1790.03/1790.01 c dins : 0.00 0 0
1790.03/1790.01 c undercover : 0.00 0 0
1790.03/1790.01 c nlp : 0.32 0 0
1790.03/1790.01 c trysol : 0.69 35274 97
1790.03/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1790.03/1790.01 c primal LP : 0.00 0 0 0.00 -
1790.03/1790.01 c dual LP : 676.28 867407 4586187 5.29 6781.44
1790.03/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1790.03/1790.01 c barrier LP : 0.00 0 0 0.00 -
1790.03/1790.01 c diving/probing LP: 0.45 938 1786 1.90 3926.02
1790.03/1790.01 c strong branching : 4.48 6411 67534 10.53 15059.23
1790.03/1790.01 c (at root node) : - 33 2860 86.67 -
1790.03/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.03/1790.01 c B&B Tree :
1790.03/1790.01 c number of runs : 1
1790.03/1790.01 c nodes : 2285500
1790.03/1790.01 c nodes (total) : 2285500
1790.03/1790.01 c nodes left : 2285479
1790.03/1790.01 c max depth : 137
1790.03/1790.01 c max depth (total): 137
1790.03/1790.01 c backtracks : 35443 (1.6%)
1790.03/1790.01 c delayed cutoffs : 0
1790.03/1790.01 c repropagations : 6 (22 domain reductions, 0 cutoffs)
1790.03/1790.01 c avg switch length: 2.41
1790.03/1790.01 c switching time : 46.27
1790.03/1790.01 c Solution :
1790.03/1790.01 c Solutions found : 100 (1 improvements)
1790.03/1790.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.03/1790.01 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.03/1790.01 c Dual Bound : +0.00000000000000e+00
1790.03/1790.01 c Gap : infinite
1790.03/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.03/1790.01 c Root Iterations : 266
1794.14/1794.11 c Time complete: 1794.15.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705737-1278580124/watcher-2705737-1278580124 -o /tmp/evaluation-result-2705737-1278580124/solver-2705737-1278580124 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705737-1278580124.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.00 2.00 1.94 3/178 22200
/proc/meminfo: memFree=29982744/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=12332 CPUtime=0
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 1947 0 0 0 0 0 0 0 25 0 1 0 26225825 12627968 1865 4089446400 4194304 10345943 140736474685440 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22200/statm: 3136 1865 429 1502 0 1629 0
[startup+0.0824599 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 22200
/proc/meminfo: memFree=29982744/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=40068 CPUtime=0.07
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 8899 0 0 0 7 0 0 0 25 0 1 0 26225825 41029632 8463 4089446400 4194304 10345943 140736474685440 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 10017 8463 636 1502 0 8510 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 40068
[startup+0.100451 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 22200
/proc/meminfo: memFree=29982744/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=40216 CPUtime=0.09
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 8924 0 0 0 8 1 0 0 25 0 1 0 26225825 41181184 8488 4089446400 4194304 10345943 140736474685440 18446744073709551615 4687806 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 10054 8488 636 1502 0 8547 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40216
[startup+0.300418 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 22200
/proc/meminfo: memFree=29982744/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=42616 CPUtime=0.29
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 10175 0 0 0 28 1 0 0 25 0 1 0 26225825 43638784 9205 4089446400 4194304 10345943 140736474685440 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 10654 9205 750 1502 0 9147 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42616
[startup+0.700346 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 22200
/proc/meminfo: memFree=29982744/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=42616 CPUtime=0.69
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 10182 0 0 0 66 3 0 0 25 0 1 0 26225825 43638784 9212 4089446400 4194304 10345943 140736474685440 18446744073709551615 6715447 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 10654 9212 757 1502 0 9147 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42616
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22201
/proc/meminfo: memFree=29948140/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=43160 CPUtime=1.49
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 10577 0 0 0 144 5 0 0 25 0 1 0 26225825 44195840 9607 4089446400 4194304 10345943 140736474685440 18446744073709551615 6930033 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 10790 9607 760 1502 0 9283 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43160
[startup+3.10098 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22201
/proc/meminfo: memFree=29944296/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=41124 CPUtime=3.09
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 11128 0 0 0 303 6 0 0 25 0 1 0 26225825 42110976 9156 4089446400 4194304 10345943 140736474685440 18446744073709551615 6803295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 10281 9156 761 1502 0 8774 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41124
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22201
/proc/meminfo: memFree=29938972/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=42256 CPUtime=6.29
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 12903 0 0 0 621 8 0 0 25 0 1 0 26225825 43270144 9457 4089446400 4194304 10345943 140736474685440 18446744073709551615 6307447 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 10564 9457 764 1502 0 9057 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42256
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22201
/proc/meminfo: memFree=29924988/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=49996 CPUtime=12.69
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 19743 0 0 0 1257 12 0 0 25 0 1 0 26225825 51195904 11234 4089446400 4194304 10345943 140736474685440 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 12499 11234 764 1502 0 10992 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49996
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22201
/proc/meminfo: memFree=29891444/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=65296 CPUtime=25.49
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 25934 0 0 0 2529 20 0 0 25 0 1 0 26225825 66863104 15028 4089446400 4194304 10345943 140736474685440 18446744073709551615 7522158 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 16324 15028 764 1502 0 14817 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65296
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22202
/proc/meminfo: memFree=29815888/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=98372 CPUtime=51.09
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 36291 0 0 0 5077 32 0 0 25 0 1 0 26225825 100732928 23195 4089446400 4194304 10345943 140736474685440 18446744073709551615 4995703 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 24593 23195 764 1502 0 23086 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 98372
[startup+102.306 s]
/proc/loadavg: 2.05 2.01 1.95 3/179 22203
/proc/meminfo: memFree=29670524/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=162740 CPUtime=102.3
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 54272 0 0 0 10175 55 0 0 25 0 1 0 26225825 166645760 39046 4089446400 4194304 10345943 140736474685440 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 40685 39046 764 1502 0 39178 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 162740
[startup+162.301 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 22205
/proc/meminfo: memFree=29504104/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=234484 CPUtime=162.29
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 71930 0 0 0 16138 91 0 0 25 0 1 0 26225825 240111616 56703 4089446400 4194304 10345943 140736474685440 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 58621 56703 764 1502 0 57114 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 234484
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22207
/proc/meminfo: memFree=29333784/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=310628 CPUtime=222.29
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 92376 0 0 0 22102 127 0 0 25 0 1 0 26225825 318083072 75060 4089446400 4194304 10345943 140736474685440 18446744073709551615 6872576 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 77657 75060 764 1502 0 76150 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 310628
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22208
/proc/meminfo: memFree=29213816/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=385564 CPUtime=282.3
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 111178 0 0 0 28076 154 0 0 25 0 1 0 26225825 394817536 93860 4089446400 4194304 10345943 140736474685440 18446744073709551615 5926585 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 96391 93860 764 1502 0 94884 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 385564
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22209
/proc/meminfo: memFree=29113056/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=461604 CPUtime=342.3
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 132404 0 0 0 34053 177 0 0 25 0 1 0 26225825 472682496 113013 4089446400 4194304 10345943 140736474685440 18446744073709551615 6519502 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 115401 113013 764 1502 0 113894 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 461604
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22211
/proc/meminfo: memFree=29012084/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=544676 CPUtime=402.3
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 151178 0 0 0 40031 199 0 0 25 0 1 0 26225825 557748224 131787 4089446400 4194304 10345943 140736474685440 18446744073709551615 8159972 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 136169 131787 764 1502 0 134662 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 544676
[startup+462.301 s]
/proc/loadavg: 2.06 2.01 1.95 3/179 22213
/proc/meminfo: memFree=28914196/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=619880 CPUtime=462.31
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 169945 0 0 0 46008 223 0 0 25 0 1 0 26225825 634757120 150554 4089446400 4194304 10345943 140736474685440 18446744073709551615 5926682 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 154970 150554 764 1502 0 153463 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 619880
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 22215
/proc/meminfo: memFree=28822128/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=695192 CPUtime=522.31
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 188867 0 0 0 51988 243 0 0 25 0 1 0 26225825 711876608 169476 4089446400 4194304 10345943 140736474685440 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 173798 169476 764 1502 0 172291 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 695192
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22216
/proc/meminfo: memFree=28704512/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=772024 CPUtime=582.31
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 208025 0 0 0 57971 260 0 0 25 0 1 0 26225825 790552576 188634 4089446400 4194304 10345943 140736474685440 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 193006 188634 764 1502 0 191499 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 772024
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22221
/proc/meminfo: memFree=28548228/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=851776 CPUtime=642.31
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 227817 0 0 0 63953 278 0 0 25 0 1 0 26225825 872218624 208426 4089446400 4194304 10345943 140736474685440 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 212944 208426 764 1502 0 211437 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 851776
[startup+702.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27792440/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=1405972 CPUtime=1062.32
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 364414 0 0 0 105824 408 0 0 25 0 1 0 26225825 1439715328 342851 4089446400 4194304 10345943 140736474685440 18446744073709551615 8160022 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 351493 342851 764 1502 0 349986 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1405972
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 22234
/proc/meminfo: memFree=27696264/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=1482144 CPUtime=1122.32
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 383669 0 0 0 111805 427 0 0 25 0 1 0 26225825 1517715456 362105 4089446400 4194304 10345943 140736474685440 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 370536 362105 764 1502 0 369029 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1482144
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 22235
/proc/meminfo: memFree=27584484/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=1562504 CPUtime=1182.32
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 403703 0 0 0 117788 444 0 0 25 0 1 0 26225825 1600004096 382139 4089446400 4194304 10345943 140736474685440 18446744073709551615 5926599 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 390626 382139 764 1502 0 389119 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1562504
[startup+1242.3 s]
/proc/loadavg: 1.72 1.93 1.94 2/171 22257
/proc/meminfo: memFree=28429324/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=1637916 CPUtime=1242.32
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 422545 0 0 0 123765 467 0 0 25 0 1 0 26225825 1677225984 400980 4089446400 4194304 10345943 140736474685440 18446744073709551615 4246720 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 409479 400980 764 1502 0 407972 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1637916
[startup+1302.3 s]
/proc/loadavg: 1.26 1.76 1.87 2/171 22259
/proc/meminfo: memFree=28352688/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=1713628 CPUtime=1302.33
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 443825 0 0 0 129742 491 0 0 25 0 1 0 26225825 1754755072 420093 4089446400 4194304 10345943 140736474685440 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 428407 420093 764 1502 0 426900 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1713628
[startup+1362.3 s]
/proc/loadavg: 1.09 1.62 1.82 2/171 22261
/proc/meminfo: memFree=28277356/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=1789940 CPUtime=1362.32
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 462664 0 0 0 135718 514 0 0 25 0 1 0 26225825 1832898560 438932 4089446400 4194304 10345943 140736474685440 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 447485 438932 764 1502 0 445978 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1789940
[startup+1422.31 s]
/proc/loadavg: 1.03 1.50 1.76 2/171 22263
/proc/meminfo: memFree=28197964/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=1868156 CPUtime=1422.33
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 482410 0 0 0 141696 537 0 0 25 0 1 0 26225825 1912991744 458677 4089446400 4194304 10345943 140736474685440 18446744073709551615 8160015 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 467039 458677 764 1502 0 465532 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1868156
[startup+1482.3 s]
/proc/loadavg: 1.01 1.41 1.71 2/171 22264
/proc/meminfo: memFree=28120284/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=1947328 CPUtime=1482.32
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 502090 0 0 0 147673 559 0 0 25 0 1 0 26225825 1994063872 478357 4089446400 4194304 10345943 140736474685440 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 486832 478357 764 1502 0 485325 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1947328
[startup+1542.3 s]
/proc/loadavg: 1.00 1.33 1.66 2/171 22265
/proc/meminfo: memFree=28044828/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=2021864 CPUtime=1542.33
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 520799 0 0 0 153649 584 0 0 25 0 1 0 26225825 2070388736 497063 4089446400 4194304 10345943 140736474685440 18446744073709551615 7489019 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 505466 497063 764 1502 0 503959 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2021864
[startup+1602.3 s]
/proc/loadavg: 1.00 1.27 1.62 2/171 22267
/proc/meminfo: memFree=27967016/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=2132304 CPUtime=1602.33
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 540224 0 0 0 159625 608 0 0 25 0 1 0 26225825 2183479296 516488 4089446400 4194304 10345943 140736474685440 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 533076 516488 764 1502 0 531569 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2132304
[startup+1662.3 s]
/proc/loadavg: 1.00 1.22 1.58 2/171 22269
/proc/meminfo: memFree=27890308/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=2209000 CPUtime=1662.34
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 559303 0 0 0 165603 631 0 0 25 0 1 0 26225825 2262016000 535567 4089446400 4194304 10345943 140736474685440 18446744073709551615 4476340 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 552250 535567 764 1502 0 550743 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2209000
[startup+1722.3 s]
/proc/loadavg: 1.00 1.18 1.54 2/171 22271
/proc/meminfo: memFree=27814132/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=2286100 CPUtime=1722.33
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 578415 0 0 0 171583 650 0 0 25 0 1 0 26225825 2340966400 554678 4089446400 4194304 10345943 140736474685440 18446744073709551615 18446744073699065897 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 571525 554678 764 1502 0 570018 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2286100
[startup+1782.3 s]
/proc/loadavg: 1.00 1.14 1.50 2/171 22272
/proc/meminfo: memFree=27732236/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=2367656 CPUtime=1782.33
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 598647 0 0 0 177564 669 0 0 25 0 1 0 26225825 2424479744 574908 4089446400 4194304 10345943 140736474685440 18446744073709551615 4882045 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 591914 574908 764 1502 0 590407 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2367656
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.14 1.50 2/171 22273
/proc/meminfo: memFree=27726904/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=2372468 CPUtime=1785.53
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 599941 0 0 0 177882 671 0 0 25 0 1 0 26225825 2429407232 576202 4089446400 4194304 10345943 140736474685440 18446744073709551615 4601743 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 593117 576202 764 1502 0 591610 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 2372468
[startup+1788.7 s]
/proc/loadavg: 1.00 1.14 1.50 2/171 22273
/proc/meminfo: memFree=27722684/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=2377072 CPUtime=1788.74
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 601009 0 0 0 178202 672 0 0 25 0 1 0 26225825 2434121728 577270 4089446400 4194304 10345943 140736474685440 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22200/statm: 594268 577270 764 1502 0 592761 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 2377072
[startup+1791.91 s]
/proc/loadavg: 1.00 1.14 1.50 2/171 22273
/proc/meminfo: memFree=27720700/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=2378096 CPUtime=1791.94
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 601485 0 0 0 178522 672 0 0 25 0 1 0 26225825 2435170304 577746 4089446400 4194304 10345943 140736474685440 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22200/statm: 594524 577746 768 1502 0 593017 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 2378096
[startup+1793.5 s]
/proc/loadavg: 1.00 1.14 1.50 2/171 22273
/proc/meminfo: memFree=27720700/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=2378096 CPUtime=1793.53
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 601485 0 0 0 178681 672 0 0 25 0 1 0 26225825 2435170304 577746 4089446400 4194304 10345943 140736474685440 18446744073709551615 6325102 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22200/statm: 594524 577746 768 1502 0 593017 0
Current children cumulated CPU time (s) 1793.53
Current children cumulated vsize (KiB) 2378096
[startup+1793.9 s]
/proc/loadavg: 1.00 1.14 1.50 2/171 22273
/proc/meminfo: memFree=27720700/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=2378096 CPUtime=1793.93
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 601485 0 0 0 178721 672 0 0 25 0 1 0 26225825 2435170304 577746 4089446400 4194304 10345943 140736474685440 18446744073709551615 6325661 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22200/statm: 594524 577746 768 1502 0 593017 0
Current children cumulated CPU time (s) 1793.93
Current children cumulated vsize (KiB) 2378096
[startup+1794.11 s]
/proc/loadavg: 1.00 1.14 1.50 2/171 22273
/proc/meminfo: memFree=27720680/32950928 swapFree=4192956/4192956
[pid=22200] ppid=22198 vsize=512024 CPUtime=1794.14
/proc/22200/stat : 22200 (pbscip.linux.x8) R 22198 22200 21648 0 -1 4202496 601485 0 0 0 178735 679 0 0 25 0 1 0 26225825 524312576 65696 4089446400 4194304 10345943 140736474685440 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22200/statm: 128006 65696 768 1502 0 126499 0
Current children cumulated CPU time (s) 1794.14
Current children cumulated vsize (KiB) 512024
Child status: 0
Real time (s): 1794.12
CPU time (s): 1794.16
CPU user time (s): 1787.36
CPU system time (s): 6.80396
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2378096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.36
system time used= 6.80396
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601488
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= 951
runsolver used 2.6266 second user time and 5.68713 second system time
The end
Begin job on node124 at 2010-07-08 11:08:44
IDJOB=2705737
IDBENCH=79401
IDSOLVER=1214
FILE ID=node124/2705737-1278580124
PBS_JOBID= 11240206
Free space on /tmp= 130192 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh15_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705737-1278580124/watcher-2705737-1278580124 -o /tmp/evaluation-result-2705737-1278580124/solver-2705737-1278580124 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705737-1278580124.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 415715e3de5713a6aca23e12a1a413cb
RANDOM SEED=1887248558
node124.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.846
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.846
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.14
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.846
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.75
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.846
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.82
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.846
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.75
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.846
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.82
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.846
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.76
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.846
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 29983272 kB
Buffers: 162956 kB
Cached: 2574316 kB
SwapCached: 0 kB
Active: 1065120 kB
Inactive: 1769940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29983272 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 25840 kB
Writeback: 0 kB
AnonPages: 97824 kB
Mapped: 17568 kB
Slab: 98344 kB
PageTables: 4744 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 20668420 kB
Committed_AS: 244604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 130192 MiB
End job on node124 at 2010-07-08 11:38:38