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 | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-33-100-0.wbo |
| MD5SUM | d42cf4effb818ceec652d99deb164158 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 379.165 |
| 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 | 1783 |
| 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 | 90636 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 90635 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 711 |
| 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-2694041-1277902066.wbo>
0.00/0.03 c original problem has 3797 variables (2014 bin, 0 int, 0 impl, 1783 cont) and 4491 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.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.07/0.09 c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.07/0.09 c (round 3) 55 del vars, 169 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.09/0.11 c (round 4) 134 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.12 c (round 5) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.17 c (0.1s) probing: 101/1935 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 158 deleted vars, 193 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients
0.09/0.17 c 1931 implications, 11 cliques
0.09/0.17 c presolved problem has 3639 variables (1935 bin, 0 int, 0 impl, 1704 cont) and 4298 constraints
0.09/0.17 c 1704 constraints of type <indicator>
0.09/0.17 c 11 constraints of type <setppc>
0.09/0.17 c 1704 constraints of type <linear>
0.09/0.17 c 879 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.12
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3639 |4298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.59/1.69 o 703
1.59/1.69 c * 1.6s| 5410 | 4933 | 0 | 0.0 | 16M|1862 | - |3639 |4960 | 0 | 0 | 0 |1105 | 0 | 0.000000e+00 | 7.030000e+02 | Inf
1.69/1.78 o 631
1.69/1.78 c * 1.7s| 5651 | 5006 | 0 | 0.0 | 16M|1862 | - |3639 |4956 | 0 | 0 | 0 |1125 | 0 | 0.000000e+00 | 6.310000e+02 | Inf
1.89/1.90 o 434
1.89/1.90 c * 1.8s| 5991 | 5163 | 0 | 0.0 | 16M|1862 | - |3639 |4944 | 0 | 0 | 0 |1156 | 0 | 0.000000e+00 | 4.340000e+02 | Inf
1.89/1.91 o 400
1.89/1.91 c * 1.8s| 5992 | 5044 | 0 | 0.0 | 16M|1862 | - |3639 |4944 | 0 | 0 | 0 |1156 | 0 | 0.000000e+00 | 4.000000e+02 | Inf
1.89/1.96 o 398
1.89/1.96 c * 1.9s| 6146 | 5190 | 0 | 0.0 | 16M|1862 | - |3639 |4930 | 0 | 0 | 0 |1156 | 0 | 0.000000e+00 | 3.980000e+02 | Inf
1.89/1.96 o 364
1.89/1.96 c * 1.9s| 6147 | 5077 | 0 | 0.0 | 16M|1862 | - |3639 |4930 | 0 | 0 | 0 |1156 | 0 | 0.000000e+00 | 3.640000e+02 | Inf
2.20/2.22 o 335
2.20/2.22 c * 2.1s| 6904 | 5728 | 0 | 0.0 | 17M|1862 | - |3639 |4953 | 0 | 0 | 0 |1261 | 0 | 0.000000e+00 | 3.350000e+02 | Inf
2.20/2.22 o 291
2.20/2.22 c * 2.1s| 6905 | 5676 | 0 | 0.0 | 17M|1862 | - |3639 |4953 | 0 | 0 | 0 |1261 | 0 | 0.000000e+00 | 2.910000e+02 | Inf
2.20/2.25 o 270
2.20/2.25 c * 2.2s| 7023 | 5780 | 0 | 0.0 | 17M|1862 | - |3639 |4948 | 0 | 0 | 0 |1261 | 0 | 0.000000e+00 | 2.700000e+02 | Inf
2.20/2.26 o 238
2.20/2.26 c * 2.2s| 7024 | 5737 | 0 | 0.0 | 17M|1862 | - |3639 |4948 | 0 | 0 | 0 |1261 | 0 | 0.000000e+00 | 2.380000e+02 | Inf
2.99/3.09 c 3.0s| 10000 | 8339 | 0 | 0.0 | 19M|1862 | - |3639 |5256 | 0 | 0 | 0 |2536 | 0 | 0.000000e+00 | 2.380000e+02 | Inf
6.39/6.43 c 6.2s| 20000 | 16316 | 0 | 0.0 | 28M|1862 | - |3639 |6201 | 0 | 0 | 0 |8501 | 0 | 0.000000e+00 | 2.380000e+02 | Inf
11.79/11.80 c 11.4s| 30000 | 22188 | 0 | 0.0 | 38M|1862 | - |3639 |7680 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
11.89/11.90 o 192
11.89/11.90 c *11.5s| 30304 | 22290 | 0 | 0.0 | 38M|1862 | - |3639 |7621 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
11.99/12.02 o 174
11.99/12.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.99/12.02 c *11.7s| 30557 | 22497 | 0 | 0.0 | 38M|1862 | - |3639 |7486 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
11.99/12.02 o 169
11.99/12.02 c *11.7s| 30558 | 22317 | 0 | 0.0 | 38M|1862 | - |3639 |7486 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
12.39/12.42 o 151
12.39/12.42 c *12.0s| 31376 | 22998 | 0 | 0.0 | 39M|1862 | - |3639 |7225 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
12.59/12.64 o 143
12.59/12.64 c *12.3s| 31805 | 23381 | 0 | 0.0 | 39M|1862 | - |3639 |7132 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
12.79/12.83 o 134
12.79/12.83 c *12.4s| 32149 | 23646 | 0 | 0.0 | 39M|1862 | - |3639 |7029 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
13.29/13.39 o 124
13.29/13.39 c *13.0s| 33283 | 24687 | 0 | 0.0 | 41M|1862 | - |3639 |6722 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
13.49/13.54 o 97
13.49/13.54 c *13.1s| 33586 | 24460 | 0 | 0.0 | 40M|1862 | - |3639 |6653 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
13.49/13.54 o 91
13.49/13.54 c *13.1s| 33587 | 24269 | 0 | 0.0 | 40M|1862 | - |3639 |6653 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
13.89/13.96 o 78
13.89/13.96 c *13.6s| 34393 | 24165 | 0 | 0.0 | 40M|1862 | - |3639 |6462 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
13.89/13.97 o 61
13.89/13.97 c *13.6s| 34394 | 23412 | 0 | 0.0 | 40M|1862 | - |3639 |6462 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
16.69/16.72 c 16.2s| 40000 | 28335 | 0 | 0.0 | 47M|1862 | - |3639 |5295 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
21.79/21.82 c 21.2s| 50000 | 36753 | 0 | 0.0 | 58M|1862 | - |3639 |5677 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
25.59/25.68 c 25.0s| 60000 | 45084 | 0 | 0.0 | 67M|1862 | - |3639 |5769 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
29.39/29.41 c 28.6s| 70000 | 53067 | 0 | 0.0 | 75M|1862 | - |3639 |6063 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
33.49/33.53 c 32.6s| 80000 | 60665 | 0 | 0.0 | 84M|1862 | - |3639 |6479 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
37.79/37.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.79/37.81 c 36.8s| 90000 | 68023 | 0 | 0.0 | 93M|1862 | - |3639 |6695 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
42.29/42.39 c 41.3s|100000 | 75083 | 0 | 0.0 | 101M|1862 | - |3639 |7042 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
47.49/47.53 c 46.3s|110000 | 81542 | 0 | 0.0 | 110M|1862 | - |3639 |7491 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
52.99/53.04 c 51.7s|120000 | 87581 | 0 | 0.0 | 119M|1862 | - |3639 |7744 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
58.99/59.02 c 57.6s|130000 | 93144 | 0 | 0.0 | 128M|1862 | - |3639 |8148 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
65.29/65.37 c 63.8s|140000 | 98370 | 0 | 0.0 | 138M|1862 | - |3639 |8365 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
71.99/72.10 c 70.4s|150000 |103164 | 0 | 0.0 | 147M|1862 | - |3639 |8768 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
79.49/79.59 c 77.8s|160000 |107137 | 0 | 0.0 | 156M|1862 | - |3639 |9109 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
88.30/88.35 c 86.4s|170000 |109860 | 0 | 0.0 | 165M|1862 | - |3639 | 10k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
97.49/97.55 c 95.5s|180000 |113145 | 0 | 0.0 | 170M|1862 | - |3639 |5585 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
100.69/100.79 o 55
100.69/100.79 c *98.6s|186597 |118513 | 0 | 0.0 | 175M|1862 | - |3639 |4832 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
101.49/101.51 o 41
101.49/101.51 c *99.3s|187741 |119062 | 0 | 0.0 | 174M|1862 | - |3639 |4738 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
102.59/102.62 c 100s|190000 |120996 | 0 | 0.0 | 178M|1862 | - |3639 |4970 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
104.09/104.14 o 18
104.09/104.14 c * 102s|192536 |119861 | 0 | 0.0 | 170M|1862 | - |3639 |4633 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
107.99/108.03 c 106s|200000 |125391 | 0 | 0.0 | 179M|1862 | - |3639 |6256 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
113.59/113.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.59/113.66 c 111s|210000 |132448 | 0 | 0.0 | 188M|1862 | - |3639 |5545 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
118.70/118.77 c 116s|220000 |139943 | 0 | 0.0 | 197M|1862 | - |3639 |5947 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
124.79/124.81 c 122s|230000 |146422 | 0 | 0.0 | 208M|1862 | - |3639 |7665 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
129.49/129.50 c 127s|240000 |153942 | 0 | 0.0 | 216M|1862 | - |3639 |6381 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
134.79/134.82 c 132s|250000 |160986 | 0 | 0.0 | 225M|1862 | - |3639 |6539 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
139.59/139.61 c 137s|260000 |168558 | 0 | 0.0 | 234M|1862 | - |3639 |7342 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
145.30/145.34 c 142s|270000 |175367 | 0 | 0.0 | 244M|1862 | - |3639 |6679 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
150.49/150.53 c 147s|280000 |182626 | 0 | 0.0 | 254M|1862 | - |3639 |7409 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
155.79/155.85 c 152s|290000 |189891 | 0 | 0.0 | 263M|1862 | - |3639 |7215 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
161.10/161.16 c 158s|300000 |197197 | 0 | 0.0 | 272M|1862 | - |3639 |8250 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
167.89/167.96 c 164s|310000 |202728 | 0 | 0.0 | 282M|1862 | - |3639 | 10k| 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
171.89/171.95 c 168s|320000 |211019 | 0 | 0.0 | 290M|1862 | - |3639 |8936 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
177.49/177.55 c 174s|330000 |217698 | 0 | 0.0 | 299M|1862 | - |3639 |8552 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
182.19/182.28 c 178s|340000 |225188 | 0 | 0.0 | 308M|1862 | - |3639 | 11k| 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
187.09/187.18 c 183s|350000 |232556 | 0 | 0.0 | 316M|1862 | - |3639 | 10k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
192.50/192.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.50/192.55 c 188s|360000 |239451 | 0 | 0.0 | 324M|1862 | - |3639 | 10k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
198.09/198.14 c 194s|370000 |246167 | 0 | 0.0 | 333M|1862 | - |3639 | 10k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
203.59/203.67 c 199s|380000 |252829 | 0 | 0.0 | 342M|1862 | - |3639 | 14k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
208.39/208.45 c 204s|390000 |260457 | 0 | 0.0 | 350M|1862 | - |3639 | 12k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
213.50/213.59 c 209s|400000 |267565 | 0 | 0.0 | 358M|1862 | - |3639 | 12k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
219.09/219.10 c 214s|410000 |274265 | 0 | 0.0 | 367M|1862 | - |3639 | 12k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
223.79/223.80 c 219s|420000 |281634 | 0 | 0.0 | 374M|1862 | - |3639 | 12k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
228.49/228.52 c 223s|430000 |289368 | 0 | 0.0 | 381M|1862 | - |3639 |5459 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
232.49/232.50 c 227s|440000 |297737 | 0 | 0.0 | 390M|1862 | - |3639 |6089 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
233.09/233.15 o 15
233.09/233.15 c * 228s|441732 |298613 | 0 | 0.0 | 388M|1862 | - |3639 |6159 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
236.69/236.74 c 231s|450000 |304983 | 0 | 0.0 | 395M|1862 | - |3639 |6380 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
241.80/241.89 c 236s|460000 |311605 | 0 | 0.0 | 404M|1862 | - |3639 |7436 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
246.79/246.82 c 241s|470000 |318367 | 0 | 0.0 | 412M|1862 | - |3639 |7821 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
251.90/251.90 c 246s|480000 |324956 | 0 | 0.0 | 420M|1862 | - |3639 |7881 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
257.09/257.13 c 251s|490000 |331423 | 0 | 0.0 | 428M|1862 | - |3639 |8242 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
262.39/262.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.39/262.49 c 257s|500000 |337773 | 0 | 0.0 | 436M|1862 | - |3639 |8407 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
268.89/268.97 c 263s|510000 |343129 | 0 | 0.0 | 445M|1862 | - |3639 |9197 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
275.60/275.65 c 270s|520000 |348288 | 0 | 0.0 | 454M|1862 | - |3639 |9220 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
282.49/282.60 c 276s|530000 |353215 | 0 | 0.0 | 462M|1862 | - |3639 |9431 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
289.79/289.83 c 284s|540000 |357902 | 0 | 0.0 | 470M|1862 | - |3639 |9676 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
297.19/297.26 c 291s|550000 |362410 | 0 | 0.0 | 478M|1862 | - |3639 | 10k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
304.89/304.94 c 298s|560000 |366695 | 0 | 0.0 | 486M|1862 | - |3639 | 10k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
312.89/312.92 c 306s|570000 |370746 | 0 | 0.0 | 494M|1862 | - |3639 | 10k| 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
321.10/321.17 c 314s|580000 |374591 | 0 | 0.0 | 502M|1862 | - |3639 | 10k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
329.20/329.24 c 322s|590000 |378705 | 0 | 0.0 | 510M|1862 | - |3639 |9748 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
337.29/337.34 c 330s|600000 |382656 | 0 | 0.0 | 518M|1862 | - |3639 | 10k| 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
345.59/345.64 c 338s|610000 |386461 | 0 | 0.0 | 525M|1862 | - |3639 | 11k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
354.39/354.49 c 347s|620000 |389833 | 0 | 0.0 | 533M|1862 | - |3639 | 11k| 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
363.09/363.19 c 356s|630000 |393349 | 0 | 0.0 | 540M|1862 | - |3639 | 11k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
371.90/371.94 c 364s|640000 |396894 | 0 | 0.0 | 548M|1862 | - |3639 | 10k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
380.79/380.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
380.79/380.80 c 373s|650000 |400286 | 0 | 0.0 | 556M|1862 | - |3639 | 10k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
389.90/389.95 c 382s|660000 |403316 | 0 | 0.0 | 563M|1862 | - |3639 | 11k| 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
399.30/399.38 c 391s|670000 |406236 | 0 | 0.0 | 571M|1862 | - |3639 | 11k| 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
409.00/409.05 c 401s|680000 |408976 | 0 | 0.0 | 577M|1862 | - |3639 | 11k| 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
419.30/419.36 c 411s|690000 |411115 | 0 | 0.0 | 583M|1862 | - |3639 | 11k| 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
429.90/429.93 c 422s|700000 |413030 | 0 | 0.0 | 590M|1862 | - |3639 | 12k| 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
440.40/440.45 c 432s|710000 |415216 | 0 | 0.0 | 597M|1862 | - |3639 | 13k| 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
451.19/451.21 c 443s|720000 |417157 | 0 | 0.0 | 603M|1862 | - |3639 | 12k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
462.60/462.64 c 454s|730000 |418426 | 0 | 0.0 | 609M|1862 | - |3639 | 12k| 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
474.30/474.37 c 465s|740000 |419391 | 0 | 0.0 | 614M|1862 | - |3639 | 12k| 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
489.30/489.30 c 480s|750000 |412959 | 0 | 0.0 | 609M|1862 | - |3639 | 16k| 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
497.50/497.59 c 488s|760000 |417374 | 0 | 0.0 | 611M|1862 | - |3639 |5646 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
502.60/502.70 c 493s|770000 |425295 | 0 | 0.0 | 623M|1862 | - |3639 |6426 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
508.11/508.18 c 499s|780000 |432976 | 0 | 0.0 | 635M|1862 | - |3639 |6986 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
514.00/514.07 c 505s|790000 |440379 | 0 | 0.0 | 647M|1862 | - |3639 |7668 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
520.60/520.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.60/520.64 c 511s|800000 |447371 | 0 | 0.0 | 661M|1862 | - |3639 |8407 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
527.40/527.40 c 518s|810000 |454246 | 0 | 0.0 | 673M|1862 | - |3639 |8842 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
534.90/534.90 c 525s|820000 |460666 | 0 | 0.0 | 686M|1862 | - |3639 |9541 | 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
542.71/542.75 c 533s|830000 |466937 | 0 | 0.0 | 701M|1862 | - |3639 |9785 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
550.30/550.38 c 540s|840000 |472878 | 0 | 0.0 | 713M|1862 | - |3639 |9636 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
557.91/557.96 c 548s|850000 |478488 | 0 | 0.0 | 723M|1862 | - |3639 | 10k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
566.30/566.33 c 556s|860000 |483589 | 0 | 0.0 | 734M|1862 | - |3639 | 11k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
575.31/575.35 c 565s|870000 |488396 | 0 | 0.0 | 744M|1862 | - |3639 | 12k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
585.51/585.50 c 575s|880000 |492364 | 0 | 0.0 | 754M|1862 | - |3639 | 14k| 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
597.11/597.19 c 586s|890000 |495347 | 0 | 0.0 | 764M|1862 | - |3639 | 16k| 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
607.21/607.22 c 596s|900000 |500510 | 0 | 0.0 | 771M|1862 | - |3639 | 12k| 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
612.80/612.84 c 602s|910000 |508167 | 0 | 0.0 | 781M|1862 | - |3639 | 11k| 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
618.21/618.20 c 607s|920000 |515888 | 0 | 0.0 | 792M|1862 | - |3639 | 11k| 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
623.80/623.88 c 612s|930000 |523402 | 0 | 0.0 | 803M|1862 | - |3639 | 12k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
629.80/629.83 c 618s|940000 |530756 | 0 | 0.0 | 815M|1862 | - |3639 | 13k| 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
636.01/636.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
636.01/636.06 c 624s|950000 |537977 | 0 | 0.0 | 826M|1862 | - |3639 | 13k| 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
642.91/642.95 c 631s|960000 |544765 | 0 | 0.0 | 838M|1862 | - |3639 | 14k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
650.30/650.30 c 638s|970000 |551468 | 0 | 0.0 | 849M|1862 | - |3639 | 14k| 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
657.91/657.91 c 646s|980000 |557891 | 0 | 0.0 | 860M|1862 | - |3639 | 13k| 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
665.30/665.35 c 653s|990000 |564438 | 0 | 0.0 | 871M|1862 | - |3639 | 14k| 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
672.70/672.71 c 660s| 1000k|571104 | 0 | 0.0 | 882M|1862 | - |3639 | 13k| 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
680.21/680.27 c 668s| 1010k|577658 | 0 | 0.0 | 893M|1862 | - |3639 | 13k| 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
687.91/687.93 c 675s| 1020k|584096 | 0 | 0.0 | 904M|1862 | - |3639 | 14k| 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
695.30/695.38 c 682s| 1030k|590713 | 0 | 0.0 | 916M|1862 | - |3639 | 14k| 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
703.11/703.16 c 690s| 1040k|597034 | 0 | 0.0 | 928M|1862 | - |3639 | 15k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
711.40/711.44 c 698s| 1050k|602986 | 0 | 0.0 | 941M|1862 | - |3639 | 16k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
719.91/719.96 c 707s| 1060k|608854 | 0 | 0.0 | 953M|1862 | - |3639 | 17k| 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
729.21/729.26 c 716s| 1070k|614189 | 0 | 0.0 | 967M|1862 | - |3639 | 19k| 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
740.10/740.14 c 726s| 1080k|618694 | 0 | 0.0 | 979M|1862 | - |3639 | 21k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
754.01/754.01 c 740s| 1090k|621850 | 0 | 0.0 | 990M|1862 | - |3639 | 23k| 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
760.20/760.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.20/760.26 c 746s| 1100k|629838 | 0 | 0.0 | 998M|1862 | - |3639 | 15k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
765.90/765.90 c 752s| 1110k|637625 | 0 | 0.0 |1009M|1862 | - |3639 | 15k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
771.70/771.70 c 757s| 1120k|645254 | 0 | 0.0 |1020M|1862 | - |3639 | 15k| 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
777.51/777.58 c 763s| 1130k|652665 | 0 | 0.0 |1030M|1862 | - |3639 | 16k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
783.60/783.64 c 769s| 1140k|659999 | 0 | 0.0 |1042M|1862 | - |3639 | 16k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
789.72/789.80 c 775s| 1150k|667179 | 0 | 0.0 |1053M|1862 | - |3639 | 17k| 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
796.42/796.43 c 782s| 1160k|674080 | 0 | 0.0 |1064M|1862 | - |3639 | 17k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
804.81/804.83 c 790s| 1170k|679826 | 0 | 0.0 |1077M|1862 | - |3639 | 18k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
813.81/813.83 c 799s| 1180k|684919 | 0 | 0.0 |1085M|1862 | - |3639 | 12k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
822.01/822.08 c 807s| 1190k|688966 | 0 | 0.0 |1094M|1862 | - |3639 | 12k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
830.01/830.06 c 815s| 1200k|693255 | 0 | 0.0 |1103M|1862 | - |3639 | 12k| 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
835.62/835.62 c 820s| 1210k|699935 | 0 | 0.0 |1111M|1862 | - |3639 | 10k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
840.61/840.61 c 825s| 1220k|707139 | 0 | 0.0 |1120M|1862 | - |3639 | 11k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
845.41/845.46 c 830s| 1230k|714516 | 0 | 0.0 |1129M|1862 | - |3639 | 11k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
850.51/850.56 c 835s| 1240k|721639 | 0 | 0.0 |1138M|1862 | - |3639 | 11k| 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
856.01/856.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.01/856.03 c 840s| 1250k|728425 | 0 | 0.0 |1148M|1862 | - |3639 | 12k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
862.11/862.14 c 846s| 1260k|734657 | 0 | 0.0 |1158M|1862 | - |3639 | 12k| 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
868.41/868.42 c 852s| 1270k|740698 | 0 | 0.0 |1168M|1862 | - |3639 | 12k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
875.42/875.43 c 859s| 1280k|746090 | 0 | 0.0 |1177M|1862 | - |3639 | 13k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
883.91/883.90 c 867s| 1290k|750226 | 0 | 0.0 |1187M|1862 | - |3639 | 14k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
893.41/893.44 c 877s| 1300k|753409 | 0 | 0.0 |1196M|1862 | - |3639 | 15k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
900.01/900.05 c 883s| 1310k|759255 | 0 | 0.0 |1203M|1862 | - |3639 | 11k| 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
904.72/904.76 c 888s| 1320k|766800 | 0 | 0.0 |1212M|1862 | - |3639 | 11k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
909.31/909.36 c 892s| 1330k|774373 | 0 | 0.0 |1221M|1862 | - |3639 | 11k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
914.31/914.31 c 897s| 1340k|781574 | 0 | 0.0 |1230M|1862 | - |3639 | 12k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
919.31/919.33 c 902s| 1350k|788709 | 0 | 0.0 |1239M|1862 | - |3639 | 12k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
924.82/924.81 c 907s| 1360k|795419 | 0 | 0.0 |1249M|1862 | - |3639 | 13k| 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
930.82/930.82 c 913s| 1370k|801682 | 0 | 0.0 |1259M|1862 | - |3639 | 13k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
937.22/937.26 c 920s| 1380k|807610 | 0 | 0.0 |1268M|1862 | - |3639 | 14k| 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
943.91/943.92 c 926s| 1390k|813352 | 0 | 0.0 |1277M|1862 | - |3639 | 14k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
951.12/951.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
951.12/951.14 c 933s| 1400k|818534 | 0 | 0.0 |1286M|1862 | - |3639 | 13k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
957.91/957.94 c 940s| 1410k|824194 | 0 | 0.0 |1294M|1862 | - |3639 | 12k| 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
963.52/963.53 c 945s| 1420k|830822 | 0 | 0.0 |1301M|1862 | - |3639 | 12k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
968.52/968.56 c 950s| 1430k|837988 | 0 | 0.0 |1309M|1862 | - |3639 | 11k| 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
973.42/973.42 c 955s| 1440k|845266 | 0 | 0.0 |1318M|1862 | - |3639 | 11k| 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
978.32/978.32 c 960s| 1450k|852528 | 0 | 0.0 |1327M|1862 | - |3639 | 12k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
983.21/983.26 c 965s| 1460k|859727 | 0 | 0.0 |1335M|1862 | - |3639 | 12k| 0 | 0 | 0 |1186k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
988.31/988.34 c 970s| 1470k|866842 | 0 | 0.0 |1344M|1862 | - |3639 | 12k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
993.32/993.37 c 975s| 1480k|873953 | 0 | 0.0 |1353M|1862 | - |3639 | 13k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
994.32/994.39 o 14
994.32/994.39 c * 976s| 1482k|873634 | 0 | 0.0 |1346M|1862 | - |3639 | 13k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
998.62/998.67 c 980s| 1490k|879347 | 0 | 0.0 |1353M|1862 | - |3639 | 13k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1003.82/1003.88 c 985s| 1500k|886546 | 0 | 0.0 |1362M|1862 | - |3639 | 13k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1009.32/1009.33 c 990s| 1510k|893457 | 0 | 0.0 |1371M|1862 | - |3639 | 13k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1014.81/1014.82 c 996s| 1520k|900311 | 0 | 0.0 |1380M|1862 | - |3639 | 13k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1020.52/1020.53 c 1001s| 1530k|906935 | 0 | 0.0 |1388M|1862 | - |3639 | 14k| 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1026.42/1026.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1026.42/1026.44 c 1007s| 1540k|913431 | 0 | 0.0 |1397M|1862 | - |3639 | 14k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1032.42/1032.46 c 1013s| 1550k|919873 | 0 | 0.0 |1406M|1862 | - |3639 | 14k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1038.72/1038.72 c 1019s| 1560k|926072 | 0 | 0.0 |1414M|1862 | - |3639 | 15k| 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1045.82/1045.80 c 1026s| 1570k|931586 | 0 | 0.0 |1423M|1862 | - |3639 | 16k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1049.22/1049.26 o 12
1049.22/1049.26 c *1029s| 1574k|925084 | 0 | 0.0 |1386M|1862 | - |3639 | 16k| 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1054.22/1054.22 c 1034s| 1580k|927364 | 0 | 0.0 |1392M|1862 | - |3639 | 17k| 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1064.52/1064.54 c 1044s| 1590k|931025 | 0 | 0.0 |1402M|1862 | - |3639 | 19k| 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1075.52/1075.57 c 1055s| 1600k|933776 | 0 | 0.0 |1406M|1862 | - |3639 | 15k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1079.82/1079.88 c 1059s| 1610k|941890 | 0 | 0.0 |1413M|1862 | - |3639 | 13k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1084.42/1084.41 c 1064s| 1620k|949643 | 0 | 0.0 |1421M|1862 | - |3639 | 13k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1089.12/1089.10 c 1068s| 1630k|957179 | 0 | 0.0 |1429M|1862 | - |3639 | 13k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1094.21/1094.23 c 1073s| 1640k|964241 | 0 | 0.0 |1438M|1862 | - |3639 | 14k| 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1099.92/1099.99 c 1079s| 1650k|970856 | 0 | 0.0 |1446M|1862 | - |3639 | 15k| 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1105.92/1105.90 c 1085s| 1660k|977299 | 0 | 0.0 |1455M|1862 | - |3639 | 16k| 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1112.62/1112.66 c 1092s| 1670k|983092 | 0 | 0.0 |1464M|1862 | - |3639 | 16k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1120.62/1120.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.62/1120.69 c 1099s| 1680k|988451 | 0 | 0.0 |1474M|1862 | - |3639 | 17k| 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1129.52/1129.59 c 1108s| 1690k|992961 | 0 | 0.0 |1483M|1862 | - |3639 | 18k| 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1140.52/1140.53 c 1118s| 1700k|996267 | 0 | 0.0 |1491M|1862 | - |3639 | 20k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1150.92/1150.90 c 1128s| 1710k| 1000k| 0 | 0.0 |1496M|1862 | - |3639 | 14k| 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1155.72/1155.78 c 1133s| 1720k| 1008k| 0 | 0.0 |1504M|1862 | - |3639 | 13k| 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1160.93/1160.97 c 1138s| 1730k| 1015k| 0 | 0.0 |1512M|1862 | - |3639 | 14k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1166.83/1166.87 c 1143s| 1740k| 1022k| 0 | 0.0 |1522M|1862 | - |3639 | 15k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1173.12/1173.11 c 1149s| 1750k| 1029k| 0 | 0.0 |1530M|1862 | - |3639 | 16k| 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1179.92/1179.95 c 1155s| 1760k| 1035k| 0 | 0.0 |1539M|1862 | - |3639 | 17k| 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1187.53/1187.53 c 1163s| 1770k| 1041k| 0 | 0.0 |1548M|1862 | - |3639 | 18k| 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1196.12/1196.16 c 1171s| 1780k| 1046k| 0 | 0.0 |1557M|1862 | - |3639 | 19k| 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1206.73/1206.77 c 1181s| 1790k| 1050k| 0 | 0.0 |1566M|1862 | - |3639 | 22k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1218.12/1218.17 c 1192s| 1800k| 1054k| 0 | 0.0 |1570M|1862 | - |3639 | 16k| 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1223.63/1223.63 c 1197s| 1810k| 1061k| 0 | 0.0 |1577M|1862 | - |3639 | 15k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1229.43/1229.40 c 1202s| 1820k| 1069k| 0 | 0.0 |1586M|1862 | - |3639 | 16k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1235.62/1235.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.62/1235.68 c 1208s| 1830k| 1076k| 0 | 0.0 |1594M|1862 | - |3639 | 17k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1243.12/1243.18 c 1216s| 1840k| 1082k| 0 | 0.0 |1603M|1862 | - |3639 | 18k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1251.92/1251.94 c 1224s| 1850k| 1087k| 0 | 0.0 |1611M|1862 | - |3639 | 20k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1262.02/1262.08 c 1234s| 1860k| 1091k| 0 | 0.0 |1620M|1862 | - |3639 | 23k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1275.62/1275.68 c 1247s| 1870k| 1094k| 0 | 0.0 |1627M|1862 | - |3639 | 26k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1285.03/1285.06 c 1256s| 1880k| 1100k| 0 | 0.0 |1630M|1862 | - |3639 | 16k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1290.73/1290.71 c 1261s| 1890k| 1107k| 0 | 0.0 |1638M|1862 | - |3639 | 16k| 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1296.93/1296.93 c 1267s| 1900k| 1114k| 0 | 0.0 |1646M|1862 | - |3639 | 17k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1303.62/1303.63 c 1273s| 1910k| 1121k| 0 | 0.0 |1655M|1862 | - |3639 | 18k| 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1311.33/1311.39 c 1281s| 1920k| 1127k| 0 | 0.0 |1663M|1862 | - |3639 | 19k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1320.52/1320.57 c 1289s| 1930k| 1132k| 0 | 0.0 |1672M|1862 | - |3639 | 21k| 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1331.33/1331.36 c 1300s| 1940k| 1136k| 0 | 0.0 |1680M|1862 | - |3639 | 23k| 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1342.03/1342.06 c 1310s| 1950k| 1141k| 0 | 0.0 |1684M|1862 | - |3639 | 17k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1348.12/1348.17 c 1316s| 1960k| 1148k| 0 | 0.0 |1692M|1862 | - |3639 | 16k| 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1354.93/1354.99 c 1322s| 1970k| 1155k| 0 | 0.0 |1700M|1862 | - |3639 | 18k| 0 | 0 | 0 |1526k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1362.63/1362.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.63/1362.66 c 1330s| 1980k| 1161k| 0 | 0.0 |1709M|1862 | - |3639 | 19k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1371.13/1371.11 c 1338s| 1990k| 1167k| 0 | 0.0 |1717M|1862 | - |3639 | 20k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1380.73/1380.75 c 1347s| 2000k| 1172k| 0 | 0.0 |1725M|1862 | - |3639 | 22k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1394.03/1394.01 c 1360s| 2010k| 1174k| 0 | 0.0 |1732M|1862 | - |3639 | 25k| 0 | 0 | 0 |1561k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1402.04/1402.06 c 1368s| 2020k| 1181k| 0 | 0.0 |1736M|1862 | - |3639 | 17k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1408.23/1408.27 c 1374s| 2030k| 1188k| 0 | 0.0 |1744M|1862 | - |3639 | 17k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1414.93/1414.90 c 1380s| 2040k| 1195k| 0 | 0.0 |1752M|1862 | - |3639 | 18k| 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1422.43/1422.44 c 1387s| 2050k| 1201k| 0 | 0.0 |1760M|1862 | - |3639 | 19k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1430.73/1430.77 c 1395s| 2060k| 1207k| 0 | 0.0 |1768M|1862 | - |3639 | 21k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1442.14/1442.18 c 1406s| 2070k| 1210k| 0 | 0.0 |1776M|1862 | - |3639 | 23k| 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1453.64/1453.63 c 1417s| 2080k| 1215k| 0 | 0.0 |1779M|1862 | - |3639 | 16k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1459.54/1459.52 c 1423s| 2090k| 1222k| 0 | 0.0 |1787M|1862 | - |3639 | 17k| 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1466.24/1466.24 c 1429s| 2100k| 1229k| 0 | 0.0 |1795M|1862 | - |3639 | 18k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1474.44/1474.49 c 1437s| 2110k| 1234k| 0 | 0.0 |1804M|1862 | - |3639 | 20k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1483.94/1483.98 c 1446s| 2120k| 1239k| 0 | 0.0 |1812M|1862 | - |3639 | 21k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1496.53/1496.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.53/1496.54 c 1458s| 2130k| 1241k| 0 | 0.0 |1819M|1862 | - |3639 | 24k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1502.94/1502.95 c 1464s| 2140k| 1248k| 0 | 0.0 |1825M|1862 | - |3639 | 16k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1509.64/1509.65 c 1471s| 2150k| 1255k| 0 | 0.0 |1834M|1862 | - |3639 | 17k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1517.14/1517.17 c 1478s| 2160k| 1261k| 0 | 0.0 |1843M|1862 | - |3639 | 19k| 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1526.04/1526.03 c 1486s| 2170k| 1266k| 0 | 0.0 |1852M|1862 | - |3639 | 21k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1537.74/1537.71 c 1498s| 2180k| 1269k| 0 | 0.0 |1858M|1862 | - |3639 | 20k| 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1543.13/1543.13 c 1503s| 2190k| 1277k| 0 | 0.0 |1864M|1862 | - |3639 | 16k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1549.23/1549.22 c 1509s| 2200k| 1284k| 0 | 0.0 |1872M|1862 | - |3639 | 17k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1556.54/1556.53 c 1516s| 2210k| 1290k| 0 | 0.0 |1881M|1862 | - |3639 | 18k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1565.35/1565.35 c 1524s| 2220k| 1295k| 0 | 0.0 |1889M|1862 | - |3639 | 20k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1577.04/1577.01 c 1535s| 2230k| 1298k| 0 | 0.0 |1897M|1862 | - |3639 | 22k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1585.94/1585.90 c 1544s| 2240k| 1304k| 0 | 0.0 |1898M|1862 | - |3639 |7462 | 0 | 0 | 0 |1723k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1591.04/1591.06 c 1549s| 2250k| 1311k| 0 | 0.0 |1906M|1862 | - |3639 |5591 | 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1595.73/1595.78 c 1553s| 2260k| 1318k| 0 | 0.0 |1915M|1862 | - |3639 |7107 | 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1600.04/1600.01 c 1557s| 2270k| 1325k| 0 | 0.0 |1923M|1862 | - |3639 |6560 | 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1604.64/1604.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.64/1604.65 c 1561s| 2280k| 1333k| 0 | 0.0 |1932M|1862 | - |3639 |6156 | 0 | 0 | 0 |1743k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1609.04/1609.01 c 1565s| 2290k| 1340k| 0 | 0.0 |1941M|1862 | - |3639 |6363 | 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1613.54/1613.54 c 1570s| 2300k| 1348k| 0 | 0.0 |1950M|1862 | - |3639 |6801 | 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1619.03/1619.02 o 8
1619.03/1619.02 c *1575s| 2308k| 1307k| 0 | 0.0 |1834M|1862 | - |3639 |9670 | 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1619.64/1619.65 c 1575s| 2310k| 1309k| 0 | 0.0 |1834M|1862 | - |3639 |7985 | 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1623.84/1623.85 c 1579s| 2320k| 1316k| 0 | 0.0 |1842M|1862 | - |3639 |6870 | 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1629.34/1629.39 c 1584s| 2330k| 1323k| 0 | 0.0 |1851M|1862 | - |3639 |8080 | 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1634.24/1634.28 c 1589s| 2340k| 1330k| 0 | 0.0 |1858M|1862 | - |3639 |6577 | 0 | 0 | 0 |1775k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1638.54/1638.50 c 1593s| 2350k| 1338k| 0 | 0.0 |1866M|1862 | - |3639 |6877 | 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1643.04/1643.07 c 1597s| 2360k| 1345k| 0 | 0.0 |1874M|1862 | - |3639 |7372 | 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1648.34/1648.33 c 1602s| 2370k| 1352k| 0 | 0.0 |1882M|1862 | - |3639 |8218 | 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1654.84/1654.89 c 1608s| 2380k| 1357k| 0 | 0.0 |1890M|1862 | - |3639 |7934 | 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1659.74/1659.77 c 1613s| 2390k| 1364k| 0 | 0.0 |1898M|1862 | - |3639 |9409 | 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1664.04/1664.08 c 1617s| 2400k| 1372k| 0 | 0.0 |1906M|1862 | - |3639 |7592 | 0 | 0 | 0 |1804k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1669.14/1669.12 c 1622s| 2410k| 1378k| 0 | 0.0 |1915M|1862 | - |3639 |8370 | 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1674.25/1674.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.25/1674.28 c 1627s| 2420k| 1385k| 0 | 0.0 |1922M|1862 | - |3639 |8332 | 0 | 0 | 0 |1815k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1679.24/1679.20 c 1631s| 2430k| 1392k| 0 | 0.0 |1930M|1862 | - |3639 |7794 | 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1683.44/1683.43 c 1635s| 2440k| 1400k| 0 | 0.0 |1938M|1862 | - |3639 |8587 | 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1689.24/1689.25 c 1640s| 2450k| 1405k| 0 | 0.0 |1946M|1862 | - |3639 |9117 | 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1694.24/1694.23 c 1645s| 2460k| 1412k| 0 | 0.0 |1954M|1862 | - |3639 | 10k| 0 | 0 | 0 |1836k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1698.94/1698.97 c 1650s| 2470k| 1419k| 0 | 0.0 |1962M|1862 | - |3639 | 10k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1703.64/1703.68 c 1654s| 2480k| 1426k| 0 | 0.0 |1970M|1862 | - |3639 |9220 | 0 | 0 | 0 |1846k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1708.54/1708.53 c 1658s| 2490k| 1433k| 0 | 0.0 |1977M|1862 | - |3639 |5436 | 0 | 0 | 0 |1851k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1712.04/1712.00 c 1662s| 2500k| 1441k| 0 | 0.0 |1985M|1862 | - |3639 |5192 | 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1716.54/1716.55 c 1666s| 2510k| 1448k| 0 | 0.0 |1993M|1862 | - |3639 |5919 | 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1724.94/1724.99 c 1674s| 2520k| 1452k| 0 | 0.0 |2001M|1862 | - |3639 |7476 | 0 | 0 | 0 |1869k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1734.35/1734.38 c 1683s| 2530k| 1455k| 0 | 0.0 |2008M|1862 | - |3639 |7471 | 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1743.85/1743.82 c 1692s| 2540k| 1457k| 0 | 0.0 |2016M|1862 | - |3639 |8173 | 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1753.35/1753.35 c 1701s| 2550k| 1460k| 0 | 0.0 |2023M|1862 | - |3639 |9927 | 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1763.25/1763.26 c 1711s| 2560k| 1463k| 0 | 0.0 |2030M|1862 | - |3639 |9775 | 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1773.44/1773.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.44/1773.43 c 1720s| 2570k| 1466k| 0 | 0.0 |2037M|1862 | - |3639 |9392 | 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1783.75/1783.78 c 1730s| 2580k| 1468k| 0 | 0.0 |2043M|1862 | - |3639 | 10k| 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1794.15/1794.14 c 1740s| 2590k| 1471k| 0 | 0.0 |2050M|1862 | - |3639 |9065 | 0 | 0 | 0 |1948k| 0 | 0.000000e+00 | 8.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) : 1746.15
1800.05/1800.00 c Solving Nodes : 2594677
1800.05/1800.00 c Primal Bound : +8.00000000000000e+00 (28 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.03 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.03 v -x1
1800.05/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.03 c Solving Time : 1746.15
1800.05/1800.03 c Original Problem :
1800.05/1800.03 c Problem name : HOME/instance-2694041-1277902066.wbo
1800.05/1800.03 c Variables : 3797 (2014 binary, 0 integer, 0 implicit integer, 1783 continuous)
1800.05/1800.03 c Constraints : 4491 initial, 4491 maximal
1800.05/1800.03 c Presolved Problem :
1800.05/1800.03 c Problem name : t_HOME/instance-2694041-1277902066.wbo
1800.05/1800.03 c Variables : 3639 (1935 binary, 0 integer, 0 implicit integer, 1704 continuous)
1800.05/1800.03 c Constraints : 4298 initial, 29135 maximal
1800.05/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.03 c trivial : 0.00 79 0 0 0 0 0 0 0
1800.05/1800.03 c dualfix : 0.00 79 0 0 0 0 0 0 0
1800.05/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.03 c indicator : 0.00 0 0 0 0 0 79 0 0
1800.05/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c linear : 0.07 0 0 0 1807 0 114 97 0
1800.05/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c root node : - 1468 - - 2936 - - - -
1800.05/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c indicator : 1704 0 5930295 0 1746648 748 4286400 0 0 0
1800.05/1800.03 c setppc : 11 0 7952606 0 2206414 23976 5164803 0 0 0
1800.05/1800.03 c linear : 1704 0 7931740 0 2207319 345079 36108242 0 0 0
1800.05/1800.03 c logicor : 879+ 0 4987769 0 2207333 250097 7967437 0 0 0
1800.05/1800.03 c bounddisjunction : 0+ 0 225024 0 0 0 66 0 0 0
1800.05/1800.03 c countsols : 0 0 0 0 2207330 0 0 0 0 0
1800.05/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.03 c indicator : 30.85 0.00 14.79 0.00 16.06
1800.05/1800.03 c setppc : 28.25 0.00 24.17 0.00 4.08
1800.05/1800.03 c linear : 304.56 0.00 303.13 0.00 1.43
1800.05/1800.03 c logicor : 406.02 0.00 339.64 0.00 66.38
1800.05/1800.03 c bounddisjunction : 0.57 0.00 0.57 0.00 0.00
1800.05/1800.03 c countsols : 0.22 0.00 0.00 0.00 0.22
1800.05/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.03 c vbounds : 1.46 2 0 0
1800.05/1800.03 c rootredcost : 1.14 0 0 0
1800.05/1800.03 c pseudoobj : 299.96 7970662 14296 4124488
1800.05/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.03 c propagation : 37.61 633448 633439 2983410 21.3 212452 10.2 -
1800.05/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c pseudo solution : 0.00 155 155 615 16.1 195 8.8 -
1800.05/1800.03 c applied globally : - - - 1954892 18.4 - - -
1800.05/1800.03 c applied locally : - - - 4 206.2 - - -
1800.05/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.03 c redcost : 0.00 0 0 0 0 0
1800.05/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.03 c intobj : 0.00 0 0 0 0 0
1800.05/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.03 c gomory : 0.00 0 0 0 0 0
1800.05/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.03 c cmir : 0.00 0 0 0 0 0
1800.05/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.03 c clique : 0.00 0 0 0 0 0
1800.05/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.03 c mcf : 0.00 0 0 0 0 0
1800.05/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.03 c Pricers : Time Calls Vars
1800.05/1800.03 c problem variables: 0.00 0 0
1800.05/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.03 c inference : 51.57 2207302 0 0 0 0 4414604
1800.05/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.03 c random : 0.00 0 0 0 0 0 0
1800.05/1800.03 c Primal Heuristics : Time Calls Found
1800.05/1800.03 c LP solutions : 0.00 - 0
1800.05/1800.03 c pseudo solutions : 0.25 - 28
1800.05/1800.03 c oneopt : 0.62 0 0
1800.05/1800.03 c trivial : 0.02 2 0
1800.05/1800.03 c simplerounding : 0.00 0 0
1800.05/1800.03 c zirounding : 0.00 0 0
1800.05/1800.03 c rounding : 0.00 0 0
1800.05/1800.03 c shifting : 0.00 0 0
1800.05/1800.03 c intshifting : 0.00 0 0
1800.05/1800.03 c twoopt : 0.00 0 0
1800.05/1800.03 c fixandinfer : 0.00 0 0
1800.05/1800.03 c feaspump : 0.00 0 0
1800.05/1800.03 c coefdiving : 0.00 0 0
1800.05/1800.03 c pscostdiving : 0.00 0 0
1800.05/1800.03 c fracdiving : 0.00 0 0
1800.05/1800.03 c veclendiving : 0.00 0 0
1800.05/1800.03 c intdiving : 0.00 0 0
1800.05/1800.03 c actconsdiving : 0.00 0 0
1800.05/1800.03 c objpscostdiving : 0.00 0 0
1800.05/1800.03 c rootsoldiving : 0.00 0 0
1800.05/1800.03 c linesearchdiving : 0.00 0 0
1800.05/1800.03 c guideddiving : 0.00 0 0
1800.05/1800.03 c octane : 0.00 0 0
1800.05/1800.03 c rens : 0.00 0 0
1800.05/1800.03 c rins : 0.00 0 0
1800.05/1800.03 c localbranching : 0.00 0 0
1800.05/1800.03 c mutation : 0.00 0 0
1800.05/1800.03 c crossover : 0.00 0 0
1800.05/1800.03 c dins : 0.00 0 0
1800.05/1800.03 c undercover : 0.00 0 0
1800.05/1800.03 c nlp : 0.43 0 0
1800.05/1800.03 c trysol : 0.44 1 0
1800.05/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.03 c (at root node) : - 0 0 0.00 -
1800.05/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.03 c B&B Tree :
1800.05/1800.03 c number of runs : 1
1800.05/1800.03 c nodes : 2594677
1800.05/1800.03 c nodes (total) : 2594677
1800.05/1800.03 c nodes left : 1471826
1800.05/1800.03 c max depth : 1862
1800.05/1800.03 c max depth (total): 1862
1800.05/1800.03 c backtracks : 349207 (13.5%)
1800.05/1800.03 c delayed cutoffs : 283370
1800.05/1800.03 c repropagations : 1377783 (17716866 domain reductions, 247004 cutoffs)
1800.05/1800.03 c avg switch length: 25.37
1800.05/1800.03 c switching time : 488.24
1800.05/1800.03 c Solution :
1800.05/1800.03 c Solutions found : 28 (28 improvements)
1800.05/1800.03 c First Solution : +7.03000000000000e+02 (in run 1, after 5410 nodes, 1.62 seconds, depth 607, found by <relaxation>)
1800.05/1800.03 c Primal Bound : +8.00000000000000e+00 (in run 1, after 2308281 nodes, 1574.62 seconds, depth 521, found by <relaxation>)
1800.05/1800.03 c Dual Bound : +0.00000000000000e+00
1800.05/1800.03 c Gap : infinite
1800.05/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.03 c Root Iterations : 0
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694041-1277902066/watcher-2694041-1277902066 -o /tmp/evaluation-result-2694041-1277902066/solver-2694041-1277902066 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694041-1277902066.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.08 2.06 2.02 4/178 15124 /proc/meminfo: memFree=31326756/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=8448 CPUtime=0 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 1590 0 0 0 0 0 0 0 25 0 1 0 131501853 8650752 1513 4089446400 4194304 7136930 140736437276192 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15124/statm: 2112 1520 275 719 0 1391 0 [startup+0.07327 s] /proc/loadavg: 2.08 2.06 2.02 4/178 15124 /proc/meminfo: memFree=31326756/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=27824 CPUtime=0.07 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 7079 0 0 0 6 1 0 0 25 0 1 0 131501853 28491776 6134 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15124/statm: 6956 6134 348 719 0 6235 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 27824 [startup+0.101263 s] /proc/loadavg: 2.08 2.06 2.02 4/178 15124 /proc/meminfo: memFree=31326756/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=27824 CPUtime=0.09 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 7865 0 0 0 8 1 0 0 25 0 1 0 131501853 28491776 6149 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15124/statm: 6956 6149 354 719 0 6235 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27824 [startup+0.300227 s] /proc/loadavg: 2.08 2.06 2.02 4/178 15124 /proc/meminfo: memFree=31326756/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=29576 CPUtime=0.29 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 10163 0 0 0 28 1 0 0 18 0 1 0 131501853 30285824 6648 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15124/statm: 7394 6648 391 719 0 6673 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29576 [startup+0.70015 s] /proc/loadavg: 2.08 2.06 2.02 4/178 15124 /proc/meminfo: memFree=31326756/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=31600 CPUtime=0.69 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 10685 0 0 0 67 2 0 0 18 0 1 0 131501853 32358400 7170 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 7900 7170 395 719 0 7179 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31600 [startup+1.501 s] /proc/loadavg: 2.08 2.06 2.02 3/179 15125 /proc/meminfo: memFree=31298972/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=34076 CPUtime=1.49 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 11312 0 0 0 145 4 0 0 19 0 1 0 131501853 34893824 7797 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 8519 7797 395 719 0 7798 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34076 [startup+3.1007 s] /proc/loadavg: 2.08 2.06 2.02 3/179 15126 /proc/meminfo: memFree=31295252/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=38684 CPUtime=3.08 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 12416 0 0 0 301 7 0 0 24 0 1 0 131501853 39612416 8901 4089446400 4194304 7136930 140736437276192 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 9671 8901 396 719 0 8950 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 38684 [startup+6.30109 s] /proc/loadavg: 2.07 2.06 2.02 3/179 15126 /proc/meminfo: memFree=31283728/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=49928 CPUtime=6.29 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 15259 0 0 0 610 19 0 0 25 0 1 0 131501853 51126272 11744 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 12482 11744 396 719 0 11761 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49928 [startup+12.7009 s] /proc/loadavg: 2.06 2.06 2.02 3/179 15126 /proc/meminfo: memFree=31265884/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=68444 CPUtime=12.69 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 19870 0 0 0 1234 35 0 0 25 0 1 0 131501853 70086656 16355 4089446400 4194304 7136930 140736437276192 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 17111 16355 398 719 0 16390 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 68444 [startup+25.5005 s] /proc/loadavg: 2.05 2.05 2.01 3/179 15127 /proc/meminfo: memFree=31225992/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=107720 CPUtime=25.49 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 29350 0 0 0 2484 65 0 0 25 0 1 0 131501853 110305280 25835 4089446400 4194304 7136930 140736437276192 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 26930 25835 398 719 0 26209 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 107720 [startup+51.1006 s] /proc/loadavg: 2.03 2.05 2.01 3/179 15127 /proc/meminfo: memFree=31171032/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=163220 CPUtime=51.09 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 42733 0 0 0 4981 128 0 0 25 0 1 0 131501853 167137280 39218 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 40805 39218 398 719 0 40084 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 163220 [startup+102.307 s] /proc/loadavg: 2.01 2.04 2.01 3/179 15129 /proc/meminfo: memFree=31090640/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=242260 CPUtime=102.3 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 62240 0 0 0 10014 216 0 0 25 0 1 0 131501853 248074240 58725 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 60565 58725 398 719 0 59844 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 242260 [startup+162.301 s] /proc/loadavg: 2.00 2.03 2.00 3/179 15130 /proc/meminfo: memFree=30981844/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=356676 CPUtime=162.29 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 89155 0 0 0 15877 352 0 0 25 0 1 0 131501853 365236224 85640 4089446400 4194304 7136930 140736437276192 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 89169 85640 398 719 0 88448 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 356676 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 15131 /proc/meminfo: memFree=30868936/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=467560 CPUtime=222.29 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 116964 0 0 0 21738 491 0 0 25 0 1 0 131501853 478781440 113449 4089446400 4194304 7136930 140736437276192 18446744073709551615 5005142 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 116890 113449 398 719 0 116169 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 467560 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.00 3/179 15133 /proc/meminfo: memFree=30776376/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=560928 CPUtime=282.3 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 140226 0 0 0 27615 615 0 0 25 0 1 0 131501853 574390272 136711 4089446400 4194304 7136930 140736437276192 18446744073709551615 5120207 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 140232 136711 398 719 0 139511 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 560928 [startup+342.301 s] /proc/loadavg: 2.04 2.03 2.00 3/179 15135 /proc/meminfo: memFree=30708872/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=625904 CPUtime=342.29 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 156594 0 0 0 33519 710 0 0 25 0 1 0 131501853 640925696 153079 4089446400 4194304 7136930 140736437276192 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 156476 153079 398 719 0 155755 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 625904 [startup+402.301 s] /proc/loadavg: 2.01 2.02 2.00 3/179 15137 /proc/meminfo: memFree=30658852/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=676140 CPUtime=402.3 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 169238 0 0 0 39432 798 0 0 25 0 1 0 131501853 692367360 165723 4089446400 4194304 7136930 140736437276192 18446744073709551615 4209090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 169035 165723 398 719 0 168314 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 676140 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 15138 /proc/meminfo: memFree=30611436/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=719576 CPUtime=462.3 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 179963 0 0 0 45354 876 0 0 25 0 1 0 131501853 736845824 176448 4089446400 4194304 7136930 140736437276192 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 179894 176448 398 719 0 179173 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 719576 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 15139 /proc/meminfo: memFree=30551248/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=785612 CPUtime=522.3 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 194988 0 0 0 51258 972 0 0 25 0 1 0 131501853 804466688 191473 4089446400 4194304 7136930 140736437276192 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 196403 191473 398 719 0 195682 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 785612 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15141 /proc/meminfo: memFree=30463656/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=887044 CPUtime=582.3 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 216572 0 0 0 57152 1078 0 0 25 0 1 0 131501853 908333056 213057 4089446400 4194304 7136930 140736437276192 18446744073709551615 4924114 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15124/statm: 221761 213057 398 719 0 221040 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 887044 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15143 /proc/meminfo: memFree=30374316/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=979536 CPUtime=642.31 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 238816 0 0 0 63036 1195 0 0 25 0 1 0 131501853 1003044864 235301 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15124/statm: 244884 235301 398 719 0 244163 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 979536 [startup+702.3 s] ################ # More data... # ################ /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 375715 0 0 0 98333 1899 0 0 25 0 1 0 131501853 1580298240 372200 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15124/statm: 385815 372200 398 719 0 385094 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1543260 [startup+1062.3 s] /proc/loadavg: 1.96 2.00 2.00 3/179 15191 /proc/meminfo: memFree=29827744/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=1611432 CPUtime=1062.32 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 392097 0 0 0 104216 2016 0 0 25 0 1 0 131501853 1650106368 388582 4089446400 4194304 7136930 140736437276192 18446744073709551615 4431494 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15124/statm: 402858 388582 398 719 0 402137 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1611432 [startup+1122.3 s] /proc/loadavg: 1.90 1.98 1.99 2/198 15254 /proc/meminfo: memFree=29628692/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=1697964 CPUtime=1122.32 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 409869 0 0 0 110079 2153 0 0 25 0 1 0 131501853 1738715136 406354 4089446400 4194304 7136930 140736437276192 18446744073709551615 4431702 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15124/statm: 424491 406354 398 719 0 423770 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1697964 [startup+1182.3 s] /proc/loadavg: 2.49 2.13 2.04 4/200 15262 /proc/meminfo: memFree=29501756/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=1762912 CPUtime=1182.33 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 426082 0 0 0 115769 2464 0 0 25 0 1 0 131501853 1805221888 422567 4089446400 4194304 7136930 140736437276192 18446744073709551615 4923505 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15124/statm: 440728 422567 398 719 0 440007 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1762912 [startup+1242.3 s] /proc/loadavg: 2.75 2.27 2.09 4/200 15264 /proc/meminfo: memFree=29430740/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=1818908 CPUtime=1242.33 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 440389 0 0 0 121471 2762 0 0 25 0 1 0 131501853 1862561792 436874 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15124/statm: 454727 436874 398 719 0 454006 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1818908 [startup+1302.3 s] /proc/loadavg: 2.91 2.41 2.15 4/200 15266 /proc/meminfo: memFree=29365696/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=1874520 CPUtime=1302.33 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 454367 0 0 0 127204 3029 0 0 25 0 1 0 131501853 1919508480 450852 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15124/statm: 468630 450852 398 719 0 467909 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1874520 [startup+1362.3 s] /proc/loadavg: 3.24 2.61 2.23 4/200 15267 /proc/meminfo: memFree=29309316/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=1923164 CPUtime=1362.32 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 466746 0 0 0 132938 3294 0 0 25 0 1 0 131501853 1969319936 463231 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15124/statm: 480791 463231 398 719 0 480070 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1923164 [startup+1422.31 s] /proc/loadavg: 3.00 2.65 2.27 3/200 15268 /proc/meminfo: memFree=29250080/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=1975740 CPUtime=1422.34 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 479961 0 0 0 138695 3539 0 0 25 0 1 0 131501853 2023157760 476446 4089446400 4194304 7136930 140736437276192 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15124/statm: 493935 476446 398 719 0 493214 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1975740 [startup+1482.3 s] /proc/loadavg: 2.93 2.69 2.30 3/200 15270 /proc/meminfo: memFree=29192576/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=2026248 CPUtime=1482.33 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 492796 0 0 0 144447 3786 0 0 25 0 1 0 131501853 2074877952 489281 4089446400 4194304 7136930 140736437276192 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15124/statm: 506562 489281 398 719 0 505841 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2026248 [startup+1542.3 s] /proc/loadavg: 2.85 2.72 2.34 4/200 15272 /proc/meminfo: memFree=29133108/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=2081284 CPUtime=1542.33 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 506553 0 0 0 150210 4023 0 0 25 0 1 0 131501853 2131234816 503038 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15124/statm: 520321 503038 398 719 0 519600 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2081284 [startup+1602.3 s] /proc/loadavg: 2.86 2.75 2.37 4/200 15274 /proc/meminfo: memFree=29067816/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=2141196 CPUtime=1602.34 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 521607 0 0 0 155921 4313 0 0 25 0 1 0 131501853 2192584704 518092 4089446400 4194304 7136930 140736437276192 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15124/statm: 535299 518092 398 719 0 534578 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2141196 [startup+1662.3 s] /proc/loadavg: 2.61 2.69 2.37 4/200 15275 /proc/meminfo: memFree=29010376/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=2192640 CPUtime=1662.34 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 534727 0 0 0 161532 4702 0 0 25 0 1 0 131501853 2245263360 531212 4089446400 4194304 7136930 140736437276192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15124/statm: 548160 531212 398 719 0 547439 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2192640 [startup+1722.3 s] /proc/loadavg: 2.78 2.72 2.40 4/200 15276 /proc/meminfo: memFree=28914324/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=2280544 CPUtime=1722.35 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 557038 0 0 0 167144 5091 0 0 25 0 1 0 131501853 2335277056 553523 4089446400 4194304 7136930 140736437276192 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15124/statm: 570136 553523 398 719 0 569415 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 2280544 [startup+1782.3 s] /proc/loadavg: 3.00 2.79 2.44 4/200 15343 /proc/meminfo: memFree=28965972/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=2315240 CPUtime=1782.35 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 565796 0 0 0 172904 5331 0 0 25 0 1 0 131501853 2370805760 562281 4089446400 4194304 7136930 140736437276192 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15124/statm: 578810 562281 398 719 0 578089 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 2315240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 3.00 2.80 2.45 4/200 15343 /proc/meminfo: memFree=28947340/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=2328772 CPUtime=1800.05 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 569181 0 0 0 174617 5388 0 0 25 0 1 0 131501853 2384662528 565666 4089446400 4194304 7136930 140736437276192 18446744073709551615 4210111 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15124/statm: 582193 565666 398 719 0 581472 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2328772 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15124 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 3.00 2.80 2.45 3/201 15344 /proc/meminfo: memFree=28946960/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=2327748 CPUtime=1801.45 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 569186 0 0 0 174757 5388 0 0 25 0 1 0 131501853 2383613952 565415 4089446400 4194304 7136930 140736437276192 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15124/statm: 581937 565415 403 719 0 581216 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 2327748 [startup+1801.81 s] /proc/loadavg: 3.00 2.80 2.45 4/201 15345 /proc/meminfo: memFree=28947332/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=2327748 CPUtime=1801.85 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 569186 0 0 0 174797 5388 0 0 25 0 1 0 131501853 2383613952 565415 4089446400 4194304 7136930 140736437276192 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15124/statm: 581937 565415 403 719 0 581216 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2327748 [startup+1802 s] /proc/loadavg: 3.00 2.80 2.45 4/201 15345 /proc/meminfo: memFree=28947332/32951124 swapFree=67111528/67111528 [pid=15124] ppid=15122 vsize=2327748 CPUtime=1802.05 /proc/15124/stat : 15124 (pbscip.linux.x8) R 15122 15124 14972 0 -1 4202496 569186 0 0 0 174817 5388 0 0 25 0 1 0 131501853 2383613952 565415 4089446400 4194304 7136930 140736437276192 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15124/statm: 581937 565415 403 719 0 581216 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 2327748 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.14 CPU user time (s): 1748.18 CPU system time (s): 53.9618 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2328772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1748.18 system time used= 53.9618 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 569186 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1963 runsolver used 3.33949 second user time and 6.04908 second system time The end
Begin job on node141 at 2010-06-30 14:47:46 IDJOB=2694041 IDBENCH=78897 IDSOLVER=1206 FILE ID=node141/2694041-1277902066 PBS_JOBID= 11197237 Free space on /tmp= 74208 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.1900568706--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-2694041-1277902066/watcher-2694041-1277902066 -o /tmp/evaluation-result-2694041-1277902066/solver-2694041-1277902066 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694041-1277902066.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d42cf4effb818ceec652d99deb164158 RANDOM SEED=303299753 node141.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.788 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.57 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.788 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.68 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.788 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.83 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.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.788 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.80 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.788 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.788 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.82 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.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31327284 kB Buffers: 184228 kB Cached: 1144428 kB SwapCached: 0 kB Active: 724524 kB Inactive: 757252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31327284 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3152 kB Writeback: 0 kB AnonPages: 152956 kB Mapped: 17328 kB Slab: 78816 kB PageTables: 5376 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 302856 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node141 at 2010-06-30 15:17:49