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-2705765-1278580141.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 800 impl, 0 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, 200 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, 200 impls, 0 clqs
0.04/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.04/0.05 c presolving (3 rounds):
0.04/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.05 c 1800 implications, 0 cliques
0.04/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 800 impl, 0 cont) and 1600 constraints
0.04/0.05 c 800 constraints of type <linear>
0.04/0.05 c 800 constraints of type <indicator>
0.04/0.05 c transformed objective value is always integral (scale: 1)
0.04/0.05 c Presolving Time: 0.03
0.04/0.05 c - non default parameters ----------------------------------------------------------------------
0.04/0.05 c # SCIP version 1.2.1.3
0.04/0.05 c
0.04/0.05 c # frequency for displaying node information lines
0.04/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.05 c display/freq = 10000
0.04/0.05 c
0.04/0.05 c # maximal time in seconds to run
0.04/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.05 c limits/time = 1789.99
0.04/0.05 c
0.04/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.05 c limits/memory = 3420
0.04/0.05 c
0.04/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.04/0.05 c # [type: int, range: [1,2], default: 1]
0.04/0.05 c timing/clocktype = 2
0.04/0.05 c
0.04/0.05 c # should presolving try to simplify inequalities
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c constraints/linear/simplifyinequalities = TRUE
0.04/0.05 c
0.04/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c constraints/indicator/addCouplingCons = TRUE
0.04/0.05 c
0.04/0.05 c # should presolving try to simplify knapsacks
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.05 c
0.04/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.05 c separating/rapidlearning/freq = 0
0.04/0.05 c
0.04/0.05 c -----------------------------------------------------------------------------------------------
0.04/0.05 c start solving
0.04/0.05 c
0.04/0.05 o 394238
0.04/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.04/0.05 c t 0.0s| 1 | 0 | 0 | - |5955k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.04/0.05 c 0.0s| 1 | 0 | 0 | - |6327k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 39 | - |6393k| 0 | 0 |1700 |1600 |1700 | 69 | 69 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 102 | - |6407k| 0 | 20 |1700 |1600 |1700 | 97 | 97 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 150 | - |6455k| 0 | 66 |1700 |1600 |1700 | 141 | 141 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 189 | - |6841k| 0 | 77 |1700 |1600 |1700 | 161 | 161 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 224 | - |7373k| 0 | 76 |1700 |1600 |1700 | 168 | 168 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 255 | - |7973k| 0 | 80 |1700 |1600 |1700 | 175 | 175 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.19/0.27 c 0.3s| 1 | 2 | 255 | - |7998k| 0 | 80 |1700 |1600 |1700 | 175 | 175 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
8.80/8.89 c 8.9s| 10000 | 9999 | 33742 | 3.3 | 20M| 113 | 0 |1700 |1601 |1700 | 223 |9830 | 1 | 790 | 0.000000e+00 | 3.942380e+05 | Inf
16.19/16.27 c 16.3s| 20000 | 19995 | 57375 | 2.9 | 30M| 137 | 0 |1700 |1602 |1700 | 245 | 16k| 2 | 790 | 0.000000e+00 | 3.942380e+05 | Inf
22.99/23.07 c 23.1s| 30000 | 29993 | 69518 | 2.3 | 39M| 137 | 4 |1700 |1603 |1700 | 244 | 20k| 3 | 790 | 0.000000e+00 | 3.942380e+05 | Inf
29.89/29.91 c 29.9s| 40000 | 39991 | 78043 | 1.9 | 48M| 137 | 0 |1700 |1603 |1700 | 258 | 23k| 3 | 790 | 0.000000e+00 | 3.942380e+05 | Inf
36.69/36.73 c 36.7s| 50000 | 49989 | 85470 | 1.7 | 58M| 137 | 2 |1700 |1603 |1700 | 251 | 25k| 3 | 802 | 0.000000e+00 | 3.942380e+05 | Inf
43.90/43.90 c 43.9s| 60000 | 59989 |102632 | 1.7 | 67M| 137 | 0 |1700 |1603 |1700 | 241 | 31k| 3 | 853 | 0.000000e+00 | 3.942380e+05 | Inf
51.30/51.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.30/51.38 c 51.4s| 70000 | 69989 |131702 | 1.9 | 77M| 137 | 25 |1700 |1603 |1700 | 185 | 38k| 3 | 945 | 0.000000e+00 | 3.942380e+05 | Inf
58.79/58.80 c 58.8s| 80000 | 79987 |153710 | 1.9 | 86M| 137 | 0 |1700 |1603 |1700 | 242 | 45k| 3 |1027 | 0.000000e+00 | 3.942380e+05 | Inf
66.09/66.14 c 66.1s| 90000 | 89987 |173267 | 1.9 | 96M| 137 | 0 |1700 |1603 |1700 | 257 | 51k| 3 |1114 | 0.000000e+00 | 3.942380e+05 | Inf
73.39/73.44 c 73.4s|100000 | 99987 |193128 | 1.9 | 105M| 137 | 0 |1700 |1603 |1700 | 265 | 57k| 3 |1175 | 0.000000e+00 | 3.942380e+05 | Inf
80.50/80.55 c 80.5s|110000 |109987 |207113 | 1.9 | 115M| 137 | 0 |1700 |1603 |1700 | 241 | 61k| 3 |1241 | 0.000000e+00 | 3.942380e+05 | Inf
87.79/87.81 c 87.8s|120000 |119987 |224664 | 1.9 | 124M| 137 | 0 |1700 |1603 |1700 | 265 | 67k| 3 |1301 | 0.000000e+00 | 3.942380e+05 | Inf
94.99/95.05 c 95.0s|130000 |129987 |240437 | 1.8 | 134M| 137 | 0 |1700 |1603 |1700 | 259 | 72k| 3 |1353 | 0.000000e+00 | 3.942380e+05 | Inf
102.10/102.12 c 102s|140000 |139987 |251899 | 1.8 | 143M| 137 | 10 |1700 |1603 |1700 | 238 | 76k| 3 |1378 | 0.000000e+00 | 3.942380e+05 | Inf
109.29/109.30 c 109s|150000 |149987 |264663 | 1.8 | 153M| 137 | 0 |1700 |1603 |1700 | 231 | 80k| 3 |1420 | 0.000000e+00 | 3.942380e+05 | Inf
116.80/116.80 c 117s|160000 |159987 |284785 | 1.8 | 163M| 137 | 3 |1700 |1603 |1700 | 253 | 87k| 3 |1484 | 0.000000e+00 | 3.942380e+05 | Inf
124.00/124.05 c 124s|170000 |169987 |300799 | 1.8 | 172M| 137 | 0 |1700 |1603 |1700 | 245 | 92k| 3 |1542 | 0.000000e+00 | 3.942380e+05 | Inf
131.30/131.37 c 131s|180000 |179985 |316157 | 1.8 | 182M| 137 | 0 |1700 |1603 |1700 | 235 | 97k| 3 |1592 | 0.000000e+00 | 3.942380e+05 | Inf
138.60/138.62 c 139s|190000 |189985 |332501 | 1.7 | 191M| 137 | 0 |1700 |1603 |1700 | 266 | 103k| 3 |1655 | 0.000000e+00 | 3.942380e+05 | Inf
145.79/145.84 c 146s|200000 |199983 |347165 | 1.7 | 201M| 137 | 0 |1700 |1604 |1700 | 271 | 108k| 4 |1686 | 0.000000e+00 | 3.942380e+05 | Inf
152.99/153.02 c 153s|210000 |209983 |361169 | 1.7 | 210M| 137 | 11 |1700 |1604 |1700 | 201 | 112k| 4 |1731 | 0.000000e+00 | 3.942380e+05 | Inf
160.20/160.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.20/160.28 c 160s|220000 |219983 |377202 | 1.7 | 220M| 137 | 20 |1700 |1604 |1700 | 210 | 118k| 4 |1784 | 0.000000e+00 | 3.942380e+05 | Inf
167.70/167.74 c 168s|230000 |229983 |395643 | 1.7 | 229M| 137 | 7 |1700 |1604 |1700 | 231 | 124k| 4 |1855 | 0.000000e+00 | 3.942380e+05 | Inf
175.10/175.19 c 175s|240000 |239983 |415259 | 1.7 | 239M| 137 | 20 |1700 |1604 |1700 | 232 | 130k| 4 |1922 | 0.000000e+00 | 3.942380e+05 | Inf
182.50/182.52 c 183s|250000 |249983 |430863 | 1.7 | 248M| 137 | 0 |1700 |1604 |1700 | 226 | 135k| 4 |1960 | 0.000000e+00 | 3.942380e+05 | Inf
189.80/189.88 c 190s|260000 |259983 |447759 | 1.7 | 258M| 137 | 25 |1700 |1604 |1700 | 240 | 141k| 4 |2006 | 0.000000e+00 | 3.942380e+05 | Inf
197.30/197.34 c 197s|270000 |269983 |468569 | 1.7 | 267M| 215 | 0 |1700 |1604 |1700 | 261 | 148k| 4 |2052 | 0.000000e+00 | 3.942380e+05 | Inf
204.09/204.18 c 204s|280000 |279979 |478491 | 1.7 | 277M| 221 | 0 |1700 |1606 |1700 | 262 | 151k| 6 |2079 | 0.000000e+00 | 3.942380e+05 | Inf
210.80/210.82 c 211s|290000 |289979 |486868 | 1.7 | 286M| 221 | 0 |1700 |1606 |1700 | 222 | 154k| 6 |2107 | 0.000000e+00 | 3.942380e+05 | Inf
217.30/217.39 c 217s|300000 |299977 |496489 | 1.7 | 296M| 221 | 0 |1700 |1607 |1700 | 203 | 157k| 7 |2134 | 0.000000e+00 | 3.942380e+05 | Inf
223.99/224.05 c 224s|310000 |309977 |506795 | 1.6 | 305M| 221 | 0 |1700 |1607 |1700 | 222 | 160k| 7 |2157 | 0.000000e+00 | 3.942380e+05 | Inf
230.59/230.63 c 231s|320000 |319975 |518881 | 1.6 | 315M| 221 | 0 |1700 |1608 |1700 | 245 | 164k| 8 |2177 | 0.000000e+00 | 3.942380e+05 | Inf
237.20/237.27 c 237s|330000 |329975 |531185 | 1.6 | 324M| 221 | 0 |1700 |1608 |1700 | 237 | 168k| 8 |2218 | 0.000000e+00 | 3.942380e+05 | Inf
243.80/243.86 c 244s|340000 |339975 |540167 | 1.6 | 334M| 221 | 0 |1700 |1608 |1700 | 265 | 171k| 8 |2236 | 0.000000e+00 | 3.942380e+05 | Inf
250.40/250.49 c 250s|350000 |349973 |550332 | 1.6 | 343M| 221 | 0 |1700 |1608 |1700 | 243 | 174k| 8 |2253 | 0.000000e+00 | 3.942380e+05 | Inf
256.90/256.96 c 257s|360000 |359973 |558855 | 1.6 | 353M| 221 | 0 |1700 |1608 |1700 | 247 | 177k| 8 |2270 | 0.000000e+00 | 3.942380e+05 | Inf
263.50/263.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.50/263.53 c 264s|370000 |369971 |568361 | 1.5 | 362M| 221 | 0 |1700 |1609 |1700 | 230 | 180k| 9 |2287 | 0.000000e+00 | 3.942380e+05 | Inf
270.00/270.04 c 270s|380000 |379971 |577394 | 1.5 | 371M| 221 | 0 |1700 |1608 |1700 | 262 | 183k| 9 |2296 | 0.000000e+00 | 3.942380e+05 | Inf
276.50/276.53 c 277s|390000 |389971 |586005 | 1.5 | 381M| 221 | 25 |1700 |1608 |1700 | 230 | 186k| 9 |2310 | 0.000000e+00 | 3.942380e+05 | Inf
283.00/283.05 c 283s|400000 |399971 |594633 | 1.5 | 390M| 221 | 0 |1700 |1607 |1700 | 243 | 189k| 9 |2347 | 0.000000e+00 | 3.942380e+05 | Inf
289.50/289.57 c 290s|410000 |409971 |603341 | 1.5 | 400M| 221 | 0 |1700 |1607 |1700 | 266 | 192k| 9 |2361 | 0.000000e+00 | 3.942380e+05 | Inf
296.00/296.07 c 296s|420000 |419971 |612525 | 1.5 | 409M| 221 | 0 |1700 |1607 |1700 | 242 | 195k| 9 |2373 | 0.000000e+00 | 3.942380e+05 | Inf
302.51/302.52 c 303s|430000 |429971 |619924 | 1.4 | 419M| 221 | 0 |1700 |1607 |1700 | 214 | 198k| 9 |2391 | 0.000000e+00 | 3.942380e+05 | Inf
309.01/309.06 c 309s|440000 |439969 |628190 | 1.4 | 428M| 223 | 0 |1700 |1608 |1700 | 252 | 201k| 10 |2408 | 0.000000e+00 | 3.942380e+05 | Inf
315.50/315.59 c 316s|450000 |449969 |636132 | 1.4 | 438M| 223 | 0 |1700 |1608 |1700 | 242 | 203k| 10 |2412 | 0.000000e+00 | 3.942380e+05 | Inf
322.10/322.11 c 322s|460000 |459969 |644133 | 1.4 | 447M| 223 | 0 |1700 |1608 |1700 | 242 | 206k| 10 |2425 | 0.000000e+00 | 3.942380e+05 | Inf
328.60/328.62 c 329s|470000 |469969 |651870 | 1.4 | 456M| 223 | 0 |1700 |1608 |1700 | 259 | 209k| 10 |2447 | 0.000000e+00 | 3.942380e+05 | Inf
335.10/335.17 c 335s|480000 |479969 |661921 | 1.4 | 466M| 223 | 0 |1700 |1607 |1700 | 245 | 212k| 10 |2471 | 0.000000e+00 | 3.942380e+05 | Inf
341.60/341.64 c 342s|490000 |489969 |669044 | 1.4 | 475M| 223 | 0 |1700 |1607 |1700 | 244 | 214k| 10 |2477 | 0.000000e+00 | 3.942380e+05 | Inf
348.01/348.03 c 348s|500000 |499969 |674177 | 1.3 | 485M| 223 | 0 |1700 |1607 |1700 | 257 | 216k| 10 |2488 | 0.000000e+00 | 3.942380e+05 | Inf
354.50/354.50 c 354s|510000 |509967 |682422 | 1.3 | 494M| 223 | 0 |1700 |1607 |1700 | 256 | 219k| 10 |2508 | 0.000000e+00 | 3.942380e+05 | Inf
361.00/361.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.00/361.03 c 361s|520000 |519967 |692494 | 1.3 | 504M| 223 | 0 |1700 |1607 |1700 | 251 | 222k| 10 |2524 | 0.000000e+00 | 3.942380e+05 | Inf
367.51/367.59 c 368s|530000 |529967 |702037 | 1.3 | 513M| 223 | 0 |1700 |1607 |1700 | 242 | 226k| 10 |2533 | 0.000000e+00 | 3.942380e+05 | Inf
374.01/374.02 c 374s|540000 |539967 |709409 | 1.3 | 523M| 223 | 0 |1700 |1607 |1700 | 240 | 228k| 10 |2541 | 0.000000e+00 | 3.942380e+05 | Inf
380.51/380.52 c 381s|550000 |549967 |717441 | 1.3 | 532M| 223 | 0 |1700 |1607 |1700 | 239 | 231k| 10 |2556 | 0.000000e+00 | 3.942380e+05 | Inf
386.80/386.89 c 387s|560000 |559967 |724148 | 1.3 | 541M| 223 | 0 |1700 |1606 |1700 | 236 | 233k| 10 |2559 | 0.000000e+00 | 3.942380e+05 | Inf
393.40/393.44 c 393s|570000 |569967 |732137 | 1.3 | 551M| 223 | 0 |1700 |1606 |1700 | 243 | 236k| 10 |2577 | 0.000000e+00 | 3.942380e+05 | Inf
400.01/400.08 c 400s|580000 |579967 |742056 | 1.3 | 560M| 223 | 0 |1700 |1606 |1700 | 261 | 240k| 10 |2594 | 0.000000e+00 | 3.942380e+05 | Inf
406.51/406.50 c 406s|590000 |589967 |748773 | 1.3 | 570M| 223 | 0 |1700 |1606 |1700 | 242 | 242k| 10 |2618 | 0.000000e+00 | 3.942380e+05 | Inf
413.01/413.04 c 413s|600000 |599967 |758368 | 1.3 | 579M| 223 | 0 |1700 |1605 |1700 | 255 | 245k| 10 |2620 | 0.000000e+00 | 3.942380e+05 | Inf
419.51/419.59 c 420s|610000 |609965 |766458 | 1.3 | 589M| 223 | 0 |1700 |1606 |1700 | 259 | 248k| 11 |2638 | 0.000000e+00 | 3.942380e+05 | Inf
426.00/426.04 c 426s|620000 |619965 |773631 | 1.2 | 598M| 223 | 0 |1700 |1606 |1700 | 221 | 250k| 11 |2654 | 0.000000e+00 | 3.942380e+05 | Inf
432.40/432.41 c 432s|630000 |629963 |779260 | 1.2 | 607M| 223 | 0 |1700 |1606 |1700 | 246 | 253k| 11 |2656 | 0.000000e+00 | 3.942380e+05 | Inf
438.81/438.88 c 439s|640000 |639963 |785823 | 1.2 | 617M| 223 | 0 |1700 |1606 |1700 | 255 | 255k| 11 |2672 | 0.000000e+00 | 3.942380e+05 | Inf
445.21/445.25 c 445s|650000 |649963 |792034 | 1.2 | 626M| 223 | 0 |1700 |1606 |1700 | 258 | 256k| 11 |2672 | 0.000000e+00 | 3.942380e+05 | Inf
451.81/451.84 c 452s|660000 |659961 |801637 | 1.2 | 636M| 223 | 0 |1700 |1607 |1700 | 243 | 259k| 12 |2704 | 0.000000e+00 | 3.942380e+05 | Inf
458.21/458.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.21/458.22 c 458s|670000 |669961 |807121 | 1.2 | 645M| 223 | 13 |1700 |1607 |1700 | 256 | 261k| 12 |2706 | 0.000000e+00 | 3.942380e+05 | Inf
464.61/464.60 c 465s|680000 |679961 |813555 | 1.2 | 655M| 223 | 0 |1700 |1607 |1700 | 219 | 263k| 12 |2707 | 0.000000e+00 | 3.942380e+05 | Inf
471.11/471.13 c 471s|690000 |689959 |822365 | 1.2 | 664M| 223 | 0 |1700 |1607 |1700 | 234 | 267k| 12 |2722 | 0.000000e+00 | 3.942380e+05 | Inf
477.51/477.56 c 478s|700000 |699957 |829145 | 1.2 | 673M| 223 | 0 |1700 |1608 |1700 | 239 | 269k| 13 |2737 | 0.000000e+00 | 3.942380e+05 | Inf
483.91/483.96 c 484s|710000 |709957 |836173 | 1.2 | 683M| 223 | 0 |1700 |1608 |1700 | 243 | 271k| 13 |2742 | 0.000000e+00 | 3.942380e+05 | Inf
490.41/490.43 c 490s|720000 |719957 |843339 | 1.2 | 692M| 223 | 0 |1700 |1608 |1700 | 287 | 274k| 13 |2759 | 0.000000e+00 | 3.942380e+05 | Inf
496.91/496.94 c 497s|730000 |729957 |851299 | 1.2 | 702M| 223 | 9 |1700 |1607 |1700 | 248 | 276k| 13 |2768 | 0.000000e+00 | 3.942380e+05 | Inf
503.30/503.34 c 503s|740000 |739957 |857149 | 1.2 | 711M| 223 | 0 |1700 |1607 |1700 | 240 | 279k| 13 |2775 | 0.000000e+00 | 3.942380e+05 | Inf
509.60/509.62 c 510s|750000 |749957 |861690 | 1.1 | 720M| 223 | 0 |1700 |1607 |1700 | 240 | 280k| 13 |2776 | 0.000000e+00 | 3.942380e+05 | Inf
515.91/516.00 c 516s|760000 |759957 |867155 | 1.1 | 730M| 223 | 0 |1700 |1607 |1700 | 249 | 282k| 13 |2794 | 0.000000e+00 | 3.942380e+05 | Inf
522.42/522.41 c 522s|770000 |769957 |873538 | 1.1 | 739M| 223 | 0 |1700 |1607 |1700 | 258 | 285k| 13 |2800 | 0.000000e+00 | 3.942380e+05 | Inf
528.91/528.90 c 529s|780000 |779957 |881281 | 1.1 | 749M| 223 | 0 |1700 |1606 |1700 | 248 | 287k| 13 |2817 | 0.000000e+00 | 3.942380e+05 | Inf
535.41/535.46 c 535s|790000 |789957 |891519 | 1.1 | 758M| 223 | 12 |1700 |1606 |1700 | 239 | 290k| 13 |2834 | 0.000000e+00 | 3.942380e+05 | Inf
541.81/541.87 c 542s|800000 |799957 |898114 | 1.1 | 768M| 223 | 0 |1700 |1606 |1700 | 242 | 293k| 13 |2834 | 0.000000e+00 | 3.942380e+05 | Inf
548.40/548.40 c 548s|810000 |809955 |905668 | 1.1 | 777M| 223 | 0 |1700 |1607 |1700 | 245 | 296k| 14 |2853 | 0.000000e+00 | 3.942380e+05 | Inf
554.71/554.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.71/554.72 c 555s|820000 |819955 |911073 | 1.1 | 787M| 223 | 0 |1700 |1607 |1700 | 250 | 298k| 14 |2855 | 0.000000e+00 | 3.942380e+05 | Inf
561.10/561.15 c 561s|830000 |829955 |918174 | 1.1 | 796M| 223 | 0 |1700 |1607 |1700 | 246 | 300k| 14 |2864 | 0.000000e+00 | 3.942380e+05 | Inf
567.71/567.73 c 568s|840000 |839955 |927571 | 1.1 | 805M| 223 | 0 |1700 |1607 |1700 | 260 | 303k| 14 |2886 | 0.000000e+00 | 3.942380e+05 | Inf
574.11/574.20 c 574s|850000 |849953 |933279 | 1.1 | 815M| 223 | 0 |1700 |1607 |1700 | 266 | 305k| 14 |2886 | 0.000000e+00 | 3.942380e+05 | Inf
580.81/580.81 c 581s|860000 |859953 |941548 | 1.1 | 824M| 223 | 18 |1700 |1607 |1700 | 209 | 308k| 14 |2902 | 0.000000e+00 | 3.942380e+05 | Inf
587.31/587.37 c 587s|870000 |869953 |950449 | 1.1 | 834M| 223 | 0 |1700 |1607 |1700 | 260 | 311k| 14 |2916 | 0.000000e+00 | 3.942380e+05 | Inf
594.02/594.05 c 594s|880000 |879953 |960147 | 1.1 | 843M| 223 | 0 |1700 |1607 |1700 | 225 | 314k| 14 |2918 | 0.000000e+00 | 3.942380e+05 | Inf
600.41/600.47 c 600s|890000 |889953 |967319 | 1.1 | 853M| 223 | 0 |1700 |1607 |1700 | 224 | 317k| 14 |2938 | 0.000000e+00 | 3.942380e+05 | Inf
606.91/606.91 c 607s|900000 |899953 |973513 | 1.1 | 862M| 223 | 0 |1700 |1607 |1700 | 243 | 319k| 14 |2938 | 0.000000e+00 | 3.942380e+05 | Inf
613.31/613.39 c 613s|910000 |909953 |979876 | 1.1 | 871M| 223 | 0 |1700 |1607 |1700 | 226 | 321k| 14 |2952 | 0.000000e+00 | 3.942380e+05 | Inf
619.91/619.95 c 620s|920000 |919953 |985858 | 1.1 | 881M| 223 | 0 |1700 |1607 |1700 | 249 | 323k| 14 |2955 | 0.000000e+00 | 3.942380e+05 | Inf
626.41/626.43 c 626s|930000 |929953 |994000 | 1.1 | 890M| 223 | 0 |1700 |1607 |1700 | 239 | 326k| 14 |2970 | 0.000000e+00 | 3.942380e+05 | Inf
632.91/632.93 c 633s|940000 |939953 | 1000k| 1.1 | 900M| 223 | 0 |1700 |1607 |1700 | 231 | 329k| 14 |2981 | 0.000000e+00 | 3.942380e+05 | Inf
639.31/639.31 c 639s|950000 |949951 | 1005k| 1.1 | 909M| 223 | 0 |1700 |1608 |1700 | 248 | 330k| 15 |2986 | 0.000000e+00 | 3.942380e+05 | Inf
645.72/645.79 c 646s|960000 |959951 | 1013k| 1.1 | 919M| 223 | 0 |1700 |1608 |1700 | 243 | 333k| 15 |2997 | 0.000000e+00 | 3.942380e+05 | Inf
652.31/652.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.31/652.31 c 652s|970000 |969951 | 1022k| 1.1 | 928M| 223 | 0 |1700 |1608 |1700 | 255 | 336k| 15 |3013 | 0.000000e+00 | 3.942380e+05 | Inf
658.71/658.77 c 659s|980000 |979951 | 1029k| 1.1 | 937M| 223 | 0 |1700 |1608 |1700 | 241 | 338k| 15 |3023 | 0.000000e+00 | 3.942380e+05 | Inf
665.12/665.20 c 665s|990000 |989951 | 1035k| 1.0 | 947M| 223 | 0 |1700 |1608 |1700 | 267 | 340k| 15 |3027 | 0.000000e+00 | 3.942380e+05 | Inf
671.61/671.68 c 672s| 1000k|999951 | 1041k| 1.0 | 956M| 223 | 0 |1700 |1608 |1700 | 276 | 343k| 15 |3037 | 0.000000e+00 | 3.942380e+05 | Inf
678.11/678.10 c 678s| 1010k| 1009k| 1048k| 1.0 | 966M| 223 | 0 |1700 |1607 |1700 | 261 | 345k| 15 |3040 | 0.000000e+00 | 3.942380e+05 | Inf
684.51/684.58 c 685s| 1020k| 1019k| 1054k| 1.0 | 975M| 223 | 0 |1700 |1607 |1700 | 263 | 347k| 15 |3056 | 0.000000e+00 | 3.942380e+05 | Inf
691.02/691.08 c 691s| 1030k| 1029k| 1062k| 1.0 | 985M| 223 | 0 |1700 |1606 |1700 | 246 | 350k| 15 |3057 | 0.000000e+00 | 3.942380e+05 | Inf
697.51/697.50 c 697s| 1040k| 1039k| 1069k| 1.0 | 994M| 223 | 0 |1700 |1606 |1700 | 241 | 352k| 15 |3074 | 0.000000e+00 | 3.942380e+05 | Inf
703.81/703.86 c 704s| 1050k| 1049k| 1074k| 1.0 |1003M| 223 | 0 |1700 |1606 |1700 | 244 | 354k| 15 |3075 | 0.000000e+00 | 3.942380e+05 | Inf
710.32/710.33 c 710s| 1060k| 1059k| 1081k| 1.0 |1013M| 223 | 0 |1700 |1606 |1700 | 238 | 356k| 15 |3088 | 0.000000e+00 | 3.942380e+05 | Inf
716.81/716.80 c 717s| 1070k| 1069k| 1089k| 1.0 |1022M| 223 | 0 |1700 |1606 |1700 | 233 | 359k| 15 |3090 | 0.000000e+00 | 3.942380e+05 | Inf
723.21/723.24 c 723s| 1080k| 1079k| 1096k| 1.0 |1032M| 223 | 0 |1700 |1606 |1700 | 246 | 361k| 15 |3114 | 0.000000e+00 | 3.942380e+05 | Inf
729.62/729.64 c 730s| 1090k| 1089k| 1104k| 1.0 |1041M| 223 | 0 |1700 |1606 |1700 | 245 | 364k| 15 |3117 | 0.000000e+00 | 3.942380e+05 | Inf
736.02/736.01 c 736s| 1100k| 1099k| 1109k| 1.0 |1051M| 223 | 0 |1700 |1606 |1700 | 234 | 365k| 15 |3126 | 0.000000e+00 | 3.942380e+05 | Inf
742.31/742.37 c 742s| 1110k| 1109k| 1115k| 1.0 |1060M| 223 | 0 |1700 |1606 |1700 | 219 | 367k| 15 |3127 | 0.000000e+00 | 3.942380e+05 | Inf
748.82/748.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.82/748.83 c 749s| 1120k| 1119k| 1122k| 1.0 |1069M| 223 | 0 |1700 |1606 |1700 | 235 | 370k| 15 |3140 | 0.000000e+00 | 3.942380e+05 | Inf
755.31/755.31 c 755s| 1130k| 1129k| 1127k| 1.0 |1079M| 223 | 0 |1700 |1606 |1700 | 249 | 372k| 15 |3140 | 0.000000e+00 | 3.942380e+05 | Inf
761.72/761.77 c 762s| 1140k| 1139k| 1133k| 1.0 |1088M| 223 | 0 |1700 |1606 |1700 | 253 | 374k| 15 |3152 | 0.000000e+00 | 3.942380e+05 | Inf
768.11/768.17 c 768s| 1150k| 1149k| 1140k| 1.0 |1098M| 223 | 0 |1700 |1606 |1700 | 256 | 376k| 15 |3153 | 0.000000e+00 | 3.942380e+05 | Inf
774.61/774.60 c 775s| 1160k| 1159k| 1146k| 1.0 |1107M| 223 | 0 |1700 |1606 |1700 | 259 | 378k| 15 |3165 | 0.000000e+00 | 3.942380e+05 | Inf
781.02/781.07 c 781s| 1170k| 1169k| 1155k| 1.0 |1117M| 223 | 0 |1700 |1606 |1700 | 243 | 381k| 15 |3168 | 0.000000e+00 | 3.942380e+05 | Inf
787.52/787.51 c 787s| 1180k| 1179k| 1163k| 1.0 |1126M| 223 | 0 |1700 |1606 |1700 | 218 | 384k| 15 |3180 | 0.000000e+00 | 3.942380e+05 | Inf
793.92/793.91 c 794s| 1190k| 1189k| 1170k| 1.0 |1135M| 223 | 0 |1700 |1606 |1700 | 239 | 386k| 15 |3185 | 0.000000e+00 | 3.942380e+05 | Inf
800.31/800.34 c 800s| 1200k| 1199k| 1176k| 1.0 |1145M| 223 | 0 |1700 |1606 |1700 | 253 | 388k| 15 |3195 | 0.000000e+00 | 3.942380e+05 | Inf
806.72/806.78 c 807s| 1210k| 1209k| 1183k| 1.0 |1154M| 223 | 0 |1700 |1606 |1700 | 238 | 390k| 15 |3200 | 0.000000e+00 | 3.942380e+05 | Inf
813.11/813.17 c 813s| 1220k| 1219k| 1190k| 1.0 |1164M| 223 | 0 |1700 |1606 |1700 | 253 | 393k| 15 |3206 | 0.000000e+00 | 3.942380e+05 | Inf
819.42/819.49 c 819s| 1230k| 1229k| 1195k| 1.0 |1173M| 223 | 0 |1700 |1606 |1700 | 251 | 395k| 15 |3208 | 0.000000e+00 | 3.942380e+05 | Inf
825.72/825.77 c 826s| 1240k| 1239k| 1199k| 1.0 |1182M| 223 | 0 |1700 |1606 |1700 | 235 | 396k| 15 |3221 | 0.000000e+00 | 3.942380e+05 | Inf
832.22/832.22 c 832s| 1250k| 1249k| 1206k| 1.0 |1192M| 223 | 0 |1700 |1606 |1700 | 242 | 399k| 15 |3224 | 0.000000e+00 | 3.942380e+05 | Inf
838.61/838.67 c 839s| 1260k| 1259k| 1213k| 1.0 |1201M| 223 | 0 |1700 |1606 |1700 | 229 | 401k| 15 |3235 | 0.000000e+00 | 3.942380e+05 | Inf
845.11/845.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
845.11/845.11 c 845s| 1270k| 1269k| 1219k| 1.0 |1211M| 223 | 0 |1700 |1607 |1700 | 253 | 403k| 16 |3236 | 0.000000e+00 | 3.942380e+05 | Inf
851.43/851.44 c 851s| 1280k| 1279k| 1224k| 1.0 |1220M| 223 | 0 |1700 |1606 |1700 | 209 | 405k| 16 |3249 | 0.000000e+00 | 3.942380e+05 | Inf
857.72/857.72 c 858s| 1290k| 1289k| 1228k| 1.0 |1230M| 223 | 0 |1700 |1606 |1700 | 244 | 406k| 16 |3254 | 0.000000e+00 | 3.942380e+05 | Inf
864.02/864.07 c 864s| 1300k| 1299k| 1233k| 0.9 |1239M| 223 | 0 |1700 |1606 |1700 | 246 | 409k| 16 |3254 | 0.000000e+00 | 3.942380e+05 | Inf
870.41/870.46 c 870s| 1310k| 1309k| 1240k| 0.9 |1248M| 223 | 0 |1700 |1606 |1700 | 277 | 411k| 16 |3273 | 0.000000e+00 | 3.942380e+05 | Inf
876.82/876.83 c 877s| 1320k| 1319k| 1245k| 0.9 |1258M| 223 | 0 |1700 |1605 |1700 | 233 | 413k| 16 |3273 | 0.000000e+00 | 3.942380e+05 | Inf
883.23/883.29 c 883s| 1330k| 1329k| 1253k| 0.9 |1267M| 223 | 0 |1700 |1605 |1700 | 251 | 416k| 16 |3282 | 0.000000e+00 | 3.942380e+05 | Inf
889.72/889.79 c 890s| 1340k| 1339k| 1264k| 0.9 |1277M| 223 | 0 |1700 |1605 |1700 | 268 | 419k| 16 |3288 | 0.000000e+00 | 3.942380e+05 | Inf
896.11/896.10 c 896s| 1350k| 1349k| 1269k| 0.9 |1286M| 223 | 0 |1700 |1605 |1700 | 233 | 420k| 16 |3291 | 0.000000e+00 | 3.942380e+05 | Inf
902.42/902.42 c 902s| 1360k| 1359k| 1273k| 0.9 |1296M| 223 | 0 |1700 |1605 |1700 | 238 | 422k| 16 |3296 | 0.000000e+00 | 3.942380e+05 | Inf
908.62/908.68 c 909s| 1370k| 1369k| 1277k| 0.9 |1305M| 223 | 0 |1700 |1605 |1700 | 224 | 424k| 16 |3305 | 0.000000e+00 | 3.942380e+05 | Inf
914.92/914.97 c 915s| 1380k| 1379k| 1283k| 0.9 |1314M| 223 | 0 |1700 |1605 |1700 | 259 | 425k| 16 |3308 | 0.000000e+00 | 3.942380e+05 | Inf
921.22/921.24 c 921s| 1390k| 1389k| 1287k| 0.9 |1324M| 223 | 0 |1700 |1605 |1700 | 247 | 427k| 16 |3308 | 0.000000e+00 | 3.942380e+05 | Inf
927.62/927.67 c 928s| 1400k| 1399k| 1294k| 0.9 |1333M| 223 | 0 |1700 |1605 |1700 | 247 | 429k| 16 |3321 | 0.000000e+00 | 3.942380e+05 | Inf
934.12/934.12 c 934s| 1410k| 1409k| 1302k| 0.9 |1343M| 223 | 14 |1700 |1605 |1700 | 224 | 432k| 16 |3323 | 0.000000e+00 | 3.942380e+05 | Inf
940.52/940.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
940.52/940.56 c 941s| 1420k| 1419k| 1308k| 0.9 |1352M| 223 | 0 |1700 |1605 |1700 | 250 | 434k| 16 |3335 | 0.000000e+00 | 3.942380e+05 | Inf
947.03/947.06 c 947s| 1430k| 1429k| 1316k| 0.9 |1361M| 223 | 0 |1700 |1605 |1700 | 252 | 436k| 16 |3342 | 0.000000e+00 | 3.942380e+05 | Inf
953.42/953.45 c 953s| 1440k| 1439k| 1323k| 0.9 |1371M| 223 | 0 |1700 |1605 |1700 | 231 | 438k| 16 |3355 | 0.000000e+00 | 3.942380e+05 | Inf
959.62/959.65 c 960s| 1450k| 1449k| 1326k| 0.9 |1380M| 223 | 0 |1700 |1605 |1700 | 252 | 439k| 16 |3355 | 0.000000e+00 | 3.942380e+05 | Inf
965.82/965.86 c 966s| 1460k| 1459k| 1329k| 0.9 |1390M| 223 | 0 |1700 |1605 |1700 | 219 | 440k| 16 |3355 | 0.000000e+00 | 3.942380e+05 | Inf
972.33/972.32 c 972s| 1470k| 1469k| 1337k| 0.9 |1399M| 223 | 0 |1700 |1605 |1700 | 262 | 443k| 16 |3367 | 0.000000e+00 | 3.942380e+05 | Inf
978.72/978.76 c 979s| 1480k| 1479k| 1345k| 0.9 |1408M| 223 | 8 |1700 |1605 |1700 | 214 | 445k| 16 |3373 | 0.000000e+00 | 3.942380e+05 | Inf
985.12/985.12 c 985s| 1490k| 1489k| 1350k| 0.9 |1418M| 223 | 0 |1700 |1605 |1700 | 208 | 447k| 16 |3382 | 0.000000e+00 | 3.942380e+05 | Inf
991.52/991.54 c 992s| 1500k| 1499k| 1356k| 0.9 |1427M| 223 | 0 |1700 |1605 |1700 | 239 | 449k| 16 |3387 | 0.000000e+00 | 3.942380e+05 | Inf
997.82/997.80 c 998s| 1510k| 1509k| 1361k| 0.9 |1437M| 223 | 0 |1700 |1605 |1700 | 257 | 451k| 16 |3398 | 0.000000e+00 | 3.942380e+05 | Inf
1004.13/1004.14 c 1004s| 1520k| 1519k| 1365k| 0.9 |1446M| 223 | 0 |1700 |1605 |1700 | 249 | 452k| 16 |3399 | 0.000000e+00 | 3.942380e+05 | Inf
1010.32/1010.38 c 1010s| 1530k| 1529k| 1368k| 0.9 |1455M| 223 | 0 |1700 |1605 |1700 | 227 | 453k| 16 |3399 | 0.000000e+00 | 3.942380e+05 | Inf
1016.72/1016.76 c 1017s| 1540k| 1539k| 1374k| 0.9 |1465M| 223 | 0 |1700 |1605 |1700 | 234 | 455k| 16 |3409 | 0.000000e+00 | 3.942380e+05 | Inf
1023.22/1023.22 c 1023s| 1550k| 1549k| 1380k| 0.9 |1474M| 223 | 0 |1700 |1605 |1700 | 235 | 457k| 16 |3412 | 0.000000e+00 | 3.942380e+05 | Inf
1029.53/1029.54 c 1030s| 1560k| 1559k| 1384k| 0.9 |1484M| 223 | 0 |1700 |1605 |1700 | 236 | 459k| 16 |3412 | 0.000000e+00 | 3.942380e+05 | Inf
1035.82/1035.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.82/1035.82 c 1036s| 1570k| 1569k| 1388k| 0.9 |1493M| 223 | 0 |1700 |1605 |1700 | 259 | 460k| 16 |3424 | 0.000000e+00 | 3.942380e+05 | Inf
1041.92/1041.93 c 1042s| 1580k| 1579k| 1389k| 0.9 |1502M| 223 | 0 |1700 |1605 |1700 | 252 | 461k| 16 |3424 | 0.000000e+00 | 3.942380e+05 | Inf
1048.23/1048.20 c 1048s| 1590k| 1589k| 1393k| 0.9 |1512M| 223 | 0 |1700 |1605 |1700 | 265 | 462k| 16 |3425 | 0.000000e+00 | 3.942380e+05 | Inf
1054.42/1054.41 c 1054s| 1600k| 1599k| 1395k| 0.9 |1521M| 223 | 0 |1700 |1605 |1700 | 233 | 462k| 16 |3425 | 0.000000e+00 | 3.942380e+05 | Inf
1060.53/1060.59 c 1061s| 1610k| 1609k| 1397k| 0.9 |1530M| 223 | 0 |1700 |1605 |1700 | 248 | 463k| 16 |3425 | 0.000000e+00 | 3.942380e+05 | Inf
1066.93/1066.93 c 1067s| 1620k| 1619k| 1402k| 0.9 |1540M| 223 | 0 |1700 |1605 |1700 | 252 | 464k| 16 |3437 | 0.000000e+00 | 3.942380e+05 | Inf
1073.12/1073.15 c 1073s| 1630k| 1629k| 1404k| 0.9 |1549M| 223 | 14 |1700 |1605 |1700 | 251 | 465k| 16 |3439 | 0.000000e+00 | 3.942380e+05 | Inf
1079.63/1079.60 c 1080s| 1640k| 1639k| 1411k| 0.9 |1559M| 223 | 0 |1700 |1605 |1700 | 243 | 467k| 16 |3439 | 0.000000e+00 | 3.942380e+05 | Inf
1085.93/1085.95 c 1086s| 1650k| 1649k| 1413k| 0.9 |1568M| 223 | 0 |1700 |1605 |1700 | 263 | 468k| 16 |3449 | 0.000000e+00 | 3.942380e+05 | Inf
1092.23/1092.29 c 1092s| 1660k| 1659k| 1416k| 0.9 |1577M| 223 | 0 |1700 |1605 |1700 | 246 | 469k| 16 |3449 | 0.000000e+00 | 3.942380e+05 | Inf
1098.62/1098.70 c 1099s| 1670k| 1669k| 1422k| 0.9 |1587M| 223 | 0 |1700 |1605 |1700 | 224 | 471k| 16 |3451 | 0.000000e+00 | 3.942380e+05 | Inf
1105.02/1105.02 c 1105s| 1680k| 1679k| 1427k| 0.8 |1596M| 223 | 0 |1700 |1605 |1700 | 250 | 472k| 16 |3463 | 0.000000e+00 | 3.942380e+05 | Inf
1111.32/1111.31 c 1111s| 1690k| 1689k| 1431k| 0.8 |1606M| 223 | 0 |1700 |1605 |1700 | 238 | 474k| 16 |3465 | 0.000000e+00 | 3.942380e+05 | Inf
1117.63/1117.64 c 1118s| 1700k| 1699k| 1436k| 0.8 |1615M| 223 | 0 |1700 |1605 |1700 | 242 | 475k| 16 |3465 | 0.000000e+00 | 3.942380e+05 | Inf
1124.02/1124.02 c 1124s| 1710k| 1709k| 1441k| 0.8 |1625M| 223 | 0 |1700 |1605 |1700 | 240 | 477k| 16 |3477 | 0.000000e+00 | 3.942380e+05 | Inf
1130.22/1130.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1130.22/1130.28 c 1130s| 1720k| 1719k| 1444k| 0.8 |1634M| 223 | 0 |1700 |1604 |1700 | 257 | 478k| 16 |3477 | 0.000000e+00 | 3.942380e+05 | Inf
1136.53/1136.53 c 1137s| 1730k| 1729k| 1446k| 0.8 |1643M| 223 | 0 |1700 |1604 |1700 | 246 | 479k| 16 |3478 | 0.000000e+00 | 3.942380e+05 | Inf
1142.83/1142.87 c 1143s| 1740k| 1739k| 1451k| 0.8 |1653M| 223 | 0 |1700 |1604 |1700 | 250 | 481k| 16 |3495 | 0.000000e+00 | 3.942380e+05 | Inf
1149.22/1149.23 c 1149s| 1750k| 1749k| 1457k| 0.8 |1662M| 223 | 0 |1700 |1604 |1700 | 233 | 483k| 16 |3500 | 0.000000e+00 | 3.942380e+05 | Inf
1155.72/1155.74 c 1156s| 1760k| 1759k| 1466k| 0.8 |1672M| 223 | 0 |1700 |1604 |1700 | 251 | 486k| 16 |3500 | 0.000000e+00 | 3.942380e+05 | Inf
1162.03/1162.05 c 1162s| 1770k| 1769k| 1470k| 0.8 |1681M| 223 | 0 |1700 |1604 |1700 | 220 | 487k| 16 |3514 | 0.000000e+00 | 3.942380e+05 | Inf
1168.33/1168.38 c 1168s| 1780k| 1779k| 1475k| 0.8 |1690M| 223 | 0 |1700 |1604 |1700 | 242 | 489k| 16 |3514 | 0.000000e+00 | 3.942380e+05 | Inf
1174.63/1174.62 c 1175s| 1790k| 1789k| 1480k| 0.8 |1700M| 223 | 0 |1700 |1604 |1700 | 250 | 491k| 16 |3516 | 0.000000e+00 | 3.942380e+05 | Inf
1180.93/1180.93 c 1181s| 1800k| 1799k| 1485k| 0.8 |1709M| 223 | 0 |1700 |1604 |1700 | 257 | 492k| 16 |3539 | 0.000000e+00 | 3.942380e+05 | Inf
1187.13/1187.19 c 1187s| 1810k| 1809k| 1489k| 0.8 |1719M| 223 | 0 |1700 |1604 |1700 | 222 | 494k| 16 |3542 | 0.000000e+00 | 3.942380e+05 | Inf
1193.33/1193.39 c 1193s| 1820k| 1819k| 1492k| 0.8 |1728M| 223 | 0 |1700 |1604 |1700 | 250 | 495k| 16 |3542 | 0.000000e+00 | 3.942380e+05 | Inf
1199.73/1199.77 c 1200s| 1830k| 1829k| 1498k| 0.8 |1737M| 223 | 0 |1700 |1604 |1700 | 260 | 497k| 16 |3545 | 0.000000e+00 | 3.942380e+05 | Inf
1206.23/1206.22 c 1206s| 1840k| 1839k| 1504k| 0.8 |1747M| 223 | 0 |1700 |1604 |1700 | 260 | 498k| 16 |3557 | 0.000000e+00 | 3.942380e+05 | Inf
1212.53/1212.54 c 1213s| 1850k| 1849k| 1508k| 0.8 |1756M| 223 | 0 |1700 |1604 |1700 | 244 | 500k| 16 |3559 | 0.000000e+00 | 3.942380e+05 | Inf
1218.93/1218.92 c 1219s| 1860k| 1859k| 1513k| 0.8 |1766M| 223 | 0 |1700 |1604 |1700 | 258 | 502k| 16 |3564 | 0.000000e+00 | 3.942380e+05 | Inf
1225.13/1225.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1225.13/1225.19 c 1225s| 1870k| 1869k| 1517k| 0.8 |1775M| 223 | 0 |1700 |1604 |1700 | 248 | 503k| 16 |3571 | 0.000000e+00 | 3.942380e+05 | Inf
1231.63/1231.61 c 1232s| 1880k| 1879k| 1524k| 0.8 |1784M| 223 | 0 |1700 |1604 |1700 | 245 | 505k| 16 |3578 | 0.000000e+00 | 3.942380e+05 | Inf
1238.13/1238.16 c 1238s| 1890k| 1889k| 1531k| 0.8 |1794M| 223 | 0 |1700 |1604 |1700 | 239 | 507k| 16 |3590 | 0.000000e+00 | 3.942380e+05 | Inf
1244.43/1244.43 c 1244s| 1900k| 1899k| 1534k| 0.8 |1803M| 223 | 0 |1700 |1604 |1700 | 239 | 509k| 16 |3590 | 0.000000e+00 | 3.942380e+05 | Inf
1250.73/1250.78 c 1251s| 1910k| 1909k| 1539k| 0.8 |1813M| 223 | 0 |1700 |1604 |1700 | 236 | 510k| 16 |3590 | 0.000000e+00 | 3.942380e+05 | Inf
1257.03/1257.04 c 1257s| 1920k| 1919k| 1543k| 0.8 |1822M| 223 | 0 |1700 |1604 |1700 | 256 | 512k| 16 |3599 | 0.000000e+00 | 3.942380e+05 | Inf
1263.43/1263.48 c 1263s| 1930k| 1929k| 1549k| 0.8 |1831M| 223 | 0 |1700 |1604 |1700 | 260 | 514k| 16 |3603 | 0.000000e+00 | 3.942380e+05 | Inf
1269.84/1269.88 c 1270s| 1940k| 1939k| 1555k| 0.8 |1841M| 223 | 0 |1700 |1604 |1700 | 253 | 516k| 16 |3607 | 0.000000e+00 | 3.942380e+05 | Inf
1276.23/1276.22 c 1276s| 1950k| 1949k| 1559k| 0.8 |1850M| 223 | 0 |1700 |1604 |1700 | 206 | 517k| 16 |3615 | 0.000000e+00 | 3.942380e+05 | Inf
1282.54/1282.58 c 1283s| 1960k| 1959k| 1563k| 0.8 |1860M| 223 | 0 |1700 |1604 |1700 | 269 | 519k| 16 |3615 | 0.000000e+00 | 3.942380e+05 | Inf
1289.03/1289.00 c 1289s| 1970k| 1969k| 1569k| 0.8 |1869M| 223 | 0 |1700 |1604 |1700 | 242 | 521k| 16 |3624 | 0.000000e+00 | 3.942380e+05 | Inf
1295.33/1295.35 c 1295s| 1980k| 1979k| 1574k| 0.8 |1878M| 223 | 0 |1700 |1604 |1700 | 236 | 522k| 16 |3634 | 0.000000e+00 | 3.942380e+05 | Inf
1301.73/1301.73 c 1302s| 1990k| 1989k| 1580k| 0.8 |1888M| 223 | 0 |1700 |1604 |1700 | 261 | 524k| 16 |3634 | 0.000000e+00 | 3.942380e+05 | Inf
1307.94/1307.98 c 1308s| 2000k| 1999k| 1584k| 0.8 |1897M| 223 | 0 |1700 |1604 |1700 | 250 | 526k| 16 |3640 | 0.000000e+00 | 3.942380e+05 | Inf
1314.13/1314.18 c 1314s| 2010k| 2009k| 1587k| 0.8 |1907M| 223 | 0 |1700 |1604 |1700 | 242 | 527k| 16 |3644 | 0.000000e+00 | 3.942380e+05 | Inf
1320.34/1320.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.34/1320.37 c 1320s| 2020k| 2019k| 1590k| 0.8 |1916M| 223 | 0 |1700 |1604 |1700 | 265 | 528k| 16 |3644 | 0.000000e+00 | 3.942380e+05 | Inf
1326.54/1326.58 c 1327s| 2030k| 2029k| 1594k| 0.8 |1926M| 223 | 0 |1700 |1604 |1700 | 253 | 529k| 16 |3644 | 0.000000e+00 | 3.942380e+05 | Inf
1332.73/1332.75 c 1333s| 2040k| 2039k| 1596k| 0.8 |1935M| 223 | 0 |1700 |1604 |1700 | 234 | 530k| 16 |3652 | 0.000000e+00 | 3.942380e+05 | Inf
1339.13/1339.15 c 1339s| 2050k| 2049k| 1602k| 0.8 |1944M| 223 | 0 |1700 |1603 |1700 | 227 | 531k| 16 |3657 | 0.000000e+00 | 3.942380e+05 | Inf
1345.53/1345.59 c 1346s| 2060k| 2059k| 1608k| 0.8 |1954M| 223 | 0 |1700 |1603 |1700 | 261 | 533k| 16 |3661 | 0.000000e+00 | 3.942380e+05 | Inf
1351.84/1351.85 c 1352s| 2070k| 2069k| 1612k| 0.8 |1963M| 223 | 0 |1700 |1603 |1700 | 241 | 535k| 16 |3674 | 0.000000e+00 | 3.942380e+05 | Inf
1358.04/1358.05 c 1358s| 2080k| 2079k| 1614k| 0.8 |1973M| 223 | 0 |1700 |1603 |1700 | 256 | 535k| 16 |3674 | 0.000000e+00 | 3.942380e+05 | Inf
1364.33/1364.34 c 1364s| 2090k| 2089k| 1618k| 0.8 |1982M| 223 | 0 |1700 |1603 |1700 | 237 | 537k| 16 |3676 | 0.000000e+00 | 3.942380e+05 | Inf
1370.64/1370.63 c 1371s| 2100k| 2099k| 1622k| 0.8 |1991M| 223 | 0 |1700 |1603 |1700 | 239 | 538k| 16 |3676 | 0.000000e+00 | 3.942380e+05 | Inf
1377.04/1377.01 c 1377s| 2110k| 2109k| 1627k| 0.8 |2001M| 223 | 0 |1700 |1603 |1700 | 255 | 540k| 16 |3688 | 0.000000e+00 | 3.942380e+05 | Inf
1383.33/1383.31 c 1383s| 2120k| 2119k| 1631k| 0.8 |2010M| 223 | 0 |1700 |1603 |1700 | 247 | 541k| 16 |3688 | 0.000000e+00 | 3.942380e+05 | Inf
1389.54/1389.51 c 1389s| 2130k| 2129k| 1635k| 0.8 |2020M| 223 | 0 |1700 |1603 |1700 | 263 | 542k| 16 |3688 | 0.000000e+00 | 3.942380e+05 | Inf
1395.84/1395.87 c 1396s| 2140k| 2139k| 1641k| 0.8 |2029M| 223 | 0 |1700 |1603 |1700 | 258 | 544k| 16 |3701 | 0.000000e+00 | 3.942380e+05 | Inf
1402.13/1402.11 c 1402s| 2150k| 2149k| 1644k| 0.8 |2038M| 223 | 0 |1700 |1603 |1700 | 261 | 545k| 16 |3703 | 0.000000e+00 | 3.942380e+05 | Inf
1408.44/1408.40 c 1408s| 2160k| 2159k| 1649k| 0.8 |2048M| 223 | 0 |1700 |1603 |1700 | 231 | 547k| 16 |3703 | 0.000000e+00 | 3.942380e+05 | Inf
1414.74/1414.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1414.74/1414.74 c 1415s| 2170k| 2169k| 1653k| 0.8 |2057M| 223 | 0 |1700 |1603 |1700 | 222 | 548k| 16 |3715 | 0.000000e+00 | 3.942380e+05 | Inf
1421.04/1421.03 c 1421s| 2180k| 2179k| 1655k| 0.8 |2067M| 223 | 0 |1700 |1603 |1700 | 243 | 549k| 16 |3715 | 0.000000e+00 | 3.942380e+05 | Inf
1427.24/1427.20 c 1427s| 2190k| 2189k| 1658k| 0.8 |2076M| 223 | 0 |1700 |1603 |1700 | 233 | 550k| 16 |3718 | 0.000000e+00 | 3.942380e+05 | Inf
1433.53/1433.51 c 1433s| 2200k| 2199k| 1662k| 0.8 |2085M| 223 | 0 |1700 |1603 |1700 | 276 | 551k| 16 |3719 | 0.000000e+00 | 3.942380e+05 | Inf
1439.84/1439.85 c 1440s| 2210k| 2209k| 1667k| 0.8 |2095M| 223 | 0 |1700 |1603 |1700 | 252 | 553k| 16 |3734 | 0.000000e+00 | 3.942380e+05 | Inf
1446.23/1446.20 c 1446s| 2220k| 2219k| 1672k| 0.8 |2104M| 223 | 0 |1700 |1603 |1700 | 224 | 555k| 16 |3737 | 0.000000e+00 | 3.942380e+05 | Inf
1452.44/1452.47 c 1452s| 2230k| 2229k| 1675k| 0.8 |2114M| 223 | 0 |1700 |1603 |1700 | 231 | 556k| 16 |3737 | 0.000000e+00 | 3.942380e+05 | Inf
1458.73/1458.79 c 1459s| 2240k| 2239k| 1679k| 0.7 |2123M| 223 | 0 |1700 |1603 |1700 | 216 | 557k| 16 |3737 | 0.000000e+00 | 3.942380e+05 | Inf
1465.04/1465.03 c 1465s| 2250k| 2249k| 1682k| 0.7 |2132M| 223 | 0 |1700 |1603 |1700 | 240 | 558k| 16 |3749 | 0.000000e+00 | 3.942380e+05 | Inf
1471.24/1471.26 c 1471s| 2260k| 2259k| 1686k| 0.7 |2142M| 223 | 0 |1700 |1603 |1700 | 257 | 559k| 16 |3750 | 0.000000e+00 | 3.942380e+05 | Inf
1477.64/1477.60 c 1478s| 2270k| 2269k| 1691k| 0.7 |2151M| 223 | 0 |1700 |1603 |1700 | 234 | 561k| 16 |3752 | 0.000000e+00 | 3.942380e+05 | Inf
1483.95/1483.92 c 1484s| 2280k| 2279k| 1696k| 0.7 |2161M| 223 | 0 |1700 |1603 |1700 | 218 | 563k| 16 |3763 | 0.000000e+00 | 3.942380e+05 | Inf
1490.34/1490.32 c 1490s| 2290k| 2289k| 1702k| 0.7 |2170M| 223 | 0 |1700 |1602 |1700 | 255 | 565k| 16 |3765 | 0.000000e+00 | 3.942380e+05 | Inf
1496.73/1496.78 c 1497s| 2300k| 2299k| 1710k| 0.7 |2179M| 223 | 0 |1700 |1602 |1700 | 243 | 567k| 16 |3767 | 0.000000e+00 | 3.942380e+05 | Inf
1503.24/1503.20 c 1503s| 2310k| 2309k| 1716k| 0.7 |2189M| 223 | 0 |1700 |1602 |1700 | 271 | 569k| 16 |3778 | 0.000000e+00 | 3.942380e+05 | Inf
1509.54/1509.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1509.54/1509.50 c 1509s| 2320k| 2319k| 1719k| 0.7 |2198M| 223 | 0 |1700 |1602 |1700 | 242 | 571k| 16 |3780 | 0.000000e+00 | 3.942380e+05 | Inf
1515.94/1515.92 c 1516s| 2330k| 2329k| 1725k| 0.7 |2208M| 223 | 0 |1700 |1602 |1700 | 236 | 573k| 16 |3793 | 0.000000e+00 | 3.942380e+05 | Inf
1522.45/1522.42 c 1522s| 2340k| 2339k| 1735k| 0.7 |2217M| 223 | 0 |1700 |1602 |1700 | 206 | 576k| 16 |3795 | 0.000000e+00 | 3.942380e+05 | Inf
1528.74/1528.78 c 1529s| 2350k| 2349k| 1740k| 0.7 |2227M| 223 | 0 |1700 |1602 |1700 | 224 | 578k| 16 |3807 | 0.000000e+00 | 3.942380e+05 | Inf
1535.14/1535.18 c 1535s| 2360k| 2359k| 1746k| 0.7 |2236M| 223 | 0 |1700 |1602 |1700 | 245 | 580k| 16 |3821 | 0.000000e+00 | 3.942380e+05 | Inf
1541.54/1541.51 c 1541s| 2370k| 2369k| 1751k| 0.7 |2245M| 223 | 0 |1700 |1602 |1700 | 240 | 582k| 16 |3821 | 0.000000e+00 | 3.942380e+05 | Inf
1547.84/1547.89 c 1548s| 2380k| 2379k| 1757k| 0.7 |2255M| 223 | 0 |1700 |1602 |1700 | 262 | 583k| 16 |3831 | 0.000000e+00 | 3.942380e+05 | Inf
1554.14/1554.18 c 1554s| 2390k| 2389k| 1761k| 0.7 |2264M| 223 | 0 |1700 |1602 |1700 | 261 | 585k| 16 |3837 | 0.000000e+00 | 3.942380e+05 | Inf
1560.44/1560.46 c 1560s| 2400k| 2399k| 1765k| 0.7 |2274M| 223 | 0 |1700 |1602 |1700 | 238 | 586k| 16 |3837 | 0.000000e+00 | 3.942380e+05 | Inf
1566.84/1566.86 c 1567s| 2410k| 2409k| 1771k| 0.7 |2283M| 223 | 0 |1700 |1602 |1700 | 251 | 588k| 16 |3846 | 0.000000e+00 | 3.942380e+05 | Inf
1573.14/1573.13 c 1573s| 2420k| 2419k| 1774k| 0.7 |2292M| 223 | 0 |1700 |1602 |1700 | 252 | 589k| 16 |3852 | 0.000000e+00 | 3.942380e+05 | Inf
1579.34/1579.35 c 1579s| 2430k| 2429k| 1778k| 0.7 |2302M| 223 | 0 |1700 |1602 |1700 | 247 | 591k| 16 |3852 | 0.000000e+00 | 3.942380e+05 | Inf
1585.64/1585.62 c 1586s| 2440k| 2439k| 1781k| 0.7 |2311M| 223 | 0 |1700 |1602 |1700 | 255 | 592k| 16 |3852 | 0.000000e+00 | 3.942380e+05 | Inf
1591.84/1591.85 c 1592s| 2450k| 2449k| 1784k| 0.7 |2321M| 223 | 0 |1700 |1602 |1700 | 244 | 593k| 16 |3853 | 0.000000e+00 | 3.942380e+05 | Inf
1598.04/1598.07 c 1598s| 2460k| 2459k| 1786k| 0.7 |2330M| 223 | 0 |1700 |1602 |1700 | 273 | 593k| 16 |3864 | 0.000000e+00 | 3.942380e+05 | Inf
1604.24/1604.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.24/1604.27 c 1604s| 2470k| 2469k| 1787k| 0.7 |2339M| 223 | 0 |1700 |1603 |1700 | 235 | 594k| 17 |3866 | 0.000000e+00 | 3.942380e+05 | Inf
1610.54/1610.50 c 1610s| 2480k| 2479k| 1789k| 0.7 |2349M| 223 | 0 |1700 |1603 |1700 | 248 | 594k| 17 |3866 | 0.000000e+00 | 3.942380e+05 | Inf
1616.74/1616.78 c 1617s| 2490k| 2489k| 1792k| 0.7 |2358M| 223 | 5 |1700 |1603 |1700 | 238 | 596k| 17 |3866 | 0.000000e+00 | 3.942380e+05 | Inf
1623.24/1623.28 c 1623s| 2500k| 2499k| 1799k| 0.7 |2367M| 223 | 0 |1700 |1603 |1700 | 223 | 598k| 17 |3874 | 0.000000e+00 | 3.942380e+05 | Inf
1629.44/1629.48 c 1629s| 2510k| 2509k| 1801k| 0.7 |2377M| 223 | 0 |1700 |1603 |1700 | 249 | 598k| 17 |3879 | 0.000000e+00 | 3.942380e+05 | Inf
1635.75/1635.79 c 1636s| 2520k| 2519k| 1805k| 0.7 |2386M| 223 | 0 |1700 |1603 |1700 | 252 | 600k| 17 |3880 | 0.000000e+00 | 3.942380e+05 | Inf
1641.95/1641.99 c 1642s| 2530k| 2529k| 1807k| 0.7 |2396M| 223 | 0 |1700 |1603 |1700 | 245 | 601k| 17 |3880 | 0.000000e+00 | 3.942380e+05 | Inf
1648.34/1648.32 c 1648s| 2540k| 2539k| 1811k| 0.7 |2405M| 223 | 0 |1700 |1603 |1700 | 234 | 602k| 17 |3880 | 0.000000e+00 | 3.942380e+05 | Inf
1654.74/1654.72 c 1655s| 2550k| 2549k| 1817k| 0.7 |2415M| 223 | 0 |1700 |1603 |1700 | 248 | 604k| 17 |3892 | 0.000000e+00 | 3.942380e+05 | Inf
1661.14/1661.12 c 1661s| 2560k| 2559k| 1823k| 0.7 |2424M| 223 | 0 |1700 |1603 |1700 | 251 | 606k| 17 |3893 | 0.000000e+00 | 3.942380e+05 | Inf
1667.55/1667.53 c 1668s| 2570k| 2569k| 1827k| 0.7 |2433M| 223 | 0 |1700 |1603 |1700 | 217 | 607k| 17 |3894 | 0.000000e+00 | 3.942380e+05 | Inf
1673.84/1673.84 c 1674s| 2580k| 2579k| 1831k| 0.7 |2443M| 223 | 0 |1700 |1603 |1700 | 257 | 609k| 17 |3905 | 0.000000e+00 | 3.942380e+05 | Inf
1680.24/1680.23 c 1680s| 2590k| 2589k| 1837k| 0.7 |2452M| 223 | 0 |1700 |1603 |1700 | 247 | 611k| 17 |3905 | 0.000000e+00 | 3.942380e+05 | Inf
1686.64/1686.62 c 1687s| 2600k| 2599k| 1843k| 0.7 |2462M| 223 | 0 |1700 |1603 |1700 | 244 | 613k| 17 |3913 | 0.000000e+00 | 3.942380e+05 | Inf
1692.95/1692.98 c 1693s| 2610k| 2609k| 1848k| 0.7 |2471M| 223 | 0 |1700 |1603 |1700 | 249 | 614k| 17 |3920 | 0.000000e+00 | 3.942380e+05 | Inf
1699.34/1699.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.34/1699.38 c 1699s| 2620k| 2619k| 1854k| 0.7 |2480M| 223 | 0 |1700 |1603 |1700 | 240 | 616k| 17 |3922 | 0.000000e+00 | 3.942380e+05 | Inf
1705.75/1705.73 c 1706s| 2630k| 2629k| 1859k| 0.7 |2490M| 223 | 0 |1700 |1603 |1700 | 243 | 618k| 17 |3928 | 0.000000e+00 | 3.942380e+05 | Inf
1712.14/1712.12 c 1712s| 2640k| 2639k| 1864k| 0.7 |2499M| 223 | 0 |1700 |1603 |1700 | 234 | 620k| 17 |3937 | 0.000000e+00 | 3.942380e+05 | Inf
1718.55/1718.54 c 1719s| 2650k| 2649k| 1870k| 0.7 |2509M| 223 | 0 |1700 |1603 |1700 | 221 | 622k| 17 |3937 | 0.000000e+00 | 3.942380e+05 | Inf
1724.75/1724.75 c 1725s| 2660k| 2659k| 1872k| 0.7 |2518M| 223 | 0 |1700 |1603 |1700 | 228 | 623k| 17 |3937 | 0.000000e+00 | 3.942380e+05 | Inf
1730.84/1730.88 c 1731s| 2670k| 2669k| 1873k| 0.7 |2527M| 223 | 0 |1700 |1603 |1700 | 236 | 623k| 17 |3941 | 0.000000e+00 | 3.942380e+05 | Inf
1737.25/1737.21 c 1737s| 2680k| 2679k| 1878k| 0.7 |2537M| 223 | 0 |1700 |1603 |1700 | 263 | 625k| 17 |3961 | 0.000000e+00 | 3.942380e+05 | Inf
1743.55/1743.55 c 1744s| 2690k| 2689k| 1882k| 0.7 |2546M| 223 | 0 |1700 |1603 |1700 | 250 | 626k| 17 |3962 | 0.000000e+00 | 3.942380e+05 | Inf
1749.95/1750.00 c 1750s| 2700k| 2699k| 1890k| 0.7 |2556M| 223 | 0 |1700 |1603 |1700 | 260 | 629k| 17 |3962 | 0.000000e+00 | 3.942380e+05 | Inf
1756.45/1756.41 c 1756s| 2710k| 2709k| 1897k| 0.7 |2565M| 223 | 0 |1700 |1603 |1700 | 217 | 631k| 17 |3976 | 0.000000e+00 | 3.942380e+05 | Inf
1762.95/1762.92 c 1763s| 2720k| 2719k| 1905k| 0.7 |2575M| 223 | 0 |1700 |1603 |1700 | 268 | 634k| 17 |3976 | 0.000000e+00 | 3.942380e+05 | Inf
1769.44/1769.42 c 1769s| 2730k| 2729k| 1912k| 0.7 |2584M| 223 | 0 |1700 |1603 |1700 | 249 | 637k| 17 |3990 | 0.000000e+00 | 3.942380e+05 | Inf
1775.85/1775.80 c 1776s| 2740k| 2739k| 1919k| 0.7 |2593M| 223 | 0 |1700 |1603 |1700 | 260 | 639k| 17 |3990 | 0.000000e+00 | 3.942380e+05 | Inf
1782.05/1782.10 c 1782s| 2750k| 2749k| 1923k| 0.7 |2603M| 223 | 18 |1700 |1603 |1700 | 215 | 640k| 17 |3997 | 0.000000e+00 | 3.942380e+05 | Inf
1788.45/1788.42 c 1788s| 2760k| 2759k| 1928k| 0.7 |2612M| 223 | 0 |1700 |1603 |1700 | 234 | 642k| 17 |4006 | 0.000000e+00 | 3.942380e+05 | Inf
1790.05/1790.00 c
1790.05/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.05/1790.00 c Solving Time (sec) : 1789.99
1790.05/1790.00 c Solving Nodes : 2762497
1790.05/1790.00 c Primal Bound : +3.94238000000000e+05 (100 solutions)
1790.05/1790.00 c Dual Bound : +0.00000000000000e+00
1790.05/1790.00 c Gap : infinite
1790.05/1790.01 s SATISFIABLE
1790.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.05/1790.01 c Solving Time : 1789.99
1790.05/1790.01 c Original Problem :
1790.05/1790.01 c Problem name : HOME/instance-2705765-1278580141.wbo
1790.05/1790.01 c Variables : 1800 (1000 binary, 0 integer, 800 implicit integer, 0 continuous)
1790.05/1790.01 c Constraints : 1701 initial, 1701 maximal
1790.05/1790.01 c Presolved Problem :
1790.05/1790.01 c Problem name : t_HOME/instance-2705765-1278580141.wbo
1790.05/1790.01 c Variables : 1700 (900 binary, 0 integer, 800 implicit integer, 0 continuous)
1790.05/1790.01 c Constraints : 1600 initial, 1609 maximal
1790.05/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.05/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1790.05/1790.01 c linear : 0.02 0 100 0 800 0 101 0 0
1790.05/1790.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.01 c root node : - 0 - - 0 - - - -
1790.05/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.05/1790.01 c integral : 0 0 0 2916564 0 0 0 0 0 490194
1790.05/1790.01 c linear : 800 6 3549310 2671467 0 16 577284 642974 0 0
1790.05/1790.01 c indicator : 800 0 3549294 2671467 0 16 2611467 0 0 0
1790.05/1790.01 c logicor : 0+ 0 60270 0 0 0 3611 0 0 0
1790.05/1790.01 c countsols : 0 0 0 2517367 0 0 0 0 0 0
1790.05/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.05/1790.01 c integral : 5.05 0.00 0.00 5.05 0.00
1790.05/1790.01 c linear : 34.12 0.00 10.81 23.31 0.00
1790.05/1790.01 c indicator : 237.55 0.06 85.69 151.80 0.00
1790.05/1790.01 c logicor : 0.06 0.00 0.06 0.00 0.00
1790.05/1790.01 c countsols : 0.31 0.00 0.00 0.31 0.00
1790.05/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.05/1790.01 c vbounds : 0.70 2 0 0
1790.05/1790.01 c rootredcost : 0.64 0 0 0
1790.05/1790.01 c pseudoobj : 42.14 3549110 0 0
1790.05/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.05/1790.01 c propagation : 0.00 16 16 16 7.7 0 0.0 -
1790.05/1790.01 c infeasible LP : 0.00 1 1 1 12.0 0 0.0 0
1790.05/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.05/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.05/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.05/1790.01 c applied globally : - - - 17 7.9 - - -
1790.05/1790.01 c applied locally : - - - 0 0.0 - - -
1790.05/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.05/1790.01 c cut pool : 0.00 3 - - 136 - (maximal pool size: 373)
1790.05/1790.01 c redcost : 108.47 2916168 0 0 0 0
1790.05/1790.01 c impliedbounds : 0.00 4 0 0 0 0
1790.05/1790.01 c intobj : 0.00 0 0 0 0 0
1790.05/1790.01 c cgmip : 0.00 0 0 0 0 0
1790.05/1790.01 c gomory : 0.02 4 0 0 80 0
1790.05/1790.01 c strongcg : 0.02 4 0 0 456 0
1790.05/1790.01 c cmir : 0.01 4 0 0 0 0
1790.05/1790.01 c flowcover : 0.01 4 0 0 0 0
1790.05/1790.01 c clique : 0.00 1 0 0 0 0
1790.05/1790.01 c zerohalf : 0.00 0 0 0 0 0
1790.05/1790.01 c mcf : 0.00 1 0 0 0 0
1790.05/1790.01 c rapidlearning : 0.05 1 0 0 0 0
1790.05/1790.01 c Pricers : Time Calls Vars
1790.05/1790.01 c problem variables: 0.00 0 0
1790.05/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.05/1790.01 c relpscost : 4.18 245097 0 0 0 0 490194
1790.05/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.05/1790.01 c inference : 278.32 2517367 0 0 0 0 5034734
1790.05/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1790.05/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1790.05/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1790.05/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1790.05/1790.01 c random : 0.00 0 0 0 0 0 0
1790.05/1790.01 c Primal Heuristics : Time Calls Found
1790.05/1790.01 c LP solutions : 0.00 - 0
1790.05/1790.01 c pseudo solutions : 0.00 - 0
1790.05/1790.01 c intshifting : 0.01 0 0
1790.05/1790.01 c feaspump : 0.01 0 0
1790.05/1790.01 c oneopt : 1.16 1 0
1790.05/1790.01 c crossover : 0.77 13 2
1790.05/1790.01 c linesearchdiving : 15.08 25579 0
1790.05/1790.01 c fracdiving : 15.09 25579 0
1790.05/1790.01 c veclendiving : 15.05 25580 0
1790.05/1790.01 c guideddiving : 15.02 25580 0
1790.05/1790.01 c coefdiving : 15.04 25580 0
1790.05/1790.01 c pscostdiving : 15.08 25580 0
1790.05/1790.01 c objpscostdiving : 15.60 25561 0
1790.05/1790.01 c rootsoldiving : 15.78 25561 0
1790.05/1790.01 c trivial : 0.00 2 1
1790.05/1790.01 c simplerounding : 0.85 245093 0
1790.05/1790.01 c zirounding : 0.55 1000 0
1790.05/1790.01 c rounding : 0.58 6947 0
1790.05/1790.01 c shifting : 0.30 2151 0
1790.05/1790.01 c twoopt : 0.00 0 0
1790.05/1790.01 c fixandinfer : 0.00 0 0
1790.05/1790.01 c intdiving : 0.00 0 0
1790.05/1790.01 c actconsdiving : 0.00 0 0
1790.05/1790.01 c octane : 0.00 0 0
1790.05/1790.01 c rens : 0.01 1 0
1790.05/1790.01 c rins : 0.00 0 0
1790.05/1790.01 c localbranching : 0.00 0 0
1790.05/1790.01 c mutation : 0.00 0 0
1790.05/1790.01 c dins : 0.00 0 0
1790.05/1790.01 c undercover : 0.00 0 0
1790.05/1790.01 c nlp : 0.38 0 0
1790.05/1790.01 c trysol : 0.71 25767 97
1790.05/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1790.05/1790.01 c primal LP : 0.00 0 0 0.00 -
1790.05/1790.01 c dual LP : 599.90 485958 1928748 3.97 3215.12
1790.05/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1790.05/1790.01 c barrier LP : 0.00 0 0 0.00 -
1790.05/1790.01 c diving/probing LP: 0.12 248 654 2.64 5678.27
1790.05/1790.01 c strong branching : 2.60 4006 39891 9.96 15363.76
1790.05/1790.01 c (at root node) : - 33 2086 63.21 -
1790.05/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.05/1790.01 c B&B Tree :
1790.05/1790.01 c number of runs : 1
1790.05/1790.01 c nodes : 2762497
1790.05/1790.01 c nodes (total) : 2762497
1790.05/1790.01 c nodes left : 2762432
1790.05/1790.01 c max depth : 223
1790.05/1790.01 c max depth (total): 223
1790.05/1790.01 c backtracks : 25680 (0.9%)
1790.05/1790.01 c delayed cutoffs : 0
1790.05/1790.01 c repropagations : 74 (68 domain reductions, 0 cutoffs)
1790.05/1790.01 c avg switch length: 2.27
1790.05/1790.01 c switching time : 50.08
1790.05/1790.01 c Solution :
1790.05/1790.01 c Solutions found : 100 (1 improvements)
1790.05/1790.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.05/1790.01 c Primal Bound : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.05/1790.01 c Dual Bound : +0.00000000000000e+00
1790.05/1790.01 c Gap : infinite
1790.05/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.05/1790.01 c Root Iterations : 255
1795.55/1795.53 c Time complete: 1795.58.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705765-1278580141/watcher-2705765-1278580141 -o /tmp/evaluation-result-2705765-1278580141/solver-2705765-1278580141 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705765-1278580141.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.96 4/178 24959
/proc/meminfo: memFree=29168904/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=12540 CPUtime=0
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 1972 0 0 0 0 0 0 0 25 0 1 0 26228186 12840960 1890 4089446400 4194304 10345943 140735034581584 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24959/statm: 3135 1890 429 1502 0 1628 0
[startup+0.0474949 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 24959
/proc/meminfo: memFree=29168904/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=23692 CPUtime=0.04
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 4996 0 0 0 4 0 0 0 25 0 1 0 26228186 24260608 4560 4089446400 4194304 10345943 140735034581584 18446744073709551615 5006783 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 5923 4560 552 1502 0 4416 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23692
[startup+0.100475 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 24959
/proc/meminfo: memFree=29168904/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=39380 CPUtime=0.09
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 8748 0 0 0 9 0 0 0 25 0 1 0 26228186 40325120 8312 4089446400 4194304 10345943 140735034581584 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 9845 8312 636 1502 0 8338 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39380
[startup+0.300436 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 24959
/proc/meminfo: memFree=29168904/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=35660 CPUtime=0.29
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 9837 0 0 0 28 1 0 0 25 0 1 0 26228186 36515840 7780 4089446400 4194304 10345943 140735034581584 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 8915 7780 757 1502 0 7408 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35660
[startup+0.700379 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 24959
/proc/meminfo: memFree=29168904/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=35660 CPUtime=0.69
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 9839 0 0 0 68 1 0 0 25 0 1 0 26228186 36515840 7782 4089446400 4194304 10345943 140735034581584 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 8915 7782 757 1502 0 7408 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35660
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24960
/proc/meminfo: memFree=29142512/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=37876 CPUtime=1.49
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 10847 0 0 0 147 2 0 0 25 0 1 0 26228186 38785024 8341 4089446400 4194304 10345943 140735034581584 18446744073709551615 4601491 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 9469 8341 760 1502 0 7962 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37876
[startup+3.10092 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24960
/proc/meminfo: memFree=29142140/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=37312 CPUtime=3.09
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 13387 0 0 0 306 3 0 0 25 0 1 0 26228186 38207488 8207 4089446400 4194304 10345943 140735034581584 18446744073709551615 6307551 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 9328 8207 760 1502 0 7821 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37312
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24960
/proc/meminfo: memFree=29138176/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=39700 CPUtime=6.29
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 18661 0 0 0 625 4 0 0 25 0 1 0 26228186 40652800 8586 4089446400 4194304 10345943 140735034581584 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 9925 8586 760 1502 0 8418 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39700
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24960
/proc/meminfo: memFree=29117980/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=50820 CPUtime=12.69
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 23662 0 0 0 1263 6 0 0 25 0 1 0 26228186 52039680 11260 4089446400 4194304 10345943 140735034581584 18446744073709551615 4286584 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 12705 11260 763 1502 0 11198 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50820
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24960
/proc/meminfo: memFree=29076000/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=67056 CPUtime=25.49
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 29904 0 0 0 2540 9 0 0 25 0 1 0 26228186 68665344 15344 4089446400 4194304 10345943 140735034581584 18446744073709551615 6803030 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 16764 15344 763 1502 0 15257 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67056
[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24962
/proc/meminfo: memFree=28992580/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=103752 CPUtime=51.1
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 40872 0 0 0 5093 17 0 0 25 0 1 0 26228186 106242048 24267 4089446400 4194304 10345943 140735034581584 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 25938 24267 763 1502 0 24431 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 103752
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24962
/proc/meminfo: memFree=28869076/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=172524 CPUtime=102.3
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 60148 0 0 0 10196 34 0 0 25 0 1 0 26228186 176664576 41549 4089446400 4194304 10345943 140735034581584 18446744073709551615 4615301 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 43131 41549 763 1502 0 41624 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 172524
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24964
/proc/meminfo: memFree=28747596/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=253864 CPUtime=162.3
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 81694 0 0 0 16176 54 0 0 25 0 1 0 26228186 259956736 61174 4089446400 4194304 10345943 140735034581584 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 63466 61174 763 1502 0 61959 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 253864
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24966
/proc/meminfo: memFree=28590196/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=335912 CPUtime=222.3
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 102214 0 0 0 22159 71 0 0 25 0 1 0 26228186 343973888 81691 4089446400 4194304 10345943 140735034581584 18446744073709551615 6119433 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 83978 81691 763 1502 0 82471 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 335912
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24968
/proc/meminfo: memFree=28426564/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=422320 CPUtime=282.3
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 123733 0 0 0 28142 88 0 0 25 0 1 0 26228186 432455680 103210 4089446400 4194304 10345943 140735034581584 18446744073709551615 6519530 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 105580 103210 763 1502 0 104073 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 422320
[startup+342.301 s]
/proc/loadavg: 2.05 2.01 1.96 3/179 24969
/proc/meminfo: memFree=28300020/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=519420 CPUtime=342.3
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 148034 0 0 0 34126 104 0 0 25 0 1 0 26228186 531886080 125595 4089446400 4194304 10345943 140735034581584 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 129855 125595 763 1502 0 128348 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 519420
[startup+402.301 s]
/proc/loadavg: 1.45 1.85 1.91 2/171 24991
/proc/meminfo: memFree=28636452/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=606064 CPUtime=402.31
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 169663 0 0 0 40111 120 0 0 25 0 1 0 26228186 620609536 147223 4089446400 4194304 10345943 140735034581584 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 151516 147223 763 1502 0 150009 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 606064
[startup+462.301 s]
/proc/loadavg: 1.16 1.70 1.85 2/171 24993
/proc/meminfo: memFree=28548492/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=693060 CPUtime=462.31
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 191357 0 0 0 46095 136 0 0 25 0 1 0 26228186 709693440 168917 4089446400 4194304 10345943 140735034581584 18446744073709551615 5926370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 173265 168917 764 1502 0 171758 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 693060
[startup+522.301 s]
/proc/loadavg: 1.10 1.58 1.80 2/171 24995
/proc/meminfo: memFree=28460256/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=781068 CPUtime=522.31
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 213296 0 0 0 52080 151 0 0 25 0 1 0 26228186 799813632 190856 4089446400 4194304 10345943 140735034581584 18446744073709551615 6307499 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 195267 190856 764 1502 0 193760 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 781068
[startup+582.301 s]
/proc/loadavg: 1.04 1.47 1.75 2/171 25000
/proc/meminfo: memFree=28372040/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=869664 CPUtime=582.31
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 237569 0 0 0 58065 166 0 0 25 0 1 0 26228186 890535936 213213 4089446400 4194304 10345943 140735034581584 18446744073709551615 4796482 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 217416 213213 765 1502 0 215909 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 869664
[startup+642.301 s]
/proc/loadavg: 1.01 1.38 1.70 2/171 25001
/proc/meminfo: memFree=28285660/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=953872 CPUtime=642.31
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 258682 0 0 0 64049 182 0 0 25 0 1 0 26228186 976764928 234325 4089446400 4194304 10345943 140735034581584 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 238468 234325 765 1502 0 236961 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 953872
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=27664076/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=1594248 CPUtime=1062.33
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 414068 0 0 0 105947 286 0 0 25 0 1 0 26228186 1632509952 389710 4089446400 4194304 10345943 140735034581584 18446744073709551615 6803098 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 398562 389710 765 1502 0 397055 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1594248
[startup+1122.3 s]
/proc/loadavg: 1.00 1.07 1.40 2/171 25014
/proc/meminfo: memFree=27571752/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=1682960 CPUtime=1122.33
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 438422 0 0 0 111932 301 0 0 25 0 1 0 26228186 1723351040 412305 4089446400 4194304 10345943 140735034581584 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 420740 412305 765 1502 0 419233 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1682960
[startup+1182.3 s]
/proc/loadavg: 1.00 1.05 1.37 2/171 25016
/proc/meminfo: memFree=27484624/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=1771612 CPUtime=1182.32
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 460605 0 0 0 117916 316 0 0 25 0 1 0 26228186 1814130688 434488 4089446400 4194304 10345943 140735034581584 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 442903 434488 765 1502 0 441396 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1771612
[startup+1242.3 s]
/proc/loadavg: 1.00 1.04 1.34 2/171 25017
/proc/meminfo: memFree=27391320/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=1863380 CPUtime=1242.33
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 483418 0 0 0 123903 330 0 0 25 0 1 0 26228186 1908101120 457301 4089446400 4194304 10345943 140735034581584 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 465845 457301 765 1502 0 464338 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1863380
[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/171 25018
/proc/meminfo: memFree=27302972/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=1950888 CPUtime=1302.33
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 505388 0 0 0 129889 344 0 0 25 0 1 0 26228186 1997709312 479270 4089446400 4194304 10345943 140735034581584 18446744073709551615 6803071 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 487722 479270 765 1502 0 486215 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1950888
[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.30 2/171 25020
/proc/meminfo: memFree=27213628/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2073672 CPUtime=1362.33
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 527935 0 0 0 135874 359 0 0 25 0 1 0 26228186 2123440128 501816 4089446400 4194304 10345943 140735034581584 18446744073709551615 6119719 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 518418 501816 765 1502 0 516911 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2073672
[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.27 2/171 25022
/proc/meminfo: memFree=27121916/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2164776 CPUtime=1422.34
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 550656 0 0 0 141859 375 0 0 25 0 1 0 26228186 2216730624 524537 4089446400 4194304 10345943 140735034581584 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 541194 524537 765 1502 0 539687 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2164776
[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.26 2/171 25024
/proc/meminfo: memFree=27033832/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2253172 CPUtime=1482.33
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 572711 0 0 0 147843 390 0 0 25 0 1 0 26228186 2307248128 546592 4089446400 4194304 10345943 140735034581584 18446744073709551615 9099894 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 563293 546592 765 1502 0 561786 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2253172
[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/171 25025
/proc/meminfo: memFree=26945984/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2340164 CPUtime=1542.34
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 594584 0 0 0 153830 404 0 0 25 0 1 0 26228186 2396327936 568465 4089446400 4194304 10345943 140735034581584 18446744073709551615 6702914 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 585041 568465 765 1502 0 583534 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2340164
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.22 2/171 25026
/proc/meminfo: memFree=26856028/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2429608 CPUtime=1602.34
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 616911 0 0 0 159817 417 0 0 25 0 1 0 26228186 2487918592 590792 4089446400 4194304 10345943 140735034581584 18446744073709551615 6130428 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 607402 590792 765 1502 0 605895 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2429608
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.20 2/171 25028
/proc/meminfo: memFree=26764692/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2520708 CPUtime=1662.34
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 639696 0 0 0 165801 433 0 0 25 0 1 0 26228186 2581204992 613576 4089446400 4194304 10345943 140735034581584 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 630177 613576 765 1502 0 628670 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2520708
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/171 25030
/proc/meminfo: memFree=26678720/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2608532 CPUtime=1722.35
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 661544 0 0 0 171787 448 0 0 25 0 1 0 26228186 2671136768 635423 4089446400 4194304 10345943 140735034581584 18446744073709551615 6804117 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 652133 635423 765 1502 0 650626 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2608532
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/171 25032
/proc/meminfo: memFree=26587640/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2697488 CPUtime=1782.35
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 683804 0 0 0 177776 459 0 0 25 0 1 0 26228186 2762227712 657683 4089446400 4194304 10345943 140735034581584 18446744073709551615 6702733 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 674372 657683 765 1502 0 672865 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2697488
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.17 2/171 25032
/proc/meminfo: memFree=26582924/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2701412 CPUtime=1785.54
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 684990 0 0 0 178095 459 0 0 25 0 1 0 26228186 2766245888 658869 4089446400 4194304 10345943 140735034581584 18446744073709551615 4882034 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24959/statm: 675353 658869 765 1502 0 673846 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 2701412
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.17 2/171 25032
/proc/meminfo: memFree=26575848/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2708600 CPUtime=1791.95
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 686721 0 0 0 178735 460 0 0 25 0 1 0 26228186 2773606400 660600 4089446400 4194304 10345943 140735034581584 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24959/statm: 677150 660600 769 1502 0 675643 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 2708600
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.17 2/171 25032
/proc/meminfo: memFree=26575848/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2708600 CPUtime=1793.55
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 686721 0 0 0 178895 460 0 0 25 0 1 0 26228186 2773606400 660600 4089446400 4194304 10345943 140735034581584 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24959/statm: 677150 660600 769 1502 0 675643 0
Current children cumulated CPU time (s) 1793.55
Current children cumulated vsize (KiB) 2708600
[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/171 25032
/proc/meminfo: memFree=26575848/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2708600 CPUtime=1794.35
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 686721 0 0 0 178975 460 0 0 25 0 1 0 26228186 2773606400 660600 4089446400 4194304 10345943 140735034581584 18446744073709551615 4221192 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24959/statm: 677150 660600 769 1502 0 675643 0
Current children cumulated CPU time (s) 1794.35
Current children cumulated vsize (KiB) 2708600
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.17 2/171 25032
/proc/meminfo: memFree=26575848/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2708600 CPUtime=1795.15
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 686721 0 0 0 179055 460 0 0 25 0 1 0 26228186 2773606400 660600 4089446400 4194304 10345943 140735034581584 18446744073709551615 4665794 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24959/statm: 677150 660600 769 1502 0 675643 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 2708600
[startup+1795.5 s]
/proc/loadavg: 1.00 1.00 1.17 2/171 25032
/proc/meminfo: memFree=26575848/32951124 swapFree=67111528/67111528
[pid=24959] ppid=24957 vsize=2087872 CPUtime=1795.55
/proc/24959/stat : 24959 (pbscip.linux.x8) R 24957 24959 24322 0 -1 4202496 686721 0 0 0 179089 466 0 0 25 0 1 0 26228186 2137980928 242914 4089446400 4194304 10345943 140735034581584 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24959/statm: 521968 242914 769 1502 0 520461 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (KiB) 2087872
Child status: 0
Real time (s): 1795.54
CPU time (s): 1795.59
CPU user time (s): 1790.9
CPU system time (s): 4.69329
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2708600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.9
system time used= 4.69329
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 686724
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= 1
involuntary context switches= 1044
runsolver used 2.72659 second user time and 5.74413 second system time
The end
Begin job on node109 at 2010-07-08 11:09:01
IDJOB=2705765
IDBENCH=79429
IDSOLVER=1214
FILE ID=node109/2705765-1278580141
PBS_JOBID= 11240236
Free space on /tmp= 73760 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-jnh217_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-2705765-1278580141/watcher-2705765-1278580141 -o /tmp/evaluation-result-2705765-1278580141/solver-2705765-1278580141 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705765-1278580141.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 21c59077deccfec4231c8e158229757c
RANDOM SEED=352665950
node109.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.817
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.63
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.817
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
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.817
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.817
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.83
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.817
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.817
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.817
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.75
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.817
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.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29169432 kB
Buffers: 163456 kB
Cached: 3371820 kB
SwapCached: 0 kB
Active: 2033472 kB
Inactive: 1600868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29169432 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 25668 kB
Writeback: 0 kB
AnonPages: 99180 kB
Mapped: 17588 kB
Slab: 83008 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 237696 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= 73756 MiB
End job on node109 at 2010-07-08 11:38:57