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.18 | 1802.19 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900563250--soft-0-100-0.wbo |
| MD5SUM | cf1e130a7c7d84197ef06427870fc4d7 |
| 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 | 208.79 |
| 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 | 135280 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135279 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 665 |
| 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-2693633-1277927636.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.12 o 135279
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.352790e+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.19 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 2707 implications, 0 cliques
0.09/0.19 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19 c 2707 constraints of type <indicator>
0.09/0.19 c 2707 constraints of type <linear>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.13
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = -1
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
3.27/3.39 c 3.1s| 10000 | 9565 | 0 | 0.0 | 24M|2816 | - |5645 |6925 | 0 | 0 | 0 |1514 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
4.06/4.12 o 458
4.06/4.12 c * 3.8s| 12134 | 8024 | 0 | 0.0 | 24M|2816 | - |5645 |6977 | 0 | 0 | 0 |1566 | 0 | 0.000000e+00 | 4.580000e+02 | Inf
4.06/4.12 o 405
4.06/4.12 c * 3.8s| 12135 | 7586 | 0 | 0.0 | 24M|2816 | - |5645 |6977 | 0 | 0 | 0 |1566 | 0 | 0.000000e+00 | 4.050000e+02 | Inf
4.06/4.17 o 391
4.06/4.17 c * 3.9s| 12258 | 7497 | 0 | 0.0 | 24M|2816 | - |5645 |6977 | 0 | 0 | 0 |1566 | 0 | 0.000000e+00 | 3.910000e+02 | Inf
4.06/4.18 o 345
4.06/4.18 c * 3.9s| 12259 | 6579 | 0 | 0.0 | 24M|2816 | - |5645 |6977 | 0 | 0 | 0 |1566 | 0 | 0.000000e+00 | 3.450000e+02 | Inf
4.27/4.34 o 338
4.27/4.34 c * 4.0s| 12624 | 6784 | 0 | 0.0 | 25M|2816 | - |5645 |7030 | 0 | 0 | 0 |1620 | 0 | 0.000000e+00 | 3.380000e+02 | Inf
4.37/4.45 o 313
4.37/4.45 c * 4.1s| 12899 | 6578 | 0 | 0.0 | 24M|2816 | - |5645 |7069 | 0 | 0 | 0 |1659 | 0 | 0.000000e+00 | 3.130000e+02 | Inf
4.37/4.46 o 305
4.37/4.46 c * 4.1s| 12900 | 6467 | 0 | 0.0 | 24M|2816 | - |5645 |7069 | 0 | 0 | 0 |1659 | 0 | 0.000000e+00 | 3.050000e+02 | Inf
4.46/4.51 o 259
4.46/4.51 c * 4.2s| 13016 | 6467 | 0 | 0.0 | 24M|2816 | - |5645 |7099 | 0 | 0 | 0 |1689 | 0 | 0.000000e+00 | 2.590000e+02 | Inf
4.56/4.62 o 119
4.56/4.62 c * 4.3s| 13367 | 6497 | 0 | 0.0 | 24M|2816 | - |5645 |7149 | 0 | 0 | 0 |1740 | 0 | 0.000000e+00 | 1.190000e+02 | Inf
4.56/4.62 o 115
4.56/4.62 c * 4.3s| 13368 | 6492 | 0 | 0.0 | 24M|2816 | - |5645 |7149 | 0 | 0 | 0 |1740 | 0 | 0.000000e+00 | 1.150000e+02 | Inf
4.56/4.65 o 35
4.56/4.65 c * 4.3s| 13451 | 4463 | 0 | 0.0 | 24M|2816 | - |5645 |7153 | 0 | 0 | 0 |1745 | 0 | 0.000000e+00 | 3.500000e+01 | Inf
4.56/4.65 o 31
4.56/4.65 c * 4.3s| 13452 | 4329 | 0 | 0.0 | 24M|2816 | - |5645 |7153 | 0 | 0 | 0 |1745 | 0 | 0.000000e+00 | 3.100000e+01 | Inf
6.77/6.80 c 6.3s| 20000 | 9914 | 0 | 0.0 | 32M|2816 | - |5645 |7977 | 0 | 0 | 0 |6089 | 0 | 0.000000e+00 | 3.100000e+01 | Inf
10.56/10.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.56/10.61 c 9.9s| 30000 | 17680 | 0 | 0.0 | 43M|2816 | - |5645 |8514 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
16.26/16.37 c 15.4s| 40000 | 24012 | 0 | 0.0 | 58M|2816 | - |5645 |8549 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
19.26/19.32 o 28
19.26/19.32 c *18.2s| 44145 | 27556 | 0 | 0.0 | 82M|2816 | - |5645 |8225 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
21.56/21.67 o 22
21.56/21.67 c *20.5s| 47493 | 29874 | 0 | 0.0 | 96M|2816 | - |5645 |8422 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
22.06/22.13 o 18
22.06/22.13 c *20.9s| 48254 | 30297 | 0 | 0.0 | 99M|2816 | - |5645 |8386 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
22.06/22.13 o 13
22.06/22.13 c *20.9s| 48255 | 29933 | 0 | 0.0 | 98M|2816 | - |5645 |8386 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
23.26/23.35 c 22.1s| 50000 | 31356 | 0 | 0.0 | 110M|2816 | - |5645 |8622 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
27.97/28.03 c 26.4s| 60000 | 39606 | 0 | 0.0 | 132M|2816 | - |5645 |5895 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
28.06/28.12 o 5
28.06/28.12 c *26.5s| 60225 | 39175 | 0 | 0.0 | 130M|2816 | - |5645 |5978 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
28.06/28.16 o 4
28.06/28.16 c *26.6s| 60284 | 39069 | 0 | 0.0 | 130M|2816 | - |5645 |6038 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
31.56/31.60 c 29.7s| 70000 | 47062 | 0 | 0.0 | 140M|2816 | - |5645 |5811 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
35.06/35.10 c 33.0s| 80000 | 55325 | 0 | 0.0 | 149M|2816 | - |5645 |5647 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
38.76/38.86 c 36.5s| 90000 | 63345 | 0 | 0.0 | 160M|2816 | - |5645 |5599 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
42.96/43.00 c 40.4s|100000 | 71003 | 0 | 0.0 | 171M|2816 | - |5645 |5812 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
47.36/47.45 c 44.6s|110000 | 78337 | 0 | 0.0 | 182M|2816 | - |5645 |6200 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
51.96/52.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.96/52.03 c 48.9s|120000 | 85552 | 0 | 0.0 | 193M|2816 | - |5645 |6375 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
56.56/56.62 c 53.3s|130000 | 92676 | 0 | 0.0 | 203M|2816 | - |5645 |6644 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
61.06/61.17 c 57.6s|140000 | 99845 | 0 | 0.0 | 213M|2816 | - |5645 |6831 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
65.76/65.90 c 62.0s|150000 |106827 | 0 | 0.0 | 224M|2816 | - |5645 |7224 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
70.66/70.75 c 66.6s|160000 |113718 | 0 | 0.0 | 234M|2816 | - |5645 |7535 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
75.96/76.09 c 71.7s|170000 |120084 | 0 | 0.0 | 245M|2816 | - |5645 |7601 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
81.77/81.87 c 77.3s|180000 |126065 | 0 | 0.0 | 256M|2816 | - |5645 |7945 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
88.07/88.12 c 83.3s|190000 |131597 | 0 | 0.0 | 267M|2816 | - |5645 |8080 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
94.97/95.00 c 90.0s|200000 |136503 | 0 | 0.0 | 279M|2816 | - |5645 |8306 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
103.66/103.78 c 98.5s|210000 |135106 | 0 | 0.0 | 280M|2816 | - |5645 |5274 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
107.56/107.65 c 102s|220000 |143383 | 0 | 0.0 | 289M|2816 | - |5645 |4871 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
112.07/112.12 c 106s|230000 |151121 | 0 | 0.0 | 299M|2816 | - |5645 |6088 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
117.57/117.68 c 112s|240000 |157852 | 0 | 0.0 | 309M|2816 | - |5645 |7864 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
123.86/123.92 c 118s|250000 |163617 | 0 | 0.0 | 318M|2816 | - |5645 |6226 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
129.36/129.49 c 123s|260000 |170097 | 0 | 0.0 | 327M|2816 | - |5645 |7197 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
134.86/134.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.86/134.99 c 128s|270000 |176803 | 0 | 0.0 | 337M|2816 | - |5645 |9319 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
139.37/139.48 c 132s|280000 |184492 | 0 | 0.0 | 347M|2816 | - |5645 |8349 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
144.36/144.48 c 137s|290000 |191655 | 0 | 0.0 | 356M|2816 | - |5645 |7855 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
149.87/149.96 c 142s|300000 |198592 | 0 | 0.0 | 366M|2816 | - |5645 |7938 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
155.27/155.35 c 147s|310000 |205598 | 0 | 0.0 | 376M|2816 | - |5645 |8289 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
159.66/159.78 c 152s|320000 |213637 | 0 | 0.0 | 386M|2816 | - |5645 |8604 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
166.26/166.37 c 158s|330000 |219880 | 0 | 0.0 | 397M|2816 | - |5645 | 12k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
172.06/172.18 c 163s|340000 |227471 | 0 | 0.0 | 414M|2816 | - |5645 | 11k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
178.17/178.26 c 169s|350000 |234831 | 0 | 0.0 | 431M|2816 | - |5645 | 11k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
184.77/184.84 c 176s|360000 |241795 | 0 | 0.0 | 448M|2816 | - |5645 | 12k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
191.06/191.11 c 181s|370000 |249266 | 0 | 0.0 | 467M|2816 | - |5645 | 13k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
198.36/198.47 c 188s|380000 |255899 | 0 | 0.0 | 484M|2816 | - |5645 | 14k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
204.77/204.86 c 195s|390000 |262887 | 0 | 0.0 | 498M|2816 | - |5645 | 13k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
209.46/209.53 c 199s|400000 |270691 | 0 | 0.0 | 507M|2816 | - |5645 | 12k| 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
214.77/214.87 c 204s|410000 |277820 | 0 | 0.0 | 516M|2816 | - |5645 | 11k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
219.47/219.54 o 3
219.47/219.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.47/219.54 c * 208s|417163 |280283 | 0 | 0.0 | 521M|2816 | - |5645 | 14k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
220.66/220.71 c 210s|420000 |282715 | 0 | 0.0 | 522M|2816 | - |5645 | 11k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
224.47/224.58 c 213s|430000 |291102 | 0 | 0.0 | 531M|2816 | - |5645 | 11k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
228.96/229.09 c 217s|440000 |298863 | 0 | 0.0 | 540M|2816 | - |5645 | 11k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
234.76/234.87 c 223s|450000 |305676 | 0 | 0.0 | 551M|2816 | - |5645 | 12k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
241.37/241.48 c 229s|460000 |311663 | 0 | 0.0 | 561M|2816 | - |5645 | 13k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
247.27/247.33 c 235s|470000 |318385 | 0 | 0.0 | 570M|2816 | - |5645 | 11k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
252.97/253.08 c 240s|480000 |325110 | 0 | 0.0 | 580M|2816 | - |5645 | 12k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
258.57/258.64 c 246s|490000 |331988 | 0 | 0.0 | 591M|2816 | - |5645 | 13k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
263.87/263.95 c 251s|500000 |339167 | 0 | 0.0 | 600M|2816 | - |5645 | 13k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
268.67/268.71 c 255s|510000 |346800 | 0 | 0.0 | 610M|2816 | - |5645 | 12k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
273.36/273.48 c 260s|520000 |354374 | 0 | 0.0 | 619M|2816 | - |5645 | 11k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
277.87/277.97 c 264s|530000 |362105 | 0 | 0.0 | 628M|2816 | - |5645 | 11k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
283.27/283.33 c 269s|540000 |369137 | 0 | 0.0 | 637M|2816 | - |5645 | 12k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
289.66/289.77 c 275s|550000 |375216 | 0 | 0.0 | 646M|2816 | - |5645 | 13k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
294.07/294.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.07/294.19 c 279s|560000 |383295 | 0 | 0.0 | 655M|2816 | - |5645 | 11k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
299.57/299.63 c 285s|570000 |390464 | 0 | 0.0 | 665M|2816 | - |5645 | 12k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
306.57/306.61 c 291s|580000 |396203 | 0 | 0.0 | 675M|2816 | - |5645 | 14k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
311.57/311.69 c 296s|590000 |403568 | 0 | 0.0 | 683M|2816 | - |5645 | 12k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
316.67/316.76 c 301s|600000 |410839 | 0 | 0.0 | 692M|2816 | - |5645 | 12k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
322.06/322.15 c 306s|610000 |417833 | 0 | 0.0 | 701M|2816 | - |5645 | 11k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
327.36/327.49 c 311s|620000 |424705 | 0 | 0.0 | 708M|2816 | - |5645 | 10k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
330.98/331.09 c 315s|630000 |432971 | 0 | 0.0 | 716M|2816 | - |5645 |4831 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
334.16/334.30 c 318s|640000 |441380 | 0 | 0.0 | 724M|2816 | - |5645 |4809 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
337.47/337.53 c 321s|650000 |449680 | 0 | 0.0 | 734M|2816 | - |5645 |4963 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
342.27/342.36 c 325s|660000 |456601 | 0 | 0.0 | 744M|2816 | - |5645 |6419 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
347.87/347.91 c 330s|670000 |463006 | 0 | 0.0 | 755M|2816 | - |5645 |7317 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
353.46/353.58 c 336s|680000 |469304 | 0 | 0.0 | 766M|2816 | - |5645 |7735 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
359.36/359.41 c 341s|690000 |475456 | 0 | 0.0 | 776M|2816 | - |5645 |7060 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
365.17/365.25 c 347s|700000 |481504 | 0 | 0.0 | 786M|2816 | - |5645 |7508 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
371.37/371.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.37/371.42 c 353s|710000 |487259 | 0 | 0.0 | 796M|2816 | - |5645 |7832 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
377.56/377.68 c 359s|720000 |492899 | 0 | 0.0 | 806M|2816 | - |5645 |8165 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
383.96/384.04 c 365s|730000 |498544 | 0 | 0.0 | 817M|2816 | - |5645 |8015 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
390.57/390.66 c 371s|740000 |503935 | 0 | 0.0 | 827M|2816 | - |5645 |7825 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
397.17/397.26 c 377s|750000 |509391 | 0 | 0.0 | 837M|2816 | - |5645 |7797 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
403.97/404.08 c 384s|760000 |514548 | 0 | 0.0 | 848M|2816 | - |5645 |9162 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
411.27/411.35 c 391s|770000 |519372 | 0 | 0.0 | 858M|2816 | - |5645 |9122 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
418.87/418.91 c 398s|780000 |524035 | 0 | 0.0 | 868M|2816 | - |5645 |8662 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
425.77/425.88 c 405s|790000 |529242 | 0 | 0.0 | 878M|2816 | - |5645 |9123 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
433.56/433.64 c 412s|800000 |533725 | 0 | 0.0 | 888M|2816 | - |5645 |9663 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
441.76/441.84 c 420s|810000 |537822 | 0 | 0.0 | 898M|2816 | - |5645 |9683 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
449.56/449.66 c 428s|820000 |542240 | 0 | 0.0 | 908M|2816 | - |5645 |8779 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
457.75/457.83 c 436s|830000 |546055 | 0 | 0.0 | 918M|2816 | - |5645 | 10k| 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
466.26/466.38 c 444s|840000 |549471 | 0 | 0.0 | 928M|2816 | - |5645 | 10k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
474.86/474.91 c 452s|850000 |552881 | 0 | 0.0 | 937M|2816 | - |5645 | 10k| 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
483.16/483.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.16/483.29 c 460s|860000 |556504 | 0 | 0.0 | 948M|2816 | - |5645 |9776 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
491.86/491.94 c 469s|870000 |559765 | 0 | 0.0 | 957M|2816 | - |5645 | 10k| 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
500.86/500.95 c 477s|880000 |562656 | 0 | 0.0 | 966M|2816 | - |5645 | 10k| 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
510.27/510.40 c 487s|890000 |565066 | 0 | 0.0 | 975M|2816 | - |5645 | 10k| 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
519.66/519.78 c 496s|900000 |567453 | 0 | 0.0 | 985M|2816 | - |5645 | 10k| 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
529.16/529.26 c 505s|910000 |569786 | 0 | 0.0 | 993M|2816 | - |5645 | 10k| 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
539.46/539.59 c 515s|920000 |571178 | 0 | 0.0 |1002M|2816 | - |5645 | 10k| 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
550.17/550.21 c 525s|930000 |572205 | 0 | 0.0 |1010M|2816 | - |5645 | 11k| 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
560.87/560.97 c 536s|940000 |572922 | 0 | 0.0 |1016M|2816 | - |5645 | 10k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
572.26/572.38 c 547s|950000 |572726 | 0 | 0.0 |1022M|2816 | - |5645 | 11k| 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
584.37/584.49 c 559s|960000 |571629 | 0 | 0.0 |1027M|2816 | - |5645 | 11k| 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
597.56/597.67 c 571s|970000 |569237 | 0 | 0.0 |1027M|2816 | - |5645 | 11k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
611.86/611.98 c 585s|980000 |566365 | 0 | 0.0 |1024M|2816 | - |5645 | 11k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
621.56/621.67 c 595s|990000 |568412 | 0 | 0.0 |1022M|2816 | - |5645 |5567 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
625.56/625.67 c 598s| 1000k|576330 | 0 | 0.0 |1032M|2816 | - |5645 |4323 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
629.67/629.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.67/629.71 c 602s| 1010k|584102 | 0 | 0.0 |1042M|2816 | - |5645 |4402 | 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
633.57/633.69 c 606s| 1020k|591865 | 0 | 0.0 |1053M|2816 | - |5645 |4437 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
637.46/637.59 c 610s| 1030k|599670 | 0 | 0.0 |1062M|2816 | - |5645 |4530 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
641.76/641.81 c 614s| 1040k|607135 | 0 | 0.0 |1073M|2816 | - |5645 |4834 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
646.26/646.36 c 618s| 1050k|614410 | 0 | 0.0 |1084M|2816 | - |5645 |5153 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
651.17/651.24 c 622s| 1060k|621366 | 0 | 0.0 |1094M|2816 | - |5645 |5269 | 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
656.07/656.12 c 627s| 1070k|628308 | 0 | 0.0 |1105M|2816 | - |5645 |5583 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
661.27/661.30 c 632s| 1080k|634982 | 0 | 0.0 |1115M|2816 | - |5645 |5898 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
666.66/666.78 c 637s| 1090k|641399 | 0 | 0.0 |1126M|2816 | - |5645 |6105 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
672.07/672.16 c 642s| 1100k|647961 | 0 | 0.0 |1136M|2816 | - |5645 |6586 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
678.06/678.13 c 648s| 1110k|653992 | 0 | 0.0 |1147M|2816 | - |5645 |6993 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
684.17/684.29 c 654s| 1120k|659765 | 0 | 0.0 |1156M|2816 | - |5645 |7620 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
690.86/690.99 c 660s| 1130k|665145 | 0 | 0.0 |1165M|2816 | - |5645 |8376 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
697.77/697.82 c 667s| 1140k|670528 | 0 | 0.0 |1173M|2816 | - |5645 |9248 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
705.16/705.23 c 674s| 1150k|675443 | 0 | 0.0 |1181M|2816 | - |5645 | 10k| 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
712.37/712.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.37/712.49 c 681s| 1160k|680485 | 0 | 0.0 |1189M|2816 | - |5645 | 11k| 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
720.27/720.36 c 688s| 1170k|685198 | 0 | 0.0 |1198M|2816 | - |5645 | 12k| 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
729.57/729.65 c 697s| 1180k|688920 | 0 | 0.0 |1205M|2816 | - |5645 | 13k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
740.36/740.40 c 708s| 1190k|691407 | 0 | 0.0 |1212M|2816 | - |5645 | 16k| 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
745.16/745.20 c 712s| 1200k|699120 | 0 | 0.0 |1218M|2816 | - |5645 |6728 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
750.07/750.15 c 717s| 1210k|706363 | 0 | 0.0 |1228M|2816 | - |5645 |7364 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
755.27/755.39 c 722s| 1220k|713272 | 0 | 0.0 |1238M|2816 | - |5645 |8305 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
761.07/761.15 c 727s| 1230k|719714 | 0 | 0.0 |1247M|2816 | - |5645 |9696 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
767.57/767.69 c 733s| 1240k|725545 | 0 | 0.0 |1257M|2816 | - |5645 | 10k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
775.76/775.90 c 741s| 1250k|730158 | 0 | 0.0 |1266M|2816 | - |5645 | 12k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
787.48/787.52 c 752s| 1260k|732430 | 0 | 0.0 |1275M|2816 | - |5645 | 16k| 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
794.87/794.97 c 759s| 1270k|738314 | 0 | 0.0 |1280M|2816 | - |5645 |9221 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
799.97/800.09 c 764s| 1280k|745589 | 0 | 0.0 |1291M|2816 | - |5645 |9342 | 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
805.27/805.37 c 769s| 1290k|752540 | 0 | 0.0 |1301M|2816 | - |5645 | 10k| 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
811.17/811.26 c 775s| 1300k|759028 | 0 | 0.0 |1311M|2816 | - |5645 | 11k| 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
817.77/817.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.77/817.85 c 781s| 1310k|764917 | 0 | 0.0 |1321M|2816 | - |5645 | 12k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
825.77/825.88 c 789s| 1320k|769868 | 0 | 0.0 |1331M|2816 | - |5645 | 14k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
837.17/837.29 c 800s| 1330k|772498 | 0 | 0.0 |1341M|2816 | - |5645 | 18k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
843.57/843.64 c 806s| 1340k|779272 | 0 | 0.0 |1346M|2816 | - |5645 | 10k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
848.57/848.69 c 811s| 1350k|786421 | 0 | 0.0 |1357M|2816 | - |5645 |9997 | 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
854.26/854.33 c 816s| 1360k|793051 | 0 | 0.0 |1368M|2816 | - |5645 | 10k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
860.47/860.53 c 822s| 1370k|799210 | 0 | 0.0 |1379M|2816 | - |5645 | 11k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
867.07/867.11 c 828s| 1380k|805114 | 0 | 0.0 |1388M|2816 | - |5645 | 13k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
875.17/875.21 c 836s| 1390k|809876 | 0 | 0.0 |1398M|2816 | - |5645 | 15k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
887.27/887.34 c 848s| 1400k|812015 | 0 | 0.0 |1407M|2816 | - |5645 | 21k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
892.87/892.92 c 853s| 1410k|819310 | 0 | 0.0 |1413M|2816 | - |5645 | 10k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
897.37/897.41 c 857s| 1420k|826962 | 0 | 0.0 |1421M|2816 | - |5645 |9843 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
902.27/902.33 c 862s| 1430k|834158 | 0 | 0.0 |1430M|2816 | - |5645 |9977 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
907.77/907.82 c 867s| 1440k|840850 | 0 | 0.0 |1440M|2816 | - |5645 | 10k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
914.37/914.43 c 874s| 1450k|846741 | 0 | 0.0 |1451M|2816 | - |5645 | 11k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
921.68/921.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.68/921.71 c 881s| 1460k|852170 | 0 | 0.0 |1462M|2816 | - |5645 | 13k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
930.48/930.58 c 889s| 1470k|856466 | 0 | 0.0 |1472M|2816 | - |5645 | 15k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
942.58/942.67 c 901s| 1480k|859031 | 0 | 0.0 |1479M|2816 | - |5645 | 14k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
947.57/947.68 c 906s| 1490k|866583 | 0 | 0.0 |1488M|2816 | - |5645 | 10k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
952.87/952.96 c 911s| 1500k|873622 | 0 | 0.0 |1498M|2816 | - |5645 | 11k| 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
958.77/958.87 c 916s| 1510k|880162 | 0 | 0.0 |1509M|2816 | - |5645 | 12k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
964.77/964.88 c 922s| 1520k|886631 | 0 | 0.0 |1520M|2816 | - |5645 | 13k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
971.67/971.72 c 929s| 1530k|892530 | 0 | 0.0 |1531M|2816 | - |5645 | 13k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
979.47/979.59 c 936s| 1540k|897619 | 0 | 0.0 |1541M|2816 | - |5645 | 16k| 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
990.97/991.08 c 947s| 1550k|900440 | 0 | 0.0 |1549M|2816 | - |5645 | 18k| 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
995.57/995.65 c 952s| 1560k|908560 | 0 | 0.0 |1555M|2816 | - |5645 | 10k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
999.47/999.52 c 955s| 1570k|916647 | 0 | 0.0 |1563M|2816 | - |5645 | 10k| 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1004.18/1004.22 c 960s| 1580k|924144 | 0 | 0.0 |1573M|2816 | - |5645 | 10k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1009.07/1009.18 c 965s| 1590k|931363 | 0 | 0.0 |1583M|2816 | - |5645 | 10k| 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1014.38/1014.41 c 970s| 1600k|938332 | 0 | 0.0 |1592M|2816 | - |5645 | 10k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1019.58/1019.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.58/1019.61 c 974s| 1610k|945304 | 0 | 0.0 |1601M|2816 | - |5645 | 11k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1025.07/1025.13 c 980s| 1620k|951987 | 0 | 0.0 |1610M|2816 | - |5645 | 11k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1031.08/1031.13 c 985s| 1630k|958381 | 0 | 0.0 |1619M|2816 | - |5645 | 11k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1036.97/1037.08 c 991s| 1640k|964816 | 0 | 0.0 |1629M|2816 | - |5645 | 12k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1043.57/1043.60 c 997s| 1650k|970844 | 0 | 0.0 |1638M|2816 | - |5645 | 12k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1050.48/1050.51 c 1004s| 1660k|976571 | 0 | 0.0 |1647M|2816 | - |5645 | 13k| 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1059.17/1059.26 c 1012s| 1670k|981149 | 0 | 0.0 |1658M|2816 | - |5645 | 15k| 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1069.07/1069.15 c 1022s| 1680k|985096 | 0 | 0.0 |1668M|2816 | - |5645 | 17k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1080.67/1080.70 c 1033s| 1690k|988009 | 0 | 0.0 |1678M|2816 | - |5645 | 19k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1093.57/1093.65 c 1046s| 1700k|990472 | 0 | 0.0 |1682M|2816 | - |5645 | 17k| 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1098.28/1098.34 c 1050s| 1710k|998429 | 0 | 0.0 |1689M|2816 | - |5645 | 13k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1103.77/1103.80 c 1055s| 1720k| 1005k| 0 | 0.0 |1699M|2816 | - |5645 | 12k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1109.78/1109.87 c 1061s| 1730k| 1012k| 0 | 0.0 |1708M|2816 | - |5645 | 13k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1116.87/1116.98 c 1068s| 1740k| 1018k| 0 | 0.0 |1718M|2816 | - |5645 | 14k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1125.88/1125.94 c 1077s| 1750k| 1022k| 0 | 0.0 |1727M|2816 | - |5645 | 16k| 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1138.67/1138.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1138.67/1138.72 c 1089s| 1760k| 1024k| 0 | 0.0 |1735M|2816 | - |5645 | 21k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1144.98/1145.02 c 1095s| 1770k| 1031k| 0 | 0.0 |1741M|2816 | - |5645 | 13k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1150.17/1150.24 c 1100s| 1780k| 1039k| 0 | 0.0 |1751M|2816 | - |5645 | 13k| 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1155.98/1156.01 c 1106s| 1790k| 1046k| 0 | 0.0 |1761M|2816 | - |5645 | 13k| 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1162.37/1162.43 c 1112s| 1800k| 1052k| 0 | 0.0 |1772M|2816 | - |5645 | 14k| 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1169.87/1169.98 c 1119s| 1810k| 1058k| 0 | 0.0 |1782M|2816 | - |5645 | 16k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1179.28/1179.38 c 1128s| 1820k| 1062k| 0 | 0.0 |1792M|2816 | - |5645 | 19k| 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1192.38/1192.49 c 1141s| 1830k| 1064k| 0 | 0.0 |1800M|2816 | - |5645 | 23k| 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1198.07/1198.16 c 1146s| 1840k| 1072k| 0 | 0.0 |1807M|2816 | - |5645 | 13k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1203.47/1203.51 c 1151s| 1850k| 1079k| 0 | 0.0 |1817M|2816 | - |5645 | 13k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1209.27/1209.38 c 1157s| 1860k| 1086k| 0 | 0.0 |1827M|2816 | - |5645 | 12k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1215.27/1215.38 c 1163s| 1870k| 1092k| 0 | 0.0 |1838M|2816 | - |5645 | 13k| 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1221.57/1221.64 c 1168s| 1880k| 1099k| 0 | 0.0 |1848M|2816 | - |5645 | 13k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1228.08/1228.11 c 1175s| 1890k| 1105k| 0 | 0.0 |1857M|2816 | - |5645 | 13k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1234.47/1234.57 c 1181s| 1900k| 1111k| 0 | 0.0 |1866M|2816 | - |5645 | 14k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1241.68/1241.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.68/1241.73 c 1188s| 1910k| 1117k| 0 | 0.0 |1875M|2816 | - |5645 | 14k| 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1248.77/1248.86 c 1194s| 1920k| 1123k| 0 | 0.0 |1884M|2816 | - |5645 | 15k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1256.48/1256.54 c 1202s| 1930k| 1129k| 0 | 0.0 |1893M|2816 | - |5645 | 16k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1264.37/1264.49 c 1209s| 1940k| 1134k| 0 | 0.0 |1901M|2816 | - |5645 | 17k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1273.68/1273.78 c 1218s| 1950k| 1139k| 0 | 0.0 |1909M|2816 | - |5645 | 18k| 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1285.18/1285.28 c 1230s| 1960k| 1142k| 0 | 0.0 |1917M|2816 | - |5645 | 22k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1293.67/1293.76 c 1238s| 1970k| 1148k| 0 | 0.0 |1923M|2816 | - |5645 | 16k| 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1298.88/1298.96 c 1243s| 1980k| 1156k| 0 | 0.0 |1932M|2816 | - |5645 | 14k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1304.17/1304.29 c 1248s| 1990k| 1163k| 0 | 0.0 |1941M|2816 | - |5645 | 14k| 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1309.98/1310.07 c 1253s| 2000k| 1170k| 0 | 0.0 |1951M|2816 | - |5645 | 14k| 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1316.78/1316.82 c 1260s| 2010k| 1176k| 0 | 0.0 |1962M|2816 | - |5645 | 16k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1324.87/1324.98 c 1267s| 2020k| 1181k| 0 | 0.0 |1974M|2816 | - |5645 | 18k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1334.38/1334.46 c 1276s| 2030k| 1186k| 0 | 0.0 |1985M|2816 | - |5645 | 20k| 0 | 0 | 0 |1561k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1347.58/1347.65 c 1289s| 2040k| 1188k| 0 | 0.0 |1996M|2816 | - |5645 | 25k| 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1355.38/1355.46 c 1297s| 2050k| 1195k| 0 | 0.0 |2002M|2816 | - |5645 | 18k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1361.58/1361.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.58/1361.65 c 1303s| 2060k| 1202k| 0 | 0.0 |2011M|2816 | - |5645 | 16k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1368.28/1368.34 c 1309s| 2070k| 1209k| 0 | 0.0 |2021M|2816 | - |5645 | 17k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1375.88/1375.96 c 1316s| 2080k| 1216k| 0 | 0.0 |2032M|2816 | - |5645 | 18k| 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1384.27/1384.37 c 1324s| 2090k| 1221k| 0 | 0.0 |2042M|2816 | - |5645 | 20k| 0 | 0 | 0 |1607k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1394.18/1394.24 c 1334s| 2100k| 1226k| 0 | 0.0 |2053M|2816 | - |5645 | 22k| 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1406.78/1406.87 c 1346s| 2110k| 1229k| 0 | 0.0 |2063M|2816 | - |5645 | 25k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1419.18/1419.27 c 1358s| 2120k| 1233k| 0 | 0.0 |2070M|2816 | - |5645 | 22k| 0 | 0 | 0 |1642k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1425.78/1425.80 c 1364s| 2130k| 1241k| 0 | 0.0 |2080M|2816 | - |5645 | 19k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1432.47/1432.51 c 1371s| 2140k| 1248k| 0 | 0.0 |2090M|2816 | - |5645 | 19k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1440.18/1440.23 c 1378s| 2150k| 1254k| 0 | 0.0 |2102M|2816 | - |5645 | 20k| 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1448.97/1449.06 c 1387s| 2160k| 1260k| 0 | 0.0 |2114M|2816 | - |5645 | 22k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1459.38/1459.48 c 1397s| 2170k| 1264k| 0 | 0.0 |2126M|2816 | - |5645 | 24k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1471.69/1471.77 c 1409s| 2180k| 1268k| 0 | 0.0 |2138M|2816 | - |5645 | 27k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1485.38/1485.49 c 1422s| 2190k| 1271k| 0 | 0.0 |2145M|2816 | - |5645 | 25k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1491.58/1491.61 c 1428s| 2200k| 1279k| 0 | 0.0 |2151M|2816 | - |5645 | 19k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1497.38/1497.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.38/1497.43 c 1433s| 2210k| 1286k| 0 | 0.0 |2160M|2816 | - |5645 | 18k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1503.17/1503.24 c 1439s| 2220k| 1294k| 0 | 0.0 |2169M|2816 | - |5645 | 17k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1508.98/1509.04 c 1444s| 2230k| 1301k| 0 | 0.0 |2177M|2816 | - |5645 | 17k| 0 | 0 | 0 |1723k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1514.98/1515.01 c 1450s| 2240k| 1308k| 0 | 0.0 |2186M|2816 | - |5645 | 17k| 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1520.98/1521.02 c 1456s| 2250k| 1315k| 0 | 0.0 |2195M|2816 | - |5645 | 17k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1527.47/1527.58 c 1462s| 2260k| 1322k| 0 | 0.0 |2205M|2816 | - |5645 | 17k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1534.38/1534.50 c 1469s| 2270k| 1329k| 0 | 0.0 |2215M|2816 | - |5645 | 18k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1541.48/1541.52 c 1476s| 2280k| 1335k| 0 | 0.0 |2224M|2816 | - |5645 | 17k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1548.48/1548.55 c 1482s| 2290k| 1342k| 0 | 0.0 |2234M|2816 | - |5645 | 18k| 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1555.98/1556.05 c 1490s| 2300k| 1348k| 0 | 0.0 |2244M|2816 | - |5645 | 18k| 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1563.68/1563.79 c 1497s| 2310k| 1354k| 0 | 0.0 |2254M|2816 | - |5645 | 19k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1571.48/1571.52 c 1505s| 2320k| 1360k| 0 | 0.0 |2263M|2816 | - |5645 | 20k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1579.98/1580.09 c 1513s| 2330k| 1365k| 0 | 0.0 |2272M|2816 | - |5645 | 20k| 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1588.77/1588.81 c 1521s| 2340k| 1371k| 0 | 0.0 |2282M|2816 | - |5645 | 20k| 0 | 0 | 0 |1799k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1597.58/1597.68 c 1530s| 2350k| 1376k| 0 | 0.0 |2291M|2816 | - |5645 | 21k| 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1606.88/1606.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1606.88/1606.95 c 1539s| 2360k| 1382k| 0 | 0.0 |2301M|2816 | - |5645 | 21k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1617.38/1617.41 c 1549s| 2370k| 1386k| 0 | 0.0 |2310M|2816 | - |5645 | 22k| 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1627.58/1627.64 c 1559s| 2380k| 1391k| 0 | 0.0 |2319M|2816 | - |5645 | 22k| 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1638.77/1638.85 c 1570s| 2390k| 1396k| 0 | 0.0 |2328M|2816 | - |5645 | 23k| 0 | 0 | 0 |1848k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1649.58/1649.63 c 1581s| 2400k| 1400k| 0 | 0.0 |2337M|2816 | - |5645 | 23k| 0 | 0 | 0 |1858k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1660.77/1660.80 c 1591s| 2410k| 1405k| 0 | 0.0 |2345M|2816 | - |5645 | 23k| 0 | 0 | 0 |1869k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1671.18/1671.28 c 1602s| 2420k| 1409k| 0 | 0.0 |2354M|2816 | - |5645 | 23k| 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1681.38/1681.45 c 1612s| 2430k| 1415k| 0 | 0.0 |2362M|2816 | - |5645 | 22k| 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1691.28/1691.33 c 1621s| 2440k| 1420k| 0 | 0.0 |2373M|2816 | - |5645 | 23k| 0 | 0 | 0 |1900k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1702.79/1702.81 c 1632s| 2450k| 1424k| 0 | 0.0 |2383M|2816 | - |5645 | 26k| 0 | 0 | 0 |1912k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1717.37/1717.46 c 1647s| 2460k| 1426k| 0 | 0.0 |2392M|2816 | - |5645 | 29k| 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1725.17/1725.28 c 1654s| 2470k| 1434k| 0 | 0.0 |2399M|2816 | - |5645 | 22k| 0 | 0 | 0 |1931k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1731.78/1731.84 c 1661s| 2480k| 1441k| 0 | 0.0 |2408M|2816 | - |5645 | 20k| 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1738.98/1739.04 c 1668s| 2490k| 1448k| 0 | 0.0 |2419M|2816 | - |5645 | 20k| 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1746.88/1746.96 c 1675s| 2500k| 1454k| 0 | 0.0 |2430M|2816 | - |5645 | 21k| 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1756.28/1756.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1756.28/1756.34 c 1684s| 2510k| 1459k| 0 | 0.0 |2442M|2816 | - |5645 | 23k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1767.08/1767.12 c 1695s| 2520k| 1463k| 0 | 0.0 |2452M|2816 | - |5645 | 27k| 0 | 0 | 0 |1971k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1781.07/1781.18 c 1709s| 2530k| 1466k| 0 | 0.0 |2460M|2816 | - |5645 | 28k| 0 | 0 | 0 |1985k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1788.08/1788.19 c 1715s| 2540k| 1474k| 0 | 0.0 |2466M|2816 | - |5645 | 21k| 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1794.98/1795.03 c 1722s| 2550k| 1481k| 0 | 0.0 |2475M|2816 | - |5645 | 20k| 0 | 0 | 0 |1995k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.08/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.10 c
1800.08/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.10 c Solving Time (sec) : 1726.87
1800.08/1800.10 c Solving Nodes : 2556816
1800.08/1800.10 c Primal Bound : +3.00000000000000e+00 (22 solutions)
1800.08/1800.10 c Dual Bound : +0.00000000000000e+00
1800.08/1800.10 c Gap : infinite
1800.08/1800.18 s SATISFIABLE
1800.08/1800.18 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.08/1800.18 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189
1800.08/1800.18 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.08/1800.18 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.08/1800.18 v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125
1800.08/1800.18 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.08/1800.18 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.08/1800.18 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.08/1800.18 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.08/1800.18 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.08/1800.18 v -x1
1800.08/1800.18 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.18 c Solving Time : 1726.87
1800.08/1800.18 c Original Problem :
1800.08/1800.18 c Problem name : HOME/instance-2693633-1277927636.wbo
1800.08/1800.18 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.08/1800.18 c Constraints : 5415 initial, 5415 maximal
1800.08/1800.18 c Presolved Problem :
1800.08/1800.18 c Problem name : t_HOME/instance-2693633-1277927636.wbo
1800.08/1800.18 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.08/1800.18 c Constraints : 5414 initial, 31543 maximal
1800.08/1800.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.18 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.18 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.18 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.18 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.18 c probing : 0.04 0 0 0 0 0 0 0 0
1800.08/1800.18 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.18 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.08/1800.18 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.18 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.18 c root node : - 2616 - - 5232 - - - -
1800.08/1800.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.18 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.18 c indicator : 2707 0 5825270 0 1736533 39 1712401 0 0 0
1800.08/1800.18 c linear : 2707 0 7669616 0 2171504 504585 44590814 0 0 0
1800.08/1800.18 c logicor : 0+ 0 3837558 0 0 121683 2530162 0 0 0
1800.08/1800.18 c bounddisjunction : 0+ 0 34 0 0 0 1 0 0 0
1800.08/1800.18 c countsols : 0 0 0 0 2171517 0 0 0 0 0
1800.08/1800.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.18 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.18 c indicator : 9.07 0.00 3.88 0.00 5.19
1800.08/1800.18 c linear : 449.30 0.00 447.97 0.00 1.33
1800.08/1800.18 c logicor : 287.20 0.00 287.20 0.00 0.00
1800.08/1800.18 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.18 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.18 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.18 c vbounds : 0.02 2 0 0
1800.08/1800.18 c rootredcost : 0.00 0 0 0
1800.08/1800.18 c pseudoobj : 371.94 7670243 715 1688018
1800.08/1800.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.18 c propagation : 31.97 626983 626878 3100500 21.8 226595 11.9 -
1800.08/1800.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.18 c pseudo solution : 0.00 41 41 140 18.4 101 8.4 -
1800.08/1800.18 c applied globally : - - - 1999480 19.2 - - -
1800.08/1800.18 c applied locally : - - - 2 327.0 - - -
1800.08/1800.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.18 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.18 c redcost : 0.00 0 0 0 0 0
1800.08/1800.18 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.18 c intobj : 0.00 0 0 0 0 0
1800.08/1800.18 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.18 c gomory : 0.00 0 0 0 0 0
1800.08/1800.18 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.18 c cmir : 0.00 0 0 0 0 0
1800.08/1800.18 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.18 c clique : 0.00 0 0 0 0 0
1800.08/1800.18 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.18 c mcf : 0.00 0 0 0 0 0
1800.08/1800.18 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.18 c Pricers : Time Calls Vars
1800.08/1800.18 c problem variables: 0.00 0 0
1800.08/1800.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.18 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.18 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.18 c inference : 32.76 2171498 0 0 0 0 4342996
1800.08/1800.18 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.18 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.18 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.18 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.18 c random : 0.00 0 0 0 0 0 0
1800.08/1800.18 c Primal Heuristics : Time Calls Found
1800.08/1800.18 c LP solutions : 0.00 - 0
1800.08/1800.18 c pseudo solutions : 0.02 - 19
1800.08/1800.18 c oneopt : 0.04 0 0
1800.08/1800.18 c trivial : 0.08 2 2
1800.08/1800.18 c simplerounding : 0.00 0 0
1800.08/1800.18 c zirounding : 0.00 0 0
1800.08/1800.18 c rounding : 0.00 0 0
1800.08/1800.18 c shifting : 0.00 0 0
1800.08/1800.18 c intshifting : 0.00 0 0
1800.08/1800.18 c twoopt : 0.00 0 0
1800.08/1800.18 c fixandinfer : 0.00 0 0
1800.08/1800.18 c feaspump : 0.00 0 0
1800.08/1800.18 c coefdiving : 0.00 0 0
1800.08/1800.18 c pscostdiving : 0.00 0 0
1800.08/1800.18 c fracdiving : 0.00 0 0
1800.08/1800.18 c veclendiving : 0.00 0 0
1800.08/1800.18 c intdiving : 0.00 0 0
1800.08/1800.18 c actconsdiving : 0.00 0 0
1800.08/1800.18 c objpscostdiving : 0.00 0 0
1800.08/1800.18 c rootsoldiving : 0.00 0 0
1800.08/1800.18 c linesearchdiving : 0.00 0 0
1800.08/1800.18 c guideddiving : 0.00 0 0
1800.08/1800.18 c octane : 0.00 0 0
1800.08/1800.18 c rens : 0.00 0 0
1800.08/1800.18 c rins : 0.00 0 0
1800.08/1800.18 c localbranching : 0.00 0 0
1800.08/1800.18 c mutation : 0.00 0 0
1800.08/1800.18 c crossover : 0.00 0 0
1800.08/1800.18 c dins : 0.00 0 0
1800.08/1800.18 c undercover : 0.00 0 0
1800.08/1800.18 c nlp : 0.01 0 0
1800.08/1800.18 c trysol : 0.00 1 1
1800.08/1800.18 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.18 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.18 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.18 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.18 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.18 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.18 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.18 c (at root node) : - 0 0 0.00 -
1800.08/1800.18 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.18 c B&B Tree :
1800.08/1800.18 c number of runs : 1
1800.08/1800.18 c nodes : 2556816
1800.08/1800.18 c nodes (total) : 2556816
1800.08/1800.18 c nodes left : 1485517
1800.08/1800.18 c max depth : 2816
1800.08/1800.18 c max depth (total): 2816
1800.08/1800.18 c backtracks : 338642 (13.2%)
1800.08/1800.18 c delayed cutoffs : 288434
1800.08/1800.18 c repropagations : 1282320 (14846963 domain reductions, 241764 cutoffs)
1800.08/1800.18 c avg switch length: 37.16
1800.08/1800.18 c switching time : 474.03
1800.08/1800.18 c Solution :
1800.08/1800.18 c Solutions found : 22 (20 improvements)
1800.08/1800.18 c First Solution : +1.35279000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.08/1800.18 c Primal Bound : +3.00000000000000e+00 (in run 1, after 417163 nodes, 208.41 seconds, depth 1765, found by <relaxation>)
1800.08/1800.18 c Dual Bound : +0.00000000000000e+00
1800.08/1800.18 c Gap : infinite
1800.08/1800.18 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.18 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693633-1277927636/watcher-2693633-1277927636 -o /tmp/evaluation-result-2693633-1277927636/solver-2693633-1277927636 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693633-1277927636.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.60 2.58 2.27 4/203 15875 /proc/meminfo: memFree=31041880/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=8404 CPUtime=0 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 1580 0 0 0 0 0 0 0 22 0 1 0 134059800 8605696 1502 4089446400 4194304 7136930 140734251822576 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15875/statm: 2149 1505 275 719 0 1428 0 [startup+0.0627009 s] /proc/loadavg: 2.60 2.58 2.27 4/203 15875 /proc/meminfo: memFree=31041880/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=33672 CPUtime=0.05 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 7967 0 0 0 5 0 0 0 22 0 1 0 134059800 34480128 7535 4089446400 4194304 7136930 140734251822576 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15875/statm: 8418 7535 323 719 0 7697 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 33672 [startup+0.100693 s] /proc/loadavg: 2.60 2.58 2.27 4/203 15875 /proc/meminfo: memFree=31041880/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=33672 CPUtime=0.09 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 7967 0 0 0 9 0 0 0 22 0 1 0 134059800 34480128 7535 4089446400 4194304 7136930 140734251822576 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15875/statm: 8418 7535 323 719 0 7697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33672 [startup+0.300662 s] /proc/loadavg: 2.60 2.58 2.27 4/203 15875 /proc/meminfo: memFree=31041880/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=36492 CPUtime=0.29 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 9239 0 0 0 27 2 0 0 22 0 1 0 134059800 37367808 8293 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15875/statm: 9123 8293 383 719 0 8402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36492 [startup+0.700587 s] /proc/loadavg: 2.60 2.58 2.27 4/203 15875 /proc/meminfo: memFree=31041880/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=37632 CPUtime=0.69 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 9516 0 0 0 65 4 0 0 24 0 1 0 134059800 38535168 8570 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15875/statm: 9408 8570 383 719 0 8687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37632 [startup+1.50047 s] /proc/loadavg: 2.60 2.58 2.27 4/204 15876 /proc/meminfo: memFree=31007400/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=42572 CPUtime=1.48 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 10758 0 0 0 137 11 0 0 25 0 1 0 134059800 43593728 9812 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15875/statm: 10643 9812 390 719 0 9922 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 42572 [startup+3.1012 s] /proc/loadavg: 2.60 2.58 2.27 4/204 15876 /proc/meminfo: memFree=31003804/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=45000 CPUtime=3.07 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 11405 0 0 0 289 18 0 0 25 0 1 0 134059800 46080000 10459 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15875/statm: 11250 10459 390 719 0 10529 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 45000 [startup+6.30059 s] /proc/loadavg: 2.55 2.57 2.27 4/204 15876 /proc/meminfo: memFree=30996860/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=54620 CPUtime=6.26 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 13652 0 0 0 589 37 0 0 25 0 1 0 134059800 55930880 12706 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 13655 12706 391 719 0 12934 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 54620 [startup+12.7005 s] /proc/loadavg: 2.59 2.58 2.27 4/204 15876 /proc/meminfo: memFree=30972532/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=77756 CPUtime=12.66 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 19334 0 0 0 1192 74 0 0 25 0 1 0 134059800 79622144 18388 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 19439 18388 391 719 0 18718 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 77756 [startup+25.5012 s] /proc/loadavg: 2.60 2.58 2.28 4/204 15876 /proc/meminfo: memFree=30882300/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=178392 CPUtime=25.46 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 41866 0 0 0 2410 136 0 0 25 0 1 0 134059800 182673408 40920 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 44598 40920 393 719 0 43877 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 178392 [startup+51.1007 s] /proc/loadavg: 2.67 2.60 2.29 4/204 15877 /proc/meminfo: memFree=30810832/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=250264 CPUtime=51.07 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 59295 0 0 0 4810 297 0 0 25 0 1 0 134059800 256270336 58349 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 62566 58349 393 719 0 61845 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 250264 [startup+102.307 s] /proc/loadavg: 2.95 2.70 2.34 4/204 15878 /proc/meminfo: memFree=30698328/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=355040 CPUtime=102.27 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 85469 0 0 0 9707 520 0 0 25 0 1 0 134059800 363560960 84523 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 88760 84523 393 719 0 88039 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 355040 [startup+162.301 s] /proc/loadavg: 2.89 2.72 2.37 4/204 15880 /proc/meminfo: memFree=30551364/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=502764 CPUtime=162.26 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 120879 0 0 0 15410 816 0 0 25 0 1 0 134059800 514830336 119933 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 125691 119933 393 719 0 124970 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 502764 [startup+222.301 s] /proc/loadavg: 2.81 2.72 2.39 3/204 15882 /proc/meminfo: memFree=30393944/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=663632 CPUtime=222.27 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 158234 0 0 0 21106 1121 0 0 25 0 1 0 134059800 679559168 157288 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 165908 157288 393 719 0 165187 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 663632 [startup+282.301 s] /proc/loadavg: 2.93 2.77 2.42 4/204 15884 /proc/meminfo: memFree=30271700/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=775600 CPUtime=282.27 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 186584 0 0 0 26820 1407 0 0 25 0 1 0 134059800 794214400 185638 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 193900 185638 393 719 0 193179 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 775600 [startup+342.301 s] /proc/loadavg: 3.29 2.90 2.49 4/204 15885 /proc/meminfo: memFree=30150240/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=887884 CPUtime=342.27 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 214886 0 0 0 32505 1722 0 0 25 0 1 0 134059800 909193216 213940 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 221971 213940 393 719 0 221250 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 887884 [startup+402.301 s] /proc/loadavg: 2.90 2.86 2.50 3/204 15886 /proc/meminfo: memFree=30045160/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=993756 CPUtime=402.27 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 239562 0 0 0 38231 1996 0 0 25 0 1 0 134059800 1017606144 238616 4089446400 4194304 7136930 140734251822576 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 248439 238616 393 719 0 247718 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 993756 [startup+462.301 s] /proc/loadavg: 2.87 2.85 2.52 4/204 15897 /proc/meminfo: memFree=29948668/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1079796 CPUtime=462.26 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 261037 0 0 0 44011 2215 0 0 25 0 1 0 134059800 1105711104 260091 4089446400 4194304 7136930 140734251822576 18446744073709551615 4221045 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 269949 260091 393 719 0 269228 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 1079796 [startup+522.301 s] /proc/loadavg: 2.78 2.83 2.53 3/204 15899 /proc/meminfo: memFree=29879172/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1144188 CPUtime=522.26 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 277097 0 0 0 49813 2413 0 0 25 0 1 0 134059800 1171648512 276151 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 286047 276151 393 719 0 285326 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 1144188 [startup+582.301 s] /proc/loadavg: 2.68 2.80 2.54 3/201 15949 /proc/meminfo: memFree=30055468/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1183056 CPUtime=582.26 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 286916 0 0 0 55643 2583 0 0 25 0 1 0 134059800 1211449344 285970 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 295764 285970 393 719 0 295043 0 Current children cumulated CPU time (s) 582.26 Current children cumulated vsize (KiB) 1183056 [startup+642.3 s] /proc/loadavg: 2.25 2.65 2.50 3/201 15950 /proc/meminfo: memFree=30003812/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1232372 CPUtime=642.27 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 299240 0 0 0 61412 2815 0 0 25 0 1 0 134059800 1261948928 298294 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 308093 298294 393 719 0 307372 0 Current children cumulated CPU time (s) 642.27 Current children cumulated vsize (KiB) 1232372 [startup+702.301 s] ################ # More data... # ################ /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 449139 0 0 0 101534 4694 0 0 25 0 1 0 134059800 1873113088 448193 4089446400 4194304 7136930 140734251822576 18446744073709551615 4210459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 457303 448193 393 719 0 456582 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 1829212 [startup+1122.3 s] /proc/loadavg: 2.00 2.12 2.28 3/201 15963 /proc/meminfo: memFree=29328136/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1915772 CPUtime=1122.27 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 466673 0 0 0 107313 4914 0 0 25 0 1 0 134059800 1961750528 465727 4089446400 4194304 7136930 140734251822576 18446744073709551615 4923382 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 478943 465727 393 719 0 478222 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 1915772 [startup+1182.3 s] /proc/loadavg: 2.04 2.11 2.27 3/201 15965 /proc/meminfo: memFree=29258764/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=1986660 CPUtime=1182.27 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 484433 0 0 0 113084 5143 0 0 25 0 1 0 134059800 2034339840 483487 4089446400 4194304 7136930 140734251822576 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 496665 483487 393 719 0 495944 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 1986660 [startup+1242.3 s] /proc/loadavg: 2.01 2.09 2.25 3/201 15966 /proc/meminfo: memFree=29178708/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2063752 CPUtime=1242.27 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 504051 0 0 0 118817 5410 0 0 25 0 1 0 134059800 2113282048 503105 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 515938 503105 393 719 0 515217 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 2063752 [startup+1302.3 s] /proc/loadavg: 2.08 2.09 2.24 3/201 15967 /proc/meminfo: memFree=29108848/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2132276 CPUtime=1302.28 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 521097 0 0 0 124582 5646 0 0 25 0 1 0 134059800 2183450624 520151 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 533069 520151 393 719 0 532348 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 2132276 [startup+1362.3 s] /proc/loadavg: 2.08 2.08 2.22 3/201 15969 /proc/meminfo: memFree=29032516/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2208232 CPUtime=1362.27 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 540210 0 0 0 130325 5902 0 0 25 0 1 0 134059800 2261229568 539264 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15875/statm: 552058 539264 393 719 0 551337 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 2208232 [startup+1422.31 s] /proc/loadavg: 2.06 2.08 2.21 3/201 15971 /proc/meminfo: memFree=28969332/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2268736 CPUtime=1422.29 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 555608 0 0 0 136111 6118 0 0 25 0 1 0 134059800 2323185664 554662 4089446400 4194304 7136930 140734251822576 18446744073709551615 4409090 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15875/statm: 567184 554662 393 719 0 566463 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 2268736 [startup+1482.3 s] /proc/loadavg: 2.02 2.06 2.20 3/201 15973 /proc/meminfo: memFree=28909124/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2327736 CPUtime=1482.28 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 570572 0 0 0 141886 6342 0 0 25 0 1 0 134059800 2383601664 569626 4089446400 4194304 7136930 140734251822576 18446744073709551615 5004416 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15875/statm: 581934 569626 393 719 0 581213 0 Current children cumulated CPU time (s) 1482.28 Current children cumulated vsize (KiB) 2327736 [startup+1542.3 s] /proc/loadavg: 2.01 2.05 2.18 3/183 16002 /proc/meminfo: memFree=28916132/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2413276 CPUtime=1542.28 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 592111 0 0 0 147630 6598 0 0 25 0 1 0 134059800 2471194624 591165 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15875/statm: 603319 591165 393 719 0 602598 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 2413276 [startup+1602.3 s] /proc/loadavg: 2.00 2.04 2.17 3/183 16003 /proc/meminfo: memFree=28668688/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2489020 CPUtime=1602.28 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 611052 0 0 0 153446 6782 0 0 25 0 1 0 134059800 2548756480 610106 4089446400 4194304 7136930 140734251822576 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15875/statm: 622255 610106 393 719 0 621534 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 2489020 [startup+1662.3 s] /proc/loadavg: 2.00 2.03 2.16 3/183 16005 /proc/meminfo: memFree=28459196/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2539748 CPUtime=1662.27 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 623753 0 0 0 159292 6935 0 0 25 0 1 0 134059800 2600701952 622807 4089446400 4194304 7136930 140734251822576 18446744073709551615 4210033 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15875/statm: 634937 622807 393 719 0 634216 0 Current children cumulated CPU time (s) 1662.27 Current children cumulated vsize (KiB) 2539748 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.14 3/183 16007 /proc/meminfo: memFree=28259260/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2594180 CPUtime=1722.28 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 637474 0 0 0 165137 7091 0 0 25 0 1 0 134059800 2656440320 636528 4089446400 4194304 7136930 140734251822576 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15875/statm: 648545 636528 393 719 0 647824 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 2594180 [startup+1782.3 s] /proc/loadavg: 2.03 2.03 2.14 3/183 16009 /proc/meminfo: memFree=28058820/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2648784 CPUtime=1782.28 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 651093 0 0 0 170965 7263 0 0 25 0 1 0 134059800 2712354816 650147 4089446400 4194304 7136930 140734251822576 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15875/statm: 662196 650147 393 719 0 661475 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 2648784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.02 2.03 2.13 3/183 16009 /proc/meminfo: memFree=27991728/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2673440 CPUtime=1800.08 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 657339 0 0 0 172690 7318 0 0 25 0 1 0 134059800 2737602560 656393 4089446400 4194304 7136930 140734251822576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15875/statm: 668360 656393 393 719 0 667639 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 2673440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15875 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.02 2.03 2.13 3/184 16010 /proc/meminfo: memFree=27990728/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2673440 CPUtime=1801.38 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 657358 0 0 0 172820 7318 0 0 19 0 1 0 134059800 2737602560 656412 4089446400 4194304 7136930 140734251822576 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15875/statm: 668360 656412 399 719 0 667639 0 Current children cumulated CPU time (s) 1801.38 Current children cumulated vsize (KiB) 2673440 [startup+1801.81 s] /proc/loadavg: 2.02 2.03 2.13 3/184 16010 /proc/meminfo: memFree=27987996/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2673440 CPUtime=1801.78 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 657358 0 0 0 172860 7318 0 0 20 0 1 0 134059800 2737602560 656412 4089446400 4194304 7136930 140734251822576 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15875/statm: 668360 656412 399 719 0 667639 0 Current children cumulated CPU time (s) 1801.78 Current children cumulated vsize (KiB) 2673440 [startup+1802 s] /proc/loadavg: 2.02 2.03 2.13 3/184 16010 /proc/meminfo: memFree=27987996/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2673440 CPUtime=1801.98 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 657358 0 0 0 172880 7318 0 0 20 0 1 0 134059800 2737602560 656412 4089446400 4194304 7136930 140734251822576 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15875/statm: 668360 656412 399 719 0 667639 0 Current children cumulated CPU time (s) 1801.98 Current children cumulated vsize (KiB) 2673440 [startup+1802.1 s] /proc/loadavg: 2.02 2.03 2.13 3/184 16010 /proc/meminfo: memFree=27987996/32951124 swapFree=67111528/67111528 [pid=15875] ppid=15873 vsize=2673440 CPUtime=1802.08 /proc/15875/stat : 15875 (pbscip.linux.x8) R 15873 15875 15850 0 -1 4202496 657358 0 0 0 172890 7318 0 0 20 0 1 0 134059800 2737602560 656412 4089446400 4194304 7136930 140734251822576 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15875/statm: 668360 656412 399 719 0 667639 0 Current children cumulated CPU time (s) 1802.08 Current children cumulated vsize (KiB) 2673440 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.19 CPU time (s): 1802.18 CPU user time (s): 1728.91 CPU system time (s): 73.2729 CPU usage (%): 99.9993 Max. virtual memory (cumulated for all children) (KiB): 2673440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1728.91 system time used= 73.2729 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 657358 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= 3 involuntary context switches= 1654 runsolver used 3.01854 second user time and 5.80312 second system time The end
Begin job on node132 at 2010-06-30 21:53:57 IDJOB=2693633 IDBENCH=79281 IDSOLVER=1206 FILE ID=node132/2693633-1277927636 PBS_JOBID= 11197409 Free space on /tmp= 74140 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.1900563250--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-2693633-1277927636/watcher-2693633-1277927636 -o /tmp/evaluation-result-2693633-1277927636/solver-2693633-1277927636 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693633-1277927636.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cf1e130a7c7d84197ef06427870fc4d7 RANDOM SEED=143629652 node132.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.810 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.62 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.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 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.75 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.810 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.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 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.810 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: 31042408 kB Buffers: 209156 kB Cached: 1218200 kB SwapCached: 0 kB Active: 872408 kB Inactive: 888036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31042408 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3176 kB Writeback: 0 kB AnonPages: 332856 kB Mapped: 20324 kB Slab: 82968 kB PageTables: 5764 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1650156 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74132 MiB End job on node132 at 2010-06-30 22:23:59