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.12 | 1802.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo |
| MD5SUM | 125243b279b6e24b77d57dd07a5f7014 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 13 |
| Best CPU time to get the best result obtained on this benchmark | 247.27 |
| 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 | 937 |
| 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 | 46894 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46893 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 815 |
| 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-2694175-1277909277.wbo>
0.01/0.02 c original problem has 2105 variables (1168 bin, 0 int, 0 impl, 937 cont) and 3645 constraints
0.01/0.02 c problem read
0.01/0.02 c presolving settings loaded
0.01/0.02 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.01/0.04 c presolving:
0.01/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1151 impls, 14 clqs
0.01/0.07 c (round 2) 0 del vars, 113 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 1151 impls, 14 clqs
0.01/0.09 c (round 3) 49 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.10 c (round 4) 98 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.14 c (0.1s) probing: 101/1119 (9.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 98 deleted vars, 162 deleted constraints, 937 tightened bounds, 0 added holes, 49 changed sides, 0 changed coefficients
0.09/0.14 c 1151 implications, 14 cliques
0.09/0.14 c presolved problem has 2007 variables (1119 bin, 0 int, 0 impl, 888 cont) and 3483 constraints
0.09/0.14 c 888 constraints of type <indicator>
0.09/0.14 c 14 constraints of type <setppc>
0.09/0.14 c 888 constraints of type <linear>
0.09/0.14 c 1693 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.10
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 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.14 c 0.1s| 1 | 2 | 0 | - |7684k| 0 | - |2007 |3483 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.06 o 433
1.00/1.06 c * 0.9s| 3822 | 3354 | 0 | 0.0 | 10M|1076 | - |2007 |4111 | 0 | 0 | 0 | 925 | 0 | 0.000000e+00 | 4.330000e+02 | Inf
2.69/2.77 c 2.5s| 10000 | 8430 | 0 | 0.0 | 14M|1076 | - |2007 |4781 | 0 | 0 | 0 |3768 | 0 | 0.000000e+00 | 4.330000e+02 | Inf
6.08/6.14 c 5.6s| 20000 | 15251 | 0 | 0.0 | 22M|1076 | - |2007 |6017 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 4.330000e+02 | Inf
7.18/7.21 o 414
7.18/7.21 c * 6.6s| 21996 | 15861 | 0 | 0.0 | 23M|1076 | - |2007 |6596 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.140000e+02 | Inf
7.18/7.21 o 373
7.18/7.21 c * 6.6s| 21997 | 15858 | 0 | 0.0 | 23M|1076 | - |2007 |6596 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.730000e+02 | Inf
7.49/7.53 o 352
7.49/7.53 c * 6.9s| 23031 | 16813 | 0 | 0.0 | 24M|1076 | - |2007 |5989 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.520000e+02 | Inf
7.49/7.53 o 298
7.49/7.53 c * 6.9s| 23032 | 16792 | 0 | 0.0 | 24M|1076 | - |2007 |5989 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.980000e+02 | Inf
7.79/7.81 o 277
7.79/7.81 c * 7.1s| 23894 | 17589 | 0 | 0.0 | 24M|1076 | - |2007 |5636 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.770000e+02 | Inf
7.79/7.81 o 273
7.79/7.81 c * 7.1s| 23895 | 17588 | 0 | 0.0 | 24M|1076 | - |2007 |5636 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.730000e+02 | Inf
7.79/7.87 o 250
7.79/7.87 c * 7.2s| 24085 | 17699 | 0 | 0.0 | 24M|1076 | - |2007 |5583 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.500000e+02 | Inf
7.99/8.02 o 248
7.99/8.02 c * 7.3s| 24569 | 18150 | 0 | 0.0 | 24M|1076 | - |2007 |5526 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
8.19/8.29 o 246
8.19/8.29 c * 7.6s| 25491 | 19015 | 0 | 0.0 | 25M|1076 | - |2007 |5413 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.460000e+02 | Inf
8.19/8.30 o 242
8.19/8.30 c * 7.6s| 25492 | 18988 | 0 | 0.0 | 25M|1076 | - |2007 |5413 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
8.49/8.58 o 209
8.49/8.58 c * 7.8s| 26372 | 19668 | 0 | 0.0 | 26M|1076 | - |2007 |5461 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.090000e+02 | Inf
8.79/8.87 o 195
8.79/8.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.79/8.87 c * 8.1s| 27261 | 20467 | 0 | 0.0 | 26M|1076 | - |2007 |5141 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.950000e+02 | Inf
8.79/8.87 o 173
8.79/8.87 c * 8.1s| 27278 | 20378 | 0 | 0.0 | 26M|1076 | - |2007 |5141 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
8.79/8.87 o 138
8.79/8.87 c * 8.1s| 27279 | 20202 | 0 | 0.0 | 26M|1076 | - |2007 |5141 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
8.99/9.04 o 132
8.99/9.04 c * 8.3s| 27789 | 20657 | 0 | 0.0 | 26M|1076 | - |2007 |5049 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.320000e+02 | Inf
8.99/9.04 o 89
8.99/9.04 c * 8.3s| 27790 | 19353 | 0 | 0.0 | 25M|1076 | - |2007 |5049 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
8.99/9.08 o 59
8.99/9.08 c * 8.3s| 27908 | 18928 | 0 | 0.0 | 25M|1076 | - |2007 |5032 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
9.08/9.11 o 50
9.08/9.11 c * 8.3s| 28008 | 18897 | 0 | 0.0 | 25M|1076 | - |2007 |5019 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
9.08/9.11 o 31
9.08/9.11 c * 8.3s| 28009 | 18481 | 0 | 0.0 | 25M|1076 | - |2007 |5019 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
9.69/9.72 c 8.9s| 30000 | 20173 | 0 | 0.0 | 29M|1076 | - |2007 |4838 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
12.79/12.80 c 11.7s| 40000 | 27960 | 0 | 0.0 | 41M|1076 | - |2007 |6034 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
16.19/16.21 c 14.8s| 50000 | 35137 | 0 | 0.0 | 48M|1076 | - |2007 |6804 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
19.79/19.82 c 18.1s| 60000 | 42029 | 0 | 0.0 | 55M|1076 | - |2007 |7493 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
23.59/23.68 c 21.6s| 70000 | 48557 | 0 | 0.0 | 63M|1076 | - |2007 |7822 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
27.99/28.08 c 25.7s| 80000 | 54118 | 0 | 0.0 | 70M|1076 | - |2007 |8101 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
33.19/33.28 c 30.6s| 90000 | 58492 | 0 | 0.0 | 77M|1076 | - |2007 |8820 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
39.29/39.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.29/39.39 c 36.3s|100000 | 61703 | 0 | 0.0 | 85M|1076 | - |2007 |9747 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
46.79/46.84 c 43.4s|110000 | 63302 | 0 | 0.0 | 91M|1076 | - |2007 | 12k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
51.19/51.25 c 47.5s|120000 | 70326 | 0 | 0.0 | 99M|1076 | - |2007 |5199 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
55.09/55.16 c 51.1s|130000 | 78080 | 0 | 0.0 | 109M|1076 | - |2007 |6336 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
59.89/59.92 c 55.5s|140000 | 84890 | 0 | 0.0 | 121M|1076 | - |2007 |8258 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
64.49/64.57 c 59.9s|150000 | 91970 | 0 | 0.0 | 131M|1076 | - |2007 |7236 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
68.99/69.05 c 64.0s|160000 | 98711 | 0 | 0.0 | 143M|1076 | - |2007 |8814 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
72.19/72.28 c 67.0s|170000 |107030 | 0 | 0.0 | 150M|1076 | - |2007 |7539 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
75.99/76.01 c 70.5s|180000 |114715 | 0 | 0.0 | 158M|1076 | - |2007 |7368 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
79.40/79.49 c 73.6s|190000 |122684 | 0 | 0.0 | 166M|1076 | - |2007 |8533 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
82.99/83.07 c 76.9s|200000 |130401 | 0 | 0.0 | 174M|1076 | - |2007 |9487 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
87.39/87.40 c 80.8s|210000 |137284 | 0 | 0.0 | 183M|1076 | - |2007 |9071 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
91.39/91.48 c 84.6s|220000 |144422 | 0 | 0.0 | 190M|1076 | - |2007 | 10k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
95.39/95.48 c 88.3s|230000 |151679 | 0 | 0.0 | 197M|1076 | - |2007 | 11k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
99.29/99.35 c 91.9s|240000 |159260 | 0 | 0.0 | 204M|1076 | - |2007 |7887 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
103.40/103.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.40/103.46 c 95.7s|250000 |165816 | 0 | 0.0 | 211M|1076 | - |2007 |9107 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
108.59/108.64 c 101s|260000 |171018 | 0 | 0.0 | 218M|1076 | - |2007 |9753 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
113.99/114.00 c 106s|270000 |176208 | 0 | 0.0 | 224M|1076 | - |2007 | 10k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
119.69/119.72 c 111s|280000 |180994 | 0 | 0.0 | 231M|1076 | - |2007 | 11k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
125.69/125.76 c 117s|290000 |185642 | 0 | 0.0 | 238M|1076 | - |2007 | 11k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
131.79/131.84 c 123s|300000 |190055 | 0 | 0.0 | 244M|1076 | - |2007 | 11k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
138.19/138.29 c 129s|310000 |194162 | 0 | 0.0 | 251M|1076 | - |2007 | 11k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
144.90/144.95 c 135s|320000 |197858 | 0 | 0.0 | 257M|1076 | - |2007 | 12k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
151.09/151.10 c 141s|330000 |202076 | 0 | 0.0 | 263M|1076 | - |2007 | 12k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
157.99/158.08 c 148s|340000 |204792 | 0 | 0.0 | 268M|1076 | - |2007 | 12k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
165.50/165.57 c 155s|350000 |206743 | 0 | 0.0 | 273M|1076 | - |2007 | 12k| 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
173.89/173.98 c 163s|360000 |207549 | 0 | 0.0 | 278M|1076 | - |2007 | 13k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
182.90/182.91 c 171s|370000 |207344 | 0 | 0.0 | 282M|1076 | - |2007 | 14k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
193.60/193.65 c 182s|380000 |203757 | 0 | 0.0 | 280M|1076 | - |2007 | 15k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
202.50/202.56 c 190s|390000 |202631 | 0 | 0.0 | 273M|1076 | - |2007 |7659 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
206.40/206.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.40/206.45 c 194s|400000 |210751 | 0 | 0.0 | 280M|1076 | - |2007 |7010 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
210.30/210.35 c 197s|410000 |218731 | 0 | 0.0 | 288M|1076 | - |2007 |7056 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
214.19/214.23 c 201s|420000 |226678 | 0 | 0.0 | 295M|1076 | - |2007 |7039 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
218.00/218.02 c 204s|430000 |234698 | 0 | 0.0 | 303M|1076 | - |2007 |7272 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
221.80/221.87 c 208s|440000 |242628 | 0 | 0.0 | 311M|1076 | - |2007 |7773 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
225.79/225.81 c 211s|450000 |250540 | 0 | 0.0 | 319M|1076 | - |2007 |8034 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
229.90/229.98 c 215s|460000 |258210 | 0 | 0.0 | 327M|1076 | - |2007 |7913 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
234.10/234.20 c 219s|470000 |265854 | 0 | 0.0 | 335M|1076 | - |2007 |8205 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
238.40/238.45 c 223s|480000 |273449 | 0 | 0.0 | 343M|1076 | - |2007 |8704 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
242.70/242.78 c 227s|490000 |281008 | 0 | 0.0 | 351M|1076 | - |2007 |8922 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
247.19/247.25 c 231s|500000 |288553 | 0 | 0.0 | 360M|1076 | - |2007 |9323 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
251.90/251.99 c 236s|510000 |295847 | 0 | 0.0 | 369M|1076 | - |2007 |9436 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
257.09/257.17 c 240s|520000 |302741 | 0 | 0.0 | 379M|1076 | - |2007 |9899 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
262.30/262.30 c 245s|530000 |309656 | 0 | 0.0 | 389M|1076 | - |2007 | 10k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
267.79/267.80 c 250s|540000 |316316 | 0 | 0.0 | 400M|1076 | - |2007 | 10k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
273.70/273.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.70/273.76 c 256s|550000 |322554 | 0 | 0.0 | 410M|1076 | - |2007 | 11k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
280.40/280.46 c 262s|560000 |328274 | 0 | 0.0 | 422M|1076 | - |2007 | 11k| 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
287.50/287.54 c 269s|570000 |333628 | 0 | 0.0 | 434M|1076 | - |2007 | 11k| 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
294.70/294.80 c 276s|580000 |338899 | 0 | 0.0 | 446M|1076 | - |2007 | 12k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
302.40/302.42 c 283s|590000 |343849 | 0 | 0.0 | 458M|1076 | - |2007 | 12k| 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
309.30/309.33 c 290s|600000 |349502 | 0 | 0.0 | 467M|1076 | - |2007 | 10k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
314.60/314.64 c 295s|610000 |356255 | 0 | 0.0 | 475M|1076 | - |2007 |9028 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
319.19/319.26 c 299s|620000 |363507 | 0 | 0.0 | 484M|1076 | - |2007 |8726 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
323.50/323.58 c 303s|630000 |370969 | 0 | 0.0 | 494M|1076 | - |2007 |8959 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
327.90/327.90 c 307s|640000 |378344 | 0 | 0.0 | 504M|1076 | - |2007 |9335 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
332.21/332.23 c 311s|650000 |385678 | 0 | 0.0 | 514M|1076 | - |2007 |9732 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
337.00/337.07 c 315s|660000 |392519 | 0 | 0.0 | 524M|1076 | - |2007 | 10k| 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
342.01/342.07 c 320s|670000 |399215 | 0 | 0.0 | 535M|1076 | - |2007 | 11k| 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
347.40/347.49 c 325s|680000 |405573 | 0 | 0.0 | 546M|1076 | - |2007 | 12k| 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
353.30/353.34 c 331s|690000 |411708 | 0 | 0.0 | 558M|1076 | - |2007 | 14k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
360.30/360.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.30/360.39 c 337s|700000 |416926 | 0 | 0.0 | 571M|1076 | - |2007 | 16k| 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
367.80/367.88 c 344s|710000 |422208 | 0 | 0.0 | 578M|1076 | - |2007 | 10k| 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
371.40/371.48 c 348s|720000 |430400 | 0 | 0.0 | 586M|1076 | - |2007 |9967 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
375.01/375.08 c 351s|730000 |438410 | 0 | 0.0 | 594M|1076 | - |2007 | 10k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
379.00/379.00 c 355s|740000 |446097 | 0 | 0.0 | 602M|1076 | - |2007 | 11k| 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
383.00/383.05 c 358s|750000 |453714 | 0 | 0.0 | 610M|1076 | - |2007 | 12k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
387.50/387.54 c 363s|760000 |461007 | 0 | 0.0 | 618M|1076 | - |2007 | 13k| 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
392.30/392.39 c 367s|770000 |467989 | 0 | 0.0 | 627M|1076 | - |2007 | 14k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
397.90/397.94 c 372s|780000 |474541 | 0 | 0.0 | 636M|1076 | - |2007 | 16k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
404.50/404.54 c 379s|790000 |480306 | 0 | 0.0 | 645M|1076 | - |2007 | 17k| 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
413.00/413.09 c 387s|800000 |484657 | 0 | 0.0 | 655M|1076 | - |2007 | 19k| 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
419.70/419.73 c 393s|810000 |491015 | 0 | 0.0 | 661M|1076 | - |2007 | 11k| 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
423.70/423.77 c 397s|820000 |499011 | 0 | 0.0 | 669M|1076 | - |2007 | 11k| 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
427.70/427.77 c 401s|830000 |506813 | 0 | 0.0 | 677M|1076 | - |2007 | 11k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
431.80/431.82 c 404s|840000 |514482 | 0 | 0.0 | 686M|1076 | - |2007 | 12k| 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
436.30/436.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.30/436.33 c 409s|850000 |521710 | 0 | 0.0 | 695M|1076 | - |2007 | 13k| 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
441.11/441.18 c 413s|860000 |528691 | 0 | 0.0 | 704M|1076 | - |2007 | 15k| 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
446.50/446.57 c 418s|870000 |535312 | 0 | 0.0 | 714M|1076 | - |2007 | 15k| 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
452.41/452.41 c 424s|880000 |541617 | 0 | 0.0 | 722M|1076 | - |2007 | 15k| 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
458.71/458.75 c 430s|890000 |547554 | 0 | 0.0 | 731M|1076 | - |2007 | 15k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
465.21/465.29 c 436s|900000 |553203 | 0 | 0.0 | 739M|1076 | - |2007 | 14k| 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
471.40/471.42 c 442s|910000 |559281 | 0 | 0.0 | 747M|1076 | - |2007 | 14k| 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
476.90/476.98 c 447s|920000 |565964 | 0 | 0.0 | 755M|1076 | - |2007 | 14k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
482.20/482.26 c 452s|930000 |573044 | 0 | 0.0 | 764M|1076 | - |2007 | 16k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
487.61/487.63 c 457s|940000 |580208 | 0 | 0.0 | 772M|1076 | - |2007 | 17k| 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
493.31/493.37 c 462s|950000 |587168 | 0 | 0.0 | 780M|1076 | - |2007 | 18k| 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
499.70/499.75 c 468s|960000 |593862 | 0 | 0.0 | 789M|1076 | - |2007 | 20k| 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
506.81/506.82 c 475s|970000 |600114 | 0 | 0.0 | 797M|1076 | - |2007 | 21k| 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
515.20/515.25 c 483s|980000 |605646 | 0 | 0.0 | 806M|1076 | - |2007 | 23k| 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
525.11/525.16 c 492s|990000 |610330 | 0 | 0.0 | 815M|1076 | - |2007 | 24k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
536.01/536.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.01/536.05 c 503s| 1000k|614955 | 0 | 0.0 | 820M|1076 | - |2007 | 18k| 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
540.81/540.88 c 507s| 1010k|622678 | 0 | 0.0 | 825M|1076 | - |2007 | 14k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
545.71/545.74 c 512s| 1020k|629904 | 0 | 0.0 | 833M|1076 | - |2007 | 15k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
551.20/551.28 c 517s| 1030k|636518 | 0 | 0.0 | 841M|1076 | - |2007 | 17k| 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
557.80/557.82 c 523s| 1040k|642272 | 0 | 0.0 | 849M|1076 | - |2007 | 19k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
566.30/566.38 c 531s| 1050k|646741 | 0 | 0.0 | 857M|1076 | - |2007 | 21k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
577.01/577.02 c 542s| 1060k|650155 | 0 | 0.0 | 862M|1076 | - |2007 | 19k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
582.40/582.44 c 547s| 1070k|657314 | 0 | 0.0 | 869M|1076 | - |2007 | 17k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
588.11/588.12 c 552s| 1080k|663973 | 0 | 0.0 | 876M|1076 | - |2007 | 18k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
595.90/595.97 c 559s| 1090k|668600 | 0 | 0.0 | 884M|1076 | - |2007 | 20k| 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
608.01/608.00 c 571s| 1100k|670138 | 0 | 0.0 | 891M|1076 | - |2007 | 24k| 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
615.00/615.02 c 577s| 1110k|676611 | 0 | 0.0 | 896M|1076 | - |2007 | 19k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
621.91/621.90 c 584s| 1120k|682372 | 0 | 0.0 | 903M|1076 | - |2007 | 21k| 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
630.22/630.22 c 592s| 1130k|686792 | 0 | 0.0 | 910M|1076 | - |2007 | 23k| 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
639.01/639.02 c 600s| 1140k|691367 | 0 | 0.0 | 911M|1076 | - |2007 | 10k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
642.90/642.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.90/642.96 c 604s| 1150k|699266 | 0 | 0.0 | 921M|1076 | - |2007 | 10k| 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
646.82/646.86 c 607s| 1160k|707336 | 0 | 0.0 | 929M|1076 | - |2007 |9012 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
650.60/650.60 c 611s| 1170k|715615 | 0 | 0.0 | 938M|1076 | - |2007 | 10k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
654.61/654.63 c 615s| 1180k|723697 | 0 | 0.0 | 946M|1076 | - |2007 | 10k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
659.61/659.66 c 619s| 1190k|730994 | 0 | 0.0 | 956M|1076 | - |2007 | 12k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
665.30/665.35 c 624s| 1200k|737641 | 0 | 0.0 | 964M|1076 | - |2007 | 11k| 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
669.91/669.93 c 629s| 1210k|744670 | 0 | 0.0 | 972M|1076 | - |2007 | 13k| 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
674.51/674.55 c 633s| 1220k|751692 | 0 | 0.0 | 978M|1076 | - |2007 | 11k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
677.91/677.98 c 636s| 1230k|760263 | 0 | 0.0 | 985M|1076 | - |2007 |8194 | 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
685.32/685.33 c 643s| 1240k|763554 | 0 | 0.0 | 992M|1076 | - |2007 | 12k| 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
696.31/696.35 c 654s| 1250k|763862 | 0 | 0.0 | 998M|1076 | - |2007 | 13k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
708.01/708.00 c 665s| 1260k|763754 | 0 | 0.0 |1003M|1076 | - |2007 | 14k| 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
720.21/720.26 c 677s| 1270k|763534 | 0 | 0.0 |1009M|1076 | - |2007 | 16k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
733.91/733.95 c 690s| 1280k|762636 | 0 | 0.0 |1011M|1076 | - |2007 | 15k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
747.91/747.90 c 704s| 1290k|761648 | 0 | 0.0 |1015M|1076 | - |2007 | 17k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
763.51/763.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.51/763.55 c 719s| 1300k|759668 | 0 | 0.0 |1016M|1076 | - |2007 | 18k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
780.01/780.00 c 735s| 1310k|757679 | 0 | 0.0 |1018M|1076 | - |2007 | 19k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
796.91/796.94 c 751s| 1320k|754895 | 0 | 0.0 |1017M|1076 | - |2007 | 18k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
813.31/813.33 c 767s| 1330k|752903 | 0 | 0.0 |1018M|1076 | - |2007 | 18k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
830.32/830.37 c 784s| 1340k|750462 | 0 | 0.0 |1016M|1076 | - |2007 | 19k| 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
847.02/847.06 c 800s| 1350k|748316 | 0 | 0.0 |1015M|1076 | - |2007 | 19k| 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
864.71/864.79 c 818s| 1360k|745229 | 0 | 0.0 |1012M|1076 | - |2007 | 19k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
884.42/884.47 c 837s| 1370k|740611 | 0 | 0.0 |1006M|1076 | - |2007 | 21k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
898.81/898.85 c 851s| 1380k|740250 | 0 | 0.0 | 996M|1076 | - |2007 | 10k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
903.71/903.70 c 855s| 1390k|747948 | 0 | 0.0 |1004M|1076 | - |2007 |7951 | 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
908.52/908.57 c 860s| 1400k|755515 | 0 | 0.0 |1012M|1076 | - |2007 |7821 | 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
913.71/913.71 c 865s| 1410k|762935 | 0 | 0.0 |1021M|1076 | - |2007 |8240 | 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
918.41/918.41 c 869s| 1420k|770622 | 0 | 0.0 |1030M|1076 | - |2007 |8090 | 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
923.42/923.46 c 874s| 1430k|777963 | 0 | 0.0 |1038M|1076 | - |2007 |8193 | 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
928.43/928.47 c 879s| 1440k|785396 | 0 | 0.0 |1047M|1076 | - |2007 |7996 | 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
933.51/933.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.51/933.53 c 883s| 1450k|792751 | 0 | 0.0 |1056M|1076 | - |2007 |8292 | 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
938.32/938.37 c 888s| 1460k|800167 | 0 | 0.0 |1064M|1076 | - |2007 |8602 | 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
943.21/943.26 c 892s| 1470k|807612 | 0 | 0.0 |1073M|1076 | - |2007 |8531 | 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
948.32/948.38 c 897s| 1480k|814765 | 0 | 0.0 |1081M|1076 | - |2007 |8385 | 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
953.62/953.68 c 902s| 1490k|821737 | 0 | 0.0 |1090M|1076 | - |2007 |8785 | 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
958.92/958.90 c 907s| 1500k|828854 | 0 | 0.0 |1098M|1076 | - |2007 |8996 | 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
964.32/964.39 c 912s| 1510k|835698 | 0 | 0.0 |1107M|1076 | - |2007 |9304 | 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
969.72/969.77 c 917s| 1520k|842845 | 0 | 0.0 |1115M|1076 | - |2007 |9345 | 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
974.91/974.90 c 922s| 1530k|850034 | 0 | 0.0 |1124M|1076 | - |2007 |9653 | 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
980.52/980.52 c 928s| 1540k|856871 | 0 | 0.0 |1133M|1076 | - |2007 |9886 | 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
985.72/985.74 c 932s| 1550k|863899 | 0 | 0.0 |1141M|1076 | - |2007 |9949 | 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
991.52/991.54 c 938s| 1560k|870593 | 0 | 0.0 |1150M|1076 | - |2007 | 10k| 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
997.32/997.34 c 943s| 1570k|877290 | 0 | 0.0 |1158M|1076 | - |2007 | 10k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1002.71/1002.76 c 949s| 1580k|884313 | 0 | 0.0 |1166M|1076 | - |2007 |9989 | 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1009.11/1009.12 c 955s| 1590k|890590 | 0 | 0.0 |1176M|1076 | - |2007 | 10k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1014.62/1014.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.62/1014.61 c 960s| 1600k|897556 | 0 | 0.0 |1184M|1076 | - |2007 | 10k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1020.22/1020.21 c 965s| 1610k|904456 | 0 | 0.0 |1192M|1076 | - |2007 | 10k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1026.42/1026.48 c 971s| 1620k|910816 | 0 | 0.0 |1202M|1076 | - |2007 | 10k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1032.52/1032.56 c 977s| 1630k|917357 | 0 | 0.0 |1210M|1076 | - |2007 | 10k| 0 | 0 | 0 |1655k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1038.12/1038.19 c 982s| 1640k|924185 | 0 | 0.0 |1219M|1076 | - |2007 | 10k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1043.92/1043.93 c 987s| 1650k|930920 | 0 | 0.0 |1228M|1076 | - |2007 | 10k| 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1050.82/1050.86 c 994s| 1660k|936777 | 0 | 0.0 |1238M|1076 | - |2007 | 11k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1056.82/1056.82 c 999s| 1670k|943363 | 0 | 0.0 |1246M|1076 | - |2007 | 10k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1062.32/1062.39 c 1004s| 1680k|950299 | 0 | 0.0 |1255M|1076 | - |2007 | 10k| 0 | 0 | 0 |1695k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1068.13/1068.17 c 1010s| 1690k|957015 | 0 | 0.0 |1264M|1076 | - |2007 | 10k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1075.02/1075.02 c 1016s| 1700k|962936 | 0 | 0.0 |1274M|1076 | - |2007 | 11k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1081.12/1081.10 c 1022s| 1710k|969504 | 0 | 0.0 |1283M|1076 | - |2007 | 11k| 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1086.92/1086.97 c 1028s| 1720k|976249 | 0 | 0.0 |1292M|1076 | - |2007 | 10k| 0 | 0 | 0 |1727k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1092.92/1092.91 c 1033s| 1730k|982892 | 0 | 0.0 |1300M|1076 | - |2007 | 11k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1099.52/1099.59 c 1039s| 1740k|988881 | 0 | 0.0 |1310M|1076 | - |2007 | 11k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1106.12/1106.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1106.12/1106.13 c 1046s| 1750k|995148 | 0 | 0.0 |1318M|1076 | - |2007 | 11k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1111.92/1111.98 c 1051s| 1760k| 1001k| 0 | 0.0 |1327M|1076 | - |2007 | 11k| 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1117.92/1117.97 c 1057s| 1770k| 1008k| 0 | 0.0 |1336M|1076 | - |2007 | 11k| 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1124.82/1124.88 c 1063s| 1780k| 1014k| 0 | 0.0 |1346M|1076 | - |2007 | 12k| 0 | 0 | 0 |1778k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1132.62/1132.64 c 1071s| 1790k| 1019k| 0 | 0.0 |1355M|1076 | - |2007 | 11k| 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1139.22/1139.21 c 1077s| 1800k| 1026k| 0 | 0.0 |1364M|1076 | - |2007 | 11k| 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1146.02/1146.07 c 1083s| 1810k| 1031k| 0 | 0.0 |1372M|1076 | - |2007 | 11k| 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1153.83/1153.82 c 1091s| 1820k| 1037k| 0 | 0.0 |1384M|1076 | - |2007 | 12k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1161.82/1161.85 c 1098s| 1830k| 1042k| 0 | 0.0 |1393M|1076 | - |2007 | 12k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1168.32/1168.39 c 1104s| 1840k| 1048k| 0 | 0.0 |1402M|1076 | - |2007 | 12k| 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1175.33/1175.32 c 1111s| 1850k| 1054k| 0 | 0.0 |1411M|1076 | - |2007 | 12k| 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1182.63/1182.70 c 1118s| 1860k| 1060k| 0 | 0.0 |1420M|1076 | - |2007 | 12k| 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1190.83/1190.87 c 1126s| 1870k| 1065k| 0 | 0.0 |1430M|1076 | - |2007 | 12k| 0 | 0 | 0 |1868k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1197.83/1197.83 c 1132s| 1880k| 1071k| 0 | 0.0 |1439M|1076 | - |2007 | 12k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1205.32/1205.39 c 1139s| 1890k| 1076k| 0 | 0.0 |1448M|1076 | - |2007 | 12k| 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1213.33/1213.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.33/1213.35 c 1147s| 1900k| 1081k| 0 | 0.0 |1460M|1076 | - |2007 | 13k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1221.73/1221.76 c 1155s| 1910k| 1086k| 0 | 0.0 |1469M|1076 | - |2007 | 12k| 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1229.42/1229.46 c 1162s| 1920k| 1092k| 0 | 0.0 |1478M|1076 | - |2007 | 12k| 0 | 0 | 0 |1920k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1237.02/1237.08 c 1170s| 1930k| 1097k| 0 | 0.0 |1488M|1076 | - |2007 | 12k| 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1245.83/1245.86 c 1178s| 1940k| 1102k| 0 | 0.0 |1498M|1076 | - |2007 | 12k| 0 | 0 | 0 |1942k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1253.73/1253.77 c 1185s| 1950k| 1107k| 0 | 0.0 |1507M|1076 | - |2007 | 12k| 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1261.83/1261.80 c 1193s| 1960k| 1112k| 0 | 0.0 |1516M|1076 | - |2007 | 12k| 0 | 0 | 0 |1964k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1269.53/1269.56 c 1200s| 1970k| 1118k| 0 | 0.0 |1527M|1076 | - |2007 | 13k| 0 | 0 | 0 |1974k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1279.03/1279.02 c 1210s| 1980k| 1122k| 0 | 0.0 |1536M|1076 | - |2007 | 12k| 0 | 0 | 0 |1988k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1287.42/1287.43 c 1217s| 1990k| 1127k| 0 | 0.0 |1545M|1076 | - |2007 | 12k| 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1295.84/1295.81 c 1225s| 2000k| 1132k| 0 | 0.0 |1556M|1076 | - |2007 | 13k| 0 | 0 | 0 |2011k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1305.22/1305.30 c 1235s| 2010k| 1136k| 0 | 0.0 |1566M|1076 | - |2007 | 13k| 0 | 0 | 0 |2024k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1314.23/1314.22 c 1243s| 2020k| 1141k| 0 | 0.0 |1575M|1076 | - |2007 | 12k| 0 | 0 | 0 |2036k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1322.73/1322.77 c 1251s| 2030k| 1146k| 0 | 0.0 |1586M|1076 | - |2007 | 13k| 0 | 0 | 0 |2048k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1332.43/1332.49 c 1260s| 2040k| 1150k| 0 | 0.0 |1596M|1076 | - |2007 | 13k| 0 | 0 | 0 |2061k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1342.23/1342.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.23/1342.24 c 1270s| 2050k| 1154k| 0 | 0.0 |1605M|1076 | - |2007 | 13k| 0 | 0 | 0 |2074k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1350.93/1350.95 c 1278s| 2060k| 1159k| 0 | 0.0 |1616M|1076 | - |2007 | 13k| 0 | 0 | 0 |2086k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1361.33/1361.33 c 1288s| 2070k| 1163k| 0 | 0.0 |1626M|1076 | - |2007 | 13k| 0 | 0 | 0 |2100k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1371.23/1371.27 c 1298s| 2080k| 1167k| 0 | 0.0 |1636M|1076 | - |2007 | 14k| 0 | 0 | 0 |2114k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
1371.53/1371.59 o 26
1371.53/1371.59 c *1298s| 2080k| 1129k| 0 | 0.0 |1488M|1076 | - |2007 | 13k| 0 | 0 | 0 |2115k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1382.74/1382.78 c 1309s| 2090k| 1133k| 0 | 0.0 |1506M|1076 | - |2007 | 14k| 0 | 0 | 0 |2128k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1395.73/1395.78 c 1321s| 2100k| 1135k| 0 | 0.0 |1517M|1076 | - |2007 | 13k| 0 | 0 | 0 |2145k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1407.23/1407.27 c 1332s| 2110k| 1139k| 0 | 0.0 |1527M|1076 | - |2007 | 14k| 0 | 0 | 0 |2160k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1419.83/1419.88 c 1344s| 2120k| 1141k| 0 | 0.0 |1536M|1076 | - |2007 | 13k| 0 | 0 | 0 |2176k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1433.03/1433.09 c 1357s| 2130k| 1144k| 0 | 0.0 |1545M|1076 | - |2007 | 13k| 0 | 0 | 0 |2193k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1445.44/1445.43 c 1369s| 2140k| 1147k| 0 | 0.0 |1556M|1076 | - |2007 | 15k| 0 | 0 | 0 |2209k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1459.23/1459.24 c 1382s| 2150k| 1149k| 0 | 0.0 |1565M|1076 | - |2007 | 14k| 0 | 0 | 0 |2227k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1473.33/1473.39 c 1396s| 2160k| 1151k| 0 | 0.0 |1574M|1076 | - |2007 | 15k| 0 | 0 | 0 |2245k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1487.33/1487.37 c 1409s| 2170k| 1152k| 0 | 0.0 |1583M|1076 | - |2007 | 15k| 0 | 0 | 0 |2263k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
1488.13/1488.14 o 23
1488.13/1488.14 c *1410s| 2170k| 1096k| 0 | 0.0 |1364M|1076 | - |2007 | 15k| 0 | 0 | 0 |2263k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1506.24/1506.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1506.24/1506.21 c 1427s| 2180k| 1094k| 0 | 0.0 |1371M|1076 | - |2007 |5841 | 0 | 0 | 0 |2284k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1517.24/1517.28 c 1438s| 2190k| 1092k| 0 | 0.0 |1372M|1076 | - |2007 |6590 | 0 | 0 | 0 |2299k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1526.13/1526.17 c 1446s| 2200k| 1092k| 0 | 0.0 |1374M|1076 | - |2007 |5968 | 0 | 0 | 0 |2311k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1533.14/1533.10 c 1453s| 2210k| 1095k| 0 | 0.0 |1378M|1076 | - |2007 |5834 | 0 | 0 | 0 |2320k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1538.94/1538.92 c 1458s| 2220k| 1100k| 0 | 0.0 |1384M|1076 | - |2007 |5800 | 0 | 0 | 0 |2328k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1544.53/1544.56 c 1463s| 2230k| 1105k| 0 | 0.0 |1391M|1076 | - |2007 |6193 | 0 | 0 | 0 |2335k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1549.94/1549.90 c 1468s| 2240k| 1111k| 0 | 0.0 |1398M|1076 | - |2007 |5942 | 0 | 0 | 0 |2341k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1555.44/1555.42 c 1473s| 2250k| 1116k| 0 | 0.0 |1405M|1076 | - |2007 |6336 | 0 | 0 | 0 |2347k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1561.14/1561.18 c 1479s| 2260k| 1122k| 0 | 0.0 |1412M|1076 | - |2007 |6797 | 0 | 0 | 0 |2353k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1567.13/1567.14 c 1484s| 2270k| 1127k| 0 | 0.0 |1420M|1076 | - |2007 |6652 | 0 | 0 | 0 |2360k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1573.53/1573.55 c 1490s| 2280k| 1131k| 0 | 0.0 |1427M|1076 | - |2007 |7510 | 0 | 0 | 0 |2367k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1580.13/1580.17 c 1496s| 2290k| 1136k| 0 | 0.0 |1434M|1076 | - |2007 |8059 | 0 | 0 | 0 |2375k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1587.53/1587.59 c 1503s| 2300k| 1140k| 0 | 0.0 |1441M|1076 | - |2007 |8602 | 0 | 0 | 0 |2383k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1594.94/1594.96 c 1510s| 2310k| 1144k| 0 | 0.0 |1448M|1076 | - |2007 |9159 | 0 | 0 | 0 |2391k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1602.23/1602.29 c 1517s| 2320k| 1148k| 0 | 0.0 |1456M|1076 | - |2007 |9454 | 0 | 0 | 0 |2399k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1610.44/1610.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1610.44/1610.47 c 1525s| 2330k| 1152k| 0 | 0.0 |1462M|1076 | - |2007 |9276 | 0 | 0 | 0 |2409k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1619.44/1619.49 c 1533s| 2340k| 1154k| 0 | 0.0 |1469M|1076 | - |2007 | 10k| 0 | 0 | 0 |2419k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1628.74/1628.75 c 1542s| 2350k| 1156k| 0 | 0.0 |1475M|1076 | - |2007 | 10k| 0 | 0 | 0 |2430k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1637.94/1637.99 c 1551s| 2360k| 1159k| 0 | 0.0 |1482M|1076 | - |2007 | 11k| 0 | 0 | 0 |2440k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1648.63/1648.64 c 1561s| 2370k| 1160k| 0 | 0.0 |1488M|1076 | - |2007 | 11k| 0 | 0 | 0 |2453k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1659.74/1659.73 c 1571s| 2380k| 1160k| 0 | 0.0 |1494M|1076 | - |2007 | 11k| 0 | 0 | 0 |2466k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1671.44/1671.49 c 1583s| 2390k| 1159k| 0 | 0.0 |1498M|1076 | - |2007 | 11k| 0 | 0 | 0 |2480k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1684.84/1684.88 c 1595s| 2400k| 1157k| 0 | 0.0 |1501M|1076 | - |2007 | 13k| 0 | 0 | 0 |2496k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1700.74/1700.74 c 1611s| 2410k| 1153k| 0 | 0.0 |1500M|1076 | - |2007 | 13k| 0 | 0 | 0 |2515k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1708.14/1708.14 c 1617s| 2420k| 1156k| 0 | 0.0 |1500M|1076 | - |2007 |6332 | 0 | 0 | 0 |2523k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1712.64/1712.64 c 1622s| 2430k| 1163k| 0 | 0.0 |1508M|1076 | - |2007 |6755 | 0 | 0 | 0 |2528k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1717.04/1717.09 c 1626s| 2440k| 1170k| 0 | 0.0 |1515M|1076 | - |2007 |6921 | 0 | 0 | 0 |2533k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1721.64/1721.61 c 1630s| 2450k| 1176k| 0 | 0.0 |1523M|1076 | - |2007 |7663 | 0 | 0 | 0 |2538k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1726.44/1726.41 c 1634s| 2460k| 1183k| 0 | 0.0 |1530M|1076 | - |2007 |7867 | 0 | 0 | 0 |2544k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1731.23/1731.28 c 1639s| 2470k| 1189k| 0 | 0.0 |1536M|1076 | - |2007 |7858 | 0 | 0 | 0 |2549k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1736.34/1736.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1736.34/1736.35 c 1643s| 2480k| 1195k| 0 | 0.0 |1543M|1076 | - |2007 |8381 | 0 | 0 | 0 |2555k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1741.54/1741.52 c 1648s| 2490k| 1201k| 0 | 0.0 |1550M|1076 | - |2007 |9004 | 0 | 0 | 0 |2560k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1746.85/1746.81 c 1653s| 2500k| 1207k| 0 | 0.0 |1557M|1076 | - |2007 |8870 | 0 | 0 | 0 |2566k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1752.44/1752.41 c 1658s| 2510k| 1213k| 0 | 0.0 |1563M|1076 | - |2007 |8921 | 0 | 0 | 0 |2573k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1757.85/1757.85 c 1663s| 2520k| 1218k| 0 | 0.0 |1570M|1076 | - |2007 |9303 | 0 | 0 | 0 |2579k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1763.54/1763.51 c 1668s| 2530k| 1224k| 0 | 0.0 |1577M|1076 | - |2007 |9849 | 0 | 0 | 0 |2586k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1769.34/1769.39 c 1674s| 2540k| 1229k| 0 | 0.0 |1583M|1076 | - |2007 | 10k| 0 | 0 | 0 |2592k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1775.64/1775.61 c 1680s| 2550k| 1234k| 0 | 0.0 |1589M|1076 | - |2007 | 10k| 0 | 0 | 0 |2599k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1782.44/1782.43 c 1686s| 2560k| 1239k| 0 | 0.0 |1595M|1076 | - |2007 | 10k| 0 | 0 | 0 |2608k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1789.35/1789.34 c 1692s| 2570k| 1243k| 0 | 0.0 |1602M|1076 | - |2007 | 10k| 0 | 0 | 0 |2616k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1796.64/1796.66 c 1699s| 2580k| 1247k| 0 | 0.0 |1608M|1076 | - |2007 | 11k| 0 | 0 | 0 |2625k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1702.45
1800.05/1800.00 c Solving Nodes : 2584522
1800.05/1800.00 c Primal Bound : +2.30000000000000e+01 (22 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.01 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.01 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126
1800.05/1800.01 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.05/1800.01 v -x104 -x103 -x102 x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.01 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.05/1800.01 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.05/1800.01 v x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.05/1800.01 v -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1702.45
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2694175-1277909277.wbo
1800.05/1800.01 c Variables : 2105 (1168 binary, 0 integer, 0 implicit integer, 937 continuous)
1800.05/1800.01 c Constraints : 3645 initial, 3645 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2694175-1277909277.wbo
1800.05/1800.01 c Variables : 2007 (1119 binary, 0 integer, 0 implicit integer, 888 continuous)
1800.05/1800.01 c Constraints : 3483 initial, 27620 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 49 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 49 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 49 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.05 0 0 0 937 0 113 49 0
1800.05/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 676 - - 1352 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 888 0 6392929 0 1845384 1603 9417657 0 0 0
1800.05/1800.01 c setppc : 14 0 7979371 0 2133728 131161 4564451 0 0 0
1800.05/1800.01 c linear : 888 0 7848935 0 2133900 228691 34527773 0 0 0
1800.05/1800.01 c logicor : 1693+ 0 5709707 0 2133911 317325 14041174 0 0 0
1800.05/1800.01 c bounddisjunction : 0+ 0 425382 0 0 25 5261 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 2133902 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c indicator : 38.71 0.00 20.54 0.00 18.17
1800.05/1800.01 c setppc : 27.58 0.00 24.21 0.00 3.37
1800.05/1800.01 c linear : 181.88 0.00 180.39 0.00 1.49
1800.05/1800.01 c logicor : 520.87 0.00 417.78 0.00 103.09
1800.05/1800.01 c bounddisjunction : 9.63 0.00 9.63 0.00 0.00
1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.00 2 0 0
1800.05/1800.01 c rootredcost : 0.00 0 0 0
1800.05/1800.01 c pseudoobj : 142.50 7995599 14026 9179114
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 46.76 691228 690805 3425771 24.8 459988 8.5 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.02 129 129 538 16.1 117 9.3 -
1800.05/1800.01 c applied globally : - - - 2629296 19.6 - - -
1800.05/1800.01 c applied locally : - - - 22 126.7 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.01 c redcost : 0.00 0 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.01 c cmir : 0.00 0 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.01 c clique : 0.00 0 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 56.78 2133880 0 0 0 0 4267760
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.30 - 22
1800.05/1800.01 c oneopt : 0.07 0 0
1800.05/1800.01 c trivial : 0.01 2 0
1800.05/1800.01 c simplerounding : 0.00 0 0
1800.05/1800.01 c zirounding : 0.00 0 0
1800.05/1800.01 c rounding : 0.00 0 0
1800.05/1800.01 c shifting : 0.00 0 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c coefdiving : 0.00 0 0
1800.05/1800.01 c pscostdiving : 0.00 0 0
1800.05/1800.01 c fracdiving : 0.00 0 0
1800.05/1800.01 c veclendiving : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 0.00 0 0
1800.05/1800.01 c rootsoldiving : 0.00 0 0
1800.05/1800.01 c linesearchdiving : 0.00 0 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.00 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c crossover : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.00 0 0
1800.05/1800.01 c trysol : 0.00 1 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.01 c (at root node) : - 0 0 0.00 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2584522
1800.05/1800.02 c nodes (total) : 2584522
1800.05/1800.02 c nodes left : 1248789
1800.05/1800.02 c max depth : 1076
1800.05/1800.02 c max depth (total): 1076
1800.05/1800.02 c backtracks : 450300 (17.4%)
1800.05/1800.02 c delayed cutoffs : 337323
1800.05/1800.02 c repropagations : 1658288 (19909420 domain reductions, 242340 cutoffs)
1800.05/1800.02 c avg switch length: 27.97
1800.05/1800.02 c switching time : 585.19
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 22 (22 improvements)
1800.05/1800.02 c First Solution : +4.33000000000000e+02 (in run 1, after 3822 nodes, 0.93 seconds, depth 393, found by <relaxation>)
1800.05/1800.02 c Primal Bound : +2.30000000000000e+01 (in run 1, after 2170455 nodes, 1409.98 seconds, depth 90, found by <relaxation>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 0
OK 22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694175-1277909277/watcher-2694175-1277909277 -o /tmp/evaluation-result-2694175-1277909277/solver-2694175-1277909277 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694175-1277909277.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.34 2.55 2.46 3/196 10290 /proc/meminfo: memFree=31567932/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=8148 CPUtime=0 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 1545 0 0 0 0 0 0 0 22 0 1 0 132225240 8343552 1467 4089446400 4194304 7136930 140736699858000 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/10290/statm: 2037 1467 275 719 0 1316 0 [startup+0.022474 s] /proc/loadavg: 2.34 2.55 2.46 3/196 10290 /proc/meminfo: memFree=31567932/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=11848 CPUtime=0.01 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 2453 0 0 0 1 0 0 0 22 0 1 0 132225240 12132352 2375 4089446400 4194304 7136930 140736699858000 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/10290/statm: 2962 2375 275 719 0 2241 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11848 [startup+0.10046 s] /proc/loadavg: 2.34 2.55 2.46 3/196 10290 /proc/meminfo: memFree=31567932/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=22064 CPUtime=0.09 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 7249 0 0 0 8 1 0 0 22 0 1 0 132225240 22593536 4761 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/10290/statm: 5516 4761 360 719 0 4795 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22064 [startup+0.300408 s] /proc/loadavg: 2.34 2.55 2.46 3/196 10290 /proc/meminfo: memFree=31567932/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=24168 CPUtime=0.29 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 8579 0 0 0 26 3 0 0 22 0 1 0 132225240 24748032 5320 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/10290/statm: 6042 5320 391 719 0 5321 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24168 [startup+0.700336 s] /proc/loadavg: 2.34 2.55 2.46 3/196 10290 /proc/meminfo: memFree=31567932/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=26360 CPUtime=0.69 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 9136 0 0 0 62 7 0 0 24 0 1 0 132225240 26992640 5877 4089446400 4194304 7136930 140736699858000 18446744073709551615 4431908 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 6590 5877 395 719 0 5869 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26360 [startup+1.50019 s] /proc/loadavg: 2.34 2.55 2.46 3/197 10291 /proc/meminfo: memFree=31545480/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=28200 CPUtime=1.49 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 9578 0 0 0 135 14 0 0 25 0 1 0 132225240 28876800 6319 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 7050 6319 396 719 0 6329 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28200 [startup+3.1009 s] /proc/loadavg: 2.31 2.54 2.45 3/197 10291 /proc/meminfo: memFree=31542556/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=33620 CPUtime=3.09 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 10949 0 0 0 281 28 0 0 25 0 1 0 132225240 34426880 7690 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 8405 7690 396 719 0 7684 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33620 [startup+6.30032 s] /proc/loadavg: 2.31 2.54 2.45 3/197 10291 /proc/meminfo: memFree=31531892/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=43520 CPUtime=6.28 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 13427 0 0 0 575 53 0 0 25 0 1 0 132225240 44564480 10168 4089446400 4194304 7136930 140736699858000 18446744073709551615 4677814 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 10880 10168 396 719 0 10159 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 43520 [startup+12.7002 s] /proc/loadavg: 2.27 2.52 2.45 3/197 10291 /proc/meminfo: memFree=31507964/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=67748 CPUtime=12.69 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 19257 0 0 0 1163 106 0 0 25 0 1 0 132225240 69373952 15998 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 16937 15998 398 719 0 16216 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 67748 [startup+25.5009 s] /proc/loadavg: 2.22 2.50 2.44 3/197 10292 /proc/meminfo: memFree=31473416/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=98596 CPUtime=25.49 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 27002 0 0 0 2334 215 0 0 25 0 1 0 132225240 100962304 23743 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 24649 23743 398 719 0 23928 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 98596 [startup+51.1002 s] /proc/loadavg: 2.15 2.46 2.43 3/197 10293 /proc/meminfo: memFree=31430328/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=142204 CPUtime=51.09 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 37013 0 0 0 4739 370 0 0 25 0 1 0 132225240 145616896 33754 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 35551 33754 398 719 0 34830 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 142204 [startup+102.306 s] /proc/loadavg: 2.32 2.46 2.43 3/197 10294 /proc/meminfo: memFree=31296112/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=277396 CPUtime=102.3 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 68918 0 0 0 9467 763 0 0 25 0 1 0 132225240 284053504 65659 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 69349 65659 398 719 0 68628 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 277396 [startup+162.301 s] /proc/loadavg: 2.13 2.38 2.40 3/197 10295 /proc/meminfo: memFree=31217040/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=353368 CPUtime=162.3 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 86897 0 0 0 15165 1065 0 0 25 0 1 0 132225240 361848832 83638 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 88342 83638 398 719 0 87621 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 353368 [startup+222.301 s] /proc/loadavg: 2.04 2.30 2.37 3/197 10297 /proc/meminfo: memFree=31171236/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=398476 CPUtime=222.29 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 97144 0 0 0 20823 1406 0 0 25 0 1 0 132225240 408039424 93885 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 99619 93885 398 719 0 98898 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 398476 [startup+282.301 s] /proc/loadavg: 2.01 2.25 2.35 3/197 10299 /proc/meminfo: memFree=31037516/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=540864 CPUtime=282.3 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 129660 0 0 0 26404 1826 0 0 25 0 1 0 132225240 553844736 126401 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 135216 126401 398 719 0 134495 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 540864 [startup+342.301 s] /proc/loadavg: 2.00 2.20 2.32 3/197 10301 /proc/meminfo: memFree=30914680/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=667964 CPUtime=342.3 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 159055 0 0 0 32034 2196 0 0 25 0 1 0 132225240 683995136 155796 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 166991 155796 398 719 0 166270 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 667964 [startup+402.3 s] /proc/loadavg: 2.47 2.27 2.34 3/197 10302 /proc/meminfo: memFree=30796580/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=802932 CPUtime=402.3 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 187724 0 0 0 37660 2570 0 0 25 0 1 0 132225240 822202368 184465 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 200733 184465 398 719 0 200012 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 802932 [startup+462.3 s] /proc/loadavg: 2.16 2.22 2.31 3/197 10303 /proc/meminfo: memFree=30690980/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=906308 CPUtime=462.31 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 212751 0 0 0 43311 2920 0 0 25 0 1 0 132225240 928059392 209492 4089446400 4194304 7136930 140736699858000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 226577 209492 398 719 0 225856 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 906308 [startup+522.3 s] /proc/loadavg: 2.06 2.18 2.29 3/197 10305 /proc/meminfo: memFree=30602768/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=992848 CPUtime=522.31 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 233622 0 0 0 48969 3262 0 0 25 0 1 0 132225240 1016676352 230363 4089446400 4194304 7136930 140736699858000 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 248212 230363 398 719 0 247491 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 992848 [startup+582.3 s] /proc/loadavg: 2.02 2.14 2.27 3/197 10307 /proc/meminfo: memFree=30527168/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=1064244 CPUtime=582.3 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 250482 0 0 0 54647 3583 0 0 25 0 1 0 132225240 1089785856 247223 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 266061 247223 398 719 0 265340 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1064244 [startup+642.301 s] /proc/loadavg: 2.05 2.13 2.26 3/197 10309 /proc/meminfo: memFree=30472680/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=1117764 CPUtime=642.31 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 263721 0 0 0 60328 3903 0 0 25 0 1 0 132225240 1144590336 260462 4089446400 4194304 7136930 140736699858000 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10290/statm: 279441 260462 398 719 0 278720 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1117764 [startup+702.301 s] ################ # More data... # ################ /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 324592 0 0 0 94812 5420 0 0 25 0 1 0 132225240 1408581632 321333 4089446400 4194304 7136930 140736699858000 18446744073709551615 4660974 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 343892 321333 398 719 0 343171 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1375568 [startup+1062.3 s] /proc/loadavg: 2.00 2.03 2.15 3/179 10358 /proc/meminfo: memFree=30414280/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=1484024 CPUtime=1062.32 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 349534 0 0 0 100439 5793 0 0 25 0 1 0 132225240 1519640576 346275 4089446400 4194304 7136930 140736699858000 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 371006 346275 398 719 0 370285 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1484024 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.14 3/179 10360 /proc/meminfo: memFree=30307816/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=1597796 CPUtime=1122.32 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 372975 0 0 0 106071 6161 0 0 25 0 1 0 132225240 1636143104 369716 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 399449 369716 398 719 0 398728 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1597796 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.13 3/179 10362 /proc/meminfo: memFree=30231756/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=1668572 CPUtime=1182.32 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 390298 0 0 0 111756 6476 0 0 25 0 1 0 132225240 1708617728 387039 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 417143 387039 398 719 0 416422 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1668572 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.12 3/179 10364 /proc/meminfo: memFree=30154700/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=1746488 CPUtime=1242.32 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 408612 0 0 0 117455 6777 0 0 25 0 1 0 132225240 1788403712 405353 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 436622 405353 398 719 0 435901 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1746488 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.11 3/179 10365 /proc/meminfo: memFree=30081708/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=1818536 CPUtime=1302.33 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 426314 0 0 0 123173 7060 0 0 25 0 1 0 132225240 1862180864 423055 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 454634 423055 398 719 0 453913 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1818536 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.09 3/179 10366 /proc/meminfo: memFree=30014192/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=1890332 CPUtime=1362.33 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 442613 0 0 0 128905 7328 0 0 25 0 1 0 132225240 1935699968 439354 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 472583 439354 398 719 0 471862 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1890332 [startup+1422.31 s] /proc/loadavg: 2.03 2.01 2.09 3/179 10368 /proc/meminfo: memFree=29996784/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=1905660 CPUtime=1422.33 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 446152 0 0 0 134661 7572 0 0 25 0 1 0 132225240 1951395840 442893 4089446400 4194304 7136930 140736699858000 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 476415 442893 398 719 0 475694 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1905660 [startup+1482.3 s] /proc/loadavg: 2.05 2.02 2.09 3/179 10370 /proc/meminfo: memFree=29978752/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=1923084 CPUtime=1482.33 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 449740 0 0 0 140453 7780 0 0 25 0 1 0 132225240 1969238016 446481 4089446400 4194304 7136930 140736699858000 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 480771 446481 398 719 0 480050 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1923084 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.08 3/179 10372 /proc/meminfo: memFree=29970248/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=1931184 CPUtime=1542.34 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 451740 0 0 0 146110 8124 0 0 25 0 1 0 132225240 1977532416 448481 4089446400 4194304 7136930 140736699858000 18446744073709551615 4925937 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 482796 448481 398 719 0 482075 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1931184 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.08 3/179 10373 /proc/meminfo: memFree=29939428/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=1960800 CPUtime=1602.34 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 459387 0 0 0 151700 8534 0 0 25 0 1 0 132225240 2007859200 456128 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 490200 456128 398 719 0 489479 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1960800 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 10374 /proc/meminfo: memFree=29908112/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=1991132 CPUtime=1662.34 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 466610 0 0 0 157378 8856 0 0 25 0 1 0 132225240 2038919168 463351 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 497783 463351 398 719 0 497062 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1991132 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 10376 /proc/meminfo: memFree=29876068/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=2021576 CPUtime=1722.34 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 474258 0 0 0 163042 9192 0 0 25 0 1 0 132225240 2070093824 470999 4089446400 4194304 7136930 140736699858000 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 505394 470999 398 719 0 504673 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2021576 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 10378 /proc/meminfo: memFree=29791920/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=2104380 CPUtime=1782.34 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 494417 0 0 0 168589 9645 0 0 25 0 1 0 132225240 2154885120 491158 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 526095 491158 398 719 0 525374 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2104380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.06 3/179 10378 /proc/meminfo: memFree=29775916/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=2119732 CPUtime=1800.05 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 498239 0 0 0 170247 9758 0 0 25 0 1 0 132225240 2170605568 494980 4089446400 4194304 7136930 140736699858000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10290/statm: 529933 494980 398 719 0 529212 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2119732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10290 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.06 3/180 10379 /proc/meminfo: memFree=29775908/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=2119732 CPUtime=1801.44 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 498244 0 0 0 170386 9758 0 0 25 0 1 0 132225240 2170605568 494985 4089446400 4194304 7136930 140736699858000 18446744073709551615 6166190 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10290/statm: 529933 494985 403 719 0 529212 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2119732 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.06 3/180 10379 /proc/meminfo: memFree=29775784/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=2119732 CPUtime=1801.85 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 498244 0 0 0 170427 9758 0 0 25 0 1 0 132225240 2170605568 494985 4089446400 4194304 7136930 140736699858000 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10290/statm: 529933 494985 403 719 0 529212 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2119732 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.06 3/180 10379 /proc/meminfo: memFree=29775784/32951124 swapFree=67111528/67111528 [pid=10290] ppid=10288 vsize=2118704 CPUtime=1802.04 /proc/10290/stat : 10290 (pbscip.linux.x8) R 10288 10290 9397 0 -1 4202496 498244 0 0 0 170446 9758 0 0 25 0 1 0 132225240 2169552896 494729 4089446400 4194304 7136930 140736699858000 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10290/statm: 529676 494729 403 719 0 528955 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2118704 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.12 CPU user time (s): 1704.48 CPU system time (s): 97.6492 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2119732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1704.48 system time used= 97.6492 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 498244 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= 2119 runsolver used 2.6066 second user time and 5.87411 second system time The end
Begin job on node104 at 2010-06-30 16:47:57 IDJOB=2694175 IDBENCH=78966 IDSOLVER=1206 FILE ID=node104/2694175-1277909277 PBS_JOBID= 11197227 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694175-1277909277/watcher-2694175-1277909277 -o /tmp/evaluation-result-2694175-1277909277/solver-2694175-1277909277 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694175-1277909277.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 125243b279b6e24b77d57dd07a5f7014 RANDOM SEED=1142080096 node104.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.839 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.67 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.839 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.12 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.839 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.839 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.84 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.839 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.74 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.839 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.839 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31568584 kB Buffers: 187988 kB Cached: 695480 kB SwapCached: 0 kB Active: 706500 kB Inactive: 534344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31568584 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3124 kB Writeback: 0 kB AnonPages: 357364 kB Mapped: 20484 kB Slab: 76716 kB PageTables: 5060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1648740 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= 74200 MiB End job on node104 at 2010-06-30 17:17:59