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-2693643-1277928237.wbo>
0.01/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.03 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.09/0.12 o 134313
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.343130e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.343130e+05 | Inf
3.20/3.25 c 3.0s| 10000 | 9622 | 0 | 0.0 | 24M|2816 | - |5645 |6838 | 0 | 0 | 0 |1424 | 0 | 0.000000e+00 | 1.343130e+05 | Inf
5.79/5.85 o 521
5.79/5.85 c * 5.5s| 18578 | 18078 | 0 | 0.0 | 28M|2816 | - |5645 |6847 | 0 | 0 | 0 |1434 | 0 | 0.000000e+00 | 5.210000e+02 | Inf
5.89/5.90 o 481
5.89/5.90 c * 5.6s| 18695 | 16082 | 0 | 0.0 | 27M|2816 | - |5645 |6857 | 0 | 0 | 0 |1444 | 0 | 0.000000e+00 | 4.810000e+02 | Inf
6.29/6.30 c 5.9s| 20000 | 17385 | 0 | 0.0 | 28M|2816 | - |5645 |6867 | 0 | 0 | 0 |1454 | 0 | 0.000000e+00 | 4.810000e+02 | Inf
6.60/6.63 o 248
6.60/6.63 c * 6.2s| 21393 | 7453 | 0 | 0.0 | 24M|2816 | - |5645 |6881 | 0 | 0 | 0 |1468 | 0 | 0.000000e+00 | 2.480000e+02 | Inf
6.69/6.74 o 180
6.69/6.74 c * 6.3s| 21859 | 7389 | 0 | 0.0 | 24M|2816 | - |5645 |6921 | 0 | 0 | 0 |1508 | 0 | 0.000000e+00 | 1.800000e+02 | Inf
9.39/9.40 c 8.9s| 30000 | 14213 | 0 | 0.0 | 33M|2816 | - |5645 |8182 | 0 | 0 | 0 |7273 | 0 | 0.000000e+00 | 1.800000e+02 | Inf
13.89/13.94 c 13.2s| 40000 | 21120 | 0 | 0.0 | 46M|2816 | - |5645 |9648 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
16.69/16.77 o 178
16.69/16.77 c *15.9s| 43729 | 22677 | 0 | 0.0 | 51M|2816 | - |5645 |9973 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
17.09/17.10 o 153
17.09/17.10 c *16.2s| 44263 | 22819 | 0 | 0.0 | 52M|2816 | - |5645 |9757 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.530000e+02 | Inf
17.09/17.10 o 150
17.09/17.10 c *16.2s| 44264 | 22778 | 0 | 0.0 | 52M|2816 | - |5645 |9757 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
17.49/17.51 o 147
17.49/17.51 c *16.6s| 45089 | 23502 | 0 | 0.0 | 53M|2816 | - |5645 |9518 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
17.69/17.76 o 146
17.69/17.76 c *16.9s| 45491 | 23871 | 0 | 0.0 | 54M|2816 | - |5645 |9383 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
17.99/18.06 o 135
17.99/18.06 c *17.2s| 45938 | 23904 | 0 | 0.0 | 54M|2816 | - |5645 |9216 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
20.59/20.63 o 117
20.59/20.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.59/20.63 c *19.6s| 49724 | 27092 | 0 | 0.0 | 60M|2816 | - |5645 |8452 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
20.59/20.63 o 98
20.59/20.63 c *19.6s| 49725 | 26587 | 0 | 0.0 | 58M|2816 | - |5645 |8452 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
20.69/20.80 o 86
20.69/20.80 c *19.8s| 49907 | 26232 | 0 | 0.0 | 57M|2816 | - |5645 |8262 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
21.09/21.11 c 20.1s| 50000 | 26315 | 0 | 0.0 | 57M|2816 | - |5645 |8093 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
21.49/21.53 o 67
21.49/21.53 c *20.5s| 50687 | 25907 | 0 | 0.0 | 55M|2816 | - |5645 |7784 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
21.49/21.54 o 52
21.49/21.54 c *20.5s| 50688 | 25264 | 0 | 0.0 | 55M|2816 | - |5645 |7784 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
21.59/21.69 o 49
21.59/21.69 c *20.6s| 50897 | 25261 | 0 | 0.0 | 55M|2816 | - |5645 |7647 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
23.00/23.06 o 43
23.00/23.06 c *21.9s| 53115 | 26965 | 0 | 0.0 | 58M|2816 | - |5645 |7170 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
24.49/24.54 o 37
24.49/24.54 c *23.4s| 54916 | 28141 | 0 | 0.0 | 62M|2816 | - |5645 |7768 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
26.99/27.07 o 31
26.99/27.07 c *25.8s| 58544 | 30708 | 0 | 0.0 | 67M|2816 | - |5645 |8286 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
27.70/27.79 c 26.5s| 60000 | 31989 | 0 | 0.0 | 68M|2816 | - |5645 |7959 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
33.19/33.20 c 31.6s| 70000 | 39951 | 0 | 0.0 | 83M|2816 | - |5645 |9817 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
34.00/34.01 o 30
34.00/34.01 c *32.4s| 71834 | 41423 | 0 | 0.0 | 86M|2816 | - |5645 |9785 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
37.30/37.40 c 35.6s| 80000 | 48195 | 0 | 0.0 | 95M|2816 | - |5645 |9982 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
41.10/41.19 c 39.1s| 90000 | 56471 | 0 | 0.0 | 107M|2816 | - |5645 |9027 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
45.29/45.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.29/45.30 c 43.1s|100000 | 64179 | 0 | 0.0 | 118M|2816 | - |5645 | 10k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
49.69/49.73 c 47.3s|110000 | 71621 | 0 | 0.0 | 128M|2816 | - |5645 | 10k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
54.90/54.96 c 52.3s|120000 | 78526 | 0 | 0.0 | 140M|2816 | - |5645 | 11k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
60.90/60.90 c 58.0s|130000 | 84872 | 0 | 0.0 | 151M|2816 | - |5645 | 12k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
67.10/67.15 c 64.0s|140000 | 90982 | 0 | 0.0 | 163M|2816 | - |5645 | 13k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
73.89/73.91 c 70.5s|150000 | 96791 | 0 | 0.0 | 174M|2816 | - |5645 | 13k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
80.69/80.71 c 77.0s|160000 |102593 | 0 | 0.0 | 186M|2816 | - |5645 | 14k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
88.79/88.83 c 84.9s|170000 |107469 | 0 | 0.0 | 197M|2816 | - |5645 | 15k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
98.30/98.39 c 94.1s|180000 |111618 | 0 | 0.0 | 208M|2816 | - |5645 | 17k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
109.79/109.88 c 105s|190000 |114623 | 0 | 0.0 | 219M|2816 | - |5645 | 18k| 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
121.19/121.26 o 26
121.19/121.26 c * 116s|198551 |116697 | 0 | 0.0 | 222M|2816 | - |5645 | 12k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
122.00/122.08 c 117s|200000 |117975 | 0 | 0.0 | 223M|2816 | - |5645 | 10k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
125.30/125.37 o 23
125.30/125.37 c * 120s|206003 |122911 | 0 | 0.0 | 228M|2816 | - |5645 |8522 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
127.89/127.92 c 123s|210000 |126255 | 0 | 0.0 | 234M|2816 | - |5645 |8677 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
129.60/129.64 o 20
129.60/129.64 c * 124s|212543 |128128 | 0 | 0.0 | 237M|2816 | - |5645 |9043 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
135.50/135.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.50/135.53 c 130s|220000 |133900 | 0 | 0.0 | 249M|2816 | - |5645 | 10k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
136.30/136.31 o 10
136.30/136.31 c * 131s|220871 |133243 | 0 | 0.0 | 245M|2816 | - |5645 | 10k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
145.50/145.50 o 9
145.50/145.50 c * 140s|228959 |138445 | 0 | 0.0 | 267M|2816 | - |5645 | 11k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
146.59/146.61 c 141s|230000 |139173 | 0 | 0.0 | 270M|2816 | - |5645 | 11k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
157.69/157.77 c 152s|240000 |146190 | 0 | 0.0 | 321M|2816 | - |5645 | 10k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
166.79/166.83 o 8
166.79/166.83 c * 161s|248707 |152522 | 0 | 0.0 | 376M|2816 | - |5645 | 11k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
168.20/168.30 c 162s|250000 |153452 | 0 | 0.0 | 386M|2816 | - |5645 | 11k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
180.80/180.83 c 174s|260000 |160390 | 0 | 0.0 | 470M|2816 | - |5645 | 12k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
189.80/189.89 o 7
189.80/189.89 c * 183s|266085 |163972 | 0 | 0.0 | 523M|2816 | - |5645 | 14k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
196.90/196.93 c 190s|270000 |166199 | 0 | 0.0 | 566M|2816 | - |5645 | 16k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
209.50/209.53 c 202s|280000 |170194 | 0 | 0.0 | 602M|2816 | - |5645 |7511 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
214.20/214.30 c 206s|290000 |177609 | 0 | 0.0 | 613M|2816 | - |5645 |7381 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
219.10/219.16 c 211s|300000 |184700 | 0 | 0.0 | 622M|2816 | - |5645 |6997 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
222.50/222.57 o 6
222.50/222.57 c * 214s|305855 |187932 | 0 | 0.0 | 626M|2816 | - |5645 |6889 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
224.19/224.26 c 216s|310000 |191320 | 0 | 0.0 | 631M|2816 | - |5645 |6473 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
229.30/229.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.30/229.34 c 221s|320000 |198142 | 0 | 0.0 | 641M|2816 | - |5645 |7237 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
234.70/234.78 c 226s|330000 |204462 | 0 | 0.0 | 651M|2816 | - |5645 |8338 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
238.60/238.62 c 229s|340000 |212514 | 0 | 0.0 | 660M|2816 | - |5645 |6968 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
243.49/243.54 c 234s|350000 |219437 | 0 | 0.0 | 669M|2816 | - |5645 |6722 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
248.70/248.70 c 239s|360000 |226135 | 0 | 0.0 | 679M|2816 | - |5645 |6707 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
253.89/253.96 c 244s|370000 |232696 | 0 | 0.0 | 688M|2816 | - |5645 |7921 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
258.40/258.47 c 248s|380000 |240123 | 0 | 0.0 | 698M|2816 | - |5645 |7966 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
263.09/263.12 c 253s|390000 |247405 | 0 | 0.0 | 707M|2816 | - |5645 |6584 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
267.50/267.51 c 257s|400000 |254918 | 0 | 0.0 | 717M|2816 | - |5645 |7727 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
273.70/273.78 c 263s|410000 |260524 | 0 | 0.0 | 726M|2816 | - |5645 |7644 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
278.69/278.73 c 267s|420000 |267387 | 0 | 0.0 | 736M|2816 | - |5645 |9061 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
283.40/283.42 c 272s|430000 |274710 | 0 | 0.0 | 745M|2816 | - |5645 |7916 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
288.49/288.56 c 277s|440000 |281489 | 0 | 0.0 | 755M|2816 | - |5645 |7338 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
293.80/293.87 c 282s|450000 |288072 | 0 | 0.0 | 764M|2816 | - |5645 |7657 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
299.00/299.07 c 286s|460000 |294725 | 0 | 0.0 | 774M|2816 | - |5645 |7270 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
304.20/304.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.20/304.25 c 291s|470000 |301318 | 0 | 0.0 | 784M|2816 | - |5645 |8001 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
309.20/309.24 c 296s|480000 |308096 | 0 | 0.0 | 793M|2816 | - |5645 |8974 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
313.90/313.96 c 301s|490000 |315173 | 0 | 0.0 | 803M|2816 | - |5645 |8751 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
317.91/317.97 c 304s|500000 |322931 | 0 | 0.0 | 812M|2816 | - |5645 |7705 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
323.50/323.55 c 310s|510000 |329038 | 0 | 0.0 | 822M|2816 | - |5645 |8946 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
328.19/328.20 c 314s|520000 |336126 | 0 | 0.0 | 831M|2816 | - |5645 |7453 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
331.90/331.93 c 317s|530000 |344187 | 0 | 0.0 | 840M|2816 | - |5645 |5124 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
335.20/335.29 c 321s|540000 |352469 | 0 | 0.0 | 850M|2816 | - |5645 |4997 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
338.80/338.83 c 324s|550000 |360534 | 0 | 0.0 | 859M|2816 | - |5645 |5176 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
342.70/342.72 c 328s|560000 |368186 | 0 | 0.0 | 869M|2816 | - |5645 |6017 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
348.30/348.36 c 333s|570000 |374351 | 0 | 0.0 | 879M|2816 | - |5645 |7373 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
354.60/354.68 c 339s|580000 |380019 | 0 | 0.0 | 890M|2816 | - |5645 |8249 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
361.30/361.34 c 345s|590000 |385487 | 0 | 0.0 | 901M|2816 | - |5645 |8675 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
367.90/367.95 c 352s|600000 |390934 | 0 | 0.0 | 911M|2816 | - |5645 |9158 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
375.10/375.12 c 359s|610000 |396049 | 0 | 0.0 | 921M|2816 | - |5645 |8689 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
382.20/382.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.20/382.23 c 366s|620000 |401069 | 0 | 0.0 | 931M|2816 | - |5645 |8554 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
389.61/389.66 c 373s|630000 |405883 | 0 | 0.0 | 941M|2816 | - |5645 |8736 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
397.41/397.42 c 380s|640000 |410417 | 0 | 0.0 | 952M|2816 | - |5645 |9182 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
405.30/405.38 c 388s|650000 |414765 | 0 | 0.0 | 962M|2816 | - |5645 |9079 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
413.60/413.62 c 396s|660000 |418879 | 0 | 0.0 | 972M|2816 | - |5645 |9850 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
422.10/422.15 c 404s|670000 |422765 | 0 | 0.0 | 983M|2816 | - |5645 | 10k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
430.81/430.89 c 412s|680000 |426494 | 0 | 0.0 | 993M|2816 | - |5645 | 10k| 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
439.60/439.66 c 421s|690000 |430224 | 0 | 0.0 |1003M|2816 | - |5645 | 10k| 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
448.41/448.46 c 429s|700000 |433796 | 0 | 0.0 |1012M|2816 | - |5645 | 10k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
457.40/457.44 c 438s|710000 |437369 | 0 | 0.0 |1022M|2816 | - |5645 | 10k| 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
466.80/466.89 c 447s|720000 |440483 | 0 | 0.0 |1032M|2816 | - |5645 | 10k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
476.10/476.12 c 456s|730000 |443913 | 0 | 0.0 |1041M|2816 | - |5645 | 10k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
485.90/485.94 c 466s|740000 |446797 | 0 | 0.0 |1050M|2816 | - |5645 | 10k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
495.51/495.54 c 475s|750000 |449778 | 0 | 0.0 |1059M|2816 | - |5645 | 11k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
505.41/505.41 c 485s|760000 |452538 | 0 | 0.0 |1068M|2816 | - |5645 | 11k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
515.51/515.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.51/515.55 c 495s|770000 |455229 | 0 | 0.0 |1077M|2816 | - |5645 | 11k| 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
526.30/526.32 c 505s|780000 |457348 | 0 | 0.0 |1084M|2816 | - |5645 | 11k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
537.60/537.64 c 516s|790000 |459127 | 0 | 0.0 |1092M|2816 | - |5645 | 12k| 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
548.91/548.94 c 527s|800000 |460993 | 0 | 0.0 |1101M|2816 | - |5645 | 12k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
561.20/561.25 c 539s|810000 |462107 | 0 | 0.0 |1107M|2816 | - |5645 | 13k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
573.91/573.97 c 552s|820000 |463186 | 0 | 0.0 |1114M|2816 | - |5645 | 13k| 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
588.20/588.28 c 566s|830000 |463345 | 0 | 0.0 |1120M|2816 | - |5645 | 15k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
603.01/603.07 c 580s|840000 |463530 | 0 | 0.0 |1127M|2816 | - |5645 | 16k| 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
619.91/619.98 c 597s|850000 |462686 | 0 | 0.0 |1132M|2816 | - |5645 | 18k| 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
634.21/634.24 c 610s|860000 |464432 | 0 | 0.0 |1128M|2816 | - |5645 |6619 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
638.40/638.47 c 614s|870000 |472311 | 0 | 0.0 |1138M|2816 | - |5645 |5622 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
642.70/642.77 c 618s|880000 |479969 | 0 | 0.0 |1148M|2816 | - |5645 |5550 | 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
647.11/647.17 c 623s|890000 |487555 | 0 | 0.0 |1157M|2816 | - |5645 |5573 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
651.51/651.54 c 627s|900000 |495171 | 0 | 0.0 |1167M|2816 | - |5645 |5410 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
655.91/655.92 c 631s|910000 |502642 | 0 | 0.0 |1177M|2816 | - |5645 |5577 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
660.41/660.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.41/660.49 c 635s|920000 |509922 | 0 | 0.0 |1186M|2816 | - |5645 |5615 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
665.01/665.03 c 639s|930000 |517274 | 0 | 0.0 |1196M|2816 | - |5645 |5575 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
671.30/671.35 c 645s|940000 |523157 | 0 | 0.0 |1207M|2816 | - |5645 |6298 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
677.91/677.98 c 652s|950000 |528768 | 0 | 0.0 |1218M|2816 | - |5645 |6595 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
684.91/684.97 c 658s|960000 |534120 | 0 | 0.0 |1229M|2816 | - |5645 |6970 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
691.91/691.91 c 665s|970000 |539429 | 0 | 0.0 |1240M|2816 | - |5645 |7461 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
696.81/696.87 o 4
696.81/696.87 c * 670s|976936 |540638 | 0 | 0.0 |1238M|2816 | - |5645 |7608 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
699.41/699.46 c 672s|980000 |542357 | 0 | 0.0 |1243M|2816 | - |5645 |7686 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
708.91/708.95 c 681s|990000 |547011 | 0 | 0.0 |1255M|2816 | - |5645 |5297 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
717.01/717.03 c 689s| 1000k|551510 | 0 | 0.0 |1264M|2816 | - |5645 |5947 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
724.61/724.66 c 696s| 1010k|555961 | 0 | 0.0 |1274M|2816 | - |5645 |6918 | 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
732.31/732.34 c 704s| 1020k|560469 | 0 | 0.0 |1282M|2816 | - |5645 |6775 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
740.21/740.25 c 711s| 1030k|564812 | 0 | 0.0 |1291M|2816 | - |5645 |7322 | 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
747.61/747.65 c 718s| 1040k|569664 | 0 | 0.0 |1300M|2816 | - |5645 |7152 | 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
754.71/754.71 c 725s| 1050k|574934 | 0 | 0.0 |1307M|2816 | - |5645 |6226 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
760.61/760.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.61/760.67 c 731s| 1060k|581074 | 0 | 0.0 |1316M|2816 | - |5645 |5818 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
766.01/766.02 c 736s| 1070k|587702 | 0 | 0.0 |1324M|2816 | - |5645 |5500 | 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
771.11/771.12 c 741s| 1080k|594552 | 0 | 0.0 |1333M|2816 | - |5645 |5606 | 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
776.01/776.05 c 745s| 1090k|601617 | 0 | 0.0 |1342M|2816 | - |5645 |5321 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
781.11/781.14 c 750s| 1100k|608457 | 0 | 0.0 |1351M|2816 | - |5645 |5678 | 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
786.11/786.16 c 755s| 1110k|615368 | 0 | 0.0 |1360M|2816 | - |5645 |5703 | 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
791.21/791.22 c 760s| 1120k|622203 | 0 | 0.0 |1370M|2816 | - |5645 |5956 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
797.01/797.08 c 765s| 1130k|628476 | 0 | 0.0 |1380M|2816 | - |5645 |5839 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
803.02/803.08 c 771s| 1140k|634547 | 0 | 0.0 |1390M|2816 | - |5645 |6372 | 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
809.41/809.43 c 777s| 1150k|640454 | 0 | 0.0 |1401M|2816 | - |5645 |6331 | 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
815.81/815.86 c 783s| 1160k|646247 | 0 | 0.0 |1411M|2816 | - |5645 |6462 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
822.81/822.86 c 790s| 1170k|651533 | 0 | 0.0 |1420M|2816 | - |5645 |6489 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
829.91/829.92 c 797s| 1180k|656796 | 0 | 0.0 |1430M|2816 | - |5645 |7065 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
836.81/836.86 c 803s| 1190k|662209 | 0 | 0.0 |1440M|2816 | - |5645 |7304 | 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
844.21/844.26 c 810s| 1200k|667286 | 0 | 0.0 |1450M|2816 | - |5645 |7561 | 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
851.82/851.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.82/851.90 c 818s| 1210k|672304 | 0 | 0.0 |1460M|2816 | - |5645 |7449 | 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
859.91/859.99 c 825s| 1220k|676790 | 0 | 0.0 |1470M|2816 | - |5645 |8102 | 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
868.11/868.17 c 833s| 1230k|681351 | 0 | 0.0 |1480M|2816 | - |5645 |8429 | 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
877.11/877.12 c 842s| 1240k|685358 | 0 | 0.0 |1488M|2816 | - |5645 |9202 | 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
885.82/885.82 c 850s| 1250k|689678 | 0 | 0.0 |1496M|2816 | - |5645 |9418 | 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
895.81/895.81 c 860s| 1260k|693113 | 0 | 0.0 |1501M|2816 | - |5645 |9748 | 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
906.11/906.12 c 870s| 1270k|696260 | 0 | 0.0 |1506M|2816 | - |5645 | 10k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
917.42/917.44 c 881s| 1280k|698776 | 0 | 0.0 |1510M|2816 | - |5645 | 12k| 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
930.71/930.71 c 894s| 1290k|699951 | 0 | 0.0 |1517M|2816 | - |5645 | 13k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
936.52/936.55 c 899s| 1300k|706882 | 0 | 0.0 |1523M|2816 | - |5645 |6847 | 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
940.92/940.98 c 903s| 1310k|714483 | 0 | 0.0 |1532M|2816 | - |5645 |6525 | 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
945.81/945.85 c 908s| 1320k|721641 | 0 | 0.0 |1542M|2816 | - |5645 |6941 | 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
951.12/951.13 c 913s| 1330k|728372 | 0 | 0.0 |1552M|2816 | - |5645 |7577 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
957.02/957.02 c 918s| 1340k|734594 | 0 | 0.0 |1562M|2816 | - |5645 |8201 | 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
965.61/965.64 c 927s| 1350k|738429 | 0 | 0.0 |1573M|2816 | - |5645 |9558 | 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
975.31/975.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
975.31/975.32 c 936s| 1360k|741539 | 0 | 0.0 |1582M|2816 | - |5645 |8585 | 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
982.02/982.03 c 942s| 1370k|747122 | 0 | 0.0 |1590M|2816 | - |5645 |7090 | 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
987.21/987.28 c 947s| 1380k|753955 | 0 | 0.0 |1599M|2816 | - |5645 |6791 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
993.01/993.06 c 953s| 1390k|760250 | 0 | 0.0 |1610M|2816 | - |5645 |7605 | 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
999.92/999.91 c 959s| 1400k|765633 | 0 | 0.0 |1621M|2816 | - |5645 |8654 | 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1001.72/1001.74 o 2
1001.72/1001.74 c * 961s| 1402k|724335 | 0 | 0.0 |1552M|2816 | - |5645 |8820 | 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1009.02/1009.07 c 968s| 1410k|727633 | 0 | 0.0 |1563M|2816 | - |5645 | 10k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1019.91/1019.91 c 979s| 1420k|730541 | 0 | 0.0 |1574M|2816 | - |5645 | 12k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1030.42/1030.46 c 989s| 1430k|734083 | 0 | 0.0 |1580M|2816 | - |5645 |7902 | 0 | 0 | 0 |1203k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1034.71/1034.74 c 993s| 1440k|741778 | 0 | 0.0 |1589M|2816 | - |5645 |6787 | 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1039.22/1039.20 c 997s| 1450k|749189 | 0 | 0.0 |1598M|2816 | - |5645 |6890 | 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1044.01/1044.08 c 1001s| 1460k|756226 | 0 | 0.0 |1607M|2816 | - |5645 |7313 | 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1050.32/1050.36 c 1007s| 1470k|762043 | 0 | 0.0 |1617M|2816 | - |5645 |8377 | 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1058.12/1058.18 c 1015s| 1480k|766626 | 0 | 0.0 |1628M|2816 | - |5645 |9560 | 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1067.42/1067.49 c 1024s| 1490k|770133 | 0 | 0.0 |1638M|2816 | - |5645 |9971 | 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1076.62/1076.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.62/1076.60 c 1033s| 1500k|773753 | 0 | 0.0 |1646M|2816 | - |5645 |8390 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1083.02/1083.03 c 1039s| 1510k|779521 | 0 | 0.0 |1655M|2816 | - |5645 |7429 | 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1088.51/1088.54 c 1044s| 1520k|786087 | 0 | 0.0 |1664M|2816 | - |5645 |7816 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1094.72/1094.76 c 1050s| 1530k|792045 | 0 | 0.0 |1675M|2816 | - |5645 |9069 | 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1101.91/1101.90 c 1057s| 1540k|797235 | 0 | 0.0 |1685M|2816 | - |5645 | 10k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1110.52/1110.50 c 1065s| 1550k|801355 | 0 | 0.0 |1695M|2816 | - |5645 | 12k| 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1122.92/1122.98 c 1077s| 1560k|802858 | 0 | 0.0 |1701M|2816 | - |5645 | 12k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1127.62/1127.63 c 1081s| 1570k|810468 | 0 | 0.0 |1710M|2816 | - |5645 |6999 | 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1132.32/1132.31 c 1086s| 1580k|817664 | 0 | 0.0 |1719M|2816 | - |5645 |7393 | 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1137.42/1137.42 c 1090s| 1590k|824467 | 0 | 0.0 |1729M|2816 | - |5645 |8056 | 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1143.22/1143.28 c 1096s| 1600k|830630 | 0 | 0.0 |1739M|2816 | - |5645 |8558 | 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1149.92/1149.93 c 1102s| 1610k|836062 | 0 | 0.0 |1749M|2816 | - |5645 |9542 | 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1157.72/1157.76 c 1110s| 1620k|840587 | 0 | 0.0 |1760M|2816 | - |5645 | 10k| 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1167.82/1167.88 c 1119s| 1630k|843204 | 0 | 0.0 |1769M|2816 | - |5645 | 11k| 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1177.03/1177.03 c 1128s| 1640k|847056 | 0 | 0.0 |1775M|2816 | - |5645 |7305 | 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1181.72/1181.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.72/1181.77 c 1133s| 1650k|854224 | 0 | 0.0 |1785M|2816 | - |5645 |7564 | 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1187.02/1187.07 c 1138s| 1660k|860871 | 0 | 0.0 |1795M|2816 | - |5645 |8558 | 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1193.43/1193.43 c 1144s| 1670k|866692 | 0 | 0.0 |1806M|2816 | - |5645 |9925 | 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1200.73/1200.73 c 1150s| 1680k|871818 | 0 | 0.0 |1817M|2816 | - |5645 | 11k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1210.03/1210.08 c 1159s| 1690k|875386 | 0 | 0.0 |1826M|2816 | - |5645 | 13k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1223.02/1223.03 c 1172s| 1700k|876860 | 0 | 0.0 |1833M|2816 | - |5645 | 14k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1227.92/1227.94 c 1177s| 1710k|884365 | 0 | 0.0 |1841M|2816 | - |5645 |8157 | 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1233.23/1233.21 c 1181s| 1720k|891170 | 0 | 0.0 |1851M|2816 | - |5645 |8952 | 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1239.12/1239.13 c 1187s| 1730k|897441 | 0 | 0.0 |1861M|2816 | - |5645 | 10k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1246.42/1246.49 c 1194s| 1740k|902612 | 0 | 0.0 |1872M|2816 | - |5645 | 11k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1255.72/1255.71 c 1203s| 1750k|906414 | 0 | 0.0 |1883M|2816 | - |5645 | 13k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1269.42/1269.48 c 1216s| 1760k|907354 | 0 | 0.0 |1890M|2816 | - |5645 | 16k| 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1275.03/1275.02 c 1221s| 1770k|914492 | 0 | 0.0 |1896M|2816 | - |5645 |8617 | 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1279.92/1279.97 c 1226s| 1780k|921596 | 0 | 0.0 |1906M|2816 | - |5645 |8899 | 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1285.43/1285.48 c 1231s| 1790k|928215 | 0 | 0.0 |1916M|2816 | - |5645 |9591 | 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1292.32/1292.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.32/1292.38 c 1238s| 1800k|933778 | 0 | 0.0 |1927M|2816 | - |5645 | 10k| 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1300.52/1300.50 c 1246s| 1810k|938439 | 0 | 0.0 |1938M|2816 | - |5645 | 12k| 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1310.22/1310.23 c 1255s| 1820k|941908 | 0 | 0.0 |1949M|2816 | - |5645 | 13k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1322.82/1322.88 c 1267s| 1830k|943500 | 0 | 0.0 |1954M|2816 | - |5645 | 11k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1327.63/1327.70 c 1272s| 1840k|951035 | 0 | 0.0 |1962M|2816 | - |5645 |8557 | 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1332.52/1332.55 c 1276s| 1850k|958338 | 0 | 0.0 |1971M|2816 | - |5645 |8428 | 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1337.73/1337.75 c 1281s| 1860k|965288 | 0 | 0.0 |1981M|2816 | - |5645 |8788 | 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1343.32/1343.30 c 1287s| 1870k|971956 | 0 | 0.0 |1991M|2816 | - |5645 |9252 | 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1349.13/1349.16 c 1292s| 1880k|978360 | 0 | 0.0 |2001M|2816 | - |5645 |9671 | 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1355.52/1355.55 c 1298s| 1890k|984353 | 0 | 0.0 |2011M|2816 | - |5645 | 10k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1362.52/1362.59 c 1305s| 1900k|989852 | 0 | 0.0 |2021M|2816 | - |5645 | 10k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1370.12/1370.16 c 1312s| 1910k|994989 | 0 | 0.0 |2032M|2816 | - |5645 | 11k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1378.34/1378.32 c 1320s| 1920k|999639 | 0 | 0.0 |2042M|2816 | - |5645 | 11k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1387.53/1387.55 c 1329s| 1930k| 1003k| 0 | 0.0 |2052M|2816 | - |5645 | 12k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1398.33/1398.38 c 1339s| 1940k| 1006k| 0 | 0.0 |2061M|2816 | - |5645 | 14k| 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1411.82/1411.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.82/1411.83 c 1352s| 1950k| 1007k| 0 | 0.0 |2068M|2816 | - |5645 | 15k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1420.93/1420.99 c 1361s| 1960k| 1012k| 0 | 0.0 |2073M|2816 | - |5645 |9546 | 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1426.03/1426.01 c 1366s| 1970k| 1019k| 0 | 0.0 |2083M|2816 | - |5645 |9555 | 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1431.63/1431.64 c 1371s| 1980k| 1026k| 0 | 0.0 |2093M|2816 | - |5645 | 10k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1437.92/1437.95 c 1377s| 1990k| 1032k| 0 | 0.0 |2103M|2816 | - |5645 | 11k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1445.23/1445.26 c 1384s| 2000k| 1037k| 0 | 0.0 |2114M|2816 | - |5645 | 12k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1454.43/1454.44 c 1393s| 2010k| 1041k| 0 | 0.0 |2124M|2816 | - |5645 | 13k| 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1467.13/1467.17 c 1405s| 2020k| 1042k| 0 | 0.0 |2132M|2816 | - |5645 | 15k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1474.23/1474.21 c 1412s| 2030k| 1049k| 0 | 0.0 |2138M|2816 | - |5645 |9908 | 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1479.22/1479.20 c 1417s| 2040k| 1056k| 0 | 0.0 |2148M|2816 | - |5645 | 10k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1484.63/1484.65 c 1422s| 2050k| 1063k| 0 | 0.0 |2158M|2816 | - |5645 | 10k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1491.13/1491.16 c 1428s| 2060k| 1069k| 0 | 0.0 |2169M|2816 | - |5645 | 11k| 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1499.13/1499.18 c 1436s| 2070k| 1074k| 0 | 0.0 |2180M|2816 | - |5645 | 13k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1510.13/1510.14 c 1446s| 2080k| 1076k| 0 | 0.0 |2190M|2816 | - |5645 | 15k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1521.53/1521.58 c 1458s| 2090k| 1080k| 0 | 0.0 |2195M|2816 | - |5645 | 11k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1526.53/1526.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.53/1526.50 c 1462s| 2100k| 1087k| 0 | 0.0 |2204M|2816 | - |5645 | 10k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1531.93/1531.95 c 1467s| 2110k| 1094k| 0 | 0.0 |2214M|2816 | - |5645 | 10k| 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1538.13/1538.12 c 1473s| 2120k| 1100k| 0 | 0.0 |2224M|2816 | - |5645 | 11k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1546.13/1546.13 c 1481s| 2130k| 1105k| 0 | 0.0 |2235M|2816 | - |5645 | 12k| 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1555.63/1555.60 c 1490s| 2140k| 1109k| 0 | 0.0 |2245M|2816 | - |5645 | 13k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1565.63/1565.63 c 1500s| 2150k| 1113k| 0 | 0.0 |2253M|2816 | - |5645 | 12k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1572.73/1572.75 c 1506s| 2160k| 1119k| 0 | 0.0 |2261M|2816 | - |5645 | 11k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1578.33/1578.40 c 1512s| 2170k| 1125k| 0 | 0.0 |2270M|2816 | - |5645 | 11k| 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1584.73/1584.76 c 1518s| 2180k| 1132k| 0 | 0.0 |2280M|2816 | - |5645 | 12k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1593.53/1593.57 c 1526s| 2190k| 1136k| 0 | 0.0 |2291M|2816 | - |5645 | 14k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1605.73/1605.79 c 1538s| 2200k| 1138k| 0 | 0.0 |2300M|2816 | - |5645 | 17k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1613.44/1613.47 c 1546s| 2210k| 1144k| 0 | 0.0 |2306M|2816 | - |5645 | 11k| 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1618.64/1618.67 c 1550s| 2220k| 1152k| 0 | 0.0 |2316M|2816 | - |5645 | 10k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1624.43/1624.45 c 1556s| 2230k| 1158k| 0 | 0.0 |2326M|2816 | - |5645 | 11k| 0 | 0 | 0 |1768k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1631.13/1631.18 c 1562s| 2240k| 1164k| 0 | 0.0 |2336M|2816 | - |5645 | 12k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1640.23/1640.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.23/1640.29 c 1571s| 2250k| 1168k| 0 | 0.0 |2347M|2816 | - |5645 | 14k| 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1652.03/1652.02 c 1583s| 2260k| 1171k| 0 | 0.0 |2356M|2816 | - |5645 | 18k| 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1660.23/1660.25 c 1590s| 2270k| 1176k| 0 | 0.0 |2362M|2816 | - |5645 | 11k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1665.23/1665.24 c 1595s| 2280k| 1184k| 0 | 0.0 |2372M|2816 | - |5645 | 10k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1670.53/1670.58 c 1600s| 2290k| 1191k| 0 | 0.0 |2381M|2816 | - |5645 |9429 | 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1676.03/1676.08 c 1605s| 2300k| 1197k| 0 | 0.0 |2391M|2816 | - |5645 | 10k| 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1683.63/1683.62 c 1613s| 2310k| 1202k| 0 | 0.0 |2401M|2816 | - |5645 | 11k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1692.53/1692.52 c 1621s| 2320k| 1206k| 0 | 0.0 |2411M|2816 | - |5645 | 12k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1702.93/1702.95 c 1631s| 2330k| 1209k| 0 | 0.0 |2417M|2816 | - |5645 | 11k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1707.74/1707.77 c 1636s| 2340k| 1217k| 0 | 0.0 |2426M|2816 | - |5645 | 10k| 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1712.93/1712.98 c 1641s| 2350k| 1224k| 0 | 0.0 |2436M|2816 | - |5645 | 10k| 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1718.73/1718.77 c 1646s| 2360k| 1230k| 0 | 0.0 |2445M|2816 | - |5645 | 10k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1726.13/1726.13 c 1653s| 2370k| 1236k| 0 | 0.0 |2456M|2816 | - |5645 | 12k| 0 | 0 | 0 |1861k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1736.63/1736.63 c 1663s| 2380k| 1238k| 0 | 0.0 |2465M|2816 | - |5645 | 14k| 0 | 0 | 0 |1871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1744.04/1744.06 c 1670s| 2390k| 1244k| 0 | 0.0 |2472M|2816 | - |5645 | 10k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1749.33/1749.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1749.33/1749.36 c 1675s| 2400k| 1251k| 0 | 0.0 |2482M|2816 | - |5645 | 10k| 0 | 0 | 0 |1882k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1755.23/1755.27 c 1681s| 2410k| 1257k| 0 | 0.0 |2492M|2816 | - |5645 | 10k| 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1761.64/1761.61 c 1687s| 2420k| 1263k| 0 | 0.0 |2502M|2816 | - |5645 | 10k| 0 | 0 | 0 |1893k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1768.53/1768.52 c 1694s| 2430k| 1269k| 0 | 0.0 |2512M|2816 | - |5645 | 11k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1776.03/1776.05 c 1701s| 2440k| 1274k| 0 | 0.0 |2520M|2816 | - |5645 | 11k| 0 | 0 | 0 |1906k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1782.83/1782.87 c 1707s| 2450k| 1279k| 0 | 0.0 |2529M|2816 | - |5645 | 10k| 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1789.24/1789.26 c 1713s| 2460k| 1285k| 0 | 0.0 |2537M|2816 | - |5645 | 10k| 0 | 0 | 0 |1918k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1795.33/1795.34 c 1719s| 2470k| 1291k| 0 | 0.0 |2546M|2816 | - |5645 | 11k| 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1723.58
1800.05/1800.00 c Solving Nodes : 2477135
1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (33 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.05 s SATISFIABLE
1800.05/1800.05 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.05 v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189
1800.05/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1800.05/1800.05 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146
1800.05/1800.05 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.05/1800.05 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.05 v x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80
1800.05/1800.05 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54
1800.05/1800.05 v -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
1800.05/1800.05 v -x28 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
1800.05/1800.05 v -x1
1800.05/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.05 c Solving Time : 1723.58
1800.05/1800.05 c Original Problem :
1800.05/1800.05 c Problem name : HOME/instance-2693643-1277928237.wbo
1800.05/1800.05 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.05 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.05 c Presolved Problem :
1800.05/1800.05 c Problem name : t_HOME/instance-2693643-1277928237.wbo
1800.05/1800.05 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.05 c Constraints : 5414 initial, 20776 maximal
1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.05 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.05/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c root node : - 2681 - - 5362 - - - -
1800.05/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 2707 0 6286040 0 1692963 91 4350202 0 0 0
1800.05/1800.05 c linear : 2707 0 8142128 0 2064243 587817 48799993 0 0 0
1800.05/1800.05 c logicor : 0+ 0 3840670 0 0 83196 2721871 0 0 0
1800.05/1800.05 c countsols : 0 0 0 0 2064265 0 0 0 0 0
1800.05/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.05 c indicator : 17.88 0.00 9.16 0.00 8.72
1800.05/1800.05 c linear : 467.67 0.00 466.82 0.00 0.85
1800.05/1800.05 c logicor : 226.50 0.00 226.50 0.00 0.00
1800.05/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.05 c vbounds : 0.00 2 0 0
1800.05/1800.05 c rootredcost : 0.00 0 0 0
1800.05/1800.05 c pseudoobj : 392.22 8143802 1506 4315377
1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.05 c propagation : 37.37 672519 672519 3119617 20.1 168139 10.4 -
1800.05/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c pseudo solution : 0.06 94 94 529 30.7 421 9.8 -
1800.05/1800.05 c applied globally : - - - 1928478 18.5 - - -
1800.05/1800.05 c applied locally : - - - 10 319.0 - - -
1800.05/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.05 c redcost : 0.00 0 0 0 0 0
1800.05/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.05 c intobj : 0.00 0 0 0 0 0
1800.05/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.05 c gomory : 0.00 0 0 0 0 0
1800.05/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.05 c cmir : 0.00 0 0 0 0 0
1800.05/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.05 c clique : 0.00 0 0 0 0 0
1800.05/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.05 c mcf : 0.00 0 0 0 0 0
1800.05/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.05 c Pricers : Time Calls Vars
1800.05/1800.05 c problem variables: 0.00 0 0
1800.05/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c inference : 35.84 2064235 0 0 0 0 4128470
1800.05/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c random : 0.00 0 0 0 0 0 0
1800.05/1800.05 c Primal Heuristics : Time Calls Found
1800.05/1800.05 c LP solutions : 0.00 - 0
1800.05/1800.05 c pseudo solutions : 0.16 - 30
1800.05/1800.05 c oneopt : 0.06 0 0
1800.05/1800.05 c trivial : 0.07 2 2
1800.05/1800.05 c simplerounding : 0.00 0 0
1800.05/1800.05 c zirounding : 0.00 0 0
1800.05/1800.05 c rounding : 0.00 0 0
1800.05/1800.05 c shifting : 0.00 0 0
1800.05/1800.05 c intshifting : 0.00 0 0
1800.05/1800.05 c twoopt : 0.00 0 0
1800.05/1800.05 c fixandinfer : 0.00 0 0
1800.05/1800.05 c feaspump : 0.00 0 0
1800.05/1800.05 c coefdiving : 0.00 0 0
1800.05/1800.05 c pscostdiving : 0.00 0 0
1800.05/1800.05 c fracdiving : 0.00 0 0
1800.05/1800.05 c veclendiving : 0.00 0 0
1800.05/1800.05 c intdiving : 0.00 0 0
1800.05/1800.05 c actconsdiving : 0.00 0 0
1800.05/1800.05 c objpscostdiving : 0.00 0 0
1800.05/1800.05 c rootsoldiving : 0.00 0 0
1800.05/1800.05 c linesearchdiving : 0.00 0 0
1800.05/1800.05 c guideddiving : 0.00 0 0
1800.05/1800.05 c octane : 0.00 0 0
1800.05/1800.05 c rens : 0.00 0 0
1800.05/1800.05 c rins : 0.00 0 0
1800.05/1800.05 c localbranching : 0.00 0 0
1800.05/1800.05 c mutation : 0.00 0 0
1800.05/1800.05 c crossover : 0.00 0 0
1800.05/1800.05 c dins : 0.00 0 0
1800.05/1800.05 c undercover : 0.00 0 0
1800.05/1800.05 c nlp : 0.00 0 0
1800.05/1800.05 c trysol : 0.00 1 1
1800.05/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.05 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.05 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.05 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.05 c (at root node) : - 0 0 0.00 -
1800.05/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.05 c B&B Tree :
1800.05/1800.05 c number of runs : 1
1800.05/1800.05 c nodes : 2477135
1800.05/1800.05 c nodes (total) : 2477135
1800.05/1800.05 c nodes left : 1296101
1800.05/1800.05 c max depth : 2816
1800.05/1800.05 c max depth (total): 2816
1800.05/1800.05 c backtracks : 364609 (14.7%)
1800.05/1800.05 c delayed cutoffs : 288501
1800.05/1800.05 c repropagations : 1463824 (16981380 domain reductions, 259834 cutoffs)
1800.05/1800.05 c avg switch length: 43.98
1800.05/1800.05 c switching time : 495.18
1800.05/1800.05 c Solution :
1800.05/1800.05 c Solutions found : 33 (31 improvements)
1800.05/1800.05 c First Solution : +1.34313000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.05 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1402296 nodes, 961.04 seconds, depth 415, found by <relaxation>)
1800.05/1800.05 c Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Gap : infinite
1800.05/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693643-1277928237/watcher-2693643-1277928237 -o /tmp/evaluation-result-2693643-1277928237/solver-2693643-1277928237 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693643-1277928237.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 3/178 16563
/proc/meminfo: memFree=31410860/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=8600 CPUtime=0
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 1628 0 0 0 0 0 0 0 21 0 1 0 134120039 8806400 1551 4089446400 4194304 7136930 140733661610288 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16563/statm: 2150 1558 275 719 0 1429 0
[startup+0.0154659 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16563
/proc/meminfo: memFree=31410860/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=11292 CPUtime=0.01
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 2318 0 0 0 1 0 0 0 21 0 1 0 134120039 11563008 2241 4089446400 4194304 7136930 140733661610288 18446744073709551615 6166864 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16563/statm: 2823 2241 275 719 0 2102 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11292
[startup+0.100518 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16563
/proc/meminfo: memFree=31410860/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=33676 CPUtime=0.09
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 7966 0 0 0 9 0 0 0 21 0 1 0 134120039 34484224 7535 4089446400 4194304 7136930 140733661610288 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 8419 7535 323 719 0 7698 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33676
[startup+0.300418 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16563
/proc/meminfo: memFree=31410860/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=36496 CPUtime=0.29
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 9240 0 0 0 27 2 0 0 21 0 1 0 134120039 37371904 8295 4089446400 4194304 7136930 140733661610288 18446744073709551615 5892370 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 9124 8295 383 719 0 8403 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36496
[startup+0.700346 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16563
/proc/meminfo: memFree=31410860/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=37636 CPUtime=0.69
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 9515 0 0 0 65 4 0 0 22 0 1 0 134120039 38539264 8570 4089446400 4194304 7136930 140733661610288 18446744073709551615 4643289 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 9409 8570 383 719 0 8688 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37636
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16564
/proc/meminfo: memFree=31376428/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=42992 CPUtime=1.49
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 10868 0 0 0 139 10 0 0 25 0 1 0 134120039 44023808 9923 4089446400 4194304 7136930 140733661610288 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 10748 9923 390 719 0 10027 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42992
[startup+3.10092 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16564
/proc/meminfo: memFree=31372088/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=45076 CPUtime=3.09
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 11414 0 0 0 292 17 0 0 25 0 1 0 134120039 46157824 10469 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 11269 10469 390 719 0 10548 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45076
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16564
/proc/meminfo: memFree=31367820/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=48340 CPUtime=6.29
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 12257 0 0 0 597 32 0 0 25 0 1 0 134120039 49500160 11312 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 12085 11312 391 719 0 11364 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48340
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16565
/proc/meminfo: memFree=31347988/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=69856 CPUtime=12.69
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 17582 0 0 0 1204 65 0 0 25 0 1 0 134120039 71532544 16637 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 17464 16637 391 719 0 16743 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69856
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16565
/proc/meminfo: memFree=31308644/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=111300 CPUtime=25.5
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 27451 0 0 0 2432 118 0 0 25 0 1 0 134120039 113971200 26506 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 27825 26506 391 719 0 27104 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 111300
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16566
/proc/meminfo: memFree=31232596/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=189748 CPUtime=51.09
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 46309 0 0 0 4860 249 0 0 25 0 1 0 134120039 194301952 45364 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 47437 45364 391 719 0 46716 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 189748
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16567
/proc/meminfo: memFree=31139924/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=281360 CPUtime=102.3
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 69219 0 0 0 9798 432 0 0 25 0 1 0 134120039 288112640 68274 4089446400 4194304 7136930 140733661610288 18446744073709551615 4947079 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 70340 68274 391 719 0 69619 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 281360
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16569
/proc/meminfo: memFree=30994676/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=442992 CPUtime=162.3
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 106301 0 0 0 15616 614 0 0 25 0 1 0 134120039 453623808 105356 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 110748 105356 391 719 0 110027 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 442992
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16570
/proc/meminfo: memFree=30692208/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=805880 CPUtime=222.29
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 180813 0 0 0 21401 828 0 0 25 0 1 0 134120039 825221120 179868 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 201470 179868 391 719 0 200749 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 805880
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16572
/proc/meminfo: memFree=30576968/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=924184 CPUtime=282.3
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 209776 0 0 0 27070 1160 0 0 25 0 1 0 134120039 946364416 208831 4089446400 4194304 7136930 140733661610288 18446744073709551615 4926174 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 231046 208831 391 719 0 230325 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 924184
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16574
/proc/meminfo: memFree=30443240/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=1056056 CPUtime=342.3
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 242900 0 0 0 32721 1509 0 0 25 0 1 0 134120039 1081401344 241955 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 264014 241955 391 719 0 263293 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1056056
[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 16575
/proc/meminfo: memFree=30348960/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=1151988 CPUtime=402.3
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 266918 0 0 0 38486 1744 0 0 25 0 1 0 134120039 1179635712 265973 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 287997 265973 391 719 0 287276 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1151988
[startup+462.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16577
/proc/meminfo: memFree=30277248/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=1220552 CPUtime=462.3
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 284233 0 0 0 44291 1939 0 0 25 0 1 0 134120039 1249845248 283288 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 305138 283288 391 719 0 304417 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1220552
[startup+522.301 s]
/proc/loadavg: 2.09 2.02 2.01 3/179 16578
/proc/meminfo: memFree=30225372/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=1271980 CPUtime=522.3
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 297108 0 0 0 50127 2103 0 0 25 0 1 0 134120039 1302507520 296163 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 317995 296163 391 719 0 317274 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1271980
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 16580
/proc/meminfo: memFree=30181808/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=1325500 CPUtime=582.3
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 308205 0 0 0 55972 2258 0 0 25 0 1 0 134120039 1357312000 307260 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 331375 307260 391 719 0 330654 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1325500
[startup+642.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16582
/proc/meminfo: memFree=30149532/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=1356564 CPUtime=642.31
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 316084 0 0 0 61806 2425 0 0 25 0 1 0 134120039 1389121536 315139 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 339141 315139 391 719 0 338420 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1356564
[startup+702.3 s]
################
# More data... #
################
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 468497 0 0 0 96171 4061 0 0 25 0 1 0 134120039 2042748928 467552 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 498718 467552 391 719 0 497997 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1994872
[startup+1062.3 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 16642
/proc/meminfo: memFree=29448256/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2019744 CPUtime=1062.32
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 474728 0 0 0 101895 4337 0 0 25 0 1 0 134120039 2068217856 473783 4089446400 4194304 7136930 140733661610288 18446744073709551615 6215719 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 504936 473783 391 719 0 504215 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2019744
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 16643
/proc/meminfo: memFree=29217656/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2084184 CPUtime=1122.32
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 491003 0 0 0 107636 4596 0 0 25 0 1 0 134120039 2134204416 490058 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 521046 490058 391 719 0 520325 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2084184
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 16672
/proc/meminfo: memFree=29259824/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2168568 CPUtime=1182.32
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 512321 0 0 0 113304 4928 0 0 25 0 1 0 134120039 2220613632 511376 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 542142 511376 391 719 0 541421 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2168568
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 16674
/proc/meminfo: memFree=29122512/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2239220 CPUtime=1242.32
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 530141 0 0 0 119011 5221 0 0 25 0 1 0 134120039 2292961280 529196 4089446400 4194304 7136930 140733661610288 18446744073709551615 4983291 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 559805 529196 391 719 0 559084 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2239220
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 16675
/proc/meminfo: memFree=29007260/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2312976 CPUtime=1302.33
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 548726 0 0 0 124750 5483 0 0 25 0 1 0 134120039 2368487424 547781 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 578244 547781 391 719 0 577523 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2312976
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 16677
/proc/meminfo: memFree=28912604/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2413624 CPUtime=1362.33
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 569902 0 0 0 130471 5762 0 0 25 0 1 0 134120039 2471550976 568957 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 603406 568957 391 719 0 602685 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2413624
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 16678
/proc/meminfo: memFree=28850308/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2471608 CPUtime=1422.33
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 584519 0 0 0 136247 5986 0 0 25 0 1 0 134120039 2530926592 583574 4089446400 4194304 7136930 140733661610288 18446744073709551615 4392932 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 617902 583574 391 719 0 617181 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2471608
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 16680
/proc/meminfo: memFree=28770516/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2545816 CPUtime=1482.33
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 603044 0 0 0 141982 6251 0 0 25 0 1 0 134120039 2606915584 602099 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 636454 602099 391 719 0 635733 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2545816
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 16682
/proc/meminfo: memFree=28693092/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2615356 CPUtime=1542.33
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 620740 0 0 0 147722 6511 0 0 25 0 1 0 134120039 2678124544 619795 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 653839 619795 391 719 0 653118 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2615356
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 16683
/proc/meminfo: memFree=28621120/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2684480 CPUtime=1602.33
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 638139 0 0 0 153480 6753 0 0 25 0 1 0 134120039 2748907520 637194 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 671120 637194 391 719 0 670399 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2684480
[startup+1662.3 s]
/proc/loadavg: 2.10 2.02 2.00 3/179 16688
/proc/meminfo: memFree=28552332/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2749664 CPUtime=1662.33
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 654649 0 0 0 159241 6992 0 0 25 0 1 0 134120039 2815655936 653704 4089446400 4194304 7136930 140733661610288 18446744073709551615 4219812 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 687416 653704 391 719 0 686695 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2749664
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/179 16689
/proc/meminfo: memFree=28473300/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2832256 CPUtime=1722.34
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 675487 0 0 0 164957 7277 0 0 25 0 1 0 134120039 2900230144 674542 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 708064 674542 391 719 0 707343 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2832256
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16691
/proc/meminfo: memFree=28397100/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2903840 CPUtime=1782.34
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 693431 0 0 0 170676 7558 0 0 25 0 1 0 134120039 2973532160 692486 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 725960 692486 391 719 0 725239 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2903840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16691
/proc/meminfo: memFree=28369672/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2930968 CPUtime=1800.05
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 700241 0 0 0 172361 7644 0 0 25 0 1 0 134120039 3001311232 699296 4089446400 4194304 7136930 140733661610288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16563/statm: 732742 699296 391 719 0 732021 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2930968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16563
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 16692
/proc/meminfo: memFree=28369300/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2930968 CPUtime=1801.44
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 700247 0 0 0 172500 7644 0 0 25 0 1 0 134120039 3001311232 699302 4089446400 4194304 7136930 140733661610288 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16563/statm: 732742 699302 397 719 0 732021 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2930968
[startup+1801.81 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 16692
/proc/meminfo: memFree=28369176/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2930968 CPUtime=1801.85
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 700247 0 0 0 172541 7644 0 0 25 0 1 0 134120039 3001311232 699302 4089446400 4194304 7136930 140733661610288 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16563/statm: 732742 699302 397 719 0 732021 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2930968
[startup+1802 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 16692
/proc/meminfo: memFree=28369176/32950928 swapFree=4192956/4192956
[pid=16563] ppid=16561 vsize=2930968 CPUtime=1802.04
/proc/16563/stat : 16563 (pbscip.linux.x8) R 16561 16563 14276 0 -1 4202496 700247 0 0 0 172560 7644 0 0 25 0 1 0 134120039 3001311232 699302 4089446400 4194304 7136930 140733661610288 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16563/statm: 732742 699302 397 719 0 732021 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2930968
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.1
CPU time (s): 1802.14
CPU user time (s): 1725.61
CPU system time (s): 76.5304
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2930968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1725.61
system time used= 76.5304
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 700247
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3259
runsolver used 3.16752 second user time and 6.10007 second system time
The end
Begin job on node124 at 2010-06-30 22:03:57
IDJOB=2693643
IDBENCH=79286
IDSOLVER=1206
FILE ID=node124/2693643-1277928237
PBS_JOBID= 11197343
Free space on /tmp= 130620 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554420--soft-0-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-2693643-1277928237/watcher-2693643-1277928237 -o /tmp/evaluation-result-2693643-1277928237/solver-2693643-1277928237 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693643-1277928237.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ce7c3a365231565303f31d834d531ee5
RANDOM SEED=1895962988
node124.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
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.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.07
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.833
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.833
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.77
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.833
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.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
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.74
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.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31411636 kB
Buffers: 215336 kB
Cached: 1123524 kB
SwapCached: 0 kB
Active: 577568 kB
Inactive: 847396 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31411636 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 3124 kB
Writeback: 0 kB
AnonPages: 85780 kB
Mapped: 15456 kB
Slab: 80928 kB
PageTables: 4848 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 20668420 kB
Committed_AS: 230588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 130612 MiB
End job on node124 at 2010-06-30 22:33:59