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-2699996-1278533870.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.03 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.04 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.06 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1000 implications, 0 cliques
0.00/0.06 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.00/0.06 c 800 constraints of type <indicator>
0.00/0.06 c 800 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 o 394238
0.00/0.06 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.06 c t 0.0s| 1 | 0 | 0 | - |5801k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6173k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.07 c 0.0s| 1 | 0 | 36 | - |6214k| 0 | 0 |1700 |1600 |1700 | 68 | 68 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 109 | - |6257k| 0 | 28 |1700 |1600 |1700 | 104 | 104 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.07/0.08 c 0.1s| 1 | 0 | 142 | - |6323k| 0 | 72 |1700 |1600 |1700 | 140 | 140 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.07/0.09 c 0.1s| 1 | 0 | 173 | - |6578k| 0 | 75 |1700 |1600 |1700 | 160 | 160 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 214 | - |6763k| 0 | 79 |1700 |1600 |1700 | 172 | 172 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 262 | - |6797k| 0 | 85 |1700 |1600 |1700 | 181 | 181 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.39/0.48 c 0.5s| 1 | 2 | 448 | - |6848k| 0 | 85 |1700 |1600 |1700 | 181 | 181 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
12.69/12.71 c 12.4s| 10000 | 10001 | 58517 | 5.8 | 19M| 87 | 0 |1700 |1600 |1700 | 270 | 14k| 0 | 792 | 0.000000e+00 | 3.942380e+05 | Inf
21.39/21.40 c 20.7s| 20000 | 20001 | 95692 | 4.8 | 29M| 105 | 0 |1700 |1600 |1700 | 251 | 23k| 0 | 792 | 0.000000e+00 | 3.942380e+05 | Inf
28.89/28.96 c 27.8s| 30000 | 29999 |118961 | 4.0 | 39M| 145 | 0 |1700 |1601 |1700 | 267 | 28k| 1 | 792 | 0.000000e+00 | 3.942380e+05 | Inf
36.29/36.37 c 34.6s| 40000 | 39999 |138464 | 3.5 | 48M| 151 | 0 |1700 |1601 |1700 | 259 | 33k| 1 | 792 | 0.000000e+00 | 3.942380e+05 | Inf
43.79/43.84 c 41.6s| 50000 | 49999 |160075 | 3.2 | 58M| 155 | 0 |1700 |1601 |1700 | 273 | 39k| 1 | 792 | 0.000000e+00 | 3.942380e+05 | Inf
51.49/51.51 c 48.9s| 60000 | 59999 |188807 | 3.1 | 68M| 159 | 3 |1700 |1601 |1700 | 261 | 46k| 1 | 842 | 0.000000e+00 | 3.942380e+05 | Inf
59.00/59.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.00/59.04 c 56.0s| 70000 | 69999 |215960 | 3.1 | 78M| 159 | 0 |1700 |1601 |1700 | 258 | 53k| 1 | 887 | 0.000000e+00 | 3.942380e+05 | Inf
66.79/66.87 c 63.4s| 80000 | 79999 |247198 | 3.1 | 87M| 159 | 0 |1700 |1601 |1700 | 244 | 60k| 1 | 930 | 0.000000e+00 | 3.942380e+05 | Inf
74.30/74.35 c 70.4s| 90000 | 89999 |268397 | 3.0 | 97M| 159 | 0 |1700 |1601 |1700 | 258 | 65k| 1 | 979 | 0.000000e+00 | 3.942380e+05 | Inf
81.80/81.88 c 77.5s|100000 | 99999 |292388 | 2.9 | 107M| 159 | 0 |1700 |1601 |1700 | 255 | 71k| 1 |1036 | 0.000000e+00 | 3.942380e+05 | Inf
89.40/89.41 c 84.7s|110000 |109999 |317467 | 2.9 | 116M| 165 | 0 |1700 |1601 |1700 | 237 | 77k| 1 |1066 | 0.000000e+00 | 3.942380e+05 | Inf
96.70/96.71 c 91.6s|120000 |119999 |336673 | 2.8 | 126M| 165 | 0 |1700 |1601 |1700 | 288 | 82k| 1 |1121 | 0.000000e+00 | 3.942380e+05 | Inf
104.00/104.07 c 98.5s|130000 |129999 |355565 | 2.7 | 136M| 165 | 0 |1700 |1601 |1700 | 278 | 87k| 1 |1148 | 0.000000e+00 | 3.942380e+05 | Inf
111.40/111.48 c 106s|140000 |139999 |374645 | 2.7 | 145M| 165 | 3 |1700 |1601 |1700 | 197 | 93k| 1 |1203 | 0.000000e+00 | 3.942380e+05 | Inf
118.89/118.95 c 113s|150000 |149999 |396779 | 2.6 | 155M| 165 | 0 |1700 |1601 |1700 | 270 | 98k| 1 |1234 | 0.000000e+00 | 3.942380e+05 | Inf
126.20/126.27 c 120s|160000 |159999 |413632 | 2.6 | 165M| 165 | 0 |1700 |1601 |1700 | 277 | 103k| 1 |1265 | 0.000000e+00 | 3.942380e+05 | Inf
133.60/133.66 c 127s|170000 |169999 |432100 | 2.5 | 175M| 165 | 17 |1700 |1601 |1700 | 242 | 108k| 1 |1310 | 0.000000e+00 | 3.942380e+05 | Inf
141.09/141.13 c 134s|180000 |179999 |453381 | 2.5 | 184M| 165 | 8 |1700 |1601 |1700 | 227 | 113k| 1 |1344 | 0.000000e+00 | 3.942380e+05 | Inf
148.40/148.44 c 141s|190000 |189999 |471013 | 2.5 | 194M| 165 | 28 |1700 |1601 |1700 | 229 | 118k| 1 |1363 | 0.000000e+00 | 3.942380e+05 | Inf
155.80/155.86 c 148s|200000 |199999 |490544 | 2.5 | 204M| 165 | 0 |1700 |1601 |1700 | 260 | 123k| 1 |1406 | 0.000000e+00 | 3.942380e+05 | Inf
163.19/163.23 c 155s|210000 |209999 |509099 | 2.4 | 213M| 165 | 0 |1700 |1601 |1700 | 272 | 128k| 1 |1426 | 0.000000e+00 | 3.942380e+05 | Inf
170.50/170.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.50/170.56 c 162s|220000 |219999 |528230 | 2.4 | 223M| 165 | 3 |1700 |1601 |1700 | 243 | 134k| 1 |1450 | 0.000000e+00 | 3.942380e+05 | Inf
177.89/177.98 c 169s|230000 |229999 |547408 | 2.4 | 233M| 165 | 0 |1700 |1601 |1700 | 282 | 139k| 1 |1490 | 0.000000e+00 | 3.942380e+05 | Inf
185.39/185.42 c 176s|240000 |239999 |567795 | 2.4 | 242M| 169 | 0 |1700 |1601 |1700 | 262 | 144k| 1 |1516 | 0.000000e+00 | 3.942380e+05 | Inf
192.69/192.76 c 183s|250000 |249999 |587524 | 2.3 | 252M| 169 | 0 |1700 |1601 |1700 | 268 | 149k| 1 |1537 | 0.000000e+00 | 3.942380e+05 | Inf
200.10/200.12 c 190s|260000 |259999 |606067 | 2.3 | 262M| 169 | 0 |1700 |1601 |1700 | 270 | 155k| 1 |1560 | 0.000000e+00 | 3.942380e+05 | Inf
207.30/207.38 c 196s|270000 |269999 |624164 | 2.3 | 271M| 169 | 0 |1700 |1601 |1700 | 290 | 160k| 1 |1598 | 0.000000e+00 | 3.942380e+05 | Inf
214.69/214.75 c 203s|280000 |279999 |643882 | 2.3 | 281M| 169 | 0 |1700 |1601 |1700 | 279 | 165k| 1 |1619 | 0.000000e+00 | 3.942380e+05 | Inf
222.10/222.14 c 210s|290000 |289999 |665186 | 2.3 | 291M| 169 | 0 |1700 |1601 |1700 | 286 | 171k| 1 |1644 | 0.000000e+00 | 3.942380e+05 | Inf
229.50/229.51 c 217s|300000 |299999 |684746 | 2.3 | 300M| 169 | 0 |1700 |1601 |1700 | 285 | 176k| 1 |1688 | 0.000000e+00 | 3.942380e+05 | Inf
237.00/237.05 c 225s|310000 |309999 |709474 | 2.3 | 310M| 169 | 0 |1700 |1601 |1700 | 281 | 183k| 1 |1717 | 0.000000e+00 | 3.942380e+05 | Inf
244.40/244.48 c 232s|320000 |319999 |730626 | 2.3 | 320M| 169 | 0 |1700 |1601 |1700 | 247 | 189k| 1 |1754 | 0.000000e+00 | 3.942380e+05 | Inf
251.80/251.86 c 239s|330000 |329999 |750569 | 2.3 | 330M| 169 | 0 |1700 |1601 |1700 | 258 | 194k| 1 |1782 | 0.000000e+00 | 3.942380e+05 | Inf
259.20/259.29 c 246s|340000 |339999 |771308 | 2.3 | 339M| 169 | 0 |1700 |1601 |1700 | 261 | 200k| 1 |1804 | 0.000000e+00 | 3.942380e+05 | Inf
266.59/266.60 c 253s|350000 |349999 |790132 | 2.3 | 349M| 169 | 0 |1700 |1601 |1700 | 257 | 205k| 1 |1827 | 0.000000e+00 | 3.942380e+05 | Inf
273.80/273.86 c 260s|360000 |359999 |808896 | 2.2 | 359M| 169 | 0 |1700 |1601 |1700 | 259 | 211k| 1 |1848 | 0.000000e+00 | 3.942380e+05 | Inf
281.10/281.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.10/281.10 c 266s|370000 |369999 |823978 | 2.2 | 368M| 169 | 0 |1700 |1601 |1700 | 261 | 214k| 1 |1869 | 0.000000e+00 | 3.942380e+05 | Inf
288.30/288.30 c 273s|380000 |379999 |839466 | 2.2 | 378M| 169 | 0 |1700 |1601 |1700 | 251 | 219k| 1 |1888 | 0.000000e+00 | 3.942380e+05 | Inf
295.50/295.52 c 280s|390000 |389999 |854051 | 2.2 | 388M| 169 | 0 |1700 |1601 |1700 | 261 | 222k| 1 |1905 | 0.000000e+00 | 3.942380e+05 | Inf
302.60/302.64 c 287s|400000 |399999 |867467 | 2.2 | 397M| 169 | 0 |1700 |1601 |1700 | 274 | 226k| 1 |1925 | 0.000000e+00 | 3.942380e+05 | Inf
309.90/309.90 c 294s|410000 |409999 |885141 | 2.2 | 407M| 169 | 0 |1700 |1601 |1700 | 264 | 230k| 1 |1941 | 0.000000e+00 | 3.942380e+05 | Inf
317.09/317.15 c 301s|420000 |419999 |901460 | 2.1 | 417M| 169 | 0 |1700 |1601 |1700 | 244 | 235k| 1 |1957 | 0.000000e+00 | 3.942380e+05 | Inf
324.40/324.43 c 307s|430000 |429999 |917565 | 2.1 | 426M| 169 | 0 |1700 |1601 |1700 | 265 | 240k| 1 |1974 | 0.000000e+00 | 3.942380e+05 | Inf
331.70/331.76 c 314s|440000 |439999 |934446 | 2.1 | 436M| 169 | 0 |1700 |1601 |1700 | 286 | 244k| 1 |1991 | 0.000000e+00 | 3.942380e+05 | Inf
338.80/338.88 c 321s|450000 |449999 |947012 | 2.1 | 446M| 169 | 0 |1700 |1601 |1700 | 261 | 247k| 1 |2007 | 0.000000e+00 | 3.942380e+05 | Inf
345.70/345.71 c 328s|460000 |459999 |953843 | 2.1 | 455M| 169 | 0 |1700 |1601 |1700 | 260 | 250k| 1 |2007 | 0.000000e+00 | 3.942380e+05 | Inf
352.60/352.69 c 334s|470000 |469999 |964603 | 2.1 | 465M| 169 | 0 |1700 |1601 |1700 | 275 | 253k| 1 |2022 | 0.000000e+00 | 3.942380e+05 | Inf
360.00/360.03 c 341s|480000 |479999 |984735 | 2.1 | 475M| 169 | 0 |1700 |1601 |1700 | 278 | 258k| 1 |2039 | 0.000000e+00 | 3.942380e+05 | Inf
367.10/367.10 c 348s|490000 |489999 |998401 | 2.0 | 484M| 169 | 0 |1700 |1601 |1700 | 267 | 262k| 1 |2055 | 0.000000e+00 | 3.942380e+05 | Inf
374.40/374.46 c 355s|500000 |499999 | 1018k| 2.0 | 494M| 169 | 0 |1700 |1601 |1700 | 287 | 268k| 1 |2071 | 0.000000e+00 | 3.942380e+05 | Inf
381.71/381.76 c 362s|510000 |509999 | 1037k| 2.0 | 504M| 169 | 0 |1700 |1601 |1700 | 249 | 273k| 1 |2096 | 0.000000e+00 | 3.942380e+05 | Inf
389.10/389.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.10/389.11 c 369s|520000 |519999 | 1057k| 2.0 | 513M| 169 | 0 |1700 |1601 |1700 | 278 | 278k| 1 |2121 | 0.000000e+00 | 3.942380e+05 | Inf
396.10/396.15 c 375s|530000 |529999 | 1068k| 2.0 | 523M| 169 | 0 |1700 |1601 |1700 | 262 | 281k| 1 |2121 | 0.000000e+00 | 3.942380e+05 | Inf
403.30/403.36 c 382s|540000 |539999 | 1083k| 2.0 | 532M| 169 | 0 |1700 |1601 |1700 | 269 | 285k| 1 |2139 | 0.000000e+00 | 3.942380e+05 | Inf
409.90/409.91 c 388s|550000 |549999 | 1090k| 2.0 | 542M| 525 | 0 |1700 |1601 |1700 | 257 | 287k| 1 |2155 | 0.000000e+00 | 3.942380e+05 | Inf
416.30/416.33 c 395s|560000 |559997 | 1095k| 2.0 | 552M| 525 | 0 |1700 |1602 |1700 | 274 | 288k| 2 |2155 | 0.000000e+00 | 3.942380e+05 | Inf
422.70/422.73 c 401s|570000 |569997 | 1100k| 1.9 | 561M| 525 | 0 |1700 |1602 |1700 | 272 | 290k| 2 |2155 | 0.000000e+00 | 3.942380e+05 | Inf
429.10/429.19 c 407s|580000 |579997 | 1106k| 1.9 | 571M| 525 | 0 |1700 |1602 |1700 | 259 | 291k| 2 |2172 | 0.000000e+00 | 3.942380e+05 | Inf
435.51/435.58 c 413s|590000 |589997 | 1111k| 1.9 | 580M| 525 | 0 |1700 |1602 |1700 | 298 | 293k| 2 |2172 | 0.000000e+00 | 3.942380e+05 | Inf
441.90/441.96 c 419s|600000 |599997 | 1115k| 1.9 | 590M| 525 | 0 |1700 |1602 |1700 | 261 | 294k| 2 |2172 | 0.000000e+00 | 3.942380e+05 | Inf
448.50/448.54 c 425s|610000 |609997 | 1125k| 1.8 | 599M| 525 | 0 |1700 |1602 |1700 | 274 | 295k| 2 |2190 | 0.000000e+00 | 3.942380e+05 | Inf
455.00/455.03 c 431s|620000 |619997 | 1132k| 1.8 | 609M| 525 | 0 |1700 |1602 |1700 | 295 | 297k| 2 |2190 | 0.000000e+00 | 3.942380e+05 | Inf
461.50/461.51 c 437s|630000 |629997 | 1138k| 1.8 | 618M| 525 | 0 |1700 |1602 |1700 | 270 | 298k| 2 |2207 | 0.000000e+00 | 3.942380e+05 | Inf
467.90/467.95 c 444s|640000 |639997 | 1145k| 1.8 | 628M| 525 | 0 |1700 |1602 |1700 | 264 | 300k| 2 |2207 | 0.000000e+00 | 3.942380e+05 | Inf
474.31/474.36 c 450s|650000 |649995 | 1150k| 1.8 | 637M| 525 | 0 |1700 |1604 |1700 | 272 | 302k| 4 |2207 | 0.000000e+00 | 3.942380e+05 | Inf
480.81/480.84 c 456s|660000 |659993 | 1157k| 1.8 | 647M| 525 | 0 |1700 |1607 |1700 | 307 | 303k| 7 |2224 | 0.000000e+00 | 3.942380e+05 | Inf
487.30/487.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.30/487.37 c 462s|670000 |669993 | 1165k| 1.7 | 657M| 525 | 0 |1700 |1607 |1700 | 276 | 306k| 7 |2224 | 0.000000e+00 | 3.942380e+05 | Inf
493.91/493.90 c 468s|680000 |679993 | 1173k| 1.7 | 666M| 525 | 0 |1700 |1607 |1700 | 267 | 308k| 7 |2243 | 0.000000e+00 | 3.942380e+05 | Inf
500.41/500.46 c 474s|690000 |689993 | 1182k| 1.7 | 676M| 525 | 0 |1700 |1607 |1700 | 261 | 309k| 7 |2243 | 0.000000e+00 | 3.942380e+05 | Inf
506.90/506.91 c 481s|700000 |699991 | 1189k| 1.7 | 685M| 525 | 0 |1700 |1611 |1700 | 253 | 311k| 11 |2262 | 0.000000e+00 | 3.942380e+05 | Inf
513.20/513.27 c 487s|710000 |709991 | 1194k| 1.7 | 695M| 525 | 0 |1700 |1611 |1700 | 244 | 312k| 11 |2262 | 0.000000e+00 | 3.942380e+05 | Inf
519.71/519.74 c 493s|720000 |719991 | 1201k| 1.7 | 704M| 525 | 0 |1700 |1611 |1700 | 242 | 314k| 11 |2262 | 0.000000e+00 | 3.942380e+05 | Inf
526.21/526.21 c 499s|730000 |729991 | 1208k| 1.7 | 714M| 525 | 0 |1700 |1611 |1700 | 245 | 316k| 11 |2280 | 0.000000e+00 | 3.942380e+05 | Inf
532.60/532.65 c 505s|740000 |739991 | 1215k| 1.6 | 723M| 525 | 0 |1700 |1611 |1700 | 270 | 318k| 11 |2280 | 0.000000e+00 | 3.942380e+05 | Inf
538.91/538.98 c 511s|750000 |749991 | 1218k| 1.6 | 733M| 525 | 0 |1700 |1611 |1700 | 291 | 319k| 11 |2280 | 0.000000e+00 | 3.942380e+05 | Inf
545.30/545.38 c 517s|760000 |759991 | 1223k| 1.6 | 742M| 525 | 0 |1700 |1611 |1700 | 253 | 320k| 11 |2295 | 0.000000e+00 | 3.942380e+05 | Inf
551.71/551.79 c 523s|770000 |769991 | 1228k| 1.6 | 752M| 525 | 0 |1700 |1611 |1700 | 264 | 321k| 11 |2295 | 0.000000e+00 | 3.942380e+05 | Inf
558.11/558.19 c 529s|780000 |779991 | 1234k| 1.6 | 761M| 525 | 0 |1700 |1611 |1700 | 243 | 323k| 11 |2295 | 0.000000e+00 | 3.942380e+05 | Inf
561.70/561.70 o 18767
561.70/561.70 c * 533s|785476 |770594 | 1237k| 1.6 | 753M| 525 | - |1700 |1611 |1700 | 288 | 324k| 11 |2298 | 0.000000e+00 | 1.876700e+04 | Inf
565.31/565.39 c 536s|790000 |775118 | 1249k| 1.6 | 758M| 525 | 0 |1700 |1611 |1700 | 281 | 327k| 11 |2311 | 0.000000e+00 | 1.876700e+04 | Inf
573.60/573.65 c 544s|800000 |785118 | 1285k| 1.6 | 768M| 525 | 4 |1700 |1611 |1700 | 262 | 338k| 11 |2342 | 0.000000e+00 | 1.876700e+04 | Inf
581.51/581.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.51/581.52 c 551s|810000 |795116 | 1310k| 1.6 | 777M| 525 | 0 |1700 |1621 |1700 | 253 | 345k| 21 |2369 | 0.000000e+00 | 1.876700e+04 | Inf
589.11/589.18 c 559s|820000 |805116 | 1333k| 1.6 | 787M| 525 | 0 |1700 |1621 |1700 | 246 | 352k| 21 |2391 | 0.000000e+00 | 1.876700e+04 | Inf
596.71/596.74 c 566s|830000 |815116 | 1355k| 1.6 | 797M| 525 | 0 |1700 |1619 |1700 | 281 | 359k| 21 |2406 | 0.000000e+00 | 1.876700e+04 | Inf
604.21/604.28 c 573s|840000 |825112 | 1373k| 1.6 | 807M| 525 | 0 |1700 |1629 |1700 | 260 | 364k| 33 |2420 | 0.000000e+00 | 1.876700e+04 | Inf
611.61/611.63 c 580s|850000 |835108 | 1389k| 1.6 | 816M| 525 | 0 |1700 |1648 |1700 | 239 | 369k| 53 |2434 | 0.000000e+00 | 1.876700e+04 | Inf
619.21/619.28 c 587s|860000 |845087 | 1412k| 1.6 | 826M| 525 | 0 |1700 |1697 |1700 | 249 | 375k| 119 |2458 | 0.000000e+00 | 1.876700e+04 | Inf
626.61/626.67 c 594s|870000 |855081 | 1431k| 1.6 | 836M| 525 | 0 |1700 |1692 |1700 | 253 | 381k| 141 |2470 | 0.000000e+00 | 1.876700e+04 | Inf
633.91/633.94 c 601s|880000 |865081 | 1448k| 1.6 | 845M| 525 | 0 |1700 |1673 |1700 | 235 | 386k| 141 |2480 | 0.000000e+00 | 1.876700e+04 | Inf
641.41/641.45 c 608s|890000 |875069 | 1469k| 1.7 | 855M| 525 | 0 |1700 |1678 |1700 | 262 | 392k| 169 |2489 | 0.000000e+00 | 1.876700e+04 | Inf
648.80/648.83 c 615s|900000 |885069 | 1488k| 1.7 | 864M| 525 | 12 |1700 |1670 |1700 | 246 | 399k| 169 |2500 | 0.000000e+00 | 1.876700e+04 | Inf
655.31/655.35 c 621s|910000 |895069 | 1497k| 1.6 | 874M| 525 | 0 |1700 |1668 |1700 | 224 | 400k| 169 |2511 | 0.000000e+00 | 1.876700e+04 | Inf
662.50/662.50 c 628s|920000 |905060 | 1513k| 1.6 | 883M| 525 | 0 |1700 |1704 |1700 | 235 | 405k| 210 |2520 | 0.000000e+00 | 1.876700e+04 | Inf
669.81/669.84 c 635s|930000 |915056 | 1532k| 1.6 | 893M| 525 | 0 |1700 |1687 |1700 | 264 | 411k| 221 |2531 | 0.000000e+00 | 1.876700e+04 | Inf
677.01/677.08 c 642s|940000 |925048 | 1551k| 1.6 | 902M| 525 | 0 |1700 |1707 |1700 | 215 | 416k| 252 |2542 | 0.000000e+00 | 1.876700e+04 | Inf
684.30/684.32 c 648s|950000 |935042 | 1570k| 1.7 | 912M| 525 | 0 |1700 |1697 |1700 | 260 | 421k| 263 |2550 | 0.000000e+00 | 1.876700e+04 | Inf
691.71/691.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
691.71/691.79 c 655s|960000 |945038 | 1594k| 1.7 | 921M| 525 | 0 |1700 |1695 |1700 | 238 | 428k| 274 |2559 | 0.000000e+00 | 1.876700e+04 | Inf
698.90/698.92 c 662s|970000 |955034 | 1608k| 1.7 | 931M| 525 | 0 |1700 |1712 |1700 | 281 | 432k| 294 |2570 | 0.000000e+00 | 1.876700e+04 | Inf
706.41/706.41 c 669s|980000 |965005 | 1632k| 1.7 | 940M| 525 | 0 |1700 |1770 |1700 | 256 | 438k| 400 |2591 | 0.000000e+00 | 1.876700e+04 | Inf
713.71/713.73 c 676s|990000 |974988 | 1651k| 1.7 | 950M| 525 | 6 |1700 |1774 |1700 | 219 | 444k| 472 |2600 | 0.000000e+00 | 1.876700e+04 | Inf
721.11/721.18 c 683s| 1000k|984977 | 1672k| 1.7 | 959M| 525 | 6 |1700 |1770 |1700 | 228 | 450k| 512 |2610 | 0.000000e+00 | 1.876700e+04 | Inf
728.41/728.43 c 690s| 1010k|994974 | 1692k| 1.7 | 969M| 525 | 7 |1700 |1740 |1700 | 229 | 454k| 532 |2620 | 0.000000e+00 | 1.876700e+04 | Inf
736.11/736.17 c 697s| 1020k| 1004k| 1722k| 1.7 | 978M| 525 | 10 |1700 |1782 |1700 | 263 | 459k| 646 |2635 | 0.000000e+00 | 1.876700e+04 | Inf
743.41/743.47 c 704s| 1030k| 1014k| 1740k| 1.7 | 988M| 525 | 0 |1700 |1748 |1700 | 277 | 464k| 646 |2644 | 0.000000e+00 | 1.876700e+04 | Inf
750.81/750.89 c 711s| 1040k| 1024k| 1761k| 1.7 | 997M| 525 | 0 |1700 |1768 |1700 | 248 | 470k| 720 |2654 | 0.000000e+00 | 1.876700e+04 | Inf
758.11/758.17 c 718s| 1050k| 1034k| 1779k| 1.7 |1007M| 525 | 0 |1700 |1762 |1700 | 197 | 475k| 740 |2664 | 0.000000e+00 | 1.876700e+04 | Inf
765.21/765.26 c 725s| 1060k| 1044k| 1794k| 1.7 |1016M| 525 | 0 |1700 |1751 |1700 | 261 | 479k| 751 |2673 | 0.000000e+00 | 1.876700e+04 | Inf
772.71/772.78 c 732s| 1070k| 1054k| 1818k| 1.7 |1025M| 525 | 18 |1700 |1770 |1700 | 202 | 486k| 802 |2682 | 0.000000e+00 | 1.876700e+04 | Inf
780.11/780.18 c 739s| 1080k| 1064k| 1840k| 1.7 |1035M| 525 | 0 |1700 |1782 |1700 | 280 | 492k| 875 |2698 | 0.000000e+00 | 1.876700e+04 | Inf
787.52/787.56 c 745s| 1090k| 1074k| 1860k| 1.7 |1044M| 525 | 0 |1700 |1781 |1700 | 205 | 497k| 918 |2709 | 0.000000e+00 | 1.876700e+04 | Inf
794.71/794.74 c 752s| 1100k| 1084k| 1877k| 1.7 |1054M| 525 | 0 |1700 |1777 |1700 | 280 | 502k| 959 |2717 | 0.000000e+00 | 1.876700e+04 | Inf
802.11/802.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.11/802.12 c 759s| 1110k| 1094k| 1898k| 1.7 |1064M| 525 | 0 |1700 |2066 |1700 | 256 | 508k|1344 |2727 | 0.000000e+00 | 1.876700e+04 | Inf
809.62/809.63 c 766s| 1120k| 1104k| 1925k| 1.7 |1073M| 525 | 0 |1700 |1884 |1700 | 271 | 515k|1500 |2738 | 0.000000e+00 | 1.876700e+04 | Inf
817.01/817.00 c 773s| 1130k| 1114k| 1947k| 1.7 |1083M| 525 | 0 |1700 |1820 |1700 | 228 | 520k|1544 |2754 | 0.000000e+00 | 1.876700e+04 | Inf
824.31/824.35 c 780s| 1140k| 1124k| 1966k| 1.7 |1092M| 525 | 0 |1700 |1808 |1700 | 246 | 525k|1574 |2763 | 0.000000e+00 | 1.876700e+04 | Inf
831.41/831.46 c 787s| 1150k| 1134k| 1981k| 1.7 |1101M| 525 | 0 |1700 |1783 |1700 | 265 | 529k|1594 |2773 | 0.000000e+00 | 1.876700e+04 | Inf
838.31/838.31 c 793s| 1160k| 1144k| 1991k| 1.7 |1111M| 525 | 0 |1700 |1756 |1700 | 222 | 531k|1604 |2773 | 0.000000e+00 | 1.876700e+04 | Inf
845.21/845.23 c 800s| 1170k| 1154k| 2001k| 1.7 |1120M| 525 | 16 |1700 |1788 |1700 | 266 | 534k|1644 |2782 | 0.000000e+00 | 1.876700e+04 | Inf
852.52/852.50 c 807s| 1180k| 1164k| 2019k| 1.7 |1130M| 525 | 0 |1700 |1778 |1700 | 225 | 539k|1738 |2790 | 0.000000e+00 | 1.876700e+04 | Inf
859.71/859.74 c 813s| 1190k| 1174k| 2037k| 1.7 |1139M| 525 | 3 |1700 |1777 |1700 | 261 | 544k|1798 |2799 | 0.000000e+00 | 1.876700e+04 | Inf
866.91/866.92 c 820s| 1200k| 1184k| 2053k| 1.7 |1149M| 525 | 0 |1700 |1788 |1700 | 245 | 549k|1829 |2809 | 0.000000e+00 | 1.876700e+04 | Inf
874.01/874.09 c 827s| 1210k| 1194k| 2070k| 1.7 |1158M| 525 | 0 |1700 |1810 |1700 | 243 | 554k|1901 |2819 | 0.000000e+00 | 1.876700e+04 | Inf
881.21/881.23 c 834s| 1220k| 1204k| 2085k| 1.7 |1168M| 525 | 0 |1700 |1795 |1700 | 244 | 558k|1962 |2827 | 0.000000e+00 | 1.876700e+04 | Inf
888.41/888.42 c 840s| 1230k| 1214k| 2102k| 1.7 |1177M| 525 | 3 |1700 |1778 |1700 | 258 | 562k|1986 |2835 | 0.000000e+00 | 1.876700e+04 | Inf
895.91/895.90 c 847s| 1240k| 1224k| 2127k| 1.7 |1187M| 525 | 0 |1700 |1758 |1700 | 244 | 567k|1986 |2844 | 0.000000e+00 | 1.876700e+04 | Inf
903.21/903.29 c 854s| 1250k| 1234k| 2147k| 1.7 |1196M| 525 | 0 |1700 |1753 |1700 | 200 | 569k|1997 |2851 | 0.000000e+00 | 1.876700e+04 | Inf
910.11/910.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
910.11/910.18 c 861s| 1260k| 1244k| 2162k| 1.7 |1205M| 525 | 0 |1700 |1774 |1700 | 205 | 572k|2040 |2863 | 0.000000e+00 | 1.876700e+04 | Inf
916.82/916.84 c 867s| 1270k| 1254k| 2171k| 1.7 |1215M| 525 | 0 |1700 |1761 |1700 | 241 | 574k|2050 |2863 | 0.000000e+00 | 1.876700e+04 | Inf
923.82/923.82 c 874s| 1280k| 1264k| 2183k| 1.7 |1224M| 525 | 0 |1700 |1767 |1700 | 257 | 577k|2082 |2873 | 0.000000e+00 | 1.876700e+04 | Inf
930.92/930.91 c 881s| 1290k| 1274k| 2198k| 1.7 |1233M| 525 | 0 |1700 |1778 |1700 | 271 | 581k|2156 |2882 | 0.000000e+00 | 1.876700e+04 | Inf
938.12/938.10 c 887s| 1300k| 1284k| 2214k| 1.7 |1243M| 525 | 0 |1700 |1761 |1700 | 260 | 585k|2161 |2891 | 0.000000e+00 | 1.876700e+04 | Inf
945.31/945.30 c 894s| 1310k| 1294k| 2231k| 1.7 |1252M| 525 | 0 |1700 |1755 |1700 | 257 | 590k|2172 |2900 | 0.000000e+00 | 1.876700e+04 | Inf
952.11/952.16 c 901s| 1320k| 1304k| 2240k| 1.7 |1262M| 525 | 0 |1700 |1805 |1700 | 249 | 592k|2245 |2901 | 0.000000e+00 | 1.876700e+04 | Inf
959.31/959.34 c 907s| 1330k| 1314k| 2257k| 1.7 |1271M| 525 | 0 |1700 |1772 |1700 | 282 | 597k|2284 |2911 | 0.000000e+00 | 1.876700e+04 | Inf
966.02/966.00 c 914s| 1340k| 1324k| 2265k| 1.7 |1280M| 525 | 0 |1700 |1815 |1700 | 220 | 599k|2368 |2911 | 0.000000e+00 | 1.876700e+04 | Inf
972.42/972.41 c 920s| 1350k| 1334k| 2271k| 1.7 |1289M| 525 | 0 |1700 |1779 |1700 | 222 | 601k|2368 |2919 | 0.000000e+00 | 1.876700e+04 | Inf
979.41/979.43 c 926s| 1360k| 1344k| 2284k| 1.7 |1299M| 525 | 6 |1700 |1771 |1700 | 224 | 604k|2441 |2919 | 0.000000e+00 | 1.876700e+04 | Inf
986.41/986.40 c 933s| 1370k| 1354k| 2296k| 1.7 |1308M| 525 | 7 |1700 |1764 |1700 | 222 | 608k|2503 |2927 | 0.000000e+00 | 1.876700e+04 | Inf
993.52/993.54 c 940s| 1380k| 1364k| 2311k| 1.7 |1318M| 525 | 21 |1700 |1810 |1700 | 217 | 612k|2567 |2933 | 0.000000e+00 | 1.876700e+04 | Inf
1000.82/1000.82 c 946s| 1390k| 1374k| 2331k| 1.7 |1327M| 525 | 0 |1700 |1755 |1700 | 264 | 618k|2578 |2941 | 0.000000e+00 | 1.876700e+04 | Inf
1008.02/1008.05 c 953s| 1400k| 1384k| 2348k| 1.7 |1337M| 525 | 0 |1700 |1768 |1700 | 246 | 622k|2641 |2949 | 0.000000e+00 | 1.876700e+04 | Inf
1014.81/1014.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.81/1014.84 c 960s| 1410k| 1394k| 2357k| 1.7 |1346M| 525 | 0 |1700 |1774 |1700 | 250 | 625k|2685 |2952 | 0.000000e+00 | 1.876700e+04 | Inf
1021.92/1021.95 c 966s| 1420k| 1404k| 2372k| 1.7 |1355M| 525 | 0 |1700 |1793 |1700 | 251 | 629k|2716 |2956 | 0.000000e+00 | 1.876700e+04 | Inf
1028.91/1028.91 c 973s| 1430k| 1414k| 2385k| 1.7 |1365M| 525 | 0 |1700 |1799 |1700 | 270 | 633k|2778 |2965 | 0.000000e+00 | 1.876700e+04 | Inf
1035.91/1035.94 c 980s| 1440k| 1424k| 2399k| 1.7 |1374M| 525 | 0 |1700 |1777 |1700 | 237 | 637k|2904 |2973 | 0.000000e+00 | 1.876700e+04 | Inf
1043.41/1043.43 c 987s| 1450k| 1434k| 2425k| 1.7 |1384M| 525 | 0 |1700 |1841 |1700 | 251 | 644k|3084 |2981 | 0.000000e+00 | 1.876700e+04 | Inf
1050.31/1050.34 c 993s| 1460k| 1444k| 2436k| 1.7 |1393M| 525 | 0 |1700 |1788 |1700 | 226 | 647k|3127 |2989 | 0.000000e+00 | 1.876700e+04 | Inf
1057.32/1057.32 c 1000s| 1470k| 1454k| 2447k| 1.7 |1402M| 525 | 0 |1700 |1780 |1700 | 231 | 650k|3188 |2994 | 0.000000e+00 | 1.876700e+04 | Inf
1063.81/1063.85 c 1006s| 1480k| 1464k| 2453k| 1.7 |1412M| 525 | 0 |1700 |1819 |1700 | 253 | 651k|3250 |2997 | 0.000000e+00 | 1.876700e+04 | Inf
1070.42/1070.47 c 1012s| 1490k| 1474k| 2459k| 1.7 |1421M| 525 | 0 |1700 |1776 |1700 | 212 | 653k|3250 |2997 | 0.000000e+00 | 1.876700e+04 | Inf
1076.82/1076.88 c 1018s| 1500k| 1484k| 2461k| 1.6 |1430M| 525 | 0 |1700 |1758 |1700 | 224 | 653k|3250 |2997 | 0.000000e+00 | 1.876700e+04 | Inf
1083.43/1083.47 c 1024s| 1510k| 1494k| 2465k| 1.6 |1439M| 525 | 0 |1700 |1767 |1700 | 225 | 654k|3301 |3002 | 0.000000e+00 | 1.876700e+04 | Inf
1089.92/1089.95 c 1031s| 1520k| 1504k| 2467k| 1.6 |1448M| 525 | 0 |1700 |1737 |1700 | 237 | 655k|3301 |3003 | 0.000000e+00 | 1.876700e+04 | Inf
1096.52/1096.56 c 1037s| 1530k| 1514k| 2471k| 1.6 |1458M| 525 | 0 |1700 |1741 |1700 | 235 | 656k|3343 |3003 | 0.000000e+00 | 1.876700e+04 | Inf
1103.01/1103.06 c 1043s| 1540k| 1524k| 2475k| 1.6 |1467M| 525 | 0 |1700 |1730 |1700 | 211 | 657k|3343 |3003 | 0.000000e+00 | 1.876700e+04 | Inf
1109.92/1109.98 c 1050s| 1550k| 1534k| 2485k| 1.6 |1476M| 525 | 0 |1700 |1714 |1700 | 249 | 660k|3343 |3008 | 0.000000e+00 | 1.876700e+04 | Inf
1116.62/1116.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.62/1116.69 c 1056s| 1560k| 1544k| 2493k| 1.6 |1486M| 525 | 0 |1700 |1751 |1700 | 276 | 662k|3394 |3008 | 0.000000e+00 | 1.876700e+04 | Inf
1123.31/1123.32 c 1062s| 1570k| 1554k| 2499k| 1.6 |1495M| 525 | 0 |1700 |1755 |1700 | 214 | 664k|3418 |3009 | 0.000000e+00 | 1.876700e+04 | Inf
1129.92/1129.98 c 1068s| 1580k| 1564k| 2506k| 1.6 |1504M| 525 | 0 |1700 |1772 |1700 | 218 | 665k|3458 |3016 | 0.000000e+00 | 1.876700e+04 | Inf
1136.62/1136.64 c 1075s| 1590k| 1574k| 2512k| 1.6 |1513M| 525 | 0 |1700 |1739 |1700 | 219 | 667k|3458 |3016 | 0.000000e+00 | 1.876700e+04 | Inf
1143.32/1143.36 c 1081s| 1600k| 1584k| 2520k| 1.6 |1523M| 525 | 0 |1700 |1744 |1700 | 224 | 669k|3478 |3021 | 0.000000e+00 | 1.876700e+04 | Inf
1149.92/1149.99 c 1087s| 1610k| 1594k| 2527k| 1.6 |1532M| 525 | 8 |1700 |1730 |1700 | 231 | 671k|3478 |3023 | 0.000000e+00 | 1.876700e+04 | Inf
1156.52/1156.53 c 1093s| 1620k| 1604k| 2534k| 1.6 |1541M| 525 | 0 |1700 |1769 |1700 | 232 | 672k|3526 |3023 | 0.000000e+00 | 1.876700e+04 | Inf
1162.82/1162.85 c 1099s| 1630k| 1614k| 2537k| 1.6 |1551M| 525 | 0 |1700 |1752 |1700 | 241 | 673k|3537 |3024 | 0.000000e+00 | 1.876700e+04 | Inf
1169.72/1169.77 c 1106s| 1640k| 1624k| 2549k| 1.6 |1560M| 525 | 0 |1700 |1812 |1700 | 248 | 676k|3649 |3029 | 0.000000e+00 | 1.876700e+04 | Inf
1176.71/1176.74 c 1113s| 1650k| 1634k| 2561k| 1.6 |1569M| 525 | 4 |1700 |1765 |1700 | 263 | 679k|3702 |3034 | 0.000000e+00 | 1.876700e+04 | Inf
1183.42/1183.49 c 1119s| 1660k| 1644k| 2568k| 1.5 |1579M| 525 | 0 |1700 |1757 |1700 | 218 | 681k|3723 |3034 | 0.000000e+00 | 1.876700e+04 | Inf
1190.12/1190.15 c 1125s| 1670k| 1654k| 2573k| 1.5 |1588M| 525 | 0 |1700 |1751 |1700 | 219 | 683k|3748 |3040 | 0.000000e+00 | 1.876700e+04 | Inf
1197.12/1197.11 c 1132s| 1680k| 1664k| 2584k| 1.5 |1597M| 525 | 0 |1700 |1730 |1700 | 239 | 686k|3781 |3040 | 0.000000e+00 | 1.876700e+04 | Inf
1204.22/1204.29 c 1139s| 1690k| 1674k| 2600k| 1.5 |1607M| 525 | 0 |1700 |1719 |1700 | 247 | 690k|3781 |3046 | 0.000000e+00 | 1.876700e+04 | Inf
1211.42/1211.41 c 1145s| 1700k| 1684k| 2614k| 1.5 |1616M| 525 | 14 |1700 |1720 |1700 | 230 | 694k|3802 |3052 | 0.000000e+00 | 1.876700e+04 | Inf
1218.32/1218.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.32/1218.33 c 1152s| 1710k| 1694k| 2625k| 1.5 |1626M| 525 | 0 |1700 |1721 |1700 | 238 | 697k|3813 |3053 | 0.000000e+00 | 1.876700e+04 | Inf
1225.22/1225.21 c 1158s| 1720k| 1704k| 2635k| 1.5 |1635M| 525 | 0 |1700 |1747 |1700 | 244 | 700k|3875 |3060 | 0.000000e+00 | 1.876700e+04 | Inf
1232.22/1232.23 c 1165s| 1730k| 1714k| 2649k| 1.5 |1644M| 525 | 0 |1700 |1742 |1700 | 256 | 704k|3896 |3067 | 0.000000e+00 | 1.876700e+04 | Inf
1239.12/1239.11 c 1171s| 1740k| 1724k| 2661k| 1.5 |1654M| 525 | 0 |1700 |1728 |1700 | 230 | 707k|3909 |3067 | 0.000000e+00 | 1.876700e+04 | Inf
1246.13/1246.15 c 1178s| 1750k| 1734k| 2675k| 1.5 |1663M| 525 | 0 |1700 |1762 |1700 | 255 | 711k|3950 |3073 | 0.000000e+00 | 1.876700e+04 | Inf
1253.22/1253.23 c 1185s| 1760k| 1744k| 2691k| 1.5 |1673M| 525 | 0 |1700 |1782 |1700 | 239 | 715k|4046 |3079 | 0.000000e+00 | 1.876700e+04 | Inf
1260.02/1260.09 c 1191s| 1770k| 1753k| 2700k| 1.5 |1682M| 525 | 39 |1700 |1775 |1700 | 221 | 718k|4067 |3081 | 0.000000e+00 | 1.876700e+04 | Inf
1266.52/1266.58 c 1197s| 1780k| 1763k| 2706k| 1.5 |1692M| 525 | 0 |1700 |1750 |1700 | 248 | 720k|4067 |3086 | 0.000000e+00 | 1.876700e+04 | Inf
1273.53/1273.55 c 1204s| 1790k| 1773k| 2718k| 1.5 |1701M| 525 | 0 |1700 |1782 |1700 | 236 | 722k|4128 |3088 | 0.000000e+00 | 1.876700e+04 | Inf
1280.33/1280.39 c 1210s| 1800k| 1783k| 2729k| 1.5 |1710M| 525 | 0 |1700 |1790 |1700 | 270 | 726k|4215 |3092 | 0.000000e+00 | 1.876700e+04 | Inf
1286.82/1286.87 c 1217s| 1810k| 1793k| 2734k| 1.5 |1720M| 525 | 0 |1700 |1799 |1700 | 250 | 727k|4245 |3092 | 0.000000e+00 | 1.876700e+04 | Inf
1288.72/1288.78 o 18714
1288.72/1288.78 c *1218s| 1812k| 1796k| 2736k| 1.5 |1722M| 525 | - |1700 |1808 |1700 | 283 | 728k|4266 |3096 | 0.000000e+00 | 1.871400e+04 | Inf
1294.03/1294.09 c 1223s| 1820k| 1803k| 2748k| 1.5 |1729M| 525 | 0 |1700 |1888 |1700 | 196 | 731k|4414 |3098 | 0.000000e+00 | 1.871400e+04 | Inf
1301.23/1301.21 c 1230s| 1830k| 1813k| 2763k| 1.5 |1738M| 525 | 0 |1700 |1794 |1700 | 261 | 735k|4444 |3103 | 0.000000e+00 | 1.871400e+04 | Inf
1308.02/1308.09 c 1237s| 1840k| 1823k| 2773k| 1.5 |1747M| 525 | 0 |1700 |1798 |1700 | 215 | 737k|4483 |3108 | 0.000000e+00 | 1.871400e+04 | Inf
1314.93/1314.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.93/1314.99 c 1243s| 1850k| 1833k| 2782k| 1.5 |1757M| 525 | 0 |1700 |1772 |1700 | 232 | 740k|4493 |3109 | 0.000000e+00 | 1.871400e+04 | Inf
1321.83/1321.83 c 1250s| 1860k| 1843k| 2791k| 1.5 |1766M| 525 | 0 |1700 |1798 |1700 | 242 | 742k|4545 |3112 | 0.000000e+00 | 1.871400e+04 | Inf
1328.62/1328.62 c 1256s| 1870k| 1853k| 2798k| 1.5 |1776M| 525 | 0 |1700 |1771 |1700 | 248 | 744k|4580 |3115 | 0.000000e+00 | 1.871400e+04 | Inf
1335.12/1335.14 c 1262s| 1880k| 1863k| 2800k| 1.5 |1785M| 525 | 0 |1700 |1754 |1700 | 233 | 745k|4580 |3115 | 0.000000e+00 | 1.871400e+04 | Inf
1342.03/1342.03 c 1269s| 1890k| 1873k| 2810k| 1.5 |1794M| 525 | 0 |1700 |1749 |1700 | 238 | 747k|4592 |3120 | 0.000000e+00 | 1.871400e+04 | Inf
1349.02/1349.04 c 1275s| 1900k| 1883k| 2823k| 1.5 |1804M| 525 | 0 |1700 |1761 |1700 | 208 | 750k|4624 |3122 | 0.000000e+00 | 1.871400e+04 | Inf
1356.12/1356.10 c 1282s| 1910k| 1893k| 2837k| 1.5 |1813M| 525 | 0 |1700 |1753 |1700 | 283 | 754k|4626 |3129 | 0.000000e+00 | 1.871400e+04 | Inf
1362.83/1362.85 c 1288s| 1920k| 1903k| 2845k| 1.5 |1822M| 525 | 0 |1700 |1801 |1700 | 239 | 756k|4699 |3129 | 0.000000e+00 | 1.871400e+04 | Inf
1369.62/1369.61 c 1295s| 1930k| 1913k| 2850k| 1.5 |1832M| 525 | 0 |1700 |1789 |1700 | 251 | 758k|4709 |3134 | 0.000000e+00 | 1.871400e+04 | Inf
1376.13/1376.19 c 1301s| 1940k| 1923k| 2855k| 1.5 |1841M| 525 | 0 |1700 |1793 |1700 | 235 | 759k|4740 |3134 | 0.000000e+00 | 1.871400e+04 | Inf
1382.82/1382.88 c 1307s| 1950k| 1933k| 2860k| 1.5 |1850M| 525 | 0 |1700 |1770 |1700 | 245 | 760k|4740 |3134 | 0.000000e+00 | 1.871400e+04 | Inf
1389.72/1389.73 c 1314s| 1960k| 1943k| 2867k| 1.5 |1860M| 525 | 0 |1700 |1757 |1700 | 216 | 762k|4751 |3142 | 0.000000e+00 | 1.871400e+04 | Inf
1390.33/1390.33 o 18674
1390.33/1390.33 c *1314s| 1960k| 1943k| 2868k| 1.5 |1860M| 525 | - |1700 |1775 |1700 | 281 | 762k|4774 |3142 | 0.000000e+00 | 1.867400e+04 | Inf
1396.93/1396.93 c 1320s| 1970k| 1953k| 2881k| 1.5 |1869M| 525 | 0 |1700 |1766 |1700 | 212 | 766k|4819 |3142 | 0.000000e+00 | 1.867400e+04 | Inf
1403.82/1403.89 c 1327s| 1980k| 1963k| 2893k| 1.5 |1878M| 525 | 26 |1700 |1785 |1700 | 243 | 769k|4874 |3147 | 0.000000e+00 | 1.867400e+04 | Inf
1410.72/1410.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.72/1410.78 c 1333s| 1990k| 1973k| 2903k| 1.5 |1888M| 525 | 0 |1700 |1754 |1700 | 243 | 772k|4886 |3153 | 0.000000e+00 | 1.867400e+04 | Inf
1417.43/1417.49 c 1340s| 2000k| 1983k| 2910k| 1.5 |1897M| 525 | 0 |1700 |1760 |1700 | 228 | 773k|4908 |3153 | 0.000000e+00 | 1.867400e+04 | Inf
1423.92/1423.95 c 1346s| 2010k| 1993k| 2913k| 1.4 |1906M| 525 | 0 |1700 |1751 |1700 | 225 | 774k|4908 |3153 | 0.000000e+00 | 1.867400e+04 | Inf
1430.73/1430.79 c 1352s| 2020k| 2003k| 2921k| 1.4 |1916M| 525 | 0 |1700 |1756 |1700 | 208 | 776k|4948 |3159 | 0.000000e+00 | 1.867400e+04 | Inf
1437.63/1437.69 c 1359s| 2030k| 2013k| 2931k| 1.4 |1925M| 525 | 0 |1700 |1760 |1700 | 250 | 779k|5007 |3159 | 0.000000e+00 | 1.867400e+04 | Inf
1444.72/1444.70 c 1365s| 2040k| 2023k| 2945k| 1.4 |1934M| 525 | 0 |1700 |1758 |1700 | 248 | 783k|5027 |3165 | 0.000000e+00 | 1.867400e+04 | Inf
1451.73/1451.71 c 1372s| 2050k| 2033k| 2957k| 1.4 |1944M| 525 | 0 |1700 |1758 |1700 | 270 | 786k|5048 |3171 | 0.000000e+00 | 1.867400e+04 | Inf
1458.43/1458.47 c 1378s| 2060k| 2043k| 2965k| 1.4 |1953M| 525 | 0 |1700 |1744 |1700 | 225 | 788k|5049 |3172 | 0.000000e+00 | 1.867400e+04 | Inf
1465.13/1465.17 c 1385s| 2070k| 2052k| 2971k| 1.4 |1962M| 525 | 0 |1700 |1782 |1700 | 224 | 790k|5109 |3172 | 0.000000e+00 | 1.867400e+04 | Inf
1471.92/1471.98 c 1391s| 2080k| 2062k| 2978k| 1.4 |1972M| 525 | 0 |1700 |1771 |1700 | 264 | 792k|5139 |3177 | 0.000000e+00 | 1.867400e+04 | Inf
1478.83/1478.83 o 18656
1478.83/1478.83 c *1398s| 2089k| 2072k| 2988k| 1.4 |1981M| 525 | - |1700 |1745 |1700 | 280 | 795k|5139 |3177 | 0.000000e+00 | 1.865600e+04 | Inf
1478.93/1478.92 c 1398s| 2090k| 2072k| 2988k| 1.4 |1981M| 525 | 0 |1700 |1755 |1700 | 226 | 795k|5149 |3177 | 0.000000e+00 | 1.865600e+04 | Inf
1485.53/1485.58 c 1404s| 2100k| 2082k| 2994k| 1.4 |1990M| 525 | 0 |1700 |1756 |1700 | 238 | 796k|5169 |3182 | 0.000000e+00 | 1.865600e+04 | Inf
1492.33/1492.34 c 1410s| 2110k| 2092k| 3001k| 1.4 |1999M| 525 | 17 |1700 |1785 |1700 | 251 | 798k|5213 |3182 | 0.000000e+00 | 1.865600e+04 | Inf
1499.23/1499.25 c 1417s| 2120k| 2102k| 3013k| 1.4 |2009M| 525 | 15 |1700 |1797 |1700 | 276 | 801k|5293 |3188 | 0.000000e+00 | 1.865600e+04 | Inf
1505.83/1505.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1505.83/1505.89 c 1423s| 2130k| 2112k| 3021k| 1.4 |2018M| 525 | 0 |1700 |1784 |1700 | 221 | 804k|5368 |3188 | 0.000000e+00 | 1.865600e+04 | Inf
1512.93/1512.95 c 1430s| 2140k| 2122k| 3035k| 1.4 |2028M| 525 | 0 |1700 |1759 |1700 | 261 | 807k|5369 |3193 | 0.000000e+00 | 1.865600e+04 | Inf
1519.82/1519.84 c 1436s| 2150k| 2132k| 3045k| 1.4 |2037M| 525 | 0 |1700 |1762 |1700 | 263 | 810k|5391 |3193 | 0.000000e+00 | 1.865600e+04 | Inf
1526.83/1526.81 c 1443s| 2160k| 2142k| 3055k| 1.4 |2046M| 525 | 0 |1700 |1818 |1700 | 248 | 813k|5474 |3199 | 0.000000e+00 | 1.865600e+04 | Inf
1529.53/1529.51 o 18654
1529.53/1529.51 c *1446s| 2164k| 2146k| 3059k| 1.4 |2050M| 525 | - |1700 |1818 |1700 | 288 | 814k|5493 |3199 | 0.000000e+00 | 1.865400e+04 | Inf
1533.53/1533.54 c 1449s| 2170k| 2152k| 3063k| 1.4 |2056M| 525 | 0 |1700 |1825 |1700 | 230 | 815k|5543 |3201 | 0.000000e+00 | 1.865400e+04 | Inf
1540.13/1540.17 c 1456s| 2180k| 2162k| 3068k| 1.4 |2065M| 525 | 0 |1700 |1817 |1700 | 232 | 816k|5608 |3204 | 0.000000e+00 | 1.865400e+04 | Inf
1546.64/1546.64 c 1462s| 2190k| 2172k| 3071k| 1.4 |2074M| 525 | 14 |1700 |1770 |1700 | 237 | 817k|5608 |3204 | 0.000000e+00 | 1.865400e+04 | Inf
1553.24/1553.25 c 1468s| 2200k| 2182k| 3076k| 1.4 |2084M| 525 | 0 |1700 |1746 |1700 | 220 | 819k|5608 |3205 | 0.000000e+00 | 1.865400e+04 | Inf
1559.83/1559.87 c 1474s| 2210k| 2192k| 3080k| 1.4 |2093M| 525 | 0 |1700 |1741 |1700 | 252 | 820k|5608 |3206 | 0.000000e+00 | 1.865400e+04 | Inf
1566.73/1566.70 c 1481s| 2220k| 2202k| 3088k| 1.4 |2102M| 525 | 0 |1700 |1719 |1700 | 232 | 822k|5608 |3211 | 0.000000e+00 | 1.865400e+04 | Inf
1573.43/1573.48 c 1487s| 2230k| 2212k| 3097k| 1.4 |2112M| 525 | 0 |1700 |1723 |1700 | 222 | 824k|5639 |3211 | 0.000000e+00 | 1.865400e+04 | Inf
1580.43/1580.42 c 1494s| 2240k| 2222k| 3107k| 1.4 |2121M| 525 | 0 |1700 |1732 |1700 | 251 | 827k|5664 |3218 | 0.000000e+00 | 1.865400e+04 | Inf
1586.83/1586.81 c 1500s| 2250k| 2232k| 3113k| 1.4 |2130M| 525 | 0 |1700 |1734 |1700 | 246 | 828k|5684 |3218 | 0.000000e+00 | 1.865400e+04 | Inf
1593.53/1593.57 c 1506s| 2260k| 2242k| 3121k| 1.4 |2140M| 525 | 0 |1700 |1755 |1700 | 247 | 831k|5717 |3224 | 0.000000e+00 | 1.865400e+04 | Inf
1600.54/1600.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.54/1600.53 c 1512s| 2270k| 2252k| 3131k| 1.4 |2149M| 525 | 0 |1700 |1756 |1700 | 225 | 834k|5738 |3225 | 0.000000e+00 | 1.865400e+04 | Inf
1607.23/1607.24 c 1519s| 2280k| 2262k| 3137k| 1.4 |2158M| 525 | 0 |1700 |1736 |1700 | 256 | 836k|5741 |3225 | 0.000000e+00 | 1.865400e+04 | Inf
1614.13/1614.19 c 1525s| 2290k| 2272k| 3148k| 1.4 |2168M| 525 | 0 |1700 |1730 |1700 | 283 | 839k|5741 |3232 | 0.000000e+00 | 1.865400e+04 | Inf
1620.94/1620.92 c 1532s| 2300k| 2282k| 3154k| 1.4 |2177M| 525 | 0 |1700 |1726 |1700 | 248 | 840k|5742 |3232 | 0.000000e+00 | 1.865400e+04 | Inf
1627.23/1627.23 c 1538s| 2310k| 2292k| 3157k| 1.4 |2186M| 525 | 0 |1700 |1718 |1700 | 226 | 841k|5742 |3232 | 0.000000e+00 | 1.865400e+04 | Inf
1633.83/1633.80 c 1544s| 2320k| 2302k| 3164k| 1.4 |2196M| 525 | 0 |1700 |1755 |1700 | 213 | 843k|5800 |3240 | 0.000000e+00 | 1.865400e+04 | Inf
1640.53/1640.55 c 1550s| 2330k| 2312k| 3172k| 1.4 |2205M| 525 | 0 |1700 |1779 |1700 | 227 | 845k|5862 |3240 | 0.000000e+00 | 1.865400e+04 | Inf
1647.33/1647.32 c 1557s| 2340k| 2322k| 3179k| 1.4 |2214M| 525 | 0 |1700 |1755 |1700 | 218 | 848k|5905 |3244 | 0.000000e+00 | 1.865400e+04 | Inf
1654.13/1654.14 c 1563s| 2350k| 2332k| 3188k| 1.4 |2223M| 525 | 2 |1700 |1736 |1700 | 269 | 850k|5905 |3247 | 0.000000e+00 | 1.865400e+04 | Inf
1658.74/1658.71 o 18554
1658.74/1658.71 c *1567s| 2356k| 2338k| 3195k| 1.4 |2228M| 525 | - |1700 |1762 |1700 | 244 | 852k|5939 |3247 | 0.000000e+00 | 1.855400e+04 | Inf
1661.13/1661.19 c 1570s| 2360k| 2341k| 3199k| 1.4 |2232M| 525 | 0 |1700 |1758 |1700 | 250 | 853k|5991 |3252 | 0.000000e+00 | 1.855400e+04 | Inf
1667.83/1667.87 c 1576s| 2370k| 2351k| 3205k| 1.4 |2241M| 525 | 0 |1700 |1762 |1700 | 213 | 855k|6013 |3254 | 0.000000e+00 | 1.855400e+04 | Inf
1674.63/1674.66 c 1582s| 2380k| 2361k| 3212k| 1.3 |2250M| 525 | 0 |1700 |1752 |1700 | 223 | 856k|6032 |3254 | 0.000000e+00 | 1.855400e+04 | Inf
1681.43/1681.40 c 1589s| 2390k| 2371k| 3217k| 1.3 |2260M| 525 | 0 |1700 |1735 |1700 | 240 | 858k|6033 |3257 | 0.000000e+00 | 1.855400e+04 | Inf
1687.93/1687.95 c 1595s| 2400k| 2381k| 3220k| 1.3 |2269M| 525 | 0 |1700 |1728 |1700 | 236 | 859k|6033 |3259 | 0.000000e+00 | 1.855400e+04 | Inf
1694.53/1694.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.53/1694.52 c 1601s| 2410k| 2391k| 3223k| 1.3 |2279M| 525 | 0 |1700 |1749 |1700 | 249 | 859k|6064 |3259 | 0.000000e+00 | 1.855400e+04 | Inf
1696.43/1696.42 o 18540
1696.43/1696.42 c *1603s| 2412k| 2394k| 3225k| 1.3 |2281M| 525 | - |1700 |1760 |1700 | 283 | 860k|6087 |3259 | 0.000000e+00 | 1.854000e+04 | Inf
1701.23/1701.22 c 1608s| 2420k| 2401k| 3227k| 1.3 |2288M| 525 | 0 |1700 |1761 |1700 | 237 | 860k|6107 |3260 | 0.000000e+00 | 1.854000e+04 | Inf
1707.84/1707.84 c 1614s| 2430k| 2411k| 3232k| 1.3 |2297M| 525 | 0 |1700 |1739 |1700 | 243 | 862k|6107 |3260 | 0.000000e+00 | 1.854000e+04 | Inf
1714.43/1714.41 c 1620s| 2440k| 2421k| 3235k| 1.3 |2306M| 525 | 0 |1700 |1730 |1700 | 232 | 862k|6107 |3260 | 0.000000e+00 | 1.854000e+04 | Inf
1720.93/1720.99 c 1626s| 2450k| 2431k| 3237k| 1.3 |2316M| 525 | 0 |1700 |1732 |1700 | 227 | 863k|6117 |3266 | 0.000000e+00 | 1.854000e+04 | Inf
1727.63/1727.69 c 1633s| 2460k| 2441k| 3243k| 1.3 |2325M| 525 | 0 |1700 |1721 |1700 | 219 | 865k|6130 |3268 | 0.000000e+00 | 1.854000e+04 | Inf
1734.44/1734.45 c 1639s| 2470k| 2451k| 3250k| 1.3 |2334M| 525 | 0 |1700 |1741 |1700 | 239 | 867k|6160 |3268 | 0.000000e+00 | 1.854000e+04 | Inf
1741.34/1741.38 c 1646s| 2480k| 2461k| 3260k| 1.3 |2344M| 525 | 0 |1700 |1739 |1700 | 254 | 869k|6195 |3275 | 0.000000e+00 | 1.854000e+04 | Inf
1748.14/1748.16 c 1652s| 2490k| 2471k| 3267k| 1.3 |2353M| 525 | 0 |1700 |1719 |1700 | 245 | 871k|6195 |3275 | 0.000000e+00 | 1.854000e+04 | Inf
1754.83/1754.81 c 1658s| 2500k| 2481k| 3270k| 1.3 |2362M| 525 | 0 |1700 |1729 |1700 | 237 | 872k|6215 |3275 | 0.000000e+00 | 1.854000e+04 | Inf
1761.43/1761.41 c 1664s| 2510k| 2491k| 3274k| 1.3 |2372M| 525 | 0 |1700 |1742 |1700 | 225 | 873k|6255 |3278 | 0.000000e+00 | 1.854000e+04 | Inf
1768.04/1768.03 c 1671s| 2520k| 2501k| 3279k| 1.3 |2381M| 525 | 0 |1700 |1721 |1700 | 230 | 874k|6256 |3283 | 0.000000e+00 | 1.854000e+04 | Inf
1774.44/1774.42 c 1677s| 2530k| 2511k| 3281k| 1.3 |2390M| 525 | 0 |1700 |1745 |1700 | 231 | 875k|6289 |3283 | 0.000000e+00 | 1.854000e+04 | Inf
1780.84/1780.83 c 1683s| 2540k| 2521k| 3282k| 1.3 |2400M| 525 | 0 |1700 |1735 |1700 | 233 | 875k|6289 |3283 | 0.000000e+00 | 1.854000e+04 | Inf
1787.24/1787.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1787.24/1787.27 c 1689s| 2550k| 2531k| 3284k| 1.3 |2409M| 525 | 0 |1700 |1747 |1700 | 222 | 876k|6309 |3283 | 0.000000e+00 | 1.854000e+04 | Inf
1793.64/1793.68 c 1695s| 2560k| 2541k| 3285k| 1.3 |2418M| 525 | 0 |1700 |1731 |1700 | 227 | 876k|6309 |3283 | 0.000000e+00 | 1.854000e+04 | Inf
1799.73/1799.78 c 1701s| 2570k| 2551k| 3286k| 1.3 |2427M| 525 | 0 |1700 |1725 |1700 | 221 | 876k|6309 |3283 | 0.000000e+00 | 1.854000e+04 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1700.97
1800.03/1800.00 c Solving Nodes : 2570366
1800.03/1800.00 c Primal Bound : +1.85400000000000e+04 (107 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.01 s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time : 1700.97
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-2699996-1278533870.wbo
1800.03/1800.01 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.03/1800.01 c Constraints : 1701 initial, 1701 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-2699996-1278533870.wbo
1800.03/1800.01 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.03/1800.01 c Constraints : 1600 initial, 2080 maximal
1800.03/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c linear : 0.02 0 100 0 800 0 101 0 0
1800.03/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c root node : - 0 - - 0 - - - -
1800.03/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c integral : 0 0 0 2758161 0 0 0 0 0 679506
1800.03/1800.01 c indicator : 800 0 3455572 2418408 0 68 1808138 0 0 0
1800.03/1800.01 c linear : 800 6 3416802 2385353 0 402 907567 876670 0 0
1800.03/1800.01 c logicor : 0+ 0 665048 0 0 1 333097 0 0 0
1800.03/1800.01 c countsols : 0 0 0 2229749 0 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.01 c integral : 6.29 0.00 0.00 6.29 0.00
1800.03/1800.01 c indicator : 153.58 0.00 29.66 123.92 0.00
1800.03/1800.01 c linear : 32.13 0.00 14.37 17.76 0.00
1800.03/1800.01 c logicor : 1.18 0.00 1.18 0.00 0.00
1800.03/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.01 c vbounds : 0.00 2 0 0
1800.03/1800.01 c rootredcost : 0.02 7 0 0
1800.03/1800.01 c pseudoobj : 49.90 3455811 439 94832
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 0.06 842 842 7961 50.7 1454 4.6 -
1800.03/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c pseudo solution : 0.00 51 51 655 47.2 204 4.6 -
1800.03/1800.01 c applied globally : - - - 6309 36.3 - - -
1800.03/1800.01 c applied locally : - - - 0 0.0 - - -
1800.03/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.01 c cut pool : 0.00 3 - - 96 - (maximal pool size: 127)
1800.03/1800.01 c redcost : 89.54 2758570 0 173934 0 0
1800.03/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.03/1800.01 c intobj : 0.00 0 0 0 0 0
1800.03/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.01 c gomory : 0.01 4 0 0 133 0
1800.03/1800.01 c strongcg : 0.00 4 0 0 0 0
1800.03/1800.01 c cmir : 0.01 4 0 0 0 0
1800.03/1800.01 c flowcover : 0.03 4 0 0 0 0
1800.03/1800.01 c clique : 0.00 1 0 0 0 0
1800.03/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.01 c mcf : 0.00 1 0 0 0 0
1800.03/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.01 c Pricers : Time Calls Vars
1800.03/1800.01 c problem variables: 0.00 0 0
1800.03/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c relpscost : 6.23 339753 0 0 0 0 679506
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 144.22 2229742 0 0 0 0 4459484
1800.03/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c random : 0.00 0 0 0 0 0 0
1800.03/1800.01 c Primal Heuristics : Time Calls Found
1800.03/1800.01 c LP solutions : 0.17 - 7
1800.03/1800.01 c pseudo solutions : 0.00 - 0
1800.03/1800.01 c feaspump : 0.00 0 0
1800.03/1800.01 c oneopt : 0.11 8 0
1800.03/1800.01 c intshifting : 0.04 12 0
1800.03/1800.01 c crossover : 0.66 57 0
1800.03/1800.01 c fracdiving : 18.35 37809 0
1800.03/1800.01 c veclendiving : 19.26 37809 0
1800.03/1800.01 c linesearchdiving : 18.11 37810 0
1800.03/1800.01 c guideddiving : 18.37 37810 0
1800.03/1800.01 c coefdiving : 18.01 37810 0
1800.03/1800.01 c pscostdiving : 18.62 37810 0
1800.03/1800.01 c objpscostdiving : 20.24 37793 0
1800.03/1800.01 c rootsoldiving : 20.31 37793 0
1800.03/1800.01 c trivial : 0.00 2 1
1800.03/1800.01 c simplerounding : 0.24 339734 0
1800.03/1800.01 c zirounding : 0.01 1000 0
1800.03/1800.01 c rounding : 0.34 8168 0
1800.03/1800.01 c shifting : 1.33 2507 0
1800.03/1800.01 c twoopt : 0.00 0 0
1800.03/1800.01 c fixandinfer : 0.00 0 0
1800.03/1800.01 c intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.01 1 0
1800.03/1800.01 c rins : 0.00 0 0
1800.03/1800.01 c localbranching : 0.00 0 0
1800.03/1800.01 c mutation : 0.00 0 0
1800.03/1800.01 c dins : 0.00 0 0
1800.03/1800.01 c undercover : 0.00 0 0
1800.03/1800.01 c nlp : 0.01 0 0
1800.03/1800.01 c trysol : 0.28 41028 99
1800.03/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.01 c dual LP : 652.46 612075 3285888 5.37 5036.15
1800.03/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.01 c diving/probing LP: 0.15 205 1096 5.35 7306.67
1800.03/1800.01 c strong branching : 3.89 3283 57602 17.55 14807.71
1800.03/1800.01 c (at root node) : - 33 4653 141.00 -
1800.03/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.01 c B&B Tree :
1800.03/1800.01 c number of runs : 1
1800.03/1800.01 c nodes : 2570366
1800.03/1800.01 c nodes (total) : 2570366
1800.03/1800.01 c nodes left : 2551830
1800.03/1800.01 c max depth : 525
1800.03/1800.01 c max depth (total): 525
1800.03/1800.01 c backtracks : 38254 (1.5%)
1800.03/1800.01 c delayed cutoffs : 97
1800.03/1800.01 c repropagations : 661 (31710 domain reductions, 97 cutoffs)
1800.03/1800.01 c avg switch length: 2.50
1800.03/1800.01 c switching time : 75.18
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 107 (8 improvements)
1800.03/1800.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.03/1800.01 c Primal Bound : +1.85400000000000e+04 (in run 1, after 2412788 nodes, 1603.04 seconds, depth 92, found by <relaxation>)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Root Iterations : 262
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699996-1278533870/watcher-2699996-1278533870 -o /tmp/evaluation-result-2699996-1278533870/solver-2699996-1278533870 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2699996-1278533870.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: 0.52 0.14 0.04 4/178 17008
/proc/meminfo: memFree=29179680/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=9140 CPUtime=0
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 1591 0 0 0 0 0 0 0 25 0 1 0 21600136 9359360 1510 4089446400 4194304 8223781 140735444300784 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17008/statm: 2285 1510 363 984 0 1298 0
[startup+0.0783349 s]
/proc/loadavg: 0.52 0.14 0.04 4/178 17008
/proc/meminfo: memFree=29179680/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=22908 CPUtime=0.07
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 6029 0 0 0 6 1 0 0 25 0 1 0 21600136 23457792 4803 4089446400 4194304 8223781 140735444300784 18446744073709551615 5734170 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17008/statm: 5727 4803 554 984 0 4740 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22908
[startup+0.100334 s]
/proc/loadavg: 0.52 0.14 0.04 4/178 17008
/proc/meminfo: memFree=29179680/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=23332 CPUtime=0.09
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 6149 0 0 0 8 1 0 0 25 0 1 0 21600136 23891968 4923 4089446400 4194304 8223781 140735444300784 18446744073709551615 5755243 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17008/statm: 5833 4923 563 984 0 4846 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23332
[startup+0.300308 s]
/proc/loadavg: 0.52 0.14 0.04 4/178 17008
/proc/meminfo: memFree=29179680/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=29300 CPUtime=0.29
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 9846 0 0 0 28 1 0 0 25 0 1 0 21600136 30003200 6396 4089446400 4194304 8223781 140735444300784 18446744073709551615 6448652 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17008/statm: 7325 6396 578 984 0 6338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29300
[startup+0.70023 s]
/proc/loadavg: 0.52 0.14 0.04 4/178 17008
/proc/meminfo: memFree=29179680/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=29300 CPUtime=0.69
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 9846 0 0 0 67 2 0 0 25 0 1 0 21600136 30003200 6396 4089446400 4194304 8223781 140735444300784 18446744073709551615 6532643 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17008/statm: 7325 6396 578 984 0 6338 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29300
[startup+1.50109 s]
/proc/loadavg: 0.64 0.17 0.05 3/179 17010
/proc/meminfo: memFree=29151524/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=29300 CPUtime=1.49
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 9846 0 0 0 146 3 0 0 25 0 1 0 21600136 30003200 6396 4089446400 4194304 8223781 140735444300784 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17008/statm: 7325 6396 578 984 0 6338 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29300
[startup+3.1008 s]
/proc/loadavg: 0.64 0.17 0.05 3/179 17010
/proc/meminfo: memFree=29147804/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=31268 CPUtime=3.09
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 12278 0 0 0 302 7 0 0 25 0 1 0 21600136 32018432 6909 4089446400 4194304 8223781 140735444300784 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17008/statm: 7817 6909 582 984 0 6830 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31268
[startup+6.30024 s]
/proc/loadavg: 0.64 0.17 0.05 3/179 17010
/proc/meminfo: memFree=29136264/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=33072 CPUtime=6.29
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 21006 0 0 0 613 16 0 0 25 0 1 0 21600136 33865728 7407 4089446400 4194304 8223781 140735444300784 18446744073709551615 6248424 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17008/statm: 8268 7407 582 984 0 7281 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33072
[startup+12.7001 s]
/proc/loadavg: 0.85 0.23 0.07 3/179 17011
/proc/meminfo: memFree=29113292/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=41308 CPUtime=12.69
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 25905 0 0 0 1240 29 0 0 25 0 1 0 21600136 42299392 9478 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17008/statm: 10327 9478 582 984 0 9340 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41308
[startup+25.5009 s]
/proc/loadavg: 1.03 0.28 0.09 3/179 17087
/proc/meminfo: memFree=29220816/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=55452 CPUtime=25.49
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 32367 0 0 0 2455 94 0 0 25 0 1 0 21600136 56782848 13065 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 13863 13065 586 984 0 12876 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55452
[startup+51.1003 s]
/proc/loadavg: 1.36 0.42 0.14 3/179 17160
/proc/meminfo: memFree=29184220/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=90776 CPUtime=51.1
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 47101 0 0 0 4849 261 0 0 25 0 1 0 21600136 92954624 22047 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 22694 22047 586 984 0 21707 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 90776
[startup+102.306 s]
/proc/loadavg: 1.74 0.68 0.25 3/179 17165
/proc/meminfo: memFree=29116320/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=158812 CPUtime=102.3
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 66812 0 0 0 9688 542 0 0 25 0 1 0 21600136 162623488 38808 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 39703 38808 586 984 0 38716 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 158812
[startup+162.301 s]
/proc/loadavg: 1.90 0.92 0.35 3/179 17167
/proc/meminfo: memFree=29038512/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=239340 CPUtime=162.29
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 89121 0 0 0 15372 857 0 0 25 0 1 0 21600136 245084160 58226 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 59835 58226 586 984 0 58848 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 239340
[startup+222.3 s]
/proc/loadavg: 1.96 1.11 0.45 3/179 17167
/proc/meminfo: memFree=28960088/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=316376 CPUtime=222.3
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 108717 0 0 0 21060 1170 0 0 25 0 1 0 21600136 323969024 77807 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 79094 77807 586 984 0 78107 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 316376
[startup+282.301 s]
/proc/loadavg: 1.98 1.27 0.55 3/179 17169
/proc/meminfo: memFree=28879804/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=395624 CPUtime=282.3
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 128863 0 0 0 26753 1477 0 0 25 0 1 0 21600136 405118976 97931 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 98906 97931 586 984 0 97919 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 395624
[startup+342.301 s]
/proc/loadavg: 1.99 1.40 0.64 3/179 17171
/proc/meminfo: memFree=28798052/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=475708 CPUtime=342.3
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 152087 0 0 0 32439 1791 0 0 25 0 1 0 21600136 487124992 118267 4089446400 4194304 8223781 140735444300784 18446744073709551615 6446778 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 118927 118267 586 984 0 117940 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 475708
[startup+402.3 s]
/proc/loadavg: 2.04 1.52 0.72 3/179 17173
/proc/meminfo: memFree=28718728/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=562756 CPUtime=402.3
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 172130 0 0 0 38129 2101 0 0 25 0 1 0 21600136 576262144 138310 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 140689 138310 586 984 0 139702 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 562756
[startup+462.301 s]
/proc/loadavg: 2.01 1.61 0.80 3/179 17175
/proc/meminfo: memFree=28630620/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=649068 CPUtime=462.3
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 194085 0 0 0 43824 2406 0 0 25 0 1 0 21600136 664645632 160246 4089446400 4194304 8223781 140735444300784 18446744073709551615 6456039 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 162267 160246 586 984 0 161280 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 649068
[startup+522.3 s]
/proc/loadavg: 2.00 1.68 0.87 3/179 17175
/proc/meminfo: memFree=28543020/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=735668 CPUtime=522.3
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 216103 0 0 0 49514 2716 0 0 25 0 1 0 21600136 753324032 182263 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 183917 182263 586 984 0 182930 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 735668
[startup+582.301 s]
/proc/loadavg: 2.00 1.73 0.94 3/179 17177
/proc/meminfo: memFree=28469680/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=805452 CPUtime=582.3
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 252018 0 0 0 55212 3018 0 0 25 0 1 0 21600136 824782848 200011 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 201363 200011 586 984 0 200376 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 805452
[startup+642.3 s]
/proc/loadavg: 2.00 1.78 1.00 3/179 17206
/proc/meminfo: memFree=28363376/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=882972 CPUtime=642.31
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 277484 0 0 0 60889 3342 0 0 25 0 1 0 21600136 904163328 219696 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 220743 219696 586 984 0 219756 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 882972
[startup+702.301 s]
################
# More data... #
################
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 402088 0 0 0 94784 5448 0 0 25 0 1 0 21600136 1398702080 338296 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 341480 338296 586 984 0 340493 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1365920
[startup+1062.3 s]
/proc/loadavg: 2.06 1.95 1.35 3/179 17218
/proc/meminfo: memFree=27239524/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=1442848 CPUtime=1062.32
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 421660 0 0 0 100450 5782 0 0 25 0 1 0 21600136 1477476352 357851 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 360712 357851 588 984 0 359725 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1442848
[startup+1122.3 s]
/proc/loadavg: 2.02 1.95 1.39 3/179 17218
/proc/meminfo: memFree=27099844/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=1526904 CPUtime=1122.32
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 443041 0 0 0 106121 6111 0 0 25 0 1 0 21600136 1563549696 379230 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 381726 379230 588 984 0 380739 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1526904
[startup+1182.3 s]
/proc/loadavg: 2.01 1.96 1.43 3/179 17220
/proc/meminfo: memFree=26958408/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=1610348 CPUtime=1182.32
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 467117 0 0 0 111779 6453 0 0 25 0 1 0 21600136 1648996352 400434 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 402587 400434 588 984 0 401600 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1610348
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.46 3/179 17222
/proc/meminfo: memFree=26806548/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=1688700 CPUtime=1242.32
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 487036 0 0 0 117448 6784 0 0 25 0 1 0 21600136 1729228800 420352 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 422175 420352 588 984 0 421188 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1688700
[startup+1302.3 s]
/proc/loadavg: 2.04 1.99 1.50 3/179 17224
/proc/meminfo: memFree=26647032/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=1768580 CPUtime=1302.33
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 522445 0 0 0 123106 7127 0 0 25 0 1 0 21600136 1811025920 440654 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 442145 440654 588 984 0 441158 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1768580
[startup+1362.3 s]
/proc/loadavg: 2.01 1.99 1.52 3/179 17226
/proc/meminfo: memFree=26515160/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=1848536 CPUtime=1362.32
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 551365 0 0 0 128775 7457 0 0 25 0 1 0 21600136 1892900864 460986 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 462134 460986 588 984 0 461147 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1848536
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.55 3/179 17226
/proc/meminfo: memFree=26387760/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=1930912 CPUtime=1422.33
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 592339 0 0 0 134439 7794 0 0 25 0 1 0 21600136 1977253888 481921 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 482728 481921 588 984 0 481741 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1930912
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.58 3/179 17228
/proc/meminfo: memFree=26241508/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=2043192 CPUtime=1482.33
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 627741 0 0 0 140100 8133 0 0 25 0 1 0 21600136 2092228608 502159 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 510798 502159 588 984 0 509811 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2043192
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/179 17230
/proc/meminfo: memFree=26137904/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=2123312 CPUtime=1542.33
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 668845 0 0 0 145760 8473 0 0 25 0 1 0 21600136 2174271488 522526 4089446400 4194304 8223781 140735444300784 18446744073709551615 4903023 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 530828 522526 588 984 0 529841 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2123312
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/179 17232
/proc/meminfo: memFree=26033420/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=2207272 CPUtime=1602.33
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 692858 0 0 0 151417 8816 0 0 25 0 1 0 21600136 2260246528 543844 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 551818 543844 588 984 0 550831 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2207272
[startup+1662.3 s]
/proc/loadavg: 2.03 2.00 1.65 3/179 17234
/proc/meminfo: memFree=25920872/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=2286296 CPUtime=1662.33
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 720507 0 0 0 157085 9148 0 0 25 0 1 0 21600136 2341167104 563971 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 571574 563971 588 984 0 570587 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2286296
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.67 3/179 17234
/proc/meminfo: memFree=25828440/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=2372396 CPUtime=1722.33
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 764058 0 0 0 162756 9477 0 0 25 0 1 0 21600136 2429333504 585839 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 593099 585839 588 984 0 592112 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2372396
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/179 17236
/proc/meminfo: memFree=25686756/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=2454264 CPUtime=1782.33
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 788630 0 0 0 168425 9808 0 0 25 0 1 0 21600136 2513166336 606645 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 613566 606645 588 984 0 612579 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2454264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.69 3/179 17236
/proc/meminfo: memFree=25656360/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=2481348 CPUtime=1800.03
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 795511 0 0 0 170098 9905 0 0 25 0 1 0 21600136 2540900352 613526 4089446400 4194304 8223781 140735444300784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17008/statm: 620337 613526 588 984 0 619350 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2481348
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17008
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.69 3/180 17238
/proc/meminfo: memFree=25656104/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=2481348 CPUtime=1801.44
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 795513 0 0 0 170238 9906 0 0 19 0 1 0 21600136 2540900352 613528 4089446400 4194304 8223781 140735444300784 18446744073709551615 4670017 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17008/statm: 620337 613528 590 984 0 619350 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2481348
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.69 3/180 17238
/proc/meminfo: memFree=25655732/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=2481348 CPUtime=1801.84
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 795513 0 0 0 170278 9906 0 0 20 0 1 0 21600136 2540900352 613528 4089446400 4194304 8223781 140735444300784 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17008/statm: 620337 613528 590 984 0 619350 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2481348
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.69 3/180 17238
/proc/meminfo: memFree=25655732/32951124 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=2481348 CPUtime=1802.04
/proc/17008/stat : 17008 (pbscip.linux.x8) R 17006 17008 16390 0 -1 4202496 795513 0 0 0 170298 9906 0 0 21 0 1 0 21600136 2540900352 613528 4089446400 4194304 8223781 140735444300784 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17008/statm: 620337 613528 590 984 0 619350 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2481348
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.13
CPU user time (s): 1702.99
CPU system time (s): 99.1419
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2481348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1702.99
system time used= 99.1419
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 795513
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= 5
involuntary context switches= 19216
runsolver used 2.55761 second user time and 5.72213 second system time
The end
Begin job on node136 at 2010-07-07 22:17:50
IDJOB=2699996
IDBENCH=79391
IDSOLVER=1204
FILE ID=node136/2699996-1278533870
PBS_JOBID= 11239206
Free space on /tmp= 73380 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-jnh207_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-2699996-1278533870/watcher-2699996-1278533870 -o /tmp/evaluation-result-2699996-1278533870/solver-2699996-1278533870 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2699996-1278533870.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a376d7f23eea0592d561601b8922f58b
RANDOM SEED=397397328
node136.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.834
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.66
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.834
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.834
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.74
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.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
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 : 5426.48
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.834
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.83
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.834
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.67
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.834
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: 29180208 kB
Buffers: 132564 kB
Cached: 3324824 kB
SwapCached: 0 kB
Active: 951972 kB
Inactive: 2666176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29180208 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5000 kB
Writeback: 0 kB
AnonPages: 160760 kB
Mapped: 16188 kB
Slab: 89100 kB
PageTables: 4716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 301852 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= 73372 MiB
End job on node136 at 2010-07-07 22:47:53