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.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557362--soft-0-100-0.wbo |
| MD5SUM | 72eb8aad8ccea22a443211b3b107df93 |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 466.477 |
| 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 | 136843 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136842 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 709 |
| 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-2693695-1277930578.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 136842
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.368420e+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.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
2.99/3.02 c 2.8s| 10000 | 9617 | 0 | 0.0 | 24M|2816 | - |5645 |6686 | 0 | 0 | 0 |1273 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
4.89/4.91 o 541
4.89/4.91 c * 4.5s| 17208 | 6618 | 0 | 0.0 | 23M|2816 | - |5645 |6686 | 0 | 0 | 0 |1273 | 0 | 0.000000e+00 | 5.410000e+02 | Inf
4.89/4.97 o 499
4.89/4.97 c * 4.6s| 17336 | 6734 | 0 | 0.0 | 23M|2816 | - |5645 |6696 | 0 | 0 | 0 |1283 | 0 | 0.000000e+00 | 4.990000e+02 | Inf
5.50/5.51 o 350
5.50/5.51 c * 5.1s| 19146 | 6907 | 0 | 0.0 | 24M|2816 | - |5645 |6700 | 0 | 0 | 0 |1287 | 0 | 0.000000e+00 | 3.500000e+02 | Inf
5.50/5.51 o 302
5.50/5.51 c * 5.1s| 19147 | 6608 | 0 | 0.0 | 24M|2816 | - |5645 |6700 | 0 | 0 | 0 |1287 | 0 | 0.000000e+00 | 3.020000e+02 | Inf
5.69/5.79 c 5.4s| 20000 | 7375 | 0 | 0.0 | 25M|2816 | - |5645 |7098 | 0 | 0 | 0 |1709 | 0 | 0.000000e+00 | 3.020000e+02 | Inf
9.39/9.47 c 8.8s| 30000 | 15405 | 0 | 0.0 | 36M|2816 | - |5645 |7989 | 0 | 0 | 0 |9641 | 0 | 0.000000e+00 | 3.020000e+02 | Inf
14.69/14.79 o 290
14.69/14.79 c *13.9s| 38883 | 20280 | 0 | 0.0 | 48M|2816 | - |5645 |9754 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.900000e+02 | Inf
15.09/15.10 o 272
15.09/15.10 c *14.2s| 39502 | 20886 | 0 | 0.0 | 49M|2816 | - |5645 |9594 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.720000e+02 | Inf
15.30/15.38 o 247
15.30/15.38 c *14.5s| 40000 | 21310 | 0 | 0.0 | 49M|2816 | - |5645 |9384 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
15.69/15.75 o 228
15.69/15.75 c *14.8s| 40790 | 21733 | 0 | 0.0 | 49M|2816 | - |5645 |9215 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.280000e+02 | Inf
15.69/15.76 o 219
15.69/15.76 c *14.8s| 40791 | 21642 | 0 | 0.0 | 49M|2816 | - |5645 |9215 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
15.79/15.82 o 214
15.79/15.82 c *14.9s| 40880 | 21718 | 0 | 0.0 | 50M|2816 | - |5645 |9185 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.140000e+02 | Inf
16.69/16.75 o 212
16.69/16.75 c *15.8s| 42442 | 23188 | 0 | 0.0 | 51M|2816 | - |5645 |8963 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.120000e+02 | Inf
16.79/16.90 o 210
16.79/16.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.79/16.90 c *15.9s| 42723 | 23447 | 0 | 0.0 | 52M|2816 | - |5645 |8889 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.100000e+02 | Inf
16.89/16.96 o 206
16.89/16.96 c *16.0s| 42824 | 23527 | 0 | 0.0 | 52M|2816 | - |5645 |8830 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.060000e+02 | Inf
16.89/16.96 o 204
16.89/16.96 c *16.0s| 42825 | 23515 | 0 | 0.0 | 52M|2816 | - |5645 |8830 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.040000e+02 | Inf
16.99/17.02 o 192
16.99/17.02 c *16.0s| 42933 | 23540 | 0 | 0.0 | 52M|2816 | - |5645 |8779 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
16.99/17.02 o 190
16.99/17.02 c *16.1s| 42934 | 23529 | 0 | 0.0 | 52M|2816 | - |5645 |8779 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
18.69/18.75 o 179
18.69/18.75 c *17.7s| 45940 | 26204 | 0 | 0.0 | 54M|2816 | - |5645 |8138 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
18.99/19.00 o 174
18.99/19.00 c *17.9s| 46355 | 26535 | 0 | 0.0 | 54M|2816 | - |5645 |8153 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
19.29/19.31 o 155
19.29/19.31 c *18.2s| 46860 | 26568 | 0 | 0.0 | 54M|2816 | - |5645 |8183 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
21.69/21.71 c 20.5s| 50000 | 29187 | 0 | 0.0 | 61M|2816 | - |5645 |9245 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
21.90/21.97 o 145
21.90/21.97 c *20.8s| 50482 | 29456 | 0 | 0.0 | 61M|2816 | - |5645 |9097 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
25.69/25.70 o 127
25.69/25.70 c *24.4s| 56722 | 34561 | 0 | 0.0 | 68M|2816 | - |5645 |8562 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
27.20/27.21 o 97
27.20/27.21 c *25.8s| 59235 | 35839 | 0 | 0.0 | 68M|2816 | - |5645 |8536 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
27.20/27.21 o 73
27.20/27.21 c *25.8s| 59236 | 34212 | 0 | 0.0 | 64M|2816 | - |5645 |8536 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
27.89/27.97 c 26.5s| 60000 | 34858 | 0 | 0.0 | 65M|2816 | - |5645 |7659 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
30.09/30.19 o 62
30.09/30.19 c *28.6s| 63109 | 36091 | 0 | 0.0 | 68M|2816 | - |5645 |8153 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
30.29/30.30 o 52
30.29/30.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.29/30.30 c *28.8s| 63261 | 35278 | 0 | 0.0 | 65M|2816 | - |5645 |8178 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
30.89/30.91 o 51
30.89/30.91 c *29.3s| 64268 | 35946 | 0 | 0.0 | 66M|2816 | - |5645 |8194 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
30.89/30.92 o 44
30.89/30.92 c *29.3s| 64271 | 35333 | 0 | 0.0 | 66M|2816 | - |5645 |8195 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
34.29/34.35 c 32.6s| 70000 | 39982 | 0 | 0.0 | 74M|2816 | - |5645 |8832 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
37.99/38.08 o 36
37.99/38.08 c *36.1s| 78115 | 46060 | 0 | 0.0 | 82M|2816 | - |5645 |9667 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
38.89/38.93 c 36.9s| 80000 | 47605 | 0 | 0.0 | 84M|2816 | - |5645 |9806 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
42.90/42.98 c 40.7s| 90000 | 55986 | 0 | 0.0 | 95M|2816 | - |5645 |8480 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
46.99/47.09 c 44.5s|100000 | 63907 | 0 | 0.0 | 105M|2816 | - |5645 |8391 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
51.29/51.31 c 48.5s|110000 | 71625 | 0 | 0.0 | 116M|2816 | - |5645 |9072 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
55.79/55.86 c 52.8s|120000 | 79044 | 0 | 0.0 | 126M|2816 | - |5645 |9636 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
60.59/60.67 c 57.4s|130000 | 86153 | 0 | 0.0 | 136M|2816 | - |5645 |9838 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
65.90/65.99 c 62.5s|140000 | 92862 | 0 | 0.0 | 147M|2816 | - |5645 | 10k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
72.29/72.35 c 68.5s|150000 | 98698 | 0 | 0.0 | 159M|2816 | - |5645 | 11k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
78.99/79.01 c 75.0s|160000 |104352 | 0 | 0.0 | 171M|2816 | - |5645 | 11k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
86.59/86.63 c 82.2s|170000 |109218 | 0 | 0.0 | 183M|2816 | - |5645 | 11k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
95.29/95.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.29/95.32 c 90.6s|180000 |113210 | 0 | 0.0 | 194M|2816 | - |5645 | 14k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
107.39/107.47 c 102s|190000 |114526 | 0 | 0.0 | 203M|2816 | - |5645 | 16k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
110.29/110.32 o 26
110.29/110.32 c * 105s|195212 |118066 | 0 | 0.0 | 202M|2816 | - |5645 |8178 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
112.69/112.78 c 107s|200000 |122131 | 0 | 0.0 | 207M|2816 | - |5645 |8040 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
121.59/121.63 c 116s|210000 |128166 | 0 | 0.0 | 223M|2816 | - |5645 |9567 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
127.19/127.25 c 121s|220000 |136712 | 0 | 0.0 | 236M|2816 | - |5645 |8322 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
133.39/133.49 c 127s|230000 |144825 | 0 | 0.0 | 248M|2816 | - |5645 |9546 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
138.99/139.01 o 19
138.99/139.01 c * 133s|236571 |148731 | 0 | 0.0 | 252M|2816 | - |5645 | 11k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
141.90/141.94 o 18
141.90/141.94 c * 135s|238413 |149241 | 0 | 0.0 | 257M|2816 | - |5645 | 12k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
144.79/144.81 c 138s|240000 |147724 | 0 | 0.0 | 258M|2816 | - |5645 | 13k| 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
150.39/150.40 c 143s|250000 |155809 | 0 | 0.0 | 271M|2816 | - |5645 | 11k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
158.59/158.67 c 151s|260000 |161352 | 0 | 0.0 | 282M|2816 | - |5645 | 10k| 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
164.19/164.20 c 157s|270000 |169213 | 0 | 0.0 | 293M|2816 | - |5645 | 12k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
172.10/172.19 c 164s|280000 |175414 | 0 | 0.0 | 308M|2816 | - |5645 | 11k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
178.80/178.89 o 15
178.80/178.89 c * 171s|288743 |181427 | 0 | 0.0 | 319M|2816 | - |5645 | 10k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
179.79/179.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.79/179.83 c 172s|290000 |182230 | 0 | 0.0 | 321M|2816 | - |5645 |9954 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
185.30/185.30 c 177s|300000 |189113 | 0 | 0.0 | 330M|2816 | - |5645 |8904 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
190.99/191.07 c 182s|310000 |195817 | 0 | 0.0 | 340M|2816 | - |5645 |9086 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
195.90/195.92 c 187s|320000 |203389 | 0 | 0.0 | 350M|2816 | - |5645 |9946 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
201.30/201.32 o 12
201.30/201.32 c * 192s|329177 |209153 | 0 | 0.0 | 356M|2816 | - |5645 |9126 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
201.79/201.81 c 192s|330000 |209758 | 0 | 0.0 | 357M|2816 | - |5645 |9179 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
208.09/208.14 c 198s|340000 |216280 | 0 | 0.0 | 369M|2816 | - |5645 |9582 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
213.19/213.21 c 203s|350000 |223840 | 0 | 0.0 | 379M|2816 | - |5645 |9837 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
219.00/219.06 c 209s|360000 |230757 | 0 | 0.0 | 390M|2816 | - |5645 | 10k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
225.70/225.77 c 215s|370000 |236923 | 0 | 0.0 | 402M|2816 | - |5645 | 11k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
231.49/231.53 c 220s|380000 |243738 | 0 | 0.0 | 411M|2816 | - |5645 | 10k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
237.29/237.33 c 226s|390000 |250535 | 0 | 0.0 | 422M|2816 | - |5645 | 10k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
243.00/243.05 c 231s|400000 |257348 | 0 | 0.0 | 432M|2816 | - |5645 | 10k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
248.89/248.92 c 237s|410000 |264031 | 0 | 0.0 | 443M|2816 | - |5645 | 10k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
255.00/255.06 c 243s|420000 |270500 | 0 | 0.0 | 453M|2816 | - |5645 | 11k| 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
260.80/260.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.80/260.86 c 248s|430000 |277266 | 0 | 0.0 | 463M|2816 | - |5645 | 11k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
266.90/266.95 c 254s|440000 |283781 | 0 | 0.0 | 473M|2816 | - |5645 | 11k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
272.81/272.84 c 260s|450000 |290460 | 0 | 0.0 | 484M|2816 | - |5645 | 11k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
277.89/277.91 c 264s|460000 |297917 | 0 | 0.0 | 494M|2816 | - |5645 | 11k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
284.19/284.29 c 270s|470000 |304263 | 0 | 0.0 | 503M|2816 | - |5645 | 11k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
289.80/289.85 c 276s|480000 |311390 | 0 | 0.0 | 514M|2816 | - |5645 | 11k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
296.70/296.78 c 282s|490000 |317128 | 0 | 0.0 | 523M|2816 | - |5645 | 13k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
302.30/302.38 c 288s|500000 |323942 | 0 | 0.0 | 533M|2816 | - |5645 | 13k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
307.70/307.70 c 293s|510000 |331057 | 0 | 0.0 | 543M|2816 | - |5645 | 12k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
313.09/313.19 c 298s|520000 |337918 | 0 | 0.0 | 552M|2816 | - |5645 | 12k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
318.30/318.32 c 303s|530000 |345024 | 0 | 0.0 | 561M|2816 | - |5645 | 11k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
323.70/323.74 c 308s|540000 |352042 | 0 | 0.0 | 571M|2816 | - |5645 | 11k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
329.10/329.19 c 313s|550000 |358930 | 0 | 0.0 | 580M|2816 | - |5645 | 12k| 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
333.90/333.91 c 317s|560000 |366468 | 0 | 0.0 | 587M|2816 | - |5645 |5132 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
337.71/337.72 c 321s|570000 |374632 | 0 | 0.0 | 598M|2816 | - |5645 |5055 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
341.30/341.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.30/341.34 c 324s|580000 |382799 | 0 | 0.0 | 608M|2816 | - |5645 |4794 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
347.00/347.09 c 330s|590000 |388977 | 0 | 0.0 | 620M|2816 | - |5645 |6887 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
353.20/353.30 c 336s|600000 |394879 | 0 | 0.0 | 631M|2816 | - |5645 |7831 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
360.00/360.00 c 342s|610000 |400440 | 0 | 0.0 | 642M|2816 | - |5645 |8312 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
366.80/366.82 c 349s|620000 |405887 | 0 | 0.0 | 652M|2816 | - |5645 |7987 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
373.61/373.68 c 355s|630000 |411221 | 0 | 0.0 | 662M|2816 | - |5645 |8751 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
380.90/380.97 c 362s|640000 |416204 | 0 | 0.0 | 673M|2816 | - |5645 |8872 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
388.70/388.76 c 370s|650000 |420792 | 0 | 0.0 | 683M|2816 | - |5645 |8480 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
396.90/396.98 c 378s|660000 |424977 | 0 | 0.0 | 694M|2816 | - |5645 |9461 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
405.61/405.60 c 386s|670000 |428946 | 0 | 0.0 | 704M|2816 | - |5645 |9397 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
414.01/414.03 c 394s|680000 |433050 | 0 | 0.0 | 714M|2816 | - |5645 |9618 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
422.50/422.51 c 402s|690000 |437161 | 0 | 0.0 | 723M|2816 | - |5645 |9572 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
431.10/431.19 c 410s|700000 |440947 | 0 | 0.0 | 733M|2816 | - |5645 | 10k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
440.01/440.04 c 419s|710000 |444568 | 0 | 0.0 | 743M|2816 | - |5645 | 10k| 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
449.20/449.28 c 428s|720000 |447909 | 0 | 0.0 | 751M|2816 | - |5645 | 10k| 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
458.51/458.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.51/458.59 c 437s|730000 |451203 | 0 | 0.0 | 760M|2816 | - |5645 | 10k| 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
468.01/468.01 c 446s|740000 |454245 | 0 | 0.0 | 769M|2816 | - |5645 | 10k| 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
477.51/477.59 c 455s|750000 |457286 | 0 | 0.0 | 779M|2816 | - |5645 | 10k| 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
487.11/487.16 c 464s|760000 |460320 | 0 | 0.0 | 788M|2816 | - |5645 | 10k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
496.61/496.64 c 474s|770000 |463382 | 0 | 0.0 | 797M|2816 | - |5645 | 10k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
506.11/506.14 c 483s|780000 |466371 | 0 | 0.0 | 805M|2816 | - |5645 | 10k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
516.01/516.09 c 492s|790000 |468924 | 0 | 0.0 | 815M|2816 | - |5645 | 11k| 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
526.21/526.24 c 502s|800000 |471474 | 0 | 0.0 | 823M|2816 | - |5645 | 12k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
537.11/537.17 c 513s|810000 |473456 | 0 | 0.0 | 830M|2816 | - |5645 | 11k| 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
549.41/549.44 c 525s|820000 |474291 | 0 | 0.0 | 836M|2816 | - |5645 | 12k| 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
562.91/562.95 c 538s|830000 |474532 | 0 | 0.0 | 843M|2816 | - |5645 | 14k| 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
578.01/578.05 c 553s|840000 |474011 | 0 | 0.0 | 848M|2816 | - |5645 | 15k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
596.61/596.62 c 571s|850000 |471269 | 0 | 0.0 | 847M|2816 | - |5645 | 17k| 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
601.51/601.55 c 575s|860000 |479273 | 0 | 0.0 | 851M|2816 | - |5645 |5979 | 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
606.01/606.01 c 580s|870000 |487107 | 0 | 0.0 | 861M|2816 | - |5645 |5985 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
610.52/610.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.52/610.55 c 584s|880000 |494825 | 0 | 0.0 | 870M|2816 | - |5645 |6430 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
615.31/615.35 c 588s|890000 |502370 | 0 | 0.0 | 880M|2816 | - |5645 |6848 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
621.52/621.58 c 594s|900000 |508834 | 0 | 0.0 | 892M|2816 | - |5645 |7879 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
629.22/629.29 c 602s|910000 |514302 | 0 | 0.0 | 905M|2816 | - |5645 |9057 | 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
637.91/637.97 c 610s|920000 |519121 | 0 | 0.0 | 917M|2816 | - |5645 | 10k| 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
648.11/648.12 c 620s|930000 |522902 | 0 | 0.0 | 929M|2816 | - |5645 | 11k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
660.02/660.01 c 631s|940000 |525522 | 0 | 0.0 | 941M|2816 | - |5645 | 12k| 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
670.41/670.46 o 11
670.41/670.46 c * 641s|947128 |524807 | 0 | 0.0 | 937M|2816 | - |5645 | 14k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
674.61/674.62 c 645s|950000 |525115 | 0 | 0.0 | 937M|2816 | - |5645 | 10k| 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
679.41/679.46 c 650s|960000 |533120 | 0 | 0.0 | 947M|2816 | - |5645 |6498 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
684.31/684.36 c 654s|970000 |540856 | 0 | 0.0 | 957M|2816 | - |5645 |6685 | 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
689.41/689.42 c 659s|980000 |548449 | 0 | 0.0 | 967M|2816 | - |5645 |7001 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
694.81/694.89 c 664s|990000 |555770 | 0 | 0.0 | 977M|2816 | - |5645 |7379 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
700.72/700.74 c 670s| 1000k|562774 | 0 | 0.0 | 987M|2816 | - |5645 |7956 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
707.11/707.10 c 676s| 1010k|569497 | 0 | 0.0 | 998M|2816 | - |5645 |8195 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
713.82/713.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.82/713.83 c 682s| 1020k|575975 | 0 | 0.0 |1009M|2816 | - |5645 |8780 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
720.81/720.82 c 689s| 1030k|582230 | 0 | 0.0 |1020M|2816 | - |5645 |9393 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
728.01/728.07 c 696s| 1040k|588294 | 0 | 0.0 |1031M|2816 | - |5645 |9937 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
736.12/736.13 c 704s| 1050k|593831 | 0 | 0.0 |1042M|2816 | - |5645 | 10k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
744.51/744.56 c 712s| 1060k|599140 | 0 | 0.0 |1053M|2816 | - |5645 | 11k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
753.72/753.75 c 720s| 1070k|603920 | 0 | 0.0 |1064M|2816 | - |5645 | 12k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
763.52/763.51 c 730s| 1080k|608316 | 0 | 0.0 |1075M|2816 | - |5645 | 12k| 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
774.32/774.36 c 740s| 1090k|612009 | 0 | 0.0 |1085M|2816 | - |5645 | 13k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
786.71/786.72 c 752s| 1100k|614804 | 0 | 0.0 |1095M|2816 | - |5645 | 14k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
800.82/800.84 c 766s| 1110k|616536 | 0 | 0.0 |1103M|2816 | - |5645 | 16k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
813.12/813.16 c 778s| 1120k|619518 | 0 | 0.0 |1106M|2816 | - |5645 |9813 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
818.12/818.11 c 783s| 1130k|627275 | 0 | 0.0 |1115M|2816 | - |5645 |8943 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
823.12/823.18 c 787s| 1140k|634767 | 0 | 0.0 |1125M|2816 | - |5645 |9434 | 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
828.82/828.81 c 793s| 1150k|641851 | 0 | 0.0 |1135M|2816 | - |5645 | 10k| 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
834.71/834.73 c 798s| 1160k|648622 | 0 | 0.0 |1144M|2816 | - |5645 | 10k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
841.32/841.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.32/841.40 c 805s| 1170k|654918 | 0 | 0.0 |1154M|2816 | - |5645 | 11k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
849.41/849.49 c 812s| 1180k|660159 | 0 | 0.0 |1165M|2816 | - |5645 | 12k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
859.12/859.11 c 822s| 1190k|664371 | 0 | 0.0 |1176M|2816 | - |5645 | 14k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
870.32/870.36 c 832s| 1200k|667529 | 0 | 0.0 |1185M|2816 | - |5645 | 16k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
884.02/884.04 c 846s| 1210k|669225 | 0 | 0.0 |1191M|2816 | - |5645 | 16k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
888.83/888.86 c 850s| 1220k|677354 | 0 | 0.0 |1198M|2816 | - |5645 |9835 | 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
893.72/893.72 c 855s| 1230k|685153 | 0 | 0.0 |1207M|2816 | - |5645 | 10k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
898.73/898.73 c 859s| 1240k|692749 | 0 | 0.0 |1216M|2816 | - |5645 | 10k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
904.22/904.24 c 865s| 1250k|699970 | 0 | 0.0 |1226M|2816 | - |5645 | 11k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
910.72/910.74 c 871s| 1260k|706405 | 0 | 0.0 |1236M|2816 | - |5645 | 12k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
917.82/917.81 c 878s| 1270k|712438 | 0 | 0.0 |1247M|2816 | - |5645 | 13k| 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
925.52/925.57 c 885s| 1280k|718015 | 0 | 0.0 |1257M|2816 | - |5645 | 13k| 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
934.82/934.83 c 894s| 1290k|722541 | 0 | 0.0 |1267M|2816 | - |5645 | 15k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
945.62/945.66 c 904s| 1300k|726135 | 0 | 0.0 |1276M|2816 | - |5645 | 16k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
952.22/952.25 o 9
952.22/952.25 c * 911s| 1305k|725256 | 0 | 0.0 |1261M|2816 | - |5645 | 17k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
959.62/959.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.62/959.65 c 918s| 1310k|725924 | 0 | 0.0 |1266M|2816 | - |5645 | 19k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
968.82/968.83 c 927s| 1320k|732031 | 0 | 0.0 |1276M|2816 | - |5645 | 12k| 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
975.12/975.11 c 933s| 1330k|739471 | 0 | 0.0 |1289M|2816 | - |5645 | 12k| 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
981.42/981.49 c 939s| 1340k|746641 | 0 | 0.0 |1302M|2816 | - |5645 | 12k| 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
988.42/988.42 c 945s| 1350k|753397 | 0 | 0.0 |1316M|2816 | - |5645 | 12k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
994.12/994.17 o 7
994.12/994.17 c * 951s| 1357k|756713 | 0 | 0.0 |1315M|2816 | - |5645 | 13k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
996.02/996.00 c 952s| 1360k|758044 | 0 | 0.0 |1319M|2816 | - |5645 | 13k| 0 | 0 | 0 |1186k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1005.43/1005.44 c 961s| 1370k|763685 | 0 | 0.0 |1335M|2816 | - |5645 | 14k| 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1015.23/1015.23 c 971s| 1380k|768615 | 0 | 0.0 |1345M|2816 | - |5645 | 10k| 0 | 0 | 0 |1203k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1024.42/1024.45 c 980s| 1390k|772349 | 0 | 0.0 |1354M|2816 | - |5645 | 11k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1035.52/1035.54 c 990s| 1400k|774653 | 0 | 0.0 |1361M|2816 | - |5645 | 12k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1043.23/1043.22 c 998s| 1410k|779839 | 0 | 0.0 |1367M|2816 | - |5645 |9805 | 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1048.43/1048.49 c 1002s| 1420k|787040 | 0 | 0.0 |1376M|2816 | - |5645 |9888 | 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1053.93/1053.96 c 1008s| 1430k|793955 | 0 | 0.0 |1385M|2816 | - |5645 | 10k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1060.02/1060.06 c 1013s| 1440k|800325 | 0 | 0.0 |1394M|2816 | - |5645 | 11k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1067.33/1067.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1067.33/1067.36 c 1020s| 1450k|805725 | 0 | 0.0 |1403M|2816 | - |5645 | 12k| 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1075.73/1075.77 c 1028s| 1460k|810368 | 0 | 0.0 |1413M|2816 | - |5645 | 13k| 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1086.43/1086.40 c 1039s| 1470k|813283 | 0 | 0.0 |1422M|2816 | - |5645 | 14k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1098.83/1098.83 c 1051s| 1480k|815108 | 0 | 0.0 |1427M|2816 | - |5645 | 11k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1104.02/1104.00 c 1056s| 1490k|822519 | 0 | 0.0 |1436M|2816 | - |5645 |9871 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1109.22/1109.27 c 1060s| 1500k|829703 | 0 | 0.0 |1446M|2816 | - |5645 | 10k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1114.92/1114.93 c 1066s| 1510k|836467 | 0 | 0.0 |1455M|2816 | - |5645 | 11k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1121.13/1121.17 c 1072s| 1520k|842770 | 0 | 0.0 |1465M|2816 | - |5645 | 11k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1127.83/1127.83 c 1078s| 1530k|848704 | 0 | 0.0 |1475M|2816 | - |5645 | 12k| 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1135.83/1135.83 c 1086s| 1540k|853588 | 0 | 0.0 |1485M|2816 | - |5645 | 12k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1136.12/1136.18 o 6
1136.12/1136.18 c *1086s| 1540k|852238 | 0 | 0.0 |1478M|2816 | - |5645 | 12k| 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1146.43/1146.47 c 1096s| 1550k|855253 | 0 | 0.0 |1487M|2816 | - |5645 | 14k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1160.13/1160.18 c 1109s| 1560k|856277 | 0 | 0.0 |1494M|2816 | - |5645 | 14k| 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1166.53/1166.56 c 1115s| 1570k|862916 | 0 | 0.0 |1502M|2816 | - |5645 | 10k| 0 | 0 | 0 |1342k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1171.93/1171.94 c 1120s| 1580k|870050 | 0 | 0.0 |1512M|2816 | - |5645 | 10k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1177.32/1177.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.32/1177.32 c 1125s| 1590k|877066 | 0 | 0.0 |1522M|2816 | - |5645 | 11k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1184.03/1184.04 c 1132s| 1600k|883072 | 0 | 0.0 |1533M|2816 | - |5645 | 12k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1192.44/1192.43 c 1140s| 1610k|887855 | 0 | 0.0 |1543M|2816 | - |5645 | 14k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1203.93/1203.98 c 1151s| 1620k|890428 | 0 | 0.0 |1553M|2816 | - |5645 | 16k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1214.93/1214.97 c 1161s| 1630k|893912 | 0 | 0.0 |1559M|2816 | - |5645 | 10k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1220.63/1220.63 c 1167s| 1640k|900828 | 0 | 0.0 |1569M|2816 | - |5645 | 10k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1227.33/1227.31 c 1173s| 1650k|906919 | 0 | 0.0 |1580M|2816 | - |5645 | 11k| 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1234.53/1234.54 c 1180s| 1660k|912632 | 0 | 0.0 |1592M|2816 | - |5645 | 12k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1242.03/1242.03 c 1187s| 1670k|918156 | 0 | 0.0 |1603M|2816 | - |5645 | 12k| 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1249.64/1249.68 c 1195s| 1680k|923479 | 0 | 0.0 |1614M|2816 | - |5645 | 12k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1257.43/1257.41 c 1202s| 1690k|928701 | 0 | 0.0 |1623M|2816 | - |5645 | 12k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1265.53/1265.58 c 1210s| 1700k|933729 | 0 | 0.0 |1633M|2816 | - |5645 | 12k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1272.83/1272.89 c 1217s| 1710k|939406 | 0 | 0.0 |1643M|2816 | - |5645 | 12k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1280.93/1280.91 c 1224s| 1720k|945032 | 0 | 0.0 |1653M|2816 | - |5645 |9521 | 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1288.23/1288.28 c 1231s| 1730k|950329 | 0 | 0.0 |1663M|2816 | - |5645 | 11k| 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1295.84/1295.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1295.84/1295.86 c 1239s| 1740k|955605 | 0 | 0.0 |1673M|2816 | - |5645 | 12k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1303.63/1303.62 c 1246s| 1750k|960763 | 0 | 0.0 |1683M|2816 | - |5645 | 12k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1311.63/1311.68 c 1254s| 1760k|965740 | 0 | 0.0 |1692M|2816 | - |5645 | 13k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1320.53/1320.50 c 1262s| 1770k|970212 | 0 | 0.0 |1702M|2816 | - |5645 | 14k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1330.63/1330.67 c 1272s| 1780k|973745 | 0 | 0.0 |1712M|2816 | - |5645 | 16k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1341.64/1341.62 c 1283s| 1790k|977045 | 0 | 0.0 |1718M|2816 | - |5645 | 13k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1347.23/1347.23 c 1288s| 1800k|984250 | 0 | 0.0 |1728M|2816 | - |5645 | 11k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1353.63/1353.69 c 1294s| 1810k|990628 | 0 | 0.0 |1739M|2816 | - |5645 | 12k| 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1361.04/1361.04 c 1301s| 1820k|996281 | 0 | 0.0 |1750M|2816 | - |5645 | 13k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1369.84/1369.89 c 1309s| 1830k| 1000k| 0 | 0.0 |1761M|2816 | - |5645 | 15k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1381.83/1381.82 c 1321s| 1840k| 1003k| 0 | 0.0 |1770M|2816 | - |5645 | 18k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1388.53/1388.57 c 1327s| 1850k| 1009k| 0 | 0.0 |1778M|2816 | - |5645 | 11k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1394.54/1394.57 c 1333s| 1860k| 1016k| 0 | 0.0 |1788M|2816 | - |5645 | 12k| 0 | 0 | 0 |1553k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1401.54/1401.53 c 1340s| 1870k| 1022k| 0 | 0.0 |1800M|2816 | - |5645 | 13k| 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1409.63/1409.61 c 1347s| 1880k| 1027k| 0 | 0.0 |1810M|2816 | - |5645 | 15k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1419.13/1419.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1419.13/1419.13 c 1356s| 1890k| 1031k| 0 | 0.0 |1821M|2816 | - |5645 | 17k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1429.54/1429.52 c 1366s| 1900k| 1035k| 0 | 0.0 |1827M|2816 | - |5645 | 13k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1435.04/1435.05 c 1372s| 1910k| 1042k| 0 | 0.0 |1836M|2816 | - |5645 | 11k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1440.23/1440.27 c 1377s| 1920k| 1049k| 0 | 0.0 |1846M|2816 | - |5645 | 12k| 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1446.54/1446.54 c 1383s| 1930k| 1056k| 0 | 0.0 |1856M|2816 | - |5645 | 12k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1454.63/1454.67 c 1390s| 1940k| 1061k| 0 | 0.0 |1866M|2816 | - |5645 | 14k| 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1465.64/1465.69 c 1401s| 1950k| 1064k| 0 | 0.0 |1876M|2816 | - |5645 | 17k| 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1474.63/1474.65 c 1410s| 1960k| 1069k| 0 | 0.0 |1882M|2816 | - |5645 | 12k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1479.73/1479.71 c 1414s| 1970k| 1076k| 0 | 0.0 |1891M|2816 | - |5645 | 12k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1485.34/1485.38 c 1420s| 1980k| 1083k| 0 | 0.0 |1901M|2816 | - |5645 | 12k| 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1491.23/1491.24 c 1425s| 1990k| 1090k| 0 | 0.0 |1910M|2816 | - |5645 | 13k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1499.44/1499.47 c 1433s| 2000k| 1095k| 0 | 0.0 |1921M|2816 | - |5645 | 14k| 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1510.54/1510.52 c 1444s| 2010k| 1098k| 0 | 0.0 |1930M|2816 | - |5645 | 16k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1520.24/1520.23 c 1453s| 2020k| 1102k| 0 | 0.0 |1936M|2816 | - |5645 | 12k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1525.34/1525.36 c 1458s| 2030k| 1110k| 0 | 0.0 |1945M|2816 | - |5645 | 12k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1530.74/1530.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.74/1530.75 c 1463s| 2040k| 1117k| 0 | 0.0 |1954M|2816 | - |5645 | 12k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1536.75/1536.79 c 1469s| 2050k| 1124k| 0 | 0.0 |1963M|2816 | - |5645 | 13k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1545.94/1545.96 c 1477s| 2060k| 1128k| 0 | 0.0 |1974M|2816 | - |5645 | 15k| 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1556.44/1556.41 c 1487s| 2070k| 1131k| 0 | 0.0 |1982M|2816 | - |5645 | 13k| 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1563.84/1563.82 c 1495s| 2080k| 1137k| 0 | 0.0 |1990M|2816 | - |5645 | 12k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1570.54/1570.50 c 1501s| 2090k| 1143k| 0 | 0.0 |2000M|2816 | - |5645 | 13k| 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1578.44/1578.47 c 1509s| 2100k| 1148k| 0 | 0.0 |2011M|2816 | - |5645 | 14k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1588.04/1588.00 c 1518s| 2110k| 1152k| 0 | 0.0 |2021M|2816 | - |5645 | 16k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1599.34/1599.32 c 1529s| 2120k| 1155k| 0 | 0.0 |2027M|2816 | - |5645 | 14k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1605.04/1605.07 c 1534s| 2130k| 1163k| 0 | 0.0 |2037M|2816 | - |5645 | 12k| 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1611.74/1611.74 c 1540s| 2140k| 1169k| 0 | 0.0 |2047M|2816 | - |5645 | 13k| 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1620.14/1620.17 c 1548s| 2150k| 1174k| 0 | 0.0 |2058M|2816 | - |5645 | 15k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1630.15/1630.14 c 1558s| 2160k| 1178k| 0 | 0.0 |2069M|2816 | - |5645 | 18k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1640.24/1640.29 c 1568s| 2170k| 1182k| 0 | 0.0 |2074M|2816 | - |5645 | 13k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1645.55/1645.56 c 1573s| 2180k| 1189k| 0 | 0.0 |2083M|2816 | - |5645 | 11k| 0 | 0 | 0 |1775k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1650.74/1650.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.74/1650.70 c 1578s| 2190k| 1197k| 0 | 0.0 |2092M|2816 | - |5645 | 11k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1656.14/1656.17 c 1583s| 2200k| 1204k| 0 | 0.0 |2102M|2816 | - |5645 | 12k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1662.05/1662.05 c 1588s| 2210k| 1210k| 0 | 0.0 |2111M|2816 | - |5645 | 12k| 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1668.54/1668.52 c 1595s| 2220k| 1216k| 0 | 0.0 |2120M|2816 | - |5645 | 13k| 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1676.45/1676.45 c 1602s| 2230k| 1222k| 0 | 0.0 |2131M|2816 | - |5645 | 14k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1685.94/1685.98 c 1611s| 2240k| 1226k| 0 | 0.0 |2140M|2816 | - |5645 | 16k| 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1697.95/1697.91 c 1623s| 2250k| 1229k| 0 | 0.0 |2149M|2816 | - |5645 | 19k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1709.14/1709.15 c 1634s| 2260k| 1233k| 0 | 0.0 |2154M|2816 | - |5645 | 14k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1714.64/1714.61 c 1639s| 2270k| 1240k| 0 | 0.0 |2163M|2816 | - |5645 | 12k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1720.05/1720.05 c 1644s| 2280k| 1247k| 0 | 0.0 |2172M|2816 | - |5645 | 12k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1725.86/1725.86 c 1650s| 2290k| 1254k| 0 | 0.0 |2181M|2816 | - |5645 | 12k| 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1732.35/1732.36 c 1656s| 2300k| 1260k| 0 | 0.0 |2191M|2816 | - |5645 | 12k| 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1740.35/1740.36 c 1663s| 2310k| 1266k| 0 | 0.0 |2202M|2816 | - |5645 | 13k| 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1748.04/1748.01 c 1671s| 2320k| 1271k| 0 | 0.0 |2211M|2816 | - |5645 | 14k| 0 | 0 | 0 |1862k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1756.45/1756.45 c 1679s| 2330k| 1276k| 0 | 0.0 |2220M|2816 | - |5645 | 14k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1765.34/1765.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.34/1765.30 c 1687s| 2340k| 1281k| 0 | 0.0 |2229M|2816 | - |5645 | 14k| 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1774.15/1774.10 c 1696s| 2350k| 1286k| 0 | 0.0 |2237M|2816 | - |5645 | 14k| 0 | 0 | 0 |1886k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1783.15/1783.11 c 1704s| 2360k| 1290k| 0 | 0.0 |2247M|2816 | - |5645 | 15k| 0 | 0 | 0 |1893k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1792.34/1792.34 c 1713s| 2370k| 1295k| 0 | 0.0 |2256M|2816 | - |5645 | 16k| 0 | 0 | 0 |1902k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1720.61
1800.05/1800.00 c Solving Nodes : 2377161
1800.05/1800.00 c Primal Bound : +6.00000000000000e+00 (40 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.08 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.08 v -x1
1800.05/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.08 c Solving Time : 1720.61
1800.05/1800.08 c Original Problem :
1800.05/1800.08 c Problem name : HOME/instance-2693695-1277930578.wbo
1800.05/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.08 c Presolved Problem :
1800.05/1800.08 c Problem name : t_HOME/instance-2693695-1277930578.wbo
1800.05/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.08 c Constraints : 5414 initial, 21756 maximal
1800.05/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c implics : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.08 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.05/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c root node : - 2554 - - 5108 - - - -
1800.05/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.08 c indicator : 2707 0 6089105 0 1654798 281 2921925 0 0 0
1800.05/1800.08 c linear : 2707 0 7746658 0 1992494 549086 46894314 0 0 0
1800.05/1800.08 c logicor : 0+ 0 3620225 0 0 77532 2259674 0 0 0
1800.05/1800.08 c countsols : 0 0 0 0 1992524 0 0 0 0 0
1800.05/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.08 c indicator : 31.97 0.00 12.98 0.00 18.99
1800.05/1800.08 c linear : 440.69 0.00 439.79 0.00 0.90
1800.05/1800.08 c logicor : 231.39 0.00 231.39 0.00 0.00
1800.05/1800.08 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.08 c vbounds : 0.00 2 0 0
1800.05/1800.08 c rootredcost : 0.00 0 0 0
1800.05/1800.08 c pseudoobj : 398.40 7751831 4760 2847381
1800.05/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.08 c propagation : 30.77 631378 631377 2813466 18.8 223815 10.6 -
1800.05/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c pseudo solution : 0.05 166 166 653 20.2 389 9.2 -
1800.05/1800.08 c applied globally : - - - 1908835 17.1 - - -
1800.05/1800.08 c applied locally : - - - 0 0.0 - - -
1800.05/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.08 c redcost : 0.00 0 0 0 0 0
1800.05/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.08 c intobj : 0.00 0 0 0 0 0
1800.05/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.08 c gomory : 0.00 0 0 0 0 0
1800.05/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.08 c cmir : 0.00 0 0 0 0 0
1800.05/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.08 c clique : 0.00 0 0 0 0 0
1800.05/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.08 c mcf : 0.00 0 0 0 0 0
1800.05/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.08 c Pricers : Time Calls Vars
1800.05/1800.08 c problem variables: 0.00 0 0
1800.05/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.08 c inference : 51.31 1992487 0 0 0 0 3984974
1800.05/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.08 c random : 0.00 0 0 0 0 0 0
1800.05/1800.08 c Primal Heuristics : Time Calls Found
1800.05/1800.08 c LP solutions : 0.00 - 0
1800.05/1800.08 c pseudo solutions : 0.13 - 37
1800.05/1800.08 c oneopt : 0.00 0 0
1800.05/1800.08 c trivial : 0.07 2 2
1800.05/1800.08 c simplerounding : 0.00 0 0
1800.05/1800.08 c zirounding : 0.00 0 0
1800.05/1800.08 c rounding : 0.00 0 0
1800.05/1800.08 c shifting : 0.00 0 0
1800.05/1800.08 c intshifting : 0.00 0 0
1800.05/1800.08 c twoopt : 0.00 0 0
1800.05/1800.08 c fixandinfer : 0.00 0 0
1800.05/1800.08 c feaspump : 0.00 0 0
1800.05/1800.08 c coefdiving : 0.00 0 0
1800.05/1800.08 c pscostdiving : 0.00 0 0
1800.05/1800.08 c fracdiving : 0.00 0 0
1800.05/1800.08 c veclendiving : 0.00 0 0
1800.05/1800.08 c intdiving : 0.00 0 0
1800.05/1800.08 c actconsdiving : 0.00 0 0
1800.05/1800.08 c objpscostdiving : 0.00 0 0
1800.05/1800.08 c rootsoldiving : 0.00 0 0
1800.05/1800.08 c linesearchdiving : 0.00 0 0
1800.05/1800.08 c guideddiving : 0.00 0 0
1800.05/1800.08 c octane : 0.00 0 0
1800.05/1800.08 c rens : 0.00 0 0
1800.05/1800.08 c rins : 0.00 0 0
1800.05/1800.08 c localbranching : 0.00 0 0
1800.05/1800.08 c mutation : 0.00 0 0
1800.05/1800.08 c crossover : 0.00 0 0
1800.05/1800.08 c dins : 0.00 0 0
1800.05/1800.08 c undercover : 0.00 0 0
1800.05/1800.08 c nlp : 0.00 0 0
1800.05/1800.08 c trysol : 0.01 1 1
1800.05/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.08 c (at root node) : - 0 0 0.00 -
1800.05/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.08 c B&B Tree :
1800.05/1800.08 c number of runs : 1
1800.05/1800.08 c nodes : 2377161
1800.05/1800.08 c nodes (total) : 2377161
1800.05/1800.08 c nodes left : 1298047
1800.05/1800.08 c max depth : 2816
1800.05/1800.08 c max depth (total): 2816
1800.05/1800.08 c backtracks : 346542 (14.6%)
1800.05/1800.08 c delayed cutoffs : 279267
1800.05/1800.08 c repropagations : 1431713 (17149531 domain reductions, 247188 cutoffs)
1800.05/1800.08 c avg switch length: 43.12
1800.05/1800.08 c switching time : 480.34
1800.05/1800.08 c Solution :
1800.05/1800.08 c Solutions found : 40 (38 improvements)
1800.05/1800.08 c First Solution : +1.36842000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.08 c Primal Bound : +6.00000000000000e+00 (in run 1, after 1540427 nodes, 1086.01 seconds, depth 770, found by <relaxation>)
1800.05/1800.08 c Dual Bound : +0.00000000000000e+00
1800.05/1800.08 c Gap : infinite
1800.05/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.08 c Root Iterations : 0
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693695-1277930578/watcher-2693695-1277930578 -o /tmp/evaluation-result-2693695-1277930578/solver-2693695-1277930578 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693695-1277930578.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.06 2.05 2.06 4/182 15789 /proc/meminfo: memFree=30911388/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=8600 CPUtime=0 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 1652 0 0 0 0 0 0 0 20 0 1 0 134353379 8806400 1574 4089446400 4194304 7136930 140737291000080 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15789/statm: 2150 1574 275 719 0 1429 0 [startup+0.0499589 s] /proc/loadavg: 2.06 2.05 2.06 4/182 15789 /proc/meminfo: memFree=30911388/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=28660 CPUtime=0.04 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 7013 0 0 0 4 0 0 0 22 0 1 0 134353379 29347840 6581 4089446400 4194304 7136930 140737291000080 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15789/statm: 7165 6581 289 719 0 6444 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 28660 [startup+0.100953 s] /proc/loadavg: 2.06 2.05 2.06 4/182 15789 /proc/meminfo: memFree=30911388/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=33676 CPUtime=0.09 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 7967 0 0 0 9 0 0 0 22 0 1 0 134353379 34484224 7535 4089446400 4194304 7136930 140737291000080 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15789/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300935 s] /proc/loadavg: 2.06 2.05 2.06 4/182 15789 /proc/meminfo: memFree=30911388/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=36496 CPUtime=0.29 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 9241 0 0 0 27 2 0 0 22 0 1 0 134353379 37371904 8295 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15789/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700871 s] /proc/loadavg: 2.06 2.05 2.06 4/182 15789 /proc/meminfo: memFree=30911388/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=37636 CPUtime=0.69 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 9516 0 0 0 65 4 0 0 24 0 1 0 134353379 38539264 8570 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15789/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50073 s] /proc/loadavg: 2.06 2.05 2.06 3/183 15790 /proc/meminfo: memFree=30877544/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=42612 CPUtime=1.49 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 10789 0 0 0 136 13 0 0 25 0 1 0 134353379 43634688 9843 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15789/statm: 10653 9843 390 719 0 9932 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42612 [startup+3.10043 s] /proc/loadavg: 2.06 2.05 2.06 3/183 15790 /proc/meminfo: memFree=30873452/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=44908 CPUtime=3.09 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 11357 0 0 0 289 20 0 0 25 0 1 0 134353379 45985792 10411 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15789/statm: 11227 10411 390 719 0 10506 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44908 [startup+6.30084 s] /proc/loadavg: 2.06 2.05 2.06 3/183 15790 /proc/meminfo: memFree=30868120/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=51720 CPUtime=6.29 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 13079 0 0 0 588 41 0 0 25 0 1 0 134353379 52961280 12133 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15789/statm: 12930 12133 391 719 0 12209 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51720 [startup+12.7007 s] /proc/loadavg: 2.05 2.05 2.05 3/183 15790 /proc/meminfo: memFree=30846072/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=71952 CPUtime=12.69 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 18013 0 0 0 1192 77 0 0 25 0 1 0 134353379 73678848 17067 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15789/statm: 17988 17067 391 719 0 17267 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71952 [startup+25.5003 s] /proc/loadavg: 2.04 2.04 2.05 3/183 15790 /proc/meminfo: memFree=30802216/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=119244 CPUtime=25.49 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 29370 0 0 0 2421 128 0 0 25 0 1 0 134353379 122105856 28424 4089446400 4194304 7136930 140737291000080 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15789/statm: 29811 28424 391 719 0 29090 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 119244 [startup+51.1005 s] /proc/loadavg: 2.09 2.06 2.06 3/183 15791 /proc/meminfo: memFree=30725172/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=199012 CPUtime=51.09 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 48488 0 0 0 4832 277 0 0 25 0 1 0 134353379 203788288 47542 4089446400 4194304 7136930 140737291000080 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 49753 47542 391 719 0 49032 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 199012 [startup+102.307 s] /proc/loadavg: 2.08 2.06 2.06 3/183 15792 /proc/meminfo: memFree=30629156/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=291528 CPUtime=102.3 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 71678 0 0 0 9742 488 0 0 25 0 1 0 134353379 298524672 70732 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 72882 70732 391 719 0 72161 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 291528 [startup+162.301 s] /proc/loadavg: 2.03 2.05 2.05 3/183 15822 /proc/meminfo: memFree=30865828/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=401368 CPUtime=162.3 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 97654 0 0 0 15489 741 0 0 25 0 1 0 134353379 411000832 96708 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 100342 96708 391 719 0 99621 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 401368 [startup+222.301 s] /proc/loadavg: 2.10 2.07 2.06 3/183 15824 /proc/meminfo: memFree=30629564/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=521116 CPUtime=222.29 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 126252 0 0 0 21176 1053 0 0 25 0 1 0 134353379 533622784 125306 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 130279 125306 391 719 0 129558 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 521116 [startup+282.301 s] /proc/loadavg: 2.10 2.07 2.06 3/183 15826 /proc/meminfo: memFree=30424664/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=632136 CPUtime=282.3 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 154019 0 0 0 26856 1374 0 0 25 0 1 0 134353379 647307264 153073 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 158034 153073 391 719 0 157313 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 632136 [startup+342.301 s] /proc/loadavg: 2.15 2.08 2.06 3/183 15827 /proc/meminfo: memFree=30167072/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=747352 CPUtime=342.3 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 182950 0 0 0 32527 1703 0 0 25 0 1 0 134353379 765288448 182004 4089446400 4194304 7136930 140737291000080 18446744073709551615 4960327 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 186838 182004 391 719 0 186117 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 747352 [startup+402.301 s] /proc/loadavg: 2.05 2.06 2.05 3/183 15828 /proc/meminfo: memFree=29961192/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=840684 CPUtime=402.31 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 206459 0 0 0 38270 1961 0 0 25 0 1 0 134353379 860860416 205513 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 210171 205513 391 719 0 209450 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 840684 [startup+462.3 s] /proc/loadavg: 2.06 2.06 2.05 3/183 15830 /proc/meminfo: memFree=29779476/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=904396 CPUtime=462.3 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 222403 0 0 0 44043 2187 0 0 25 0 1 0 134353379 926101504 221457 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 226099 221457 391 719 0 225378 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 904396 [startup+522.3 s] /proc/loadavg: 2.02 2.05 2.05 3/183 15832 /proc/meminfo: memFree=29623440/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=966912 CPUtime=522.31 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 236135 0 0 0 49841 2390 0 0 25 0 1 0 134353379 990117888 235189 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 241728 235189 391 719 0 241007 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 966912 [startup+582.3 s] /proc/loadavg: 2.01 2.04 2.04 3/183 15834 /proc/meminfo: memFree=29515644/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=998788 CPUtime=582.31 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 244061 0 0 0 55668 2563 0 0 25 0 1 0 134353379 1022758912 243115 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 249697 243115 391 719 0 248976 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 998788 [startup+642.301 s] /proc/loadavg: 2.00 2.03 2.04 3/183 15835 /proc/meminfo: memFree=29382560/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=1074512 CPUtime=642.32 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 262368 0 0 0 61402 2830 0 0 25 0 1 0 134353379 1100300288 261422 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 268628 261422 391 719 0 267907 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1074512 [startup+702.301 s] ################ # More data... # ################ /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 370725 0 0 0 95839 4393 0 0 25 0 1 0 134353379 1547419648 369779 4089446400 4194304 7136930 140737291000080 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 377788 369779 391 719 0 377067 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1511152 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15846 /proc/meminfo: memFree=28430888/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=1577240 CPUtime=1062.33 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 387129 0 0 0 101560 4673 0 0 25 0 1 0 134353379 1615093760 386183 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 394310 386183 391 719 0 393589 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1577240 [startup+1122.3 s] /proc/loadavg: 2.08 2.02 2.01 3/183 15857 /proc/meminfo: memFree=28256892/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=1650384 CPUtime=1122.32 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 405667 0 0 0 107283 4949 0 0 25 0 1 0 134353379 1689993216 404721 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 412596 404721 391 719 0 411875 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1650384 [startup+1182.3 s] /proc/loadavg: 2.03 2.01 2.00 3/183 15859 /proc/meminfo: memFree=28111888/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=1718496 CPUtime=1182.33 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 422733 0 0 0 113009 5224 0 0 25 0 1 0 134353379 1759739904 421787 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 429624 421787 391 719 0 428903 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1718496 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 2.00 3/183 15860 /proc/meminfo: memFree=27949892/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=1787412 CPUtime=1242.33 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 439965 0 0 0 118746 5487 0 0 25 0 1 0 134353379 1830309888 439019 4089446400 4194304 7136930 140737291000080 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 446853 439019 391 719 0 446132 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1787412 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15861 /proc/meminfo: memFree=27785052/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=1865996 CPUtime=1302.34 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 459738 0 0 0 124475 5759 0 0 25 0 1 0 134353379 1910779904 458792 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 466499 458792 391 719 0 465778 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1865996 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15863 /proc/meminfo: memFree=27631852/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=1948924 CPUtime=1362.33 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 476584 0 0 0 130212 6021 0 0 25 0 1 0 134353379 1995698176 475638 4089446400 4194304 7136930 140737291000080 18446744073709551615 4210033 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 487231 475638 391 719 0 486510 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1948924 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15865 /proc/meminfo: memFree=27499260/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=2017156 CPUtime=1422.34 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 493602 0 0 0 135954 6280 0 0 25 0 1 0 134353379 2065567744 492656 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 504289 492656 391 719 0 503568 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2017156 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15867 /proc/meminfo: memFree=27338144/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=2092480 CPUtime=1482.34 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 512527 0 0 0 141674 6560 0 0 25 0 1 0 134353379 2142699520 511581 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 523120 511581 391 719 0 522399 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 2092480 [startup+1542.3 s] /proc/loadavg: 2.07 2.02 2.00 3/183 15868 /proc/meminfo: memFree=27184704/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=2160264 CPUtime=1542.34 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 529724 0 0 0 147390 6844 0 0 25 0 1 0 134353379 2212110336 528778 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 540066 528778 391 719 0 539345 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2160264 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/183 15869 /proc/meminfo: memFree=27043920/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=2223592 CPUtime=1602.34 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 545745 0 0 0 153147 7087 0 0 25 0 1 0 134353379 2276958208 544799 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 555898 544799 391 719 0 555177 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2223592 [startup+1662.3 s] /proc/loadavg: 2.07 2.03 2.01 3/183 15871 /proc/meminfo: memFree=26866676/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=2302408 CPUtime=1662.34 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 565606 0 0 0 158866 7368 0 0 25 0 1 0 134353379 2357665792 564660 4089446400 4194304 7136930 140737291000080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 575602 564660 391 719 0 574881 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2302408 [startup+1722.3 s] /proc/loadavg: 2.07 2.04 2.00 3/183 15873 /proc/meminfo: memFree=26717452/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=2371956 CPUtime=1722.34 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 582980 0 0 0 164620 7614 0 0 25 0 1 0 134353379 2428882944 582034 4089446400 4194304 7136930 140737291000080 18446744073709551615 4979714 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 592989 582034 391 719 0 592268 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2371956 [startup+1782.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 15875 /proc/meminfo: memFree=26566380/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=2438820 CPUtime=1782.35 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 599760 0 0 0 170362 7873 0 0 25 0 1 0 134353379 2497351680 598814 4089446400 4194304 7136930 140737291000080 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 609705 598814 391 719 0 608984 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 2438820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.03 2.00 3/183 15875 /proc/meminfo: memFree=26528048/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=2457404 CPUtime=1800.05 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 604407 0 0 0 172063 7942 0 0 25 0 1 0 134353379 2516381696 603461 4089446400 4194304 7136930 140737291000080 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15789/statm: 614351 603461 391 719 0 613630 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2457404 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15789 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.02 2.03 2.00 3/184 15876 /proc/meminfo: memFree=26528040/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=2457404 CPUtime=1801.45 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 604426 0 0 0 172203 7942 0 0 25 0 1 0 134353379 2516381696 603480 4089446400 4194304 7136930 140737291000080 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15789/statm: 614351 603480 397 719 0 613630 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 2457404 [startup+1801.81 s] /proc/loadavg: 2.02 2.03 2.00 3/184 15876 /proc/meminfo: memFree=26526924/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=2457404 CPUtime=1801.86 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 604426 0 0 0 172244 7942 0 0 25 0 1 0 134353379 2516381696 603480 4089446400 4194304 7136930 140737291000080 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15789/statm: 614351 603480 397 719 0 613630 0 Current children cumulated CPU time (s) 1801.86 Current children cumulated vsize (KiB) 2457404 [startup+1802 s] /proc/loadavg: 2.02 2.03 2.00 3/184 15876 /proc/meminfo: memFree=26526924/32951124 swapFree=67111528/67111528 [pid=15789] ppid=15787 vsize=2457404 CPUtime=1802.05 /proc/15789/stat : 15789 (pbscip.linux.x8) R 15787 15789 15415 0 -1 4202496 604426 0 0 0 172263 7942 0 0 25 0 1 0 134353379 2516381696 603480 4089446400 4194304 7136930 140737291000080 18446744073709551615 4212431 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15789/statm: 614351 603480 397 719 0 613630 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 2457404 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.14 CPU user time (s): 1722.64 CPU system time (s): 79.5029 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2457404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1722.64 system time used= 79.5029 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 604426 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= 1093 runsolver used 3.21351 second user time and 6.64399 second system time The end
Begin job on node135 at 2010-06-30 22:42:58 IDJOB=2693695 IDBENCH=79307 IDSOLVER=1206 FILE ID=node135/2693695-1277930578 PBS_JOBID= 11197391 Free space on /tmp= 74132 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.1900557362--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-2693695-1277930578/watcher-2693695-1277930578 -o /tmp/evaluation-result-2693695-1277930578/solver-2693695-1277930578 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693695-1277930578.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 72eb8aad8ccea22a443211b3b107df93 RANDOM SEED=1018325875 node135.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.857 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.71 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.857 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.857 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.857 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 : 7186.14 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.857 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.857 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.857 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.74 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.857 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30911792 kB Buffers: 209980 kB Cached: 1111728 kB SwapCached: 0 kB Active: 1051560 kB Inactive: 840888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30911792 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3180 kB Writeback: 0 kB AnonPages: 570872 kB Mapped: 17464 kB Slab: 82208 kB PageTables: 6332 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 745480 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74132 MiB End job on node135 at 2010-06-30 23:13:00