0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2693884-1277896402.wbo>
0.00/0.00 c original problem has 253 variables (211 bin, 0 int, 0 impl, 42 cont) and 144 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48 impls, 39 clqs
0.00/0.01 c (round 2) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48 impls, 39 clqs
0.00/0.01 c (round 3) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 48 impls, 39 clqs
0.00/0.02 c (0.0s) probing: 101/211 (47.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (4 rounds):
0.00/0.02 c 0 deleted vars, 14 deleted constraints, 42 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 48 implications, 39 cliques
0.00/0.02 c presolved problem has 253 variables (211 bin, 0 int, 0 impl, 42 cont) and 130 constraints
0.00/0.02 c 42 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 39 constraints of type <setppc>
0.00/0.02 c 42 constraints of type <linear>
0.00/0.02 c 6 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 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.02 c 0.0s| 1 | 2 | 0 | - | 941k| 0 | - | 253 | 130 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.27 c 1.0s| 10000 | 7308 | 0 | 0.0 |6448k| 141 | - | 253 |3491 | 0 | 0 | 0 |6266 | 0 | 0.000000e+00 | -- | Inf
3.09/3.16 c 2.6s| 20000 | 13437 | 0 | 0.0 | 10M| 141 | - | 253 |3744 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
5.29/5.33 c 4.5s| 30000 | 19202 | 0 | 0.0 | 15M| 141 | - | 253 |6169 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
8.39/8.40 c 7.2s| 40000 | 23574 | 0 | 0.0 | 21M| 141 | - | 253 |9192 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
12.49/12.50 c 11.0s| 50000 | 26311 | 0 | 0.0 | 26M| 141 | - | 253 | 11k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
17.59/17.62 c 15.7s| 60000 | 27305 | 0 | 0.0 | 30M| 141 | - | 253 | 15k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
18.89/18.99 c 16.9s| 70000 | 35675 | 0 | 0.0 | 30M| 141 | - | 253 |2352 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
19.39/19.46 o 266
19.39/19.46 c *17.2s| 73901 | 38800 | 0 | 0.0 | 31M| 141 | - | 253 |2502 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 2.660000e+02 | Inf
20.19/20.23 c 17.8s| 80000 | 43590 | 0 | 0.0 | 34M| 141 | - | 253 |2877 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 2.660000e+02 | Inf
20.59/20.65 o 181
20.59/20.65 c *18.1s| 83085 | 45930 | 0 | 0.0 | 35M| 141 | - | 253 |3104 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
21.69/21.79 c 19.1s| 90000 | 50759 | 0 | 0.0 | 38M| 141 | - | 253 |4154 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
24.20/24.21 c 21.1s|100000 | 56311 | 0 | 0.0 | 43M| 141 | - | 253 |7209 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
28.29/28.34 c 25.0s|110000 | 59288 | 0 | 0.0 | 47M| 141 | - | 253 | 10k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
33.69/33.72 c 30.0s|120000 | 61050 | 0 | 0.0 | 52M| 141 | - | 253 | 13k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
40.49/40.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.49/40.54 c 36.4s|130000 | 61262 | 0 | 0.0 | 55M| 141 | - | 253 | 15k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
48.19/48.27 c 43.8s|140000 | 61077 | 0 | 0.0 | 59M| 141 | - | 253 | 19k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
57.39/57.46 c 52.6s|150000 | 59947 | 0 | 0.0 | 62M| 141 | - | 253 | 23k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
67.69/67.79 c 62.5s|160000 | 58594 | 0 | 0.0 | 61M| 141 | - | 253 | 22k| 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
69.99/70.03 c 64.4s|170000 | 66380 | 0 | 0.0 | 60M| 141 | - | 253 |3783 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
71.79/71.85 c 66.0s|180000 | 73382 | 0 | 0.0 | 64M| 141 | - | 253 |4347 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
73.79/73.82 c 67.6s|190000 | 80162 | 0 | 0.0 | 68M| 141 | - | 253 |5007 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
75.80/75.84 c 69.3s|200000 | 86937 | 0 | 0.0 | 72M| 141 | - | 253 |5178 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
77.79/77.87 c 71.1s|210000 | 93681 | 0 | 0.0 | 76M| 141 | - | 253 |5449 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
78.79/78.88 o 164
78.79/78.88 c *72.0s|214794 | 96814 | 0 | 0.0 | 78M| 141 | - | 253 |5637 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
79.99/80.01 c 72.9s|220000 |100223 | 0 | 0.0 | 80M| 141 | - | 253 |5687 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
82.10/82.17 c 74.8s|230000 |106717 | 0 | 0.0 | 84M| 141 | - | 253 |6031 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
84.39/84.41 c 76.7s|240000 |113098 | 0 | 0.0 | 88M| 141 | - | 253 |6301 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
86.69/86.76 c 78.7s|250000 |119315 | 0 | 0.0 | 92M| 141 | - | 253 |6529 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
89.00/89.07 c 80.7s|260000 |125615 | 0 | 0.0 | 95M| 141 | - | 253 |6967 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
91.79/91.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.79/91.89 c 83.2s|270000 |131036 | 0 | 0.0 | 100M| 141 | - | 253 |7718 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
95.00/95.05 c 86.0s|280000 |135928 | 0 | 0.0 | 104M| 141 | - | 253 |8419 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
98.29/98.33 c 88.9s|290000 |140721 | 0 | 0.0 | 108M| 141 | - | 253 |8659 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
101.79/101.80 c 92.0s|300000 |145185 | 0 | 0.0 | 112M| 141 | - | 253 |9133 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
105.29/105.31 c 95.2s|310000 |149515 | 0 | 0.0 | 116M| 141 | - | 253 |9454 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
108.90/108.91 c 98.5s|320000 |153695 | 0 | 0.0 | 121M| 141 | - | 253 | 10k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
110.59/110.67 o 111
110.59/110.67 c * 100s|325049 |154311 | 0 | 0.0 | 121M| 141 | - | 253 | 10k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
112.49/112.53 c 102s|330000 |156331 | 0 | 0.0 | 123M| 141 | - | 253 | 11k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
116.50/116.57 c 105s|340000 |160089 | 0 | 0.0 | 127M| 141 | - | 253 | 13k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
122.00/122.01 c 110s|350000 |162143 | 0 | 0.0 | 131M| 141 | - | 253 | 15k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
132.60/132.65 c 121s|360000 |159488 | 0 | 0.0 | 133M| 141 | - | 253 | 20k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
148.40/148.42 c 136s|370000 |154278 | 0 | 0.0 | 131M| 141 | - | 253 | 26k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
166.80/166.85 c 154s|380000 |147370 | 0 | 0.0 | 123M| 141 | - | 253 | 33k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
172.09/172.18 c 159s|390000 |153522 | 0 | 0.0 | 118M| 141 | - | 253 |7578 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
175.19/175.20 c 162s|400000 |158946 | 0 | 0.0 | 122M| 141 | - | 253 |6739 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
178.29/178.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.29/178.31 c 164s|410000 |164139 | 0 | 0.0 | 126M| 141 | - | 253 |7237 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
181.69/181.71 c 168s|420000 |168958 | 0 | 0.0 | 130M| 141 | - | 253 |8097 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
185.29/185.32 c 171s|430000 |173576 | 0 | 0.0 | 134M| 141 | - | 253 |8740 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
189.09/189.15 c 174s|440000 |177894 | 0 | 0.0 | 138M| 141 | - | 253 |9583 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
193.19/193.29 c 178s|450000 |181862 | 0 | 0.0 | 142M| 141 | - | 253 | 10k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
197.49/197.52 c 182s|460000 |185844 | 0 | 0.0 | 145M| 141 | - | 253 | 10k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
201.90/201.91 c 186s|470000 |189684 | 0 | 0.0 | 149M| 141 | - | 253 | 11k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
206.40/206.47 c 190s|480000 |193430 | 0 | 0.0 | 153M| 141 | - | 253 | 11k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
211.10/211.11 c 195s|490000 |196987 | 0 | 0.0 | 156M| 141 | - | 253 | 11k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
215.79/215.81 c 199s|500000 |200475 | 0 | 0.0 | 160M| 141 | - | 253 | 11k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
220.59/220.61 c 203s|510000 |203735 | 0 | 0.0 | 163M| 141 | - | 253 | 11k| 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
225.50/225.50 c 208s|520000 |206812 | 0 | 0.0 | 166M| 141 | - | 253 | 11k| 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
230.29/230.36 c 212s|530000 |210012 | 0 | 0.0 | 169M| 141 | - | 253 | 11k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
235.30/235.32 c 217s|540000 |213114 | 0 | 0.0 | 172M| 141 | - | 253 | 12k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
240.40/240.44 c 222s|550000 |216030 | 0 | 0.0 | 175M| 141 | - | 253 | 12k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
245.60/245.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.60/245.70 c 227s|560000 |218850 | 0 | 0.0 | 178M| 141 | - | 253 | 12k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
250.89/250.97 c 231s|570000 |221572 | 0 | 0.0 | 181M| 141 | - | 253 | 12k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
255.99/256.04 c 236s|580000 |224668 | 0 | 0.0 | 185M| 141 | - | 253 | 13k| 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
261.49/261.52 c 241s|590000 |227242 | 0 | 0.0 | 187M| 141 | - | 253 | 13k| 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
267.00/267.09 c 246s|600000 |229779 | 0 | 0.0 | 190M| 141 | - | 253 | 13k| 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
272.80/272.85 c 252s|610000 |232181 | 0 | 0.0 | 194M| 141 | - | 253 | 14k| 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
278.20/278.29 c 257s|620000 |235111 | 0 | 0.0 | 197M| 141 | - | 253 | 14k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
281.09/281.17 o 72
281.09/281.17 c * 260s|624942 |214965 | 0 | 0.0 | 179M| 141 | - | 253 | 15k| 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
284.69/284.73 c 263s|630000 |215589 | 0 | 0.0 | 181M| 141 | - | 253 | 13k| 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
291.29/291.30 c 269s|640000 |216834 | 0 | 0.0 | 184M| 141 | - | 253 | 13k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
298.00/298.10 c 276s|650000 |217979 | 0 | 0.0 | 187M| 141 | - | 253 | 14k| 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
305.29/305.34 c 282s|660000 |218765 | 0 | 0.0 | 189M| 141 | - | 253 | 14k| 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
311.30/311.39 o 60
311.30/311.39 c * 288s|668092 |209497 | 0 | 0.0 | 184M| 141 | - | 253 | 15k| 0 | 0 | 0 | 629k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
312.80/312.85 c 290s|670000 |209471 | 0 | 0.0 | 184M| 141 | - | 253 | 12k| 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
319.90/319.99 c 296s|680000 |209810 | 0 | 0.0 | 188M| 141 | - | 253 | 14k| 0 | 0 | 0 | 646k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
328.30/328.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.30/328.30 c 304s|690000 |209424 | 0 | 0.0 | 190M| 141 | - | 253 | 15k| 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
336.50/336.56 c 312s|700000 |209353 | 0 | 0.0 | 193M| 141 | - | 253 | 17k| 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
345.10/345.10 c 320s|710000 |209429 | 0 | 0.0 | 195M| 141 | - | 253 | 18k| 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
354.29/354.34 c 329s|720000 |208901 | 0 | 0.0 | 198M| 141 | - | 253 | 19k| 0 | 0 | 0 | 708k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
364.59/364.67 c 339s|730000 |207739 | 0 | 0.0 | 200M| 141 | - | 253 | 22k| 0 | 0 | 0 | 725k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
376.60/376.69 c 350s|740000 |206268 | 0 | 0.0 | 200M| 141 | - | 253 | 19k| 0 | 0 | 0 | 742k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
380.30/380.34 o 59
380.30/380.34 c * 354s|743984 |206824 | 0 | 0.0 | 200M| 141 | - | 253 | 16k| 0 | 0 | 0 | 748k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
386.10/386.13 c 359s|750000 |207082 | 0 | 0.0 | 202M| 141 | - | 253 | 16k| 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
396.89/396.99 c 370s|760000 |207090 | 0 | 0.0 | 206M| 141 | - | 253 | 19k| 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
409.69/409.76 c 382s|770000 |206353 | 0 | 0.0 | 209M| 141 | - | 253 | 21k| 0 | 0 | 0 | 790k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
423.90/423.94 c 396s|780000 |205198 | 0 | 0.0 | 212M| 141 | - | 253 | 23k| 0 | 0 | 0 | 807k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
438.59/438.63 c 410s|790000 |204086 | 0 | 0.0 | 214M| 141 | - | 253 | 25k| 0 | 0 | 0 | 824k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
454.20/454.22 c 425s|800000 |202721 | 0 | 0.0 | 216M| 141 | - | 253 | 26k| 0 | 0 | 0 | 841k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
470.30/470.33 c 441s|810000 |201078 | 0 | 0.0 | 219M| 141 | - | 253 | 27k| 0 | 0 | 0 | 858k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
488.19/488.27 c 459s|820000 |198371 | 0 | 0.0 | 219M| 141 | - | 253 | 27k| 0 | 0 | 0 | 876k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
505.39/505.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
505.39/505.44 c 475s|830000 |196029 | 0 | 0.0 | 220M| 141 | - | 253 | 27k| 0 | 0 | 0 | 893k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
522.30/522.33 c 492s|840000 |193585 | 0 | 0.0 | 222M| 141 | - | 253 | 27k| 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
540.00/540.07 c 509s|850000 |190631 | 0 | 0.0 | 222M| 141 | - | 253 | 26k| 0 | 0 | 0 | 929k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
557.40/557.42 c 526s|860000 |187184 | 0 | 0.0 | 222M| 141 | - | 253 | 26k| 0 | 0 | 0 | 948k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
574.80/574.82 c 543s|870000 |183979 | 0 | 0.0 | 222M| 141 | - | 253 | 27k| 0 | 0 | 0 | 967k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
592.50/592.52 c 560s|880000 |180871 | 0 | 0.0 | 223M| 141 | - | 253 | 28k| 0 | 0 | 0 | 985k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
610.70/610.75 c 578s|890000 |177492 | 0 | 0.0 | 223M| 141 | - | 253 | 28k| 0 | 0 | 0 |1005k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
629.39/629.46 c 596s|900000 |173897 | 0 | 0.0 | 223M| 141 | - | 253 | 29k| 0 | 0 | 0 |1024k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
647.50/647.51 c 614s|910000 |170524 | 0 | 0.0 | 223M| 141 | - | 253 | 29k| 0 | 0 | 0 |1043k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
665.59/665.62 c 631s|920000 |167290 | 0 | 0.0 | 223M| 141 | - | 253 | 30k| 0 | 0 | 0 |1062k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
682.80/682.87 c 648s|930000 |164485 | 0 | 0.0 | 222M| 141 | - | 253 | 30k| 0 | 0 | 0 |1080k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
700.29/700.38 c 665s|940000 |161623 | 0 | 0.0 | 221M| 141 | - | 253 | 32k| 0 | 0 | 0 |1099k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
718.30/718.32 c 683s|950000 |158805 | 0 | 0.0 | 220M| 141 | - | 253 | 32k| 0 | 0 | 0 |1117k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
735.81/735.90 c 700s|960000 |156218 | 0 | 0.0 | 219M| 141 | - | 253 | 33k| 0 | 0 | 0 |1135k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
754.39/754.46 c 718s|970000 |153205 | 0 | 0.0 | 217M| 141 | - | 253 | 34k| 0 | 0 | 0 |1154k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
772.80/772.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.80/772.86 c 736s|980000 |150526 | 0 | 0.0 | 216M| 141 | - | 253 | 36k| 0 | 0 | 0 |1172k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
792.80/792.82 c 755s|990000 |147406 | 0 | 0.0 | 215M| 141 | - | 253 | 38k| 0 | 0 | 0 |1192k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
814.40/814.47 c 776s| 1000k|143512 | 0 | 0.0 | 214M| 141 | - | 253 | 43k| 0 | 0 | 0 |1211k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
842.10/842.17 c 804s| 1010k|139505 | 0 | 0.0 | 211M| 145 | - | 253 | 38k| 0 | 0 | 0 |1233k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
872.80/872.86 c 834s| 1020k|134329 | 0 | 0.0 | 208M| 145 | - | 253 | 40k| 0 | 0 | 0 |1256k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
890.20/890.22 o 24
890.20/890.22 c * 851s| 1025k| 93782 | 0 | 0.0 | 154M| 145 | - | 253 | 42k| 0 | 0 | 0 |1268k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
913.71/913.78 c 874s| 1030k| 87731 | 0 | 0.0 | 150M| 145 | - | 253 | 38k| 0 | 0 | 0 |1281k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
958.80/958.85 c 919s| 1040k| 72686 | 0 | 0.0 | 132M| 145 | - | 253 | 35k| 0 | 0 | 0 |1315k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1001.30/1001.31 c 960s| 1050k| 57148 | 0 | 0.0 | 114M| 145 | - | 253 | 37k| 0 | 0 | 0 |1349k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1045.51/1045.52 c 1004s| 1060k| 38394 | 0 | 0.0 | 86M| 145 | - | 253 | 39k| 0 | 0 | 0 |1383k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1067.60/1067.61 c 1025s| 1070k| 30013 | 0 | 0.0 | 50M| 145 | - | 253 | 14k| 0 | 0 | 0 |1404k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1071.31/1071.39 c 1029s| 1080k| 35415 | 0 | 0.0 | 50M| 145 | - | 253 |9201 | 0 | 0 | 0 |1412k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1076.91/1076.91 c 1034s| 1090k| 36928 | 0 | 0.0 | 51M| 145 | - | 253 |7848 | 0 | 0 | 0 |1425k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1083.70/1083.72 c 1040s| 1100k| 35994 | 0 | 0.0 | 50M| 145 | - | 253 |8447 | 0 | 0 | 0 |1441k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1086.81/1086.88 c 1043s| 1110k| 41651 | 0 | 0.0 | 52M| 145 | - | 253 |7656 | 0 | 0 | 0 |1449k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1089.71/1089.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.71/1089.76 c 1046s| 1120k| 47918 | 0 | 0.0 | 57M| 145 | - | 253 | 10k| 0 | 0 | 0 |1458k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1093.50/1093.54 c 1049s| 1130k| 53215 | 0 | 0.0 | 62M| 145 | - | 253 | 12k| 0 | 0 | 0 |1468k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1097.91/1097.95 c 1053s| 1140k| 57851 | 0 | 0.0 | 66M| 145 | - | 253 | 13k| 0 | 0 | 0 |1478k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1104.60/1104.65 c 1060s| 1150k| 59314 | 0 | 0.0 | 70M| 145 | - | 253 | 15k| 0 | 0 | 0 |1492k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1111.90/1111.97 c 1067s| 1160k| 59816 | 0 | 0.0 | 70M| 145 | - | 253 | 10k| 0 | 0 | 0 |1508k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1119.91/1119.97 c 1074s| 1170k| 58497 | 0 | 0.0 | 70M| 145 | - | 253 | 11k| 0 | 0 | 0 |1525k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1124.71/1124.74 c 1079s| 1180k| 62483 | 0 | 0.0 | 73M| 145 | - | 253 | 11k| 0 | 0 | 0 |1535k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1129.20/1129.22 c 1083s| 1190k| 67362 | 0 | 0.0 | 77M| 145 | - | 253 | 14k| 0 | 0 | 0 |1546k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1135.11/1135.18 c 1088s| 1200k| 71319 | 0 | 0.0 | 82M| 145 | - | 253 | 18k| 0 | 0 | 0 |1559k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1142.81/1142.87 c 1096s| 1210k| 74222 | 0 | 0.0 | 87M| 145 | - | 253 | 20k| 0 | 0 | 0 |1572k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1151.72/1151.71 c 1104s| 1220k| 76478 | 0 | 0.0 | 90M| 145 | - | 253 | 22k| 0 | 0 | 0 |1587k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1161.30/1161.34 c 1113s| 1230k| 78210 | 0 | 0.0 | 94M| 145 | - | 253 | 23k| 0 | 0 | 0 |1602k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1172.11/1172.14 c 1124s| 1240k| 79266 | 0 | 0.0 | 98M| 145 | - | 253 | 25k| 0 | 0 | 0 |1618k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1184.10/1184.10 c 1135s| 1250k| 79388 | 0 | 0.0 | 101M| 145 | - | 253 | 26k| 0 | 0 | 0 |1635k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1196.50/1196.59 c 1147s| 1260k| 79023 | 0 | 0.0 | 104M| 145 | - | 253 | 28k| 0 | 0 | 0 |1652k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1211.21/1211.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.21/1211.20 c 1162s| 1270k| 77148 | 0 | 0.0 | 105M| 145 | - | 253 | 29k| 0 | 0 | 0 |1669k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1227.21/1227.22 c 1177s| 1280k| 74002 | 0 | 0.0 | 101M| 145 | - | 253 | 19k| 0 | 0 | 0 |1689k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1240.50/1240.58 c 1190s| 1290k| 71081 | 0 | 0.0 | 99M| 145 | - | 253 | 19k| 0 | 0 | 0 |1709k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1247.70/1247.75 c 1197s| 1300k| 73225 | 0 | 0.0 | 100M| 145 | - | 253 | 14k| 0 | 0 | 0 |1723k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1259.10/1259.14 c 1208s| 1310k| 72585 | 0 | 0.0 | 104M| 145 | - | 253 | 21k| 0 | 0 | 0 |1743k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1274.51/1274.54 c 1223s| 1320k| 70849 | 0 | 0.0 | 107M| 145 | - | 253 | 25k| 0 | 0 | 0 |1763k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1293.11/1293.11 c 1241s| 1330k| 67995 | 0 | 0.0 | 109M| 145 | - | 253 | 31k| 0 | 0 | 0 |1783k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1315.40/1315.40 c 1263s| 1340k| 64141 | 0 | 0.0 | 110M| 145 | - | 253 | 36k| 0 | 0 | 0 |1805k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1341.51/1341.56 c 1288s| 1350k| 59076 | 0 | 0.0 | 108M| 145 | - | 253 | 40k| 0 | 0 | 0 |1827k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1369.01/1369.08 c 1315s| 1360k| 53448 | 0 | 0.0 | 105M| 145 | - | 253 | 43k| 0 | 0 | 0 |1850k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1398.51/1398.57 c 1344s| 1370k| 45947 | 0 | 0.0 | 98M| 145 | - | 253 | 47k| 0 | 0 | 0 |1873k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1422.22/1422.29 c 1368s| 1380k| 42833 | 0 | 0.0 | 82M| 145 | - | 253 | 18k| 0 | 0 | 0 |1892k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1425.21/1425.22 c 1370s| 1390k| 49917 | 0 | 0.0 | 84M| 145 | - | 253 |8490 | 0 | 0 | 0 |1898k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1430.51/1430.56 c 1375s| 1400k| 51918 | 0 | 0.0 | 85M| 145 | - | 253 |8494 | 0 | 0 | 0 |1911k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1445.31/1445.40 c 1390s| 1410k| 42058 | 0 | 0.0 | 77M| 145 | - | 253 | 20k| 0 | 0 | 0 |1937k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1472.92/1472.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.92/1472.98 c 1417s| 1420k| 29435 | 0 | 0.0 | 53M| 145 | - | 253 | 31k| 0 | 0 | 0 |1964k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1477.61/1477.64 c 1421s| 1430k| 36788 | 0 | 0.0 | 50M| 145 | - | 253 |9456 | 0 | 0 | 0 |1970k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1480.81/1480.80 c 1424s| 1440k| 43374 | 0 | 0.0 | 53M| 145 | - | 253 |9834 | 0 | 0 | 0 |1978k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1484.81/1484.87 c 1428s| 1450k| 48950 | 0 | 0.0 | 57M| 145 | - | 253 | 12k| 0 | 0 | 0 |1988k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1489.91/1489.93 c 1432s| 1460k| 53922 | 0 | 0.0 | 61M| 145 | - | 253 | 14k| 0 | 0 | 0 |1999k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1495.91/1495.96 c 1438s| 1470k| 58138 | 0 | 0.0 | 63M| 145 | - | 253 | 15k| 0 | 0 | 0 |2010k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1502.62/1502.63 c 1444s| 1480k| 61665 | 0 | 0.0 | 66M| 145 | - | 253 | 17k| 0 | 0 | 0 |2023k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1510.41/1510.48 c 1452s| 1490k| 63997 | 0 | 0.0 | 70M| 145 | - | 253 | 20k| 0 | 0 | 0 |2038k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1516.51/1516.59 c 1458s| 1500k| 68723 | 0 | 0.0 | 70M| 145 | - | 253 | 11k| 0 | 0 | 0 |2048k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1520.71/1520.76 c 1461s| 1510k| 73450 | 0 | 0.0 | 73M| 145 | - | 253 |9576 | 0 | 0 | 0 |2058k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1524.91/1524.96 c 1465s| 1520k| 77378 | 0 | 0.0 | 74M| 145 | - | 253 |7512 | 0 | 0 | 0 |2068k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1528.21/1528.20 c 1468s| 1530k| 83437 | 0 | 0.0 | 79M| 145 | - | 253 | 10k| 0 | 0 | 0 |2078k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1533.11/1533.18 c 1473s| 1540k| 88194 | 0 | 0.0 | 84M| 145 | - | 253 | 14k| 0 | 0 | 0 |2090k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1539.71/1539.70 c 1479s| 1550k| 92089 | 0 | 0.0 | 89M| 145 | - | 253 | 18k| 0 | 0 | 0 |2103k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1547.72/1547.76 c 1487s| 1560k| 95172 | 0 | 0.0 | 93M| 145 | - | 253 | 19k| 0 | 0 | 0 |2117k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1556.71/1556.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1556.71/1556.70 c 1495s| 1570k| 97939 | 0 | 0.0 | 97M| 145 | - | 253 | 22k| 0 | 0 | 0 |2132k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1566.81/1566.86 c 1505s| 1580k|100395 | 0 | 0.0 | 101M| 145 | - | 253 | 24k| 0 | 0 | 0 |2148k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1578.12/1578.13 c 1516s| 1590k|102549 | 0 | 0.0 | 105M| 145 | - | 253 | 26k| 0 | 0 | 0 |2164k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1589.71/1589.71 c 1527s| 1600k|104793 | 0 | 0.0 | 109M| 145 | - | 253 | 28k| 0 | 0 | 0 |2179k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1602.62/1602.70 c 1540s| 1610k|106631 | 0 | 0.0 | 112M| 145 | - | 253 | 29k| 0 | 0 | 0 |2195k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1616.71/1616.76 c 1553s| 1620k|108039 | 0 | 0.0 | 116M| 145 | - | 253 | 31k| 0 | 0 | 0 |2212k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1631.91/1631.95 c 1568s| 1630k|109065 | 0 | 0.0 | 119M| 145 | - | 253 | 33k| 0 | 0 | 0 |2230k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1648.61/1648.69 c 1584s| 1640k|109423 | 0 | 0.0 | 122M| 145 | - | 253 | 34k| 0 | 0 | 0 |2249k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1667.11/1667.16 c 1602s| 1650k|108846 | 0 | 0.0 | 125M| 145 | - | 253 | 36k| 0 | 0 | 0 |2269k| 0 | 9.000000e+00 | 2.400000e+01 | 166.67%
1678.21/1678.20 o 23
1678.21/1678.20 c *1613s| 1655k|104727 | 0 | 0.0 | 120M| 145 | - | 253 | 37k| 0 | 0 | 0 |2281k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1687.61/1687.67 c 1622s| 1660k|103706 | 0 | 0.0 | 121M| 145 | - | 253 | 39k| 0 | 0 | 0 |2291k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1704.61/1704.64 c 1639s| 1670k|104604 | 0 | 0.0 | 118M| 145 | - | 253 | 27k| 0 | 0 | 0 |2306k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1710.61/1710.65 c 1645s| 1680k|110620 | 0 | 0.0 | 118M| 145 | - | 253 | 13k| 0 | 0 | 0 |2315k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1715.22/1715.24 c 1649s| 1690k|116021 | 0 | 0.0 | 122M| 145 | - | 253 | 11k| 0 | 0 | 0 |2324k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1720.32/1720.39 c 1654s| 1700k|120184 | 0 | 0.0 | 126M| 145 | - | 253 | 12k| 0 | 0 | 0 |2335k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1726.42/1726.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1726.42/1726.48 c 1659s| 1710k|123223 | 0 | 0.0 | 130M| 145 | - | 253 | 14k| 0 | 0 | 0 |2348k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1734.01/1734.00 c 1667s| 1720k|125256 | 0 | 0.0 | 134M| 145 | - | 253 | 19k| 0 | 0 | 0 |2363k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1741.92/1741.94 c 1674s| 1730k|128156 | 0 | 0.0 | 134M| 145 | - | 253 | 11k| 0 | 0 | 0 |2375k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1745.72/1745.78 c 1678s| 1740k|133478 | 0 | 0.0 | 138M| 145 | - | 253 | 10k| 0 | 0 | 0 |2384k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1751.81/1751.84 c 1683s| 1750k|136493 | 0 | 0.0 | 142M| 145 | - | 253 | 13k| 0 | 0 | 0 |2399k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1760.71/1760.77 c 1692s| 1760k|138257 | 0 | 0.0 | 147M| 145 | - | 253 | 19k| 0 | 0 | 0 |2416k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1772.12/1772.18 c 1703s| 1770k|139542 | 0 | 0.0 | 152M| 145 | - | 253 | 24k| 0 | 0 | 0 |2433k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1788.01/1788.05 c 1718s| 1780k|139226 | 0 | 0.0 | 156M| 145 | - | 253 | 30k| 0 | 0 | 0 |2452k| 0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1730.00
1800.02/1800.00 c Solving Nodes : 1786204
1800.02/1800.00 c Primal Bound : +2.30000000000000e+01 (9 solutions)
1800.02/1800.00 c Dual Bound : +9.00000000000000e+00
1800.02/1800.00 c Gap : 155.56 %
1800.02/1800.00 s SATISFIABLE
1800.02/1800.00 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.02/1800.00 v -x147 -x146 x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.02/1800.00 v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106
1800.02/1800.00 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82
1800.02/1800.00 v -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
1800.02/1800.00 v x56 -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
1800.02/1800.00 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5
1800.02/1800.00 v -x4 -x3 -x2 -x1
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time : 1730.00
1800.02/1800.00 c Original Problem :
1800.02/1800.00 c Problem name : HOME/instance-2693884-1277896402.wbo
1800.02/1800.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.02/1800.00 c Constraints : 144 initial, 144 maximal
1800.02/1800.00 c Presolved Problem :
1800.02/1800.00 c Problem name : t_HOME/instance-2693884-1277896402.wbo
1800.02/1800.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.02/1800.00 c Constraints : 130 initial, 47397 maximal
1800.02/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c linear : 0.00 0 0 0 42 0 14 0 0
1800.02/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c root node : - 0 - - 0 - - - -
1800.02/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c indicator : 42 0 4830366 0 1067666 13362 1132159 0 0 0
1800.02/1800.00 c knapsack : 1 0 5513412 0 1200860 133640 18279633 0 0 0
1800.02/1800.00 c setppc : 39 0 5379703 0 1200849 491233 6862053 0 0 0
1800.02/1800.00 c linear : 42 0 4888523 0 1200851 178615 4740999 0 0 0
1800.02/1800.00 c logicor : 6+ 0 2508617 0 1199702 42427 1429390 0 0 0
1800.02/1800.00 c bounddisjunction : 0+ 0 196249 0 0 6 3993 0 0 0
1800.02/1800.00 c countsols : 0 0 0 0 1200860 0 0 0 0 0
1800.02/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.00 c indicator : 1.33 0.00 0.87 0.00 0.46
1800.02/1800.00 c knapsack : 182.74 0.00 180.28 0.00 2.46
1800.02/1800.00 c setppc : 33.94 0.00 29.72 0.00 4.22
1800.02/1800.00 c linear : 38.16 0.00 38.13 0.00 0.03
1800.02/1800.00 c logicor : 744.45 0.00 744.19 0.00 0.26
1800.02/1800.00 c bounddisjunction : 0.16 0.00 0.16 0.00 0.00
1800.02/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.00 c vbounds : 0.00 2 0 0
1800.02/1800.00 c rootredcost : 0.00 0 0 0
1800.02/1800.00 c pseudoobj : 5.82 5529931 3347 854640
1800.02/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.00 c propagation : 26.89 849267 849219 4539452 23.1 205147 13.8 -
1800.02/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.00 c pseudo solution : 0.01 53 53 200 21.8 25 15.3 -
1800.02/1800.00 c applied globally : - - - 2424614 16.7 - - -
1800.02/1800.00 c applied locally : - - - 40936 36.1 - - -
1800.02/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.00 c redcost : 0.00 0 0 0 0 0
1800.02/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.00 c intobj : 0.00 0 0 0 0 0
1800.02/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.00 c gomory : 0.00 0 0 0 0 0
1800.02/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.00 c cmir : 0.00 0 0 0 0 0
1800.02/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.00 c clique : 0.00 0 0 0 0 0
1800.02/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.00 c mcf : 0.00 0 0 0 0 0
1800.02/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.00 c Pricers : Time Calls Vars
1800.02/1800.00 c problem variables: 0.00 0 0
1800.02/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.00 c inference : 7.62 1200851 0 0 0 0 2401702
1800.02/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.00 c random : 0.00 0 0 0 0 0 0
1800.02/1800.00 c Primal Heuristics : Time Calls Found
1800.02/1800.00 c LP solutions : 0.00 - 0
1800.02/1800.00 c pseudo solutions : 0.15 - 9
1800.02/1800.00 c oneopt : 0.04 0 0
1800.02/1800.00 c trivial : 0.00 2 0
1800.02/1800.00 c simplerounding : 0.00 0 0
1800.02/1800.00 c zirounding : 0.00 0 0
1800.02/1800.00 c rounding : 0.00 0 0
1800.02/1800.00 c shifting : 0.00 0 0
1800.02/1800.00 c intshifting : 0.00 0 0
1800.02/1800.00 c twoopt : 0.00 0 0
1800.02/1800.00 c fixandinfer : 0.00 0 0
1800.02/1800.00 c feaspump : 0.00 0 0
1800.02/1800.00 c coefdiving : 0.00 0 0
1800.02/1800.00 c pscostdiving : 0.00 0 0
1800.02/1800.00 c fracdiving : 0.00 0 0
1800.02/1800.00 c veclendiving : 0.00 0 0
1800.02/1800.00 c intdiving : 0.00 0 0
1800.02/1800.00 c actconsdiving : 0.00 0 0
1800.02/1800.00 c objpscostdiving : 0.00 0 0
1800.02/1800.00 c rootsoldiving : 0.00 0 0
1800.02/1800.00 c linesearchdiving : 0.00 0 0
1800.02/1800.00 c guideddiving : 0.00 0 0
1800.02/1800.00 c octane : 0.00 0 0
1800.02/1800.00 c rens : 0.00 0 0
1800.02/1800.00 c rins : 0.00 0 0
1800.02/1800.00 c localbranching : 0.00 0 0
1800.02/1800.00 c mutation : 0.00 0 0
1800.02/1800.00 c crossover : 0.00 0 0
1800.02/1800.00 c dins : 0.00 0 0
1800.02/1800.00 c undercover : 0.00 0 0
1800.02/1800.00 c nlp : 0.00 0 0
1800.02/1800.00 c trysol : 0.00 1 0
1800.02/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.00 c (at root node) : - 0 0 0.00 -
1800.02/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.00 c B&B Tree :
1800.02/1800.00 c number of runs : 1
1800.02/1800.00 c nodes : 1786204
1800.02/1800.00 c nodes (total) : 1786204
1800.02/1800.00 c nodes left : 138531
1800.02/1800.00 c max depth : 145
1800.02/1800.00 c max depth (total): 145
1800.02/1800.00 c backtracks : 621653 (34.8%)
1800.02/1800.00 c delayed cutoffs : 402835
1800.02/1800.00 c repropagations : 1900899 (9353500 domain reductions, 277339 cutoffs)
1800.02/1800.00 c avg switch length: 22.31
1800.02/1800.00 c switching time : 526.78
1800.02/1800.00 c Solution :
1800.02/1800.00 c Solutions found : 9 (9 improvements)
1800.02/1800.00 c First Solution : +2.66000000000000e+02 (in run 1, after 73901 nodes, 17.23 seconds, depth 70, found by <relaxation>)
1800.02/1800.00 c Primal Bound : +2.30000000000000e+01 (in run 1, after 1655514 nodes, 1613.22 seconds, depth 57, found by <relaxation>)
1800.02/1800.00 c Dual Bound : +9.00000000000000e+00
1800.02/1800.00 c Gap : 155.56 %
1800.02/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Root Iterations : 0
1800.32/1800.32 c Time complete: 1800.34.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693884-1277896402/watcher-2693884-1277896402 -o /tmp/evaluation-result-2693884-1277896402/solver-2693884-1277896402 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693884-1277896402.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 22416
/proc/meminfo: memFree=30969356/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=8260 CPUtime=0
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 1547 0 0 0 0 0 0 0 21 0 1 0 163279791 8458240 1469 4089446400 4194304 7136930 140735647096464 18446744073709551615 4333519 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/22416/statm: 2065 1469 276 719 0 1344 0
[startup+0.0918239 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 22416
/proc/meminfo: memFree=30969356/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=12684 CPUtime=0.08
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 4710 0 0 0 6 2 0 0 21 0 1 0 163279791 12988416 2480 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 3171 2480 403 719 0 2450 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12684
[startup+0.100812 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 22416
/proc/meminfo: memFree=30969356/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=12816 CPUtime=0.09
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 4724 0 0 0 7 2 0 0 21 0 1 0 163279791 13123584 2494 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 3204 2494 403 719 0 2483 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12816
[startup+0.300799 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 22416
/proc/meminfo: memFree=30969356/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=14532 CPUtime=0.29
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 5156 0 0 0 23 6 0 0 21 0 1 0 163279791 14880768 2926 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 3633 2926 403 719 0 2912 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14532
[startup+0.700732 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 22416
/proc/meminfo: memFree=30969356/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=16932 CPUtime=0.69
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 5792 0 0 0 55 14 0 0 22 0 1 0 163279791 17338368 3562 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 4233 3562 403 719 0 3512 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16932
[startup+1.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22417
/proc/meminfo: memFree=30955832/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=20952 CPUtime=1.49
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 6795 0 0 0 121 28 0 0 25 0 1 0 163279791 21454848 4565 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 5238 4565 403 719 0 4517 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20952
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22417
/proc/meminfo: memFree=30951244/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=25968 CPUtime=3.09
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 8062 0 0 0 253 56 0 0 25 0 1 0 163279791 26591232 5832 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 6492 5832 403 719 0 5771 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25968
[startup+6.30078 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22417
/proc/meminfo: memFree=30940720/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=34656 CPUtime=6.29
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 10247 0 0 0 532 97 0 0 25 0 1 0 163279791 35487744 8017 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 8664 8017 403 719 0 7943 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34656
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22417
/proc/meminfo: memFree=30929976/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=45492 CPUtime=12.69
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 12990 0 0 0 1119 150 0 0 25 0 1 0 163279791 46583808 10760 4089446400 4194304 7136930 140735647096464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 11373 10760 403 719 0 10652 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45492
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22417
/proc/meminfo: memFree=30907392/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=68192 CPUtime=25.49
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 18760 0 0 0 2232 317 0 0 25 0 1 0 163279791 69828608 16530 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 17048 16530 406 719 0 16327 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68192
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22417
/proc/meminfo: memFree=30883148/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=87928 CPUtime=51.09
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 23628 0 0 0 4645 464 0 0 25 0 1 0 163279791 90038272 21398 4089446400 4194304 7136930 140735647096464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 21982 21398 406 719 0 21261 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87928
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22419
/proc/meminfo: memFree=30813008/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=150820 CPUtime=102.29
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 39097 0 0 0 9248 981 0 0 25 0 1 0 163279791 154439680 36867 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 37705 36867 406 719 0 36984 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 150820
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22421
/proc/meminfo: memFree=30779436/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=178004 CPUtime=162.3
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 45923 0 0 0 14955 1275 0 0 25 0 1 0 163279791 182276096 43693 4089446400 4194304 7136930 140735647096464 18446744073709551615 6166558 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 44501 43693 406 719 0 43780 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 178004
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22423
/proc/meminfo: memFree=30740312/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=220532 CPUtime=222.29
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 55656 0 0 0 20489 1740 0 0 25 0 1 0 163279791 225824768 53426 4089446400 4194304 7136930 140735647096464 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 55133 53426 406 719 0 54412 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 220532
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22425
/proc/meminfo: memFree=30706612/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=253364 CPUtime=282.29
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 63986 0 0 0 26079 2150 0 0 25 0 1 0 163279791 259444736 61756 4089446400 4194304 7136930 140735647096464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 63341 61756 406 719 0 62620 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 253364
[startup+342.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/197 22425
/proc/meminfo: memFree=30689268/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=259400 CPUtime=342.29
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 65490 0 0 0 31742 2487 0 0 25 0 1 0 163279791 265625600 63260 4089446400 4194304 7136930 140735647096464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 64850 63260 406 719 0 64129 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 259400
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 22427
/proc/meminfo: memFree=30675920/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=274068 CPUtime=402.29
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 69061 0 0 0 37501 2728 0 0 25 0 1 0 163279791 280645632 66831 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 68517 66831 406 719 0 67796 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 274068
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22429
/proc/meminfo: memFree=30659760/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=282468 CPUtime=462.29
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 71150 0 0 0 43326 2903 0 0 25 0 1 0 163279791 289247232 68920 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 70617 68920 406 719 0 69896 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 282468
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22431
/proc/meminfo: memFree=30656240/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=286648 CPUtime=522.3
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 72261 0 0 0 49166 3064 0 0 25 0 1 0 163279791 293527552 70031 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 71662 70031 406 719 0 70941 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 286648
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22433
/proc/meminfo: memFree=30652348/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=289316 CPUtime=582.3
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 72894 0 0 0 55005 3225 0 0 25 0 1 0 163279791 296259584 70664 4089446400 4194304 7136930 140735647096464 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 72329 70664 406 719 0 71608 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 289316
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22433
/proc/meminfo: memFree=30648576/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=293568 CPUtime=642.3
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 73896 0 0 0 60856 3374 0 0 25 0 1 0 163279791 300613632 71666 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22416/statm: 73392 71666 406 719 0 72671 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 293568
[startup+702.3 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22441
/proc/meminfo: memFree=30598028/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=303036 CPUtime=942.3
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76088 0 0 0 90229 4001 0 0 25 0 1 0 163279791 310308864 73858 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 75759 73858 406 719 0 75038 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 303036
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22443
/proc/meminfo: memFree=30597856/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=303196 CPUtime=1002.31
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76121 0 0 0 96137 4094 0 0 25 0 1 0 163279791 310472704 73891 4089446400 4194304 7136930 140735647096464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 75799 73891 406 719 0 75078 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 303196
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22445
/proc/meminfo: memFree=30587896/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=303196 CPUtime=1062.3
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76137 0 0 0 102029 4201 0 0 25 0 1 0 163279791 310472704 73907 4089446400 4194304 7136930 140735647096464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 75799 73907 406 719 0 75078 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 303196
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22447
/proc/meminfo: memFree=30565136/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=301908 CPUtime=1122.31
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76209 0 0 0 107633 4598 0 0 25 0 1 0 163279791 309153792 73467 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 75477 73467 406 719 0 74756 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 301908
[startup+1182.3 s]
/proc/loadavg: 2.20 2.05 2.02 3/179 22534
/proc/meminfo: memFree=30968400/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=301908 CPUtime=1182.3
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76209 0 0 0 113357 4873 0 0 25 0 1 0 163279791 309153792 73467 4089446400 4194304 7136930 140735647096464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 75477 73467 406 719 0 74756 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 301908
[startup+1242.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/179 22534
/proc/meminfo: memFree=30968592/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=301908 CPUtime=1242.31
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76210 0 0 0 119158 5073 0 0 25 0 1 0 163279791 309153792 73468 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 75477 73468 406 719 0 74756 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 301908
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 22563
/proc/meminfo: memFree=30940628/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=303024 CPUtime=1302.32
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76395 0 0 0 124983 5249 0 0 25 0 1 0 163279791 310296576 73653 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 75756 73653 406 719 0 75035 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 303024
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 22565
/proc/meminfo: memFree=30789244/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=304052 CPUtime=1362.31
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76514 0 0 0 130869 5362 0 0 25 0 1 0 163279791 311349248 73772 4089446400 4194304 7136930 140735647096464 18446744073709551615 4222921 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 76013 73772 406 719 0 75292 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 304052
[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 22567
/proc/meminfo: memFree=30631324/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=304124 CPUtime=1422.31
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76520 0 0 0 136763 5468 0 0 25 0 1 0 163279791 311422976 73778 4089446400 4194304 7136930 140735647096464 18446744073709551615 5004398 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 76031 73778 406 719 0 75310 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 304124
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 22569
/proc/meminfo: memFree=30518804/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=304124 CPUtime=1482.31
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76520 0 0 0 142521 5710 0 0 25 0 1 0 163279791 311422976 73778 4089446400 4194304 7136930 140735647096464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 76031 73778 406 719 0 75310 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 304124
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 22662
/proc/meminfo: memFree=30945668/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=304400 CPUtime=1542.31
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76568 0 0 0 148139 6092 0 0 25 0 1 0 163279791 311705600 73826 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 76100 73826 406 719 0 75379 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 304400
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 22692
/proc/meminfo: memFree=30967460/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=304400 CPUtime=1602.31
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76592 0 0 0 153924 6307 0 0 25 0 1 0 163279791 311705600 73850 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 76100 73850 406 719 0 75379 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 304400
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22724
/proc/meminfo: memFree=30929096/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=304400 CPUtime=1662.31
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76665 0 0 0 159769 6462 0 0 25 0 1 0 163279791 311705600 73923 4089446400 4194304 7136930 140735647096464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 76100 73923 406 719 0 75379 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 304400
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22726
/proc/meminfo: memFree=30772560/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=304400 CPUtime=1722.32
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76730 0 0 0 165556 6676 0 0 25 0 1 0 163279791 311705600 73988 4089446400 4194304 7136930 140735647096464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 76100 73988 406 719 0 75379 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 304400
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22728
/proc/meminfo: memFree=30623220/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=304400 CPUtime=1782.32
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76741 0 0 0 171274 6958 0 0 25 0 1 0 163279791 311705600 73999 4089446400 4194304 7136930 140735647096464 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 76100 73999 406 719 0 75379 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 304400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22728
/proc/meminfo: memFree=30598656/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=304400 CPUtime=1800.02
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76750 0 0 0 173000 7002 0 0 25 0 1 0 163279791 311705600 74008 4089446400 4194304 7136930 140735647096464 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22416/statm: 76100 74008 406 719 0 75379 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 304400
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22728
/proc/meminfo: memFree=30598656/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=304400 CPUtime=1800.22
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76755 0 0 0 173020 7002 0 0 25 0 1 0 163279791 311705600 74013 4089446400 4194304 7136930 140735647096464 18446744073709551615 4615449 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22416/statm: 76100 74013 411 719 0 75379 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 304400
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22728
/proc/meminfo: memFree=30598656/32951124 swapFree=67111528/67111528
[pid=22416] ppid=22414 vsize=280728 CPUtime=1800.32
/proc/22416/stat : 22416 (pbscip.linux.x8) R 22414 22416 20735 0 -1 4202496 76755 0 0 0 173030 7002 0 0 25 0 1 0 163279791 287465472 68095 4089446400 4194304 7136930 140735647096464 18446744073709551615 6165624 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22416/statm: 70182 68095 411 719 0 69461 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 280728
Child status: 0
Real time (s): 1800.32
CPU time (s): 1800.34
CPU user time (s): 1730.31
CPU system time (s): 70.0334
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 304400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1730.31
system time used= 70.0334
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76762
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= 11622
runsolver used 3.2795 second user time and 6.09107 second system time
The end
Begin job on node118 at 2010-06-30 13:13:22
IDJOB=2693884
IDBENCH=78782
IDSOLVER=1206
FILE ID=node118/2693884-1277896402
PBS_JOBID= 11197117
Free space on /tmp= 74212 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975965--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693884-1277896402/watcher-2693884-1277896402 -o /tmp/evaluation-result-2693884-1277896402/solver-2693884-1277896402 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693884-1277896402.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2c30a8298656a46724ae4314cbfd6760
RANDOM SEED=1392098089
node118.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.791
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.58
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.791
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.75
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.791
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.76
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.791
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.791
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.791
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.791
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.791
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 : 5448.09
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30969264 kB
Buffers: 178612 kB
Cached: 1295136 kB
SwapCached: 0 kB
Active: 824332 kB
Inactive: 1013792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30969264 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3312 kB
Writeback: 0 kB
AnonPages: 364228 kB
Mapped: 20560 kB
Slab: 78728 kB
PageTables: 5500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1658620 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= 74204 MiB
End job on node118 at 2010-06-30 13:43:24