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.14 | 1802.1 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567024--soft-0-100-0.wbo |
| MD5SUM | a7d7105d3e0193cbcd9215f3627722fb |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 231.935 |
| 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 | 137245 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 137244 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 755 |
| 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-2693613-1277926603.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 137244
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.372440e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.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.372440e+05 | Inf
3.29/3.36 c 3.1s| 10000 | 9639 | 0 | 0.0 | 24M|2816 | - |5645 |6557 | 0 | 0 | 0 |1143 | 0 | 0.000000e+00 | 1.372440e+05 | Inf
6.39/6.48 c 6.0s| 20000 | 19639 | 0 | 0.0 | 28M|2816 | - |5645 |6557 | 0 | 0 | 0 |1143 | 0 | 0.000000e+00 | 1.372440e+05 | Inf
7.19/7.24 o 494
7.19/7.24 c * 6.8s| 22701 | 20992 | 0 | 0.0 | 28M|2816 | - |5645 |6557 | 0 | 0 | 0 |1143 | 0 | 0.000000e+00 | 4.940000e+02 | Inf
7.39/7.47 o 476
7.39/7.47 c * 7.0s| 23320 | 21599 | 0 | 0.0 | 29M|2816 | - |5645 |6607 | 0 | 0 | 0 |1193 | 0 | 0.000000e+00 | 4.760000e+02 | Inf
8.19/8.29 o 335
8.19/8.29 c * 7.7s| 26671 | 18388 | 0 | 0.0 | 29M|2816 | - |5645 |6611 | 0 | 0 | 0 |1197 | 0 | 0.000000e+00 | 3.350000e+02 | Inf
8.29/8.36 o 191
8.29/8.36 c * 7.8s| 27099 | 7899 | 0 | 0.0 | 24M|2816 | - |5645 |6611 | 0 | 0 | 0 |1197 | 0 | 0.000000e+00 | 1.910000e+02 | Inf
9.29/9.38 c 8.7s| 30000 | 10334 | 0 | 0.0 | 28M|2816 | - |5645 |7735 | 0 | 0 | 0 |3089 | 0 | 0.000000e+00 | 1.910000e+02 | Inf
13.59/13.63 c 12.8s| 40000 | 17771 | 0 | 0.0 | 41M|2816 | - |5645 |8779 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
17.29/17.33 o 171
17.29/17.33 c *16.3s| 45619 | 20831 | 0 | 0.0 | 48M|2816 | - |5645 |9306 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
17.89/17.91 o 142
17.89/17.91 c *16.9s| 46553 | 21413 | 0 | 0.0 | 48M|2816 | - |5645 |9168 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
17.89/17.91 o 125
17.89/17.91 c *16.9s| 46554 | 21249 | 0 | 0.0 | 48M|2816 | - |5645 |9168 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
18.60/18.62 o 124
18.60/18.62 c *17.5s| 47462 | 22060 | 0 | 0.0 | 50M|2816 | - |5645 |9248 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
20.29/20.32 c 19.2s| 50000 | 24407 | 0 | 0.0 | 53M|2816 | - |5645 |8499 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
20.69/20.73 o 110
20.69/20.73 c *19.6s| 50602 | 24797 | 0 | 0.0 | 53M|2816 | - |5645 |8406 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
21.59/21.69 o 109
21.59/21.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.59/21.69 c *20.5s| 51939 | 25975 | 0 | 0.0 | 55M|2816 | - |5645 |8434 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
21.69/21.70 o 106
21.69/21.70 c *20.5s| 51952 | 25903 | 0 | 0.0 | 55M|2816 | - |5645 |8434 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
21.69/21.70 o 95
21.69/21.70 c *20.5s| 51953 | 25381 | 0 | 0.0 | 54M|2816 | - |5645 |8434 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
23.79/23.87 o 69
23.79/23.87 c *22.6s| 54062 | 25613 | 0 | 0.0 | 55M|2816 | - |5645 |7992 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
24.19/24.23 o 68
24.19/24.23 c *22.9s| 54512 | 25945 | 0 | 0.0 | 57M|2816 | - |5645 |7921 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
24.19/24.24 o 56
24.19/24.24 c *22.9s| 54513 | 25423 | 0 | 0.0 | 56M|2816 | - |5645 |7921 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
28.49/28.54 o 46
28.49/28.54 c *27.0s| 59789 | 29246 | 0 | 0.0 | 63M|2816 | - |5645 |7076 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
28.60/28.65 c 27.1s| 60000 | 29439 | 0 | 0.0 | 63M|2816 | - |5645 |6993 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
30.10/30.11 o 44
30.10/30.11 c *28.5s| 62403 | 31388 | 0 | 0.0 | 65M|2816 | - |5645 |6126 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
32.90/32.93 o 39
32.90/32.93 c *31.1s| 67235 | 35103 | 0 | 0.0 | 69M|2816 | - |5645 |6372 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
34.29/34.30 c 32.4s| 70000 | 37452 | 0 | 0.0 | 73M|2816 | - |5645 |6757 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
38.80/38.87 c 36.7s| 80000 | 45792 | 0 | 0.0 | 84M|2816 | - |5645 |7432 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
39.79/39.85 o 29
39.79/39.85 c *37.6s| 82430 | 47278 | 0 | 0.0 | 84M|2816 | - |5645 |7489 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
42.69/42.73 c 40.3s| 90000 | 53566 | 0 | 0.0 | 92M|2816 | - |5645 |8101 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
43.29/43.34 o 21
43.29/43.34 c *40.9s| 91513 | 53957 | 0 | 0.0 | 90M|2816 | - |5645 |8084 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
46.59/46.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.59/46.67 c 44.0s|100000 | 60935 | 0 | 0.0 | 98M|2816 | - |5645 |6445 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
51.20/51.24 c 48.3s|110000 | 68438 | 0 | 0.0 | 109M|2816 | - |5645 |7420 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
56.59/56.66 c 53.5s|120000 | 75279 | 0 | 0.0 | 121M|2816 | - |5645 |8128 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
62.40/62.49 c 59.0s|130000 | 81752 | 0 | 0.0 | 133M|2816 | - |5645 |8848 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
68.59/68.62 c 64.9s|140000 | 87982 | 0 | 0.0 | 144M|2816 | - |5645 |9418 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
75.09/75.18 c 71.1s|150000 | 93854 | 0 | 0.0 | 155M|2816 | - |5645 |9821 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
82.90/82.95 c 78.6s|160000 | 98689 | 0 | 0.0 | 166M|2816 | - |5645 | 10k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
92.20/92.22 c 87.5s|170000 |102309 | 0 | 0.0 | 177M|2816 | - |5645 | 12k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
102.90/102.94 c 97.9s|180000 |105128 | 0 | 0.0 | 183M|2816 | - |5645 |8200 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
108.30/108.32 c 103s|190000 |113292 | 0 | 0.0 | 194M|2816 | - |5645 |7088 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
108.90/108.94 o 11
108.90/108.94 c * 104s|190947 |112943 | 0 | 0.0 | 191M|2816 | - |5645 |7324 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
115.99/116.10 c 110s|200000 |118396 | 0 | 0.0 | 203M|2816 | - |5645 |6827 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
121.69/121.70 c 116s|210000 |126318 | 0 | 0.0 | 213M|2816 | - |5645 |8306 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
129.50/129.57 c 123s|220000 |132894 | 0 | 0.0 | 226M|2816 | - |5645 | 10k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
138.69/138.76 c 132s|230000 |137947 | 0 | 0.0 | 237M|2816 | - |5645 |8363 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
145.60/145.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.60/145.60 c 139s|240000 |144404 | 0 | 0.0 | 248M|2816 | - |5645 |9222 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
153.30/153.30 c 146s|250000 |150344 | 0 | 0.0 | 261M|2816 | - |5645 | 10k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
159.70/159.76 c 152s|260000 |156935 | 0 | 0.0 | 272M|2816 | - |5645 |9547 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
166.59/166.68 c 159s|270000 |163222 | 0 | 0.0 | 285M|2816 | - |5645 |9711 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
172.60/172.60 c 164s|280000 |170914 | 0 | 0.0 | 300M|2816 | - |5645 | 10k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
179.80/179.81 c 171s|290000 |178102 | 0 | 0.0 | 317M|2816 | - |5645 | 10k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
187.70/187.77 c 179s|300000 |184877 | 0 | 0.0 | 334M|2816 | - |5645 | 11k| 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
198.30/198.32 c 189s|310000 |190013 | 0 | 0.0 | 356M|2816 | - |5645 | 14k| 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
207.10/207.10 c 197s|320000 |197494 | 0 | 0.0 | 411M|2816 | - |5645 | 13k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
216.70/216.78 c 207s|330000 |204247 | 0 | 0.0 | 458M|2816 | - |5645 | 12k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
224.90/224.98 c 214s|340000 |212003 | 0 | 0.0 | 508M|2816 | - |5645 | 14k| 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
237.89/237.99 c 227s|350000 |217614 | 0 | 0.0 | 570M|2816 | - |5645 | 17k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
247.80/247.81 c 236s|360000 |224278 | 0 | 0.0 | 612M|2816 | - |5645 | 15k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
256.89/256.92 c 245s|370000 |231191 | 0 | 0.0 | 653M|2816 | - |5645 | 15k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
263.40/263.43 c 251s|380000 |237691 | 0 | 0.0 | 664M|2816 | - |5645 | 12k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
269.00/269.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.00/269.02 c 256s|390000 |244594 | 0 | 0.0 | 675M|2816 | - |5645 | 14k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
274.30/274.33 c 261s|400000 |251846 | 0 | 0.0 | 686M|2816 | - |5645 | 13k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
279.79/279.84 c 267s|410000 |258850 | 0 | 0.0 | 696M|2816 | - |5645 | 12k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
285.59/285.67 c 272s|420000 |265427 | 0 | 0.0 | 707M|2816 | - |5645 | 12k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
289.90/289.95 c 276s|430000 |273707 | 0 | 0.0 | 717M|2816 | - |5645 | 12k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
295.09/295.17 c 281s|440000 |281011 | 0 | 0.0 | 728M|2816 | - |5645 | 13k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
301.70/301.74 c 287s|450000 |286959 | 0 | 0.0 | 738M|2816 | - |5645 | 12k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
305.80/305.80 c 291s|460000 |295339 | 0 | 0.0 | 747M|2816 | - |5645 | 12k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
310.60/310.62 c 296s|470000 |302816 | 0 | 0.0 | 757M|2816 | - |5645 | 13k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
317.60/317.69 c 302s|480000 |308270 | 0 | 0.0 | 766M|2816 | - |5645 | 12k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
322.70/322.78 c 307s|490000 |315563 | 0 | 0.0 | 776M|2816 | - |5645 | 13k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
327.90/327.93 c 312s|500000 |322914 | 0 | 0.0 | 786M|2816 | - |5645 | 12k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
333.40/333.48 c 317s|510000 |329934 | 0 | 0.0 | 796M|2816 | - |5645 | 13k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
339.39/339.46 c 323s|520000 |336463 | 0 | 0.0 | 806M|2816 | - |5645 | 12k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
344.79/344.83 c 328s|530000 |343619 | 0 | 0.0 | 817M|2816 | - |5645 | 14k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
350.00/350.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.00/350.05 c 333s|540000 |350908 | 0 | 0.0 | 827M|2816 | - |5645 | 13k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
355.90/355.95 c 338s|550000 |357653 | 0 | 0.0 | 837M|2816 | - |5645 | 13k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
361.81/361.86 c 344s|560000 |364439 | 0 | 0.0 | 846M|2816 | - |5645 | 12k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
367.80/367.83 c 350s|570000 |371199 | 0 | 0.0 | 855M|2816 | - |5645 | 13k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
373.90/373.99 c 356s|580000 |377785 | 0 | 0.0 | 865M|2816 | - |5645 | 13k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
380.40/380.50 c 362s|590000 |383997 | 0 | 0.0 | 875M|2816 | - |5645 | 14k| 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
386.11/386.12 c 367s|600000 |391047 | 0 | 0.0 | 885M|2816 | - |5645 | 13k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
391.90/391.93 c 373s|610000 |397787 | 0 | 0.0 | 895M|2816 | - |5645 | 13k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
397.60/397.60 c 378s|620000 |404744 | 0 | 0.0 | 902M|2816 | - |5645 |5549 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
401.51/401.55 c 382s|630000 |412908 | 0 | 0.0 | 913M|2816 | - |5645 |5048 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
405.10/405.11 c 385s|640000 |421102 | 0 | 0.0 | 922M|2816 | - |5645 |5131 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
408.90/408.92 c 388s|650000 |428945 | 0 | 0.0 | 932M|2816 | - |5645 |5324 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
415.10/415.15 c 394s|660000 |434556 | 0 | 0.0 | 942M|2816 | - |5645 |7013 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
421.80/421.89 c 401s|670000 |439725 | 0 | 0.0 | 952M|2816 | - |5645 |7113 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
429.30/429.38 c 408s|680000 |444206 | 0 | 0.0 | 963M|2816 | - |5645 |7979 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
437.40/437.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.40/437.47 c 416s|690000 |448223 | 0 | 0.0 | 974M|2816 | - |5645 |8615 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
445.90/445.90 c 424s|700000 |452055 | 0 | 0.0 | 984M|2816 | - |5645 |8469 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
454.40/454.46 c 432s|710000 |455768 | 0 | 0.0 | 995M|2816 | - |5645 |9658 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
463.40/463.47 c 441s|720000 |459293 | 0 | 0.0 |1005M|2816 | - |5645 |9265 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
472.51/472.59 c 450s|730000 |462555 | 0 | 0.0 |1015M|2816 | - |5645 | 10k| 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
482.40/482.48 c 459s|740000 |465310 | 0 | 0.0 |1024M|2816 | - |5645 | 10k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
492.90/492.92 c 469s|750000 |467558 | 0 | 0.0 |1032M|2816 | - |5645 | 10k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
503.40/503.46 c 479s|760000 |469810 | 0 | 0.0 |1041M|2816 | - |5645 | 11k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
514.70/514.77 c 490s|770000 |471384 | 0 | 0.0 |1048M|2816 | - |5645 | 11k| 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
526.20/526.27 c 501s|780000 |472867 | 0 | 0.0 |1055M|2816 | - |5645 | 12k| 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
539.20/539.23 c 514s|790000 |473363 | 0 | 0.0 |1062M|2816 | - |5645 | 14k| 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
554.60/554.61 c 529s|800000 |472590 | 0 | 0.0 |1067M|2816 | - |5645 | 15k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
572.01/572.02 c 546s|810000 |470442 | 0 | 0.0 |1067M|2816 | - |5645 | 17k| 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
584.91/584.91 c 558s|820000 |472569 | 0 | 0.0 |1065M|2816 | - |5645 |8601 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
589.61/589.65 c 563s|830000 |480488 | 0 | 0.0 |1075M|2816 | - |5645 |7105 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
594.40/594.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.40/594.45 c 567s|840000 |488167 | 0 | 0.0 |1086M|2816 | - |5645 |7436 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
599.90/599.92 c 572s|850000 |495327 | 0 | 0.0 |1096M|2816 | - |5645 |7864 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
605.41/605.47 c 578s|860000 |502356 | 0 | 0.0 |1107M|2816 | - |5645 |8281 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
612.90/612.96 c 585s|870000 |507892 | 0 | 0.0 |1120M|2816 | - |5645 |9176 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
621.51/621.58 c 593s|880000 |512642 | 0 | 0.0 |1133M|2816 | - |5645 | 10k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
631.00/631.10 c 602s|890000 |516766 | 0 | 0.0 |1146M|2816 | - |5645 | 11k| 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
631.21/631.24 o 10
631.21/631.24 c * 602s|890116 |515977 | 0 | 0.0 |1140M|2816 | - |5645 | 11k| 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
643.10/643.16 c 614s|900000 |518821 | 0 | 0.0 |1153M|2816 | - |5645 | 12k| 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
654.11/654.18 c 624s|910000 |522091 | 0 | 0.0 |1161M|2816 | - |5645 |7453 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
659.30/659.36 c 629s|920000 |529703 | 0 | 0.0 |1171M|2816 | - |5645 |6366 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
664.91/664.91 c 634s|930000 |536934 | 0 | 0.0 |1182M|2816 | - |5645 |6765 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
670.71/670.74 c 640s|940000 |543869 | 0 | 0.0 |1193M|2816 | - |5645 |7373 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
676.91/676.92 c 646s|950000 |550576 | 0 | 0.0 |1204M|2816 | - |5645 |7953 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
683.31/683.39 c 652s|960000 |556994 | 0 | 0.0 |1215M|2816 | - |5645 |8594 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
690.20/690.26 c 658s|970000 |563122 | 0 | 0.0 |1227M|2816 | - |5645 |9072 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
697.51/697.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.51/697.57 c 665s|980000 |568944 | 0 | 0.0 |1238M|2816 | - |5645 |9705 | 0 | 0 | 0 | 755k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
705.01/705.09 c 672s|990000 |574549 | 0 | 0.0 |1250M|2816 | - |5645 | 10k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
713.10/713.11 c 680s| 1000k|579821 | 0 | 0.0 |1260M|2816 | - |5645 | 10k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
721.51/721.55 c 688s| 1010k|584767 | 0 | 0.0 |1271M|2816 | - |5645 | 11k| 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
730.61/730.61 c 697s| 1020k|589303 | 0 | 0.0 |1281M|2816 | - |5645 | 12k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
740.10/740.15 c 706s| 1030k|593593 | 0 | 0.0 |1292M|2816 | - |5645 | 12k| 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
750.00/750.09 c 716s| 1040k|597522 | 0 | 0.0 |1303M|2816 | - |5645 | 14k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
761.31/761.38 c 726s| 1050k|600681 | 0 | 0.0 |1312M|2816 | - |5645 | 14k| 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
771.81/771.86 c 736s| 1060k|604373 | 0 | 0.0 |1319M|2816 | - |5645 | 10k| 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
778.11/778.11 c 742s| 1070k|610903 | 0 | 0.0 |1327M|2816 | - |5645 |7471 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
783.21/783.23 c 747s| 1080k|618242 | 0 | 0.0 |1336M|2816 | - |5645 |7751 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
788.61/788.66 c 752s| 1090k|625297 | 0 | 0.0 |1346M|2816 | - |5645 |8602 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
794.91/794.95 c 758s| 1100k|631760 | 0 | 0.0 |1357M|2816 | - |5645 |9788 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
801.60/801.63 c 765s| 1110k|637808 | 0 | 0.0 |1367M|2816 | - |5645 | 10k| 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
809.21/809.23 c 772s| 1120k|643193 | 0 | 0.0 |1377M|2816 | - |5645 | 11k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
817.01/817.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.01/817.03 c 779s| 1130k|648589 | 0 | 0.0 |1387M|2816 | - |5645 | 10k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
824.41/824.43 c 786s| 1140k|654145 | 0 | 0.0 |1396M|2816 | - |5645 |9560 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
831.31/831.31 c 793s| 1150k|660111 | 0 | 0.0 |1406M|2816 | - |5645 |8560 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
837.51/837.56 c 799s| 1160k|666611 | 0 | 0.0 |1416M|2816 | - |5645 |8801 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
843.91/843.92 c 805s| 1170k|673080 | 0 | 0.0 |1427M|2816 | - |5645 |9704 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
850.91/850.95 c 811s| 1180k|679031 | 0 | 0.0 |1438M|2816 | - |5645 | 10k| 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
858.61/858.62 c 819s| 1190k|684474 | 0 | 0.0 |1449M|2816 | - |5645 | 11k| 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
868.11/868.11 c 828s| 1200k|688735 | 0 | 0.0 |1460M|2816 | - |5645 | 13k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
878.40/878.49 c 838s| 1210k|692465 | 0 | 0.0 |1466M|2816 | - |5645 |8727 | 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
882.91/882.94 c 842s| 1220k|700453 | 0 | 0.0 |1476M|2816 | - |5645 |7516 | 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
887.71/887.76 c 846s| 1230k|707954 | 0 | 0.0 |1486M|2816 | - |5645 |8386 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
893.31/893.38 c 852s| 1240k|714957 | 0 | 0.0 |1497M|2816 | - |5645 |9705 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
899.72/899.74 c 858s| 1250k|721421 | 0 | 0.0 |1508M|2816 | - |5645 | 10k| 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
907.01/907.08 c 865s| 1260k|727053 | 0 | 0.0 |1519M|2816 | - |5645 | 12k| 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
915.81/915.88 c 873s| 1270k|731651 | 0 | 0.0 |1530M|2816 | - |5645 | 14k| 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
927.71/927.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.71/927.75 c 885s| 1280k|734074 | 0 | 0.0 |1539M|2816 | - |5645 | 16k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
933.61/933.60 c 890s| 1290k|741326 | 0 | 0.0 |1546M|2816 | - |5645 |8401 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
938.51/938.56 c 895s| 1300k|749009 | 0 | 0.0 |1556M|2816 | - |5645 |8937 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
944.01/944.00 c 900s| 1310k|756216 | 0 | 0.0 |1567M|2816 | - |5645 |9881 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
950.01/950.07 c 906s| 1320k|762959 | 0 | 0.0 |1577M|2816 | - |5645 | 10k| 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
956.51/956.58 c 912s| 1330k|769343 | 0 | 0.0 |1588M|2816 | - |5645 | 11k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
963.31/963.38 c 918s| 1340k|775463 | 0 | 0.0 |1598M|2816 | - |5645 | 10k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
970.22/970.25 c 925s| 1350k|781404 | 0 | 0.0 |1608M|2816 | - |5645 | 10k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
977.01/977.02 c 931s| 1360k|787427 | 0 | 0.0 |1618M|2816 | - |5645 | 10k| 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
984.01/984.01 c 938s| 1370k|793291 | 0 | 0.0 |1628M|2816 | - |5645 |9655 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
990.61/990.68 c 944s| 1380k|799385 | 0 | 0.0 |1637M|2816 | - |5645 |9505 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
997.11/997.13 c 950s| 1390k|805619 | 0 | 0.0 |1648M|2816 | - |5645 |9508 | 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1003.31/1003.31 c 956s| 1400k|812041 | 0 | 0.0 |1658M|2816 | - |5645 |9472 | 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1009.51/1009.54 c 962s| 1410k|818465 | 0 | 0.0 |1668M|2816 | - |5645 |9604 | 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1015.82/1015.82 c 968s| 1420k|824903 | 0 | 0.0 |1678M|2816 | - |5645 |9976 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1022.51/1022.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.51/1022.52 c 974s| 1430k|831067 | 0 | 0.0 |1689M|2816 | - |5645 | 10k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1029.21/1029.23 c 981s| 1440k|837290 | 0 | 0.0 |1699M|2816 | - |5645 | 10k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1036.31/1036.32 c 987s| 1450k|843145 | 0 | 0.0 |1709M|2816 | - |5645 | 11k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1043.71/1043.79 c 995s| 1460k|848751 | 0 | 0.0 |1719M|2816 | - |5645 | 11k| 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1051.82/1051.88 c 1002s| 1470k|853943 | 0 | 0.0 |1729M|2816 | - |5645 | 12k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1060.21/1060.29 c 1010s| 1480k|858940 | 0 | 0.0 |1739M|2816 | - |5645 | 13k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1069.92/1069.96 c 1020s| 1490k|863129 | 0 | 0.0 |1748M|2816 | - |5645 | 14k| 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1081.02/1081.05 c 1030s| 1500k|866355 | 0 | 0.0 |1757M|2816 | - |5645 | 14k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1090.91/1090.99 c 1040s| 1510k|870208 | 0 | 0.0 |1761M|2816 | - |5645 |9373 | 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1096.02/1096.08 c 1045s| 1520k|877897 | 0 | 0.0 |1772M|2816 | - |5645 |8977 | 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1101.31/1101.39 c 1050s| 1530k|885365 | 0 | 0.0 |1783M|2816 | - |5645 |9786 | 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1107.31/1107.31 c 1055s| 1540k|892374 | 0 | 0.0 |1794M|2816 | - |5645 | 10k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1113.81/1113.81 c 1062s| 1550k|898888 | 0 | 0.0 |1806M|2816 | - |5645 | 11k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1121.52/1121.52 c 1069s| 1560k|904573 | 0 | 0.0 |1816M|2816 | - |5645 | 13k| 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1130.91/1130.99 c 1078s| 1570k|909026 | 0 | 0.0 |1826M|2816 | - |5645 | 14k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1143.12/1143.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.12/1143.15 c 1090s| 1580k|911517 | 0 | 0.0 |1828M|2816 | - |5645 | 12k| 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1147.81/1147.85 c 1094s| 1590k|919593 | 0 | 0.0 |1836M|2816 | - |5645 |8311 | 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1152.72/1152.77 c 1099s| 1600k|927323 | 0 | 0.0 |1847M|2816 | - |5645 |8463 | 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1157.81/1157.83 c 1104s| 1610k|934907 | 0 | 0.0 |1857M|2816 | - |5645 |9095 | 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1163.22/1163.27 c 1109s| 1620k|942199 | 0 | 0.0 |1868M|2816 | - |5645 |9713 | 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1168.92/1168.96 c 1114s| 1630k|949311 | 0 | 0.0 |1879M|2816 | - |5645 | 10k| 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1175.02/1175.03 c 1120s| 1640k|956139 | 0 | 0.0 |1890M|2816 | - |5645 | 10k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1181.21/1181.29 c 1126s| 1650k|962849 | 0 | 0.0 |1900M|2816 | - |5645 | 11k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1187.71/1187.75 c 1132s| 1660k|969417 | 0 | 0.0 |1911M|2816 | - |5645 | 11k| 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1194.62/1194.63 c 1139s| 1670k|975721 | 0 | 0.0 |1922M|2816 | - |5645 | 12k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1201.52/1201.55 c 1145s| 1680k|981996 | 0 | 0.0 |1932M|2816 | - |5645 | 12k| 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1209.21/1209.20 c 1153s| 1690k|987716 | 0 | 0.0 |1942M|2816 | - |5645 | 13k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1217.42/1217.49 c 1161s| 1700k|993015 | 0 | 0.0 |1950M|2816 | - |5645 | 13k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1227.02/1227.00 c 1170s| 1710k|997511 | 0 | 0.0 |1959M|2816 | - |5645 | 14k| 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1237.52/1237.57 c 1180s| 1720k| 1001k| 0 | 0.0 |1967M|2816 | - |5645 | 16k| 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1248.92/1248.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1248.92/1248.92 c 1191s| 1730k| 1004k| 0 | 0.0 |1969M|2816 | - |5645 | 14k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1256.22/1256.23 c 1198s| 1740k| 1010k| 0 | 0.0 |1974M|2816 | - |5645 | 10k| 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1261.72/1261.78 c 1203s| 1750k| 1017k| 0 | 0.0 |1982M|2816 | - |5645 | 10k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1267.62/1267.63 c 1209s| 1760k| 1024k| 0 | 0.0 |1992M|2816 | - |5645 | 10k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1273.92/1273.91 c 1215s| 1770k| 1031k| 0 | 0.0 |2003M|2816 | - |5645 | 12k| 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1281.12/1281.18 c 1222s| 1780k| 1037k| 0 | 0.0 |2013M|2816 | - |5645 | 13k| 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1290.12/1290.18 c 1230s| 1790k| 1042k| 0 | 0.0 |2023M|2816 | - |5645 | 15k| 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1302.12/1302.13 c 1242s| 1800k| 1044k| 0 | 0.0 |2026M|2816 | - |5645 | 17k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1306.92/1306.93 o 9
1306.92/1306.93 c *1246s| 1808k| 1045k| 0 | 0.0 |2000M|2816 | - |5645 | 11k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1307.83/1307.89 c 1247s| 1810k| 1046k| 0 | 0.0 |2002M|2816 | - |5645 | 11k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1313.82/1313.87 c 1253s| 1820k| 1053k| 0 | 0.0 |2013M|2816 | - |5645 | 11k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1320.52/1320.50 c 1259s| 1830k| 1060k| 0 | 0.0 |2025M|2816 | - |5645 | 12k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1327.32/1327.38 c 1266s| 1840k| 1067k| 0 | 0.0 |2034M|2816 | - |5645 | 10k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1334.62/1334.61 c 1273s| 1850k| 1072k| 0 | 0.0 |2043M|2816 | - |5645 | 12k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1343.82/1343.89 c 1282s| 1860k| 1077k| 0 | 0.0 |2053M|2816 | - |5645 | 13k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1355.02/1355.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.02/1355.05 c 1292s| 1870k| 1079k| 0 | 0.0 |2059M|2816 | - |5645 | 11k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1359.92/1359.97 c 1297s| 1880k| 1087k| 0 | 0.0 |2068M|2816 | - |5645 |9172 | 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1365.22/1365.20 c 1302s| 1890k| 1095k| 0 | 0.0 |2079M|2816 | - |5645 | 10k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1371.42/1371.42 c 1308s| 1900k| 1101k| 0 | 0.0 |2090M|2816 | - |5645 | 11k| 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1378.42/1378.41 c 1314s| 1910k| 1107k| 0 | 0.0 |2101M|2816 | - |5645 | 12k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1386.03/1386.00 c 1322s| 1920k| 1113k| 0 | 0.0 |2111M|2816 | - |5645 | 12k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1394.52/1394.58 c 1330s| 1930k| 1118k| 0 | 0.0 |2120M|2816 | - |5645 | 13k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1406.22/1406.25 c 1341s| 1940k| 1120k| 0 | 0.0 |2128M|2816 | - |5645 | 14k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1412.32/1412.30 c 1347s| 1950k| 1127k| 0 | 0.0 |2134M|2816 | - |5645 |9184 | 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1417.42/1417.44 c 1352s| 1960k| 1134k| 0 | 0.0 |2145M|2816 | - |5645 | 10k| 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1423.33/1423.32 c 1357s| 1970k| 1141k| 0 | 0.0 |2156M|2816 | - |5645 | 11k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1429.93/1429.94 c 1364s| 1980k| 1147k| 0 | 0.0 |2166M|2816 | - |5645 | 12k| 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1437.52/1437.53 c 1371s| 1990k| 1153k| 0 | 0.0 |2177M|2816 | - |5645 | 13k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1440.82/1440.82 o 8
1440.82/1440.82 c *1374s| 1993k| 1145k| 0 | 0.0 |2143M|2816 | - |5645 | 13k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1447.12/1447.15 c 1380s| 2000k| 1148k| 0 | 0.0 |2149M|2816 | - |5645 | 14k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1458.63/1458.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1458.63/1458.69 c 1391s| 2010k| 1151k| 0 | 0.0 |2155M|2816 | - |5645 | 11k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1463.62/1463.61 c 1396s| 2020k| 1158k| 0 | 0.0 |2165M|2816 | - |5645 |9990 | 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1469.02/1469.00 c 1401s| 2030k| 1166k| 0 | 0.0 |2175M|2816 | - |5645 | 11k| 0 | 0 | 0 |1505k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1474.82/1474.85 c 1406s| 2040k| 1173k| 0 | 0.0 |2186M|2816 | - |5645 | 11k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1481.32/1481.32 c 1412s| 2050k| 1179k| 0 | 0.0 |2197M|2816 | - |5645 | 12k| 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1488.52/1488.54 c 1419s| 2060k| 1185k| 0 | 0.0 |2207M|2816 | - |5645 | 13k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1496.92/1496.90 c 1427s| 2070k| 1190k| 0 | 0.0 |2217M|2816 | - |5645 | 14k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1507.62/1507.68 c 1438s| 2080k| 1193k| 0 | 0.0 |2226M|2816 | - |5645 | 15k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1515.62/1515.68 c 1445s| 2090k| 1198k| 0 | 0.0 |2231M|2816 | - |5645 |9780 | 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1520.52/1520.50 c 1450s| 2100k| 1206k| 0 | 0.0 |2241M|2816 | - |5645 |9893 | 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1525.43/1525.44 c 1454s| 2110k| 1213k| 0 | 0.0 |2251M|2816 | - |5645 | 10k| 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1530.62/1530.64 c 1459s| 2120k| 1221k| 0 | 0.0 |2260M|2816 | - |5645 | 10k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1536.03/1536.06 c 1464s| 2130k| 1228k| 0 | 0.0 |2269M|2816 | - |5645 | 11k| 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1541.82/1541.80 c 1470s| 2140k| 1235k| 0 | 0.0 |2279M|2816 | - |5645 | 11k| 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1548.02/1548.07 c 1476s| 2150k| 1241k| 0 | 0.0 |2288M|2816 | - |5645 | 12k| 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1554.82/1554.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1554.82/1554.87 c 1482s| 2160k| 1248k| 0 | 0.0 |2299M|2816 | - |5645 | 12k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1562.03/1562.03 c 1489s| 2170k| 1253k| 0 | 0.0 |2309M|2816 | - |5645 | 12k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1569.82/1569.84 c 1496s| 2180k| 1259k| 0 | 0.0 |2320M|2816 | - |5645 | 13k| 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1578.43/1578.41 c 1504s| 2190k| 1264k| 0 | 0.0 |2330M|2816 | - |5645 | 14k| 0 | 0 | 0 |1607k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1587.43/1587.46 c 1513s| 2200k| 1268k| 0 | 0.0 |2339M|2816 | - |5645 | 14k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1593.62/1593.61 o 6
1593.62/1593.61 c *1519s| 2206k| 1254k| 0 | 0.0 |2285M|2816 | - |5645 | 14k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1597.33/1597.39 c 1523s| 2210k| 1255k| 0 | 0.0 |2289M|2816 | - |5645 | 14k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1609.33/1609.37 c 1534s| 2220k| 1258k| 0 | 0.0 |2299M|2816 | - |5645 | 16k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1624.92/1624.90 c 1549s| 2230k| 1258k| 0 | 0.0 |2305M|2816 | - |5645 | 18k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1630.82/1630.86 c 1555s| 2240k| 1265k| 0 | 0.0 |2311M|2816 | - |5645 | 10k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1635.73/1635.71 c 1559s| 2250k| 1273k| 0 | 0.0 |2321M|2816 | - |5645 | 10k| 0 | 0 | 0 |1662k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1640.63/1640.68 c 1564s| 2260k| 1281k| 0 | 0.0 |2331M|2816 | - |5645 | 10k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1646.23/1646.22 c 1569s| 2270k| 1288k| 0 | 0.0 |2342M|2816 | - |5645 | 11k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1652.13/1652.11 c 1575s| 2280k| 1295k| 0 | 0.0 |2352M|2816 | - |5645 | 11k| 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1658.13/1658.14 c 1580s| 2290k| 1302k| 0 | 0.0 |2362M|2816 | - |5645 | 11k| 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1664.43/1664.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.43/1664.44 c 1586s| 2300k| 1308k| 0 | 0.0 |2372M|2816 | - |5645 | 12k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1671.03/1671.06 c 1593s| 2310k| 1315k| 0 | 0.0 |2382M|2816 | - |5645 | 12k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1677.82/1677.86 c 1599s| 2320k| 1321k| 0 | 0.0 |2392M|2816 | - |5645 | 12k| 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1685.03/1685.01 c 1606s| 2330k| 1327k| 0 | 0.0 |2402M|2816 | - |5645 | 12k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1692.43/1692.41 c 1613s| 2340k| 1333k| 0 | 0.0 |2412M|2816 | - |5645 | 13k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1700.22/1700.20 c 1620s| 2350k| 1338k| 0 | 0.0 |2421M|2816 | - |5645 | 13k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1708.24/1708.28 c 1628s| 2360k| 1343k| 0 | 0.0 |2431M|2816 | - |5645 | 13k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1717.63/1717.65 c 1637s| 2370k| 1347k| 0 | 0.0 |2440M|2816 | - |5645 | 14k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1728.73/1728.77 c 1648s| 2380k| 1350k| 0 | 0.0 |2448M|2816 | - |5645 | 14k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1742.62/1742.60 c 1661s| 2390k| 1350k| 0 | 0.0 |2451M|2816 | - |5645 | 15k| 0 | 0 | 0 |1768k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1747.63/1747.66 c 1666s| 2400k| 1358k| 0 | 0.0 |2459M|2816 | - |5645 | 10k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1752.93/1752.99 c 1671s| 2410k| 1365k| 0 | 0.0 |2469M|2816 | - |5645 | 11k| 0 | 0 | 0 |1776k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1758.84/1758.86 c 1676s| 2420k| 1372k| 0 | 0.0 |2478M|2816 | - |5645 | 12k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1765.33/1765.33 c 1683s| 2430k| 1379k| 0 | 0.0 |2488M|2816 | - |5645 | 13k| 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1772.73/1772.78 c 1690s| 2440k| 1384k| 0 | 0.0 |2498M|2816 | - |5645 | 14k| 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1781.03/1781.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1781.03/1781.05 c 1698s| 2450k| 1390k| 0 | 0.0 |2507M|2816 | - |5645 | 14k| 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1791.23/1791.29 c 1707s| 2460k| 1393k| 0 | 0.0 |2515M|2816 | - |5645 | 15k| 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1798.73/1798.79 o 5
1798.73/1798.79 c *1715s| 2467k| 1377k| 0 | 0.0 |2473M|2816 | - |5645 | 11k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1715.78
1800.04/1800.00 c Solving Nodes : 2469543
1800.04/1800.00 c Primal Bound : +5.00000000000000e+00 (29 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.08 s SATISFIABLE
1800.04/1800.08 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.08 v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.08 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.04/1800.08 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147
1800.04/1800.08 v -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.08 v -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.08 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.04/1800.08 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.04/1800.08 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.04/1800.08 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.04/1800.08 v -x1
1800.04/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.08 c Solving Time : 1715.78
1800.04/1800.08 c Original Problem :
1800.04/1800.08 c Problem name : HOME/instance-2693613-1277926603.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.04/1800.08 c Presolved Problem :
1800.04/1800.08 c Problem name : t_HOME/instance-2693613-1277926603.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5414 initial, 19095 maximal
1800.04/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.04/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c root node : - 2485 - - 4970 - - - -
1800.04/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 2707 0 6733138 0 1858146 263 5997648 0 0 0
1800.04/1800.08 c linear : 2707 0 7978647 0 2098183 489143 46247593 0 0 0
1800.04/1800.08 c logicor : 0+ 0 3555926 0 0 107716 1764702 0 0 0
1800.04/1800.08 c bounddisjunction : 0+ 0 7643 0 0 0 1 0 0 0
1800.04/1800.08 c countsols : 0 0 0 0 2098206 0 0 0 0 0
1800.04/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c indicator : 42.64 0.00 19.11 0.00 23.53
1800.04/1800.08 c linear : 425.68 0.00 424.22 0.00 1.46
1800.04/1800.08 c logicor : 220.56 0.00 220.56 0.00 0.00
1800.04/1800.08 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.08 c vbounds : 0.00 2 0 0
1800.04/1800.08 c rootredcost : 0.00 0 0 0
1800.04/1800.08 c pseudoobj : 414.75 7984861 5820 5920084
1800.04/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.08 c propagation : 32.76 602679 602677 2819090 21.0 154329 10.5 -
1800.04/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c pseudo solution : 0.08 149 149 600 22.7 298 9.4 -
1800.04/1800.08 c applied globally : - - - 1822817 18.4 - - -
1800.04/1800.08 c applied locally : - - - 0 0.0 - - -
1800.04/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.08 c redcost : 0.00 0 0 0 0 0
1800.04/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.08 c intobj : 0.00 0 0 0 0 0
1800.04/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.08 c gomory : 0.00 0 0 0 0 0
1800.04/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.08 c cmir : 0.00 0 0 0 0 0
1800.04/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.08 c clique : 0.00 0 0 0 0 0
1800.04/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.08 c mcf : 0.00 0 0 0 0 0
1800.04/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.08 c Pricers : Time Calls Vars
1800.04/1800.08 c problem variables: 0.00 0 0
1800.04/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c inference : 57.98 2098180 0 0 0 0 4196360
1800.04/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c random : 0.00 0 0 0 0 0 0
1800.04/1800.08 c Primal Heuristics : Time Calls Found
1800.04/1800.08 c LP solutions : 0.00 - 0
1800.04/1800.08 c pseudo solutions : 0.23 - 26
1800.04/1800.08 c oneopt : 0.05 0 0
1800.04/1800.08 c trivial : 0.08 2 2
1800.04/1800.08 c simplerounding : 0.00 0 0
1800.04/1800.08 c zirounding : 0.00 0 0
1800.04/1800.08 c rounding : 0.00 0 0
1800.04/1800.08 c shifting : 0.00 0 0
1800.04/1800.08 c intshifting : 0.00 0 0
1800.04/1800.08 c twoopt : 0.00 0 0
1800.04/1800.08 c fixandinfer : 0.00 0 0
1800.04/1800.08 c feaspump : 0.00 0 0
1800.04/1800.08 c coefdiving : 0.00 0 0
1800.04/1800.08 c pscostdiving : 0.00 0 0
1800.04/1800.08 c fracdiving : 0.00 0 0
1800.04/1800.08 c veclendiving : 0.00 0 0
1800.04/1800.08 c intdiving : 0.00 0 0
1800.04/1800.08 c actconsdiving : 0.00 0 0
1800.04/1800.08 c objpscostdiving : 0.00 0 0
1800.04/1800.08 c rootsoldiving : 0.00 0 0
1800.04/1800.08 c linesearchdiving : 0.00 0 0
1800.04/1800.08 c guideddiving : 0.00 0 0
1800.04/1800.08 c octane : 0.00 0 0
1800.04/1800.08 c rens : 0.00 0 0
1800.04/1800.08 c rins : 0.00 0 0
1800.04/1800.08 c localbranching : 0.00 0 0
1800.04/1800.08 c mutation : 0.00 0 0
1800.04/1800.08 c crossover : 0.00 0 0
1800.04/1800.08 c dins : 0.00 0 0
1800.04/1800.08 c undercover : 0.00 0 0
1800.04/1800.08 c nlp : 0.00 0 0
1800.04/1800.08 c trysol : 0.01 1 1
1800.04/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.08 c (at root node) : - 0 0 0.00 -
1800.04/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.08 c B&B Tree :
1800.04/1800.08 c number of runs : 1
1800.04/1800.08 c nodes : 2469543
1800.04/1800.08 c nodes (total) : 2469543
1800.04/1800.08 c nodes left : 1379313
1800.04/1800.08 c max depth : 2816
1800.04/1800.08 c max depth (total): 2816
1800.04/1800.08 c backtracks : 331673 (13.4%)
1800.04/1800.08 c delayed cutoffs : 269673
1800.04/1800.08 c repropagations : 1398764 (17101240 domain reductions, 231754 cutoffs)
1800.04/1800.08 c avg switch length: 47.78
1800.04/1800.08 c switching time : 472.70
1800.04/1800.08 c Solution :
1800.04/1800.08 c Solutions found : 29 (27 improvements)
1800.04/1800.08 c First Solution : +1.37244000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.08 c Primal Bound : +5.00000000000000e+00 (in run 1, after 2467308 nodes, 1714.58 seconds, depth 1607, found by <relaxation>)
1800.04/1800.08 c Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Gap : infinite
1800.04/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Root Iterations : 0
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693613-1277926603/watcher-2693613-1277926603 -o /tmp/evaluation-result-2693613-1277926603/solver-2693613-1277926603 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693613-1277926603.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.99 1.99 3/178 17613 /proc/meminfo: memFree=30544560/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=8408 CPUtime=0 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 1578 0 0 0 0 0 0 0 24 0 1 0 133954860 8609792 1501 4089446400 4194304 7136930 140733947502560 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17613/statm: 2102 1501 275 719 0 1381 0 [startup+0.048712 s] /proc/loadavg: 1.99 1.99 1.99 3/178 17613 /proc/meminfo: memFree=30544560/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=27888 CPUtime=0.04 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 6848 0 0 0 4 0 0 0 24 0 1 0 133954860 28557312 6417 4089446400 4194304 7136930 140733947502560 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 6972 6417 289 719 0 6251 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 27888 [startup+0.100592 s] /proc/loadavg: 1.99 1.99 1.99 3/178 17613 /proc/meminfo: memFree=30544560/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=33676 CPUtime=0.09 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 7966 0 0 0 9 0 0 0 24 0 1 0 133954860 34484224 7535 4089446400 4194304 7136930 140733947502560 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300541 s] /proc/loadavg: 1.99 1.99 1.99 3/178 17613 /proc/meminfo: memFree=30544560/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=36496 CPUtime=0.29 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 9240 0 0 0 27 2 0 0 25 0 1 0 133954860 37371904 8295 4089446400 4194304 7136930 140733947502560 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700482 s] /proc/loadavg: 1.99 1.99 1.99 3/178 17613 /proc/meminfo: memFree=30544560/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=37636 CPUtime=0.69 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 9515 0 0 0 65 4 0 0 25 0 1 0 133954860 38539264 8570 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50035 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17614 /proc/meminfo: memFree=30509708/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=42744 CPUtime=1.49 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 10807 0 0 0 137 12 0 0 25 0 1 0 133954860 43769856 9862 4089446400 4194304 7136930 140733947502560 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 10686 9862 390 719 0 9965 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42744 [startup+3.10106 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17614 /proc/meminfo: memFree=30505740/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=44428 CPUtime=3.1 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 11256 0 0 0 289 21 0 0 25 0 1 0 133954860 45494272 10311 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 11107 10311 390 719 0 10386 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 44428 [startup+6.3005 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17614 /proc/meminfo: memFree=30501852/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=47748 CPUtime=6.29 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 12111 0 0 0 591 38 0 0 25 0 1 0 133954860 48893952 11166 4089446400 4194304 7136930 140733947502560 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 11937 11166 390 719 0 11216 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47748 [startup+12.7004 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17614 /proc/meminfo: memFree=30484872/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=66308 CPUtime=12.69 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 16754 0 0 0 1191 78 0 0 25 0 1 0 133954860 67899392 15809 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 16577 15809 391 719 0 15856 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 66308 [startup+25.5011 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17614 /proc/meminfo: memFree=30447692/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=105684 CPUtime=25.49 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 26008 0 0 0 2416 133 0 0 25 0 1 0 133954860 108220416 25063 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 26421 25063 391 719 0 25700 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 105684 [startup+51.1006 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17614 /proc/meminfo: memFree=30375124/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=180784 CPUtime=51.09 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 43999 0 0 0 4824 285 0 0 25 0 1 0 133954860 185122816 43054 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 45196 43054 391 719 0 44475 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 180784 [startup+102.307 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17616 /proc/meminfo: memFree=30287412/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=261936 CPUtime=102.3 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 64433 0 0 0 9735 495 0 0 25 0 1 0 133954860 268222464 63488 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 65484 63488 391 719 0 64763 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 261936 [startup+162.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17618 /proc/meminfo: memFree=30183700/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=367260 CPUtime=162.3 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 90142 0 0 0 15460 770 0 0 25 0 1 0 133954860 376074240 89197 4089446400 4194304 7136930 140733947502560 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 91815 89197 393 719 0 91094 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 367260 [startup+222.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17619 /proc/meminfo: memFree=29967764/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=625208 CPUtime=222.29 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 143866 0 0 0 21191 1038 0 0 25 0 1 0 133954860 640212992 142921 4089446400 4194304 7136930 140733947502560 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 156302 142921 393 719 0 155581 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 625208 [startup+282.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17621 /proc/meminfo: memFree=29745504/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=883224 CPUtime=282.29 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 197678 0 0 0 26897 1332 0 0 25 0 1 0 133954860 904421376 196733 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 220806 196733 393 719 0 220085 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 883224 [startup+342.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17622 /proc/meminfo: memFree=29622912/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=997288 CPUtime=342.3 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 226540 0 0 0 32557 1673 0 0 25 0 1 0 133954860 1021222912 225595 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 249322 225595 393 719 0 248601 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 997288 [startup+402.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17624 /proc/meminfo: memFree=29507636/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=1114264 CPUtime=402.3 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 255710 0 0 0 38236 1994 0 0 25 0 1 0 133954860 1141006336 254765 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 278566 254765 393 719 0 277845 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1114264 [startup+462.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17626 /proc/meminfo: memFree=29414324/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=1213124 CPUtime=462.3 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 278569 0 0 0 43965 2265 0 0 25 0 1 0 133954860 1242238976 277624 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17613/statm: 303281 277624 393 719 0 302560 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1213124 [startup+522.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17627 /proc/meminfo: memFree=29368752/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=1258248 CPUtime=522.3 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 289900 0 0 0 49763 2467 0 0 25 0 1 0 133954860 1288445952 288955 4089446400 4194304 7136930 140733947502560 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 314562 288955 393 719 0 313841 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1258248 [startup+582.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17629 /proc/meminfo: memFree=29351832/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=1274640 CPUtime=582.3 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 293909 0 0 0 55599 2631 0 0 25 0 1 0 133954860 1305231360 292937 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 318660 292937 393 719 0 317939 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1274640 [startup+642.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 17630 /proc/meminfo: memFree=29252304/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=1374000 CPUtime=642.3 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 318032 0 0 0 61294 2936 0 0 25 0 1 0 133954860 1406976000 317060 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 343500 317060 393 719 0 342779 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1374000 [startup+702.3 s] ################ # More data... # ################ /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 446058 0 0 0 95523 4708 0 0 25 0 1 0 133954860 1939361792 445086 4089446400 4194304 7136930 140733947502560 18446744073709551615 4409090 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 473477 445086 393 719 0 472756 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1893908 [startup+1062.3 s] /proc/loadavg: 2.01 2.00 1.99 3/179 17670 /proc/meminfo: memFree=29293416/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=1980896 CPUtime=1062.31 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 467372 0 0 0 101229 5002 0 0 25 0 1 0 133954860 2028437504 466400 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 495224 466400 393 719 0 494503 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1980896 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 17671 /proc/meminfo: memFree=29125596/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2068504 CPUtime=1122.32 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 488329 0 0 0 106975 5257 0 0 25 0 1 0 133954860 2118148096 487357 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 517126 487357 393 719 0 516405 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 2068504 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 17673 /proc/meminfo: memFree=29008504/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2177132 CPUtime=1182.31 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 513637 0 0 0 112696 5535 0 0 25 0 1 0 133954860 2229383168 512665 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 544283 512665 393 719 0 543562 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 2177132 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 17674 /proc/meminfo: memFree=28907356/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2292676 CPUtime=1242.32 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 537012 0 0 0 118448 5784 0 0 25 0 1 0 133954860 2347700224 536040 4089446400 4194304 7136930 140733947502560 18446744073709551615 4221613 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 573169 536040 393 719 0 572448 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 2292676 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 17676 /proc/meminfo: memFree=28829448/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2372444 CPUtime=1302.33 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 555656 0 0 0 124195 6038 0 0 25 0 1 0 133954860 2429382656 554684 4089446400 4194304 7136930 140733947502560 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 593111 554684 393 719 0 592390 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2372444 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 17678 /proc/meminfo: memFree=28759092/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2440680 CPUtime=1362.32 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 572550 0 0 0 129915 6317 0 0 25 0 1 0 133954860 2499256320 571578 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 610170 571578 393 719 0 609449 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2440680 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.99 3/179 17679 /proc/meminfo: memFree=28680916/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2516040 CPUtime=1422.32 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 591503 0 0 0 135630 6602 0 0 25 0 1 0 133954860 2576424960 590531 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 629010 590531 393 719 0 628289 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 2516040 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 17690 /proc/meminfo: memFree=28615592/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2578176 CPUtime=1482.32 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 607434 0 0 0 141338 6894 0 0 25 0 1 0 133954860 2640052224 606462 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 644544 606462 393 719 0 643823 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2578176 [startup+1542.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 17691 /proc/meminfo: memFree=28534780/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2655068 CPUtime=1542.33 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 626882 0 0 0 147027 7206 0 0 25 0 1 0 133954860 2718789632 625910 4089446400 4194304 7136930 140733947502560 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 663767 625910 393 719 0 663046 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2655068 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 17693 /proc/meminfo: memFree=28467244/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2720480 CPUtime=1602.32 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 643239 0 0 0 152736 7496 0 0 25 0 1 0 133954860 2785771520 642267 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 680120 642267 393 719 0 679399 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2720480 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17695 /proc/meminfo: memFree=28413236/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2772044 CPUtime=1662.32 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 656288 0 0 0 158440 7792 0 0 25 0 1 0 133954860 2838573056 655316 4089446400 4194304 7136930 140733947502560 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 693011 655316 393 719 0 692290 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 2772044 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17696 /proc/meminfo: memFree=28340132/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2843180 CPUtime=1722.33 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 674211 0 0 0 164164 8069 0 0 25 0 1 0 133954860 2911416320 673239 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 710795 673239 393 719 0 710074 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2843180 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17698 /proc/meminfo: memFree=28269040/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2913280 CPUtime=1782.33 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 691832 0 0 0 169882 8351 0 0 25 0 1 0 133954860 2983198720 690860 4089446400 4194304 7136930 140733947502560 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 728320 690860 393 719 0 727599 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2913280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17699 /proc/meminfo: memFree=28255248/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2927144 CPUtime=1800.04 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 695321 0 0 0 171581 8423 0 0 25 0 1 0 133954860 2997395456 694349 4089446400 4194304 7136930 140733947502560 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17613/statm: 731786 694349 393 719 0 731065 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2927144 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17613 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 17700 /proc/meminfo: memFree=28255116/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2927144 CPUtime=1801.43 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 695340 0 0 0 171720 8423 0 0 25 0 1 0 133954860 2997395456 694368 4089446400 4194304 7136930 140733947502560 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17613/statm: 731786 694368 399 719 0 731065 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2927144 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 17700 /proc/meminfo: memFree=28255116/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2927144 CPUtime=1801.84 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 695340 0 0 0 171761 8423 0 0 25 0 1 0 133954860 2997395456 694368 4089446400 4194304 7136930 140733947502560 18446744073709551615 4212595 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17613/statm: 731786 694368 399 719 0 731065 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2927144 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 17700 /proc/meminfo: memFree=28255116/32951124 swapFree=67111528/67111528 [pid=17613] ppid=17611 vsize=2927144 CPUtime=1802.03 /proc/17613/stat : 17613 (pbscip.linux.x8) R 17611 17613 17494 0 -1 4202496 695340 0 0 0 171780 8423 0 0 25 0 1 0 133954860 2997395456 694368 4089446400 4194304 7136930 140733947502560 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17613/statm: 731786 694368 399 719 0 731065 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2927144 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.1 CPU time (s): 1802.14 CPU user time (s): 1717.81 CPU system time (s): 84.3252 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2927144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1717.81 system time used= 84.3252 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 695340 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= 2619 runsolver used 2.49062 second user time and 5.81712 second system time The end
Begin job on node144 at 2010-06-30 21:36:43 IDJOB=2693613 IDBENCH=79271 IDSOLVER=1206 FILE ID=node144/2693613-1277926603 PBS_JOBID= 11197371 Free space on /tmp= 74172 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.1900567024--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-2693613-1277926603/watcher-2693613-1277926603 -o /tmp/evaluation-result-2693613-1277926603/solver-2693613-1277926603 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693613-1277926603.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a7d7105d3e0193cbcd9215f3627722fb RANDOM SEED=250643675 node144.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.848 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.69 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.848 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.83 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.848 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.848 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.82 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.848 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.848 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 : 5230.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30545088 kB Buffers: 211768 kB Cached: 1262644 kB SwapCached: 0 kB Active: 1303924 kB Inactive: 953600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30545088 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3136 kB Writeback: 0 kB AnonPages: 783044 kB Mapped: 17632 kB Slab: 81724 kB PageTables: 6528 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1020836 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= 74168 MiB End job on node144 at 2010-06-30 22:06:45