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) | 1800.97 | 1800.93 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900546417--soft-0-100-0.wbo |
| MD5SUM | 0e9942c7ddaaf04ff12871ed1ee37357 |
| 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 | 133.058 |
| 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 | 137946 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 137945 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 689 |
| 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-2693635-1277927799.wbo>
0.02/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/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 137945
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.379450e+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.09/0.19 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.379450e+05 | Inf
2.49/2.58 o 456
2.49/2.58 c * 2.5s| 7911 | 6196 | 0 | 0.0 | 23M|2816 | - |5645 |6918 | 0 | 0 | 0 |1506 | 0 | 0.000000e+00 | 4.560000e+02 | Inf
3.29/3.35 c 3.3s| 10000 | 8238 | 0 | 0.0 | 24M|2816 | - |5645 |6938 | 0 | 0 | 0 |1526 | 0 | 0.000000e+00 | 4.560000e+02 | Inf
6.60/6.65 c 6.5s| 20000 | 16728 | 0 | 0.0 | 35M|2816 | - |5645 |7700 | 0 | 0 | 0 |8151 | 0 | 0.000000e+00 | 4.560000e+02 | Inf
11.19/11.20 c 10.9s| 30000 | 23717 | 0 | 0.0 | 47M|2816 | - |5645 |8965 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 4.560000e+02 | Inf
16.49/16.54 c 16.2s| 40000 | 31976 | 0 | 0.0 | 53M|2816 | - |5645 |8530 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 4.560000e+02 | Inf
16.69/16.74 o 454
16.69/16.74 c *16.4s| 40362 | 32289 | 0 | 0.0 | 53M|2816 | - |5645 |8532 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 4.540000e+02 | Inf
17.29/17.32 o 431
17.29/17.32 c *17.0s| 41428 | 32826 | 0 | 0.0 | 54M|2816 | - |5645 |8498 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 4.310000e+02 | Inf
17.29/17.32 o 411
17.29/17.32 c *17.0s| 41429 | 32229 | 0 | 0.0 | 54M|2816 | - |5645 |8498 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 4.110000e+02 | Inf
17.79/17.81 o 388
17.79/17.81 c *17.5s| 42238 | 32179 | 0 | 0.0 | 55M|2816 | - |5645 |8499 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 3.880000e+02 | Inf
18.09/18.11 o 373
18.09/18.11 c *17.8s| 42861 | 32155 | 0 | 0.0 | 55M|2816 | - |5645 |8462 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 3.730000e+02 | Inf
18.09/18.19 o 360
18.09/18.19 c *17.8s| 42988 | 31759 | 0 | 0.0 | 55M|2816 | - |5645 |8414 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 3.600000e+02 | Inf
18.19/18.27 o 357
18.19/18.27 c *17.9s| 43119 | 31815 | 0 | 0.0 | 55M|2816 | - |5645 |8391 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 3.570000e+02 | Inf
18.19/18.27 o 346
18.19/18.27 c *17.9s| 43120 | 31497 | 0 | 0.0 | 55M|2816 | - |5645 |8391 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 3.460000e+02 | Inf
18.29/18.35 o 345
18.29/18.35 c *18.0s| 43260 | 31612 | 0 | 0.0 | 55M|2816 | - |5645 |8343 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 3.450000e+02 | Inf
18.39/18.43 o 302
18.39/18.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.39/18.43 c *18.1s| 43420 | 30998 | 0 | 0.0 | 54M|2816 | - |5645 |8334 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 3.020000e+02 | Inf
18.49/18.57 o 293
18.49/18.57 c *18.2s| 43669 | 31092 | 0 | 0.0 | 54M|2816 | - |5645 |8296 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.930000e+02 | Inf
18.60/18.66 o 266
18.60/18.66 c *18.3s| 43802 | 30741 | 0 | 0.0 | 54M|2816 | - |5645 |8267 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.660000e+02 | Inf
18.70/18.74 o 253
18.70/18.74 c *18.4s| 44063 | 30461 | 0 | 0.0 | 54M|2816 | - |5645 |8244 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
18.79/18.86 o 232
18.79/18.86 c *18.5s| 44287 | 29678 | 0 | 0.0 | 54M|2816 | - |5645 |8220 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
18.79/18.87 o 227
18.79/18.87 c *18.5s| 44288 | 29545 | 0 | 0.0 | 54M|2816 | - |5645 |8220 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
18.99/19.03 o 220
18.99/19.03 c *18.7s| 44541 | 29569 | 0 | 0.0 | 54M|2816 | - |5645 |8174 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
18.99/19.03 o 212
18.99/19.03 c *18.7s| 44542 | 29300 | 0 | 0.0 | 54M|2816 | - |5645 |8174 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.120000e+02 | Inf
19.09/19.13 o 205
19.09/19.13 c *18.8s| 44736 | 29140 | 0 | 0.0 | 54M|2816 | - |5645 |8160 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
19.30/19.30 o 201
19.30/19.30 c *18.9s| 44987 | 29172 | 0 | 0.0 | 55M|2816 | - |5645 |8147 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
19.30/19.38 o 193
19.30/19.38 c *19.0s| 45106 | 28974 | 0 | 0.0 | 55M|2816 | - |5645 |8115 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
19.30/19.38 o 191
19.30/19.38 c *19.0s| 45107 | 28905 | 0 | 0.0 | 55M|2816 | - |5645 |8115 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
19.70/19.70 o 185
19.70/19.70 c *19.3s| 45576 | 29115 | 0 | 0.0 | 56M|2816 | - |5645 |8081 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.850000e+02 | Inf
20.00/20.00 o 161
20.00/20.00 c *19.6s| 46038 | 28785 | 0 | 0.0 | 55M|2816 | - |5645 |8057 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
20.09/20.16 o 160
20.09/20.16 c *19.8s| 46260 | 28987 | 0 | 0.0 | 56M|2816 | - |5645 |8038 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
20.09/20.16 o 140
20.09/20.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.09/20.16 c *19.8s| 46261 | 28474 | 0 | 0.0 | 55M|2816 | - |5645 |8038 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
20.19/20.22 o 130
20.19/20.22 c *19.8s| 46352 | 28355 | 0 | 0.0 | 55M|2816 | - |5645 |8025 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
20.19/20.22 o 109
20.19/20.22 c *19.9s| 46353 | 27867 | 0 | 0.0 | 54M|2816 | - |5645 |8025 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
21.19/21.21 o 98
21.19/21.21 c *20.8s| 47411 | 28493 | 0 | 0.0 | 58M|2816 | - |5645 |8198 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
21.19/21.21 o 96
21.19/21.21 c *20.8s| 47412 | 28331 | 0 | 0.0 | 58M|2816 | - |5645 |8198 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
23.69/23.76 c 23.3s| 50000 | 30609 | 0 | 0.0 | 66M|2816 | - |5645 |7726 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
25.49/25.51 o 83
25.49/25.51 c *25.1s| 51738 | 31295 | 0 | 0.0 | 72M|2816 | - |5645 |7576 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
25.49/25.58 o 72
25.49/25.58 c *25.1s| 51860 | 30403 | 0 | 0.0 | 66M|2816 | - |5645 |7546 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
25.49/25.58 o 48
25.49/25.58 c *25.1s| 51861 | 28634 | 0 | 0.0 | 61M|2816 | - |5645 |7546 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
25.89/25.91 o 39
25.89/25.91 c *25.4s| 52464 | 28616 | 0 | 0.0 | 61M|2816 | - |5645 |7412 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
25.89/25.91 o 37
25.89/25.91 c *25.4s| 52467 | 28517 | 0 | 0.0 | 61M|2816 | - |5645 |7417 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
25.89/25.99 o 31
25.89/25.99 c *25.5s| 52626 | 28242 | 0 | 0.0 | 59M|2816 | - |5645 |7429 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
27.79/27.81 o 26
27.79/27.81 c *27.3s| 56390 | 31133 | 0 | 0.0 | 64M|2816 | - |5645 |7720 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
29.39/29.40 c 28.9s| 60000 | 34195 | 0 | 0.0 | 70M|2816 | - |5645 |8040 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
29.89/29.99 o 23
29.89/29.99 c *29.4s| 61399 | 35240 | 0 | 0.0 | 73M|2816 | - |5645 |8258 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
33.19/33.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.19/33.21 c 32.6s| 70000 | 42384 | 0 | 0.0 | 84M|2816 | - |5645 |9205 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
36.69/36.74 c 36.0s| 80000 | 50818 | 0 | 0.0 | 95M|2816 | - |5645 |9316 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
40.59/40.64 c 39.9s| 90000 | 58795 | 0 | 0.0 | 107M|2816 | - |5645 |8480 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
44.89/44.96 c 44.1s|100000 | 66251 | 0 | 0.0 | 118M|2816 | - |5645 |9092 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
49.50/49.52 c 48.6s|110000 | 73479 | 0 | 0.0 | 129M|2816 | - |5645 |9661 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
54.49/54.52 c 53.5s|120000 | 80378 | 0 | 0.0 | 140M|2816 | - |5645 | 10k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
59.59/59.61 c 58.5s|130000 | 87207 | 0 | 0.0 | 152M|2816 | - |5645 | 10k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
64.80/64.89 c 63.6s|140000 | 93830 | 0 | 0.0 | 163M|2816 | - |5645 | 11k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
70.20/70.28 c 68.9s|150000 |100456 | 0 | 0.0 | 174M|2816 | - |5645 | 12k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
75.69/75.80 c 74.3s|160000 |106988 | 0 | 0.0 | 184M|2816 | - |5645 | 12k| 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
82.40/82.44 c 80.9s|170000 |112108 | 0 | 0.0 | 195M|2816 | - |5645 | 13k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
91.30/91.30 c 89.6s|180000 |114043 | 0 | 0.0 | 206M|2816 | - |5645 | 16k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
95.60/95.66 o 21
95.60/95.66 c *93.9s|184738 |114429 | 0 | 0.0 | 204M|2816 | - |5645 | 12k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
95.60/95.67 o 19
95.60/95.67 c *93.9s|184742 |114154 | 0 | 0.0 | 204M|2816 | - |5645 | 12k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
95.60/95.67 o 18
95.60/95.67 c *93.9s|184743 |114104 | 0 | 0.0 | 204M|2816 | - |5645 | 12k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
98.30/98.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.30/98.33 c 96.5s|190000 |118596 | 0 | 0.0 | 208M|2816 | - |5645 |9212 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
101.60/101.62 o 7
101.60/101.62 c *99.8s|195324 |121666 | 0 | 0.0 | 212M|2816 | - |5645 |9663 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
101.60/101.63 o 5
101.60/101.63 c *99.8s|195325 |121431 | 0 | 0.0 | 212M|2816 | - |5645 |9663 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
105.09/105.12 c 103s|200000 |124878 | 0 | 0.0 | 218M|2816 | - |5645 |8911 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
113.89/113.96 c 112s|210000 |131879 | 0 | 0.0 | 229M|2816 | - |5645 | 11k| 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
128.60/128.61 c 126s|220000 |135972 | 0 | 0.0 | 243M|2816 | - |5645 | 11k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
137.79/137.89 c 136s|230000 |142933 | 0 | 0.0 | 262M|2816 | - |5645 | 12k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
149.09/149.13 c 147s|240000 |149160 | 0 | 0.0 | 317M|2816 | - |5645 | 11k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
159.50/159.57 c 157s|250000 |156428 | 0 | 0.0 | 384M|2816 | - |5645 | 13k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
167.10/167.11 c 164s|260000 |161629 | 0 | 0.0 | 397M|2816 | - |5645 |9209 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
171.39/171.49 c 169s|270000 |169189 | 0 | 0.0 | 406M|2816 | - |5645 |7592 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
176.59/176.61 c 174s|280000 |175948 | 0 | 0.0 | 416M|2816 | - |5645 |7318 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
181.70/181.79 c 179s|290000 |182518 | 0 | 0.0 | 425M|2816 | - |5645 |7237 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
186.90/186.95 c 184s|300000 |189070 | 0 | 0.0 | 434M|2816 | - |5645 |8293 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
190.89/190.95 c 188s|310000 |197010 | 0 | 0.0 | 444M|2816 | - |5645 |7000 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
196.30/196.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.30/196.30 c 193s|320000 |203386 | 0 | 0.0 | 454M|2816 | - |5645 |8980 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
201.19/201.21 c 198s|330000 |210324 | 0 | 0.0 | 462M|2816 | - |5645 |7619 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
206.30/206.35 c 203s|340000 |216979 | 0 | 0.0 | 471M|2816 | - |5645 |7438 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
211.30/211.37 c 208s|350000 |223685 | 0 | 0.0 | 480M|2816 | - |5645 |7427 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
216.40/216.46 c 213s|360000 |230276 | 0 | 0.0 | 490M|2816 | - |5645 |8185 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
220.89/220.98 c 217s|370000 |237505 | 0 | 0.0 | 499M|2816 | - |5645 |8508 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
225.51/225.59 c 222s|380000 |244669 | 0 | 0.0 | 508M|2816 | - |5645 |7945 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
230.30/230.31 c 226s|390000 |251651 | 0 | 0.0 | 517M|2816 | - |5645 |7688 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
234.79/234.86 c 231s|400000 |258727 | 0 | 0.0 | 526M|2816 | - |5645 |7048 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
238.90/238.99 c 235s|410000 |266384 | 0 | 0.0 | 536M|2816 | - |5645 |7683 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
244.50/244.58 c 240s|420000 |272467 | 0 | 0.0 | 545M|2816 | - |5645 |8003 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
249.30/249.38 c 245s|430000 |279310 | 0 | 0.0 | 554M|2816 | - |5645 |8615 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
252.90/252.96 c 249s|440000 |287414 | 0 | 0.0 | 563M|2816 | - |5645 |7078 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
257.00/257.09 c 253s|450000 |294863 | 0 | 0.0 | 572M|2816 | - |5645 |7329 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
261.80/261.80 c 257s|460000 |301848 | 0 | 0.0 | 581M|2816 | - |5645 |7487 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
266.40/266.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.40/266.44 c 262s|470000 |308899 | 0 | 0.0 | 590M|2816 | - |5645 |7719 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
271.80/271.80 c 267s|480000 |315246 | 0 | 0.0 | 599M|2816 | - |5645 |7428 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
275.70/275.75 c 271s|490000 |323076 | 0 | 0.0 | 609M|2816 | - |5645 |7500 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
281.79/281.82 c 277s|500000 |328565 | 0 | 0.0 | 619M|2816 | - |5645 | 10k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
286.39/286.42 c 281s|510000 |335709 | 0 | 0.0 | 628M|2816 | - |5645 |8906 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
290.60/290.68 c 285s|520000 |343183 | 0 | 0.0 | 637M|2816 | - |5645 |7630 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
295.69/295.77 c 290s|530000 |349777 | 0 | 0.0 | 647M|2816 | - |5645 |8022 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
299.90/299.93 c 295s|540000 |357315 | 0 | 0.0 | 656M|2816 | - |5645 |5209 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
303.30/303.39 c 298s|550000 |365494 | 0 | 0.0 | 666M|2816 | - |5645 |5053 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
307.80/307.85 c 302s|560000 |372657 | 0 | 0.0 | 676M|2816 | - |5645 |6416 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
313.00/313.06 c 307s|570000 |379162 | 0 | 0.0 | 686M|2816 | - |5645 |7371 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
318.30/318.39 c 313s|580000 |385535 | 0 | 0.0 | 696M|2816 | - |5645 |7341 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
324.19/324.24 c 318s|590000 |391350 | 0 | 0.0 | 707M|2816 | - |5645 |7381 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
330.60/330.60 c 325s|600000 |396832 | 0 | 0.0 | 718M|2816 | - |5645 |8024 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
336.80/336.88 c 331s|610000 |402364 | 0 | 0.0 | 729M|2816 | - |5645 |8386 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
343.49/343.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.49/343.58 c 337s|620000 |407531 | 0 | 0.0 | 739M|2816 | - |5645 |7557 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
350.29/350.34 c 344s|630000 |412529 | 0 | 0.0 | 749M|2816 | - |5645 |7952 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
357.20/357.26 c 351s|640000 |417364 | 0 | 0.0 | 760M|2816 | - |5645 |7953 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
364.50/364.57 c 358s|650000 |421815 | 0 | 0.0 | 770M|2816 | - |5645 |8069 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
372.00/372.03 c 365s|660000 |426134 | 0 | 0.0 | 781M|2816 | - |5645 |8311 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
379.80/379.84 c 373s|670000 |430158 | 0 | 0.0 | 792M|2816 | - |5645 |8410 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
387.70/387.71 c 381s|680000 |434165 | 0 | 0.0 | 802M|2816 | - |5645 |8480 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
395.60/395.68 c 389s|690000 |437994 | 0 | 0.0 | 813M|2816 | - |5645 |9223 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
404.00/404.03 c 397s|700000 |441483 | 0 | 0.0 | 823M|2816 | - |5645 |9698 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
412.80/412.84 c 406s|710000 |444659 | 0 | 0.0 | 833M|2816 | - |5645 |9737 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
421.59/421.63 c 414s|720000 |447738 | 0 | 0.0 | 843M|2816 | - |5645 |9811 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
430.70/430.74 c 423s|730000 |450479 | 0 | 0.0 | 853M|2816 | - |5645 | 10k| 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
439.90/439.93 c 432s|740000 |453080 | 0 | 0.0 | 862M|2816 | - |5645 | 10k| 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
449.81/449.81 c 442s|750000 |454975 | 0 | 0.0 | 872M|2816 | - |5645 | 10k| 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
460.10/460.14 c 452s|760000 |456389 | 0 | 0.0 | 880M|2816 | - |5645 | 10k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
470.71/470.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.71/470.76 c 463s|770000 |457405 | 0 | 0.0 | 888M|2816 | - |5645 | 10k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
481.71/481.79 c 474s|780000 |458144 | 0 | 0.0 | 897M|2816 | - |5645 | 11k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
493.70/493.71 c 486s|790000 |458391 | 0 | 0.0 | 903M|2816 | - |5645 | 11k| 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
506.50/506.54 c 498s|800000 |458036 | 0 | 0.0 | 908M|2816 | - |5645 | 11k| 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
519.20/519.27 c 511s|810000 |457965 | 0 | 0.0 | 913M|2816 | - |5645 | 11k| 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
533.60/533.68 c 525s|820000 |456694 | 0 | 0.0 | 915M|2816 | - |5645 | 13k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
540.90/540.93 c 532s|830000 |461801 | 0 | 0.0 | 918M|2816 | - |5645 |6177 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
544.70/544.73 c 536s|840000 |469818 | 0 | 0.0 | 927M|2816 | - |5645 |5831 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
548.70/548.74 c 540s|850000 |477537 | 0 | 0.0 | 937M|2816 | - |5645 |6163 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
553.21/553.24 c 544s|860000 |484820 | 0 | 0.0 | 947M|2816 | - |5645 |6461 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
558.10/558.15 c 549s|870000 |491780 | 0 | 0.0 | 958M|2816 | - |5645 |7136 | 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
563.21/563.29 c 554s|880000 |498512 | 0 | 0.0 | 969M|2816 | - |5645 |7866 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
565.10/565.11 o 4
565.10/565.11 c * 556s|883477 |500092 | 0 | 0.0 | 970M|2816 | - |5645 |7935 | 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
569.31/569.34 c 560s|890000 |503982 | 0 | 0.0 | 978M|2816 | - |5645 |8446 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
576.41/576.48 c 567s|900000 |509373 | 0 | 0.0 | 990M|2816 | - |5645 |9065 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
579.50/579.56 o 2
579.50/579.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
579.50/579.56 c * 570s|903962 |490962 | 0 | 0.0 | 969M|2816 | - |5645 |8870 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
585.11/585.16 c 576s|910000 |493693 | 0 | 0.0 | 979M|2816 | - |5645 |8523 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
593.30/593.36 c 584s|920000 |498415 | 0 | 0.0 | 991M|2816 | - |5645 |7514 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
600.40/600.41 c 591s|930000 |503550 | 0 | 0.0 |1000M|2816 | - |5645 |7298 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
606.30/606.38 c 597s|940000 |509669 | 0 | 0.0 |1010M|2816 | - |5645 |7234 | 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
612.10/612.14 c 602s|950000 |516046 | 0 | 0.0 |1020M|2816 | - |5645 |7829 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
617.90/617.98 c 608s|960000 |522466 | 0 | 0.0 |1030M|2816 | - |5645 |8659 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
624.30/624.30 c 614s|970000 |528511 | 0 | 0.0 |1040M|2816 | - |5645 |9662 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
631.11/631.10 c 621s|980000 |534314 | 0 | 0.0 |1051M|2816 | - |5645 | 11k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
639.41/639.40 c 629s|990000 |539178 | 0 | 0.0 |1061M|2816 | - |5645 | 13k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
650.40/650.43 c 640s| 1000k|542485 | 0 | 0.0 |1071M|2816 | - |5645 | 16k| 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
666.01/666.00 c 655s| 1010k|543083 | 0 | 0.0 |1078M|2816 | - |5645 | 20k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
671.50/671.58 c 661s| 1020k|550413 | 0 | 0.0 |1082M|2816 | - |5645 |7416 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
676.21/676.23 c 665s| 1030k|557923 | 0 | 0.0 |1092M|2816 | - |5645 |7229 | 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
681.80/681.81 c 671s| 1040k|564547 | 0 | 0.0 |1102M|2816 | - |5645 |7664 | 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
688.00/688.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.00/688.06 c 677s| 1050k|570658 | 0 | 0.0 |1113M|2816 | - |5645 |8431 | 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
695.11/695.12 c 684s| 1060k|576151 | 0 | 0.0 |1123M|2816 | - |5645 |9562 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
703.31/703.36 c 692s| 1070k|580771 | 0 | 0.0 |1133M|2816 | - |5645 | 11k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
713.01/713.02 c 702s| 1080k|584550 | 0 | 0.0 |1142M|2816 | - |5645 | 13k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
725.51/725.56 c 714s| 1090k|586431 | 0 | 0.0 |1147M|2816 | - |5645 | 12k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
730.71/730.72 c 719s| 1100k|594188 | 0 | 0.0 |1157M|2816 | - |5645 |7704 | 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
736.11/736.11 c 724s| 1110k|601396 | 0 | 0.0 |1168M|2816 | - |5645 |7998 | 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
741.81/741.85 c 730s| 1120k|608294 | 0 | 0.0 |1179M|2816 | - |5645 |8492 | 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
748.10/748.12 c 736s| 1130k|614788 | 0 | 0.0 |1191M|2816 | - |5645 |8842 | 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
755.11/755.19 c 743s| 1140k|620644 | 0 | 0.0 |1203M|2816 | - |5645 |9030 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
762.71/762.78 c 751s| 1150k|626171 | 0 | 0.0 |1215M|2816 | - |5645 |9498 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
770.01/770.07 c 758s| 1160k|632001 | 0 | 0.0 |1227M|2816 | - |5645 |9690 | 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
777.90/777.96 c 765s| 1170k|637251 | 0 | 0.0 |1237M|2816 | - |5645 | 10k| 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
786.21/786.24 c 774s| 1180k|642350 | 0 | 0.0 |1248M|2816 | - |5645 | 10k| 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
795.40/795.43 c 783s| 1190k|647145 | 0 | 0.0 |1257M|2816 | - |5645 |7583 | 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
803.41/803.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.41/803.45 c 791s| 1200k|651454 | 0 | 0.0 |1265M|2816 | - |5645 |8116 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
811.90/811.93 c 799s| 1210k|655284 | 0 | 0.0 |1275M|2816 | - |5645 |9123 | 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
821.81/821.83 c 809s| 1220k|657878 | 0 | 0.0 |1284M|2816 | - |5645 | 10k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
830.91/830.98 c 818s| 1230k|661569 | 0 | 0.0 |1289M|2816 | - |5645 |8056 | 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
835.11/835.14 c 822s| 1240k|669283 | 0 | 0.0 |1299M|2816 | - |5645 |7378 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
839.51/839.52 c 826s| 1250k|676716 | 0 | 0.0 |1308M|2816 | - |5645 |7268 | 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
844.21/844.24 c 831s| 1260k|683713 | 0 | 0.0 |1317M|2816 | - |5645 |7545 | 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
850.10/850.10 c 836s| 1270k|689707 | 0 | 0.0 |1327M|2816 | - |5645 |8151 | 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
857.51/857.52 c 844s| 1280k|694409 | 0 | 0.0 |1337M|2816 | - |5645 |9259 | 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
866.21/866.24 c 852s| 1290k|698031 | 0 | 0.0 |1347M|2816 | - |5645 |9837 | 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
874.61/874.61 c 861s| 1300k|702044 | 0 | 0.0 |1355M|2816 | - |5645 |8255 | 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
880.71/880.75 c 867s| 1310k|707914 | 0 | 0.0 |1364M|2816 | - |5645 |7767 | 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
886.11/886.11 c 872s| 1320k|714466 | 0 | 0.0 |1373M|2816 | - |5645 |7812 | 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
891.91/892.00 c 878s| 1330k|720578 | 0 | 0.0 |1383M|2816 | - |5645 |8378 | 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
898.81/898.85 c 884s| 1340k|725818 | 0 | 0.0 |1394M|2816 | - |5645 |9335 | 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
907.01/907.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.01/907.05 c 892s| 1350k|729998 | 0 | 0.0 |1404M|2816 | - |5645 | 10k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
916.81/916.83 c 902s| 1360k|732854 | 0 | 0.0 |1414M|2816 | - |5645 | 11k| 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
925.61/925.67 c 911s| 1370k|736807 | 0 | 0.0 |1421M|2816 | - |5645 |8200 | 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
930.52/930.52 c 916s| 1380k|744030 | 0 | 0.0 |1430M|2816 | - |5645 |7574 | 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
935.81/935.81 c 921s| 1390k|750789 | 0 | 0.0 |1441M|2816 | - |5645 |8045 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
941.91/941.90 c 927s| 1400k|756786 | 0 | 0.0 |1451M|2816 | - |5645 |8883 | 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
949.02/949.01 c 934s| 1410k|761957 | 0 | 0.0 |1462M|2816 | - |5645 | 10k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
957.82/957.84 c 942s| 1420k|765719 | 0 | 0.0 |1472M|2816 | - |5645 | 12k| 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
968.82/968.89 c 953s| 1430k|768111 | 0 | 0.0 |1479M|2816 | - |5645 | 11k| 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
973.21/973.22 c 958s| 1440k|775937 | 0 | 0.0 |1488M|2816 | - |5645 |7795 | 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
977.51/977.50 c 962s| 1450k|783516 | 0 | 0.0 |1497M|2816 | - |5645 |7321 | 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
982.01/982.05 c 966s| 1460k|790800 | 0 | 0.0 |1506M|2816 | - |5645 |7109 | 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
987.31/987.32 c 971s| 1470k|797420 | 0 | 0.0 |1517M|2816 | - |5645 |7302 | 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
992.91/992.95 c 977s| 1480k|803694 | 0 | 0.0 |1527M|2816 | - |5645 |7931 | 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
999.21/999.26 c 983s| 1490k|809455 | 0 | 0.0 |1537M|2816 | - |5645 |8391 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1006.42/1006.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1006.42/1006.41 c 990s| 1500k|814835 | 0 | 0.0 |1546M|2816 | - |5645 |8752 | 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1013.71/1013.74 c 997s| 1510k|820056 | 0 | 0.0 |1556M|2816 | - |5645 |9546 | 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1021.41/1021.49 c 1005s| 1520k|825102 | 0 | 0.0 |1565M|2816 | - |5645 |9848 | 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1030.11/1030.17 c 1014s| 1530k|829464 | 0 | 0.0 |1574M|2816 | - |5645 | 10k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1040.21/1040.23 c 1023s| 1540k|832894 | 0 | 0.0 |1583M|2816 | - |5645 | 11k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1052.01/1052.06 c 1035s| 1550k|835177 | 0 | 0.0 |1591M|2816 | - |5645 | 13k| 0 | 0 | 0 |1342k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1060.92/1060.92 c 1044s| 1560k|840037 | 0 | 0.0 |1597M|2816 | - |5645 |9341 | 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1065.52/1065.50 c 1048s| 1570k|847697 | 0 | 0.0 |1605M|2816 | - |5645 |8677 | 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1070.22/1070.27 c 1053s| 1580k|855079 | 0 | 0.0 |1614M|2816 | - |5645 |8609 | 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1076.52/1076.57 c 1059s| 1590k|861318 | 0 | 0.0 |1624M|2816 | - |5645 |9240 | 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1083.91/1083.96 c 1067s| 1600k|866686 | 0 | 0.0 |1635M|2816 | - |5645 | 10k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1093.21/1093.23 c 1076s| 1610k|870564 | 0 | 0.0 |1644M|2816 | - |5645 | 11k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1105.42/1105.49 c 1088s| 1620k|872474 | 0 | 0.0 |1651M|2816 | - |5645 | 14k| 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1110.31/1110.32 c 1093s| 1630k|880370 | 0 | 0.0 |1659M|2816 | - |5645 |9089 | 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1114.82/1114.88 c 1097s| 1640k|888029 | 0 | 0.0 |1668M|2816 | - |5645 |8842 | 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1120.72/1120.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.72/1120.74 c 1103s| 1650k|894682 | 0 | 0.0 |1679M|2816 | - |5645 |9362 | 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1127.61/1127.67 c 1110s| 1660k|900512 | 0 | 0.0 |1689M|2816 | - |5645 | 10k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1136.11/1136.18 c 1118s| 1670k|905112 | 0 | 0.0 |1699M|2816 | - |5645 | 11k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1146.62/1146.61 c 1128s| 1680k|908129 | 0 | 0.0 |1709M|2816 | - |5645 | 13k| 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1156.61/1156.66 c 1138s| 1690k|912058 | 0 | 0.0 |1715M|2816 | - |5645 |9628 | 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1161.81/1161.85 c 1143s| 1700k|919345 | 0 | 0.0 |1725M|2816 | - |5645 |9008 | 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1167.72/1167.70 c 1149s| 1710k|925989 | 0 | 0.0 |1735M|2816 | - |5645 |9404 | 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1174.22/1174.26 c 1155s| 1720k|932053 | 0 | 0.0 |1745M|2816 | - |5645 | 10k| 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1182.22/1182.20 c 1163s| 1730k|937022 | 0 | 0.0 |1755M|2816 | - |5645 | 11k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1192.42/1192.47 c 1173s| 1740k|940379 | 0 | 0.0 |1765M|2816 | - |5645 | 13k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1204.12/1204.11 c 1185s| 1750k|943263 | 0 | 0.0 |1771M|2816 | - |5645 | 11k| 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1209.22/1209.27 c 1190s| 1760k|950680 | 0 | 0.0 |1780M|2816 | - |5645 |9175 | 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1214.71/1214.78 c 1195s| 1770k|957625 | 0 | 0.0 |1791M|2816 | - |5645 |9526 | 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1221.12/1221.15 c 1202s| 1780k|963851 | 0 | 0.0 |1801M|2816 | - |5645 | 10k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1228.72/1228.73 c 1209s| 1790k|969148 | 0 | 0.0 |1812M|2816 | - |5645 | 11k| 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1238.12/1238.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.12/1238.17 c 1218s| 1800k|973057 | 0 | 0.0 |1822M|2816 | - |5645 | 12k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1251.12/1251.10 c 1231s| 1810k|974745 | 0 | 0.0 |1831M|2816 | - |5645 | 16k| 0 | 0 | 0 |1546k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1257.23/1257.28 c 1237s| 1820k|981716 | 0 | 0.0 |1838M|2816 | - |5645 |9548 | 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1262.62/1262.66 c 1243s| 1830k|988839 | 0 | 0.0 |1848M|2816 | - |5645 |9466 | 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1268.62/1268.65 c 1248s| 1840k|995338 | 0 | 0.0 |1858M|2816 | - |5645 |9969 | 0 | 0 | 0 |1562k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1275.52/1275.54 c 1255s| 1850k| 1001k| 0 | 0.0 |1869M|2816 | - |5645 | 11k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1283.42/1283.49 c 1263s| 1860k| 1006k| 0 | 0.0 |1879M|2816 | - |5645 | 12k| 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1293.92/1293.91 c 1273s| 1870k| 1009k| 0 | 0.0 |1889M|2816 | - |5645 | 14k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1302.72/1302.71 c 1282s| 1880k| 1014k| 0 | 0.0 |1896M|2816 | - |5645 | 10k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1307.92/1307.94 c 1287s| 1890k| 1021k| 0 | 0.0 |1906M|2816 | - |5645 | 10k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1313.72/1313.73 c 1293s| 1900k| 1028k| 0 | 0.0 |1916M|2816 | - |5645 | 10k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1320.32/1320.30 c 1299s| 1910k| 1034k| 0 | 0.0 |1926M|2816 | - |5645 | 11k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1327.92/1327.91 c 1307s| 1920k| 1039k| 0 | 0.0 |1937M|2816 | - |5645 | 12k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1337.22/1337.22 c 1316s| 1930k| 1044k| 0 | 0.0 |1947M|2816 | - |5645 | 14k| 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1348.42/1348.43 c 1327s| 1940k| 1047k| 0 | 0.0 |1953M|2816 | - |5645 | 12k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1353.62/1353.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.62/1353.69 c 1332s| 1950k| 1055k| 0 | 0.0 |1962M|2816 | - |5645 | 10k| 0 | 0 | 0 |1650k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1358.82/1358.87 c 1337s| 1960k| 1062k| 0 | 0.0 |1972M|2816 | - |5645 | 10k| 0 | 0 | 0 |1655k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1364.22/1364.23 c 1343s| 1970k| 1069k| 0 | 0.0 |1981M|2816 | - |5645 | 10k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1369.82/1369.84 c 1348s| 1980k| 1076k| 0 | 0.0 |1991M|2816 | - |5645 | 10k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1375.83/1375.83 c 1354s| 1990k| 1083k| 0 | 0.0 |2001M|2816 | - |5645 | 10k| 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1381.82/1381.83 c 1360s| 2000k| 1090k| 0 | 0.0 |2010M|2816 | - |5645 | 10k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1388.72/1388.70 c 1367s| 2010k| 1096k| 0 | 0.0 |2020M|2816 | - |5645 | 11k| 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1395.93/1395.91 c 1374s| 2020k| 1102k| 0 | 0.0 |2030M|2816 | - |5645 | 12k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1403.92/1403.98 c 1382s| 2030k| 1107k| 0 | 0.0 |2040M|2816 | - |5645 | 12k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1412.72/1412.77 c 1390s| 2040k| 1112k| 0 | 0.0 |2049M|2816 | - |5645 | 13k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1422.82/1422.88 c 1400s| 2050k| 1116k| 0 | 0.0 |2058M|2816 | - |5645 | 14k| 0 | 0 | 0 |1716k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1433.32/1433.39 c 1411s| 2060k| 1119k| 0 | 0.0 |2067M|2816 | - |5645 | 15k| 0 | 0 | 0 |1727k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1445.62/1445.67 c 1423s| 2070k| 1122k| 0 | 0.0 |2076M|2816 | - |5645 | 17k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1456.72/1456.78 c 1434s| 2080k| 1126k| 0 | 0.0 |2081M|2816 | - |5645 | 13k| 0 | 0 | 0 |1750k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1461.83/1461.89 c 1439s| 2090k| 1134k| 0 | 0.0 |2090M|2816 | - |5645 | 10k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1467.22/1467.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1467.22/1467.23 c 1444s| 2100k| 1141k| 0 | 0.0 |2099M|2816 | - |5645 | 10k| 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1473.32/1473.36 c 1450s| 2110k| 1147k| 0 | 0.0 |2109M|2816 | - |5645 | 11k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1480.12/1480.17 c 1457s| 2120k| 1154k| 0 | 0.0 |2119M|2816 | - |5645 | 12k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1488.13/1488.16 c 1465s| 2130k| 1159k| 0 | 0.0 |2129M|2816 | - |5645 | 13k| 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1498.03/1498.04 c 1474s| 2140k| 1163k| 0 | 0.0 |2138M|2816 | - |5645 | 15k| 0 | 0 | 0 |1793k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1510.02/1510.03 c 1486s| 2150k| 1166k| 0 | 0.0 |2144M|2816 | - |5645 | 14k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1515.63/1515.64 c 1492s| 2160k| 1173k| 0 | 0.0 |2153M|2816 | - |5645 | 10k| 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1521.12/1521.10 c 1497s| 2170k| 1180k| 0 | 0.0 |2163M|2816 | - |5645 | 11k| 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1527.03/1527.04 c 1503s| 2180k| 1187k| 0 | 0.0 |2173M|2816 | - |5645 | 11k| 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1533.73/1533.73 c 1510s| 2190k| 1194k| 0 | 0.0 |2182M|2816 | - |5645 | 11k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1540.23/1540.26 c 1516s| 2200k| 1200k| 0 | 0.0 |2192M|2816 | - |5645 | 11k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1547.13/1547.17 c 1523s| 2210k| 1206k| 0 | 0.0 |2202M|2816 | - |5645 | 11k| 0 | 0 | 0 |1838k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1554.43/1554.44 c 1530s| 2220k| 1211k| 0 | 0.0 |2211M|2816 | - |5645 | 11k| 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1561.02/1561.07 o 1
1561.02/1561.07 c *1537s| 2225k|159661 | 0 | 0.0 | 400M|2816 | - |5645 | 11k| 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1566.53/1566.53 c 1542s| 2230k|160849 | 0 | 0.0 | 405M|2816 | - |5645 | 12k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1578.23/1578.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1578.23/1578.21 c 1554s| 2240k|163616 | 0 | 0.0 | 415M|2816 | - |5645 | 13k| 0 | 0 | 0 |1865k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1590.23/1590.24 c 1565s| 2250k|166455 | 0 | 0.0 | 426M|2816 | - |5645 | 14k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1602.63/1602.61 c 1578s| 2260k|169194 | 0 | 0.0 | 435M|2816 | - |5645 | 13k| 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1615.13/1615.16 c 1590s| 2270k|171763 | 0 | 0.0 | 444M|2816 | - |5645 | 13k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1627.83/1627.89 c 1603s| 2280k|174272 | 0 | 0.0 | 454M|2816 | - |5645 | 14k| 0 | 0 | 0 |1911k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1641.33/1641.33 c 1616s| 2290k|176250 | 0 | 0.0 | 463M|2816 | - |5645 | 15k| 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1655.44/1655.46 c 1630s| 2300k|178011 | 0 | 0.0 | 472M|2816 | - |5645 | 15k| 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1669.63/1669.68 c 1644s| 2310k|179651 | 0 | 0.0 | 479M|2816 | - |5645 | 15k| 0 | 0 | 0 |1949k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1683.73/1683.74 c 1658s| 2320k|181638 | 0 | 0.0 | 488M|2816 | - |5645 | 14k| 0 | 0 | 0 |1961k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1698.73/1698.73 c 1673s| 2330k|182643 | 0 | 0.0 | 496M|2816 | - |5645 | 16k| 0 | 0 | 0 |1975k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1714.33/1714.32 c 1688s| 2340k|183360 | 0 | 0.0 | 503M|2816 | - |5645 | 16k| 0 | 0 | 0 |1990k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1729.03/1729.04 c 1703s| 2350k|185018 | 0 | 0.0 | 511M|2816 | - |5645 | 15k| 0 | 0 | 0 |2003k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1744.73/1744.77 c 1719s| 2360k|185744 | 0 | 0.0 | 518M|2816 | - |5645 | 17k| 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1760.83/1760.86 c 1735s| 2370k|186119 | 0 | 0.0 | 524M|2816 | - |5645 | 16k| 0 | 0 | 0 |2032k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1776.63/1776.60 c 1750s| 2380k|187068 | 0 | 0.0 | 531M|2816 | - |5645 | 16k| 0 | 0 | 0 |2047k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1793.63/1793.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1793.63/1793.67 c 1767s| 2390k|187142 | 0 | 0.0 | 538M|2816 | - |5645 | 17k| 0 | 0 | 0 |2062k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1773.47
1800.03/1800.00 c Solving Nodes : 2394204
1800.03/1800.00 c Primal Bound : +1.00000000000000e+00 (49 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.06 s SATISFIABLE
1800.03/1800.06 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.03/1800.06 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.06 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.03/1800.06 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.06 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.03/1800.06 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104
1800.03/1800.06 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.03/1800.06 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.03/1800.06 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.03/1800.06 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.03/1800.06 v -x1
1800.03/1800.06 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.06 c Solving Time : 1773.47
1800.03/1800.06 c Original Problem :
1800.03/1800.06 c Problem name : HOME/instance-2693635-1277927799.wbo
1800.03/1800.06 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.06 c Constraints : 5415 initial, 5415 maximal
1800.03/1800.06 c Presolved Problem :
1800.03/1800.06 c Problem name : t_HOME/instance-2693635-1277927799.wbo
1800.03/1800.06 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.06 c Constraints : 5414 initial, 20327 maximal
1800.03/1800.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.06 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.06 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.06 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.06 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.06 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.06 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.03/1800.06 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.06 c root node : - 2679 - - 5358 - - - -
1800.03/1800.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.06 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.06 c indicator : 2707 0 5459551 0 1515988 27 2449134 0 0 0
1800.03/1800.06 c linear : 2707 0 7748813 0 1986271 579465 47246285 0 0 0
1800.03/1800.06 c logicor : 0+ 0 3800315 0 0 80184 2241086 0 0 0
1800.03/1800.06 c countsols : 0 0 0 0 1986297 0 0 0 0 0
1800.03/1800.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.06 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.06 c indicator : 12.49 0.00 6.39 0.00 6.10
1800.03/1800.06 c linear : 470.27 0.00 468.35 0.00 1.92
1800.03/1800.06 c logicor : 252.47 0.00 252.47 0.00 0.00
1800.03/1800.06 c countsols : 0.41 0.00 0.00 0.00 0.41
1800.03/1800.06 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.06 c vbounds : 1.96 2 0 0
1800.03/1800.06 c rootredcost : 1.87 0 0 0
1800.03/1800.06 c pseudoobj : 370.11 7749683 772 2431647
1800.03/1800.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.06 c propagation : 35.84 660421 660421 3139452 20.2 338229 11.5 -
1800.03/1800.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.06 c pseudo solution : 0.01 42 42 169 36.9 173 9.3 -
1800.03/1800.06 c applied globally : - - - 2068043 18.1 - - -
1800.03/1800.06 c applied locally : - - - 2 314.5 - - -
1800.03/1800.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.06 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.06 c redcost : 0.00 0 0 0 0 0
1800.03/1800.06 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.06 c intobj : 0.00 0 0 0 0 0
1800.03/1800.06 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.06 c gomory : 0.00 0 0 0 0 0
1800.03/1800.06 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.06 c cmir : 0.00 0 0 0 0 0
1800.03/1800.06 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.06 c clique : 0.00 0 0 0 0 0
1800.03/1800.06 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.06 c mcf : 0.00 0 0 0 0 0
1800.03/1800.06 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.06 c Pricers : Time Calls Vars
1800.03/1800.06 c problem variables: 0.00 0 0
1800.03/1800.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.06 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.06 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.06 c inference : 33.36 1986251 0 0 0 0 3972502
1800.03/1800.06 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.06 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.06 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.06 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.06 c random : 0.00 0 0 0 0 0 0
1800.03/1800.06 c Primal Heuristics : Time Calls Found
1800.03/1800.06 c LP solutions : 0.00 - 0
1800.03/1800.06 c pseudo solutions : 2.98 - 46
1800.03/1800.06 c oneopt : 0.91 0 0
1800.03/1800.06 c trivial : 0.08 2 2
1800.03/1800.06 c simplerounding : 0.00 0 0
1800.03/1800.06 c zirounding : 0.00 0 0
1800.03/1800.06 c rounding : 0.00 0 0
1800.03/1800.06 c shifting : 0.00 0 0
1800.03/1800.06 c intshifting : 0.00 0 0
1800.03/1800.06 c twoopt : 0.00 0 0
1800.03/1800.06 c fixandinfer : 0.00 0 0
1800.03/1800.06 c feaspump : 0.00 0 0
1800.03/1800.06 c coefdiving : 0.00 0 0
1800.03/1800.06 c pscostdiving : 0.00 0 0
1800.03/1800.06 c fracdiving : 0.00 0 0
1800.03/1800.06 c veclendiving : 0.00 0 0
1800.03/1800.06 c intdiving : 0.00 0 0
1800.03/1800.06 c actconsdiving : 0.00 0 0
1800.03/1800.06 c objpscostdiving : 0.00 0 0
1800.03/1800.06 c rootsoldiving : 0.00 0 0
1800.03/1800.06 c linesearchdiving : 0.00 0 0
1800.03/1800.06 c guideddiving : 0.00 0 0
1800.03/1800.06 c octane : 0.00 0 0
1800.03/1800.06 c rens : 0.00 0 0
1800.03/1800.06 c rins : 0.00 0 0
1800.03/1800.06 c localbranching : 0.00 0 0
1800.03/1800.06 c mutation : 0.00 0 0
1800.03/1800.06 c crossover : 0.00 0 0
1800.03/1800.06 c dins : 0.00 0 0
1800.03/1800.06 c undercover : 0.00 0 0
1800.03/1800.06 c nlp : 0.55 0 0
1800.03/1800.06 c trysol : 0.56 1 1
1800.03/1800.06 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.06 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.06 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.06 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.06 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.06 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.06 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.06 c (at root node) : - 0 0 0.00 -
1800.03/1800.06 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.06 c B&B Tree :
1800.03/1800.06 c number of runs : 1
1800.03/1800.06 c nodes : 2394204
1800.03/1800.06 c nodes (total) : 2394204
1800.03/1800.06 c nodes left : 187803
1800.03/1800.06 c max depth : 2816
1800.03/1800.06 c max depth (total): 2816
1800.03/1800.06 c backtracks : 362725 (15.2%)
1800.03/1800.06 c delayed cutoffs : 295271
1800.03/1800.06 c repropagations : 1410183 (15705666 domain reductions, 252583 cutoffs)
1800.03/1800.06 c avg switch length: 35.00
1800.03/1800.06 c switching time : 510.72
1800.03/1800.06 c Solution :
1800.03/1800.06 c Solutions found : 49 (47 improvements)
1800.03/1800.06 c First Solution : +1.37945000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.06 c Primal Bound : +1.00000000000000e+00 (in run 1, after 2225118 nodes, 1533.65 seconds, depth 2377, found by <relaxation>)
1800.03/1800.06 c Dual Bound : +0.00000000000000e+00
1800.03/1800.06 c Gap : infinite
1800.03/1800.06 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.06 c Root Iterations : 0
1800.93/1800.92 c Time complete: 1800.96.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693635-1277927799/watcher-2693635-1277927799 -o /tmp/evaluation-result-2693635-1277927799/solver-2693635-1277927799 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693635-1277927799.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.98 1.99 4/178 18571 /proc/meminfo: memFree=30696932/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=8604 CPUtime=0 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 1636 0 0 0 0 0 0 0 25 0 1 0 134074343 8810496 1559 4089446400 4194304 7136930 140734148500704 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/18571/statm: 2151 1559 275 719 0 1430 0 [startup+0.024616 s] /proc/loadavg: 1.99 1.98 1.99 4/178 18571 /proc/meminfo: memFree=30696932/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=14280 CPUtime=0.02 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 3077 0 0 0 2 0 0 0 25 0 1 0 134074343 14622720 3000 4089446400 4194304 7136930 140734148500704 18446744073709551615 4240582 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/18571/statm: 3610 3008 275 719 0 2889 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14280 [startup+0.100599 s] /proc/loadavg: 1.99 1.98 1.99 4/178 18571 /proc/meminfo: memFree=30696932/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=33680 CPUtime=0.09 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 134074343 34488320 7536 4089446400 4194304 7136930 140734148500704 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 8420 7536 323 719 0 7699 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33680 [startup+0.300566 s] /proc/loadavg: 1.99 1.98 1.99 4/178 18571 /proc/meminfo: memFree=30696932/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=36500 CPUtime=0.29 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 9241 0 0 0 28 1 0 0 25 0 1 0 134074343 37376000 8296 4089446400 4194304 7136930 140734148500704 18446744073709551615 4414774 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 9125 8296 383 719 0 8404 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36500 [startup+0.700501 s] /proc/loadavg: 1.99 1.98 1.99 4/178 18571 /proc/meminfo: memFree=30696932/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=37640 CPUtime=0.69 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 9516 0 0 0 68 1 0 0 25 0 1 0 134074343 38543360 8571 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 9410 8571 383 719 0 8689 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37640 [startup+1.50035 s] /proc/loadavg: 1.99 1.98 1.99 3/179 18572 /proc/meminfo: memFree=30661832/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=42940 CPUtime=1.49 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 10853 0 0 0 146 3 0 0 25 0 1 0 134074343 43970560 9908 4089446400 4194304 7136930 140734148500704 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 10735 9908 390 719 0 10014 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42940 [startup+3.10108 s] /proc/loadavg: 1.99 1.98 1.99 3/179 18572 /proc/meminfo: memFree=30656872/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=44640 CPUtime=3.09 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 11280 0 0 0 304 5 0 0 25 0 1 0 134074343 45711360 10335 4089446400 4194304 7136930 140734148500704 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 11160 10335 390 719 0 10439 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44640 [startup+6.30048 s] /proc/loadavg: 1.99 1.98 1.99 3/179 18572 /proc/meminfo: memFree=30647028/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=58004 CPUtime=6.29 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 14580 0 0 0 617 12 0 0 25 0 1 0 134074343 59396096 13635 4089446400 4194304 7136930 140734148500704 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 14501 13635 390 719 0 13780 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 58004 [startup+12.7004 s] /proc/loadavg: 1.99 1.98 1.99 3/179 18572 /proc/meminfo: memFree=30622392/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=78384 CPUtime=12.69 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 19615 0 0 0 1244 25 0 0 25 0 1 0 134074343 80265216 18670 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 19596 18670 390 719 0 18875 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 78384 [startup+25.5011 s] /proc/loadavg: 1.99 1.98 1.99 3/179 18573 /proc/meminfo: memFree=30581232/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=120688 CPUtime=25.49 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 29832 0 0 0 2507 42 0 0 25 0 1 0 134074343 123584512 28887 4089446400 4194304 7136930 140734148500704 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 30172 28887 391 719 0 29451 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 120688 [startup+51.1006 s] /proc/loadavg: 1.99 1.98 1.99 3/179 18574 /proc/meminfo: memFree=30501276/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=205756 CPUtime=51.09 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 49722 0 0 0 5013 96 0 0 25 0 1 0 134074343 210694144 48777 4089446400 4194304 7136930 140734148500704 18446744073709551615 4209068 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 51439 48777 391 719 0 50718 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 205756 [startup+102.307 s] /proc/loadavg: 2.06 2.00 2.00 3/179 18575 /proc/meminfo: memFree=30399416/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=305500 CPUtime=102.3 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 74628 0 0 0 10049 181 0 0 25 0 1 0 134074343 312832000 73683 4089446400 4194304 7136930 140734148500704 18446744073709551615 5957710 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 76375 73683 391 719 0 75654 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 305500 [startup+162.301 s] /proc/loadavg: 2.07 2.01 2.00 3/179 18576 /proc/meminfo: memFree=30223164/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=501180 CPUtime=162.3 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 118172 0 0 0 15977 253 0 0 25 0 1 0 134074343 513208320 117227 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 125295 117227 391 719 0 124574 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 501180 [startup+222.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 18578 /proc/meminfo: memFree=30099720/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=626256 CPUtime=222.29 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 148616 0 0 0 21856 373 0 0 25 0 1 0 134074343 641286144 147671 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 156564 147671 391 719 0 155843 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 626256 [startup+282.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 18589 /proc/meminfo: memFree=29973500/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=748740 CPUtime=282.29 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 179570 0 0 0 27727 502 0 0 25 0 1 0 134074343 766709760 178625 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 187185 178625 391 719 0 186464 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 748740 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18591 /proc/meminfo: memFree=29849812/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=870720 CPUtime=342.29 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 210188 0 0 0 33617 612 0 0 25 0 1 0 134074343 891617280 209243 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 217680 209243 391 719 0 216959 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 870720 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18592 /proc/meminfo: memFree=29764952/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=957664 CPUtime=402.3 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 232006 0 0 0 39536 694 0 0 25 0 1 0 134074343 980647936 231061 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 239416 231061 391 719 0 238695 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 957664 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18593 /proc/meminfo: memFree=29696820/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=1023288 CPUtime=462.3 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 248351 0 0 0 45464 766 0 0 25 0 1 0 134074343 1047846912 247406 4089446400 4194304 7136930 140734148500704 18446744073709551615 4948361 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 255822 247406 391 719 0 255101 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1023288 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18595 /proc/meminfo: memFree=29663672/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=1056848 CPUtime=522.3 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 256658 0 0 0 51399 831 0 0 25 0 1 0 134074343 1082212352 255713 4089446400 4194304 7136930 140734148500704 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 264212 255713 391 719 0 263491 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1056848 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18597 /proc/meminfo: memFree=29580040/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=1147812 CPUtime=582.3 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 277632 0 0 0 57292 938 0 0 25 0 1 0 134074343 1175359488 276687 4089446400 4194304 7136930 140734148500704 18446744073709551615 4661498 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 286953 276687 391 719 0 286232 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1147812 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18599 /proc/meminfo: memFree=29509056/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=1219016 CPUtime=642.31 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 295324 0 0 0 63195 1036 0 0 25 0 1 0 134074343 1248272384 294379 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 304754 294379 391 719 0 304033 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1219016 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 2.54 2.17 2.05 4/200 18683 /proc/meminfo: memFree=29290080/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=1774164 CPUtime=1002.32 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 431757 0 0 0 98611 1621 0 0 25 0 1 0 134074343 1816743936 430812 4089446400 4194304 7136930 140734148500704 18446744073709551615 4978306 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 443541 430812 391 719 0 442820 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1774164 [startup+1062.3 s] /proc/loadavg: 2.61 2.25 2.09 4/200 18684 /proc/meminfo: memFree=29222564/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=1828644 CPUtime=1062.31 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 445496 0 0 0 104527 1704 0 0 25 0 1 0 134074343 1872531456 444551 4089446400 4194304 7136930 140734148500704 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 457161 444551 391 719 0 456440 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1828644 [startup+1122.3 s] /proc/loadavg: 2.82 2.37 2.14 4/200 18686 /proc/meminfo: memFree=29129356/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=1911616 CPUtime=1122.31 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 466422 0 0 0 110436 1795 0 0 25 0 1 0 134074343 1957494784 465477 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 477904 465477 391 719 0 477183 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1911616 [startup+1182.3 s] /proc/loadavg: 2.86 2.46 2.18 3/200 18688 /proc/meminfo: memFree=29052032/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=1979044 CPUtime=1182.32 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 483375 0 0 0 116343 1889 0 0 25 0 1 0 134074343 2026541056 482430 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 494761 482430 391 719 0 494040 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1979044 [startup+1242.3 s] /proc/loadavg: 2.91 2.55 2.23 4/200 18690 /proc/meminfo: memFree=28973248/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=2049008 CPUtime=1242.32 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 500978 0 0 0 122253 1979 0 0 25 0 1 0 134074343 2098184192 500033 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 512252 500033 391 719 0 511531 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 2049008 [startup+1302.3 s] /proc/loadavg: 2.93 2.62 2.27 4/200 18691 /proc/meminfo: memFree=28894912/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=2134580 CPUtime=1302.32 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 518310 0 0 0 128165 2067 0 0 25 0 1 0 134074343 2185809920 517365 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 533645 517365 391 719 0 532924 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 2134580 [startup+1362.3 s] /proc/loadavg: 2.77 2.62 2.29 4/200 18692 /proc/meminfo: memFree=28801348/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=2219644 CPUtime=1362.33 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 539822 0 0 0 134072 2161 0 0 25 0 1 0 134074343 2272915456 538877 4089446400 4194304 7136930 140734148500704 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 554911 538877 391 719 0 554190 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2219644 [startup+1422.31 s] /proc/loadavg: 2.75 2.64 2.31 8/200 18694 /proc/meminfo: memFree=28716724/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=2298344 CPUtime=1422.33 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 559672 0 0 0 139983 2250 0 0 25 0 1 0 134074343 2353504256 558727 4089446400 4194304 7136930 140734148500704 18446744073709551615 4221902 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 574586 558727 391 719 0 573865 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2298344 [startup+1482.3 s] /proc/loadavg: 2.79 2.68 2.34 3/200 18696 /proc/meminfo: memFree=28650552/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=2358792 CPUtime=1482.33 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 575019 0 0 0 145896 2337 0 0 25 0 1 0 134074343 2415403008 574074 4089446400 4194304 7136930 140734148500704 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 589698 574074 391 719 0 588977 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2358792 [startup+1542.3 s] /proc/loadavg: 2.70 2.67 2.36 4/200 18698 /proc/meminfo: memFree=28571224/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=2433528 CPUtime=1542.32 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 593926 0 0 0 151805 2427 0 0 25 0 1 0 134074343 2491932672 592981 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 608382 592981 391 719 0 607661 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2433528 [startup+1602.3 s] /proc/loadavg: 2.77 2.68 2.38 3/200 18699 /proc/meminfo: memFree=28627432/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=2372100 CPUtime=1602.33 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 598329 0 0 0 157739 2494 0 0 25 0 1 0 134074343 2429030400 577686 4089446400 4194304 7136930 140734148500704 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 593025 577686 391 719 0 592304 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2372100 [startup+1662.3 s] /proc/loadavg: 3.22 2.87 2.46 4/200 18701 /proc/meminfo: memFree=28624524/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=2372100 CPUtime=1662.32 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 598347 0 0 0 163687 2545 0 0 25 0 1 0 134074343 2429030400 577704 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 593025 577704 391 719 0 592304 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 2372100 [startup+1722.3 s] /proc/loadavg: 2.88 2.83 2.47 4/200 18702 /proc/meminfo: memFree=28619980/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=2372100 CPUtime=1722.33 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 598352 0 0 0 169638 2595 0 0 25 0 1 0 134074343 2429030400 577709 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 593025 577709 391 719 0 592304 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2372100 [startup+1782.3 s] /proc/loadavg: 2.91 2.84 2.50 4/200 18704 /proc/meminfo: memFree=28616192/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=2372100 CPUtime=1782.33 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 598352 0 0 0 175592 2641 0 0 25 0 1 0 134074343 2429030400 577709 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 593025 577709 391 719 0 592304 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2372100 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.78 2.82 2.50 4/200 18704 /proc/meminfo: memFree=28615416/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=2371584 CPUtime=1800.03 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 598352 0 0 0 177350 2653 0 0 25 0 1 0 134074343 2428502016 577580 4089446400 4194304 7136930 140734148500704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18571/statm: 592896 577580 391 719 0 592175 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2371584 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.78 2.82 2.50 4/201 18705 /proc/meminfo: memFree=28739532/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=2243748 CPUtime=1800.64 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 598360 0 0 0 177410 2654 0 0 18 0 1 0 134074343 2297597952 545666 4089446400 4194304 7136930 140734148500704 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/18571/statm: 560937 545666 397 719 0 560216 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 2243748 [startup+1800.8 s] /proc/loadavg: 2.78 2.82 2.50 4/201 18705 /proc/meminfo: memFree=28739532/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=1816704 CPUtime=1800.83 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 598360 0 0 0 177427 2656 0 0 18 0 1 0 134074343 1860304896 438973 4089446400 4194304 7136930 140734148500704 18446744073709551615 4212288 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/18571/statm: 454176 438973 397 719 0 453455 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 1816704 [startup+1800.9 s] /proc/loadavg: 2.78 2.82 2.50 4/201 18705 /proc/meminfo: memFree=28739532/32951124 swapFree=67111528/67111528 [pid=18571] ppid=18569 vsize=557876 CPUtime=1800.93 /proc/18571/stat : 18571 (pbscip.linux.x8) R 18569 18571 18418 0 -1 4202496 598404 0 0 0 177433 2660 0 0 19 0 1 0 134074343 571265024 132176 4089446400 4194304 7136930 140734148500704 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/18571/statm: 139213 131664 397 719 0 138492 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (KiB) 557876 Child status: 0 Real time (s): 1800.93 CPU time (s): 1800.97 CPU user time (s): 1774.35 CPU system time (s): 26.622 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2450976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1774.35 system time used= 26.622 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 598411 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= 4 involuntary context switches= 1954 runsolver used 3.17452 second user time and 6.21305 second system time The end
Begin job on node140 at 2010-06-30 21:56:39 IDJOB=2693635 IDBENCH=79282 IDSOLVER=1206 FILE ID=node140/2693635-1277927799 PBS_JOBID= 11197366 Free space on /tmp= 74196 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.1900546417--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-2693635-1277927799/watcher-2693635-1277927799 -o /tmp/evaluation-result-2693635-1277927799/solver-2693635-1277927799 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693635-1277927799.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0e9942c7ddaaf04ff12871ed1ee37357 RANDOM SEED=541006669 node140.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.790 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 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.790 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 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.89 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.790 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 : 5421.15 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.790 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30697460 kB Buffers: 209072 kB Cached: 1286768 kB SwapCached: 0 kB Active: 1368516 kB Inactive: 740956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30697460 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3144 kB Writeback: 0 kB AnonPages: 613448 kB Mapped: 17424 kB Slab: 81036 kB PageTables: 5600 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 802704 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= 74196 MiB End job on node140 at 2010-06-30 22:26:41