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.11 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo |
| MD5SUM | cb2e0a6db987ecdc06dc4066ca6b4222 |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 584.43 |
| 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 | 1804 |
| 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 | 90822 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 90821 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 717 |
| 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-2694155-1277908232.wbo>
0.00/0.03 c original problem has 3839 variables (2035 bin, 0 int, 0 impl, 1804 cont) and 4512 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.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs
0.04/0.09 c (round 2) 0 del vars, 64 del conss, 1804 chg bounds, 41 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs
0.04/0.10 c (round 3) 41 del vars, 117 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1938 impls, 6 clqs
0.09/0.11 c (round 4) 87 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 1938 impls, 6 clqs
0.09/0.12 c (round 5) 92 del vars, 122 del conss, 1809 chg bounds, 53 chg sides, 0 chg coeffs, 874 upgd conss, 1938 impls, 6 clqs
0.09/0.16 c (0.1s) probing: 101/1989 (5.1%) - 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.16 c presolving (6 rounds):
0.09/0.16 c 92 deleted vars, 122 deleted constraints, 1809 tightened bounds, 0 added holes, 53 changed sides, 0 changed coefficients
0.09/0.16 c 1938 implications, 6 cliques
0.09/0.16 c presolved problem has 3747 variables (1989 bin, 0 int, 0 impl, 1758 cont) and 4390 constraints
0.09/0.16 c 1758 constraints of type <indicator>
0.09/0.16 c 6 constraints of type <setppc>
0.09/0.16 c 1758 constraints of type <linear>
0.09/0.16 c 868 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 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 | - |3747 |4390 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.49 o 719
1.39/1.49 c * 1.4s| 5319 | 4877 | 0 | 0.0 | 16M|1913 | - |3747 |5029 | 0 | 0 | 0 | 774 | 0 | 0.000000e+00 | 7.190000e+02 | Inf
1.89/1.95 o 715
1.89/1.95 c * 1.8s| 6921 | 6475 | 0 | 0.0 | 17M|1913 | - |3747 |5003 | 0 | 0 | 0 | 783 | 0 | 0.000000e+00 | 7.150000e+02 | Inf
2.69/2.73 c 2.5s| 10000 | 9220 | 0 | 0.0 | 19M|1913 | - |3747 |5274 | 0 | 0 | 0 |1818 | 0 | 0.000000e+00 | 7.150000e+02 | Inf
5.69/5.78 c 5.4s| 20000 | 17216 | 0 | 0.0 | 28M|1913 | - |3747 |6560 | 0 | 0 | 0 |8174 | 0 | 0.000000e+00 | 7.150000e+02 | Inf
10.19/10.29 c 9.6s| 30000 | 23162 | 0 | 0.0 | 38M|1913 | - |3747 |8194 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.150000e+02 | Inf
12.20/12.23 o 630
12.20/12.23 c *11.4s| 35142 | 27328 | 0 | 0.0 | 40M|1913 | - |3747 |7104 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 6.300000e+02 | Inf
12.20/12.24 o 575
12.20/12.24 c *11.5s| 35143 | 26749 | 0 | 0.0 | 39M|1913 | - |3747 |7104 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 5.750000e+02 | Inf
12.29/12.30 o 539
12.29/12.30 c *11.5s| 35298 | 26628 | 0 | 0.0 | 39M|1913 | - |3747 |7050 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 5.390000e+02 | Inf
12.29/12.31 o 527
12.29/12.31 c *11.5s| 35299 | 26510 | 0 | 0.0 | 40M|1913 | - |3747 |7049 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
12.29/12.37 o 514
12.29/12.37 c *11.6s| 35447 | 26498 | 0 | 0.0 | 40M|1913 | - |3747 |7021 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 5.140000e+02 | Inf
12.29/12.37 o 489
12.29/12.37 c *11.6s| 35448 | 26259 | 0 | 0.0 | 40M|1913 | - |3747 |7021 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.890000e+02 | Inf
12.49/12.54 o 405
12.49/12.54 c *11.7s| 35887 | 25555 | 0 | 0.0 | 39M|1913 | - |3747 |6938 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.050000e+02 | Inf
12.49/12.54 o 374
12.49/12.54 c *11.8s| 35888 | 25273 | 0 | 0.0 | 39M|1913 | - |3747 |6938 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.740000e+02 | Inf
12.70/12.70 o 306
12.70/12.70 c *11.9s| 36274 | 25113 | 0 | 0.0 | 39M|1913 | - |3747 |6879 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.060000e+02 | Inf
12.79/12.81 o 270
12.79/12.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.79/12.81 c *12.0s| 36523 | 25125 | 0 | 0.0 | 39M|1913 | - |3747 |6825 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.700000e+02 | Inf
12.99/13.04 o 245
12.99/13.04 c *12.2s| 37060 | 25439 | 0 | 0.0 | 40M|1913 | - |3747 |6659 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.450000e+02 | Inf
12.99/13.04 o 226
12.99/13.04 c *12.2s| 37061 | 25284 | 0 | 0.0 | 40M|1913 | - |3747 |6659 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
12.99/13.08 o 222
12.99/13.08 c *12.3s| 37156 | 25263 | 0 | 0.0 | 40M|1913 | - |3747 |6656 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
12.99/13.08 o 213
12.99/13.08 c *12.3s| 37157 | 25133 | 0 | 0.0 | 40M|1913 | - |3747 |6656 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
13.10/13.13 o 182
13.10/13.13 c *12.3s| 37248 | 25019 | 0 | 0.0 | 39M|1913 | - |3747 |6642 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.820000e+02 | Inf
13.79/13.81 o 169
13.79/13.81 c *13.0s| 38720 | 26244 | 0 | 0.0 | 41M|1913 | - |3747 |6532 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
14.20/14.29 o 143
14.20/14.29 c *13.4s| 39791 | 27000 | 0 | 0.0 | 41M|1913 | - |3747 |6387 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
14.29/14.39 c 13.5s| 40000 | 27190 | 0 | 0.0 | 41M|1913 | - |3747 |6364 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
14.69/14.79 o 131
14.69/14.79 c *13.9s| 40771 | 27644 | 0 | 0.0 | 43M|1913 | - |3747 |6287 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
14.69/14.79 o 92
14.69/14.79 c *13.9s| 40772 | 26903 | 0 | 0.0 | 42M|1913 | - |3747 |6287 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
14.99/15.04 o 85
14.99/15.04 c *14.1s| 41193 | 26922 | 0 | 0.0 | 42M|1913 | - |3747 |6274 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
14.99/15.05 o 81
14.99/15.05 c *14.1s| 41215 | 26731 | 0 | 0.0 | 42M|1913 | - |3747 |6263 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
14.99/15.05 o 56
14.99/15.05 c *14.1s| 41216 | 25477 | 0 | 0.0 | 41M|1913 | - |3747 |6263 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
15.69/15.76 o 55
15.69/15.76 c *14.8s| 42255 | 26253 | 0 | 0.0 | 45M|1913 | - |3747 |6490 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
15.69/15.76 o 54
15.69/15.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.69/15.76 c *14.8s| 42256 | 26238 | 0 | 0.0 | 45M|1913 | - |3747 |6490 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
16.29/16.36 o 52
16.29/16.36 c *15.4s| 43647 | 27361 | 0 | 0.0 | 48M|1913 | - |3747 |6375 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
16.29/16.36 o 49
16.29/16.36 c *15.4s| 43648 | 27260 | 0 | 0.0 | 48M|1913 | - |3747 |6375 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
16.29/16.40 o 45
16.29/16.40 c *15.4s| 43767 | 27073 | 0 | 0.0 | 48M|1913 | - |3747 |6325 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
16.29/16.40 o 26
16.29/16.40 c *15.4s| 43768 | 25796 | 0 | 0.0 | 46M|1913 | - |3747 |6325 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
16.40/16.45 o 25
16.40/16.45 c *15.4s| 43883 | 25879 | 0 | 0.0 | 46M|1913 | - |3747 |6271 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
16.40/16.46 o 24
16.40/16.46 c *15.5s| 43931 | 25743 | 0 | 0.0 | 46M|1913 | - |3747 |6261 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
18.70/18.79 o 20
18.70/18.79 c *17.6s| 49326 | 29971 | 0 | 0.0 | 54M|1913 | - |3747 |6813 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
19.09/19.13 c 17.9s| 50000 | 30411 | 0 | 0.0 | 55M|1913 | - |3747 |7128 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
23.09/23.14 c 21.7s| 60000 | 38406 | 0 | 0.0 | 73M|1913 | - |3747 |5650 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
26.49/26.59 c 24.9s| 70000 | 46302 | 0 | 0.0 | 80M|1913 | - |3747 |5053 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
30.29/30.32 c 28.4s| 80000 | 53754 | 0 | 0.0 | 89M|1913 | - |3747 |5353 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
34.19/34.25 c 32.1s| 90000 | 60942 | 0 | 0.0 | 97M|1913 | - |3747 |5699 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
38.50/38.58 c 36.1s|100000 | 67615 | 0 | 0.0 | 107M|1913 | - |3747 |6100 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
43.49/43.55 c 40.8s|110000 | 73115 | 0 | 0.0 | 116M|1913 | - |3747 |6458 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
49.09/49.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.09/49.15 c 46.2s|120000 | 77105 | 0 | 0.0 | 125M|1913 | - |3747 |7023 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
56.29/56.33 c 53.0s|130000 | 77154 | 0 | 0.0 | 132M|1913 | - |3747 |8715 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
61.20/61.28 c 57.7s|140000 | 81249 | 0 | 0.0 | 134M|1913 | - |3747 |4517 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
63.69/63.73 o 11
63.69/63.73 c *60.0s|145313 | 84300 | 0 | 0.0 | 138M|1913 | - |3747 |5473 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
66.40/66.44 c 62.5s|150000 | 87106 | 0 | 0.0 | 143M|1913 | - |3747 |5535 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
72.29/72.31 c 68.0s|160000 | 92911 | 0 | 0.0 | 154M|1913 | - |3747 |6844 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
77.29/77.38 c 72.8s|170000 | 98351 | 0 | 0.0 | 161M|1913 | - |3747 |6061 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
81.40/81.43 o 8
81.40/81.43 c *76.6s|177559 |102388 | 0 | 0.0 | 167M|1913 | - |3747 |8497 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
82.59/82.68 c 77.8s|180000 |104044 | 0 | 0.0 | 168M|1913 | - |3747 |6472 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
84.49/84.59 o 7
84.49/84.59 c *79.5s|185113 |107923 | 0 | 0.0 | 172M|1913 | - |3747 |6498 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
87.30/87.35 c 82.1s|190000 |110679 | 0 | 0.0 | 177M|1913 | - |3747 |8250 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
88.69/88.78 o 6
88.69/88.78 c *83.5s|192544 |111478 | 0 | 0.0 | 177M|1913 | - |3747 |7437 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
88.69/88.78 o 4
88.69/88.78 c *83.5s|192545 |111090 | 0 | 0.0 | 176M|1913 | - |3747 |7437 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
91.20/91.26 c 85.8s|200000 |117273 | 0 | 0.0 | 182M|1913 | - |3747 |6421 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
95.49/95.57 c 89.8s|210000 |124470 | 0 | 0.0 | 191M|1913 | - |3747 |7984 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
101.29/101.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.29/101.30 c 95.2s|220000 |130021 | 0 | 0.0 | 199M|1913 | - |3747 |7436 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
105.09/105.13 c 98.8s|230000 |137698 | 0 | 0.0 | 206M|1913 | - |3747 |7717 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
109.39/109.40 c 103s|240000 |144974 | 0 | 0.0 | 214M|1913 | - |3747 |7869 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
113.49/113.54 c 107s|250000 |152375 | 0 | 0.0 | 222M|1913 | - |3747 |8500 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
118.60/118.61 c 111s|260000 |158729 | 0 | 0.0 | 231M|1913 | - |3747 | 10k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
123.40/123.47 c 116s|270000 |165326 | 0 | 0.0 | 238M|1913 | - |3747 |9117 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
128.09/128.16 c 120s|280000 |171992 | 0 | 0.0 | 246M|1913 | - |3747 | 10k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
132.00/132.08 c 124s|290000 |179909 | 0 | 0.0 | 255M|1913 | - |3747 |9165 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
136.99/137.06 c 129s|300000 |186553 | 0 | 0.0 | 264M|1913 | - |3747 | 10k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
141.80/141.88 c 133s|310000 |193398 | 0 | 0.0 | 274M|1913 | - |3747 | 11k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
146.20/146.23 c 137s|320000 |200645 | 0 | 0.0 | 282M|1913 | - |3747 | 11k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
150.90/150.95 c 142s|330000 |207919 | 0 | 0.0 | 297M|1913 | - |3747 |6097 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
154.39/154.41 c 145s|340000 |216025 | 0 | 0.0 | 306M|1913 | - |3747 |4850 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
158.00/158.08 c 148s|350000 |223583 | 0 | 0.0 | 314M|1913 | - |3747 |5326 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
162.99/163.04 c 153s|360000 |229510 | 0 | 0.0 | 324M|1913 | - |3747 |6638 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
168.59/168.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.59/168.60 c 158s|370000 |234793 | 0 | 0.0 | 332M|1913 | - |3747 |7436 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
174.40/174.43 c 164s|380000 |239867 | 0 | 0.0 | 341M|1913 | - |3747 |8332 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
180.50/180.53 c 170s|390000 |244725 | 0 | 0.0 | 350M|1913 | - |3747 |8554 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
186.49/186.53 c 175s|400000 |249697 | 0 | 0.0 | 358M|1913 | - |3747 |9236 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
192.80/192.80 c 181s|410000 |254351 | 0 | 0.0 | 367M|1913 | - |3747 |9470 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
199.40/199.40 c 188s|420000 |258654 | 0 | 0.0 | 375M|1913 | - |3747 |9276 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
206.10/206.18 c 194s|430000 |262687 | 0 | 0.0 | 383M|1913 | - |3747 |9753 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
213.20/213.29 c 201s|440000 |266570 | 0 | 0.0 | 391M|1913 | - |3747 | 10k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
220.60/220.60 c 208s|450000 |270143 | 0 | 0.0 | 399M|1913 | - |3747 | 10k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
228.70/228.74 c 216s|460000 |272817 | 0 | 0.0 | 405M|1913 | - |3747 |9721 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
236.90/236.92 c 224s|470000 |275395 | 0 | 0.0 | 413M|1913 | - |3747 | 10k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
245.99/246.07 c 233s|480000 |277033 | 0 | 0.0 | 419M|1913 | - |3747 | 10k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
255.30/255.38 c 242s|490000 |278524 | 0 | 0.0 | 425M|1913 | - |3747 | 10k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
264.90/264.98 c 251s|500000 |279735 | 0 | 0.0 | 431M|1913 | - |3747 | 11k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
275.70/275.71 c 261s|510000 |279951 | 0 | 0.0 | 436M|1913 | - |3747 | 12k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
287.40/287.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.40/287.46 c 272s|520000 |279344 | 0 | 0.0 | 440M|1913 | - |3747 | 12k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
300.21/300.30 c 285s|530000 |277253 | 0 | 0.0 | 436M|1913 | - |3747 |9084 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
304.20/304.29 c 288s|540000 |284644 | 0 | 0.0 | 444M|1913 | - |3747 |4492 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
308.40/308.49 c 292s|550000 |291551 | 0 | 0.0 | 453M|1913 | - |3747 |5212 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
313.20/313.22 c 297s|560000 |297921 | 0 | 0.0 | 462M|1913 | - |3747 |5876 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
318.70/318.75 c 302s|570000 |303397 | 0 | 0.0 | 473M|1913 | - |3747 |6757 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
324.90/324.98 c 307s|580000 |308065 | 0 | 0.0 | 483M|1913 | - |3747 |7614 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
332.30/332.36 c 314s|590000 |311686 | 0 | 0.0 | 493M|1913 | - |3747 |8348 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
341.00/341.09 c 323s|600000 |314014 | 0 | 0.0 | 502M|1913 | - |3747 |7882 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
346.90/346.95 c 328s|610000 |319312 | 0 | 0.0 | 509M|1913 | - |3747 |5721 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
352.00/352.08 c 333s|620000 |325433 | 0 | 0.0 | 518M|1913 | - |3747 |6714 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
357.51/357.58 c 338s|630000 |331197 | 0 | 0.0 | 527M|1913 | - |3747 |8004 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
364.20/364.20 c 344s|640000 |335938 | 0 | 0.0 | 537M|1913 | - |3747 |9962 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
372.81/372.82 c 352s|650000 |339024 | 0 | 0.0 | 546M|1913 | - |3747 | 13k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
379.70/379.73 c 359s|660000 |343912 | 0 | 0.0 | 551M|1913 | - |3747 |5700 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
383.90/383.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.90/383.98 c 362s|670000 |350931 | 0 | 0.0 | 560M|1913 | - |3747 |6188 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
388.60/388.67 c 367s|680000 |357352 | 0 | 0.0 | 569M|1913 | - |3747 |6779 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
394.10/394.10 c 372s|690000 |363003 | 0 | 0.0 | 578M|1913 | - |3747 |8139 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
400.41/400.41 c 378s|700000 |367877 | 0 | 0.0 | 586M|1913 | - |3747 |9278 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
407.70/407.74 c 385s|710000 |371822 | 0 | 0.0 | 595M|1913 | - |3747 | 10k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
417.20/417.21 c 393s|720000 |373861 | 0 | 0.0 | 602M|1913 | - |3747 | 11k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
423.51/423.55 c 399s|730000 |379180 | 0 | 0.0 | 607M|1913 | - |3747 |5798 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
427.81/427.82 c 403s|740000 |386203 | 0 | 0.0 | 615M|1913 | - |3747 |6443 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
432.61/432.69 c 408s|750000 |392522 | 0 | 0.0 | 624M|1913 | - |3747 |7539 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
438.11/438.14 c 413s|760000 |398205 | 0 | 0.0 | 633M|1913 | - |3747 |8814 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
444.80/444.86 c 419s|770000 |402741 | 0 | 0.0 | 642M|1913 | - |3747 | 10k| 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
454.21/454.28 c 428s|780000 |404902 | 0 | 0.0 | 650M|1913 | - |3747 | 12k| 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
460.70/460.73 c 434s|790000 |410296 | 0 | 0.0 | 655M|1913 | - |3747 |6297 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
464.90/464.92 c 438s|800000 |417469 | 0 | 0.0 | 663M|1913 | - |3747 |6220 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
469.20/469.22 c 442s|810000 |424388 | 0 | 0.0 | 671M|1913 | - |3747 |6324 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
473.81/473.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.81/473.87 c 446s|820000 |430841 | 0 | 0.0 | 679M|1913 | - |3747 |6381 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
478.60/478.63 c 450s|830000 |437143 | 0 | 0.0 | 688M|1913 | - |3747 |6500 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
483.70/483.74 c 455s|840000 |442990 | 0 | 0.0 | 696M|1913 | - |3747 |6996 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
488.90/488.94 c 460s|850000 |448737 | 0 | 0.0 | 704M|1913 | - |3747 |7204 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
494.41/494.47 c 465s|860000 |454176 | 0 | 0.0 | 713M|1913 | - |3747 |7675 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
500.41/500.47 c 471s|870000 |459128 | 0 | 0.0 | 721M|1913 | - |3747 |8087 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
506.90/506.94 c 477s|880000 |463628 | 0 | 0.0 | 729M|1913 | - |3747 |8346 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
513.91/513.91 c 483s|890000 |467608 | 0 | 0.0 | 737M|1913 | - |3747 |9124 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
522.11/522.10 c 491s|900000 |470571 | 0 | 0.0 | 744M|1913 | - |3747 | 10k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
532.10/532.10 c 500s|910000 |472427 | 0 | 0.0 | 749M|1913 | - |3747 |9742 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
535.91/535.97 c 504s|920000 |480039 | 0 | 0.0 | 757M|1913 | - |3747 |6777 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
539.91/539.98 c 508s|930000 |487241 | 0 | 0.0 | 765M|1913 | - |3747 |7153 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
544.81/544.80 c 512s|940000 |493629 | 0 | 0.0 | 773M|1913 | - |3747 |7843 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
550.10/550.10 c 517s|950000 |499482 | 0 | 0.0 | 781M|1913 | - |3747 |8189 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
555.60/555.66 c 522s|960000 |505006 | 0 | 0.0 | 789M|1913 | - |3747 |7992 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
561.30/561.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.30/561.40 c 527s|970000 |510258 | 0 | 0.0 | 797M|1913 | - |3747 |7759 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
567.30/567.31 c 533s|980000 |515333 | 0 | 0.0 | 805M|1913 | - |3747 |7838 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
572.90/572.95 c 538s|990000 |520736 | 0 | 0.0 | 812M|1913 | - |3747 |7526 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
578.20/578.27 c 543s| 1000k|526578 | 0 | 0.0 | 820M|1913 | - |3747 |7137 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
583.71/583.71 c 548s| 1010k|532247 | 0 | 0.0 | 828M|1913 | - |3747 |7254 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
588.81/588.88 c 553s| 1020k|538277 | 0 | 0.0 | 836M|1913 | - |3747 |7267 | 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
594.01/594.09 c 558s| 1030k|544175 | 0 | 0.0 | 844M|1913 | - |3747 |7477 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
599.41/599.41 c 563s| 1040k|549935 | 0 | 0.0 | 852M|1913 | - |3747 |7748 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
604.80/604.82 c 568s| 1050k|555673 | 0 | 0.0 | 860M|1913 | - |3747 |7877 | 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
610.52/610.53 c 573s| 1060k|561122 | 0 | 0.0 | 868M|1913 | - |3747 |8327 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
616.51/616.53 c 578s| 1070k|566259 | 0 | 0.0 | 876M|1913 | - |3747 |8790 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
622.40/622.44 c 584s| 1080k|571568 | 0 | 0.0 | 885M|1913 | - |3747 |9333 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
628.81/628.86 c 590s| 1090k|576461 | 0 | 0.0 | 893M|1913 | - |3747 |9966 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
635.72/635.78 c 596s| 1100k|580923 | 0 | 0.0 | 900M|1913 | - |3747 | 10k| 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
642.90/642.98 c 603s| 1110k|585280 | 0 | 0.0 | 908M|1913 | - |3747 | 11k| 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
650.40/650.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.40/650.45 c 610s| 1120k|589495 | 0 | 0.0 | 916M|1913 | - |3747 | 12k| 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
658.81/658.88 c 618s| 1130k|592982 | 0 | 0.0 | 924M|1913 | - |3747 | 13k| 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
668.40/668.47 c 627s| 1140k|595742 | 0 | 0.0 | 932M|1913 | - |3747 | 15k| 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
677.81/677.88 c 636s| 1150k|599230 | 0 | 0.0 | 935M|1913 | - |3747 |8310 | 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
681.91/682.00 c 640s| 1160k|606539 | 0 | 0.0 | 943M|1913 | - |3747 |7784 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
686.51/686.50 c 644s| 1170k|613407 | 0 | 0.0 | 951M|1913 | - |3747 |8942 | 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
692.61/692.63 c 650s| 1180k|618599 | 0 | 0.0 | 960M|1913 | - |3747 | 10k| 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
700.41/700.43 c 657s| 1190k|622228 | 0 | 0.0 | 969M|1913 | - |3747 | 12k| 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
707.51/707.53 c 664s| 1200k|626756 | 0 | 0.0 | 976M|1913 | - |3747 |8409 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
712.61/712.66 c 669s| 1210k|632987 | 0 | 0.0 | 985M|1913 | - |3747 |8642 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
718.61/718.65 c 674s| 1220k|638274 | 0 | 0.0 | 994M|1913 | - |3747 | 10k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
725.71/725.73 c 681s| 1230k|642594 | 0 | 0.0 |1003M|1913 | - |3747 | 13k| 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
734.21/734.27 c 689s| 1240k|646261 | 0 | 0.0 |1009M|1913 | - |3747 | 10k| 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
738.51/738.53 c 693s| 1250k|653645 | 0 | 0.0 |1016M|1913 | - |3747 |7925 | 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
743.41/743.48 c 697s| 1260k|660131 | 0 | 0.0 |1025M|1913 | - |3747 |8336 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
749.02/749.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
749.02/749.05 c 703s| 1270k|665878 | 0 | 0.0 |1034M|1913 | - |3747 |8802 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
754.91/754.98 c 708s| 1280k|671298 | 0 | 0.0 |1042M|1913 | - |3747 |9323 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
761.31/761.39 c 714s| 1290k|676274 | 0 | 0.0 |1051M|1913 | - |3747 | 10k| 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
768.01/768.05 c 720s| 1300k|681112 | 0 | 0.0 |1059M|1913 | - |3747 | 11k| 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
775.42/775.47 c 727s| 1310k|685415 | 0 | 0.0 |1067M|1913 | - |3747 | 12k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
784.11/784.11 c 735s| 1320k|688805 | 0 | 0.0 |1076M|1913 | - |3747 | 15k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
791.41/791.43 c 742s| 1330k|693928 | 0 | 0.0 |1081M|1913 | - |3747 |8260 | 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
795.61/795.63 c 746s| 1340k|701246 | 0 | 0.0 |1089M|1913 | - |3747 |8302 | 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
800.21/800.29 c 751s| 1350k|708069 | 0 | 0.0 |1097M|1913 | - |3747 |9711 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
805.81/805.85 c 756s| 1360k|713907 | 0 | 0.0 |1105M|1913 | - |3747 | 11k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
814.11/814.16 c 764s| 1370k|717371 | 0 | 0.0 |1114M|1913 | - |3747 | 15k| 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
819.51/819.59 c 769s| 1380k|724047 | 0 | 0.0 |1120M|1913 | - |3747 |7708 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
823.82/823.84 c 772s| 1390k|731265 | 0 | 0.0 |1128M|1913 | - |3747 |8384 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
828.52/828.54 c 777s| 1400k|737992 | 0 | 0.0 |1136M|1913 | - |3747 |9626 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
835.31/835.39 c 783s| 1410k|742440 | 0 | 0.0 |1146M|1913 | - |3747 | 12k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
843.81/843.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.81/843.83 c 791s| 1420k|745997 | 0 | 0.0 |1153M|1913 | - |3747 | 13k| 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
848.51/848.58 c 796s| 1430k|752957 | 0 | 0.0 |1160M|1913 | - |3747 |7802 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
853.42/853.49 c 800s| 1440k|759321 | 0 | 0.0 |1169M|1913 | - |3747 |8713 | 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
859.01/859.09 c 806s| 1450k|764973 | 0 | 0.0 |1178M|1913 | - |3747 | 10k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
865.62/865.66 c 812s| 1460k|769655 | 0 | 0.0 |1187M|1913 | - |3747 | 12k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
874.21/874.29 c 820s| 1470k|772598 | 0 | 0.0 |1195M|1913 | - |3747 | 14k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
879.42/879.47 c 825s| 1480k|779178 | 0 | 0.0 |1199M|1913 | - |3747 |5838 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
884.12/884.19 c 829s| 1490k|785508 | 0 | 0.0 |1207M|1913 | - |3747 |5449 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
889.01/889.07 c 834s| 1500k|791595 | 0 | 0.0 |1215M|1913 | - |3747 |6281 | 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
893.12/893.11 c 837s| 1510k|798546 | 0 | 0.0 |1223M|1913 | - |3747 |6386 | 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
897.01/897.08 c 841s| 1520k|805625 | 0 | 0.0 |1230M|1913 | - |3747 |5465 | 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
901.41/901.49 c 845s| 1530k|812216 | 0 | 0.0 |1238M|1913 | - |3747 |5042 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
905.32/905.35 c 849s| 1540k|819337 | 0 | 0.0 |1246M|1913 | - |3747 |4960 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
909.31/909.34 c 852s| 1550k|826280 | 0 | 0.0 |1253M|1913 | - |3747 |5090 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
913.22/913.21 c 856s| 1560k|833415 | 0 | 0.0 |1261M|1913 | - |3747 |5948 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
916.91/916.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
916.91/916.91 c 859s| 1570k|840890 | 0 | 0.0 |1269M|1913 | - |3747 |6726 | 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
921.61/921.69 c 864s| 1580k|847308 | 0 | 0.0 |1277M|1913 | - |3747 |7317 | 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
925.91/925.90 c 867s| 1590k|854353 | 0 | 0.0 |1285M|1913 | - |3747 |7008 | 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
930.82/930.83 c 872s| 1600k|860629 | 0 | 0.0 |1294M|1913 | - |3747 |8125 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
934.82/934.90 c 876s| 1610k|867822 | 0 | 0.0 |1302M|1913 | - |3747 |7798 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
939.11/939.17 c 880s| 1620k|874755 | 0 | 0.0 |1310M|1913 | - |3747 |8032 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
943.41/943.48 c 884s| 1630k|881611 | 0 | 0.0 |1317M|1913 | - |3747 |8014 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
947.81/947.80 c 888s| 1640k|888628 | 0 | 0.0 |1325M|1913 | - |3747 |7561 | 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
952.12/952.15 c 892s| 1650k|895597 | 0 | 0.0 |1333M|1913 | - |3747 |7495 | 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
956.01/956.03 c 895s| 1660k|902968 | 0 | 0.0 |1341M|1913 | - |3747 |7479 | 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
960.01/960.09 c 899s| 1670k|910154 | 0 | 0.0 |1348M|1913 | - |3747 |7049 | 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
964.72/964.72 c 903s| 1680k|916710 | 0 | 0.0 |1357M|1913 | - |3747 |7606 | 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
968.82/968.86 c 907s| 1690k|923736 | 0 | 0.0 |1365M|1913 | - |3747 |7513 | 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
972.91/972.91 c 911s| 1700k|930819 | 0 | 0.0 |1373M|1913 | - |3747 |7104 | 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
977.22/977.26 c 915s| 1710k|937469 | 0 | 0.0 |1379M|1913 | - |3747 |5116 | 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
981.31/981.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
981.31/981.38 c 919s| 1720k|944172 | 0 | 0.0 |1384M|1913 | - |3747 |5760 | 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
985.91/985.91 c 923s| 1730k|950508 | 0 | 0.0 |1392M|1913 | - |3747 |7095 | 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
994.32/994.31 c 931s| 1740k|953223 | 0 | 0.0 |1400M|1913 | - |3747 | 10k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1004.71/1004.71 c 941s| 1750k|955094 | 0 | 0.0 |1406M|1913 | - |3747 | 13k| 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1016.91/1016.98 c 953s| 1760k|956401 | 0 | 0.0 |1414M|1913 | - |3747 | 15k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1030.92/1030.97 c 966s| 1770k|956803 | 0 | 0.0 |1419M|1913 | - |3747 | 17k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1045.51/1045.59 c 980s| 1780k|957341 | 0 | 0.0 |1425M|1913 | - |3747 | 18k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1061.22/1061.23 c 996s| 1790k|957510 | 0 | 0.0 |1431M|1913 | - |3747 | 19k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1078.32/1078.34 c 1012s| 1800k|957257 | 0 | 0.0 |1437M|1913 | - |3747 | 19k| 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1096.11/1096.16 c 1030s| 1810k|956754 | 0 | 0.0 |1442M|1913 | - |3747 | 19k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1113.52/1113.56 c 1047s| 1820k|956322 | 0 | 0.0 |1447M|1913 | - |3747 | 20k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1131.22/1131.28 c 1064s| 1830k|955757 | 0 | 0.0 |1451M|1913 | - |3747 | 21k| 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1149.82/1149.86 c 1082s| 1840k|954801 | 0 | 0.0 |1454M|1913 | - |3747 | 20k| 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1168.92/1168.93 c 1101s| 1850k|953281 | 0 | 0.0 |1455M|1913 | - |3747 | 20k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1188.42/1188.48 c 1120s| 1860k|951108 | 0 | 0.0 |1454M|1913 | - |3747 | 20k| 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1207.83/1207.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.83/1207.88 c 1139s| 1870k|948938 | 0 | 0.0 |1453M|1913 | - |3747 | 20k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1227.42/1227.43 c 1158s| 1880k|946395 | 0 | 0.0 |1452M|1913 | - |3747 | 21k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1247.12/1247.17 c 1177s| 1890k|943673 | 0 | 0.0 |1449M|1913 | - |3747 | 21k| 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1267.92/1268.00 c 1197s| 1900k|940434 | 0 | 0.0 |1445M|1913 | - |3747 | 23k| 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1290.52/1290.59 c 1219s| 1910k|936277 | 0 | 0.0 |1439M|1913 | - |3747 | 23k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1308.93/1309.00 c 1237s| 1920k|934817 | 0 | 0.0 |1428M|1913 | - |3747 | 10k| 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1315.02/1315.00 c 1243s| 1930k|941184 | 0 | 0.0 |1436M|1913 | - |3747 |8703 | 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1320.72/1320.72 c 1248s| 1940k|947597 | 0 | 0.0 |1444M|1913 | - |3747 |9044 | 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1326.63/1326.63 c 1254s| 1950k|953861 | 0 | 0.0 |1452M|1913 | - |3747 |9802 | 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1334.42/1334.46 c 1261s| 1960k|958411 | 0 | 0.0 |1460M|1913 | - |3747 |8281 | 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1342.22/1342.24 c 1268s| 1970k|962846 | 0 | 0.0 |1469M|1913 | - |3747 | 10k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1351.12/1351.13 c 1277s| 1980k|966641 | 0 | 0.0 |1478M|1913 | - |3747 | 12k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1360.33/1360.37 c 1286s| 1990k|970362 | 0 | 0.0 |1486M|1913 | - |3747 | 13k| 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1370.22/1370.26 c 1295s| 2000k|973809 | 0 | 0.0 |1494M|1913 | - |3747 | 13k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1380.33/1380.30 c 1305s| 2010k|977030 | 0 | 0.0 |1502M|1913 | - |3747 | 13k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1390.93/1390.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.93/1390.92 c 1315s| 2020k|979705 | 0 | 0.0 |1509M|1913 | - |3747 | 13k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1401.62/1401.68 c 1325s| 2030k|982103 | 0 | 0.0 |1516M|1913 | - |3747 | 13k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1412.22/1412.24 c 1335s| 2040k|984763 | 0 | 0.0 |1523M|1913 | - |3747 | 13k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1423.13/1423.17 c 1346s| 2050k|987083 | 0 | 0.0 |1530M|1913 | - |3747 | 13k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1435.22/1435.27 c 1358s| 2060k|988418 | 0 | 0.0 |1536M|1913 | - |3747 | 13k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1447.13/1447.18 c 1369s| 2070k|989993 | 0 | 0.0 |1541M|1913 | - |3747 | 13k| 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1460.23/1460.27 c 1382s| 2080k|990612 | 0 | 0.0 |1546M|1913 | - |3747 | 14k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1474.42/1474.49 c 1395s| 2090k|990569 | 0 | 0.0 |1550M|1913 | - |3747 | 14k| 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1489.63/1489.64 c 1410s| 2100k|990068 | 0 | 0.0 |1552M|1913 | - |3747 | 15k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1500.23/1500.21 c 1420s| 2110k|993598 | 0 | 0.0 |1557M|1913 | - |3747 | 13k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1509.23/1509.29 c 1429s| 2120k|997934 | 0 | 0.0 |1565M|1913 | - |3747 | 12k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1517.82/1517.89 c 1437s| 2130k| 1002k| 0 | 0.0 |1574M|1913 | - |3747 | 13k| 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1527.03/1527.07 c 1446s| 2140k| 1006k| 0 | 0.0 |1582M|1913 | - |3747 | 15k| 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1536.33/1536.37 c 1455s| 2150k| 1011k| 0 | 0.0 |1590M|1913 | - |3747 | 16k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1545.93/1545.97 c 1464s| 2160k| 1015k| 0 | 0.0 |1598M|1913 | - |3747 | 17k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1556.12/1556.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1556.12/1556.12 c 1473s| 2170k| 1019k| 0 | 0.0 |1606M|1913 | - |3747 | 18k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1567.83/1567.84 c 1485s| 2180k| 1023k| 0 | 0.0 |1614M|1913 | - |3747 | 20k| 0 | 0 | 0 |1649k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1579.83/1579.85 c 1496s| 2190k| 1026k| 0 | 0.0 |1621M|1913 | - |3747 | 21k| 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1592.53/1592.58 c 1509s| 2200k| 1029k| 0 | 0.0 |1629M|1913 | - |3747 | 23k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1607.23/1607.20 c 1523s| 2210k| 1031k| 0 | 0.0 |1636M|1913 | - |3747 | 25k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1623.33/1623.37 c 1539s| 2220k| 1033k| 0 | 0.0 |1643M|1913 | - |3747 | 27k| 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1643.14/1643.12 c 1558s| 2230k| 1033k| 0 | 0.0 |1648M|1913 | - |3747 | 31k| 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1663.93/1663.92 c 1578s| 2240k| 1034k| 0 | 0.0 |1650M|1913 | - |3747 | 31k| 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1676.93/1676.96 c 1591s| 2250k| 1039k| 0 | 0.0 |1656M|1913 | - |3747 | 20k| 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1687.24/1687.27 c 1601s| 2260k| 1044k| 0 | 0.0 |1664M|1913 | - |3747 | 17k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1697.04/1697.04 c 1610s| 2270k| 1049k| 0 | 0.0 |1672M|1913 | - |3747 | 17k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1707.64/1707.61 c 1620s| 2280k| 1053k| 0 | 0.0 |1680M|1913 | - |3747 | 17k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1718.33/1718.34 c 1631s| 2290k| 1057k| 0 | 0.0 |1688M|1913 | - |3747 | 17k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1729.63/1729.68 c 1642s| 2300k| 1061k| 0 | 0.0 |1696M|1913 | - |3747 | 17k| 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1741.13/1741.10 c 1653s| 2310k| 1065k| 0 | 0.0 |1705M|1913 | - |3747 | 18k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1752.74/1752.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.74/1752.79 c 1664s| 2320k| 1068k| 0 | 0.0 |1713M|1913 | - |3747 | 19k| 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1765.74/1765.76 c 1676s| 2330k| 1071k| 0 | 0.0 |1720M|1913 | - |3747 | 20k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1778.83/1778.80 c 1689s| 2340k| 1074k| 0 | 0.0 |1727M|1913 | - |3747 | 20k| 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1792.63/1792.62 c 1702s| 2350k| 1076k| 0 | 0.0 |1733M|1913 | - |3747 | 21k| 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1709.53
1800.04/1800.00 c Solving Nodes : 2355429
1800.04/1800.00 c Primal Bound : +4.00000000000000e+00 (38 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.04/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.04 v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147
1800.04/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 x127 -x126
1800.04/1800.04 v -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.04 v -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80
1800.04/1800.04 v -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55
1800.04/1800.04 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.04 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.04 v -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1709.53
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2694155-1277908232.wbo
1800.04/1800.04 c Variables : 3839 (2035 binary, 0 integer, 0 implicit integer, 1804 continuous)
1800.04/1800.04 c Constraints : 4512 initial, 4512 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2694155-1277908232.wbo
1800.04/1800.04 c Variables : 3747 (1989 binary, 0 integer, 0 implicit integer, 1758 continuous)
1800.04/1800.04 c Constraints : 4390 initial, 36274 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 46 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 46 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 46 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.05 0 0 0 1809 0 76 53 0
1800.04/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1694 - - 3388 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 1758 0 5653229 0 1525114 87 910258 0 0 0
1800.04/1800.04 c setppc : 6 0 7668416 0 1874958 60038 2598787 0 0 0
1800.04/1800.04 c linear : 1758 0 7679104 0 1887606 461417 44725229 0 0 0
1800.04/1800.04 c logicor : 868+ 0 4842020 0 1887619 220305 8611470 0 0 0
1800.04/1800.04 c bounddisjunction : 0+ 0 42480 0 0 0 6 0 0 0
1800.04/1800.04 c countsols : 0 0 0 0 1887616 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c indicator : 6.84 0.00 2.44 0.00 4.40
1800.04/1800.04 c setppc : 15.20 0.00 14.12 0.00 1.08
1800.04/1800.04 c linear : 329.58 0.00 328.76 0.00 0.82
1800.04/1800.04 c logicor : 435.12 0.00 382.31 0.00 52.81
1800.04/1800.04 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00
1800.04/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 0.00 2 0 0
1800.04/1800.04 c rootredcost : 0.00 0 0 0
1800.04/1800.04 c pseudoobj : 247.32 7740075 988 883307
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 28.37 742748 742699 3327327 16.2 28154 11.4 -
1800.04/1800.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.03 44 44 180 20.1 35 9.2 -
1800.04/1800.04 c applied globally : - - - 1830597 14.7 - - -
1800.04/1800.04 c applied locally : - - - 3 224.3 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.04 c redcost : 0.00 0 0 0 0 0
1800.04/1800.04 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.00 0 0 0 0 0
1800.04/1800.04 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.04 c cmir : 0.00 0 0 0 0 0
1800.04/1800.04 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.04 c clique : 0.00 0 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 0 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 27.29 1887578 0 0 0 0 3775156
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.00 - 0
1800.04/1800.04 c pseudo solutions : 0.05 - 38
1800.04/1800.04 c oneopt : 0.06 0 0
1800.04/1800.04 c trivial : 0.00 2 0
1800.04/1800.04 c simplerounding : 0.00 0 0
1800.04/1800.04 c zirounding : 0.00 0 0
1800.04/1800.04 c rounding : 0.00 0 0
1800.04/1800.04 c shifting : 0.00 0 0
1800.04/1800.04 c intshifting : 0.00 0 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c feaspump : 0.00 0 0
1800.04/1800.04 c coefdiving : 0.00 0 0
1800.04/1800.04 c pscostdiving : 0.00 0 0
1800.04/1800.04 c fracdiving : 0.00 0 0
1800.04/1800.04 c veclendiving : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c objpscostdiving : 0.00 0 0
1800.04/1800.04 c rootsoldiving : 0.00 0 0
1800.04/1800.04 c linesearchdiving : 0.00 0 0
1800.04/1800.04 c guideddiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.00 0 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c crossover : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.01 0 0
1800.04/1800.04 c trysol : 0.00 1 0
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.04 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.04 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.04 c (at root node) : - 0 0 0.00 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 2355429
1800.04/1800.04 c nodes (total) : 2355429
1800.04/1800.04 c nodes left : 1078151
1800.04/1800.04 c max depth : 1913
1800.04/1800.04 c max depth (total): 1913
1800.04/1800.04 c backtracks : 438409 (18.6%)
1800.04/1800.04 c delayed cutoffs : 328950
1800.04/1800.04 c repropagations : 1563676 (17104105 domain reductions, 275066 cutoffs)
1800.04/1800.04 c avg switch length: 36.15
1800.04/1800.04 c switching time : 524.10
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 38 (38 improvements)
1800.04/1800.04 c First Solution : +7.19000000000000e+02 (in run 1, after 5319 nodes, 1.35 seconds, depth 995, found by <relaxation>)
1800.04/1800.04 c Primal Bound : +4.00000000000000e+00 (in run 1, after 192545 nodes, 83.46 seconds, depth 889, found by <relaxation>)
1800.04/1800.04 c Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Gap : infinite
1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Root Iterations : 0
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694155-1277908232/watcher-2694155-1277908232 -o /tmp/evaluation-result-2694155-1277908232/solver-2694155-1277908232 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694155-1277908232.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.96 1.98 2.09 3/178 25789 /proc/meminfo: memFree=30522044/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=8268 CPUtime=0 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 1546 0 0 0 0 0 0 0 21 0 1 0 166426729 8466432 1469 4089446400 4194304 7136930 140733913999120 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25789/statm: 2067 1469 275 719 0 1346 0 [startup+0.050531 s] /proc/loadavg: 1.96 1.98 2.09 3/178 25789 /proc/meminfo: memFree=30522044/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=27252 CPUtime=0.04 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 6411 0 0 0 4 0 0 0 21 0 1 0 166426729 27906048 5980 4089446400 4194304 7136930 140733913999120 18446744073709551615 6166597 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 6813 5980 323 719 0 6092 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 27252 [startup+0.100521 s] /proc/loadavg: 1.96 1.98 2.09 3/178 25789 /proc/meminfo: memFree=30522044/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=27832 CPUtime=0.09 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 7607 0 0 0 8 1 0 0 21 0 1 0 166426729 28499968 6148 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 6958 6148 354 719 0 6237 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27832 [startup+0.30048 s] /proc/loadavg: 1.96 1.98 2.09 3/178 25789 /proc/meminfo: memFree=30522044/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=29844 CPUtime=0.29 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 10228 0 0 0 27 2 0 0 21 0 1 0 166426729 30560256 6713 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 7461 6713 391 719 0 6740 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29844 [startup+0.700409 s] /proc/loadavg: 1.96 1.98 2.09 3/178 25789 /proc/meminfo: memFree=30522044/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=31736 CPUtime=0.69 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 10716 0 0 0 64 5 0 0 22 0 1 0 166426729 32497664 7201 4089446400 4194304 7136930 140733913999120 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 7934 7201 395 719 0 7213 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31736 [startup+1.50027 s] /proc/loadavg: 1.96 1.98 2.09 3/179 25790 /proc/meminfo: memFree=30491904/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=34220 CPUtime=1.49 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 11333 0 0 0 137 12 0 0 25 0 1 0 166426729 35041280 7818 4089446400 4194304 7136930 140733913999120 18446744073709551615 4923952 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 8555 7818 395 719 0 7834 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34220 [startup+3.10099 s] /proc/loadavg: 1.96 1.98 2.09 3/179 25790 /proc/meminfo: memFree=30486076/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=38928 CPUtime=3.1 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 12528 0 0 0 287 23 0 0 25 0 1 0 166426729 39862272 9013 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 9732 9013 395 719 0 9011 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 38928 [startup+6.30041 s] /proc/loadavg: 1.96 1.98 2.09 3/179 25790 /proc/meminfo: memFree=30464168/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=52120 CPUtime=6.29 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 15836 0 0 0 586 43 0 0 25 0 1 0 166426729 53370880 12321 4089446400 4194304 7136930 140733913999120 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 13030 12321 395 719 0 12309 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52120 [startup+12.7003 s] /proc/loadavg: 1.97 1.98 2.09 3/179 25791 /proc/meminfo: memFree=30433036/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=67836 CPUtime=12.7 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 19764 0 0 0 1192 78 0 0 25 0 1 0 166426729 69464064 16249 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 16959 16249 395 719 0 16238 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 67836 [startup+25.501 s] /proc/loadavg: 1.97 1.98 2.09 3/179 25791 /proc/meminfo: memFree=30349956/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=123128 CPUtime=25.49 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 32465 0 0 0 2391 158 0 0 25 0 1 0 166426729 126083072 28950 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 30782 28950 398 719 0 30061 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 123128 [startup+51.1005 s] /proc/loadavg: 1.98 1.98 2.08 3/179 25791 /proc/meminfo: memFree=30231748/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=181944 CPUtime=51.09 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 46718 0 0 0 4804 305 0 0 25 0 1 0 166426729 186310656 43203 4089446400 4194304 7136930 140733913999120 18446744073709551615 4665386 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 45486 43203 398 719 0 44765 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 181944 [startup+102.306 s] /proc/loadavg: 1.99 1.98 2.08 3/179 25793 /proc/meminfo: memFree=30021400/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=272244 CPUtime=102.3 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 68914 0 0 0 9620 610 0 0 25 0 1 0 166426729 278777856 65399 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 68061 65399 398 719 0 67340 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 272244 [startup+162.301 s] /proc/loadavg: 1.99 1.98 2.07 3/179 25795 /proc/meminfo: memFree=29831124/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=406464 CPUtime=162.3 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 101119 0 0 0 15237 993 0 0 25 0 1 0 166426729 416219136 97604 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 101616 97604 398 719 0 100895 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 406464 [startup+222.301 s] /proc/loadavg: 1.99 1.98 2.07 3/179 25796 /proc/meminfo: memFree=29712968/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=492072 CPUtime=222.3 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 122557 0 0 0 20966 1264 0 0 25 0 1 0 166426729 503881728 119042 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 123018 119042 398 719 0 122297 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 492072 [startup+282.3 s] /proc/loadavg: 2.06 2.00 2.07 3/179 25797 /proc/meminfo: memFree=29541944/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=532824 CPUtime=282.3 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 132801 0 0 0 26751 1479 0 0 25 0 1 0 166426729 545611776 129286 4089446400 4194304 7136930 140733913999120 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 133206 129286 398 719 0 132485 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 532824 [startup+342.301 s] /proc/loadavg: 2.02 2.00 2.06 3/179 25799 /proc/meminfo: memFree=29343504/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=601384 CPUtime=342.3 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 150000 0 0 0 32378 1852 0 0 25 0 1 0 166426729 615817216 146485 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 150346 146485 398 719 0 149625 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 601384 [startup+402.301 s] /proc/loadavg: 2.01 2.00 2.05 3/179 25801 /proc/meminfo: memFree=29251324/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=692764 CPUtime=402.3 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 172871 0 0 0 37946 2284 0 0 25 0 1 0 166426729 709390336 169356 4089446400 4194304 7136930 140733913999120 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 173191 169356 398 719 0 172470 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 692764 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.05 3/179 25803 /proc/meminfo: memFree=29081620/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=767024 CPUtime=462.3 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 191430 0 0 0 43545 2685 0 0 25 0 1 0 166426729 785432576 187915 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 191756 187915 398 719 0 191035 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 767024 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.04 3/179 25804 /proc/meminfo: memFree=28832072/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=858512 CPUtime=522.3 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 212484 0 0 0 49115 3115 0 0 25 0 1 0 166426729 879116288 208969 4089446400 4194304 7136930 140733913999120 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 214628 208969 398 719 0 213907 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 858512 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 25832 /proc/meminfo: memFree=29591080/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=942528 CPUtime=582.3 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 233686 0 0 0 54675 3555 0 0 25 0 1 0 166426729 965148672 230171 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 235632 230171 398 719 0 234911 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 942528 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.03 3/179 25834 /proc/meminfo: memFree=29339404/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1023696 CPUtime=642.31 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 254124 0 0 0 60253 3978 0 0 25 0 1 0 166426729 1048264704 250609 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 255924 250609 398 719 0 255203 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1023696 [startup+702.3 s] ################ # More data... # ################ /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 379192 0 0 0 93841 6391 0 0 25 0 1 0 166426729 1556144128 375677 4089446400 4194304 7136930 140733913999120 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 379918 375677 398 719 0 379197 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1519672 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25891 /proc/meminfo: memFree=28795348/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1546372 CPUtime=1062.32 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 385866 0 0 0 99658 6574 0 0 25 0 1 0 166426729 1583484928 382351 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 386593 382351 398 719 0 385872 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1546372 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25892 /proc/meminfo: memFree=28752528/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1567492 CPUtime=1122.32 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 391069 0 0 0 105515 6717 0 0 25 0 1 0 166426729 1605111808 387554 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 391873 387554 398 719 0 391152 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1567492 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25893 /proc/meminfo: memFree=28737500/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1571300 CPUtime=1182.32 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 392027 0 0 0 111369 6863 0 0 25 0 1 0 166426729 1609011200 388512 4089446400 4194304 7136930 140733913999120 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 392825 388512 398 719 0 392104 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1571300 [startup+1242.3 s] /proc/loadavg: 2.22 2.08 2.03 3/197 25895 /proc/meminfo: memFree=28735108/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1573584 CPUtime=1242.32 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 392592 0 0 0 117220 7012 0 0 25 0 1 0 166426729 1611350016 389077 4089446400 4194304 7136930 140733913999120 18446744073709551615 4209137 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 393396 389077 398 719 0 392675 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1573584 [startup+1302.3 s] /proc/loadavg: 2.08 2.07 2.02 3/197 25897 /proc/meminfo: memFree=28718332/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1574084 CPUtime=1302.33 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 392711 0 0 0 123072 7161 0 0 25 0 1 0 166426729 1611862016 389196 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 393521 389196 398 719 0 392800 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1574084 [startup+1362.3 s] /proc/loadavg: 2.03 2.05 2.02 3/197 25899 /proc/meminfo: memFree=28660976/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1606180 CPUtime=1362.32 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 400798 0 0 0 128758 7474 0 0 25 0 1 0 166426729 1644728320 397283 4089446400 4194304 7136930 140733913999120 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 401545 397283 398 719 0 400824 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1606180 [startup+1422.31 s] /proc/loadavg: 2.05 2.05 2.02 3/197 25900 /proc/meminfo: memFree=28595320/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1666460 CPUtime=1422.34 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 411861 0 0 0 134505 7729 0 0 25 0 1 0 166426729 1706455040 408346 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 416615 408346 398 719 0 415894 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1666460 [startup+1482.3 s] /proc/loadavg: 2.02 2.04 2.01 3/197 25901 /proc/meminfo: memFree=28557456/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1687048 CPUtime=1482.33 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 417040 0 0 0 140291 7942 0 0 25 0 1 0 166426729 1727537152 413525 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 421762 413525 398 719 0 421041 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1687048 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.00 3/197 25903 /proc/meminfo: memFree=28496252/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1730324 CPUtime=1542.33 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 427841 0 0 0 146023 8210 0 0 25 0 1 0 166426729 1771851776 424326 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 432581 424326 398 719 0 431860 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1730324 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 25905 /proc/meminfo: memFree=28441644/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1763128 CPUtime=1602.33 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 436025 0 0 0 151812 8421 0 0 25 0 1 0 166426729 1805443072 432510 4089446400 4194304 7136930 140733913999120 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 440782 432510 398 719 0 440061 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1763128 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 25907 /proc/meminfo: memFree=28405744/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1779120 CPUtime=1662.33 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 439996 0 0 0 157678 8555 0 0 25 0 1 0 166426729 1821818880 436481 4089446400 4194304 7136930 140733913999120 18446744073709551615 4209664 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 444780 436481 398 719 0 444059 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1779120 [startup+1722.3 s] /proc/loadavg: 2.59 2.23 2.08 3/197 25908 /proc/meminfo: memFree=28343708/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1819944 CPUtime=1722.34 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 450368 0 0 0 163457 8777 0 0 25 0 1 0 166426729 1863622656 446853 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 454986 446853 398 719 0 454265 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1819944 [startup+1782.3 s] /proc/loadavg: 2.33 2.21 2.08 3/197 25909 /proc/meminfo: memFree=28275708/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1859060 CPUtime=1782.33 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 460118 0 0 0 169239 8994 0 0 25 0 1 0 166426729 1903677440 456603 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 464765 456603 398 719 0 464044 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1859060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.73 2.31 2.12 3/197 25910 /proc/meminfo: memFree=28264660/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1863244 CPUtime=1800.04 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 461203 0 0 0 170955 9049 0 0 25 0 1 0 166426729 1907961856 457688 4089446400 4194304 7136930 140733913999120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25789/statm: 465811 457688 398 719 0 465090 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1863244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -25789 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.73 2.31 2.12 3/198 25911 /proc/meminfo: memFree=28264032/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1863244 CPUtime=1801.43 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 461217 0 0 0 171094 9049 0 0 19 0 1 0 166426729 1907961856 457702 4089446400 4194304 7136930 140733913999120 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25789/statm: 465811 457702 403 719 0 465090 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 1863244 [startup+1801.81 s] /proc/loadavg: 2.67 2.31 2.11 3/198 25911 /proc/meminfo: memFree=28264776/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1861700 CPUtime=1801.84 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 461217 0 0 0 171135 9049 0 0 20 0 1 0 166426729 1906380800 457317 4089446400 4194304 7136930 140733913999120 18446744073709551615 4212595 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25789/statm: 465425 457317 403 719 0 464704 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 1861700 [startup+1802 s] /proc/loadavg: 2.67 2.31 2.11 3/198 25911 /proc/meminfo: memFree=28264776/32950928 swapFree=67111528/67111528 [pid=25789] ppid=25787 vsize=1850908 CPUtime=1802.03 /proc/25789/stat : 25789 (pbscip.linux.x8) R 25787 25789 23998 0 -1 4202496 461217 0 0 0 171154 9049 0 0 21 0 1 0 166426729 1895329792 454619 4089446400 4194304 7136930 140733913999120 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25789/statm: 462727 454619 403 719 0 462006 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 1850908 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.11 CPU user time (s): 1711.55 CPU system time (s): 90.5562 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1863244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1711.55 system time used= 90.5562 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461217 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= 1259 runsolver used 3.06453 second user time and 6.29904 second system time The end
Begin job on node112 at 2010-06-30 16:30:32 IDJOB=2694155 IDBENCH=78956 IDSOLVER=1206 FILE ID=node112/2694155-1277908232 PBS_JOBID= 11197169 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.1900557957--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-2694155-1277908232/watcher-2694155-1277908232 -o /tmp/evaluation-result-2694155-1277908232/solver-2694155-1277908232 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694155-1277908232.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cb2e0a6db987ecdc06dc4066ca6b4222 RANDOM SEED=1533634442 node112.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.827 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.65 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.82 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.827 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.73 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.827 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.827 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.827 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.827 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30522696 kB Buffers: 189852 kB Cached: 1893548 kB SwapCached: 0 kB Active: 728584 kB Inactive: 1554780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30522696 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3164 kB Writeback: 0 kB AnonPages: 199796 kB Mapped: 15080 kB Slab: 80568 kB PageTables: 5820 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 345604 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 node112 at 2010-06-30 17:00:34