0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2700224-1278534453.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 0 impl, 800 cont) and 1701 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 1000 implications, 0 cliques
0.00/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.00/0.05 c 800 constraints of type <indicator>
0.00/0.05 c 800 constraints of type <linear>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1799.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 o 394238
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c t 0.0s| 1 | 0 | 0 | - |5803k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6176k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 41 | - |6218k| 0 | 0 |1700 |1600 |1700 | 71 | 71 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 113 | - |6265k| 0 | 5 |1700 |1600 |1700 | 113 | 113 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 157 | - |6307k| 0 | 73 |1700 |1600 |1700 | 144 | 144 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 190 | - |6556k| 0 | 79 |1700 |1600 |1700 | 168 | 168 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 199 | - |6586k| 0 | 79 |1700 |1600 |1700 | 173 | 173 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 238 | - |6619k| 0 | 82 |1700 |1600 |1700 | 176 | 176 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.39/0.43 c 0.4s| 1 | 2 | 385 | - |6671k| 0 | 82 |1700 |1600 |1700 | 176 | 176 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
10.79/10.81 c 10.6s| 10000 | 10001 | 34970 | 3.5 | 19M| 225 | 4 |1700 |1600 |1700 | 245 |6578 | 0 | 793 | 0.000000e+00 | 3.942380e+05 | Inf
18.09/18.14 c 17.8s| 20000 | 20001 | 57116 | 2.8 | 29M| 237 | 0 |1700 |1600 |1700 | 292 | 12k| 0 | 793 | 0.000000e+00 | 3.942380e+05 | Inf
26.00/26.06 c 25.6s| 30000 | 30001 | 92169 | 3.1 | 38M| 237 | 3 |1700 |1600 |1700 | 332 | 18k| 0 | 793 | 0.000000e+00 | 3.942380e+05 | Inf
33.39/33.47 c 32.8s| 40000 | 39999 |115230 | 2.9 | 48M| 237 | 0 |1700 |1603 |1700 | 222 | 23k| 3 | 793 | 0.000000e+00 | 3.942380e+05 | Inf
40.60/40.65 c 39.8s| 50000 | 49999 |134718 | 2.7 | 58M| 237 | 0 |1700 |1603 |1700 | 279 | 28k| 3 | 793 | 0.000000e+00 | 3.942380e+05 | Inf
47.69/47.73 c 46.8s| 60000 | 59997 |152444 | 2.5 | 68M| 239 | 0 |1700 |1605 |1700 | 268 | 32k| 5 | 793 | 0.000000e+00 | 3.942380e+05 | Inf
54.79/54.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.79/54.89 c 53.8s| 70000 | 69997 |170260 | 2.4 | 77M| 239 | 0 |1700 |1605 |1700 | 265 | 37k| 5 | 793 | 0.000000e+00 | 3.942380e+05 | Inf
61.89/61.96 c 60.7s| 80000 | 79995 |186329 | 2.3 | 87M| 239 | 4 |1700 |1607 |1700 | 297 | 40k| 7 | 793 | 0.000000e+00 | 3.942380e+05 | Inf
69.10/69.10 c 67.8s| 90000 | 89995 |205079 | 2.3 | 97M| 239 | 0 |1700 |1606 |1700 | 297 | 45k| 7 | 793 | 0.000000e+00 | 3.942380e+05 | Inf
76.19/76.29 c 74.8s|100000 | 99993 |225243 | 2.3 | 106M| 239 | 0 |1700 |1608 |1700 | 305 | 50k| 9 | 804 | 0.000000e+00 | 3.942380e+05 | Inf
83.40/83.43 c 81.8s|110000 |109993 |243992 | 2.2 | 116M| 239 | 15 |1700 |1608 |1700 | 260 | 54k| 9 | 837 | 0.000000e+00 | 3.942380e+05 | Inf
90.80/90.80 c 89.0s|120000 |119993 |271207 | 2.3 | 126M| 239 | 14 |1700 |1608 |1700 | 280 | 60k| 9 | 854 | 0.000000e+00 | 3.942380e+05 | Inf
98.09/98.11 c 96.2s|130000 |129993 |294490 | 2.3 | 136M| 239 | 0 |1700 |1608 |1700 | 261 | 65k| 9 | 895 | 0.000000e+00 | 3.942380e+05 | Inf
105.29/105.39 c 103s|140000 |139991 |318592 | 2.3 | 145M| 239 | 8 |1700 |1609 |1700 | 245 | 70k| 10 | 922 | 0.000000e+00 | 3.942380e+05 | Inf
112.50/112.52 c 110s|150000 |149991 |338961 | 2.3 | 155M| 239 | 0 |1700 |1609 |1700 | 272 | 74k| 10 | 957 | 0.000000e+00 | 3.942380e+05 | Inf
119.49/119.58 c 117s|160000 |159991 |355894 | 2.2 | 165M| 239 | 0 |1700 |1608 |1700 | 284 | 79k| 10 | 978 | 0.000000e+00 | 3.942380e+05 | Inf
126.60/126.63 c 124s|170000 |169991 |371461 | 2.2 | 174M| 239 | 0 |1700 |1608 |1700 | 293 | 83k| 10 |1004 | 0.000000e+00 | 3.942380e+05 | Inf
133.49/133.55 c 131s|180000 |179991 |386412 | 2.1 | 184M| 239 | 0 |1700 |1608 |1700 | 281 | 87k| 10 |1028 | 0.000000e+00 | 3.942380e+05 | Inf
140.29/140.31 c 138s|190000 |189991 |396786 | 2.1 | 193M| 239 | 0 |1700 |1608 |1700 | 293 | 90k| 10 |1058 | 0.000000e+00 | 3.942380e+05 | Inf
147.10/147.11 c 144s|200000 |199991 |406867 | 2.0 | 203M| 239 | 0 |1700 |1607 |1700 | 240 | 92k| 10 |1058 | 0.000000e+00 | 3.942380e+05 | Inf
154.00/154.08 c 151s|210000 |209991 |421728 | 2.0 | 213M| 239 | 0 |1700 |1606 |1700 | 251 | 96k| 10 |1081 | 0.000000e+00 | 3.942380e+05 | Inf
161.00/161.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.00/161.08 c 158s|220000 |219991 |435905 | 2.0 | 222M| 239 | 0 |1700 |1606 |1700 | 242 | 100k| 10 |1107 | 0.000000e+00 | 3.942380e+05 | Inf
167.89/167.99 c 165s|230000 |229991 |449331 | 2.0 | 232M| 249 | 0 |1700 |1606 |1700 | 266 | 103k| 10 |1135 | 0.000000e+00 | 3.942380e+05 | Inf
174.80/174.87 c 171s|240000 |239987 |462499 | 1.9 | 241M| 249 | 0 |1700 |1612 |1700 | 259 | 106k| 16 |1155 | 0.000000e+00 | 3.942380e+05 | Inf
181.70/181.75 c 178s|250000 |249987 |475529 | 1.9 | 251M| 249 | 0 |1700 |1612 |1700 | 276 | 110k| 16 |1157 | 0.000000e+00 | 3.942380e+05 | Inf
188.70/188.70 c 185s|260000 |259987 |489969 | 1.9 | 261M| 249 | 6 |1700 |1612 |1700 | 245 | 113k| 16 |1179 | 0.000000e+00 | 3.942380e+05 | Inf
195.59/195.65 c 192s|270000 |269987 |503419 | 1.9 | 270M| 249 | 0 |1700 |1612 |1700 | 302 | 117k| 16 |1198 | 0.000000e+00 | 3.942380e+05 | Inf
202.59/202.64 c 199s|280000 |279987 |516263 | 1.8 | 280M| 249 | 0 |1700 |1612 |1700 | 290 | 120k| 16 |1218 | 0.000000e+00 | 3.942380e+05 | Inf
209.39/209.40 c 205s|290000 |289987 |527041 | 1.8 | 290M| 249 | 0 |1700 |1612 |1700 | 283 | 123k| 16 |1220 | 0.000000e+00 | 3.942380e+05 | Inf
216.30/216.30 c 212s|300000 |299987 |538922 | 1.8 | 299M| 249 | 0 |1700 |1611 |1700 | 259 | 126k| 16 |1238 | 0.000000e+00 | 3.942380e+05 | Inf
223.20/223.26 c 219s|310000 |309987 |552177 | 1.8 | 309M| 249 | 0 |1700 |1611 |1700 | 297 | 130k| 16 |1260 | 0.000000e+00 | 3.942380e+05 | Inf
230.30/230.36 c 226s|320000 |319987 |570196 | 1.8 | 319M| 249 | 0 |1700 |1611 |1700 | 271 | 134k| 16 |1276 | 0.000000e+00 | 3.942380e+05 | Inf
237.29/237.39 c 233s|330000 |329987 |586435 | 1.8 | 328M| 249 | 0 |1700 |1611 |1700 | 304 | 138k| 16 |1295 | 0.000000e+00 | 3.942380e+05 | Inf
244.29/244.39 c 240s|340000 |339987 |600150 | 1.8 | 338M| 249 | 0 |1700 |1611 |1700 | 257 | 141k| 16 |1305 | 0.000000e+00 | 3.942380e+05 | Inf
251.20/251.28 c 246s|350000 |349987 |614276 | 1.8 | 347M| 249 | 0 |1700 |1611 |1700 | 278 | 145k| 16 |1315 | 0.000000e+00 | 3.942380e+05 | Inf
258.30/258.32 c 253s|360000 |359987 |629869 | 1.7 | 357M| 249 | 0 |1700 |1611 |1700 | 267 | 149k| 16 |1337 | 0.000000e+00 | 3.942380e+05 | Inf
265.20/265.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.20/265.20 c 260s|370000 |369987 |643282 | 1.7 | 367M| 249 | 0 |1700 |1611 |1700 | 264 | 152k| 16 |1362 | 0.000000e+00 | 3.942380e+05 | Inf
271.90/271.90 c 267s|380000 |379987 |650835 | 1.7 | 376M| 249 | 0 |1700 |1611 |1700 | 271 | 154k| 16 |1362 | 0.000000e+00 | 3.942380e+05 | Inf
278.80/278.86 c 273s|390000 |389987 |664312 | 1.7 | 386M| 249 | 0 |1700 |1611 |1700 | 279 | 158k| 16 |1384 | 0.000000e+00 | 3.942380e+05 | Inf
285.70/285.72 c 280s|400000 |399987 |674856 | 1.7 | 395M| 249 | 2 |1700 |1611 |1700 | 252 | 160k| 16 |1405 | 0.000000e+00 | 3.942380e+05 | Inf
292.51/292.58 c 287s|410000 |409987 |686190 | 1.7 | 405M| 249 | 0 |1700 |1611 |1700 | 264 | 163k| 16 |1405 | 0.000000e+00 | 3.942380e+05 | Inf
299.50/299.52 c 294s|420000 |419987 |700761 | 1.7 | 415M| 249 | 0 |1700 |1611 |1700 | 273 | 167k| 16 |1427 | 0.000000e+00 | 3.942380e+05 | Inf
306.50/306.57 c 301s|430000 |429987 |719793 | 1.7 | 424M| 249 | 7 |1700 |1611 |1700 | 236 | 172k| 16 |1449 | 0.000000e+00 | 3.942380e+05 | Inf
313.40/313.43 c 307s|440000 |439987 |733068 | 1.7 | 434M| 249 | 0 |1700 |1610 |1700 | 277 | 175k| 16 |1472 | 0.000000e+00 | 3.942380e+05 | Inf
320.40/320.41 c 314s|450000 |449987 |747679 | 1.7 | 444M| 249 | 0 |1700 |1610 |1700 | 292 | 179k| 16 |1494 | 0.000000e+00 | 3.942380e+05 | Inf
327.30/327.36 c 321s|460000 |459987 |760872 | 1.7 | 453M| 249 | 0 |1700 |1610 |1700 | 264 | 182k| 16 |1497 | 0.000000e+00 | 3.942380e+05 | Inf
334.21/334.26 c 328s|470000 |469987 |772793 | 1.6 | 463M| 251 | 11 |1700 |1609 |1700 | 269 | 185k| 16 |1521 | 0.000000e+00 | 3.942380e+05 | Inf
341.30/341.30 c 335s|480000 |479987 |788944 | 1.6 | 472M| 251 | 0 |1700 |1609 |1700 | 291 | 189k| 16 |1548 | 0.000000e+00 | 3.942380e+05 | Inf
347.91/347.92 c 341s|490000 |489987 |794245 | 1.6 | 482M| 251 | 0 |1700 |1609 |1700 | 288 | 190k| 16 |1548 | 0.000000e+00 | 3.942380e+05 | Inf
354.81/354.89 c 348s|500000 |499987 |809346 | 1.6 | 492M| 251 | 0 |1700 |1608 |1700 | 263 | 194k| 16 |1570 | 0.000000e+00 | 3.942380e+05 | Inf
361.70/361.73 c 355s|510000 |509987 |820923 | 1.6 | 501M| 251 | 0 |1700 |1608 |1700 | 264 | 196k| 16 |1578 | 0.000000e+00 | 3.942380e+05 | Inf
368.60/368.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.60/368.66 c 361s|520000 |519987 |833696 | 1.6 | 511M| 251 | 0 |1700 |1608 |1700 | 270 | 199k| 16 |1594 | 0.000000e+00 | 3.942380e+05 | Inf
375.40/375.46 c 368s|530000 |529987 |843361 | 1.6 | 521M| 251 | 0 |1700 |1608 |1700 | 275 | 202k| 16 |1619 | 0.000000e+00 | 3.942380e+05 | Inf
382.30/382.33 c 375s|540000 |539987 |855027 | 1.6 | 530M| 251 | 0 |1700 |1608 |1700 | 259 | 205k| 16 |1619 | 0.000000e+00 | 3.942380e+05 | Inf
389.10/389.16 c 382s|550000 |549987 |867323 | 1.6 | 540M| 251 | 0 |1700 |1608 |1700 | 278 | 208k| 16 |1636 | 0.000000e+00 | 3.942380e+05 | Inf
395.80/395.83 c 388s|560000 |559987 |873988 | 1.6 | 549M| 251 | 0 |1700 |1608 |1700 | 268 | 210k| 16 |1639 | 0.000000e+00 | 3.942380e+05 | Inf
402.51/402.59 c 395s|570000 |569987 |883329 | 1.5 | 559M| 251 | 0 |1700 |1608 |1700 | 263 | 212k| 16 |1662 | 0.000000e+00 | 3.942380e+05 | Inf
409.51/409.50 c 401s|580000 |579987 |895101 | 1.5 | 569M| 251 | 0 |1700 |1608 |1700 | 226 | 215k| 16 |1663 | 0.000000e+00 | 3.942380e+05 | Inf
416.31/416.35 c 408s|590000 |589987 |906606 | 1.5 | 578M| 251 | 0 |1700 |1608 |1700 | 273 | 218k| 16 |1686 | 0.000000e+00 | 3.942380e+05 | Inf
423.11/423.11 c 415s|600000 |599987 |916347 | 1.5 | 588M| 251 | 0 |1700 |1608 |1700 | 271 | 220k| 16 |1686 | 0.000000e+00 | 3.942380e+05 | Inf
429.80/429.89 c 421s|610000 |609987 |926203 | 1.5 | 597M| 251 | 0 |1700 |1608 |1700 | 286 | 223k| 16 |1708 | 0.000000e+00 | 3.942380e+05 | Inf
436.81/436.84 c 428s|620000 |619987 |939056 | 1.5 | 607M| 251 | 0 |1700 |1608 |1700 | 268 | 226k| 16 |1726 | 0.000000e+00 | 3.942380e+05 | Inf
443.60/443.66 c 435s|630000 |629987 |949707 | 1.5 | 616M| 251 | 0 |1700 |1608 |1700 | 280 | 229k| 16 |1729 | 0.000000e+00 | 3.942380e+05 | Inf
450.61/450.63 c 442s|640000 |639987 |961560 | 1.5 | 626M| 251 | 0 |1700 |1607 |1700 | 292 | 232k| 16 |1750 | 0.000000e+00 | 3.942380e+05 | Inf
457.61/457.64 c 449s|650000 |649987 |976327 | 1.5 | 636M| 251 | 0 |1700 |1607 |1700 | 250 | 234k| 16 |1766 | 0.000000e+00 | 3.942380e+05 | Inf
464.40/464.49 c 455s|660000 |659987 |987450 | 1.5 | 645M| 251 | 0 |1700 |1607 |1700 | 295 | 237k| 16 |1771 | 0.000000e+00 | 3.942380e+05 | Inf
471.31/471.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.31/471.31 c 462s|670000 |669987 |997854 | 1.5 | 655M| 251 | 0 |1700 |1607 |1700 | 273 | 240k| 16 |1791 | 0.000000e+00 | 3.942380e+05 | Inf
478.21/478.23 c 469s|680000 |679985 | 1010k| 1.5 | 664M| 251 | 0 |1700 |1609 |1700 | 251 | 243k| 19 |1791 | 0.000000e+00 | 3.942380e+05 | Inf
485.01/485.00 c 476s|690000 |689985 | 1019k| 1.5 | 674M| 251 | 0 |1700 |1609 |1700 | 297 | 245k| 19 |1812 | 0.000000e+00 | 3.942380e+05 | Inf
491.91/491.91 c 482s|700000 |699985 | 1031k| 1.5 | 684M| 251 | 0 |1700 |1608 |1700 | 274 | 248k| 19 |1814 | 0.000000e+00 | 3.942380e+05 | Inf
498.90/498.93 c 489s|710000 |709985 | 1047k| 1.5 | 693M| 251 | 0 |1700 |1608 |1700 | 270 | 251k| 19 |1834 | 0.000000e+00 | 3.942380e+05 | Inf
505.80/505.83 c 496s|720000 |719985 | 1061k| 1.5 | 703M| 251 | 0 |1700 |1608 |1700 | 258 | 255k| 19 |1857 | 0.000000e+00 | 3.942380e+05 | Inf
512.71/512.76 c 503s|730000 |729985 | 1075k| 1.5 | 713M| 251 | 0 |1700 |1608 |1700 | 268 | 259k| 19 |1876 | 0.000000e+00 | 3.942380e+05 | Inf
519.51/519.50 c 509s|740000 |739985 | 1084k| 1.5 | 722M| 251 | 0 |1700 |1608 |1700 | 280 | 261k| 19 |1880 | 0.000000e+00 | 3.942380e+05 | Inf
526.31/526.36 c 516s|750000 |749985 | 1095k| 1.5 | 732M| 251 | 0 |1700 |1608 |1700 | 276 | 264k| 19 |1896 | 0.000000e+00 | 3.942380e+05 | Inf
533.00/533.01 c 523s|760000 |759985 | 1102k| 1.5 | 741M| 251 | 0 |1700 |1608 |1700 | 288 | 266k| 19 |1898 | 0.000000e+00 | 3.942380e+05 | Inf
539.40/539.47 c 529s|770000 |769985 | 1106k| 1.4 | 751M| 251 | 0 |1700 |1607 |1700 | 279 | 267k| 19 |1898 | 0.000000e+00 | 3.942380e+05 | Inf
546.11/546.16 c 536s|780000 |779985 | 1114k| 1.4 | 761M| 251 | 0 |1700 |1606 |1700 | 292 | 269k| 19 |1910 | 0.000000e+00 | 3.942380e+05 | Inf
553.01/553.08 c 542s|790000 |789985 | 1128k| 1.4 | 770M| 251 | 0 |1700 |1606 |1700 | 266 | 272k| 19 |1920 | 0.000000e+00 | 3.942380e+05 | Inf
560.01/560.02 c 549s|800000 |799985 | 1140k| 1.4 | 780M| 251 | 0 |1700 |1606 |1700 | 294 | 275k| 19 |1940 | 0.000000e+00 | 3.942380e+05 | Inf
566.80/566.88 c 556s|810000 |809985 | 1151k| 1.4 | 789M| 251 | 0 |1700 |1606 |1700 | 287 | 278k| 19 |1940 | 0.000000e+00 | 3.942380e+05 | Inf
573.71/573.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.71/573.76 c 563s|820000 |819985 | 1162k| 1.4 | 799M| 251 | 0 |1700 |1606 |1700 | 278 | 280k| 19 |1961 | 0.000000e+00 | 3.942380e+05 | Inf
580.51/580.59 c 569s|830000 |829985 | 1172k| 1.4 | 809M| 251 | 0 |1700 |1606 |1700 | 295 | 283k| 19 |1962 | 0.000000e+00 | 3.942380e+05 | Inf
587.61/587.62 c 576s|840000 |839985 | 1189k| 1.4 | 818M| 251 | 0 |1700 |1606 |1700 | 248 | 287k| 19 |1983 | 0.000000e+00 | 3.942380e+05 | Inf
594.51/594.50 c 583s|850000 |849985 | 1200k| 1.4 | 828M| 251 | 0 |1700 |1606 |1700 | 287 | 290k| 19 |2004 | 0.000000e+00 | 3.942380e+05 | Inf
601.31/601.36 c 590s|860000 |859985 | 1213k| 1.4 | 838M| 251 | 0 |1700 |1606 |1700 | 285 | 293k| 19 |2004 | 0.000000e+00 | 3.942380e+05 | Inf
608.01/608.08 c 596s|870000 |869985 | 1222k| 1.4 | 847M| 251 | 0 |1700 |1606 |1700 | 310 | 295k| 19 |2025 | 0.000000e+00 | 3.942380e+05 | Inf
614.92/614.93 c 603s|880000 |879985 | 1233k| 1.4 | 857M| 251 | 0 |1700 |1606 |1700 | 263 | 298k| 19 |2025 | 0.000000e+00 | 3.942380e+05 | Inf
621.81/621.84 c 610s|890000 |889985 | 1246k| 1.4 | 866M| 251 | 35 |1700 |1606 |1700 | 238 | 301k| 19 |2045 | 0.000000e+00 | 3.942380e+05 | Inf
628.81/628.80 c 617s|900000 |899985 | 1260k| 1.4 | 876M| 251 | 0 |1700 |1606 |1700 | 288 | 304k| 19 |2067 | 0.000000e+00 | 3.942380e+05 | Inf
635.61/635.69 c 623s|910000 |909985 | 1274k| 1.4 | 886M| 251 | 0 |1700 |1606 |1700 | 277 | 308k| 19 |2068 | 0.000000e+00 | 3.942380e+05 | Inf
642.61/642.64 c 630s|920000 |919985 | 1287k| 1.4 | 895M| 251 | 0 |1700 |1606 |1700 | 284 | 311k| 19 |2089 | 0.000000e+00 | 3.942380e+05 | Inf
649.41/649.43 c 637s|930000 |929983 | 1299k| 1.4 | 905M| 379 | 0 |1700 |1613 |1700 | 275 | 314k| 26 |2102 | 0.000000e+00 | 3.942380e+05 | Inf
656.12/656.15 c 643s|940000 |939983 | 1311k| 1.4 | 914M| 379 | 0 |1700 |1613 |1700 | 270 | 316k| 26 |2106 | 0.000000e+00 | 3.942380e+05 | Inf
662.41/662.49 c 650s|950000 |949983 | 1314k| 1.4 | 924M| 379 | 0 |1700 |1611 |1700 | 262 | 317k| 26 |2106 | 0.000000e+00 | 3.942380e+05 | Inf
669.11/669.13 c 656s|960000 |959983 | 1322k| 1.4 | 933M| 379 | 0 |1700 |1611 |1700 | 267 | 319k| 26 |2124 | 0.000000e+00 | 3.942380e+05 | Inf
675.71/675.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.71/675.75 c 663s|970000 |969983 | 1332k| 1.4 | 943M| 379 | 0 |1700 |1611 |1700 | 284 | 321k| 26 |2124 | 0.000000e+00 | 3.942380e+05 | Inf
682.31/682.37 c 669s|980000 |979983 | 1340k| 1.4 | 953M| 379 | 0 |1700 |1611 |1700 | 275 | 323k| 26 |2139 | 0.000000e+00 | 3.942380e+05 | Inf
688.82/688.87 c 675s|990000 |989983 | 1346k| 1.4 | 962M| 379 | 0 |1700 |1611 |1700 | 283 | 325k| 26 |2145 | 0.000000e+00 | 3.942380e+05 | Inf
695.41/695.48 c 682s| 1000k|999983 | 1355k| 1.4 | 972M| 379 | 0 |1700 |1611 |1700 | 240 | 327k| 26 |2145 | 0.000000e+00 | 3.942380e+05 | Inf
701.92/701.98 c 688s| 1010k| 1009k| 1362k| 1.3 | 981M| 379 | 0 |1700 |1611 |1700 | 242 | 328k| 26 |2162 | 0.000000e+00 | 3.942380e+05 | Inf
708.51/708.56 c 695s| 1020k| 1019k| 1369k| 1.3 | 991M| 379 | 0 |1700 |1611 |1700 | 260 | 330k| 26 |2165 | 0.000000e+00 | 3.942380e+05 | Inf
714.92/714.96 c 701s| 1030k| 1029k| 1373k| 1.3 |1000M| 379 | 0 |1700 |1611 |1700 | 262 | 331k| 26 |2165 | 0.000000e+00 | 3.942380e+05 | Inf
721.41/721.48 c 707s| 1040k| 1039k| 1380k| 1.3 |1010M| 379 | 0 |1700 |1610 |1700 | 286 | 333k| 26 |2166 | 0.000000e+00 | 3.942380e+05 | Inf
728.01/728.04 c 714s| 1050k| 1049k| 1388k| 1.3 |1019M| 379 | 0 |1700 |1611 |1700 | 261 | 335k| 28 |2184 | 0.000000e+00 | 3.942380e+05 | Inf
734.41/734.46 c 720s| 1060k| 1059k| 1393k| 1.3 |1029M| 379 | 0 |1700 |1615 |1700 | 247 | 336k| 32 |2184 | 0.000000e+00 | 3.942380e+05 | Inf
740.81/740.88 c 726s| 1070k| 1069k| 1398k| 1.3 |1038M| 379 | 0 |1700 |1614 |1700 | 293 | 337k| 32 |2185 | 0.000000e+00 | 3.942380e+05 | Inf
747.31/747.34 c 733s| 1080k| 1079k| 1404k| 1.3 |1048M| 379 | 0 |1700 |1614 |1700 | 281 | 339k| 32 |2201 | 0.000000e+00 | 3.942380e+05 | Inf
753.92/753.93 c 739s| 1090k| 1089k| 1414k| 1.3 |1058M| 379 | 0 |1700 |1613 |1700 | 282 | 342k| 32 |2201 | 0.000000e+00 | 3.942380e+05 | Inf
760.31/760.39 c 746s| 1100k| 1099k| 1420k| 1.3 |1067M| 379 | 0 |1700 |1613 |1700 | 260 | 343k| 32 |2202 | 0.000000e+00 | 3.942380e+05 | Inf
766.81/766.86 c 752s| 1110k| 1109k| 1427k| 1.3 |1077M| 379 | 0 |1700 |1613 |1700 | 254 | 345k| 32 |2221 | 0.000000e+00 | 3.942380e+05 | Inf
773.22/773.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.22/773.22 c 758s| 1120k| 1119k| 1431k| 1.3 |1086M| 379 | 0 |1700 |1613 |1700 | 267 | 346k| 32 |2221 | 0.000000e+00 | 3.942380e+05 | Inf
779.71/779.74 c 765s| 1130k| 1129k| 1438k| 1.3 |1096M| 379 | 0 |1700 |1613 |1700 | 286 | 348k| 32 |2221 | 0.000000e+00 | 3.942380e+05 | Inf
786.21/786.25 c 771s| 1140k| 1139k| 1444k| 1.3 |1105M| 379 | 0 |1700 |1613 |1700 | 283 | 349k| 32 |2238 | 0.000000e+00 | 3.942380e+05 | Inf
792.72/792.71 c 777s| 1150k| 1149k| 1450k| 1.3 |1115M| 379 | 0 |1700 |1613 |1700 | 287 | 351k| 32 |2238 | 0.000000e+00 | 3.942380e+05 | Inf
799.12/799.16 c 784s| 1160k| 1159k| 1455k| 1.3 |1124M| 379 | 0 |1700 |1613 |1700 | 276 | 352k| 32 |2238 | 0.000000e+00 | 3.942380e+05 | Inf
805.71/805.71 c 790s| 1170k| 1169k| 1461k| 1.2 |1134M| 379 | 0 |1700 |1613 |1700 | 277 | 354k| 32 |2243 | 0.000000e+00 | 3.942380e+05 | Inf
812.21/812.24 c 796s| 1180k| 1179k| 1470k| 1.2 |1143M| 379 | 0 |1700 |1613 |1700 | 251 | 356k| 32 |2252 | 0.000000e+00 | 3.942380e+05 | Inf
818.71/818.73 c 803s| 1190k| 1189k| 1476k| 1.2 |1153M| 379 | 0 |1700 |1613 |1700 | 275 | 357k| 32 |2253 | 0.000000e+00 | 3.942380e+05 | Inf
825.31/825.39 c 809s| 1200k| 1199k| 1484k| 1.2 |1162M| 379 | 0 |1700 |1613 |1700 | 243 | 360k| 32 |2267 | 0.000000e+00 | 3.942380e+05 | Inf
831.91/831.93 c 816s| 1210k| 1209k| 1491k| 1.2 |1172M| 379 | 0 |1700 |1613 |1700 | 234 | 362k| 32 |2272 | 0.000000e+00 | 3.942380e+05 | Inf
838.32/838.36 c 822s| 1220k| 1219k| 1495k| 1.2 |1181M| 379 | 0 |1700 |1613 |1700 | 240 | 363k| 32 |2272 | 0.000000e+00 | 3.942380e+05 | Inf
844.91/844.90 c 829s| 1230k| 1229k| 1502k| 1.2 |1191M| 379 | 0 |1700 |1613 |1700 | 273 | 364k| 32 |2273 | 0.000000e+00 | 3.942380e+05 | Inf
851.43/851.41 c 835s| 1240k| 1239k| 1508k| 1.2 |1200M| 379 | 0 |1700 |1613 |1700 | 291 | 365k| 32 |2286 | 0.000000e+00 | 3.942380e+05 | Inf
857.81/857.86 c 841s| 1250k| 1249k| 1514k| 1.2 |1210M| 379 | 0 |1700 |1614 |1700 | 272 | 367k| 34 |2290 | 0.000000e+00 | 3.942380e+05 | Inf
864.12/864.17 c 847s| 1260k| 1259k| 1517k| 1.2 |1219M| 379 | 0 |1700 |1614 |1700 | 247 | 368k| 34 |2290 | 0.000000e+00 | 3.942380e+05 | Inf
870.62/870.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.62/870.65 c 854s| 1270k| 1269k| 1524k| 1.2 |1229M| 379 | 0 |1700 |1614 |1700 | 287 | 370k| 34 |2295 | 0.000000e+00 | 3.942380e+05 | Inf
877.02/877.09 c 860s| 1280k| 1279k| 1528k| 1.2 |1238M| 379 | 0 |1700 |1614 |1700 | 274 | 371k| 34 |2308 | 0.000000e+00 | 3.942380e+05 | Inf
883.52/883.51 c 866s| 1290k| 1289k| 1533k| 1.2 |1248M| 379 | 0 |1700 |1613 |1700 | 289 | 372k| 34 |2308 | 0.000000e+00 | 3.942380e+05 | Inf
890.02/890.01 c 873s| 1300k| 1299k| 1539k| 1.2 |1258M| 379 | 0 |1700 |1612 |1700 | 257 | 373k| 34 |2308 | 0.000000e+00 | 3.942380e+05 | Inf
896.53/896.55 c 879s| 1310k| 1309k| 1547k| 1.2 |1267M| 379 | 0 |1700 |1612 |1700 | 289 | 375k| 34 |2323 | 0.000000e+00 | 3.942380e+05 | Inf
902.92/902.99 c 885s| 1320k| 1319k| 1553k| 1.2 |1277M| 379 | 0 |1700 |1612 |1700 | 251 | 376k| 34 |2328 | 0.000000e+00 | 3.942380e+05 | Inf
909.52/909.53 c 892s| 1330k| 1329k| 1560k| 1.2 |1286M| 385 | 0 |1700 |1612 |1700 | 278 | 378k| 34 |2328 | 0.000000e+00 | 3.942380e+05 | Inf
915.92/915.94 c 898s| 1340k| 1339k| 1565k| 1.2 |1296M| 385 | 0 |1700 |1612 |1700 | 279 | 379k| 34 |2328 | 0.000000e+00 | 3.942380e+05 | Inf
922.32/922.36 c 904s| 1350k| 1349k| 1570k| 1.2 |1305M| 385 | 0 |1700 |1612 |1700 | 268 | 381k| 34 |2344 | 0.000000e+00 | 3.942380e+05 | Inf
928.72/928.79 c 911s| 1360k| 1359k| 1575k| 1.2 |1315M| 385 | 3 |1700 |1612 |1700 | 210 | 382k| 34 |2346 | 0.000000e+00 | 3.942380e+05 | Inf
935.32/935.32 c 917s| 1370k| 1369k| 1583k| 1.2 |1324M| 385 | 0 |1700 |1612 |1700 | 257 | 384k| 34 |2346 | 0.000000e+00 | 3.942380e+05 | Inf
941.82/941.86 c 924s| 1380k| 1379k| 1590k| 1.2 |1334M| 385 | 0 |1700 |1612 |1700 | 289 | 386k| 34 |2364 | 0.000000e+00 | 3.942380e+05 | Inf
948.23/948.21 c 930s| 1390k| 1389k| 1595k| 1.1 |1343M| 385 | 0 |1700 |1615 |1700 | 267 | 386k| 37 |2367 | 0.000000e+00 | 3.942380e+05 | Inf
954.52/954.51 c 936s| 1400k| 1399k| 1599k| 1.1 |1353M| 385 | 0 |1700 |1615 |1700 | 263 | 388k| 37 |2367 | 0.000000e+00 | 3.942380e+05 | Inf
961.03/961.05 c 942s| 1410k| 1409k| 1606k| 1.1 |1362M| 385 | 0 |1700 |1617 |1700 | 257 | 389k| 40 |2367 | 0.000000e+00 | 3.942380e+05 | Inf
967.62/967.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
967.62/967.61 c 949s| 1420k| 1419k| 1614k| 1.1 |1372M| 385 | 0 |1700 |1616 |1700 | 276 | 391k| 40 |2386 | 0.000000e+00 | 3.942380e+05 | Inf
974.02/974.08 c 955s| 1430k| 1429k| 1620k| 1.1 |1381M| 385 | 0 |1700 |1616 |1700 | 289 | 392k| 40 |2386 | 0.000000e+00 | 3.942380e+05 | Inf
980.32/980.39 c 961s| 1440k| 1439k| 1625k| 1.1 |1391M| 385 | 0 |1700 |1615 |1700 | 254 | 393k| 40 |2386 | 0.000000e+00 | 3.942380e+05 | Inf
986.82/986.80 c 968s| 1450k| 1449k| 1630k| 1.1 |1400M| 385 | 0 |1700 |1612 |1700 | 270 | 395k| 40 |2399 | 0.000000e+00 | 3.942380e+05 | Inf
993.32/993.37 c 974s| 1460k| 1459k| 1639k| 1.1 |1410M| 385 | 0 |1700 |1612 |1700 | 276 | 397k| 40 |2406 | 0.000000e+00 | 3.942380e+05 | Inf
999.83/999.88 c 980s| 1470k| 1469k| 1646k| 1.1 |1419M| 385 | 0 |1700 |1612 |1700 | 247 | 398k| 40 |2406 | 0.000000e+00 | 3.942380e+05 | Inf
1006.62/1006.69 c 987s| 1480k| 1479k| 1658k| 1.1 |1429M| 385 | 0 |1700 |1611 |1700 | 281 | 400k| 40 |2419 | 0.000000e+00 | 3.942380e+05 | Inf
1013.32/1013.34 c 994s| 1490k| 1489k| 1665k| 1.1 |1438M| 385 | 0 |1700 |1611 |1700 | 236 | 402k| 40 |2422 | 0.000000e+00 | 3.942380e+05 | Inf
1019.82/1019.81 c 1000s| 1500k| 1499k| 1672k| 1.1 |1448M| 385 | 0 |1700 |1610 |1700 | 205 | 403k| 40 |2422 | 0.000000e+00 | 3.942380e+05 | Inf
1026.23/1026.30 c 1006s| 1510k| 1509k| 1680k| 1.1 |1457M| 385 | 0 |1700 |1610 |1700 | 269 | 405k| 40 |2440 | 0.000000e+00 | 3.942380e+05 | Inf
1032.83/1032.82 c 1013s| 1520k| 1519k| 1687k| 1.1 |1467M| 385 | 0 |1700 |1610 |1700 | 257 | 407k| 40 |2441 | 0.000000e+00 | 3.942380e+05 | Inf
1039.22/1039.28 c 1019s| 1530k| 1529k| 1692k| 1.1 |1476M| 385 | 0 |1700 |1610 |1700 | 263 | 408k| 40 |2441 | 0.000000e+00 | 3.942380e+05 | Inf
1045.62/1045.69 c 1025s| 1540k| 1539k| 1697k| 1.1 |1486M| 385 | 0 |1700 |1610 |1700 | 279 | 409k| 40 |2456 | 0.000000e+00 | 3.942380e+05 | Inf
1052.22/1052.26 c 1032s| 1550k| 1549k| 1704k| 1.1 |1495M| 385 | 0 |1700 |1610 |1700 | 248 | 411k| 40 |2457 | 0.000000e+00 | 3.942380e+05 | Inf
1058.83/1058.84 c 1038s| 1560k| 1559k| 1712k| 1.1 |1505M| 385 | 0 |1700 |1613 |1700 | 282 | 413k| 43 |2458 | 0.000000e+00 | 3.942380e+05 | Inf
1065.43/1065.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.43/1065.45 c 1045s| 1570k| 1569k| 1722k| 1.1 |1514M| 385 | 0 |1700 |1613 |1700 | 263 | 415k| 43 |2477 | 0.000000e+00 | 3.942380e+05 | Inf
1071.93/1071.98 c 1051s| 1580k| 1579k| 1728k| 1.1 |1524M| 385 | 0 |1700 |1613 |1700 | 295 | 416k| 43 |2477 | 0.000000e+00 | 3.942380e+05 | Inf
1078.52/1078.53 c 1058s| 1590k| 1589k| 1735k| 1.1 |1533M| 385 | 0 |1700 |1612 |1700 | 266 | 418k| 43 |2477 | 0.000000e+00 | 3.942380e+05 | Inf
1085.13/1085.12 c 1064s| 1600k| 1599k| 1741k| 1.1 |1543M| 385 | 0 |1700 |1612 |1700 | 259 | 420k| 43 |2493 | 0.000000e+00 | 3.942380e+05 | Inf
1091.62/1091.62 c 1070s| 1610k| 1609k| 1746k| 1.1 |1552M| 385 | 3 |1700 |1612 |1700 | 247 | 421k| 43 |2494 | 0.000000e+00 | 3.942380e+05 | Inf
1098.13/1098.18 c 1077s| 1620k| 1619k| 1753k| 1.1 |1562M| 385 | 0 |1700 |1612 |1700 | 270 | 423k| 43 |2495 | 0.000000e+00 | 3.942380e+05 | Inf
1104.63/1104.67 c 1083s| 1630k| 1629k| 1759k| 1.1 |1572M| 385 | 0 |1700 |1612 |1700 | 281 | 424k| 43 |2508 | 0.000000e+00 | 3.942380e+05 | Inf
1111.23/1111.27 c 1090s| 1640k| 1639k| 1768k| 1.1 |1581M| 385 | 0 |1700 |1612 |1700 | 262 | 426k| 43 |2514 | 0.000000e+00 | 3.942380e+05 | Inf
1117.72/1117.76 c 1096s| 1650k| 1649k| 1776k| 1.1 |1591M| 385 | 0 |1700 |1612 |1700 | 254 | 429k| 43 |2514 | 0.000000e+00 | 3.942380e+05 | Inf
1124.23/1124.28 c 1103s| 1660k| 1659k| 1784k| 1.1 |1600M| 385 | 0 |1700 |1612 |1700 | 262 | 431k| 43 |2529 | 0.000000e+00 | 3.942380e+05 | Inf
1130.62/1130.68 c 1109s| 1670k| 1669k| 1790k| 1.1 |1610M| 385 | 0 |1700 |1612 |1700 | 257 | 433k| 44 |2529 | 0.000000e+00 | 3.942380e+05 | Inf
1137.03/1137.08 c 1115s| 1680k| 1679k| 1796k| 1.1 |1619M| 385 | 0 |1700 |1612 |1700 | 253 | 434k| 44 |2529 | 0.000000e+00 | 3.942380e+05 | Inf
1143.52/1143.58 c 1121s| 1690k| 1689k| 1802k| 1.1 |1629M| 385 | 0 |1700 |1612 |1700 | 250 | 435k| 44 |2534 | 0.000000e+00 | 3.942380e+05 | Inf
1149.82/1149.88 c 1128s| 1700k| 1699k| 1806k| 1.1 |1638M| 385 | 0 |1700 |1611 |1700 | 287 | 436k| 44 |2544 | 0.000000e+00 | 3.942380e+05 | Inf
1156.23/1156.27 c 1134s| 1710k| 1709k| 1812k| 1.1 |1648M| 385 | 0 |1700 |1611 |1700 | 242 | 438k| 44 |2544 | 0.000000e+00 | 3.942380e+05 | Inf
1162.82/1162.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.82/1162.81 c 1140s| 1720k| 1719k| 1820k| 1.1 |1657M| 385 | 0 |1700 |1611 |1700 | 281 | 440k| 44 |2544 | 0.000000e+00 | 3.942380e+05 | Inf
1169.33/1169.33 c 1147s| 1730k| 1729k| 1827k| 1.1 |1667M| 385 | 0 |1700 |1611 |1700 | 249 | 441k| 44 |2561 | 0.000000e+00 | 3.942380e+05 | Inf
1175.93/1175.91 c 1153s| 1740k| 1739k| 1835k| 1.1 |1676M| 385 | 0 |1700 |1611 |1700 | 275 | 443k| 44 |2567 | 0.000000e+00 | 3.942380e+05 | Inf
1182.33/1182.36 c 1160s| 1750k| 1749k| 1840k| 1.1 |1686M| 385 | 0 |1700 |1611 |1700 | 262 | 444k| 44 |2567 | 0.000000e+00 | 3.942380e+05 | Inf
1188.92/1188.91 c 1166s| 1760k| 1759k| 1847k| 1.0 |1695M| 385 | 5 |1700 |1611 |1700 | 270 | 446k| 44 |2571 | 0.000000e+00 | 3.942380e+05 | Inf
1195.22/1195.25 c 1172s| 1770k| 1769k| 1851k| 1.0 |1705M| 385 | 0 |1700 |1610 |1700 | 276 | 448k| 44 |2581 | 0.000000e+00 | 3.942380e+05 | Inf
1201.73/1201.75 c 1179s| 1780k| 1779k| 1859k| 1.0 |1714M| 385 | 0 |1700 |1610 |1700 | 263 | 450k| 44 |2586 | 0.000000e+00 | 3.942380e+05 | Inf
1208.33/1208.36 c 1185s| 1790k| 1789k| 1867k| 1.0 |1724M| 385 | 0 |1700 |1614 |1700 | 288 | 451k| 48 |2586 | 0.000000e+00 | 3.942380e+05 | Inf
1214.83/1214.83 c 1191s| 1800k| 1799k| 1871k| 1.0 |1733M| 385 | 0 |1700 |1614 |1700 | 247 | 452k| 48 |2593 | 0.000000e+00 | 3.942380e+05 | Inf
1221.33/1221.30 c 1198s| 1810k| 1809k| 1877k| 1.0 |1743M| 385 | 0 |1700 |1613 |1700 | 262 | 453k| 48 |2603 | 0.000000e+00 | 3.942380e+05 | Inf
1227.73/1227.76 c 1204s| 1820k| 1819k| 1882k| 1.0 |1752M| 385 | 0 |1700 |1613 |1700 | 261 | 455k| 48 |2603 | 0.000000e+00 | 3.942380e+05 | Inf
1234.14/1234.17 c 1210s| 1830k| 1829k| 1887k| 1.0 |1762M| 385 | 0 |1700 |1613 |1700 | 266 | 456k| 48 |2603 | 0.000000e+00 | 3.942380e+05 | Inf
1240.43/1240.49 c 1216s| 1840k| 1839k| 1890k| 1.0 |1771M| 385 | 0 |1700 |1613 |1700 | 252 | 457k| 48 |2603 | 0.000000e+00 | 3.942380e+05 | Inf
1246.93/1246.92 c 1223s| 1850k| 1849k| 1896k| 1.0 |1781M| 385 | 0 |1700 |1610 |1700 | 267 | 458k| 48 |2615 | 0.000000e+00 | 3.942380e+05 | Inf
1253.33/1253.39 c 1229s| 1860k| 1859k| 1900k| 1.0 |1790M| 385 | 0 |1700 |1610 |1700 | 268 | 459k| 48 |2618 | 0.000000e+00 | 3.942380e+05 | Inf
1259.73/1259.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1259.73/1259.77 c 1235s| 1870k| 1869k| 1905k| 1.0 |1800M| 385 | 0 |1700 |1610 |1700 | 262 | 460k| 48 |2620 | 0.000000e+00 | 3.942380e+05 | Inf
1266.43/1266.45 c 1242s| 1880k| 1879k| 1914k| 1.0 |1809M| 385 | 0 |1700 |1610 |1700 | 242 | 462k| 48 |2620 | 0.000000e+00 | 3.942380e+05 | Inf
1273.13/1273.20 c 1249s| 1890k| 1889k| 1923k| 1.0 |1819M| 385 | 0 |1700 |1610 |1700 | 266 | 464k| 48 |2635 | 0.000000e+00 | 3.942380e+05 | Inf
1279.93/1279.92 c 1255s| 1900k| 1899k| 1932k| 1.0 |1828M| 385 | 0 |1700 |1610 |1700 | 269 | 466k| 48 |2635 | 0.000000e+00 | 3.942380e+05 | Inf
1286.33/1286.33 c 1261s| 1910k| 1909k| 1939k| 1.0 |1838M| 385 | 0 |1700 |1610 |1700 | 262 | 468k| 48 |2649 | 0.000000e+00 | 3.942380e+05 | Inf
1292.73/1292.77 c 1268s| 1920k| 1919k| 1945k| 1.0 |1847M| 385 | 0 |1700 |1610 |1700 | 280 | 469k| 48 |2649 | 0.000000e+00 | 3.942380e+05 | Inf
1299.34/1299.32 c 1274s| 1930k| 1929k| 1951k| 1.0 |1857M| 385 | 0 |1700 |1610 |1700 | 257 | 471k| 48 |2656 | 0.000000e+00 | 3.942380e+05 | Inf
1305.73/1305.79 c 1281s| 1940k| 1939k| 1958k| 1.0 |1866M| 385 | 0 |1700 |1610 |1700 | 253 | 472k| 48 |2659 | 0.000000e+00 | 3.942380e+05 | Inf
1312.13/1312.17 c 1287s| 1950k| 1949k| 1962k| 1.0 |1876M| 385 | 0 |1700 |1610 |1700 | 272 | 473k| 48 |2674 | 0.000000e+00 | 3.942380e+05 | Inf
1318.34/1318.35 c 1293s| 1960k| 1959k| 1963k| 1.0 |1885M| 385 | 0 |1700 |1610 |1700 | 256 | 474k| 48 |2675 | 0.000000e+00 | 3.942380e+05 | Inf
1324.53/1324.57 c 1299s| 1970k| 1969k| 1965k| 1.0 |1895M| 385 | 0 |1700 |1610 |1700 | 247 | 474k| 48 |2675 | 0.000000e+00 | 3.942380e+05 | Inf
1330.83/1330.82 c 1305s| 1980k| 1979k| 1967k| 1.0 |1904M| 385 | 0 |1700 |1609 |1700 | 276 | 475k| 48 |2675 | 0.000000e+00 | 3.942380e+05 | Inf
1337.03/1337.08 c 1311s| 1990k| 1989k| 1969k| 1.0 |1914M| 385 | 0 |1700 |1609 |1700 | 264 | 475k| 48 |2675 | 0.000000e+00 | 3.942380e+05 | Inf
1343.33/1343.39 c 1318s| 2000k| 1999k| 1972k| 1.0 |1923M| 385 | 0 |1700 |1609 |1700 | 268 | 476k| 48 |2675 | 0.000000e+00 | 3.942380e+05 | Inf
1349.74/1349.76 c 1324s| 2010k| 2009k| 1975k| 1.0 |1933M| 385 | 0 |1700 |1609 |1700 | 261 | 477k| 48 |2675 | 0.000000e+00 | 3.942380e+05 | Inf
1356.04/1356.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1356.04/1356.01 c 1330s| 2020k| 2019k| 1977k| 1.0 |1942M| 385 | 0 |1700 |1608 |1700 | 254 | 477k| 48 |2675 | 0.000000e+00 | 3.942380e+05 | Inf
1362.23/1362.27 c 1336s| 2030k| 2029k| 1980k| 1.0 |1952M| 385 | 0 |1700 |1608 |1700 | 257 | 478k| 48 |2675 | 0.000000e+00 | 3.942380e+05 | Inf
1368.53/1368.56 c 1342s| 2040k| 2039k| 1983k| 1.0 |1961M| 385 | 0 |1700 |1608 |1700 | 257 | 479k| 48 |2684 | 0.000000e+00 | 3.942380e+05 | Inf
1375.04/1375.08 c 1349s| 2050k| 2049k| 1989k| 1.0 |1971M| 385 | 8 |1700 |1608 |1700 | 277 | 480k| 48 |2697 | 0.000000e+00 | 3.942380e+05 | Inf
1381.54/1381.55 c 1355s| 2060k| 2059k| 1994k| 1.0 |1980M| 385 | 0 |1700 |1610 |1700 | 286 | 482k| 50 |2697 | 0.000000e+00 | 3.942380e+05 | Inf
1387.94/1387.96 c 1361s| 2070k| 2069k| 1997k| 1.0 |1990M| 385 | 0 |1700 |1610 |1700 | 264 | 483k| 50 |2697 | 0.000000e+00 | 3.942380e+05 | Inf
1394.33/1394.33 c 1368s| 2080k| 2079k| 2000k| 1.0 |1999M| 385 | 0 |1700 |1610 |1700 | 268 | 483k| 50 |2697 | 0.000000e+00 | 3.942380e+05 | Inf
1400.64/1400.66 c 1374s| 2090k| 2089k| 2004k| 1.0 |2009M| 385 | 0 |1700 |1610 |1700 | 288 | 484k| 50 |2700 | 0.000000e+00 | 3.942380e+05 | Inf
1407.14/1407.17 c 1380s| 2100k| 2099k| 2011k| 1.0 |2018M| 385 | 0 |1700 |1610 |1700 | 287 | 486k| 50 |2712 | 0.000000e+00 | 3.942380e+05 | Inf
1413.54/1413.57 c 1386s| 2110k| 2109k| 2016k| 1.0 |2028M| 385 | 0 |1700 |1610 |1700 | 268 | 487k| 50 |2712 | 0.000000e+00 | 3.942380e+05 | Inf
1419.83/1419.89 c 1393s| 2120k| 2119k| 2019k| 1.0 |2037M| 385 | 0 |1700 |1610 |1700 | 267 | 488k| 50 |2712 | 0.000000e+00 | 3.942380e+05 | Inf
1426.43/1426.41 c 1399s| 2130k| 2129k| 2026k| 1.0 |2047M| 385 | 0 |1700 |1613 |1700 | 219 | 489k| 53 |2719 | 0.000000e+00 | 3.942380e+05 | Inf
1432.84/1432.87 c 1405s| 2140k| 2139k| 2031k| 0.9 |2056M| 385 | 0 |1700 |1620 |1700 | 279 | 490k| 60 |2725 | 0.000000e+00 | 3.942380e+05 | Inf
1439.33/1439.35 c 1412s| 2150k| 2149k| 2036k| 0.9 |2066M| 385 | 0 |1700 |1620 |1700 | 253 | 492k| 60 |2725 | 0.000000e+00 | 3.942380e+05 | Inf
1445.84/1445.87 c 1418s| 2160k| 2159k| 2042k| 0.9 |2075M| 385 | 0 |1700 |1620 |1700 | 239 | 494k| 60 |2725 | 0.000000e+00 | 3.942380e+05 | Inf
1452.24/1452.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1452.24/1452.28 c 1424s| 2170k| 2169k| 2047k| 0.9 |2085M| 385 | 0 |1700 |1617 |1700 | 263 | 495k| 60 |2728 | 0.000000e+00 | 3.942380e+05 | Inf
1458.43/1458.45 c 1430s| 2180k| 2179k| 2048k| 0.9 |2094M| 385 | 0 |1700 |1615 |1700 | 267 | 495k| 60 |2733 | 0.000000e+00 | 3.942380e+05 | Inf
1464.63/1464.69 c 1437s| 2190k| 2189k| 2051k| 0.9 |2104M| 385 | 0 |1700 |1615 |1700 | 255 | 495k| 60 |2734 | 0.000000e+00 | 3.942380e+05 | Inf
1471.03/1471.02 c 1443s| 2200k| 2199k| 2055k| 0.9 |2113M| 385 | 0 |1700 |1614 |1700 | 277 | 497k| 60 |2737 | 0.000000e+00 | 3.942380e+05 | Inf
1477.24/1477.29 c 1449s| 2210k| 2209k| 2057k| 0.9 |2123M| 385 | 0 |1700 |1614 |1700 | 274 | 497k| 60 |2737 | 0.000000e+00 | 3.942380e+05 | Inf
1483.64/1483.66 c 1455s| 2220k| 2219k| 2061k| 0.9 |2132M| 385 | 0 |1700 |1614 |1700 | 282 | 498k| 60 |2738 | 0.000000e+00 | 3.942380e+05 | Inf
1490.04/1490.00 c 1461s| 2230k| 2229k| 2064k| 0.9 |2141M| 385 | 0 |1700 |1614 |1700 | 249 | 499k| 60 |2738 | 0.000000e+00 | 3.942380e+05 | Inf
1496.23/1496.25 c 1468s| 2240k| 2239k| 2068k| 0.9 |2151M| 385 | 0 |1700 |1612 |1700 | 253 | 500k| 60 |2738 | 0.000000e+00 | 3.942380e+05 | Inf
1502.54/1502.59 c 1474s| 2250k| 2249k| 2071k| 0.9 |2160M| 385 | 0 |1700 |1612 |1700 | 282 | 500k| 60 |2749 | 0.000000e+00 | 3.942380e+05 | Inf
1508.94/1508.97 c 1480s| 2260k| 2259k| 2076k| 0.9 |2170M| 385 | 0 |1700 |1612 |1700 | 285 | 502k| 60 |2750 | 0.000000e+00 | 3.942380e+05 | Inf
1515.24/1515.27 c 1486s| 2270k| 2269k| 2080k| 0.9 |2179M| 385 | 0 |1700 |1612 |1700 | 268 | 502k| 60 |2750 | 0.000000e+00 | 3.942380e+05 | Inf
1521.54/1521.53 c 1492s| 2280k| 2279k| 2083k| 0.9 |2189M| 385 | 0 |1700 |1612 |1700 | 257 | 503k| 60 |2750 | 0.000000e+00 | 3.942380e+05 | Inf
1527.95/1527.93 c 1499s| 2290k| 2289k| 2086k| 0.9 |2198M| 385 | 0 |1700 |1612 |1700 | 256 | 504k| 60 |2750 | 0.000000e+00 | 3.942380e+05 | Inf
1534.14/1534.18 c 1505s| 2300k| 2299k| 2088k| 0.9 |2208M| 385 | 0 |1700 |1612 |1700 | 269 | 504k| 60 |2750 | 0.000000e+00 | 3.942380e+05 | Inf
1540.44/1540.44 c 1511s| 2310k| 2309k| 2090k| 0.9 |2217M| 385 | 0 |1700 |1612 |1700 | 251 | 505k| 60 |2755 | 0.000000e+00 | 3.942380e+05 | Inf
1546.74/1546.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.74/1546.78 c 1517s| 2320k| 2319k| 2095k| 0.9 |2227M| 385 | 7 |1700 |1611 |1700 | 276 | 506k| 60 |2762 | 0.000000e+00 | 3.942380e+05 | Inf
1553.15/1553.17 c 1523s| 2330k| 2329k| 2099k| 0.9 |2236M| 385 | 0 |1700 |1611 |1700 | 266 | 507k| 60 |2762 | 0.000000e+00 | 3.942380e+05 | Inf
1559.54/1559.52 c 1530s| 2340k| 2339k| 2103k| 0.9 |2246M| 385 | 0 |1700 |1611 |1700 | 257 | 508k| 60 |2762 | 0.000000e+00 | 3.942380e+05 | Inf
1565.84/1565.81 c 1536s| 2350k| 2349k| 2106k| 0.9 |2255M| 385 | 8 |1700 |1611 |1700 | 259 | 509k| 60 |2762 | 0.000000e+00 | 3.942380e+05 | Inf
1572.04/1572.08 c 1542s| 2360k| 2359k| 2109k| 0.9 |2265M| 385 | 0 |1700 |1611 |1700 | 252 | 510k| 60 |2762 | 0.000000e+00 | 3.942380e+05 | Inf
1578.34/1578.30 c 1548s| 2370k| 2369k| 2111k| 0.9 |2274M| 385 | 0 |1700 |1611 |1700 | 270 | 510k| 60 |2772 | 0.000000e+00 | 3.942380e+05 | Inf
1584.74/1584.73 c 1554s| 2380k| 2379k| 2116k| 0.9 |2284M| 385 | 0 |1700 |1611 |1700 | 268 | 511k| 60 |2776 | 0.000000e+00 | 3.942380e+05 | Inf
1591.14/1591.10 c 1561s| 2390k| 2389k| 2121k| 0.9 |2293M| 385 | 0 |1700 |1611 |1700 | 273 | 513k| 60 |2777 | 0.000000e+00 | 3.942380e+05 | Inf
1597.54/1597.54 c 1567s| 2400k| 2399k| 2125k| 0.9 |2303M| 385 | 0 |1700 |1611 |1700 | 248 | 514k| 60 |2777 | 0.000000e+00 | 3.942380e+05 | Inf
1603.95/1603.99 c 1573s| 2410k| 2409k| 2131k| 0.9 |2312M| 385 | 0 |1700 |1611 |1700 | 246 | 515k| 60 |2777 | 0.000000e+00 | 3.942380e+05 | Inf
1610.44/1610.46 c 1580s| 2420k| 2419k| 2135k| 0.9 |2322M| 385 | 0 |1700 |1611 |1700 | 249 | 516k| 60 |2789 | 0.000000e+00 | 3.942380e+05 | Inf
1616.94/1616.92 c 1586s| 2430k| 2429k| 2141k| 0.9 |2331M| 385 | 0 |1700 |1610 |1700 | 246 | 517k| 60 |2791 | 0.000000e+00 | 3.942380e+05 | Inf
1623.34/1623.39 c 1592s| 2440k| 2439k| 2147k| 0.9 |2341M| 385 | 0 |1700 |1609 |1700 | 263 | 518k| 60 |2791 | 0.000000e+00 | 3.942380e+05 | Inf
1629.74/1629.79 c 1599s| 2450k| 2449k| 2151k| 0.9 |2350M| 385 | 0 |1700 |1608 |1700 | 231 | 519k| 60 |2791 | 0.000000e+00 | 3.942380e+05 | Inf
1636.15/1636.19 c 1605s| 2460k| 2459k| 2155k| 0.9 |2360M| 385 | 0 |1700 |1608 |1700 | 285 | 520k| 60 |2795 | 0.000000e+00 | 3.942380e+05 | Inf
1642.65/1642.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.65/1642.60 c 1611s| 2470k| 2469k| 2160k| 0.9 |2369M| 385 | 0 |1700 |1608 |1700 | 265 | 522k| 60 |2805 | 0.000000e+00 | 3.942380e+05 | Inf
1648.85/1648.89 c 1617s| 2480k| 2479k| 2162k| 0.9 |2379M| 385 | 0 |1700 |1608 |1700 | 272 | 522k| 60 |2808 | 0.000000e+00 | 3.942380e+05 | Inf
1655.24/1655.26 c 1624s| 2490k| 2489k| 2167k| 0.9 |2388M| 385 | 0 |1700 |1608 |1700 | 273 | 523k| 60 |2808 | 0.000000e+00 | 3.942380e+05 | Inf
1661.65/1661.68 c 1630s| 2500k| 2499k| 2172k| 0.9 |2398M| 385 | 0 |1700 |1608 |1700 | 253 | 524k| 60 |2808 | 0.000000e+00 | 3.942380e+05 | Inf
1668.05/1668.07 c 1636s| 2510k| 2509k| 2175k| 0.9 |2407M| 385 | 0 |1700 |1608 |1700 | 273 | 525k| 60 |2808 | 0.000000e+00 | 3.942380e+05 | Inf
1674.55/1674.53 c 1642s| 2520k| 2519k| 2181k| 0.9 |2417M| 385 | 0 |1700 |1608 |1700 | 273 | 526k| 60 |2821 | 0.000000e+00 | 3.942380e+05 | Inf
1680.95/1680.96 c 1649s| 2530k| 2529k| 2186k| 0.9 |2426M| 385 | 0 |1700 |1608 |1700 | 253 | 527k| 60 |2822 | 0.000000e+00 | 3.942380e+05 | Inf
1687.24/1687.30 c 1655s| 2540k| 2539k| 2189k| 0.9 |2436M| 385 | 0 |1700 |1608 |1700 | 287 | 528k| 60 |2823 | 0.000000e+00 | 3.942380e+05 | Inf
1693.74/1693.73 c 1661s| 2550k| 2549k| 2194k| 0.9 |2445M| 385 | 0 |1700 |1608 |1700 | 273 | 529k| 60 |2823 | 0.000000e+00 | 3.942380e+05 | Inf
1700.04/1700.08 c 1668s| 2560k| 2559k| 2197k| 0.9 |2455M| 385 | 0 |1700 |1608 |1700 | 267 | 530k| 60 |2823 | 0.000000e+00 | 3.942380e+05 | Inf
1706.54/1706.50 c 1674s| 2570k| 2569k| 2203k| 0.9 |2464M| 385 | 0 |1700 |1608 |1700 | 259 | 531k| 60 |2836 | 0.000000e+00 | 3.942380e+05 | Inf
1712.95/1712.91 c 1680s| 2580k| 2579k| 2207k| 0.9 |2474M| 385 | 0 |1700 |1608 |1700 | 270 | 532k| 60 |2837 | 0.000000e+00 | 3.942380e+05 | Inf
1719.25/1719.22 c 1686s| 2590k| 2589k| 2210k| 0.9 |2483M| 385 | 0 |1700 |1608 |1700 | 228 | 533k| 60 |2837 | 0.000000e+00 | 3.942380e+05 | Inf
1725.54/1725.54 c 1693s| 2600k| 2599k| 2214k| 0.9 |2492M| 385 | 0 |1700 |1608 |1700 | 280 | 534k| 60 |2837 | 0.000000e+00 | 3.942380e+05 | Inf
1731.84/1731.85 c 1699s| 2610k| 2609k| 2217k| 0.8 |2502M| 385 | 0 |1700 |1608 |1700 | 232 | 535k| 60 |2837 | 0.000000e+00 | 3.942380e+05 | Inf
1738.24/1738.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1738.24/1738.23 c 1705s| 2620k| 2619k| 2222k| 0.8 |2511M| 385 | 0 |1700 |1608 |1700 | 244 | 537k| 60 |2848 | 0.000000e+00 | 3.942380e+05 | Inf
1744.55/1744.56 c 1711s| 2630k| 2629k| 2226k| 0.8 |2521M| 385 | 0 |1700 |1608 |1700 | 245 | 538k| 60 |2849 | 0.000000e+00 | 3.942380e+05 | Inf
1750.95/1750.96 c 1718s| 2640k| 2639k| 2230k| 0.8 |2530M| 385 | 3 |1700 |1608 |1700 | 248 | 539k| 60 |2849 | 0.000000e+00 | 3.942380e+05 | Inf
1757.35/1757.35 c 1724s| 2650k| 2649k| 2233k| 0.8 |2540M| 385 | 0 |1700 |1608 |1700 | 265 | 540k| 60 |2850 | 0.000000e+00 | 3.942380e+05 | Inf
1763.74/1763.76 c 1730s| 2660k| 2659k| 2238k| 0.8 |2549M| 385 | 0 |1700 |1608 |1700 | 252 | 541k| 60 |2851 | 0.000000e+00 | 3.942380e+05 | Inf
1770.25/1770.29 c 1736s| 2670k| 2669k| 2243k| 0.8 |2558M| 385 | 0 |1700 |1608 |1700 | 307 | 542k| 60 |2861 | 0.000000e+00 | 3.942380e+05 | Inf
1776.64/1776.70 c 1743s| 2680k| 2679k| 2246k| 0.8 |2568M| 385 | 0 |1700 |1608 |1700 | 256 | 543k| 60 |2862 | 0.000000e+00 | 3.942380e+05 | Inf
1782.95/1782.98 c 1749s| 2690k| 2689k| 2250k| 0.8 |2577M| 385 | 0 |1700 |1608 |1700 | 226 | 544k| 60 |2863 | 0.000000e+00 | 3.942380e+05 | Inf
1789.35/1789.39 c 1755s| 2700k| 2699k| 2256k| 0.8 |2587M| 385 | 0 |1700 |1608 |1700 | 250 | 546k| 60 |2866 | 0.000000e+00 | 3.942380e+05 | Inf
1795.55/1795.52 c 1761s| 2710k| 2709k| 2258k| 0.8 |2596M| 385 | 0 |1700 |1608 |1700 | 247 | 546k| 60 |2866 | 0.000000e+00 | 3.942380e+05 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1765.58
1800.05/1800.00 c Solving Nodes : 2717224
1800.05/1800.00 c Primal Bound : +3.94238000000000e+05 (100 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1800.05/1800.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.05/1800.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1800.05/1800.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1800.05/1800.01 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 x84
1800.05/1800.01 v -x83 x82 -x81 x80 -x79 x78 -x77 x76 -x75 x74 -x73 x72 -x71 x70 -x69 x68 -x67 x66 -x65 x64 -x63 x62 -x61 x60 -x59 x58 -x57 x56
1800.05/1800.01 v -x55 x54 -x53 x52 -x51 x50 -x49 x48 -x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 x28
1800.05/1800.01 v -x27 x26 -x25 x24 -x23 x22 -x21 x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 -x11 x10 -x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1765.58
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2700224-1278534453.wbo
1800.05/1800.01 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.05/1800.01 c Constraints : 1701 initial, 1701 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2700224-1278534453.wbo
1800.05/1800.01 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.05/1800.01 c Constraints : 1600 initial, 1620 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.01 0 100 0 800 0 101 0 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 2868606 0 0 0 0 0 383992
1800.05/1800.01 c indicator : 800 0 3536385 2676610 0 0 2688711 0 0 0
1800.05/1800.01 c linear : 800 6 3536385 2676610 0 21 696216 547201 0 0
1800.05/1800.01 c logicor : 0+ 0 108560 0 0 0 16729 0 0 0
1800.05/1800.01 c countsols : 0 0 0 2525207 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 6.62 0.00 0.00 6.62 0.00
1800.05/1800.01 c indicator : 165.95 0.03 34.14 131.78 0.00
1800.05/1800.01 c linear : 28.26 0.00 10.71 17.55 0.00
1800.05/1800.01 c logicor : 0.12 0.00 0.12 0.00 0.00
1800.05/1800.01 c countsols : 0.54 0.00 0.00 0.54 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.84 2 0 0
1800.05/1800.01 c rootredcost : 0.69 0 0 0
1800.05/1800.01 c pseudoobj : 53.17 3536185 0 0
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.00 21 21 21 7.3 39 4.0 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 60 5.2 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 3 - - 35 - (maximal pool size: 56)
1800.05/1800.01 c redcost : 96.66 2868272 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.00 4 0 0 57 0
1800.05/1800.01 c strongcg : 0.01 4 0 0 0 0
1800.05/1800.01 c cmir : 0.01 4 0 0 0 0
1800.05/1800.01 c flowcover : 0.03 4 0 0 0 0
1800.05/1800.01 c clique : 0.00 1 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 5.63 191996 0 0 0 0 383992
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 148.29 2525207 0 0 0 0 5050414
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c feaspump : 0.01 0 0
1800.05/1800.01 c oneopt : 1.79 1 0
1800.05/1800.01 c intshifting : 0.02 6 0
1800.05/1800.01 c crossover : 1.19 13 1
1800.05/1800.01 c pscostdiving : 8.32 16534 0
1800.05/1800.01 c veclendiving : 8.13 16534 0
1800.05/1800.01 c linesearchdiving : 8.02 16534 0
1800.05/1800.01 c coefdiving : 7.98 16535 0
1800.05/1800.01 c fracdiving : 8.13 16535 0
1800.05/1800.01 c guideddiving : 8.15 16535 0
1800.05/1800.01 c objpscostdiving : 8.61 16531 0
1800.05/1800.01 c rootsoldiving : 8.44 16531 0
1800.05/1800.01 c trivial : 0.00 2 1
1800.05/1800.01 c simplerounding : 1.11 191969 0
1800.05/1800.01 c zirounding : 0.69 1000 0
1800.05/1800.01 c rounding : 1.02 6113 0
1800.05/1800.01 c shifting : 1.07 1883 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.02 1 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.72 0 0
1800.05/1800.01 c trysol : 1.32 18938 98
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 709.51 449073 2259594 5.03 3184.72
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.01 52 363 6.98 36300.00
1800.05/1800.01 c strong branching : 4.39 2866 67111 23.42 15287.24
1800.05/1800.01 c (at root node) : - 33 4427 134.15 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2717224
1800.05/1800.01 c nodes (total) : 2717224
1800.05/1800.01 c nodes left : 2717183
1800.05/1800.01 c max depth : 385
1800.05/1800.01 c max depth (total): 385
1800.05/1800.01 c backtracks : 16554 (0.6%)
1800.05/1800.01 c delayed cutoffs : 0
1800.05/1800.01 c repropagations : 326 (106 domain reductions, 0 cutoffs)
1800.05/1800.01 c avg switch length: 2.20
1800.05/1800.01 c switching time : 76.96
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 100 (1 improvements)
1800.05/1800.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Primal Bound : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 238
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700224-1278534453/watcher-2700224-1278534453 -o /tmp/evaluation-result-2700224-1278534453/solver-2700224-1278534453 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700224-1278534453.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.75 0.97 4/178 21163
/proc/meminfo: memFree=28655400/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=9408 CPUtime=0
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 1648 0 0 0 0 0 0 0 25 0 1 0 21659382 9633792 1567 4089446400 4194304 8223781 140736571449168 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/21163/statm: 2352 1567 369 984 0 1365 0
[startup+0.0116871 s]
/proc/loadavg: 1.99 1.75 0.97 4/178 21163
/proc/meminfo: memFree=28655400/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=10896 CPUtime=0
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 2019 0 0 0 0 0 0 0 25 0 1 0 21659382 11157504 1938 4089446400 4194304 8223781 140736571449168 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/21163/statm: 2724 1938 369 984 0 1737 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10896
[startup+0.100658 s]
/proc/loadavg: 1.99 1.75 0.97 4/178 21163
/proc/meminfo: memFree=28655400/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=26260 CPUtime=0.09
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 6665 0 0 0 8 1 0 0 18 0 1 0 21659382 26890240 5438 4089446400 4194304 8223781 140736571449168 18446744073709551615 4866079 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 6565 5459 564 984 0 5578 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26260
[startup+0.300622 s]
/proc/loadavg: 1.99 1.75 0.97 4/178 21163
/proc/meminfo: memFree=28655400/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=28772 CPUtime=0.29
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 10195 0 0 0 28 1 0 0 18 0 1 0 21659382 29462528 6129 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 7193 6129 578 984 0 6206 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28772
[startup+0.700554 s]
/proc/loadavg: 1.99 1.75 0.97 4/178 21163
/proc/meminfo: memFree=28655400/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=28772 CPUtime=0.69
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 10195 0 0 0 67 2 0 0 18 0 1 0 21659382 29462528 6129 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 7193 6129 578 984 0 6206 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28772
[startup+1.50042 s]
/proc/loadavg: 1.99 1.75 0.97 3/179 21164
/proc/meminfo: memFree=28631832/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=28772 CPUtime=1.49
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 10195 0 0 0 146 3 0 0 19 0 1 0 21659382 29462528 6129 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 7193 6129 578 984 0 6206 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28772
[startup+3.10011 s]
/proc/loadavg: 1.99 1.75 0.97 3/179 21164
/proc/meminfo: memFree=28630552/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=29356 CPUtime=3.09
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 13211 0 0 0 303 6 0 0 25 0 1 0 21659382 30060544 6283 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 7339 6283 582 984 0 6352 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29356
[startup+6.30052 s]
/proc/loadavg: 1.99 1.75 0.97 3/179 21164
/proc/meminfo: memFree=28621740/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=36108 CPUtime=6.29
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 22793 0 0 0 616 13 0 0 25 0 1 0 21659382 36974592 7998 4089446400 4194304 8223781 140736571449168 18446744073709551615 6482877 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 9027 7998 582 984 0 8040 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36108
[startup+12.7004 s]
/proc/loadavg: 2.07 1.77 0.99 3/179 21164
/proc/meminfo: memFree=28603164/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=45908 CPUtime=12.69
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 31047 0 0 0 1243 26 0 0 25 0 1 0 21659382 47009792 10496 4089446400 4194304 8223781 140736571449168 18446744073709551615 6371946 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 11477 10496 582 984 0 10490 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45908
[startup+25.501 s]
/proc/loadavg: 2.06 1.78 1.00 3/179 21164
/proc/meminfo: memFree=28569972/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=63092 CPUtime=25.49
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 38271 0 0 0 2500 49 0 0 25 0 1 0 21659382 64606208 14857 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 15773 14857 582 984 0 14786 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 63092
[startup+51.1003 s]
/proc/loadavg: 2.04 1.80 1.02 3/179 21165
/proc/meminfo: memFree=28500692/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=97944 CPUtime=51.1
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 50001 0 0 0 5008 102 0 0 25 0 1 0 21659382 100294656 23700 4089446400 4194304 8223781 140736571449168 18446744073709551615 7074032 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 24486 23700 586 984 0 23499 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 97944
[startup+102.306 s]
/proc/loadavg: 2.01 1.83 1.08 3/179 21166
/proc/meminfo: memFree=28361392/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=167536 CPUtime=102.3
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 70098 0 0 0 10028 202 0 0 25 0 1 0 21659382 171556864 40873 4089446400 4194304 8223781 140736571449168 18446744073709551615 6445090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 41884 40873 586 984 0 40897 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 167536
[startup+162.301 s]
/proc/loadavg: 2.00 1.86 1.13 3/179 21168
/proc/meminfo: memFree=28197872/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=255136 CPUtime=162.29
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 94198 0 0 0 15909 320 0 0 25 0 1 0 21659382 261259264 62086 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 63784 62086 586 984 0 62797 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 255136
[startup+222.301 s]
/proc/loadavg: 2.00 1.88 1.18 3/179 21170
/proc/meminfo: memFree=28031164/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=336452 CPUtime=222.3
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 114867 0 0 0 21799 431 0 0 25 0 1 0 21659382 344526848 82748 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 84113 82748 586 984 0 83126 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 336452
[startup+282.301 s]
/proc/loadavg: 2.00 1.90 1.23 3/179 21171
/proc/meminfo: memFree=27870916/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=418124 CPUtime=282.3
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 135627 0 0 0 27681 549 0 0 25 0 1 0 21659382 428158976 103503 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 104531 103503 586 984 0 103544 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 418124
[startup+342.301 s]
/proc/loadavg: 2.00 1.91 1.28 3/179 21172
/proc/meminfo: memFree=27702096/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=507128 CPUtime=342.3
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 159034 0 0 0 33562 668 0 0 25 0 1 0 21659382 519299072 124021 4089446400 4194304 8223781 140736571449168 18446744073709551615 6482443 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 126782 124021 586 984 0 125795 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 507128
[startup+402.301 s]
/proc/loadavg: 2.00 1.93 1.31 3/179 21174
/proc/meminfo: memFree=27530524/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=590756 CPUtime=402.31
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 180290 0 0 0 39440 791 0 0 25 0 1 0 21659382 604934144 145277 4089446400 4194304 8223781 140736571449168 18446744073709551615 4209068 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 147689 145277 586 984 0 146702 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 590756
[startup+462.301 s]
/proc/loadavg: 2.00 1.94 1.36 3/179 21176
/proc/meminfo: memFree=27357340/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=675388 CPUtime=462.31
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 201797 0 0 0 45324 907 0 0 25 0 1 0 21659382 691597312 166782 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 168847 166782 586 984 0 167860 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 675388
[startup+522.301 s]
/proc/loadavg: 2.00 1.95 1.39 3/179 21178
/proc/meminfo: memFree=27188372/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=757484 CPUtime=522.31
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 222676 0 0 0 51213 1018 0 0 25 0 1 0 21659382 775663616 187656 4089446400 4194304 8223781 140736571449168 18446744073709551615 6003339 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 189371 187656 586 984 0 188384 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 757484
[startup+582.301 s]
/proc/loadavg: 2.00 1.95 1.43 3/179 21179
/proc/meminfo: memFree=27015696/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=841328 CPUtime=582.31
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 246819 0 0 0 57098 1133 0 0 25 0 1 0 21659382 861519872 208942 4089446400 4194304 8223781 140736571449168 18446744073709551615 4819867 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 210332 208942 586 984 0 209345 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 841328
[startup+642.301 s]
/proc/loadavg: 2.00 1.96 1.46 3/179 21180
/proc/meminfo: memFree=26844748/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=923780 CPUtime=642.32
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 267783 0 0 0 62981 1251 0 0 25 0 1 0 21659382 945950720 229901 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 230945 229901 586 984 0 229958 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 923780
[startup+702.301 s]
################
# More data... #
################
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 399550 0 0 0 98286 1946 0 0 25 0 1 0 21659382 1493442560 361638 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 364610 361638 586 984 0 363623 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1458440
[startup+1062.3 s]
/proc/loadavg: 2.05 2.00 1.65 3/179 21192
/proc/meminfo: memFree=25626644/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=1543796 CPUtime=1062.33
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 421253 0 0 0 104170 2063 0 0 25 0 1 0 21659382 1580847104 383341 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 385949 383341 586 984 0 384962 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1543796
[startup+1122.3 s]
/proc/loadavg: 2.02 2.00 1.67 3/179 21194
/proc/meminfo: memFree=25449512/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=1628316 CPUtime=1122.33
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 445621 0 0 0 110058 2175 0 0 25 0 1 0 21659382 1667395584 404841 4089446400 4194304 8223781 140736571449168 18446744073709551615 6482881 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 407079 404841 586 984 0 406092 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1628316
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/179 21195
/proc/meminfo: memFree=25275484/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=1715592 CPUtime=1182.33
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 467797 0 0 0 115945 2288 0 0 25 0 1 0 21659382 1756766208 427012 4089446400 4194304 8223781 140736571449168 18446744073709551615 6446882 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 428898 427012 586 984 0 427911 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1715592
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/179 21196
/proc/meminfo: memFree=25097468/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=1805716 CPUtime=1242.33
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 490700 0 0 0 121825 2408 0 0 25 0 1 0 21659382 1849053184 449908 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 451429 449908 586 984 0 450442 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1805716
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.73 3/197 21244
/proc/meminfo: memFree=27349232/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=1889980 CPUtime=1302.34
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 512130 0 0 0 127719 2515 0 0 25 0 1 0 21659382 1935339520 471338 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 472495 471338 586 984 0 471508 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1889980
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.74 3/197 21246
/proc/meminfo: memFree=27255352/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=1978128 CPUtime=1362.33
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 534535 0 0 0 133611 2622 0 0 25 0 1 0 21659382 2025603072 493739 4089446400 4194304 8223781 140736571449168 18446744073709551615 6003318 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 494532 493739 586 984 0 493545 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1978128
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.75 3/197 21248
/proc/meminfo: memFree=27163772/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=2097332 CPUtime=1422.34
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 556526 0 0 0 139502 2732 0 0 25 0 1 0 21659382 2147667968 515722 4089446400 4194304 8223781 140736571449168 18446744073709551615 6003239 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 524333 515722 586 984 0 523346 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2097332
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/197 21249
/proc/meminfo: memFree=27070684/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=2186844 CPUtime=1482.34
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 579265 0 0 0 145385 2849 0 0 25 0 1 0 21659382 2239328256 538461 4089446400 4194304 8223781 140736571449168 18446744073709551615 6446877 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 546711 538461 586 984 0 545724 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2186844
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/197 21250
/proc/meminfo: memFree=26979844/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=2274304 CPUtime=1542.34
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 601507 0 0 0 151273 2961 0 0 25 0 1 0 21659382 2328887296 560699 4089446400 4194304 8223781 140736571449168 18446744073709551615 6532915 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 568576 560699 586 984 0 567589 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2274304
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/197 21252
/proc/meminfo: memFree=26889108/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=2360748 CPUtime=1602.34
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 623487 0 0 0 157154 3080 0 0 25 0 1 0 21659382 2417405952 582679 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 590187 582679 586 984 0 589200 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2360748
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.80 3/197 21254
/proc/meminfo: memFree=26796184/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=2450516 CPUtime=1662.34
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 646296 0 0 0 163046 3188 0 0 25 0 1 0 21659382 2509328384 605488 4089446400 4194304 8223781 140736571449168 18446744073709551615 4697650 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 612629 605488 586 984 0 611642 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2450516
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.81 3/197 21256
/proc/meminfo: memFree=26707448/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=2537292 CPUtime=1722.34
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 668372 0 0 0 168936 3298 0 0 25 0 1 0 21659382 2598187008 627556 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 634323 627556 586 984 0 633336 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2537292
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 1.83 3/197 21257
/proc/meminfo: memFree=26614384/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=2626116 CPUtime=1782.34
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 690944 0 0 0 174828 3406 0 0 25 0 1 0 21659382 2689142784 650128 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 656529 650128 586 984 0 655542 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2626116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.02 1.83 3/197 21258
/proc/meminfo: memFree=26585952/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=2653720 CPUtime=1800.05
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 697956 0 0 0 176559 3446 0 0 25 0 1 0 21659382 2717409280 657140 4089446400 4194304 8223781 140736571449168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21163/statm: 663430 657140 586 984 0 662443 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2653720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -21163
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.04 2.02 1.83 3/198 21259
/proc/meminfo: memFree=26585944/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=2653720 CPUtime=1801.45
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 697960 0 0 0 176699 3446 0 0 25 0 1 0 21659382 2717409280 657144 4089446400 4194304 8223781 140736571449168 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/21163/statm: 663430 657144 588 984 0 662443 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 2653720
[startup+1801.81 s]
/proc/loadavg: 2.04 2.02 1.83 3/198 21259
/proc/meminfo: memFree=26585820/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=2653720 CPUtime=1801.86
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 697960 0 0 0 176740 3446 0 0 25 0 1 0 21659382 2717409280 657144 4089446400 4194304 8223781 140736571449168 18446744073709551615 4670081 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/21163/statm: 663430 657144 588 984 0 662443 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 2653720
[startup+1802 s]
/proc/loadavg: 2.04 2.02 1.83 3/198 21259
/proc/meminfo: memFree=26585820/32951124 swapFree=67111528/67111528
[pid=21163] ppid=21161 vsize=2653720 CPUtime=1802.05
/proc/21163/stat : 21163 (pbscip.linux.x8) R 21161 21163 20232 0 -1 4202496 697960 0 0 0 176759 3446 0 0 25 0 1 0 21659382 2717409280 657144 4089446400 4194304 8223781 140736571449168 18446744073709551615 4212448 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/21163/statm: 663430 657144 588 984 0 662443 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 2653720
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.15
CPU user time (s): 1767.6
CPU system time (s): 34.5477
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2653720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.6
system time used= 34.5477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 697960
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= 909
runsolver used 2.49762 second user time and 5.72613 second system time
The end
Begin job on node109 at 2010-07-07 22:27:33
IDJOB=2700224
IDBENCH=79410
IDSOLVER=1204
FILE ID=node109/2700224-1278534453
PBS_JOBID= 11239260
Free space on /tmp= 73768 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh212_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700224-1278534453/watcher-2700224-1278534453 -o /tmp/evaluation-result-2700224-1278534453/solver-2700224-1278534453 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700224-1278534453.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 89498e96b82f9b6ac0ac75bbe7337aa5
RANDOM SEED=1234837021
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: 28655928 kB
Buffers: 137572 kB
Cached: 3324396 kB
SwapCached: 0 kB
Active: 2577172 kB
Inactive: 1569476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28655928 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4824 kB
Writeback: 0 kB
AnonPages: 685500 kB
Mapped: 16460 kB
Slab: 81028 kB
PageTables: 5984 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 832008 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= 73764 MiB
End job on node109 at 2010-07-07 22:57:35