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.08 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo |
| MD5SUM | 32795eb517f73910564f73a4c3c20f9d |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 144.309 |
| 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 | 904 |
| 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 | 44120 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 44119 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 761 |
| 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-2694044-1277902329.wbo>
0.02/0.03 c original problem has 2039 variables (1135 bin, 0 int, 0 impl, 904 cont) and 3612 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.02/0.04 c presolving:
0.02/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.02/0.08 c (round 2) 0 del vars, 115 del conss, 904 chg bounds, 43 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.02/0.10 c (round 3) 43 del vars, 285 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.09/0.11 c (round 4) 115 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.12 c (round 5) 144 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.17 c (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 144 deleted vars, 314 deleted constraints, 933 tightened bounds, 0 added holes, 170 changed sides, 0 changed coefficients
0.09/0.17 c 1114 implications, 18 cliques
0.09/0.17 c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3298 constraints
0.09/0.17 c 832 constraints of type <indicator>
0.09/0.17 c 1 constraints of type <knapsack>
0.09/0.17 c 18 constraints of type <setppc>
0.09/0.17 c 832 constraints of type <linear>
0.09/0.17 c 1615 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 2 | 0 | - |7460k| 0 | - |1895 |3298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.42 c 2.3s| 10000 | 8872 | 0 | 0.0 | 13M|1017 | - |1895 |4226 | 0 | 0 | 0 |1610 | 0 | 0.000000e+00 | -- | Inf
5.50/5.54 c 5.3s| 20000 | 15965 | 0 | 0.0 | 20M|1017 | - |1895 |5504 | 0 | 0 | 0 |6522 | 0 | 0.000000e+00 | -- | Inf
7.59/7.64 o 326
7.59/7.64 c * 7.3s| 26260 | 19713 | 0 | 0.0 | 24M|1017 | - |1895 |6409 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.260000e+02 | Inf
7.59/7.64 o 270
7.59/7.64 c * 7.3s| 26261 | 19140 | 0 | 0.0 | 24M|1017 | - |1895 |6409 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.700000e+02 | Inf
7.59/7.69 o 265
7.59/7.69 c * 7.4s| 26409 | 19189 | 0 | 0.0 | 24M|1017 | - |1895 |6336 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.650000e+02 | Inf
7.89/7.97 o 229
7.89/7.97 c * 7.7s| 27381 | 18968 | 0 | 0.0 | 24M|1017 | - |1895 |5778 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.290000e+02 | Inf
7.89/7.97 o 198
7.89/7.97 c * 7.7s| 27382 | 17895 | 0 | 0.0 | 24M|1017 | - |1895 |5778 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.980000e+02 | Inf
8.59/8.66 o 134
8.59/8.66 c * 8.3s| 29614 | 18550 | 0 | 0.0 | 24M|1017 | - |1895 |5049 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
8.69/8.79 c 8.4s| 30000 | 18886 | 0 | 0.0 | 25M|1017 | - |1895 |4971 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
9.48/9.59 o 96
9.48/9.59 c * 9.2s| 32207 | 20402 | 0 | 0.0 | 27M|1017 | - |1895 |5355 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
10.18/10.29 o 74
10.18/10.29 c * 9.9s| 34088 | 21519 | 0 | 0.0 | 29M|1017 | - |1895 |5298 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
12.19/12.20 c 11.7s| 40000 | 26218 | 0 | 0.0 | 34M|1017 | - |1895 |5211 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
15.39/15.48 c 14.9s| 50000 | 33407 | 0 | 0.0 | 41M|1017 | - |1895 |6533 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
19.28/19.32 c 18.6s| 60000 | 39746 | 0 | 0.0 | 49M|1017 | - |1895 |7295 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
23.69/23.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.69/23.71 c 22.9s| 70000 | 45359 | 0 | 0.0 | 56M|1017 | - |1895 |8072 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
28.59/28.63 c 27.6s| 80000 | 50267 | 0 | 0.0 | 65M|1017 | - |1895 |9159 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
33.89/34.00 c 32.9s| 90000 | 54718 | 0 | 0.0 | 73M|1017 | - |1895 |9917 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
40.19/40.22 c 39.0s|100000 | 57986 | 0 | 0.0 | 80M|1017 | - |1895 | 10k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
47.39/47.49 c 46.1s|110000 | 59979 | 0 | 0.0 | 89M|1017 | - |1895 | 14k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
51.89/51.96 o 71
51.89/51.96 c *50.4s|117113 | 63705 | 0 | 0.0 | 93M|1017 | - |1895 |7668 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
52.99/53.03 c 51.5s|120000 | 66200 | 0 | 0.0 | 96M|1017 | - |1895 |5901 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
54.19/54.29 o 44
54.19/54.29 c *52.7s|123337 | 68301 | 0 | 0.0 | 99M|1017 | - |1895 |5457 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
56.88/56.94 c 55.3s|130000 | 73669 | 0 | 0.0 | 112M|1017 | - |1895 |4302 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
60.69/60.70 c 58.9s|140000 | 81301 | 0 | 0.0 | 121M|1017 | - |1895 |4236 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
64.79/64.82 c 62.9s|150000 | 88266 | 0 | 0.0 | 131M|1017 | - |1895 |5014 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
69.38/69.44 c 67.4s|160000 | 94471 | 0 | 0.0 | 141M|1017 | - |1895 |6158 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
71.19/71.27 o 38
71.19/71.27 c *69.2s|163338 | 95342 | 0 | 0.0 | 141M|1017 | - |1895 |6793 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
72.59/72.65 o 22
72.59/72.65 c *70.5s|165225 | 94414 | 0 | 0.0 | 137M|1017 | - |1895 |7342 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
73.99/74.09 c 71.9s|170000 | 98404 | 0 | 0.0 | 139M|1017 | - |1895 |4757 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
78.09/78.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.09/78.15 c 75.8s|180000 |105002 | 0 | 0.0 | 148M|1017 | - |1895 |6672 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
81.69/81.74 c 79.3s|190000 |112276 | 0 | 0.0 | 154M|1017 | - |1895 |5831 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
85.59/85.60 c 83.0s|200000 |119066 | 0 | 0.0 | 161M|1017 | - |1895 |5610 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
89.48/89.57 c 86.9s|210000 |125745 | 0 | 0.0 | 168M|1017 | - |1895 |5753 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
93.09/93.19 c 90.4s|220000 |132699 | 0 | 0.0 | 175M|1017 | - |1895 |6004 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
96.69/96.79 c 93.8s|230000 |139973 | 0 | 0.0 | 180M|1017 | - |1895 |3925 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
100.59/100.68 c 97.6s|240000 |146220 | 0 | 0.0 | 187M|1017 | - |1895 |5819 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
105.39/105.49 c 102s|250000 |151465 | 0 | 0.0 | 195M|1017 | - |1895 |7267 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
110.49/110.55 c 107s|260000 |156388 | 0 | 0.0 | 202M|1017 | - |1895 |6747 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
115.58/115.60 c 112s|270000 |161188 | 0 | 0.0 | 209M|1017 | - |1895 |6382 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
120.59/120.63 c 117s|280000 |165938 | 0 | 0.0 | 216M|1017 | - |1895 |7345 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
125.69/125.74 c 122s|290000 |170595 | 0 | 0.0 | 223M|1017 | - |1895 |6788 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
131.39/131.47 c 128s|300000 |174285 | 0 | 0.0 | 229M|1017 | - |1895 |7846 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
136.69/136.74 c 133s|310000 |178779 | 0 | 0.0 | 235M|1017 | - |1895 |7728 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
142.69/142.76 c 139s|320000 |182136 | 0 | 0.0 | 241M|1017 | - |1895 |8686 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
148.59/148.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.59/148.66 c 144s|330000 |185844 | 0 | 0.0 | 246M|1017 | - |1895 |8804 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
154.49/154.58 c 150s|340000 |189438 | 0 | 0.0 | 251M|1017 | - |1895 |8606 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
161.09/161.15 c 157s|350000 |192155 | 0 | 0.0 | 256M|1017 | - |1895 |9322 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
168.69/168.76 c 164s|360000 |193716 | 0 | 0.0 | 261M|1017 | - |1895 | 11k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
177.29/177.33 c 173s|370000 |194622 | 0 | 0.0 | 265M|1017 | - |1895 | 11k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
188.09/188.11 c 183s|380000 |193605 | 0 | 0.0 | 269M|1017 | - |1895 | 15k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
199.79/199.81 c 195s|390000 |193307 | 0 | 0.0 | 266M|1017 | - |1895 |9046 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
203.40/203.49 c 198s|400000 |201288 | 0 | 0.0 | 274M|1017 | - |1895 |5632 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
206.99/207.00 c 202s|410000 |209090 | 0 | 0.0 | 282M|1017 | - |1895 |5097 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
210.39/210.42 c 205s|420000 |216858 | 0 | 0.0 | 289M|1017 | - |1895 |5161 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
213.89/213.96 c 208s|430000 |224500 | 0 | 0.0 | 296M|1017 | - |1895 |5282 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
217.70/217.74 c 212s|440000 |231817 | 0 | 0.0 | 304M|1017 | - |1895 |5366 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
221.49/221.56 c 216s|450000 |239016 | 0 | 0.0 | 312M|1017 | - |1895 |5496 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
225.50/225.54 c 220s|460000 |246138 | 0 | 0.0 | 321M|1017 | - |1895 |5462 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
229.59/229.64 c 224s|470000 |253006 | 0 | 0.0 | 329M|1017 | - |1895 |6041 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
234.30/234.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.30/234.32 c 228s|480000 |259300 | 0 | 0.0 | 339M|1017 | - |1895 |6397 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
239.19/239.25 c 233s|490000 |265289 | 0 | 0.0 | 349M|1017 | - |1895 |6868 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
244.29/244.38 c 238s|500000 |271085 | 0 | 0.0 | 358M|1017 | - |1895 |7128 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
249.60/249.70 c 243s|510000 |276743 | 0 | 0.0 | 368M|1017 | - |1895 |8102 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
255.29/255.30 c 249s|520000 |282164 | 0 | 0.0 | 377M|1017 | - |1895 |8453 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
260.79/260.89 c 254s|530000 |287733 | 0 | 0.0 | 387M|1017 | - |1895 |8815 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
267.20/267.20 c 260s|540000 |292539 | 0 | 0.0 | 397M|1017 | - |1895 |9090 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
273.29/273.31 c 266s|550000 |297675 | 0 | 0.0 | 409M|1017 | - |1895 |9835 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
279.79/279.85 c 273s|560000 |302438 | 0 | 0.0 | 421M|1017 | - |1895 | 10k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
286.59/286.60 c 279s|570000 |307163 | 0 | 0.0 | 434M|1017 | - |1895 | 10k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
293.39/293.41 c 286s|580000 |311997 | 0 | 0.0 | 447M|1017 | - |1895 | 11k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
300.29/300.38 c 293s|590000 |316617 | 0 | 0.0 | 461M|1017 | - |1895 | 11k| 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
303.89/303.96 o 14
303.89/303.96 c * 296s|595134 |313463 | 0 | 0.0 | 447M|1017 | - |1895 | 11k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
308.20/308.28 c 300s|600000 |315214 | 0 | 0.0 | 459M|1017 | - |1895 | 12k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
316.80/316.81 c 309s|610000 |318988 | 0 | 0.0 | 478M|1017 | - |1895 | 13k| 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
326.60/326.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.60/326.69 c 318s|620000 |321388 | 0 | 0.0 | 493M|1017 | - |1895 |7492 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
333.60/333.60 c 325s|630000 |322892 | 0 | 0.0 | 494M|1017 | - |1895 |5462 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
336.69/336.73 c 328s|640000 |330714 | 0 | 0.0 | 500M|1017 | - |1895 |5128 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
339.89/339.97 c 331s|650000 |338215 | 0 | 0.0 | 507M|1017 | - |1895 |5444 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
343.39/343.44 c 335s|660000 |345359 | 0 | 0.0 | 514M|1017 | - |1895 |5927 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
347.29/347.31 c 338s|670000 |351951 | 0 | 0.0 | 521M|1017 | - |1895 |6332 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
351.69/351.77 c 343s|680000 |357738 | 0 | 0.0 | 529M|1017 | - |1895 |7178 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
356.79/356.85 c 348s|690000 |362763 | 0 | 0.0 | 536M|1017 | - |1895 |7999 | 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
363.49/363.52 c 354s|700000 |365754 | 0 | 0.0 | 543M|1017 | - |1895 |9232 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
369.09/369.17 c 360s|710000 |370172 | 0 | 0.0 | 546M|1017 | - |1895 |5571 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
372.20/372.20 c 363s|720000 |378037 | 0 | 0.0 | 552M|1017 | - |1895 |5614 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
375.49/375.53 c 366s|730000 |385386 | 0 | 0.0 | 558M|1017 | - |1895 |6137 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
379.39/379.50 c 370s|740000 |391796 | 0 | 0.0 | 565M|1017 | - |1895 |7065 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
384.00/384.09 c 374s|750000 |397489 | 0 | 0.0 | 573M|1017 | - |1895 |7808 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
389.40/389.43 c 379s|760000 |402182 | 0 | 0.0 | 580M|1017 | - |1895 |8908 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
396.00/396.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.00/396.03 c 386s|770000 |405370 | 0 | 0.0 | 586M|1017 | - |1895 |9943 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
400.89/400.97 c 391s|780000 |410643 | 0 | 0.0 | 590M|1017 | - |1895 |6022 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
404.39/404.44 c 394s|790000 |417858 | 0 | 0.0 | 597M|1017 | - |1895 |6253 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
408.10/408.16 c 397s|800000 |424677 | 0 | 0.0 | 604M|1017 | - |1895 |7014 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
412.40/412.45 c 402s|810000 |430714 | 0 | 0.0 | 611M|1017 | - |1895 |7987 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
417.59/417.65 c 407s|820000 |435479 | 0 | 0.0 | 618M|1017 | - |1895 |9583 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
424.00/424.07 c 413s|830000 |438990 | 0 | 0.0 | 622M|1017 | - |1895 |7374 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
427.29/427.37 c 416s|840000 |446493 | 0 | 0.0 | 628M|1017 | - |1895 |6709 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
431.50/431.51 c 420s|850000 |452771 | 0 | 0.0 | 635M|1017 | - |1895 |7654 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
436.79/436.87 c 425s|860000 |457434 | 0 | 0.0 | 642M|1017 | - |1895 |9229 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
443.90/443.95 c 432s|870000 |460137 | 0 | 0.0 | 648M|1017 | - |1895 |9808 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
448.59/448.67 c 437s|880000 |465807 | 0 | 0.0 | 653M|1017 | - |1895 |6837 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
453.10/453.13 c 441s|890000 |471687 | 0 | 0.0 | 660M|1017 | - |1895 |7482 | 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
458.30/458.36 c 446s|900000 |476582 | 0 | 0.0 | 667M|1017 | - |1895 |9198 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
466.09/466.11 c 454s|910000 |478704 | 0 | 0.0 | 672M|1017 | - |1895 | 12k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
469.09/469.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.09/469.18 c 457s|920000 |486989 | 0 | 0.0 | 676M|1017 | - |1895 |4445 | 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
473.09/473.17 c 461s|930000 |493357 | 0 | 0.0 | 683M|1017 | - |1895 |5934 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
476.99/477.04 c 464s|940000 |499983 | 0 | 0.0 | 690M|1017 | - |1895 |4987 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
480.29/480.37 c 468s|950000 |507360 | 0 | 0.0 | 696M|1017 | - |1895 |4280 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
483.70/483.77 c 471s|960000 |514553 | 0 | 0.0 | 702M|1017 | - |1895 |4040 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
487.39/487.43 c 475s|970000 |521299 | 0 | 0.0 | 709M|1017 | - |1895 |5595 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
491.19/491.25 c 478s|980000 |527792 | 0 | 0.0 | 716M|1017 | - |1895 |5365 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
494.29/494.38 c 481s|990000 |535552 | 0 | 0.0 | 721M|1017 | - |1895 |3436 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
501.69/501.77 c 488s| 1000k|536329 | 0 | 0.0 | 725M|1017 | - |1895 |7927 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
511.59/511.62 c 498s| 1010k|535171 | 0 | 0.0 | 728M|1017 | - |1895 |9159 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
521.79/521.81 c 508s| 1020k|534065 | 0 | 0.0 | 730M|1017 | - |1895 |9343 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
533.29/533.36 c 520s| 1030k|531545 | 0 | 0.0 | 730M|1017 | - |1895 |9339 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
544.99/545.00 c 531s| 1040k|529170 | 0 | 0.0 | 730M|1017 | - |1895 |9367 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
557.09/557.14 c 543s| 1050k|526166 | 0 | 0.0 | 730M|1017 | - |1895 | 12k| 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
570.50/570.57 c 556s| 1060k|522653 | 0 | 0.0 | 728M|1017 | - |1895 | 12k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
584.49/584.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.49/584.50 c 570s| 1070k|518538 | 0 | 0.0 | 725M|1017 | - |1895 | 13k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
598.89/598.93 c 584s| 1080k|514530 | 0 | 0.0 | 723M|1017 | - |1895 | 15k| 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
614.59/614.69 c 600s| 1090k|510296 | 0 | 0.0 | 719M|1017 | - |1895 | 16k| 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
632.90/632.93 c 618s| 1100k|504580 | 0 | 0.0 | 713M|1017 | - |1895 | 18k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
655.80/655.86 c 641s| 1110k|496524 | 0 | 0.0 | 704M|1017 | - |1895 | 23k| 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
672.19/672.20 c 657s| 1120k|494944 | 0 | 0.0 | 691M|1017 | - |1895 |6624 | 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
676.70/676.79 c 661s| 1130k|501293 | 0 | 0.0 | 698M|1017 | - |1895 |6036 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
681.10/681.12 c 665s| 1140k|507723 | 0 | 0.0 | 705M|1017 | - |1895 |5983 | 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
685.30/685.32 c 669s| 1150k|514402 | 0 | 0.0 | 711M|1017 | - |1895 |5408 | 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
689.61/689.70 c 674s| 1160k|520722 | 0 | 0.0 | 718M|1017 | - |1895 |5164 | 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
693.90/693.95 c 678s| 1170k|527159 | 0 | 0.0 | 724M|1017 | - |1895 |5222 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
698.10/698.17 c 682s| 1180k|533463 | 0 | 0.0 | 731M|1017 | - |1895 |5938 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
702.49/702.51 c 686s| 1190k|539593 | 0 | 0.0 | 737M|1017 | - |1895 |5882 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
706.90/706.95 c 690s| 1200k|545613 | 0 | 0.0 | 744M|1017 | - |1895 |5750 | 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
711.20/711.29 c 695s| 1210k|551813 | 0 | 0.0 | 750M|1017 | - |1895 |5568 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
715.90/715.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.90/715.95 c 699s| 1220k|557478 | 0 | 0.0 | 756M|1017 | - |1895 |6124 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
720.89/720.94 c 704s| 1230k|562755 | 0 | 0.0 | 762M|1017 | - |1895 |5912 | 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
725.59/725.64 c 709s| 1240k|568394 | 0 | 0.0 | 769M|1017 | - |1895 |6112 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
730.80/730.88 c 714s| 1250k|573207 | 0 | 0.0 | 775M|1017 | - |1895 |6470 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
736.00/736.04 c 719s| 1260k|578417 | 0 | 0.0 | 781M|1017 | - |1895 |5138 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
741.10/741.19 c 724s| 1270k|583328 | 0 | 0.0 | 788M|1017 | - |1895 |6393 | 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
746.80/746.82 c 729s| 1280k|587759 | 0 | 0.0 | 794M|1017 | - |1895 |6141 | 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
751.80/751.80 c 734s| 1290k|592961 | 0 | 0.0 | 800M|1017 | - |1895 |6414 | 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
757.20/757.28 c 739s| 1300k|597388 | 0 | 0.0 | 806M|1017 | - |1895 |6128 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
761.90/761.99 c 744s| 1310k|602903 | 0 | 0.0 | 812M|1017 | - |1895 |6460 | 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
767.30/767.31 c 749s| 1320k|607728 | 0 | 0.0 | 819M|1017 | - |1895 |5208 | 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
772.70/772.77 c 755s| 1330k|612077 | 0 | 0.0 | 825M|1017 | - |1895 |6777 | 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
778.30/778.31 c 760s| 1340k|616572 | 0 | 0.0 | 831M|1017 | - |1895 |6409 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
783.99/784.09 c 766s| 1350k|620579 | 0 | 0.0 | 837M|1017 | - |1895 |6856 | 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
789.49/789.57 c 771s| 1360k|625178 | 0 | 0.0 | 843M|1017 | - |1895 |6608 | 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
795.70/795.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.70/795.70 c 777s| 1370k|628653 | 0 | 0.0 | 849M|1017 | - |1895 |7003 | 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
801.30/801.32 c 782s| 1380k|633081 | 0 | 0.0 | 855M|1017 | - |1895 |6888 | 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
807.50/807.56 c 789s| 1390k|636864 | 0 | 0.0 | 860M|1017 | - |1895 |5245 | 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
813.80/813.85 c 795s| 1400k|640120 | 0 | 0.0 | 866M|1017 | - |1895 |7056 | 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
819.60/819.68 c 800s| 1410k|644197 | 0 | 0.0 | 872M|1017 | - |1895 |7063 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
826.50/826.53 c 807s| 1420k|646975 | 0 | 0.0 | 877M|1017 | - |1895 |7130 | 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
832.80/832.84 c 813s| 1430k|650619 | 0 | 0.0 | 883M|1017 | - |1895 |7013 | 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
839.31/839.33 c 820s| 1440k|654143 | 0 | 0.0 | 888M|1017 | - |1895 |6374 | 0 | 0 | 0 |1186k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
846.40/846.47 c 827s| 1450k|656570 | 0 | 0.0 | 894M|1017 | - |1895 |7027 | 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
852.89/852.91 c 833s| 1460k|660210 | 0 | 0.0 | 900M|1017 | - |1895 |6982 | 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
860.10/860.17 c 840s| 1470k|662505 | 0 | 0.0 | 904M|1017 | - |1895 |7239 | 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
866.90/866.95 c 847s| 1480k|665730 | 0 | 0.0 | 910M|1017 | - |1895 |8140 | 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
874.51/874.52 c 854s| 1490k|667848 | 0 | 0.0 | 914M|1017 | - |1895 |7551 | 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
881.50/881.54 c 861s| 1500k|670981 | 0 | 0.0 | 919M|1017 | - |1895 |7993 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
889.50/889.58 c 869s| 1510k|672550 | 0 | 0.0 | 923M|1017 | - |1895 |8083 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
896.90/896.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
896.90/896.90 c 876s| 1520k|675503 | 0 | 0.0 | 927M|1017 | - |1895 |7271 | 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
904.90/904.92 c 884s| 1530k|677219 | 0 | 0.0 | 932M|1017 | - |1895 |9061 | 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
913.00/913.02 c 892s| 1540k|679278 | 0 | 0.0 | 936M|1017 | - |1895 |8651 | 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
920.30/920.37 c 899s| 1550k|682344 | 0 | 0.0 | 941M|1017 | - |1895 |9381 | 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
928.80/928.85 c 907s| 1560k|683867 | 0 | 0.0 | 945M|1017 | - |1895 |9515 | 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
936.90/936.92 c 915s| 1570k|686002 | 0 | 0.0 | 948M|1017 | - |1895 |9475 | 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
944.30/944.33 c 923s| 1580k|689362 | 0 | 0.0 | 953M|1017 | - |1895 |8565 | 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
952.60/952.63 c 931s| 1590k|691294 | 0 | 0.0 | 958M|1017 | - |1895 | 10k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
961.01/961.08 c 939s| 1600k|693364 | 0 | 0.0 | 962M|1017 | - |1895 | 10k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
969.70/969.71 c 948s| 1610k|695468 | 0 | 0.0 | 965M|1017 | - |1895 | 10k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
978.10/978.14 c 956s| 1620k|697802 | 0 | 0.0 | 968M|1017 | - |1895 | 11k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
986.30/986.40 c 964s| 1630k|700441 | 0 | 0.0 | 972M|1017 | - |1895 | 11k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
994.91/994.92 c 972s| 1640k|703017 | 0 | 0.0 | 976M|1017 | - |1895 | 11k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1003.80/1003.84 c 981s| 1650k|705369 | 0 | 0.0 | 980M|1017 | - |1895 | 12k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1013.41/1013.48 c 991s| 1660k|707029 | 0 | 0.0 | 983M|1017 | - |1895 | 13k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1023.10/1023.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.10/1023.16 c 1000s| 1670k|708814 | 0 | 0.0 | 986M|1017 | - |1895 | 14k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1033.11/1033.11 c 1010s| 1680k|710643 | 0 | 0.0 | 990M|1017 | - |1895 | 14k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1037.30/1037.38 o 13
1037.30/1037.38 c *1014s| 1683k|708482 | 0 | 0.0 | 982M|1017 | - |1895 | 15k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1044.60/1044.69 c 1021s| 1690k|708997 | 0 | 0.0 | 984M|1017 | - |1895 | 15k| 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1056.41/1056.46 c 1033s| 1700k|710049 | 0 | 0.0 | 986M|1017 | - |1895 | 16k| 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1070.11/1070.20 c 1046s| 1710k|709811 | 0 | 0.0 | 988M|1017 | - |1895 | 19k| 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1086.31/1086.30 c 1062s| 1720k|708732 | 0 | 0.0 | 988M|1017 | - |1895 | 22k| 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1106.40/1106.40 c 1082s| 1730k|705769 | 0 | 0.0 | 983M|1017 | - |1895 | 23k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1113.00/1113.01 c 1089s| 1740k|712556 | 0 | 0.0 | 987M|1017 | - |1895 | 14k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1118.01/1118.09 c 1094s| 1750k|719427 | 0 | 0.0 | 993M|1017 | - |1895 | 12k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1123.41/1123.44 c 1099s| 1760k|725829 | 0 | 0.0 | 999M|1017 | - |1895 | 11k| 0 | 0 | 0 |1553k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1128.91/1128.91 c 1104s| 1770k|731907 | 0 | 0.0 |1005M|1017 | - |1895 | 11k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1134.41/1134.49 c 1110s| 1780k|737754 | 0 | 0.0 |1012M|1017 | - |1895 | 10k| 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1140.21/1140.25 c 1115s| 1790k|743359 | 0 | 0.0 |1018M|1017 | - |1895 | 10k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1146.21/1146.26 c 1121s| 1800k|748620 | 0 | 0.0 |1025M|1017 | - |1895 | 10k| 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1152.41/1152.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.41/1152.45 c 1127s| 1810k|753724 | 0 | 0.0 |1032M|1017 | - |1895 | 11k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1158.80/1158.88 c 1133s| 1820k|758540 | 0 | 0.0 |1038M|1017 | - |1895 | 11k| 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1165.50/1165.57 c 1140s| 1830k|762998 | 0 | 0.0 |1045M|1017 | - |1895 | 11k| 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1172.40/1172.47 c 1147s| 1840k|767249 | 0 | 0.0 |1051M|1017 | - |1895 | 11k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1179.40/1179.47 c 1154s| 1850k|771217 | 0 | 0.0 |1058M|1017 | - |1895 | 11k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1186.60/1186.68 c 1161s| 1860k|775003 | 0 | 0.0 |1064M|1017 | - |1895 | 11k| 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1193.90/1193.90 c 1168s| 1870k|778892 | 0 | 0.0 |1070M|1017 | - |1895 | 12k| 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1201.41/1201.47 c 1175s| 1880k|782589 | 0 | 0.0 |1076M|1017 | - |1895 | 12k| 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1209.41/1209.46 c 1183s| 1890k|785912 | 0 | 0.0 |1082M|1017 | - |1895 | 13k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1217.91/1217.92 c 1191s| 1900k|788834 | 0 | 0.0 |1088M|1017 | - |1895 | 13k| 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1226.90/1226.91 c 1200s| 1910k|791478 | 0 | 0.0 |1094M|1017 | - |1895 | 14k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1236.21/1236.26 c 1209s| 1920k|794023 | 0 | 0.0 |1099M|1017 | - |1895 | 14k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1247.00/1247.07 c 1220s| 1930k|795387 | 0 | 0.0 |1103M|1017 | - |1895 | 15k| 0 | 0 | 0 |1704k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1258.51/1258.57 c 1231s| 1940k|796457 | 0 | 0.0 |1108M|1017 | - |1895 | 16k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1272.90/1272.92 c 1246s| 1950k|795874 | 0 | 0.0 |1110M|1017 | - |1895 | 19k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1288.01/1288.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.01/1288.08 c 1260s| 1960k|795588 | 0 | 0.0 |1110M|1017 | - |1895 | 19k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1294.41/1294.42 c 1267s| 1970k|801978 | 0 | 0.0 |1114M|1017 | - |1895 | 12k| 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1299.61/1299.65 c 1272s| 1980k|808528 | 0 | 0.0 |1121M|1017 | - |1895 | 11k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1304.80/1304.83 c 1277s| 1990k|814923 | 0 | 0.0 |1127M|1017 | - |1895 | 11k| 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1310.01/1310.04 c 1282s| 2000k|821125 | 0 | 0.0 |1133M|1017 | - |1895 | 10k| 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1315.30/1315.38 c 1287s| 2010k|827026 | 0 | 0.0 |1139M|1017 | - |1895 | 11k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1320.70/1320.76 c 1292s| 2020k|832956 | 0 | 0.0 |1146M|1017 | - |1895 | 11k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1326.30/1326.38 c 1298s| 2030k|838588 | 0 | 0.0 |1152M|1017 | - |1895 | 11k| 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1331.90/1332.00 c 1303s| 2040k|844252 | 0 | 0.0 |1158M|1017 | - |1895 | 11k| 0 | 0 | 0 |1799k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1337.81/1337.81 c 1309s| 2050k|849631 | 0 | 0.0 |1164M|1017 | - |1895 | 11k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1343.91/1343.99 c 1315s| 2060k|854663 | 0 | 0.0 |1170M|1017 | - |1895 | 11k| 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1350.61/1350.60 c 1322s| 2070k|859297 | 0 | 0.0 |1177M|1017 | - |1895 | 12k| 0 | 0 | 0 |1822k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1357.71/1357.79 c 1329s| 2080k|863517 | 0 | 0.0 |1183M|1017 | - |1895 | 12k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1364.91/1364.94 c 1336s| 2090k|867845 | 0 | 0.0 |1189M|1017 | - |1895 | 13k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1372.61/1372.65 c 1343s| 2100k|871620 | 0 | 0.0 |1195M|1017 | - |1895 | 13k| 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1380.61/1380.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1380.61/1380.68 c 1351s| 2110k|875314 | 0 | 0.0 |1200M|1017 | - |1895 | 14k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1390.21/1390.22 c 1360s| 2120k|877827 | 0 | 0.0 |1205M|1017 | - |1895 | 15k| 0 | 0 | 0 |1871k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1400.21/1400.26 c 1370s| 2130k|880284 | 0 | 0.0 |1210M|1017 | - |1895 | 16k| 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1410.91/1410.98 c 1381s| 2140k|882347 | 0 | 0.0 |1215M|1017 | - |1895 | 17k| 0 | 0 | 0 |1896k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1422.91/1422.95 c 1393s| 2150k|883663 | 0 | 0.0 |1219M|1017 | - |1895 | 18k| 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1437.01/1437.02 c 1407s| 2160k|883931 | 0 | 0.0 |1221M|1017 | - |1895 | 20k| 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1452.31/1452.30 c 1422s| 2170k|883876 | 0 | 0.0 |1220M|1017 | - |1895 | 17k| 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1458.81/1458.88 c 1428s| 2180k|889744 | 0 | 0.0 |1224M|1017 | - |1895 | 12k| 0 | 0 | 0 |1949k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1464.91/1464.94 c 1434s| 2190k|895512 | 0 | 0.0 |1229M|1017 | - |1895 | 12k| 0 | 0 | 0 |1955k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1471.31/1471.39 c 1440s| 2200k|900892 | 0 | 0.0 |1234M|1017 | - |1895 | 12k| 0 | 0 | 0 |1962k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1477.81/1477.85 c 1447s| 2210k|906209 | 0 | 0.0 |1239M|1017 | - |1895 | 12k| 0 | 0 | 0 |1970k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1483.91/1483.97 c 1453s| 2220k|911817 | 0 | 0.0 |1245M|1017 | - |1895 | 13k| 0 | 0 | 0 |1977k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1490.31/1490.36 c 1459s| 2230k|917206 | 0 | 0.0 |1250M|1017 | - |1895 | 13k| 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1497.21/1497.22 c 1466s| 2240k|922070 | 0 | 0.0 |1255M|1017 | - |1895 | 13k| 0 | 0 | 0 |1992k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1505.11/1505.17 c 1473s| 2250k|926087 | 0 | 0.0 |1261M|1017 | - |1895 | 14k| 0 | 0 | 0 |2001k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1513.21/1513.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1513.21/1513.23 c 1481s| 2260k|930010 | 0 | 0.0 |1266M|1017 | - |1895 | 15k| 0 | 0 | 0 |2011k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1522.71/1522.72 c 1491s| 2270k|932845 | 0 | 0.0 |1271M|1017 | - |1895 | 16k| 0 | 0 | 0 |2022k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1532.61/1532.66 c 1501s| 2280k|935267 | 0 | 0.0 |1275M|1017 | - |1895 | 16k| 0 | 0 | 0 |2034k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1543.81/1543.87 c 1512s| 2290k|936649 | 0 | 0.0 |1278M|1017 | - |1895 | 17k| 0 | 0 | 0 |2047k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1556.61/1556.68 c 1524s| 2300k|936947 | 0 | 0.0 |1280M|1017 | - |1895 | 19k| 0 | 0 | 0 |2062k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1574.51/1574.53 c 1542s| 2310k|933967 | 0 | 0.0 |1278M|1017 | - |1895 | 22k| 0 | 0 | 0 |2082k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1583.01/1583.08 c 1550s| 2320k|939465 | 0 | 0.0 |1282M|1017 | - |1895 | 16k| 0 | 0 | 0 |2088k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1591.21/1591.28 c 1558s| 2330k|944256 | 0 | 0.0 |1287M|1017 | - |1895 | 15k| 0 | 0 | 0 |2096k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1600.42/1600.43 c 1567s| 2340k|948003 | 0 | 0.0 |1292M|1017 | - |1895 | 16k| 0 | 0 | 0 |2105k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1610.61/1610.63 c 1577s| 2350k|950787 | 0 | 0.0 |1297M|1017 | - |1895 | 16k| 0 | 0 | 0 |2114k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1621.71/1621.76 c 1588s| 2360k|952781 | 0 | 0.0 |1301M|1017 | - |1895 | 17k| 0 | 0 | 0 |2125k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1634.21/1634.23 c 1601s| 2370k|953820 | 0 | 0.0 |1304M|1017 | - |1895 | 19k| 0 | 0 | 0 |2138k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1647.61/1647.69 c 1614s| 2380k|954589 | 0 | 0.0 |1308M|1017 | - |1895 | 21k| 0 | 0 | 0 |2152k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1663.61/1663.65 c 1630s| 2390k|954142 | 0 | 0.0 |1309M|1017 | - |1895 | 24k| 0 | 0 | 0 |2168k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1682.21/1682.26 c 1648s| 2400k|953159 | 0 | 0.0 |1308M|1017 | - |1895 | 23k| 0 | 0 | 0 |2185k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1694.12/1694.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.12/1694.13 c 1660s| 2410k|955973 | 0 | 0.0 |1310M|1017 | - |1895 | 18k| 0 | 0 | 0 |2195k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1704.92/1704.99 c 1671s| 2420k|959016 | 0 | 0.0 |1314M|1017 | - |1895 | 18k| 0 | 0 | 0 |2205k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1715.92/1715.92 c 1681s| 2430k|961838 | 0 | 0.0 |1319M|1017 | - |1895 | 19k| 0 | 0 | 0 |2216k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1727.61/1727.67 c 1693s| 2440k|964150 | 0 | 0.0 |1324M|1017 | - |1895 | 19k| 0 | 0 | 0 |2228k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1740.42/1740.46 c 1706s| 2450k|965738 | 0 | 0.0 |1328M|1017 | - |1895 | 20k| 0 | 0 | 0 |2241k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1754.22/1754.28 c 1719s| 2460k|966741 | 0 | 0.0 |1332M|1017 | - |1895 | 22k| 0 | 0 | 0 |2255k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1773.31/1773.38 c 1738s| 2470k|964771 | 0 | 0.0 |1332M|1017 | - |1895 | 27k| 0 | 0 | 0 |2274k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1783.81/1783.89 c 1749s| 2480k|969580 | 0 | 0.0 |1331M|1017 | - |1895 | 14k| 0 | 0 | 0 |2281k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1788.52/1788.54 c 1753s| 2490k|977104 | 0 | 0.0 |1336M|1017 | - |1895 |8575 | 0 | 0 | 0 |2284k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1792.62/1792.61 c 1757s| 2500k|984513 | 0 | 0.0 |1342M|1017 | - |1895 |8246 | 0 | 0 | 0 |2288k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1797.11/1797.16 c 1761s| 2510k|991354 | 0 | 0.0 |1349M|1017 | - |1895 |8600 | 0 | 0 | 0 |2292k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1764.21
1800.02/1800.00 c Solving Nodes : 2516011
1800.02/1800.00 c Primal Bound : +1.30000000000000e+01 (14 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.01 s SATISFIABLE
1800.02/1800.01 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210
1800.02/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.01 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.01 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.01 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 x130 -x129 -x128 -x127 -x126
1800.02/1800.01 v -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105
1800.02/1800.01 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80
1800.02/1800.01 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55
1800.02/1800.01 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 x32 -x31 -x30 -x29
1800.02/1800.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.02/1800.01 v -x1
1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.01 c Solving Time : 1764.21
1800.02/1800.01 c Original Problem :
1800.02/1800.01 c Problem name : HOME/instance-2694044-1277902329.wbo
1800.02/1800.01 c Variables : 2039 (1135 binary, 0 integer, 0 implicit integer, 904 continuous)
1800.02/1800.01 c Constraints : 3612 initial, 3612 maximal
1800.02/1800.01 c Presolved Problem :
1800.02/1800.01 c Problem name : t_HOME/instance-2694044-1277902329.wbo
1800.02/1800.01 c Variables : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.02/1800.01 c Constraints : 3298 initial, 30095 maximal
1800.02/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.01 c trivial : 0.00 72 0 0 0 0 0 0 0
1800.02/1800.01 c dualfix : 0.00 72 0 0 0 0 0 0 0
1800.02/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.01 c indicator : 0.00 0 0 0 0 0 72 0 0
1800.02/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.01 c linear : 0.07 0 0 0 933 0 242 170 0
1800.02/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c root node : - 717 - - 1434 - - - -
1800.02/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c indicator : 832 0 6741881 0 1682004 716 2859649 0 0 0
1800.02/1800.01 c knapsack : 1 0 8586939 0 1954818 175235 26874025 0 0 0
1800.02/1800.01 c setppc : 18 0 8455031 0 1954444 170529 8704990 0 0 0
1800.02/1800.01 c linear : 832 0 8285257 0 1954953 111483 7712784 0 0 0
1800.02/1800.01 c logicor : 1615+ 0 5959979 0 1954965 375162 15975051 0 0 0
1800.02/1800.01 c bounddisjunction : 0+ 0 52623 0 0 0 2611 0 0 0
1800.02/1800.01 c countsols : 0 0 0 0 1954965 0 0 0 0 0
1800.02/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.01 c indicator : 17.06 0.00 9.48 0.00 7.58
1800.02/1800.01 c knapsack : 95.13 0.00 91.80 0.00 3.33
1800.02/1800.01 c setppc : 40.22 0.00 35.17 0.00 5.05
1800.02/1800.01 c linear : 133.45 0.00 131.90 0.00 1.55
1800.02/1800.01 c logicor : 556.87 0.00 466.12 0.00 90.75
1800.02/1800.01 c bounddisjunction : 0.10 0.00 0.10 0.00 0.00
1800.02/1800.01 c countsols : 0.40 0.00 0.00 0.00 0.40
1800.02/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.01 c vbounds : 1.95 2 0 0
1800.02/1800.01 c rootredcost : 1.95 0 0 0
1800.02/1800.01 c pseudoobj : 154.94 8635897 4260 2778048
1800.02/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.01 c propagation : 25.59 836669 836438 3902096 21.2 55426 10.5 -
1800.02/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.01 c pseudo solution : 0.01 63 63 286 17.7 32 6.7 -
1800.02/1800.01 c applied globally : - - - 2295402 19.2 - - -
1800.02/1800.01 c applied locally : - - - 66 121.9 - - -
1800.02/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.01 c redcost : 0.00 0 0 0 0 0
1800.02/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.01 c intobj : 0.00 0 0 0 0 0
1800.02/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.01 c gomory : 0.00 0 0 0 0 0
1800.02/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.01 c cmir : 0.00 0 0 0 0 0
1800.02/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.01 c clique : 0.00 0 0 0 0 0
1800.02/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.01 c mcf : 0.00 0 0 0 0 0
1800.02/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.01 c Pricers : Time Calls Vars
1800.02/1800.01 c problem variables: 0.00 0 0
1800.02/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.01 c inference : 35.07 1954951 0 0 0 0 3909902
1800.02/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.01 c random : 0.00 0 0 0 0 0 0
1800.02/1800.01 c Primal Heuristics : Time Calls Found
1800.02/1800.01 c LP solutions : 0.00 - 0
1800.02/1800.01 c pseudo solutions : 0.05 - 14
1800.02/1800.01 c oneopt : 0.81 0 0
1800.02/1800.01 c trivial : 0.00 2 0
1800.02/1800.01 c simplerounding : 0.00 0 0
1800.02/1800.01 c zirounding : 0.00 0 0
1800.02/1800.01 c rounding : 0.00 0 0
1800.02/1800.01 c shifting : 0.00 0 0
1800.02/1800.01 c intshifting : 0.00 0 0
1800.02/1800.01 c twoopt : 0.00 0 0
1800.02/1800.01 c fixandinfer : 0.00 0 0
1800.02/1800.01 c feaspump : 0.00 0 0
1800.02/1800.01 c coefdiving : 0.00 0 0
1800.02/1800.01 c pscostdiving : 0.00 0 0
1800.02/1800.01 c fracdiving : 0.00 0 0
1800.02/1800.01 c veclendiving : 0.00 0 0
1800.02/1800.01 c intdiving : 0.00 0 0
1800.02/1800.01 c actconsdiving : 0.00 0 0
1800.02/1800.01 c objpscostdiving : 0.00 0 0
1800.02/1800.01 c rootsoldiving : 0.00 0 0
1800.02/1800.01 c linesearchdiving : 0.00 0 0
1800.02/1800.01 c guideddiving : 0.00 0 0
1800.02/1800.01 c octane : 0.00 0 0
1800.02/1800.01 c rens : 0.00 0 0
1800.02/1800.01 c rins : 0.00 0 0
1800.02/1800.01 c localbranching : 0.00 0 0
1800.02/1800.01 c mutation : 0.00 0 0
1800.02/1800.01 c crossover : 0.00 0 0
1800.02/1800.01 c dins : 0.00 0 0
1800.02/1800.01 c undercover : 0.00 0 0
1800.02/1800.01 c nlp : 0.85 0 0
1800.02/1800.01 c trysol : 0.54 1 0
1800.02/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.01 c (at root node) : - 0 0 0.00 -
1800.02/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.01 c B&B Tree :
1800.02/1800.01 c number of runs : 1
1800.02/1800.01 c nodes : 2516011
1800.02/1800.01 c nodes (total) : 2516011
1800.02/1800.01 c nodes left : 995369
1800.02/1800.01 c max depth : 1017
1800.02/1800.01 c max depth (total): 1017
1800.02/1800.01 c backtracks : 561086 (22.3%)
1800.02/1800.01 c delayed cutoffs : 382546
1800.02/1800.01 c repropagations : 2183714 (17970282 domain reductions, 276402 cutoffs)
1800.02/1800.01 c avg switch length: 28.22
1800.02/1800.01 c switching time : 541.80
1800.02/1800.01 c Solution :
1800.02/1800.01 c Solutions found : 14 (14 improvements)
1800.02/1800.01 c First Solution : +3.26000000000000e+02 (in run 1, after 26260 nodes, 7.32 seconds, depth 238, found by <relaxation>)
1800.02/1800.01 c Primal Bound : +1.30000000000000e+01 (in run 1, after 1683718 nodes, 1014.00 seconds, depth 229, found by <relaxation>)
1800.02/1800.01 c Dual Bound : +0.00000000000000e+00
1800.02/1800.01 c Gap : infinite
1800.02/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.01 c Root Iterations : 0
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694044-1277902329/watcher-2694044-1277902329 -o /tmp/evaluation-result-2694044-1277902329/solver-2694044-1277902329 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694044-1277902329.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.93 2.82 2.45 4/196 23542 /proc/meminfo: memFree=30465324/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=7848 CPUtime=0 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 1448 0 0 0 0 0 0 0 25 0 1 0 163872514 8036352 1371 4089446400 4194304 7136930 140736131202880 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23542/statm: 1962 1374 275 719 0 1241 0 [startup+0.024096 s] /proc/loadavg: 2.93 2.82 2.45 4/196 23542 /proc/meminfo: memFree=30465324/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=11848 CPUtime=0.02 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 2436 0 0 0 2 0 0 0 25 0 1 0 163872514 12132352 2359 4089446400 4194304 7136930 140736131202880 18446744073709551615 4681567 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23542/statm: 2962 2359 275 719 0 2241 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11848 [startup+0.101091 s] /proc/loadavg: 2.93 2.82 2.45 4/196 23542 /proc/meminfo: memFree=30465324/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=21320 CPUtime=0.09 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 6010 0 0 0 8 1 0 0 25 0 1 0 163872514 21831680 4551 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/23542/statm: 5330 4551 354 719 0 4609 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21320 [startup+0.301076 s] /proc/loadavg: 2.93 2.82 2.45 4/196 23542 /proc/meminfo: memFree=30465324/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=24064 CPUtime=0.29 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 9581 0 0 0 27 2 0 0 25 0 1 0 163872514 24641536 5295 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 6016 5295 399 719 0 5295 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24064 [startup+0.700996 s] /proc/loadavg: 2.93 2.82 2.45 4/196 23542 /proc/meminfo: memFree=30465324/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=26148 CPUtime=0.69 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 10113 0 0 0 65 4 0 0 25 0 1 0 163872514 26775552 5827 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 6537 5827 404 719 0 5816 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26148 [startup+1.50087 s] /proc/loadavg: 2.93 2.82 2.45 3/197 23543 /proc/meminfo: memFree=30441384/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=27592 CPUtime=1.49 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 10473 0 0 0 142 7 0 0 25 0 1 0 163872514 28254208 6187 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 6898 6187 404 719 0 6177 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27592 [startup+3.10062 s] /proc/loadavg: 2.93 2.82 2.45 3/197 23543 /proc/meminfo: memFree=30437788/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=33272 CPUtime=3.08 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 11921 0 0 0 295 13 0 0 25 0 1 0 163872514 34070528 7635 4089446400 4194304 7136930 140736131202880 18446744073709551615 5956327 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 8318 7635 404 719 0 7597 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33272 [startup+6.30108 s] /proc/loadavg: 2.94 2.83 2.45 3/197 23543 /proc/meminfo: memFree=30426624/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=43240 CPUtime=6.29 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 14443 0 0 0 604 25 0 0 25 0 1 0 163872514 44277760 10157 4089446400 4194304 7136930 140736131202880 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 10810 10157 404 719 0 10089 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43240 [startup+12.701 s] /proc/loadavg: 2.86 2.81 2.45 3/197 23543 /proc/meminfo: memFree=30401864/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=64084 CPUtime=12.68 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 19487 0 0 0 1221 47 0 0 25 0 1 0 163872514 65622016 15201 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 16021 15201 405 719 0 15300 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 64084 [startup+25.5009 s] /proc/loadavg: 2.67 2.77 2.44 3/197 23543 /proc/meminfo: memFree=30362052/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=96984 CPUtime=25.48 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 27767 0 0 0 2461 87 0 0 25 0 1 0 163872514 99311616 23481 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 24246 23481 405 719 0 23525 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 96984 [startup+51.1006 s] /proc/loadavg: 2.75 2.79 2.46 3/197 23543 /proc/meminfo: memFree=30316388/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=134404 CPUtime=51.08 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 37037 0 0 0 4963 145 0 0 25 0 1 0 163872514 137629696 32751 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 33601 32751 405 719 0 32880 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 134404 [startup+102.306 s] /proc/loadavg: 2.32 2.66 2.43 3/197 23545 /proc/meminfo: memFree=30170148/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=262996 CPUtime=102.29 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 66937 0 0 0 9920 309 0 0 25 0 1 0 163872514 269307904 62651 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 65749 62651 405 719 0 65028 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 262996 [startup+162.301 s] /proc/loadavg: 2.12 2.54 2.40 3/179 23577 /proc/meminfo: memFree=30917340/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=343980 CPUtime=162.29 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 87121 0 0 0 15783 446 0 0 25 0 1 0 163872514 352235520 82835 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 85995 82835 405 719 0 85274 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 343980 [startup+222.301 s] /proc/loadavg: 2.04 2.44 2.37 3/179 23579 /proc/meminfo: memFree=30849476/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=419116 CPUtime=222.29 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 104289 0 0 0 21648 581 0 0 25 0 1 0 163872514 429174784 100003 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 104779 100003 405 719 0 104058 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 419116 [startup+282.301 s] /proc/loadavg: 2.01 2.36 2.35 3/179 23581 /proc/meminfo: memFree=30732376/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=543664 CPUtime=282.3 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 133658 0 0 0 27500 730 0 0 25 0 1 0 163872514 556711936 129372 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 135916 129372 405 719 0 135195 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 543664 [startup+342.301 s] /proc/loadavg: 2.00 2.29 2.32 3/179 23581 /proc/meminfo: memFree=30637096/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=651028 CPUtime=342.29 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 157138 0 0 0 33356 873 0 0 25 0 1 0 163872514 666652672 152852 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 162757 152852 405 719 0 162036 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 651028 [startup+402.301 s] /proc/loadavg: 2.00 2.23 2.30 3/179 23583 /proc/meminfo: memFree=30548024/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=739000 CPUtime=402.29 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 179432 0 0 0 39184 1045 0 0 25 0 1 0 163872514 756736000 175146 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 184750 175146 405 719 0 184029 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 739000 [startup+462.301 s] /proc/loadavg: 2.00 2.19 2.28 3/179 23585 /proc/meminfo: memFree=30463532/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=831388 CPUtime=462.3 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 200483 0 0 0 45019 1211 0 0 25 0 1 0 163872514 851341312 196197 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 207847 196197 405 719 0 207126 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 831388 [startup+522.301 s] /proc/loadavg: 2.00 2.15 2.26 3/179 23587 /proc/meminfo: memFree=30406684/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=886776 CPUtime=522.3 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 214537 0 0 0 50871 1359 0 0 25 0 1 0 163872514 908058624 210251 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 221694 210251 405 719 0 220973 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 886776 [startup+582.301 s] /proc/loadavg: 2.00 2.12 2.24 3/179 23598 /proc/meminfo: memFree=30401128/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=891428 CPUtime=582.3 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 215730 0 0 0 56787 1443 0 0 25 0 1 0 163872514 912822272 211444 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 222857 211444 405 719 0 222136 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 891428 [startup+642.3 s] /proc/loadavg: 2.00 2.10 2.22 3/179 23598 /proc/meminfo: memFree=30398120/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=894428 CPUtime=642.3 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 216436 0 0 0 62714 1516 0 0 25 0 1 0 163872514 915894272 212150 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 223607 212150 405 719 0 222886 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 894428 [startup+702.3 s] ################ # More data... # ################ /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 281482 0 0 0 97954 2277 0 0 25 0 1 0 163872514 1184165888 277196 4089446400 4194304 7136930 140736131202880 18446744073709551615 4677840 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 289103 277196 407 719 0 288382 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1156412 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.13 3/179 23610 /proc/meminfo: memFree=30118324/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1177584 CPUtime=1062.3 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 286204 0 0 0 103856 2374 0 0 25 0 1 0 163872514 1205846016 281918 4089446400 4194304 7136930 140736131202880 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 294396 281918 407 719 0 293675 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1177584 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.12 3/179 23612 /proc/meminfo: memFree=30102420/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1193032 CPUtime=1122.31 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 290160 0 0 0 109771 2460 0 0 25 0 1 0 163872514 1221664768 285874 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 298258 285874 407 719 0 297537 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1193032 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.10 3/179 23614 /proc/meminfo: memFree=30038240/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1257324 CPUtime=1182.31 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 306428 0 0 0 115634 2597 0 0 25 0 1 0 163872514 1287499776 302142 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 314331 302142 407 719 0 313610 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1257324 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.09 3/179 23614 /proc/meminfo: memFree=29995792/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1298996 CPUtime=1242.3 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 316804 0 0 0 121534 2696 0 0 25 0 1 0 163872514 1330171904 312518 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 324749 312518 407 719 0 324028 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 1298996 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.09 3/179 23616 /proc/meminfo: memFree=29974540/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1319480 CPUtime=1302.31 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 321908 0 0 0 127441 2790 0 0 25 0 1 0 163872514 1351147520 317622 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 329870 317622 407 719 0 329149 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 1319480 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.08 4/179 23618 /proc/meminfo: memFree=29912240/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1380824 CPUtime=1362.31 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 337457 0 0 0 133302 2929 0 0 25 0 1 0 163872514 1413963776 333171 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 345206 333171 407 719 0 344485 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1380824 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.07 3/179 23620 /proc/meminfo: memFree=29881824/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1410668 CPUtime=1422.32 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 345036 0 0 0 139203 3029 0 0 25 0 1 0 163872514 1444524032 340750 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 352667 340750 407 719 0 351946 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1410668 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 23622 /proc/meminfo: memFree=29854760/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1437684 CPUtime=1482.31 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 351850 0 0 0 145105 3126 0 0 25 0 1 0 163872514 1472188416 347564 4089446400 4194304 7136930 140736131202880 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 359421 347564 407 719 0 358700 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1437684 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 23622 /proc/meminfo: memFree=29821228/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1471296 CPUtime=1542.31 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 360186 0 0 0 151005 3226 0 0 25 0 1 0 163872514 1506607104 355900 4089446400 4194304 7136930 140736131202880 18446744073709551615 4393377 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 367824 355900 407 719 0 367103 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 1471296 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 23624 /proc/meminfo: memFree=29808796/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1483836 CPUtime=1602.31 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 363403 0 0 0 156924 3307 0 0 25 0 1 0 163872514 1519448064 359117 4089446400 4194304 7136930 140736131202880 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 370959 359117 407 719 0 370238 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 1483836 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 23626 /proc/meminfo: memFree=29792264/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1499604 CPUtime=1662.31 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 367406 0 0 0 162848 3383 0 0 25 0 1 0 163872514 1535594496 363120 4089446400 4194304 7136930 140736131202880 18446744073709551615 4659981 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 374901 363120 407 719 0 374180 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 1499604 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 23628 /proc/meminfo: memFree=29775496/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1516236 CPUtime=1722.31 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 371534 0 0 0 168770 3461 0 0 25 0 1 0 163872514 1552625664 367248 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 379059 367248 407 719 0 378338 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 1516236 [startup+1782.3 s] /proc/loadavg: 2.11 2.03 2.05 3/179 23630 /proc/meminfo: memFree=29758344/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1533564 CPUtime=1782.31 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 375828 0 0 0 174700 3531 0 0 25 0 1 0 163872514 1570369536 371542 4089446400 4194304 7136930 140736131202880 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 383391 371542 407 719 0 382670 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 1533564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.08 2.03 2.05 3/179 23630 /proc/meminfo: memFree=29739240/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1568464 CPUtime=1800.02 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 380566 0 0 0 176423 3579 0 0 25 0 1 0 163872514 1606107136 376280 4089446400 4194304 7136930 140736131202880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/23542/statm: 392116 376280 407 719 0 391395 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1568464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -23542 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.08 2.03 2.05 3/180 23631 /proc/meminfo: memFree=29739232/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1568464 CPUtime=1801.41 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 380571 0 0 0 176562 3579 0 0 25 0 1 0 163872514 1606107136 376285 4089446400 4194304 7136930 140736131202880 18446744073709551615 6165634 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/23542/statm: 392116 376285 412 719 0 391395 0 Current children cumulated CPU time (s) 1801.41 Current children cumulated vsize (KiB) 1568464 [startup+1801.81 s] /proc/loadavg: 2.08 2.03 2.05 3/180 23631 /proc/meminfo: memFree=29740720/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1565884 CPUtime=1801.82 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 380571 0 0 0 176603 3579 0 0 25 0 1 0 163872514 1603465216 375640 4089446400 4194304 7136930 140736131202880 18446744073709551615 6166245 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/23542/statm: 391471 375640 412 719 0 390750 0 Current children cumulated CPU time (s) 1801.82 Current children cumulated vsize (KiB) 1565884 [startup+1802 s] /proc/loadavg: 2.08 2.03 2.05 3/180 23631 /proc/meminfo: memFree=29740720/32951124 swapFree=67111528/67111528 [pid=23542] ppid=23540 vsize=1559696 CPUtime=1802.01 /proc/23542/stat : 23542 (pbscip.linux.x8) R 23540 23542 22591 0 -1 4202496 380571 0 0 0 176622 3579 0 0 25 0 1 0 163872514 1597128704 374093 4089446400 4194304 7136930 140736131202880 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/23542/statm: 389924 374093 412 719 0 389203 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 1559696 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.08 CPU user time (s): 1766.23 CPU system time (s): 35.8456 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 1568464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1766.23 system time used= 35.8456 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 380571 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= 1 involuntary context switches= 1339 runsolver used 2.6486 second user time and 5.56215 second system time The end
Begin job on node118 at 2010-06-30 14:52:09 IDJOB=2694044 IDBENCH=78900 IDSOLVER=1206 FILE ID=node118/2694044-1277902329 PBS_JOBID= 11197185 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694044-1277902329/watcher-2694044-1277902329 -o /tmp/evaluation-result-2694044-1277902329/solver-2694044-1277902329 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694044-1277902329.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 32795eb517f73910564f73a4c3c20f9d RANDOM SEED=708008922 node118.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.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.791 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.76 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.791 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.83 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.791 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.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30465728 kB Buffers: 185668 kB Cached: 1296232 kB SwapCached: 0 kB Active: 1329568 kB Inactive: 1012632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30465728 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3204 kB Writeback: 0 kB AnonPages: 860244 kB Mapped: 20576 kB Slab: 78324 kB PageTables: 5912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1664208 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= 74208 MiB End job on node118 at 2010-06-30 15:22:12