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.1 | 1802.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554072--soft-33-100-0.wbo |
| MD5SUM | becc9aeeb3178c7d9d9e6e8b76e31de7 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 71.2462 |
| 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 | 1857 |
| 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 | 93863 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 93862 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 695 |
| 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-2694129-1277906798.wbo>
0.00/0.03 c original problem has 3945 variables (2088 bin, 0 int, 0 impl, 1857 cont) and 4565 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.04/0.05 c presolving:
0.04/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.04/0.09 c (round 2) 0 del vars, 62 del conss, 1857 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.09/0.10 c (round 3) 50 del vars, 124 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.09/0.11 c (round 4) 107 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2031 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 114 deleted vars, 131 deleted constraints, 1864 tightened bounds, 0 added holes, 62 changed sides, 0 changed coefficients
0.09/0.17 c 1983 implications, 5 cliques
0.09/0.17 c presolved problem has 3831 variables (2031 bin, 0 int, 0 impl, 1800 cont) and 4434 constraints
0.09/0.17 c 1800 constraints of type <indicator>
0.09/0.17 c 5 constraints of type <setppc>
0.09/0.17 c 1800 constraints of type <linear>
0.09/0.17 c 829 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.97
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 | - | 12M| 0 | - |3831 |4434 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.37/1.45 o 827
1.37/1.45 c * 1.3s| 4978 | 4522 | 0 | 0.0 | 16M|1949 | - |3831 |5262 | 0 | 0 | 0 |1131 | 0 | 0.000000e+00 | 8.270000e+02 | Inf
1.58/1.69 o 284
1.58/1.69 c * 1.5s| 5881 | 4726 | 0 | 0.0 | 17M|1949 | - |3831 |5195 | 0 | 0 | 0 |1160 | 0 | 0.000000e+00 | 2.840000e+02 | Inf
2.78/2.84 c 2.6s| 10000 | 8201 | 0 | 0.0 | 20M|1949 | - |3831 |5826 | 0 | 0 | 0 |3248 | 0 | 0.000000e+00 | 2.840000e+02 | Inf
6.38/6.42 c 6.1s| 20000 | 15670 | 0 | 0.0 | 30M|1949 | - |3831 |7103 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
10.28/10.35 o 265
10.28/10.35 c * 9.9s| 27806 | 20062 | 0 | 0.0 | 38M|1949 | - |3831 |8506 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.650000e+02 | Inf
10.58/10.65 o 250
10.58/10.65 c *10.2s| 28607 | 20726 | 0 | 0.0 | 39M|1949 | - |3831 |8104 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.500000e+02 | Inf
10.58/10.66 o 246
10.58/10.66 c *10.2s| 28619 | 20710 | 0 | 0.0 | 39M|1949 | - |3831 |8103 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.460000e+02 | Inf
10.78/10.83 o 227
10.78/10.83 c *10.3s| 29036 | 21070 | 0 | 0.0 | 39M|1949 | - |3831 |7961 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.270000e+02 | Inf
10.78/10.83 o 222
10.78/10.83 c *10.3s| 29037 | 21060 | 0 | 0.0 | 39M|1949 | - |3831 |7961 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
10.89/10.99 o 191
10.89/10.99 c *10.5s| 29398 | 21275 | 0 | 0.0 | 39M|1949 | - |3831 |7852 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
10.99/11.04 o 181
10.99/11.04 c *10.6s| 29513 | 21362 | 0 | 0.0 | 39M|1949 | - |3831 |7810 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
10.99/11.04 o 147
10.99/11.04 c *10.6s| 29514 | 21179 | 0 | 0.0 | 39M|1949 | - |3831 |7810 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
10.99/11.07 o 131
10.99/11.07 c *10.6s| 29586 | 21063 | 0 | 0.0 | 39M|1949 | - |3831 |7776 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
11.08/11.19 o 128
11.08/11.19 c *10.7s| 29971 | 21374 | 0 | 0.0 | 39M|1949 | - |3831 |7693 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
11.18/11.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.18/11.21 c 10.7s| 30000 | 21403 | 0 | 0.0 | 39M|1949 | - |3831 |7673 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
11.18/11.29 o 120
11.18/11.29 c *10.8s| 30185 | 21473 | 0 | 0.0 | 40M|1949 | - |3831 |7656 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
11.38/11.48 o 112
11.38/11.48 c *11.0s| 30616 | 21686 | 0 | 0.0 | 41M|1949 | - |3831 |7607 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
11.38/11.49 o 104
11.38/11.49 c *11.0s| 30617 | 21608 | 0 | 0.0 | 40M|1949 | - |3831 |7607 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
11.47/11.52 o 86
11.47/11.52 c *11.0s| 30689 | 21211 | 0 | 0.0 | 40M|1949 | - |3831 |7588 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
11.47/11.52 o 81
11.47/11.52 c *11.0s| 30690 | 21076 | 0 | 0.0 | 40M|1949 | - |3831 |7588 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
11.57/11.69 o 70
11.57/11.69 c *11.2s| 31060 | 20930 | 0 | 0.0 | 40M|1949 | - |3831 |7630 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
11.57/11.69 o 49
11.57/11.69 c *11.2s| 31061 | 20331 | 0 | 0.0 | 40M|1949 | - |3831 |7630 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
11.68/11.73 o 36
11.68/11.73 c *11.2s| 31147 | 19711 | 0 | 0.0 | 40M|1949 | - |3831 |7635 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
15.18/15.23 c 14.6s| 40000 | 27156 | 0 | 0.0 | 57M|1949 | - |3831 |6692 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
18.59/18.61 c 17.9s| 50000 | 35238 | 0 | 0.0 | 68M|1949 | - |3831 |7413 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
22.38/22.45 c 21.6s| 60000 | 42649 | 0 | 0.0 | 77M|1949 | - |3831 |8618 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
26.68/26.73 c 25.8s| 70000 | 49601 | 0 | 0.0 | 87M|1949 | - |3831 |9284 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
31.18/31.20 c 30.1s| 80000 | 56362 | 0 | 0.0 | 96M|1949 | - |3831 | 10k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
36.08/36.15 c 34.9s| 90000 | 62721 | 0 | 0.0 | 105M|1949 | - |3831 | 10k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
41.68/41.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.68/41.74 c 40.4s|100000 | 68493 | 0 | 0.0 | 116M|1949 | - |3831 | 11k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
47.68/47.79 c 46.3s|110000 | 73892 | 0 | 0.0 | 126M|1949 | - |3831 | 13k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
54.08/54.14 c 52.5s|120000 | 79178 | 0 | 0.0 | 135M|1949 | - |3831 | 13k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
61.18/61.28 c 59.5s|130000 | 82680 | 0 | 0.0 | 144M|1949 | - |3831 | 13k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
68.19/68.24 c 66.3s|140000 | 85281 | 0 | 0.0 | 147M|1949 | - |3831 |6305 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
72.98/73.07 c 71.0s|150000 | 93251 | 0 | 0.0 | 159M|1949 | - |3831 |9159 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
73.59/73.70 o 34
73.59/73.70 c *71.6s|150948 | 93762 | 0 | 0.0 | 160M|1949 | - |3831 |9684 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
74.28/74.34 o 33
74.28/74.34 c *72.2s|151857 | 94320 | 0 | 0.0 | 161M|1949 | - |3831 | 10k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
75.79/75.89 o 32
75.79/75.89 c *73.7s|153745 | 95418 | 0 | 0.0 | 164M|1949 | - |3831 | 10k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
76.48/76.59 o 25
76.48/76.59 c *74.4s|154460 | 95234 | 0 | 0.0 | 162M|1949 | - |3831 | 10k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
79.18/79.22 o 21
79.18/79.22 c *77.0s|156430 | 95162 | 0 | 0.0 | 165M|1949 | - |3831 | 11k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
80.88/80.90 c 78.6s|160000 | 98190 | 0 | 0.0 | 170M|1949 | - |3831 | 10k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
85.38/85.49 c 83.0s|170000 |106543 | 0 | 0.0 | 180M|1949 | - |3831 |6954 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
89.98/90.01 c 87.4s|180000 |113995 | 0 | 0.0 | 189M|1949 | - |3831 |7251 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
91.98/92.07 o 15
91.98/92.07 c *89.4s|183765 |115246 | 0 | 0.0 | 188M|1949 | - |3831 |7654 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
96.18/96.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.18/96.20 c 93.4s|190000 |118488 | 0 | 0.0 | 194M|1949 | - |3831 |6785 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
101.09/101.15 c 98.2s|200000 |125132 | 0 | 0.0 | 204M|1949 | - |3831 |8958 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
105.18/105.27 c 102s|210000 |132730 | 0 | 0.0 | 211M|1949 | - |3831 |8057 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
109.88/109.93 c 107s|220000 |139677 | 0 | 0.0 | 220M|1949 | - |3831 |7955 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
114.39/114.40 c 111s|230000 |146824 | 0 | 0.0 | 229M|1949 | - |3831 |7935 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
118.88/118.95 c 116s|240000 |153858 | 0 | 0.0 | 238M|1949 | - |3831 |8339 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
123.58/123.67 c 120s|250000 |160761 | 0 | 0.0 | 247M|1949 | - |3831 |8241 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
127.88/127.98 c 124s|260000 |167900 | 0 | 0.0 | 255M|1949 | - |3831 |8340 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
132.48/132.59 c 129s|270000 |174847 | 0 | 0.0 | 263M|1949 | - |3831 |8423 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
137.88/137.90 c 134s|280000 |181073 | 0 | 0.0 | 272M|1949 | - |3831 | 10k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
141.88/141.97 c 138s|290000 |189064 | 0 | 0.0 | 279M|1949 | - |3831 |4804 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
145.29/145.32 c 141s|300000 |197429 | 0 | 0.0 | 287M|1949 | - |3831 |5204 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
149.59/149.63 c 145s|310000 |204544 | 0 | 0.0 | 296M|1949 | - |3831 |6216 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
155.18/155.27 c 151s|320000 |210255 | 0 | 0.0 | 306M|1949 | - |3831 |7336 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
161.18/161.25 c 156s|330000 |215602 | 0 | 0.0 | 315M|1949 | - |3831 |8357 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
167.69/167.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.69/167.79 c 163s|340000 |220482 | 0 | 0.0 | 324M|1949 | - |3831 |8941 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
174.38/174.48 c 169s|350000 |225256 | 0 | 0.0 | 333M|1949 | - |3831 |9491 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
181.78/181.80 c 177s|360000 |229458 | 0 | 0.0 | 342M|1949 | - |3831 |9748 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
188.78/188.81 c 183s|370000 |233975 | 0 | 0.0 | 350M|1949 | - |3831 | 10k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
195.89/195.96 c 190s|380000 |238329 | 0 | 0.0 | 359M|1949 | - |3831 | 10k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
203.19/203.29 c 198s|390000 |242533 | 0 | 0.0 | 368M|1949 | - |3831 | 11k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
210.48/210.51 c 205s|400000 |246853 | 0 | 0.0 | 377M|1949 | - |3831 | 11k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
217.79/217.83 c 212s|410000 |251052 | 0 | 0.0 | 385M|1949 | - |3831 | 11k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
225.38/225.44 c 219s|420000 |255015 | 0 | 0.0 | 394M|1949 | - |3831 | 12k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
233.58/233.64 c 227s|430000 |258359 | 0 | 0.0 | 403M|1949 | - |3831 | 12k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
242.08/242.16 c 236s|440000 |261318 | 0 | 0.0 | 411M|1949 | - |3831 | 12k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
250.98/251.06 c 244s|450000 |264008 | 0 | 0.0 | 420M|1949 | - |3831 | 12k| 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
260.49/260.60 c 254s|460000 |266157 | 0 | 0.0 | 427M|1949 | - |3831 | 12k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
271.29/271.38 c 264s|470000 |267005 | 0 | 0.0 | 435M|1949 | - |3831 | 13k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
283.98/284.07 c 277s|480000 |265309 | 0 | 0.0 | 439M|1949 | - |3831 | 14k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
298.58/298.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.58/298.67 c 291s|490000 |260197 | 0 | 0.0 | 440M|1949 | - |3831 | 15k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
314.29/314.35 c 307s|500000 |255052 | 0 | 0.0 | 432M|1949 | - |3831 | 17k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
318.78/318.85 c 311s|510000 |263172 | 0 | 0.0 | 437M|1949 | - |3831 |5326 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
322.29/322.37 o 13
322.29/322.37 c * 314s|518735 |269789 | 0 | 0.0 | 443M|1949 | - |3831 |5708 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
322.29/322.37 o 8
322.29/322.37 c * 314s|518736 |268968 | 0 | 0.0 | 440M|1949 | - |3831 |5708 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
322.89/322.94 c 315s|520000 |269972 | 0 | 0.0 | 441M|1949 | - |3831 |5661 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
327.28/327.37 c 319s|530000 |277699 | 0 | 0.0 | 451M|1949 | - |3831 |4371 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
331.28/331.39 c 323s|540000 |285060 | 0 | 0.0 | 460M|1949 | - |3831 |4928 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
335.59/335.68 c 327s|550000 |292080 | 0 | 0.0 | 469M|1949 | - |3831 |5196 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
340.49/340.52 c 332s|560000 |298426 | 0 | 0.0 | 479M|1949 | - |3831 |5469 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
345.78/345.86 c 337s|570000 |304230 | 0 | 0.0 | 488M|1949 | - |3831 |5837 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
351.89/351.91 c 343s|580000 |309212 | 0 | 0.0 | 497M|1949 | - |3831 |6176 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
358.69/358.72 c 350s|590000 |313350 | 0 | 0.0 | 506M|1949 | - |3831 |6628 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
366.68/366.73 c 358s|600000 |316068 | 0 | 0.0 | 515M|1949 | - |3831 |7634 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
375.78/375.85 c 366s|610000 |317011 | 0 | 0.0 | 519M|1949 | - |3831 |5898 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
379.28/379.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.28/379.37 c 370s|620000 |325070 | 0 | 0.0 | 527M|1949 | - |3831 |4499 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
382.79/382.82 c 373s|630000 |333080 | 0 | 0.0 | 536M|1949 | - |3831 |4668 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
386.49/386.50 c 377s|640000 |340794 | 0 | 0.0 | 544M|1949 | - |3831 |4902 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
390.29/390.34 c 380s|650000 |348271 | 0 | 0.0 | 553M|1949 | - |3831 |5275 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
393.99/394.06 c 384s|660000 |355884 | 0 | 0.0 | 561M|1949 | - |3831 |5391 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
398.19/398.21 c 388s|670000 |363030 | 0 | 0.0 | 569M|1949 | - |3831 |5598 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
398.89/398.96 o 7
398.89/398.96 c * 389s|671712 |362846 | 0 | 0.0 | 567M|1949 | - |3831 |5639 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
403.09/403.12 c 393s|680000 |368267 | 0 | 0.0 | 575M|1949 | - |3831 |6070 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
407.78/407.89 c 397s|690000 |374965 | 0 | 0.0 | 584M|1949 | - |3831 |6280 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
413.19/413.25 c 403s|700000 |380957 | 0 | 0.0 | 594M|1949 | - |3831 |6772 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
418.59/418.66 c 408s|710000 |386923 | 0 | 0.0 | 603M|1949 | - |3831 |6672 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
424.39/424.47 c 414s|720000 |392389 | 0 | 0.0 | 613M|1949 | - |3831 |7259 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
430.88/430.93 c 420s|730000 |397219 | 0 | 0.0 | 622M|1949 | - |3831 |7936 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
438.08/438.13 c 427s|740000 |401324 | 0 | 0.0 | 631M|1949 | - |3831 |8456 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
445.99/446.02 c 435s|750000 |404804 | 0 | 0.0 | 640M|1949 | - |3831 |8595 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
454.59/454.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.59/454.66 c 443s|760000 |407481 | 0 | 0.0 | 648M|1949 | - |3831 |9191 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
465.09/465.12 c 453s|770000 |408167 | 0 | 0.0 | 650M|1949 | - |3831 |8011 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
468.60/468.65 c 457s|780000 |416090 | 0 | 0.0 | 657M|1949 | - |3831 |5562 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
472.19/472.27 c 460s|790000 |423749 | 0 | 0.0 | 664M|1949 | - |3831 |6166 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
475.99/476.04 c 464s|800000 |431180 | 0 | 0.0 | 672M|1949 | - |3831 |6744 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
480.09/480.15 c 468s|810000 |438267 | 0 | 0.0 | 680M|1949 | - |3831 |7198 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
484.79/484.85 c 472s|820000 |444805 | 0 | 0.0 | 687M|1949 | - |3831 |7704 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
490.69/490.73 c 478s|830000 |450064 | 0 | 0.0 | 695M|1949 | - |3831 |8813 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
498.19/498.22 c 485s|840000 |453783 | 0 | 0.0 | 703M|1949 | - |3831 | 10k| 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
504.58/504.66 c 492s|850000 |458913 | 0 | 0.0 | 707M|1949 | - |3831 |6031 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
508.20/508.26 c 495s|860000 |466636 | 0 | 0.0 | 715M|1949 | - |3831 |6261 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
512.19/512.27 c 499s|870000 |473862 | 0 | 0.0 | 723M|1949 | - |3831 |6869 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
517.19/517.26 c 504s|880000 |480151 | 0 | 0.0 | 731M|1949 | - |3831 |7622 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
522.79/522.82 c 509s|890000 |485849 | 0 | 0.0 | 740M|1949 | - |3831 |8476 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
529.38/529.44 c 516s|900000 |490504 | 0 | 0.0 | 749M|1949 | - |3831 |9375 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
537.79/537.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
537.79/537.81 c 524s|910000 |493417 | 0 | 0.0 | 756M|1949 | - |3831 | 11k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
542.89/542.94 c 529s|920000 |499906 | 0 | 0.0 | 761M|1949 | - |3831 |6325 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
546.79/546.87 c 533s|930000 |507414 | 0 | 0.0 | 769M|1949 | - |3831 |6629 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
551.09/551.15 c 537s|940000 |514516 | 0 | 0.0 | 777M|1949 | - |3831 |7246 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
555.69/555.74 c 541s|950000 |521216 | 0 | 0.0 | 785M|1949 | - |3831 |8017 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
560.78/560.89 c 546s|960000 |527379 | 0 | 0.0 | 793M|1949 | - |3831 |8781 | 0 | 0 | 0 | 755k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
567.39/567.44 c 553s|970000 |532163 | 0 | 0.0 | 801M|1949 | - |3831 | 10k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
575.09/575.19 c 560s|980000 |536156 | 0 | 0.0 | 806M|1949 | - |3831 |7192 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
579.20/579.28 c 564s|990000 |543371 | 0 | 0.0 | 813M|1949 | - |3831 |7130 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
583.49/583.57 c 568s| 1000k|550429 | 0 | 0.0 | 821M|1949 | - |3831 |7929 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
588.39/588.43 c 573s| 1010k|556938 | 0 | 0.0 | 829M|1949 | - |3831 |8777 | 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
594.19/594.22 c 579s| 1020k|562515 | 0 | 0.0 | 837M|1949 | - |3831 |9862 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
602.39/602.46 c 587s| 1030k|565766 | 0 | 0.0 | 845M|1949 | - |3831 | 11k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
608.20/608.23 c 592s| 1040k|571866 | 0 | 0.0 | 851M|1949 | - |3831 |7422 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
612.29/612.39 c 596s| 1050k|579256 | 0 | 0.0 | 859M|1949 | - |3831 |7829 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
616.89/616.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.89/616.91 c 601s| 1060k|586185 | 0 | 0.0 | 867M|1949 | - |3831 |8465 | 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
622.79/622.83 c 606s| 1070k|591712 | 0 | 0.0 | 876M|1949 | - |3831 |9648 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
629.10/629.17 c 613s| 1080k|596824 | 0 | 0.0 | 885M|1949 | - |3831 | 10k| 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
637.79/637.89 c 621s| 1090k|599631 | 0 | 0.0 | 891M|1949 | - |3831 | 13k| 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
641.79/641.89 c 625s| 1100k|607302 | 0 | 0.0 | 897M|1949 | - |3831 |7664 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
645.99/646.03 c 629s| 1110k|614559 | 0 | 0.0 | 904M|1949 | - |3831 |8135 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
650.39/650.48 c 633s| 1120k|621451 | 0 | 0.0 | 912M|1949 | - |3831 |8793 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
655.49/655.50 c 638s| 1130k|627768 | 0 | 0.0 | 920M|1949 | - |3831 |9811 | 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
662.39/662.42 c 645s| 1140k|632272 | 0 | 0.0 | 929M|1949 | - |3831 | 11k| 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
670.19/670.21 c 653s| 1150k|636271 | 0 | 0.0 | 934M|1949 | - |3831 |9094 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
674.00/674.07 c 656s| 1160k|643823 | 0 | 0.0 | 941M|1949 | - |3831 |8443 | 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
678.19/678.23 c 660s| 1170k|651058 | 0 | 0.0 | 949M|1949 | - |3831 |8829 | 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
682.69/682.70 c 665s| 1180k|658074 | 0 | 0.0 | 956M|1949 | - |3831 |9266 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
687.50/687.53 c 669s| 1190k|664676 | 0 | 0.0 | 964M|1949 | - |3831 |9794 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
693.49/693.56 c 675s| 1200k|670067 | 0 | 0.0 | 972M|1949 | - |3831 | 10k| 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
702.10/702.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.10/702.10 c 684s| 1210k|672988 | 0 | 0.0 | 980M|1949 | - |3831 | 13k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
707.40/707.46 c 689s| 1220k|679384 | 0 | 0.0 | 985M|1949 | - |3831 |9099 | 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
711.30/711.33 c 693s| 1230k|687003 | 0 | 0.0 | 993M|1949 | - |3831 |9460 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
715.89/715.99 c 697s| 1240k|693895 | 0 | 0.0 |1000M|1949 | - |3831 | 10k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
720.89/720.92 c 702s| 1250k|700538 | 0 | 0.0 |1008M|1949 | - |3831 | 10k| 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
726.29/726.33 c 707s| 1260k|706671 | 0 | 0.0 |1016M|1949 | - |3831 | 10k| 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
731.89/731.93 c 713s| 1270k|712644 | 0 | 0.0 |1023M|1949 | - |3831 | 11k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
737.80/737.81 c 719s| 1280k|718355 | 0 | 0.0 |1030M|1949 | - |3831 | 11k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
743.69/743.79 c 724s| 1290k|724125 | 0 | 0.0 |1037M|1949 | - |3831 | 12k| 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
750.29/750.37 c 731s| 1300k|729460 | 0 | 0.0 |1046M|1949 | - |3831 | 13k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
758.29/758.31 c 739s| 1310k|733663 | 0 | 0.0 |1054M|1949 | - |3831 | 15k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
765.10/765.10 c 745s| 1320k|739080 | 0 | 0.0 |1057M|1949 | - |3831 |4455 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
769.59/769.66 c 750s| 1330k|745911 | 0 | 0.0 |1066M|1949 | - |3831 |5921 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
774.29/774.40 c 754s| 1340k|752517 | 0 | 0.0 |1074M|1949 | - |3831 |4708 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
778.89/778.93 c 759s| 1350k|759171 | 0 | 0.0 |1082M|1949 | - |3831 |4473 | 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
783.20/783.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.20/783.30 c 763s| 1360k|765940 | 0 | 0.0 |1091M|1949 | - |3831 |4681 | 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
787.39/787.41 c 767s| 1370k|773110 | 0 | 0.0 |1099M|1949 | - |3831 |5113 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
791.79/791.84 c 771s| 1380k|779836 | 0 | 0.0 |1107M|1949 | - |3831 |5255 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
796.09/796.17 c 775s| 1390k|786636 | 0 | 0.0 |1115M|1949 | - |3831 |5265 | 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
800.30/800.32 c 779s| 1400k|793614 | 0 | 0.0 |1123M|1949 | - |3831 |6006 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
803.49/803.59 c 783s| 1410k|801811 | 0 | 0.0 |1131M|1949 | - |3831 |4837 | 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
806.90/806.98 c 786s| 1420k|809740 | 0 | 0.0 |1139M|1949 | - |3831 |5086 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
810.50/810.57 c 789s| 1430k|817282 | 0 | 0.0 |1147M|1949 | - |3831 |5892 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
814.80/814.87 c 793s| 1440k|824034 | 0 | 0.0 |1155M|1949 | - |3831 |7567 | 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
818.70/818.77 c 797s| 1450k|831490 | 0 | 0.0 |1161M|1949 | - |3831 |5248 | 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
822.09/822.18 c 801s| 1460k|839371 | 0 | 0.0 |1169M|1949 | - |3831 |5894 | 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
826.10/826.16 c 804s| 1470k|846414 | 0 | 0.0 |1177M|1949 | - |3831 |7223 | 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
830.20/830.24 c 808s| 1480k|853590 | 0 | 0.0 |1184M|1949 | - |3831 |5927 | 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
834.19/834.27 c 812s| 1490k|860688 | 0 | 0.0 |1192M|1949 | - |3831 |5910 | 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
838.10/838.17 c 816s| 1500k|867837 | 0 | 0.0 |1199M|1949 | - |3831 |5747 | 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
841.80/841.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.80/841.84 c 820s| 1510k|875413 | 0 | 0.0 |1207M|1949 | - |3831 |6039 | 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
845.60/845.67 c 823s| 1520k|882622 | 0 | 0.0 |1215M|1949 | - |3831 |7052 | 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
849.30/849.35 c 827s| 1530k|890225 | 0 | 0.0 |1222M|1949 | - |3831 |6071 | 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
853.19/853.27 c 831s| 1540k|897462 | 0 | 0.0 |1230M|1949 | - |3831 |7713 | 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
857.19/857.28 c 835s| 1550k|904688 | 0 | 0.0 |1237M|1949 | - |3831 |6758 | 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
861.09/861.10 c 838s| 1560k|912008 | 0 | 0.0 |1244M|1949 | - |3831 |6691 | 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
864.80/864.88 c 842s| 1570k|919491 | 0 | 0.0 |1251M|1949 | - |3831 |3911 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
868.20/868.26 c 845s| 1580k|927529 | 0 | 0.0 |1259M|1949 | - |3831 |3832 | 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
872.40/872.42 c 849s| 1590k|934363 | 0 | 0.0 |1268M|1949 | - |3831 |5314 | 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
880.49/880.58 c 857s| 1600k|936880 | 0 | 0.0 |1276M|1949 | - |3831 |9309 | 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
890.49/890.51 c 867s| 1610k|938953 | 0 | 0.0 |1284M|1949 | - |3831 | 11k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
901.50/901.51 c 878s| 1620k|940636 | 0 | 0.0 |1292M|1949 | - |3831 | 12k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
912.29/912.38 c 888s| 1630k|942565 | 0 | 0.0 |1299M|1949 | - |3831 | 13k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
923.80/923.89 c 900s| 1640k|944093 | 0 | 0.0 |1306M|1949 | - |3831 | 14k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
935.49/935.57 c 911s| 1650k|945605 | 0 | 0.0 |1313M|1949 | - |3831 | 14k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
947.10/947.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
947.10/947.18 c 923s| 1660k|947061 | 0 | 0.0 |1319M|1949 | - |3831 | 14k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
959.30/959.34 c 935s| 1670k|948160 | 0 | 0.0 |1325M|1949 | - |3831 | 14k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
972.09/972.13 c 947s| 1680k|948761 | 0 | 0.0 |1331M|1949 | - |3831 | 15k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
985.20/985.23 c 960s| 1690k|949351 | 0 | 0.0 |1336M|1949 | - |3831 | 15k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
999.10/999.15 c 974s| 1700k|949276 | 0 | 0.0 |1341M|1949 | - |3831 | 15k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1013.40/1013.47 c 988s| 1710k|949260 | 0 | 0.0 |1346M|1949 | - |3831 | 15k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1028.20/1028.22 c 1003s| 1720k|948731 | 0 | 0.0 |1351M|1949 | - |3831 | 15k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1043.30/1043.37 c 1018s| 1730k|948271 | 0 | 0.0 |1357M|1949 | - |3831 | 16k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1059.70/1059.72 c 1034s| 1740k|947156 | 0 | 0.0 |1362M|1949 | - |3831 | 17k| 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1076.81/1076.81 c 1051s| 1750k|945458 | 0 | 0.0 |1364M|1949 | - |3831 | 18k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1095.00/1095.01 c 1069s| 1760k|943092 | 0 | 0.0 |1363M|1949 | - |3831 | 18k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1113.90/1113.95 c 1088s| 1770k|940516 | 0 | 0.0 |1362M|1949 | - |3831 | 19k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1134.11/1134.15 c 1108s| 1780k|937104 | 0 | 0.0 |1360M|1949 | - |3831 | 19k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1154.91/1154.97 c 1128s| 1790k|932652 | 0 | 0.0 |1352M|1949 | - |3831 | 19k| 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1177.30/1177.30 c 1150s| 1800k|926056 | 0 | 0.0 |1336M|1949 | - |3831 | 20k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1186.70/1186.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.70/1186.72 c 1160s| 1810k|930578 | 0 | 0.0 |1335M|1949 | - |3831 |9031 | 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1191.90/1191.95 c 1165s| 1820k|937572 | 0 | 0.0 |1344M|1949 | - |3831 |6886 | 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1197.30/1197.30 c 1170s| 1830k|944181 | 0 | 0.0 |1353M|1949 | - |3831 |6173 | 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1202.50/1202.59 c 1175s| 1840k|950837 | 0 | 0.0 |1363M|1949 | - |3831 |6531 | 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1207.81/1207.84 c 1180s| 1850k|957402 | 0 | 0.0 |1372M|1949 | - |3831 |6862 | 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1213.10/1213.18 c 1185s| 1860k|963836 | 0 | 0.0 |1381M|1949 | - |3831 |7113 | 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1216.31/1216.35 o 6
1216.31/1216.35 c *1188s| 1865k|961861 | 0 | 0.0 |1374M|1949 | - |3831 |6999 | 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1218.91/1218.90 c 1191s| 1870k|964216 | 0 | 0.0 |1379M|1949 | - |3831 |7316 | 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1224.91/1224.93 c 1197s| 1880k|970375 | 0 | 0.0 |1390M|1949 | - |3831 |7877 | 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1230.50/1230.59 c 1202s| 1890k|976752 | 0 | 0.0 |1400M|1949 | - |3831 |7692 | 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1236.50/1236.58 c 1208s| 1900k|982798 | 0 | 0.0 |1411M|1949 | - |3831 |7824 | 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1242.91/1242.91 c 1214s| 1910k|988595 | 0 | 0.0 |1422M|1949 | - |3831 |8653 | 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1248.80/1248.83 c 1220s| 1920k|994681 | 0 | 0.0 |1432M|1949 | - |3831 |8975 | 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1255.30/1255.34 c 1226s| 1930k| 1000k| 0 | 0.0 |1442M|1949 | - |3831 |8768 | 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1262.51/1262.59 c 1233s| 1940k| 1005k| 0 | 0.0 |1454M|1949 | - |3831 |9771 | 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1269.11/1269.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.11/1269.12 c 1240s| 1950k| 1011k| 0 | 0.0 |1464M|1949 | - |3831 |9951 | 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1276.61/1276.68 c 1247s| 1960k| 1016k| 0 | 0.0 |1474M|1949 | - |3831 | 10k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1284.40/1284.43 c 1255s| 1970k| 1021k| 0 | 0.0 |1486M|1949 | - |3831 | 11k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1292.11/1292.10 c 1262s| 1980k| 1025k| 0 | 0.0 |1496M|1949 | - |3831 | 11k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1300.80/1300.88 c 1271s| 1990k| 1030k| 0 | 0.0 |1507M|1949 | - |3831 | 11k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1309.01/1309.04 c 1279s| 2000k| 1034k| 0 | 0.0 |1519M|1949 | - |3831 | 11k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1318.21/1318.26 c 1288s| 2010k| 1038k| 0 | 0.0 |1529M|1949 | - |3831 | 11k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1327.50/1327.56 c 1297s| 2020k| 1042k| 0 | 0.0 |1540M|1949 | - |3831 | 11k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1336.81/1336.86 c 1306s| 2030k| 1046k| 0 | 0.0 |1551M|1949 | - |3831 | 12k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1347.30/1347.33 c 1316s| 2040k| 1049k| 0 | 0.0 |1562M|1949 | - |3831 | 12k| 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1358.42/1358.44 c 1327s| 2050k| 1052k| 0 | 0.0 |1572M|1949 | - |3831 | 12k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1369.52/1369.55 c 1338s| 2060k| 1054k| 0 | 0.0 |1582M|1949 | - |3831 | 12k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1380.61/1380.69 c 1349s| 2070k| 1057k| 0 | 0.0 |1594M|1949 | - |3831 | 13k| 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1392.71/1392.70 c 1361s| 2080k| 1059k| 0 | 0.0 |1603M|1949 | - |3831 | 12k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1404.61/1404.68 c 1372s| 2090k| 1061k| 0 | 0.0 |1612M|1949 | - |3831 | 12k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1417.31/1417.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.31/1417.37 c 1385s| 2100k| 1063k| 0 | 0.0 |1622M|1949 | - |3831 | 13k| 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1430.81/1430.89 c 1398s| 2110k| 1063k| 0 | 0.0 |1628M|1949 | - |3831 | 13k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1444.61/1444.62 c 1412s| 2120k| 1065k| 0 | 0.0 |1637M|1949 | - |3831 | 13k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1459.11/1459.12 c 1426s| 2130k| 1065k| 0 | 0.0 |1644M|1949 | - |3831 | 14k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1474.41/1474.48 c 1441s| 2140k| 1065k| 0 | 0.0 |1651M|1949 | - |3831 | 15k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1491.71/1491.74 c 1458s| 2150k| 1064k| 0 | 0.0 |1655M|1949 | - |3831 | 17k| 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1506.01/1506.01 c 1472s| 2160k| 1066k| 0 | 0.0 |1655M|1949 | - |3831 | 14k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1512.11/1512.19 c 1478s| 2170k| 1073k| 0 | 0.0 |1664M|1949 | - |3831 | 11k| 0 | 0 | 0 |1758k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1518.21/1518.22 c 1484s| 2180k| 1080k| 0 | 0.0 |1674M|1949 | - |3831 | 10k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1524.01/1524.02 c 1490s| 2190k| 1086k| 0 | 0.0 |1684M|1949 | - |3831 | 10k| 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1530.02/1530.03 c 1496s| 2200k| 1093k| 0 | 0.0 |1694M|1949 | - |3831 | 10k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1536.01/1536.09 c 1502s| 2210k| 1100k| 0 | 0.0 |1704M|1949 | - |3831 | 10k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1541.91/1541.96 c 1507s| 2220k| 1107k| 0 | 0.0 |1714M|1949 | - |3831 | 10k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1548.01/1548.08 c 1513s| 2230k| 1113k| 0 | 0.0 |1724M|1949 | - |3831 | 11k| 0 | 0 | 0 |1791k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1554.71/1554.72 c 1520s| 2240k| 1119k| 0 | 0.0 |1735M|1949 | - |3831 | 10k| 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1560.51/1560.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.51/1560.54 c 1525s| 2250k| 1126k| 0 | 0.0 |1744M|1949 | - |3831 | 10k| 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1567.01/1567.07 c 1532s| 2260k| 1132k| 0 | 0.0 |1754M|1949 | - |3831 | 10k| 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1573.11/1573.15 c 1538s| 2270k| 1138k| 0 | 0.0 |1764M|1949 | - |3831 | 10k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1579.92/1579.94 c 1544s| 2280k| 1144k| 0 | 0.0 |1774M|1949 | - |3831 | 10k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1586.01/1586.08 c 1550s| 2290k| 1151k| 0 | 0.0 |1784M|1949 | - |3831 | 10k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1593.21/1593.26 c 1557s| 2300k| 1156k| 0 | 0.0 |1794M|1949 | - |3831 | 11k| 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1599.32/1599.40 c 1563s| 2310k| 1163k| 0 | 0.0 |1804M|1949 | - |3831 | 11k| 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1606.81/1606.84 c 1570s| 2320k| 1168k| 0 | 0.0 |1813M|1949 | - |3831 | 11k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1613.62/1613.69 c 1577s| 2330k| 1174k| 0 | 0.0 |1820M|1949 | - |3831 |4947 | 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1619.82/1619.86 c 1583s| 2340k| 1179k| 0 | 0.0 |1828M|1949 | - |3831 |5186 | 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1627.22/1627.26 c 1590s| 2350k| 1184k| 0 | 0.0 |1837M|1949 | - |3831 |6907 | 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1633.91/1633.90 c 1597s| 2360k| 1189k| 0 | 0.0 |1845M|1949 | - |3831 |6647 | 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1640.91/1640.92 c 1604s| 2370k| 1193k| 0 | 0.0 |1853M|1949 | - |3831 |8054 | 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1647.21/1647.25 c 1610s| 2380k| 1198k| 0 | 0.0 |1861M|1949 | - |3831 |8001 | 0 | 0 | 0 |1896k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1654.62/1654.61 c 1617s| 2390k| 1202k| 0 | 0.0 |1868M|1949 | - |3831 |8837 | 0 | 0 | 0 |1905k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1661.51/1661.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1661.51/1661.56 c 1624s| 2400k| 1207k| 0 | 0.0 |1877M|1949 | - |3831 |8360 | 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1669.31/1669.36 c 1631s| 2410k| 1211k| 0 | 0.0 |1884M|1949 | - |3831 |8531 | 0 | 0 | 0 |1922k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1676.42/1676.45 c 1638s| 2420k| 1216k| 0 | 0.0 |1892M|1949 | - |3831 |8653 | 0 | 0 | 0 |1931k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1683.62/1683.67 c 1645s| 2430k| 1220k| 0 | 0.0 |1899M|1949 | - |3831 |7365 | 0 | 0 | 0 |1939k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1691.41/1691.43 c 1653s| 2440k| 1224k| 0 | 0.0 |1907M|1949 | - |3831 |8943 | 0 | 0 | 0 |1949k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1698.42/1698.41 c 1660s| 2450k| 1228k| 0 | 0.0 |1915M|1949 | - |3831 |9092 | 0 | 0 | 0 |1958k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1706.72/1706.70 c 1668s| 2460k| 1232k| 0 | 0.0 |1921M|1949 | - |3831 |9344 | 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1713.82/1713.87 c 1675s| 2470k| 1236k| 0 | 0.0 |1929M|1949 | - |3831 |9133 | 0 | 0 | 0 |1977k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1722.21/1722.25 c 1683s| 2480k| 1240k| 0 | 0.0 |1935M|1949 | - |3831 |9211 | 0 | 0 | 0 |1987k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1730.11/1730.11 c 1691s| 2490k| 1244k| 0 | 0.0 |1943M|1949 | - |3831 |9373 | 0 | 0 | 0 |1996k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1737.72/1737.72 c 1698s| 2500k| 1248k| 0 | 0.0 |1948M|1949 | - |3831 |8017 | 0 | 0 | 0 |2005k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1745.41/1745.47 c 1706s| 2510k| 1252k| 0 | 0.0 |1956M|1949 | - |3831 |9232 | 0 | 0 | 0 |2015k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1753.12/1753.14 c 1714s| 2520k| 1256k| 0 | 0.0 |1963M|1949 | - |3831 |8963 | 0 | 0 | 0 |2024k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1762.12/1762.17 c 1722s| 2530k| 1258k| 0 | 0.0 |1968M|1949 | - |3831 |9460 | 0 | 0 | 0 |2036k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1770.92/1770.97 c 1731s| 2540k| 1262k| 0 | 0.0 |1975M|1949 | - |3831 |8462 | 0 | 0 | 0 |2046k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1780.71/1780.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.71/1780.72 c 1741s| 2550k| 1264k| 0 | 0.0 |1981M|1949 | - |3831 | 10k| 0 | 0 | 0 |2059k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1790.51/1790.58 c 1750s| 2560k| 1266k| 0 | 0.0 |1985M|1949 | - |3831 |9657 | 0 | 0 | 0 |2071k| 0 | 0.000000e+00 | 6.000000e+00 | 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) : 1759.55
1800.02/1800.00 c Solving Nodes : 2569859
1800.02/1800.00 c Primal Bound : +6.00000000000000e+00 (30 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.03 s SATISFIABLE
1800.02/1800.03 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.03 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.03 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.03 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.03 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.03 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.03 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.03 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.03 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.03 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.03 v -x1
1800.02/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.03 c Solving Time : 1759.55
1800.02/1800.03 c Original Problem :
1800.02/1800.03 c Problem name : HOME/instance-2694129-1277906798.wbo
1800.02/1800.03 c Variables : 3945 (2088 binary, 0 integer, 0 implicit integer, 1857 continuous)
1800.02/1800.03 c Constraints : 4565 initial, 4565 maximal
1800.02/1800.03 c Presolved Problem :
1800.02/1800.03 c Problem name : t_HOME/instance-2694129-1277906798.wbo
1800.02/1800.03 c Variables : 3831 (2031 binary, 0 integer, 0 implicit integer, 1800 continuous)
1800.02/1800.03 c Constraints : 4434 initial, 21640 maximal
1800.02/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.03 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.02/1800.03 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.02/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.03 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.02/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c linear : 0.05 0 0 0 1864 0 74 62 0
1800.02/1800.03 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.03 c root node : - 1691 - - 3382 - - - -
1800.02/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c indicator : 1800 0 6202326 0 1697978 133 2349293 0 0 0
1800.02/1800.03 c setppc : 5 0 8057698 0 2023317 27257 2186733 0 0 0
1800.02/1800.03 c linear : 1800 0 8436899 0 2102286 391521 43147430 0 0 0
1800.02/1800.03 c logicor : 829+ 0 5238198 0 2102304 321117 8334428 0 0 0
1800.02/1800.03 c bounddisjunction : 0+ 0 551481 0 0 0 183 0 0 0
1800.02/1800.03 c countsols : 0 0 0 0 2102301 0 0 0 0 0
1800.02/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.03 c indicator : 15.08 0.00 8.50 0.00 6.58
1800.02/1800.03 c setppc : 14.11 0.00 12.35 0.00 1.76
1800.02/1800.03 c linear : 337.31 0.00 334.41 0.00 2.90
1800.02/1800.03 c logicor : 393.00 0.00 336.29 0.00 56.71
1800.02/1800.03 c bounddisjunction : 2.74 0.00 2.74 0.00 0.00
1800.02/1800.03 c countsols : 0.47 0.00 0.00 0.00 0.47
1800.02/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.03 c vbounds : 1.74 2 0 0
1800.02/1800.03 c rootredcost : 1.54 0 0 0
1800.02/1800.03 c pseudoobj : 294.44 8465919 1743 2318748
1800.02/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.03 c propagation : 34.27 741638 741541 3534304 20.5 107264 8.9 -
1800.02/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c pseudo solution : 0.00 77 77 340 20.0 92 9.6 -
1800.02/1800.03 c applied globally : - - - 2083277 18.3 - - -
1800.02/1800.03 c applied locally : - - - 7 226.6 - - -
1800.02/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.03 c redcost : 0.00 0 0 0 0 0
1800.02/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.03 c intobj : 0.00 0 0 0 0 0
1800.02/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.03 c gomory : 0.00 0 0 0 0 0
1800.02/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.03 c cmir : 0.00 0 0 0 0 0
1800.02/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.03 c clique : 0.00 0 0 0 0 0
1800.02/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.03 c mcf : 0.00 0 0 0 0 0
1800.02/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.03 c Pricers : Time Calls Vars
1800.02/1800.03 c problem variables: 0.00 0 0
1800.02/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.03 c inference : 36.44 2102271 0 0 0 0 4204542
1800.02/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.03 c random : 0.00 0 0 0 0 0 0
1800.02/1800.03 c Primal Heuristics : Time Calls Found
1800.02/1800.03 c LP solutions : 0.00 - 0
1800.02/1800.03 c pseudo solutions : 0.12 - 30
1800.02/1800.03 c oneopt : 0.75 0 0
1800.02/1800.03 c trivial : 0.00 2 0
1800.02/1800.03 c simplerounding : 0.00 0 0
1800.02/1800.03 c zirounding : 0.00 0 0
1800.02/1800.03 c rounding : 0.00 0 0
1800.02/1800.03 c shifting : 0.00 0 0
1800.02/1800.03 c intshifting : 0.00 0 0
1800.02/1800.03 c twoopt : 0.00 0 0
1800.02/1800.03 c fixandinfer : 0.00 0 0
1800.02/1800.03 c feaspump : 0.00 0 0
1800.02/1800.03 c coefdiving : 0.00 0 0
1800.02/1800.03 c pscostdiving : 0.00 0 0
1800.02/1800.03 c fracdiving : 0.00 0 0
1800.02/1800.03 c veclendiving : 0.00 0 0
1800.02/1800.03 c intdiving : 0.00 0 0
1800.02/1800.03 c actconsdiving : 0.00 0 0
1800.02/1800.03 c objpscostdiving : 0.00 0 0
1800.02/1800.03 c rootsoldiving : 0.00 0 0
1800.02/1800.03 c linesearchdiving : 0.00 0 0
1800.02/1800.03 c guideddiving : 0.00 0 0
1800.02/1800.03 c octane : 0.00 0 0
1800.02/1800.03 c rens : 0.00 0 0
1800.02/1800.03 c rins : 0.00 0 0
1800.02/1800.03 c localbranching : 0.00 0 0
1800.02/1800.03 c mutation : 0.00 0 0
1800.02/1800.03 c crossover : 0.00 0 0
1800.02/1800.03 c dins : 0.00 0 0
1800.02/1800.03 c undercover : 0.00 0 0
1800.02/1800.03 c nlp : 0.47 0 0
1800.02/1800.03 c trysol : 0.54 1 0
1800.02/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.03 c (at root node) : - 0 0 0.00 -
1800.02/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.03 c B&B Tree :
1800.02/1800.03 c number of runs : 1
1800.02/1800.03 c nodes : 2569859
1800.02/1800.03 c nodes (total) : 2569859
1800.02/1800.03 c nodes left : 1268667
1800.02/1800.03 c max depth : 1949
1800.02/1800.03 c max depth (total): 1949
1800.02/1800.03 c backtracks : 442118 (17.2%)
1800.02/1800.03 c delayed cutoffs : 350803
1800.02/1800.03 c repropagations : 1657286 (17330611 domain reductions, 274290 cutoffs)
1800.02/1800.03 c avg switch length: 30.02
1800.02/1800.03 c switching time : 524.49
1800.02/1800.03 c Solution :
1800.02/1800.03 c Solutions found : 30 (30 improvements)
1800.02/1800.03 c First Solution : +8.27000000000000e+02 (in run 1, after 4978 nodes, 1.30 seconds, depth 810, found by <relaxation>)
1800.02/1800.03 c Primal Bound : +6.00000000000000e+00 (in run 1, after 1865948 nodes, 1188.31 seconds, depth 405, found by <relaxation>)
1800.02/1800.03 c Dual Bound : +0.00000000000000e+00
1800.02/1800.03 c Gap : infinite
1800.02/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.03 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-2694129-1277906798/watcher-2694129-1277906798 -o /tmp/evaluation-result-2694129-1277906798/solver-2694129-1277906798 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694129-1277906798.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.94 2.09 2.08 3/196 12791 /proc/meminfo: memFree=31126908/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=8268 CPUtime=0 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 1547 0 0 0 0 0 0 0 25 0 1 0 131976707 8466432 1469 4089446400 4194304 7136930 140734249620576 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12791/statm: 2067 1469 275 719 0 1346 0 [startup+0.046169 s] /proc/loadavg: 1.94 2.09 2.08 3/196 12791 /proc/meminfo: memFree=31126908/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=24228 CPUtime=0.04 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 5906 0 0 0 4 0 0 0 25 0 1 0 131976707 24809472 5474 4089446400 4194304 7136930 140734249620576 18446744073709551615 4682255 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12791/statm: 6057 5474 289 719 0 5336 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 24228 [startup+0.101175 s] /proc/loadavg: 1.94 2.09 2.08 3/196 12791 /proc/meminfo: memFree=31126908/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=28300 CPUtime=0.09 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 7470 0 0 0 9 0 0 0 25 0 1 0 131976707 28979200 6267 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12791/statm: 7075 6267 354 719 0 6354 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28300 [startup+0.30114 s] /proc/loadavg: 1.94 2.09 2.08 3/196 12791 /proc/meminfo: memFree=31126908/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=30260 CPUtime=0.29 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 10354 0 0 0 28 1 0 0 25 0 1 0 131976707 30986240 6838 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12791/statm: 7565 6838 391 719 0 6844 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30260 [startup+0.70097 s] /proc/loadavg: 1.94 2.09 2.08 3/196 12791 /proc/meminfo: memFree=31126908/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=32112 CPUtime=0.68 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 10812 0 0 0 63 5 0 0 25 0 1 0 131976707 32882688 7296 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 8028 7296 395 719 0 7307 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 32112 [startup+1.50083 s] /proc/loadavg: 1.94 2.09 2.08 3/197 12792 /proc/meminfo: memFree=31098380/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=36024 CPUtime=1.48 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 11788 0 0 0 137 11 0 0 25 0 1 0 131976707 36888576 8272 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 9006 8272 395 719 0 8285 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 36024 [startup+3.10065 s] /proc/loadavg: 1.94 2.09 2.08 3/197 12792 /proc/meminfo: memFree=31093544/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=41928 CPUtime=3.08 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 13259 0 0 0 290 18 0 0 25 0 1 0 131976707 42934272 9743 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 10482 9743 395 719 0 9761 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 41928 [startup+6.30098 s] /proc/loadavg: 1.94 2.09 2.08 3/197 12792 /proc/meminfo: memFree=31080024/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=54460 CPUtime=6.28 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 16418 0 0 0 599 29 0 0 25 0 1 0 131976707 55767040 12902 4089446400 4194304 7136930 140734249620576 18446744073709551615 4979565 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 13615 12902 395 719 0 12894 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 54460 [startup+12.701 s] /proc/loadavg: 1.95 2.09 2.08 3/197 12792 /proc/meminfo: memFree=31060488/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=76316 CPUtime=12.68 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 21566 0 0 0 1222 46 0 0 25 0 1 0 131976707 78147584 18050 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 19079 18050 398 719 0 18358 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 76316 [startup+25.5007 s] /proc/loadavg: 1.96 2.08 2.08 3/197 12793 /proc/meminfo: memFree=31010224/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=125004 CPUtime=25.48 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 33298 0 0 0 2458 90 0 0 25 0 1 0 131976707 128004096 29782 4089446400 4194304 7136930 140734249620576 18446744073709551615 4923193 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 31251 29782 398 719 0 30530 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 125004 [startup+51.1002 s] /proc/loadavg: 2.05 2.09 2.08 3/197 12793 /proc/meminfo: memFree=30959204/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=178828 CPUtime=51.08 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 46285 0 0 0 4956 152 0 0 25 0 1 0 131976707 183119872 42769 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 44707 42769 398 719 0 43986 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 178828 [startup+102.307 s] /proc/loadavg: 2.02 2.08 2.08 3/197 12795 /proc/meminfo: memFree=30847936/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=281204 CPUtime=102.29 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 70779 0 0 0 9936 293 0 0 25 0 1 0 131976707 287952896 67263 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 70301 67263 398 719 0 69580 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 281204 [startup+162.301 s] /proc/loadavg: 2.01 2.06 2.07 3/197 12796 /proc/meminfo: memFree=30687428/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=408888 CPUtime=162.29 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 101828 0 0 0 15755 474 0 0 25 0 1 0 131976707 418701312 98312 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 102222 98312 398 719 0 101501 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 408888 [startup+222.301 s] /proc/loadavg: 2.00 2.05 2.07 3/197 12798 /proc/meminfo: memFree=30593012/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=484492 CPUtime=222.28 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 120871 0 0 0 21620 608 0 0 25 0 1 0 131976707 496119808 117355 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 121123 117355 398 719 0 120402 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 484492 [startup+282.3 s] /proc/loadavg: 2.00 2.04 2.06 3/197 12799 /proc/meminfo: memFree=30531716/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=535304 CPUtime=282.29 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 133505 0 0 0 27518 711 0 0 25 0 1 0 131976707 548151296 129989 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 133826 129989 398 719 0 133105 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 535304 [startup+342.301 s] /proc/loadavg: 2.00 2.03 2.05 3/197 12801 /proc/meminfo: memFree=30463216/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=588724 CPUtime=342.28 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 146740 0 0 0 33376 852 0 0 25 0 1 0 131976707 602853376 143197 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 147181 143197 398 719 0 146460 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 588724 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.05 3/197 12803 /proc/meminfo: memFree=30345872/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=688900 CPUtime=402.29 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 171807 0 0 0 39201 1028 0 0 25 0 1 0 131976707 705433600 168264 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 172225 168264 398 719 0 171504 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 688900 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.04 3/197 12804 /proc/meminfo: memFree=30247496/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=760616 CPUtime=462.28 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 189881 0 0 0 45047 1181 0 0 25 0 1 0 131976707 778870784 186338 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 190154 186338 398 719 0 189433 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 760616 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.04 3/197 12806 /proc/meminfo: memFree=30132392/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=860960 CPUtime=522.28 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 213086 0 0 0 50869 1359 0 0 25 0 1 0 131976707 881623040 209543 4089446400 4194304 7136930 140734249620576 18446744073709551615 4923926 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 215240 209543 398 719 0 214519 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 860960 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.03 3/197 12807 /proc/meminfo: memFree=30027688/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=941764 CPUtime=582.29 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 233523 0 0 0 56703 1526 0 0 25 0 1 0 131976707 964366336 229980 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12791/statm: 235441 229980 398 719 0 234720 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 941764 [startup+642.301 s] /proc/loadavg: 2.05 2.01 2.03 3/179 12839 /proc/meminfo: memFree=30571840/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=1026556 CPUtime=642.29 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 254809 0 0 0 62545 1684 0 0 25 0 1 0 131976707 1051193344 251266 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 256639 251266 398 719 0 255918 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 1026556 [startup+702.3 s] ################ # More data... # ################ /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 365839 0 0 0 97720 2510 0 0 25 0 1 0 131976707 1501257728 362296 4089446400 4194304 7136930 140734249620576 18446744073709551615 4220848 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 366518 362296 398 719 0 365797 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1466072 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12850 /proc/meminfo: memFree=30014960/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=1483436 CPUtime=1062.3 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 370259 0 0 0 103650 2580 0 0 25 0 1 0 131976707 1519038464 366716 4089446400 4194304 7136930 140734249620576 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 370859 366716 398 719 0 370138 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1483436 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12852 /proc/meminfo: memFree=30005132/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=1490984 CPUtime=1122.3 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 372117 0 0 0 109588 2642 0 0 25 0 1 0 131976707 1526767616 368574 4089446400 4194304 7136930 140734249620576 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 372746 368574 398 719 0 372025 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 1490984 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12853 /proc/meminfo: memFree=29997916/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=1492972 CPUtime=1182.3 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 372642 0 0 0 115522 2708 0 0 25 0 1 0 131976707 1528803328 369099 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 373243 369099 398 719 0 372522 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1492972 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12855 /proc/meminfo: memFree=29940940/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=1564132 CPUtime=1242.3 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 386442 0 0 0 121357 2873 0 0 25 0 1 0 131976707 1601671168 382899 4089446400 4194304 7136930 140734249620576 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 391033 382899 398 719 0 390312 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 1564132 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12857 /proc/meminfo: memFree=29850116/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=1651440 CPUtime=1302.31 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 408382 0 0 0 127214 3017 0 0 25 0 1 0 131976707 1691074560 404839 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 412860 404839 398 719 0 412139 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 1651440 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12858 /proc/meminfo: memFree=29789696/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=1713040 CPUtime=1362.31 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 423603 0 0 0 133093 3138 0 0 25 0 1 0 131976707 1754152960 420060 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 428260 420060 398 719 0 427539 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1713040 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12860 /proc/meminfo: memFree=29733836/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=1766528 CPUtime=1422.32 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 436822 0 0 0 138983 3249 0 0 25 0 1 0 131976707 1808924672 433279 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 441632 433279 398 719 0 440911 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1766528 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12861 /proc/meminfo: memFree=29697600/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=1801024 CPUtime=1482.31 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 445213 0 0 0 144883 3348 0 0 25 0 1 0 131976707 1844248576 441670 4089446400 4194304 7136930 140734249620576 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 450256 441670 398 719 0 449535 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1801024 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12866 /proc/meminfo: memFree=29639660/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=1855640 CPUtime=1542.31 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 459046 0 0 0 150756 3475 0 0 25 0 1 0 131976707 1900175360 455503 4089446400 4194304 7136930 140734249620576 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 463910 455503 398 719 0 463189 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 1855640 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12868 /proc/meminfo: memFree=29548352/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=1944300 CPUtime=1602.31 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 481639 0 0 0 156603 3628 0 0 25 0 1 0 131976707 1990963200 478096 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 486075 478096 398 719 0 485354 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 1944300 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12869 /proc/meminfo: memFree=29471800/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=2017176 CPUtime=1662.31 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 500055 0 0 0 162456 3775 0 0 25 0 1 0 131976707 2065588224 496512 4089446400 4194304 7136930 140734249620576 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 504294 496512 398 719 0 503573 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 2017176 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12871 /proc/meminfo: memFree=29414956/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=2073592 CPUtime=1722.31 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 514123 0 0 0 168331 3900 0 0 25 0 1 0 131976707 2123358208 510580 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 518398 510580 398 719 0 517677 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 2073592 [startup+1782.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12872 /proc/meminfo: memFree=29366928/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=2118316 CPUtime=1782.32 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 525414 0 0 0 174218 4014 0 0 25 0 1 0 131976707 2169155584 521871 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 529579 521871 398 719 0 528858 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 2118316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12873 /proc/meminfo: memFree=29351536/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=2133264 CPUtime=1800.02 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 529184 0 0 0 175958 4044 0 0 25 0 1 0 131976707 2184462336 525641 4089446400 4194304 7136930 140734249620576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12791/statm: 533316 525641 398 719 0 532595 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2133264 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12791 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.02 2.01 2.00 3/180 12874 /proc/meminfo: memFree=29351528/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=2132240 CPUtime=1801.42 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 529189 0 0 0 176098 4044 0 0 25 0 1 0 131976707 2183413760 525409 4089446400 4194304 7136930 140734249620576 18446744073709551615 4212430 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12791/statm: 533060 525409 403 719 0 532339 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 2132240 [startup+1801.81 s] /proc/loadavg: 2.02 2.01 2.00 3/180 12874 /proc/meminfo: memFree=29352768/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=2131216 CPUtime=1801.82 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 529189 0 0 0 176138 4044 0 0 25 0 1 0 131976707 2182365184 525153 4089446400 4194304 7136930 140734249620576 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12791/statm: 532804 525153 403 719 0 532083 0 Current children cumulated CPU time (s) 1801.82 Current children cumulated vsize (KiB) 2131216 [startup+1802 s] /proc/loadavg: 2.02 2.01 2.00 3/180 12874 /proc/meminfo: memFree=29352768/32950928 swapFree=67111528/67111528 [pid=12791] ppid=12789 vsize=2131216 CPUtime=1802.02 /proc/12791/stat : 12791 (pbscip.linux.x8) R 12789 12791 11577 0 -1 4202496 529189 0 0 0 176158 4044 0 0 25 0 1 0 131976707 2182365184 525153 4089446400 4194304 7136930 140734249620576 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12791/statm: 532804 525153 403 719 0 532083 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 2131216 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.1 CPU user time (s): 1761.59 CPU system time (s): 40.5148 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2133264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1761.59 system time used= 40.5148 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 529189 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1528 runsolver used 2.71359 second user time and 5.55915 second system time The end
Begin job on node120 at 2010-06-30 16:06:38 IDJOB=2694129 IDBENCH=78943 IDSOLVER=1206 FILE ID=node120/2694129-1277906798 PBS_JOBID= 11197198 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.1900554072--soft-33-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-2694129-1277906798/watcher-2694129-1277906798 -o /tmp/evaluation-result-2694129-1277906798/solver-2694129-1277906798 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694129-1277906798.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= becc9aeeb3178c7d9d9e6e8b76e31de7 RANDOM SEED=640387948 node120.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.820 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.64 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 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.820 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.80 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.820 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.74 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.820 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.82 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.820 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.68 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.820 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.820 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: 32950928 kB MemFree: 31127436 kB Buffers: 191896 kB Cached: 932520 kB SwapCached: 0 kB Active: 1092056 kB Inactive: 588568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31127436 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3172 kB Writeback: 0 kB AnonPages: 556696 kB Mapped: 20504 kB Slab: 77852 kB PageTables: 5832 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1659420 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node120 at 2010-06-30 16:36:40