Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.15 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900553647--soft-0-100-0.wbo |
| MD5SUM | 1693c6ddcdda9c3a56f7a1957868c0a9 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 118.75 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 134314 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 134313 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 715 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-2693592-1277925735.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/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.13
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.19/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.19/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
1.89/1.95 o 606
1.89/1.95 c * 1.9s| 6248 | 5874 | 0 | 0.0 | 23M|2816 | - |5645 |6710 | 0 | 0 | 0 |1296 | 0 | 0.000000e+00 | 6.060000e+02 | Inf
3.49/3.53 c 3.4s| 10000 | 9623 | 0 | 0.0 | 24M|2816 | - |5645 |6730 | 0 | 0 | 0 |1316 | 0 | 0.000000e+00 | 6.060000e+02 | Inf
6.88/6.95 c 6.8s| 20000 | 18156 | 0 | 0.0 | 35M|2816 | - |5645 |7907 | 0 | 0 | 0 |7467 | 0 | 0.000000e+00 | 6.060000e+02 | Inf
12.18/12.24 c 12.0s| 30000 | 24521 | 0 | 0.0 | 48M|2816 | - |5645 |9643 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 6.060000e+02 | Inf
16.68/16.72 c 16.4s| 40000 | 34012 | 0 | 0.0 | 52M|2816 | - |5645 |8309 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 6.060000e+02 | Inf
20.89/20.91 c 20.5s| 50000 | 44010 | 0 | 0.0 | 55M|2816 | - |5645 |7626 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 6.060000e+02 | Inf
24.89/24.91 c 24.5s| 60000 | 54008 | 0 | 0.0 | 59M|2816 | - |5645 |7294 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 6.060000e+02 | Inf
25.79/25.85 o 491
25.79/25.85 c *25.4s| 62079 | 55368 | 0 | 0.0 | 60M|2816 | - |5645 |7249 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 4.910000e+02 | Inf
25.79/25.85 o 447
25.79/25.85 c *25.4s| 62080 | 53092 | 0 | 0.0 | 60M|2816 | - |5645 |7249 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 4.470000e+02 | Inf
25.89/25.91 o 434
25.89/25.91 c *25.5s| 62194 | 52126 | 0 | 0.0 | 60M|2816 | - |5645 |7247 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 4.340000e+02 | Inf
25.99/26.04 o 429
25.99/26.04 c *25.6s| 62425 | 51893 | 0 | 0.0 | 60M|2816 | - |5645 |7264 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 4.290000e+02 | Inf
25.99/26.09 o 422
25.99/26.09 c *25.7s| 62519 | 51325 | 0 | 0.0 | 60M|2816 | - |5645 |7254 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 4.220000e+02 | Inf
26.09/26.10 o 387
26.09/26.10 c *25.7s| 62520 | 46776 | 0 | 0.0 | 59M|2816 | - |5645 |7254 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.870000e+02 | Inf
26.19/26.30 o 342
26.19/26.30 c *25.9s| 62871 | 42032 | 0 | 0.0 | 57M|2816 | - |5645 |7294 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.420000e+02 | Inf
26.29/26.35 o 326
26.29/26.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.29/26.35 c *25.9s| 62944 | 40293 | 0 | 0.0 | 57M|2816 | - |5645 |7291 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.260000e+02 | Inf
26.29/26.37 o 324
26.29/26.37 c *25.9s| 62948 | 40078 | 0 | 0.0 | 56M|2816 | - |5645 |7301 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.240000e+02 | Inf
26.39/26.43 o 287
26.39/26.43 c *26.0s| 63036 | 36832 | 0 | 0.0 | 55M|2816 | - |5645 |7292 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.870000e+02 | Inf
26.39/26.44 o 255
26.39/26.44 c *26.0s| 63037 | 34813 | 0 | 0.0 | 54M|2816 | - |5645 |7292 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.550000e+02 | Inf
27.40/27.46 o 249
27.40/27.46 c *27.0s| 64750 | 36013 | 0 | 0.0 | 56M|2816 | - |5645 |7282 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
27.40/27.46 o 247
27.40/27.46 c *27.0s| 64751 | 35832 | 0 | 0.0 | 56M|2816 | - |5645 |7282 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
27.49/27.51 o 243
27.49/27.51 c *27.1s| 64817 | 35622 | 0 | 0.0 | 56M|2816 | - |5645 |7276 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.430000e+02 | Inf
27.49/27.52 o 229
27.49/27.52 c *27.1s| 64842 | 34559 | 0 | 0.0 | 55M|2816 | - |5645 |7272 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.290000e+02 | Inf
27.69/27.75 o 226
27.69/27.75 c *27.3s| 65208 | 34711 | 0 | 0.0 | 56M|2816 | - |5645 |7224 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
27.69/27.78 o 212
27.69/27.78 c *27.3s| 65240 | 33944 | 0 | 0.0 | 56M|2816 | - |5645 |7203 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.120000e+02 | Inf
28.09/28.12 o 195
28.09/28.12 c *27.6s| 65780 | 33482 | 0 | 0.0 | 56M|2816 | - |5645 |7147 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.950000e+02 | Inf
28.29/28.30 o 178
28.29/28.30 c *27.8s| 66078 | 32704 | 0 | 0.0 | 56M|2816 | - |5645 |7123 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
28.49/28.58 o 173
28.49/28.58 c *28.1s| 66500 | 32833 | 0 | 0.0 | 56M|2816 | - |5645 |7109 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
29.70/29.77 o 164
29.70/29.77 c *29.3s| 68279 | 33885 | 0 | 0.0 | 58M|2816 | - |5645 |7226 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
30.19/30.24 o 150
30.19/30.24 c *29.8s| 69016 | 33657 | 0 | 0.0 | 58M|2816 | - |5645 |7263 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
30.29/30.39 o 145
30.29/30.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.29/30.39 c *29.9s| 69251 | 33772 | 0 | 0.0 | 58M|2816 | - |5645 |7283 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
30.29/30.39 o 140
30.29/30.39 c *29.9s| 69252 | 33534 | 0 | 0.0 | 58M|2816 | - |5645 |7283 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
30.59/30.60 o 120
30.59/30.60 c *30.1s| 69556 | 33330 | 0 | 0.0 | 58M|2816 | - |5645 |7324 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
30.89/30.91 c 30.4s| 70000 | 33738 | 0 | 0.0 | 58M|2816 | - |5645 |7332 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
32.09/32.12 o 111
32.09/32.12 c *31.6s| 71712 | 34802 | 0 | 0.0 | 60M|2816 | - |5645 |7589 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
34.79/34.89 o 81
34.79/34.89 c *34.4s| 75087 | 35986 | 0 | 0.0 | 65M|2816 | - |5645 |8742 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
37.79/37.87 o 77
37.79/37.87 c *37.3s| 78577 | 38548 | 0 | 0.0 | 78M|2816 | - |5645 |8994 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
38.40/38.45 o 65
38.40/38.45 c *37.9s| 79319 | 37856 | 0 | 0.0 | 74M|2816 | - |5645 |9004 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
38.89/38.92 o 63
38.89/38.92 c *38.3s| 79863 | 38145 | 0 | 0.0 | 76M|2816 | - |5645 |9208 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
38.99/39.06 c 38.5s| 80000 | 38246 | 0 | 0.0 | 77M|2816 | - |5645 |9294 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
40.09/40.18 o 41
40.09/40.18 c *39.6s| 81461 | 38188 | 0 | 0.0 | 77M|2816 | - |5645 |7848 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
40.09/40.18 o 37
40.09/40.18 c *39.6s| 81462 | 37788 | 0 | 0.0 | 73M|2816 | - |5645 |7848 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
43.19/43.27 o 32
43.19/43.27 c *42.6s| 87658 | 42707 | 0 | 0.0 | 81M|2816 | - |5645 |8173 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
44.29/44.39 c 43.7s| 90000 | 44629 | 0 | 0.0 | 84M|2816 | - |5645 |8448 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
45.19/45.20 o 28
45.19/45.20 c *44.5s| 91880 | 46128 | 0 | 0.0 | 86M|2816 | - |5645 |8442 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
45.19/45.20 o 24
45.19/45.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.19/45.20 c *44.5s| 91881 | 45559 | 0 | 0.0 | 85M|2816 | - |5645 |8442 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
48.69/48.77 c 48.0s|100000 | 52273 | 0 | 0.0 | 94M|2816 | - |5645 |9192 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
53.09/53.13 c 52.3s|110000 | 60550 | 0 | 0.0 | 106M|2816 | - |5645 |7676 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
58.30/58.31 c 57.4s|120000 | 68031 | 0 | 0.0 | 117M|2816 | - |5645 |8732 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
64.09/64.12 c 63.1s|130000 | 75069 | 0 | 0.0 | 129M|2816 | - |5645 |9366 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
69.98/70.03 c 68.9s|140000 | 81727 | 0 | 0.0 | 140M|2816 | - |5645 |9841 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
75.69/75.76 c 74.5s|150000 | 88276 | 0 | 0.0 | 152M|2816 | - |5645 | 10k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
82.49/82.57 c 81.2s|160000 | 93950 | 0 | 0.0 | 165M|2816 | - |5645 | 11k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
89.69/89.76 c 88.3s|170000 | 99300 | 0 | 0.0 | 177M|2816 | - |5645 | 11k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
97.49/97.54 c 96.0s|180000 |104259 | 0 | 0.0 | 189M|2816 | - |5645 | 12k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
106.79/106.88 c 105s|190000 |108108 | 0 | 0.0 | 200M|2816 | - |5645 | 15k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
119.59/119.63 c 118s|200000 |109802 | 0 | 0.0 | 211M|2816 | - |5645 | 17k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
125.39/125.48 c 124s|210000 |117874 | 0 | 0.0 | 217M|2816 | - |5645 |7377 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
127.89/127.90 o 23
127.89/127.90 c * 126s|214638 |121701 | 0 | 0.0 | 221M|2816 | - |5645 |7550 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
127.99/128.03 o 20
127.99/128.03 c * 126s|214866 |121537 | 0 | 0.0 | 220M|2816 | - |5645 |7608 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
131.09/131.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.09/131.16 c 129s|220000 |125730 | 0 | 0.0 | 227M|2816 | - |5645 |8044 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
138.79/138.82 c 137s|230000 |133185 | 0 | 0.0 | 242M|2816 | - |5645 |9448 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
141.19/141.25 o 15
141.19/141.25 c * 139s|232781 |134302 | 0 | 0.0 | 242M|2816 | - |5645 |9504 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
141.19/141.25 o 8
141.19/141.25 c * 139s|232782 |133071 | 0 | 0.0 | 237M|2816 | - |5645 |9504 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
148.79/148.86 c 147s|240000 |137648 | 0 | 0.0 | 251M|2816 | - |5645 |9312 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
158.99/159.06 c 157s|250000 |143963 | 0 | 0.0 | 263M|2816 | - |5645 |9363 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
169.19/169.20 c 167s|260000 |150255 | 0 | 0.0 | 276M|2816 | - |5645 |9880 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
179.49/179.58 c 177s|270000 |156473 | 0 | 0.0 | 288M|2816 | - |5645 | 10k| 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
190.69/190.70 c 188s|280000 |162355 | 0 | 0.0 | 301M|2816 | - |5645 | 12k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
203.69/203.71 c 201s|290000 |167312 | 0 | 0.0 | 312M|2816 | - |5645 | 13k| 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
220.50/220.56 c 218s|300000 |168248 | 0 | 0.0 | 319M|2816 | - |5645 | 12k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
226.70/226.76 c 224s|310000 |175922 | 0 | 0.0 | 333M|2816 | - |5645 | 12k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
232.80/232.85 o 7
232.80/232.85 c * 230s|317749 |180512 | 0 | 0.0 | 340M|2816 | - |5645 | 11k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
234.69/234.74 c 232s|320000 |181960 | 0 | 0.0 | 342M|2816 | - |5645 | 11k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
243.79/243.81 c 241s|330000 |187737 | 0 | 0.0 | 363M|2816 | - |5645 | 11k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
253.50/253.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.50/253.51 c 250s|340000 |195151 | 0 | 0.0 | 433M|2816 | - |5645 | 13k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
260.89/260.93 c 258s|350000 |201889 | 0 | 0.0 | 456M|2816 | - |5645 |9513 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
265.89/265.94 c 262s|360000 |208944 | 0 | 0.0 | 465M|2816 | - |5645 |8755 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
269.30/269.32 o 6
269.30/269.32 c * 266s|365188 |211071 | 0 | 0.0 | 469M|2816 | - |5645 | 11k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
271.29/271.33 c 268s|370000 |214999 | 0 | 0.0 | 473M|2816 | - |5645 |8531 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
276.59/276.65 c 273s|380000 |221580 | 0 | 0.0 | 483M|2816 | - |5645 |9062 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
281.79/281.82 c 278s|390000 |228284 | 0 | 0.0 | 495M|2816 | - |5645 | 10k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
286.39/286.42 c 283s|400000 |235804 | 0 | 0.0 | 505M|2816 | - |5645 |9755 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
290.89/290.91 c 287s|410000 |243317 | 0 | 0.0 | 514M|2816 | - |5645 |8550 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
295.40/295.47 c 291s|420000 |250804 | 0 | 0.0 | 524M|2816 | - |5645 |9802 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
301.49/301.53 c 297s|430000 |256744 | 0 | 0.0 | 534M|2816 | - |5645 |9310 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
306.59/306.69 c 302s|440000 |263468 | 0 | 0.0 | 544M|2816 | - |5645 | 11k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
311.10/311.18 c 307s|450000 |271031 | 0 | 0.0 | 554M|2816 | - |5645 |9910 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
315.90/315.97 c 311s|460000 |278240 | 0 | 0.0 | 564M|2816 | - |5645 |9425 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
320.90/320.91 c 316s|470000 |285243 | 0 | 0.0 | 574M|2816 | - |5645 |9503 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
325.80/325.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
325.80/325.85 c 321s|480000 |292236 | 0 | 0.0 | 583M|2816 | - |5645 |9139 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
330.90/330.92 c 326s|490000 |299033 | 0 | 0.0 | 593M|2816 | - |5645 |9677 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
335.79/335.83 c 331s|500000 |305978 | 0 | 0.0 | 603M|2816 | - |5645 | 10k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
340.69/340.70 c 336s|510000 |313007 | 0 | 0.0 | 613M|2816 | - |5645 | 11k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
344.90/344.92 c 340s|520000 |320843 | 0 | 0.0 | 623M|2816 | - |5645 |9417 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
350.40/350.43 c 345s|530000 |327253 | 0 | 0.0 | 633M|2816 | - |5645 | 10k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
355.00/355.03 c 350s|540000 |334583 | 0 | 0.0 | 644M|2816 | - |5645 | 10k| 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
358.90/358.93 c 354s|550000 |342494 | 0 | 0.0 | 651M|2816 | - |5645 |5244 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
362.60/362.60 c 357s|560000 |350549 | 0 | 0.0 | 661M|2816 | - |5645 |5335 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
366.00/366.09 c 361s|570000 |358716 | 0 | 0.0 | 670M|2816 | - |5645 |5322 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
370.00/370.02 c 364s|580000 |366425 | 0 | 0.0 | 680M|2816 | - |5645 |5543 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
376.20/376.23 c 371s|590000 |372125 | 0 | 0.0 | 691M|2816 | - |5645 |8191 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
382.71/382.74 c 377s|600000 |377760 | 0 | 0.0 | 702M|2816 | - |5645 |9204 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
390.00/390.03 c 384s|610000 |382951 | 0 | 0.0 | 713M|2816 | - |5645 |9307 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
397.90/397.95 c 392s|620000 |387519 | 0 | 0.0 | 724M|2816 | - |5645 |9886 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
406.40/406.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.40/406.46 c 400s|630000 |391571 | 0 | 0.0 | 734M|2816 | - |5645 |9980 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
415.30/415.32 c 409s|640000 |395355 | 0 | 0.0 | 745M|2816 | - |5645 | 11k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
424.61/424.62 c 418s|650000 |398930 | 0 | 0.0 | 755M|2816 | - |5645 | 10k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
433.60/433.66 c 427s|660000 |402656 | 0 | 0.0 | 765M|2816 | - |5645 | 10k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
442.81/442.83 c 436s|670000 |406295 | 0 | 0.0 | 775M|2816 | - |5645 | 11k| 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
452.20/452.21 c 446s|680000 |409772 | 0 | 0.0 | 785M|2816 | - |5645 | 11k| 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
461.50/461.57 c 455s|690000 |413233 | 0 | 0.0 | 795M|2816 | - |5645 | 11k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
471.10/471.16 c 464s|700000 |416505 | 0 | 0.0 | 805M|2816 | - |5645 | 11k| 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
480.51/480.58 c 474s|710000 |419918 | 0 | 0.0 | 815M|2816 | - |5645 | 11k| 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
490.21/490.25 c 483s|720000 |422999 | 0 | 0.0 | 824M|2816 | - |5645 | 11k| 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
499.90/499.93 c 493s|730000 |426094 | 0 | 0.0 | 834M|2816 | - |5645 | 12k| 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
510.00/510.06 c 503s|740000 |428849 | 0 | 0.0 | 843M|2816 | - |5645 | 12k| 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
520.90/520.90 c 514s|750000 |430998 | 0 | 0.0 | 850M|2816 | - |5645 | 11k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
531.61/531.69 c 524s|760000 |433181 | 0 | 0.0 | 859M|2816 | - |5645 | 12k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
543.50/543.52 c 536s|770000 |434560 | 0 | 0.0 | 865M|2816 | - |5645 | 12k| 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
555.61/555.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.61/555.60 c 548s|780000 |435852 | 0 | 0.0 | 872M|2816 | - |5645 | 13k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
568.91/568.96 c 561s|790000 |436370 | 0 | 0.0 | 879M|2816 | - |5645 | 14k| 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
584.70/584.70 c 577s|800000 |434950 | 0 | 0.0 | 882M|2816 | - |5645 | 14k| 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
593.71/593.72 c 586s|810000 |436173 | 0 | 0.0 | 877M|2816 | - |5645 |5295 | 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
598.51/598.59 c 590s|820000 |443475 | 0 | 0.0 | 887M|2816 | - |5645 |5607 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
603.81/603.90 c 596s|830000 |450341 | 0 | 0.0 | 898M|2816 | - |5645 |6097 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
609.20/609.22 o 3
609.20/609.22 c * 601s|839403 |452382 | 0 | 0.0 | 902M|2816 | - |5645 |6277 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
609.61/609.64 c 601s|840000 |452790 | 0 | 0.0 | 903M|2816 | - |5645 |6221 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
616.90/616.95 c 608s|850000 |458811 | 0 | 0.0 | 919M|2816 | - |5645 |6451 | 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
623.61/623.67 c 615s|860000 |464800 | 0 | 0.0 | 931M|2816 | - |5645 |6353 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
630.81/630.84 c 622s|870000 |470224 | 0 | 0.0 | 943M|2816 | - |5645 |6577 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
638.01/638.09 c 629s|880000 |475502 | 0 | 0.0 | 955M|2816 | - |5645 |6910 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
645.11/645.12 c 636s|890000 |480939 | 0 | 0.0 | 966M|2816 | - |5645 |7066 | 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
652.91/652.99 c 644s|900000 |485638 | 0 | 0.0 | 978M|2816 | - |5645 |7734 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
661.31/661.31 c 652s|910000 |490015 | 0 | 0.0 | 989M|2816 | - |5645 |8279 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
669.91/669.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
669.91/669.91 c 661s|920000 |494166 | 0 | 0.0 | 999M|2816 | - |5645 |8430 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
678.51/678.52 c 669s|930000 |498289 | 0 | 0.0 |1010M|2816 | - |5645 |8703 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
687.91/687.94 c 678s|940000 |501803 | 0 | 0.0 |1020M|2816 | - |5645 |8589 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
697.21/697.22 c 688s|950000 |505530 | 0 | 0.0 |1029M|2816 | - |5645 |8375 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
706.22/706.27 o 2
706.22/706.27 c * 697s|959448 |476442 | 0 | 0.0 | 997M|2816 | - |5645 |8523 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
706.81/706.83 c 697s|960000 |476675 | 0 | 0.0 | 997M|2816 | - |5645 |8369 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
716.81/716.85 c 707s|970000 |480423 | 0 | 0.0 |1008M|2816 | - |5645 |7719 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
725.31/725.39 c 715s|980000 |485265 | 0 | 0.0 |1018M|2816 | - |5645 |7325 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
733.51/733.51 c 723s|990000 |490323 | 0 | 0.0 |1028M|2816 | - |5645 |7310 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
740.51/740.58 c 730s| 1000k|496098 | 0 | 0.0 |1038M|2816 | - |5645 |7393 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
748.11/748.13 c 738s| 1010k|501562 | 0 | 0.0 |1049M|2816 | - |5645 |7797 | 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
755.21/755.20 c 745s| 1020k|507329 | 0 | 0.0 |1060M|2816 | - |5645 |7529 | 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
762.81/762.83 c 752s| 1030k|512631 | 0 | 0.0 |1071M|2816 | - |5645 |8506 | 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
770.51/770.50 c 760s| 1040k|517994 | 0 | 0.0 |1081M|2816 | - |5645 |8639 | 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
778.11/778.10 c 767s| 1050k|523359 | 0 | 0.0 |1092M|2816 | - |5645 |9408 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
786.31/786.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.31/786.30 c 775s| 1060k|528329 | 0 | 0.0 |1102M|2816 | - |5645 |9573 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.31/794.35 c 783s| 1070k|533487 | 0 | 0.0 |1113M|2816 | - |5645 |9836 | 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
802.72/802.77 c 792s| 1080k|538350 | 0 | 0.0 |1123M|2816 | - |5645 | 10k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
811.21/811.29 c 800s| 1090k|543179 | 0 | 0.0 |1133M|2816 | - |5645 | 10k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
820.31/820.35 c 809s| 1100k|547779 | 0 | 0.0 |1143M|2816 | - |5645 | 10k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
829.02/829.04 c 818s| 1110k|552563 | 0 | 0.0 |1153M|2816 | - |5645 | 11k| 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
838.01/838.03 c 826s| 1120k|557136 | 0 | 0.0 |1163M|2816 | - |5645 | 11k| 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
846.42/846.44 c 835s| 1130k|562194 | 0 | 0.0 |1172M|2816 | - |5645 | 11k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
855.61/855.64 c 844s| 1140k|566690 | 0 | 0.0 |1181M|2816 | - |5645 | 12k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
864.81/864.86 c 853s| 1150k|571287 | 0 | 0.0 |1190M|2816 | - |5645 | 12k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
874.92/874.94 c 863s| 1160k|575325 | 0 | 0.0 |1199M|2816 | - |5645 | 13k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
884.92/884.95 c 873s| 1170k|579349 | 0 | 0.0 |1208M|2816 | - |5645 | 13k| 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
896.22/896.26 c 884s| 1180k|582656 | 0 | 0.0 |1217M|2816 | - |5645 | 15k| 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
909.62/909.69 c 897s| 1190k|584735 | 0 | 0.0 |1226M|2816 | - |5645 | 17k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
920.91/920.98 c 908s| 1200k|588312 | 0 | 0.0 |1229M|2816 | - |5645 | 10k| 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
926.12/926.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
926.12/926.12 c 913s| 1210k|595604 | 0 | 0.0 |1240M|2816 | - |5645 |9535 | 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
932.02/932.00 c 919s| 1220k|602200 | 0 | 0.0 |1251M|2816 | - |5645 | 10k| 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
938.72/938.74 c 926s| 1230k|608148 | 0 | 0.0 |1262M|2816 | - |5645 | 11k| 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
946.62/946.69 c 934s| 1240k|613259 | 0 | 0.0 |1272M|2816 | - |5645 | 13k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
956.02/956.00 c 943s| 1250k|617470 | 0 | 0.0 |1282M|2816 | - |5645 | 14k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
965.92/965.98 c 953s| 1260k|621420 | 0 | 0.0 |1291M|2816 | - |5645 | 13k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
974.22/974.29 c 961s| 1270k|626387 | 0 | 0.0 |1299M|2816 | - |5645 | 11k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
980.42/980.48 c 967s| 1280k|632851 | 0 | 0.0 |1308M|2816 | - |5645 | 10k| 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
986.42/986.44 c 973s| 1290k|639408 | 0 | 0.0 |1318M|2816 | - |5645 | 11k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
993.12/993.13 c 979s| 1300k|645440 | 0 | 0.0 |1328M|2816 | - |5645 | 12k| 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1000.82/1000.90 c 987s| 1310k|650775 | 0 | 0.0 |1339M|2816 | - |5645 | 14k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1011.72/1011.79 c 998s| 1320k|654182 | 0 | 0.0 |1348M|2816 | - |5645 | 17k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1023.12/1023.14 c 1009s| 1330k|657844 | 0 | 0.0 |1354M|2816 | - |5645 | 12k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1028.62/1028.63 c 1015s| 1340k|665395 | 0 | 0.0 |1365M|2816 | - |5645 | 11k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1034.63/1034.67 c 1020s| 1350k|672349 | 0 | 0.0 |1377M|2816 | - |5645 | 11k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1041.62/1041.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1041.62/1041.66 c 1027s| 1360k|678613 | 0 | 0.0 |1390M|2816 | - |5645 | 12k| 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1049.83/1049.80 c 1035s| 1370k|684107 | 0 | 0.0 |1403M|2816 | - |5645 | 14k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1059.72/1059.72 c 1045s| 1380k|688619 | 0 | 0.0 |1414M|2816 | - |5645 | 15k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1071.03/1071.08 c 1056s| 1390k|692336 | 0 | 0.0 |1422M|2816 | - |5645 | 14k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1079.73/1079.73 c 1065s| 1400k|697734 | 0 | 0.0 |1430M|2816 | - |5645 | 12k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1086.63/1086.68 c 1072s| 1410k|704017 | 0 | 0.0 |1438M|2816 | - |5645 | 12k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1093.53/1093.53 c 1078s| 1420k|710536 | 0 | 0.0 |1452M|2816 | - |5645 | 12k| 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1101.13/1101.16 c 1086s| 1430k|716650 | 0 | 0.0 |1467M|2816 | - |5645 | 14k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1110.72/1110.77 c 1095s| 1440k|721683 | 0 | 0.0 |1486M|2816 | - |5645 | 16k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1123.53/1123.59 c 1108s| 1450k|724841 | 0 | 0.0 |1503M|2816 | - |5645 | 19k| 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1134.23/1134.23 c 1119s| 1460k|729977 | 0 | 0.0 |1515M|2816 | - |5645 | 15k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1140.93/1140.93 c 1125s| 1470k|737432 | 0 | 0.0 |1532M|2816 | - |5645 | 14k| 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1148.13/1148.13 c 1132s| 1480k|744404 | 0 | 0.0 |1549M|2816 | - |5645 | 14k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1156.23/1156.24 c 1140s| 1490k|750727 | 0 | 0.0 |1568M|2816 | - |5645 | 15k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1165.63/1165.61 c 1149s| 1500k|756236 | 0 | 0.0 |1586M|2816 | - |5645 | 16k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1177.33/1177.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.33/1177.33 c 1161s| 1510k|760159 | 0 | 0.0 |1603M|2816 | - |5645 | 17k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1190.43/1190.41 c 1174s| 1520k|762521 | 0 | 0.0 |1610M|2816 | - |5645 | 19k| 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1197.13/1197.10 c 1181s| 1530k|770203 | 0 | 0.0 |1624M|2816 | - |5645 | 15k| 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1204.33/1204.31 c 1188s| 1540k|777304 | 0 | 0.0 |1640M|2816 | - |5645 | 15k| 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1212.33/1212.39 c 1196s| 1550k|783720 | 0 | 0.0 |1657M|2816 | - |5645 | 16k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1221.63/1221.62 c 1205s| 1560k|789377 | 0 | 0.0 |1674M|2816 | - |5645 | 17k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1232.93/1232.91 c 1216s| 1570k|793896 | 0 | 0.0 |1691M|2816 | - |5645 | 20k| 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1248.03/1248.06 c 1231s| 1580k|796243 | 0 | 0.0 |1707M|2816 | - |5645 | 24k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1257.23/1257.28 c 1240s| 1590k|802750 | 0 | 0.0 |1717M|2816 | - |5645 | 19k| 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1264.33/1264.34 c 1247s| 1600k|810246 | 0 | 0.0 |1732M|2816 | - |5645 | 18k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1272.14/1272.11 c 1255s| 1610k|817165 | 0 | 0.0 |1747M|2816 | - |5645 | 18k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1280.73/1280.77 c 1263s| 1620k|823495 | 0 | 0.0 |1763M|2816 | - |5645 | 20k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1291.03/1291.07 c 1273s| 1630k|828986 | 0 | 0.0 |1776M|2816 | - |5645 | 14k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1300.33/1300.39 c 1282s| 1640k|833054 | 0 | 0.0 |1785M|2816 | - |5645 | 16k| 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1310.33/1310.38 c 1292s| 1650k|836913 | 0 | 0.0 |1791M|2816 | - |5645 | 12k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1315.33/1315.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.33/1315.36 c 1297s| 1660k|844529 | 0 | 0.0 |1801M|2816 | - |5645 | 12k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1320.84/1320.83 c 1303s| 1670k|851696 | 0 | 0.0 |1811M|2816 | - |5645 | 13k| 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1326.64/1326.66 c 1308s| 1680k|858571 | 0 | 0.0 |1821M|2816 | - |5645 | 14k| 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1333.84/1333.88 c 1315s| 1690k|864463 | 0 | 0.0 |1831M|2816 | - |5645 | 16k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1342.63/1342.66 c 1324s| 1700k|869277 | 0 | 0.0 |1840M|2816 | - |5645 | 17k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1354.93/1354.96 c 1336s| 1710k|871370 | 0 | 0.0 |1848M|2816 | - |5645 | 20k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1360.33/1360.36 c 1342s| 1720k|879133 | 0 | 0.0 |1855M|2816 | - |5645 | 12k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1365.43/1365.41 c 1346s| 1730k|886701 | 0 | 0.0 |1865M|2816 | - |5645 | 12k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1370.93/1370.93 c 1352s| 1740k|893909 | 0 | 0.0 |1875M|2816 | - |5645 | 12k| 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1376.64/1376.67 c 1358s| 1750k|900961 | 0 | 0.0 |1885M|2816 | - |5645 | 13k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1382.83/1382.81 c 1364s| 1760k|907674 | 0 | 0.0 |1895M|2816 | - |5645 | 13k| 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1389.54/1389.56 c 1370s| 1770k|913923 | 0 | 0.0 |1906M|2816 | - |5645 | 14k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1396.74/1396.70 c 1377s| 1780k|919853 | 0 | 0.0 |1917M|2816 | - |5645 | 14k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1404.44/1404.46 c 1385s| 1790k|925367 | 0 | 0.0 |1927M|2816 | - |5645 | 15k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1412.94/1412.98 c 1393s| 1800k|930410 | 0 | 0.0 |1938M|2816 | - |5645 | 16k| 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1422.34/1422.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.34/1422.35 c 1403s| 1810k|934948 | 0 | 0.0 |1947M|2816 | - |5645 | 17k| 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1432.74/1432.76 c 1413s| 1820k|938845 | 0 | 0.0 |1957M|2816 | - |5645 | 18k| 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1444.84/1444.86 c 1425s| 1830k|941666 | 0 | 0.0 |1966M|2816 | - |5645 | 20k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1459.04/1459.00 c 1439s| 1840k|943241 | 0 | 0.0 |1970M|2816 | - |5645 | 18k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1464.24/1464.24 c 1444s| 1850k|950952 | 0 | 0.0 |1978M|2816 | - |5645 | 13k| 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1469.74/1469.70 c 1449s| 1860k|958153 | 0 | 0.0 |1988M|2816 | - |5645 | 13k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1475.94/1475.97 c 1455s| 1870k|964724 | 0 | 0.0 |1998M|2816 | - |5645 | 15k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1483.24/1483.25 c 1463s| 1880k|970630 | 0 | 0.0 |2008M|2816 | - |5645 | 16k| 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1492.04/1492.03 c 1471s| 1890k|975478 | 0 | 0.0 |2018M|2816 | - |5645 | 17k| 0 | 0 | 0 |1505k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1503.54/1503.51 c 1483s| 1900k|978371 | 0 | 0.0 |2027M|2816 | - |5645 | 20k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1512.55/1512.59 c 1492s| 1910k|983432 | 0 | 0.0 |2031M|2816 | - |5645 | 13k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1517.84/1517.86 c 1497s| 1920k|990843 | 0 | 0.0 |2041M|2816 | - |5645 | 13k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1523.64/1523.65 c 1502s| 1930k|997809 | 0 | 0.0 |2051M|2816 | - |5645 | 14k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1530.15/1530.10 c 1509s| 1940k| 1004k| 0 | 0.0 |2061M|2816 | - |5645 | 15k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1538.04/1538.03 c 1517s| 1950k| 1009k| 0 | 0.0 |2072M|2816 | - |5645 | 17k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1548.14/1548.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.14/1548.19 c 1527s| 1960k| 1013k| 0 | 0.0 |2081M|2816 | - |5645 | 19k| 0 | 0 | 0 |1553k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1560.54/1560.57 c 1539s| 1970k| 1016k| 0 | 0.0 |2086M|2816 | - |5645 | 15k| 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1565.95/1565.93 c 1544s| 1980k| 1023k| 0 | 0.0 |2095M|2816 | - |5645 | 13k| 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1571.74/1571.74 c 1550s| 1990k| 1030k| 0 | 0.0 |2106M|2816 | - |5645 | 14k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1578.05/1578.09 c 1556s| 2000k| 1037k| 0 | 0.0 |2116M|2816 | - |5645 | 15k| 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1585.64/1585.61 c 1564s| 2010k| 1043k| 0 | 0.0 |2127M|2816 | - |5645 | 16k| 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1594.04/1594.06 c 1572s| 2020k| 1048k| 0 | 0.0 |2138M|2816 | - |5645 | 18k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1604.04/1604.07 c 1582s| 2030k| 1052k| 0 | 0.0 |2147M|2816 | - |5645 | 18k| 0 | 0 | 0 |1600k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1612.44/1612.47 c 1590s| 2040k| 1057k| 0 | 0.0 |2154M|2816 | - |5645 | 15k| 0 | 0 | 0 |1607k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1619.15/1619.14 c 1597s| 2050k| 1064k| 0 | 0.0 |2163M|2816 | - |5645 | 15k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1625.85/1625.87 c 1603s| 2060k| 1070k| 0 | 0.0 |2173M|2816 | - |5645 | 15k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1633.14/1633.16 c 1610s| 2070k| 1076k| 0 | 0.0 |2183M|2816 | - |5645 | 17k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1641.85/1641.84 c 1619s| 2080k| 1081k| 0 | 0.0 |2194M|2816 | - |5645 | 19k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1654.85/1654.81 c 1632s| 2090k| 1083k| 0 | 0.0 |2200M|2816 | - |5645 | 24k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1660.75/1660.75 c 1638s| 2100k| 1091k| 0 | 0.0 |2207M|2816 | - |5645 | 14k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1666.64/1666.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1666.64/1666.66 c 1644s| 2110k| 1098k| 0 | 0.0 |2217M|2816 | - |5645 | 14k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1673.15/1673.17 c 1650s| 2120k| 1104k| 0 | 0.0 |2227M|2816 | - |5645 | 15k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1680.45/1680.42 c 1657s| 2130k| 1111k| 0 | 0.0 |2238M|2816 | - |5645 | 17k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1689.05/1689.08 c 1666s| 2140k| 1116k| 0 | 0.0 |2248M|2816 | - |5645 | 18k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1700.34/1700.37 c 1677s| 2150k| 1119k| 0 | 0.0 |2258M|2816 | - |5645 | 21k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1711.95/1711.99 c 1688s| 2160k| 1123k| 0 | 0.0 |2262M|2816 | - |5645 | 15k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1717.65/1717.64 c 1694s| 2170k| 1130k| 0 | 0.0 |2272M|2816 | - |5645 | 14k| 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1723.94/1723.95 c 1700s| 2180k| 1137k| 0 | 0.0 |2282M|2816 | - |5645 | 15k| 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1730.75/1730.78 c 1707s| 2190k| 1143k| 0 | 0.0 |2293M|2816 | - |5645 | 16k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1738.95/1739.00 c 1715s| 2200k| 1149k| 0 | 0.0 |2303M|2816 | - |5645 | 18k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1749.25/1749.21 c 1725s| 2210k| 1153k| 0 | 0.0 |2313M|2816 | - |5645 | 20k| 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1762.55/1762.58 c 1738s| 2220k| 1155k| 0 | 0.0 |2319M|2816 | - |5645 | 19k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1768.25/1768.25 c 1744s| 2230k| 1163k| 0 | 0.0 |2327M|2816 | - |5645 | 14k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1774.45/1774.41 c 1750s| 2240k| 1170k| 0 | 0.0 |2337M|2816 | - |5645 | 15k| 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1781.15/1781.17 c 1756s| 2250k| 1176k| 0 | 0.0 |2348M|2816 | - |5645 | 16k| 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1789.05/1789.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.05/1789.06 c 1764s| 2260k| 1182k| 0 | 0.0 |2359M|2816 | - |5645 | 17k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1798.65/1798.60 c 1774s| 2270k| 1186k| 0 | 0.0 |2369M|2816 | - |5645 | 19k| 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1775.08
1800.06/1800.00 c Solving Nodes : 2271316
1800.06/1800.00 c Primal Bound : +2.00000000000000e+00 (47 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.09 s SATISFIABLE
1800.06/1800.09 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.06/1800.09 v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189
1800.06/1800.09 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.06/1800.09 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.06/1800.09 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126
1800.06/1800.09 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.06/1800.09 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.06/1800.09 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
1800.06/1800.09 v -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.06/1800.09 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.06/1800.09 v -x1
1800.06/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.09 c Solving Time : 1775.08
1800.06/1800.09 c Original Problem :
1800.06/1800.09 c Problem name : HOME/instance-2693592-1277925735.wbo
1800.06/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.06/1800.09 c Presolved Problem :
1800.06/1800.09 c Problem name : t_HOME/instance-2693592-1277925735.wbo
1800.06/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.09 c Constraints : 5414 initial, 25890 maximal
1800.06/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.09 c probing : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.09 c linear : 0.03 0 0 0 2707 0 1 0 0
1800.06/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.09 c root node : - 2681 - - 5362 - - - -
1800.06/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.09 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.09 c indicator : 2707 0 6069587 0 1601183 64 4116997 0 0 0
1800.06/1800.09 c linear : 2707 0 7564439 0 1906657 501748 44111198 0 0 0
1800.06/1800.09 c logicor : 0+ 0 3533834 0 0 93385 2450135 0 0 0
1800.06/1800.09 c countsols : 0 0 0 0 1906687 0 0 0 0 0
1800.06/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.09 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.09 c indicator : 21.69 0.00 9.89 0.00 11.80
1800.06/1800.09 c linear : 437.85 0.00 435.79 0.00 2.06
1800.06/1800.09 c logicor : 265.26 0.00 265.26 0.00 0.00
1800.06/1800.09 c countsols : 0.34 0.00 0.00 0.00 0.34
1800.06/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.09 c vbounds : 1.68 2 0 0
1800.06/1800.09 c rootredcost : 1.69 0 0 0
1800.06/1800.09 c pseudoobj : 377.76 7566489 1802 4079488
1800.06/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.09 c propagation : 37.44 596935 596924 2814093 20.0 158313 10.5 -
1800.06/1800.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.09 c pseudo solution : 0.01 63 63 280 27.8 194 9.7 -
1800.06/1800.09 c applied globally : - - - 1761449 18.0 - - -
1800.06/1800.09 c applied locally : - - - 3 321.0 - - -
1800.06/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.09 c redcost : 0.00 0 0 0 0 0
1800.06/1800.09 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.09 c intobj : 0.00 0 0 0 0 0
1800.06/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.09 c gomory : 0.00 0 0 0 0 0
1800.06/1800.09 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.09 c cmir : 0.00 0 0 0 0 0
1800.06/1800.09 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.09 c clique : 0.00 0 0 0 0 0
1800.06/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.09 c mcf : 0.00 0 0 0 0 0
1800.06/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.09 c Pricers : Time Calls Vars
1800.06/1800.09 c problem variables: 0.00 0 0
1800.06/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.09 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.09 c inference : 39.43 1906643 0 0 0 0 3813286
1800.06/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.09 c random : 0.00 0 0 0 0 0 0
1800.06/1800.09 c Primal Heuristics : Time Calls Found
1800.06/1800.09 c LP solutions : 0.00 - 0
1800.06/1800.09 c pseudo solutions : 0.16 - 44
1800.06/1800.09 c oneopt : 0.72 0 0
1800.06/1800.09 c trivial : 0.08 2 2
1800.06/1800.09 c simplerounding : 0.00 0 0
1800.06/1800.09 c zirounding : 0.00 0 0
1800.06/1800.09 c rounding : 0.00 0 0
1800.06/1800.09 c shifting : 0.00 0 0
1800.06/1800.09 c intshifting : 0.00 0 0
1800.06/1800.09 c twoopt : 0.00 0 0
1800.06/1800.09 c fixandinfer : 0.00 0 0
1800.06/1800.09 c feaspump : 0.00 0 0
1800.06/1800.09 c coefdiving : 0.00 0 0
1800.06/1800.09 c pscostdiving : 0.00 0 0
1800.06/1800.09 c fracdiving : 0.00 0 0
1800.06/1800.09 c veclendiving : 0.00 0 0
1800.06/1800.09 c intdiving : 0.00 0 0
1800.06/1800.09 c actconsdiving : 0.00 0 0
1800.06/1800.09 c objpscostdiving : 0.00 0 0
1800.06/1800.09 c rootsoldiving : 0.00 0 0
1800.06/1800.09 c linesearchdiving : 0.00 0 0
1800.06/1800.09 c guideddiving : 0.00 0 0
1800.06/1800.09 c octane : 0.00 0 0
1800.06/1800.09 c rens : 0.00 0 0
1800.06/1800.09 c rins : 0.00 0 0
1800.06/1800.09 c localbranching : 0.00 0 0
1800.06/1800.09 c mutation : 0.00 0 0
1800.06/1800.09 c crossover : 0.00 0 0
1800.06/1800.09 c dins : 0.00 0 0
1800.06/1800.09 c undercover : 0.00 0 0
1800.06/1800.09 c nlp : 0.54 0 0
1800.06/1800.09 c trysol : 0.61 1 1
1800.06/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.09 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.09 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.09 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.09 c (at root node) : - 0 0 0.00 -
1800.06/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.09 c B&B Tree :
1800.06/1800.09 c number of runs : 1
1800.06/1800.09 c nodes : 2271316
1800.06/1800.09 c nodes (total) : 2271316
1800.06/1800.09 c nodes left : 1187066
1800.06/1800.09 c max depth : 2816
1800.06/1800.09 c max depth (total): 2816
1800.06/1800.09 c backtracks : 331145 (14.6%)
1800.06/1800.09 c delayed cutoffs : 278255
1800.06/1800.09 c repropagations : 1322855 (15969536 domain reductions, 232433 cutoffs)
1800.06/1800.09 c avg switch length: 47.03
1800.06/1800.09 c switching time : 508.78
1800.06/1800.09 c Solution :
1800.06/1800.09 c Solutions found : 47 (45 improvements)
1800.06/1800.09 c First Solution : +1.34313000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.06/1800.09 c Primal Bound : +2.00000000000000e+00 (in run 1, after 959448 nodes, 696.47 seconds, depth 181, found by <relaxation>)
1800.06/1800.09 c Dual Bound : +0.00000000000000e+00
1800.06/1800.09 c Gap : infinite
1800.06/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.09 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693592-1277925735/watcher-2693592-1277925735 -o /tmp/evaluation-result-2693592-1277925735/solver-2693592-1277925735 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693592-1277925735.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 28151 /proc/meminfo: memFree=31059760/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=8600 CPUtime=0 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 1636 0 0 0 0 0 0 0 25 0 1 0 168176603 8806400 1558 4089446400 4194304 7136930 140736142218128 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28151/statm: 2150 1558 275 719 0 1429 0 [startup+0.00753205 s] /proc/loadavg: 2.00 2.00 2.00 4/196 28151 /proc/meminfo: memFree=31059760/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=9236 CPUtime=0 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 1814 0 0 0 0 0 0 0 25 0 1 0 168176603 9457664 1736 4089446400 4194304 7136930 140736142218128 18446744073709551615 5648817 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/28151/statm: 2309 1737 275 719 0 1588 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9236 [startup+0.100515 s] /proc/loadavg: 2.00 2.00 2.00 4/196 28151 /proc/meminfo: memFree=31059760/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=33676 CPUtime=0.09 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 168176603 34484224 7535 4089446400 4194304 7136930 140736142218128 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/28151/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.30048 s] /proc/loadavg: 2.00 2.00 2.00 4/196 28151 /proc/meminfo: memFree=31059760/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=36496 CPUtime=0.29 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 9241 0 0 0 28 1 0 0 25 0 1 0 168176603 37371904 8295 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/28151/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700389 s] /proc/loadavg: 2.00 2.00 2.00 4/196 28151 /proc/meminfo: memFree=31059760/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=37636 CPUtime=0.69 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 9516 0 0 0 68 1 0 0 25 0 1 0 168176603 38539264 8570 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/28151/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28152 /proc/meminfo: memFree=31025408/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=42860 CPUtime=1.48 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 10821 0 0 0 145 3 0 0 25 0 1 0 168176603 43888640 9875 4089446400 4194304 7136930 140736142218128 18446744073709551615 4979592 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/28151/statm: 10715 9875 390 719 0 9994 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 42860 [startup+3.10094 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28152 /proc/meminfo: memFree=31020572/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=44992 CPUtime=3.09 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 11365 0 0 0 304 5 0 0 25 0 1 0 168176603 46071808 10419 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/28151/statm: 11248 10419 391 719 0 10527 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44992 [startup+6.30035 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28152 /proc/meminfo: memFree=31012452/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=55776 CPUtime=6.29 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 14053 0 0 0 618 11 0 0 25 0 1 0 168176603 57114624 13107 4089446400 4194304 7136930 140736142218128 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/28151/statm: 13944 13107 391 719 0 13223 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 55776 [startup+12.7001 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28152 /proc/meminfo: memFree=30987228/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=78808 CPUtime=12.68 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 19664 0 0 0 1247 21 0 0 25 0 1 0 168176603 80699392 18718 4089446400 4194304 7136930 140736142218128 18446744073709551615 4209715 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/28151/statm: 19702 18718 391 719 0 18981 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 78808 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28152 /proc/meminfo: memFree=30975100/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=89600 CPUtime=25.49 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 22520 0 0 0 2510 39 0 0 25 0 1 0 168176603 91750400 21574 4089446400 4194304 7136930 140736142218128 18446744073709551615 4436363 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/28151/statm: 22400 21574 391 719 0 21679 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89600 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28153 /proc/meminfo: memFree=30894944/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=177144 CPUtime=51.09 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 43085 0 0 0 5031 78 0 0 25 0 1 0 168176603 181395456 42139 4089446400 4194304 7136930 140736142218128 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/28151/statm: 44286 42139 391 719 0 43565 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 177144 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28154 /proc/meminfo: memFree=30789132/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=279956 CPUtime=102.29 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 68249 0 0 0 10077 152 0 0 25 0 1 0 168176603 286674944 67303 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 69989 67303 391 719 0 69268 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 279956 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28156 /proc/meminfo: memFree=30696208/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=376972 CPUtime=162.29 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 91268 0 0 0 16008 221 0 0 25 0 1 0 168176603 386019328 90322 4089446400 4194304 7136930 140736142218128 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 94243 90322 391 719 0 93522 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 376972 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28158 /proc/meminfo: memFree=30629940/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=440508 CPUtime=222.29 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 106979 0 0 0 21950 279 0 0 25 0 1 0 168176603 451080192 106033 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 110127 106033 391 719 0 109406 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 440508 [startup+282.3 s] /proc/loadavg: 2.02 2.00 2.00 3/197 28207 /proc/meminfo: memFree=30680776/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=645376 CPUtime=282.29 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 152718 0 0 0 27852 377 0 0 25 0 1 0 168176603 660865024 151772 4089446400 4194304 7136930 140736142218128 18446744073709551615 4980077 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 161344 151772 391 719 0 160623 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 645376 [startup+342.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 28209 /proc/meminfo: memFree=30556208/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=769520 CPUtime=342.3 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 183974 0 0 0 33735 495 0 0 25 0 1 0 168176603 787988480 183028 4089446400 4194304 7136930 140736142218128 18446744073709551615 4978022 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 192380 183028 391 719 0 191659 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 769520 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28210 /proc/meminfo: memFree=30441188/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=881096 CPUtime=402.3 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 211972 0 0 0 39631 599 0 0 25 0 1 0 168176603 902242304 211026 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 220274 211026 391 719 0 219553 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 881096 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28212 /proc/meminfo: memFree=30364492/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=956840 CPUtime=462.3 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 230946 0 0 0 45561 669 0 0 25 0 1 0 168176603 979804160 230000 4089446400 4194304 7136930 140736142218128 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 239210 230000 391 719 0 238489 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 956840 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28214 /proc/meminfo: memFree=30312944/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1008460 CPUtime=522.3 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 243803 0 0 0 51495 735 0 0 25 0 1 0 168176603 1032663040 242857 4089446400 4194304 7136930 140736142218128 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 252115 242857 391 719 0 251394 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1008460 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28215 /proc/meminfo: memFree=30272188/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1047544 CPUtime=582.31 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 253612 0 0 0 57438 793 0 0 25 0 1 0 168176603 1072685056 252666 4089446400 4194304 7136930 140736142218128 18446744073709551615 4227454 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 261886 252666 391 719 0 261165 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1047544 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28217 /proc/meminfo: memFree=30192220/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1136224 CPUtime=642.31 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 273652 0 0 0 63347 884 0 0 25 0 1 0 168176603 1163493376 272706 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 284056 272706 391 719 0 283335 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1136224 [startup+702.3 s] ################ # More data... # ################ /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 370699 0 0 0 98855 1377 0 0 25 0 1 0 168176603 1560162304 369753 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 380899 369753 391 719 0 380178 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1523596 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28228 /proc/meminfo: memFree=29697104/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1635340 CPUtime=1062.32 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 397025 0 0 0 104774 1458 0 0 25 0 1 0 168176603 1674588160 396079 4089446400 4194304 7136930 140736142218128 18446744073709551615 6363574 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 408835 396079 391 719 0 408114 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1635340 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28230 /proc/meminfo: memFree=29586684/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1752960 CPUtime=1122.33 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 424152 0 0 0 110686 1547 0 0 25 0 1 0 168176603 1795031040 423206 4089446400 4194304 7136930 140736142218128 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 438240 423206 391 719 0 437519 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1752960 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 28231 /proc/meminfo: memFree=29472908/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1874048 CPUtime=1182.32 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 452431 0 0 0 116598 1634 0 0 25 0 1 0 168176603 1919025152 451485 4089446400 4194304 7136930 140736142218128 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 468512 451485 391 719 0 467791 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1874048 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 28261 /proc/meminfo: memFree=29329304/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=1979796 CPUtime=1242.33 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 477542 0 0 0 122515 1718 0 0 25 0 1 0 168176603 2027311104 476596 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 494949 476596 391 719 0 494228 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1979796 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 28262 /proc/meminfo: memFree=29057948/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=2083832 CPUtime=1302.34 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 502373 0 0 0 128435 1799 0 0 25 0 1 0 168176603 2133843968 501427 4089446400 4194304 7136930 140736142218128 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 520958 501427 391 719 0 520237 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 2083832 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 28264 /proc/meminfo: memFree=28833832/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=2151632 CPUtime=1362.34 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 519611 0 0 0 134345 1889 0 0 25 0 1 0 168176603 2203271168 518665 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 537908 518665 391 719 0 537187 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 2151632 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 28293 /proc/meminfo: memFree=29141780/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=2236256 CPUtime=1422.34 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 541061 0 0 0 140252 1982 0 0 25 0 1 0 168176603 2289926144 540115 4089446400 4194304 7136930 140736142218128 18446744073709551615 4925492 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 559064 540115 391 719 0 558343 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2236256 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 28294 /proc/meminfo: memFree=28929148/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=2295764 CPUtime=1482.34 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 556000 0 0 0 146171 2063 0 0 25 0 1 0 168176603 2350862336 555054 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 573941 555054 391 719 0 573220 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 2295764 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 28296 /proc/meminfo: memFree=28778944/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=2375432 CPUtime=1542.34 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 571936 0 0 0 152089 2145 0 0 25 0 1 0 168176603 2432442368 570990 4089446400 4194304 7136930 140736142218128 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 593858 570990 391 719 0 593137 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2375432 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 28297 /proc/meminfo: memFree=28536696/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=2447328 CPUtime=1602.34 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 589917 0 0 0 158006 2228 0 0 25 0 1 0 168176603 2506063872 588971 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 611832 588971 391 719 0 611111 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2447328 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 28299 /proc/meminfo: memFree=28347400/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=2506296 CPUtime=1662.34 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 604985 0 0 0 163924 2310 0 0 25 0 1 0 168176603 2566447104 604039 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 626574 604039 391 719 0 625853 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2506296 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 28301 /proc/meminfo: memFree=28157872/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=2581888 CPUtime=1722.34 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 623924 0 0 0 169843 2391 0 0 25 0 1 0 168176603 2643853312 622978 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 645472 622978 391 719 0 644751 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2581888 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 28302 /proc/meminfo: memFree=27993640/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=2645572 CPUtime=1782.35 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 640000 0 0 0 175763 2472 0 0 25 0 1 0 168176603 2709065728 639054 4089446400 4194304 7136930 140736142218128 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 661393 639054 391 719 0 660672 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 2645572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 2.02 2.00 3/179 28303 /proc/meminfo: memFree=27946884/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=2669392 CPUtime=1800.06 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 646062 0 0 0 177511 2495 0 0 25 0 1 0 168176603 2733457408 645116 4089446400 4194304 7136930 140736142218128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/28151/statm: 667348 645116 391 719 0 666627 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 2669392 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -28151 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.07 2.02 2.00 3/180 28304 /proc/meminfo: memFree=27946008/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=2669392 CPUtime=1801.45 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 646084 0 0 0 177650 2495 0 0 19 0 1 0 168176603 2733457408 645138 4089446400 4194304 7136930 140736142218128 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/28151/statm: 667348 645138 397 719 0 666627 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 2669392 [startup+1801.81 s] /proc/loadavg: 2.07 2.02 2.00 3/180 28304 /proc/meminfo: memFree=27944892/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=2669392 CPUtime=1801.86 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 646084 0 0 0 177691 2495 0 0 20 0 1 0 168176603 2733457408 645138 4089446400 4194304 7136930 140736142218128 18446744073709551615 4212564 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/28151/statm: 667348 645138 397 719 0 666627 0 Current children cumulated CPU time (s) 1801.86 Current children cumulated vsize (KiB) 2669392 [startup+1802 s] /proc/loadavg: 2.07 2.02 2.00 3/180 28304 /proc/meminfo: memFree=27944892/32950928 swapFree=67111528/67111528 [pid=28151] ppid=28149 vsize=2669392 CPUtime=1802.05 /proc/28151/stat : 28151 (pbscip.linux.x8) R 28149 28151 25854 0 -1 4202496 646084 0 0 0 177710 2495 0 0 21 0 1 0 168176603 2733457408 645138 4089446400 4194304 7136930 140736142218128 18446744073709551615 6166114 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/28151/statm: 667348 645138 397 719 0 666627 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 2669392 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.15 CPU user time (s): 1777.11 CPU system time (s): 25.0372 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2669392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.11 system time used= 25.0372 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 646084 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= 19534 runsolver used 2.89556 second user time and 6.53801 second system time The end
Begin job on node114 at 2010-06-30 21:22:15 IDJOB=2693592 IDBENCH=79262 IDSOLVER=1206 FILE ID=node114/2693592-1277925735 PBS_JOBID= 11197285 Free space on /tmp= 74212 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.1900553647--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-2693592-1277925735/watcher-2693592-1277925735 -o /tmp/evaluation-result-2693592-1277925735/solver-2693592-1277925735 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693592-1277925735.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1693c6ddcdda9c3a56f7a1957868c0a9 RANDOM SEED=809262676 node114.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.819 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 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.819 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.82 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.819 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.67 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.819 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.82 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.819 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.75 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.819 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.83 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.819 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 : 5447.01 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31060288 kB Buffers: 209388 kB Cached: 1127180 kB SwapCached: 0 kB Active: 831268 kB Inactive: 915792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31060288 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3172 kB Writeback: 0 kB AnonPages: 410824 kB Mapped: 20252 kB Slab: 79804 kB PageTables: 5580 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1650620 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 node114 at 2010-06-30 21:52:17