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.12 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo |
| MD5SUM | 1266a85a20696deb0d7aee67f4c2d0a0 |
| 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 | 25.9621 |
| 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 | 1802 |
| 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 | 91108 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 91107 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 671 |
| 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-2694043-1277902201.wbo>
0.00/0.03 c original problem has 3835 variables (2033 bin, 0 int, 0 impl, 1802 cont) and 4510 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.04/0.05 c presolving:
0.04/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.04/0.09 c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.09/0.10 c (round 3) 53 del vars, 138 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.09/0.11 c (round 4) 114 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.12 c (round 5) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/1972 (5.1%) - 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 122 deleted vars, 146 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.17 c 1950 implications, 9 cliques
0.09/0.17 c presolved problem has 3713 variables (1972 bin, 0 int, 0 impl, 1741 cont) and 4364 constraints
0.09/0.17 c 1741 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1741 constraints of type <linear>
0.09/0.17 c 873 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.97
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.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 | - |3713 |4364 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.59/2.69 c 2.6s| 10000 | 9731 | 0 | 0.0 | 17M|1912 | - |3713 |4729 | 0 | 0 | 0 | 444 | 0 | 0.000000e+00 | -- | Inf
3.59/3.63 o 213
3.59/3.63 c * 3.5s| 14766 | 4616 | 0 | 0.0 | 15M|1912 | - |3713 |4721 | 0 | 0 | 0 | 467 | 0 | 0.000000e+00 | 2.130000e+02 | Inf
4.90/4.98 c 4.8s| 20000 | 9232 | 0 | 0.0 | 20M|1912 | - |3713 |5905 | 0 | 0 | 0 |3206 | 0 | 0.000000e+00 | 2.130000e+02 | Inf
8.70/8.78 c 8.5s| 30000 | 16251 | 0 | 0.0 | 31M|1912 | - |3713 |8947 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.130000e+02 | Inf
9.49/9.53 o 212
9.49/9.53 c * 9.2s| 31564 | 17652 | 0 | 0.0 | 32M|1912 | - |3713 |8068 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.120000e+02 | Inf
9.49/9.53 o 178
9.49/9.53 c * 9.2s| 31565 | 17605 | 0 | 0.0 | 32M|1912 | - |3713 |8068 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
9.79/9.85 o 166
9.79/9.85 c * 9.6s| 32223 | 18016 | 0 | 0.0 | 33M|1912 | - |3713 |7420 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
10.19/10.28 o 121
10.19/10.28 c *10.0s| 33102 | 17843 | 0 | 0.0 | 33M|1912 | - |3713 |7023 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
10.39/10.48 o 115
10.39/10.48 c *10.2s| 33507 | 18180 | 0 | 0.0 | 33M|1912 | - |3713 |6961 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
11.19/11.26 o 112
11.19/11.26 c *10.9s| 35081 | 19656 | 0 | 0.0 | 36M|1912 | - |3713 |6548 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
11.50/11.54 o 110
11.50/11.54 c *11.2s| 35696 | 20212 | 0 | 0.0 | 37M|1912 | - |3713 |6453 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
13.29/13.31 o 104
13.29/13.31 c *13.0s| 39514 | 23653 | 0 | 0.0 | 41M|1912 | - |3713 |6085 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
13.49/13.52 c 13.2s| 40000 | 24107 | 0 | 0.0 | 41M|1912 | - |3713 |6063 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
13.79/13.83 o 101
13.79/13.83 c *13.5s| 40739 | 24647 | 0 | 0.0 | 42M|1912 | - |3713 |6105 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
13.89/13.92 o 91
13.89/13.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.89/13.92 c *13.6s| 40956 | 24353 | 0 | 0.0 | 41M|1912 | - |3713 |6129 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
13.89/13.92 o 78
13.89/13.92 c *13.6s| 40957 | 23928 | 0 | 0.0 | 40M|1912 | - |3713 |6129 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
13.99/14.01 o 61
13.99/14.01 c *13.7s| 41161 | 22955 | 0 | 0.0 | 38M|1912 | - |3713 |6154 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
13.99/14.01 o 60
13.99/14.01 c *13.7s| 41162 | 22927 | 0 | 0.0 | 39M|1912 | - |3713 |6154 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
14.70/14.74 o 57
14.70/14.74 c *14.4s| 42942 | 24419 | 0 | 0.0 | 42M|1912 | - |3713 |6353 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
14.70/14.74 o 51
14.70/14.74 c *14.4s| 42943 | 24059 | 0 | 0.0 | 41M|1912 | - |3713 |6353 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
14.79/14.82 o 33
14.79/14.82 c *14.4s| 43112 | 23331 | 0 | 0.0 | 40M|1912 | - |3713 |6374 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
17.09/17.19 c 16.7s| 50000 | 29512 | 0 | 0.0 | 54M|1912 | - |3713 |7108 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
20.20/20.22 c 19.7s| 60000 | 38329 | 0 | 0.0 | 67M|1912 | - |3713 |7488 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
23.49/23.53 c 22.9s| 70000 | 46285 | 0 | 0.0 | 76M|1912 | - |3713 |9904 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
27.09/27.11 c 26.4s| 80000 | 54075 | 0 | 0.0 | 85M|1912 | - |3713 | 11k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
31.09/31.14 c 30.3s| 90000 | 61535 | 0 | 0.0 | 94M|1912 | - |3713 | 12k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
36.19/36.24 c 35.3s|100000 | 68223 | 0 | 0.0 | 104M|1912 | - |3713 | 13k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
42.19/42.24 c 41.2s|110000 | 74304 | 0 | 0.0 | 113M|1912 | - |3713 | 14k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
49.09/49.16 c 48.0s|120000 | 79599 | 0 | 0.0 | 123M|1912 | - |3713 | 15k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
56.79/56.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.79/56.81 c 55.5s|130000 | 84351 | 0 | 0.0 | 133M|1912 | - |3713 | 16k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
66.49/66.54 c 65.1s|140000 | 87698 | 0 | 0.0 | 143M|1912 | - |3713 | 19k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
73.60/73.70 o 24
73.60/73.70 c *72.2s|149183 | 90569 | 0 | 0.0 | 153M|1912 | - |3713 |7458 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
74.09/74.17 o 22
74.09/74.17 c *72.6s|149991 | 91198 | 0 | 0.0 | 155M|1912 | - |3713 |7383 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
74.09/74.19 c 72.7s|150000 | 91205 | 0 | 0.0 | 156M|1912 | - |3713 |7371 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
79.89/79.97 c 78.3s|160000 | 99653 | 0 | 0.0 | 188M|1912 | - |3713 |8038 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
86.49/86.53 c 84.7s|170000 |107585 | 0 | 0.0 | 217M|1912 | - |3713 |8601 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
94.80/94.80 c 92.9s|180000 |114105 | 0 | 0.0 | 233M|1912 | - |3713 |8403 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
97.00/97.01 o 19
97.00/97.01 c *95.0s|185411 |117208 | 0 | 0.0 | 232M|1912 | - |3713 |8964 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
97.90/97.99 o 18
97.90/97.99 c *96.0s|187369 |118697 | 0 | 0.0 | 234M|1912 | - |3713 |9393 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
99.50/99.59 c 97.6s|190000 |120532 | 0 | 0.0 | 238M|1912 | - |3713 | 10k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
104.60/104.60 c 102s|200000 |128609 | 0 | 0.0 | 256M|1912 | - |3713 |9510 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
109.39/109.41 c 107s|210000 |136598 | 0 | 0.0 | 269M|1912 | - |3713 | 11k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
115.10/115.13 c 113s|220000 |143928 | 0 | 0.0 | 278M|1912 | - |3713 |8408 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
116.60/116.66 o 17
116.60/116.66 c * 114s|224299 |147360 | 0 | 0.0 | 281M|1912 | - |3713 |8189 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
117.70/117.78 o 15
117.70/117.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.70/117.78 c * 115s|227143 |149025 | 0 | 0.0 | 282M|1912 | - |3713 |8514 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
119.09/119.17 c 117s|230000 |151018 | 0 | 0.0 | 285M|1912 | - |3713 |9248 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
122.89/122.93 c 120s|240000 |159065 | 0 | 0.0 | 293M|1912 | - |3713 |8697 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
126.69/126.79 c 124s|250000 |167047 | 0 | 0.0 | 301M|1912 | - |3713 |8347 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
130.80/130.82 c 128s|260000 |174790 | 0 | 0.0 | 310M|1912 | - |3713 |8068 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
133.79/133.82 o 13
133.79/133.82 c * 131s|268106 |179672 | 0 | 0.0 | 312M|1912 | - |3713 |9252 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
134.69/134.78 c 132s|270000 |180939 | 0 | 0.0 | 314M|1912 | - |3713 |9838 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
139.00/139.07 c 136s|280000 |189080 | 0 | 0.0 | 322M|1912 | - |3713 |9222 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
143.79/143.80 c 141s|290000 |196971 | 0 | 0.0 | 330M|1912 | - |3713 |9084 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
148.50/148.60 c 145s|300000 |204694 | 0 | 0.0 | 338M|1912 | - |3713 |8639 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
153.29/153.40 c 150s|310000 |212182 | 0 | 0.0 | 346M|1912 | - |3713 | 10k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
157.70/157.74 c 154s|320000 |220301 | 0 | 0.0 | 354M|1912 | - |3713 |9629 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
162.29/162.36 c 159s|330000 |228157 | 0 | 0.0 | 362M|1912 | - |3713 |9431 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
166.89/166.95 c 163s|340000 |235922 | 0 | 0.0 | 370M|1912 | - |3713 |9139 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
171.60/171.69 c 168s|350000 |243588 | 0 | 0.0 | 377M|1912 | - |3713 |9334 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
175.90/175.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.90/175.95 c 172s|360000 |251807 | 0 | 0.0 | 386M|1912 | - |3713 |9751 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
181.40/181.46 c 178s|370000 |258829 | 0 | 0.0 | 394M|1912 | - |3713 | 11k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
186.40/186.44 c 182s|380000 |266576 | 0 | 0.0 | 401M|1912 | - |3713 |9663 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
191.80/191.81 c 188s|390000 |273846 | 0 | 0.0 | 409M|1912 | - |3713 | 11k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
196.10/196.10 c 192s|400000 |282170 | 0 | 0.0 | 417M|1912 | - |3713 | 10k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
200.89/200.97 c 197s|410000 |289909 | 0 | 0.0 | 425M|1912 | - |3713 | 10k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
206.30/206.32 c 202s|420000 |297177 | 0 | 0.0 | 432M|1912 | - |3713 |9565 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
210.59/210.70 c 206s|430000 |305358 | 0 | 0.0 | 440M|1912 | - |3713 | 10k| 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
216.29/216.33 c 212s|440000 |312417 | 0 | 0.0 | 447M|1912 | - |3713 |8028 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
220.10/220.17 c 215s|450000 |320912 | 0 | 0.0 | 454M|1912 | - |3713 |4124 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
223.89/223.92 c 219s|460000 |329007 | 0 | 0.0 | 461M|1912 | - |3713 |4936 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
228.59/228.64 c 224s|470000 |336189 | 0 | 0.0 | 470M|1912 | - |3713 |6123 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
233.50/233.56 c 228s|480000 |343318 | 0 | 0.0 | 477M|1912 | - |3713 |6937 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
238.80/238.82 c 234s|490000 |350191 | 0 | 0.0 | 485M|1912 | - |3713 |7679 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
244.49/244.54 c 239s|500000 |356759 | 0 | 0.0 | 493M|1912 | - |3713 |8266 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
250.90/250.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.90/250.91 c 246s|510000 |362924 | 0 | 0.0 | 501M|1912 | - |3713 |9003 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
257.70/257.72 c 252s|520000 |368834 | 0 | 0.0 | 510M|1912 | - |3713 |9931 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
265.00/265.09 c 259s|530000 |374426 | 0 | 0.0 | 518M|1912 | - |3713 | 10k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
272.80/272.86 c 267s|540000 |379836 | 0 | 0.0 | 526M|1912 | - |3713 | 10k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
280.70/280.79 c 275s|550000 |385124 | 0 | 0.0 | 534M|1912 | - |3713 | 11k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
289.20/289.27 c 283s|560000 |390138 | 0 | 0.0 | 542M|1912 | - |3713 | 12k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
298.00/298.08 c 292s|570000 |395105 | 0 | 0.0 | 550M|1912 | - |3713 | 12k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
306.39/306.45 c 300s|580000 |399798 | 0 | 0.0 | 558M|1912 | - |3713 | 13k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
314.09/314.16 c 308s|590000 |404162 | 0 | 0.0 | 566M|1912 | - |3713 | 13k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
322.00/322.00 c 316s|600000 |408343 | 0 | 0.0 | 573M|1912 | - |3713 | 13k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
330.10/330.11 c 324s|610000 |412324 | 0 | 0.0 | 580M|1912 | - |3713 | 13k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
339.20/339.26 c 333s|620000 |415601 | 0 | 0.0 | 588M|1912 | - |3713 | 14k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
348.80/348.86 c 342s|630000 |418547 | 0 | 0.0 | 595M|1912 | - |3713 | 15k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
358.90/358.93 c 352s|640000 |421299 | 0 | 0.0 | 602M|1912 | - |3713 | 15k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
369.80/369.83 c 363s|650000 |423351 | 0 | 0.0 | 608M|1912 | - |3713 | 16k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
381.20/381.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.20/381.22 c 374s|660000 |425360 | 0 | 0.0 | 615M|1912 | - |3713 | 15k| 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
393.60/393.60 c 386s|670000 |426552 | 0 | 0.0 | 620M|1912 | - |3713 | 17k| 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
407.01/407.01 c 399s|680000 |427177 | 0 | 0.0 | 626M|1912 | - |3713 | 18k| 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
421.50/421.52 c 414s|690000 |427373 | 0 | 0.0 | 630M|1912 | - |3713 | 19k| 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
438.60/438.62 c 431s|700000 |425698 | 0 | 0.0 | 632M|1912 | - |3713 | 22k| 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
444.90/444.93 c 437s|710000 |432335 | 0 | 0.0 | 633M|1912 | - |3713 |4505 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
448.61/448.63 c 441s|720000 |440559 | 0 | 0.0 | 641M|1912 | - |3713 |4978 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
452.40/452.45 c 444s|730000 |448633 | 0 | 0.0 | 650M|1912 | - |3713 |5430 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
456.30/456.38 c 448s|740000 |456560 | 0 | 0.0 | 659M|1912 | - |3713 |5843 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
460.60/460.63 c 452s|750000 |464415 | 0 | 0.0 | 668M|1912 | - |3713 |5921 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
464.81/464.89 c 456s|760000 |472197 | 0 | 0.0 | 678M|1912 | - |3713 |6379 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
468.30/468.31 o 10
468.30/468.31 c * 460s|767902 |474592 | 0 | 0.0 | 674M|1912 | - |3713 |6516 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
468.30/468.32 o 8
468.30/468.32 c * 460s|767903 |471677 | 0 | 0.0 | 666M|1912 | - |3713 |6516 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
469.40/469.47 c 461s|770000 |473226 | 0 | 0.0 | 669M|1912 | - |3713 |6384 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
474.60/474.61 c 466s|780000 |480527 | 0 | 0.0 | 681M|1912 | - |3713 |7193 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
479.61/479.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
479.61/479.61 c 471s|790000 |487617 | 0 | 0.0 | 691M|1912 | - |3713 |7376 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
484.90/484.94 c 476s|800000 |494509 | 0 | 0.0 | 701M|1912 | - |3713 |8061 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
490.31/490.32 c 481s|810000 |501186 | 0 | 0.0 | 711M|1912 | - |3713 |8750 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
496.00/496.10 c 487s|820000 |507720 | 0 | 0.0 | 720M|1912 | - |3713 |8990 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
502.30/502.33 c 493s|830000 |513798 | 0 | 0.0 | 730M|1912 | - |3713 |9925 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
508.71/508.74 c 499s|840000 |519772 | 0 | 0.0 | 740M|1912 | - |3713 | 10k| 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
515.61/515.67 c 506s|850000 |525462 | 0 | 0.0 | 749M|1912 | - |3713 | 10k| 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
523.00/523.01 c 513s|860000 |530825 | 0 | 0.0 | 759M|1912 | - |3713 | 10k| 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
530.90/530.92 c 521s|870000 |535613 | 0 | 0.0 | 768M|1912 | - |3713 | 12k| 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
539.41/539.44 c 529s|880000 |540037 | 0 | 0.0 | 776M|1912 | - |3713 | 13k| 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
549.50/549.55 c 539s|890000 |543457 | 0 | 0.0 | 785M|1912 | - |3713 | 14k| 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
563.01/563.03 c 553s|900000 |544243 | 0 | 0.0 | 792M|1912 | - |3713 | 18k| 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
568.50/568.59 c 558s|910000 |551294 | 0 | 0.0 | 796M|1912 | - |3713 |8168 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
572.80/572.84 c 562s|920000 |559026 | 0 | 0.0 | 806M|1912 | - |3713 |8969 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
577.41/577.44 c 567s|930000 |566520 | 0 | 0.0 | 815M|1912 | - |3713 |9516 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
582.10/582.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.10/582.15 c 571s|940000 |573814 | 0 | 0.0 | 825M|1912 | - |3713 | 10k| 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
587.41/587.40 c 576s|950000 |580700 | 0 | 0.0 | 834M|1912 | - |3713 | 10k| 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
592.91/592.96 c 582s|960000 |587277 | 0 | 0.0 | 844M|1912 | - |3713 | 11k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
599.20/599.27 c 588s|970000 |593257 | 0 | 0.0 | 853M|1912 | - |3713 | 13k| 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
606.90/606.94 c 596s|980000 |598208 | 0 | 0.0 | 863M|1912 | - |3713 | 14k| 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
617.01/617.04 c 606s|990000 |601213 | 0 | 0.0 | 869M|1912 | - |3713 | 12k| 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
621.31/621.36 c 610s| 1000k|609108 | 0 | 0.0 | 877M|1912 | - |3713 | 10k| 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
625.91/625.93 c 614s| 1010k|616709 | 0 | 0.0 | 886M|1912 | - |3713 | 10k| 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
630.80/630.85 c 619s| 1020k|623982 | 0 | 0.0 | 896M|1912 | - |3713 | 11k| 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
636.21/636.27 c 624s| 1030k|630906 | 0 | 0.0 | 905M|1912 | - |3713 | 12k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
642.01/642.04 c 630s| 1040k|637499 | 0 | 0.0 | 915M|1912 | - |3713 | 12k| 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
647.81/647.89 c 636s| 1050k|643956 | 0 | 0.0 | 923M|1912 | - |3713 | 12k| 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
654.01/654.07 c 642s| 1060k|650185 | 0 | 0.0 | 932M|1912 | - |3713 | 12k| 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
660.21/660.25 c 648s| 1070k|656419 | 0 | 0.0 | 941M|1912 | - |3713 | 13k| 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
666.52/666.58 c 654s| 1080k|662831 | 0 | 0.0 | 949M|1912 | - |3713 |9644 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
672.20/672.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.20/672.22 c 659s| 1090k|669024 | 0 | 0.0 | 957M|1912 | - |3713 | 11k| 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
678.01/678.01 c 665s| 1100k|675218 | 0 | 0.0 | 966M|1912 | - |3713 | 11k| 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
683.81/683.84 c 671s| 1110k|681340 | 0 | 0.0 | 974M|1912 | - |3713 | 12k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
689.91/689.98 c 677s| 1120k|687210 | 0 | 0.0 | 983M|1912 | - |3713 | 13k| 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
697.11/697.14 c 684s| 1130k|692311 | 0 | 0.0 | 991M|1912 | - |3713 | 14k| 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
706.31/706.38 c 693s| 1140k|695902 | 0 | 0.0 | 999M|1912 | - |3713 | 16k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
707.81/707.81 o 5
707.81/707.81 c * 694s| 1141k|663330 | 0 | 0.0 | 929M|1912 | - |3713 | 17k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
713.51/713.51 c 700s| 1150k|668820 | 0 | 0.0 | 934M|1912 | - |3713 |9214 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
717.91/717.97 c 704s| 1160k|676198 | 0 | 0.0 | 942M|1912 | - |3713 |9897 | 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
722.81/722.84 c 709s| 1170k|683198 | 0 | 0.0 | 951M|1912 | - |3713 | 10k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
728.01/728.04 c 714s| 1180k|689968 | 0 | 0.0 | 959M|1912 | - |3713 | 11k| 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
733.91/733.92 c 720s| 1190k|696096 | 0 | 0.0 | 968M|1912 | - |3713 | 12k| 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
740.41/740.49 c 726s| 1200k|701565 | 0 | 0.0 | 976M|1912 | - |3713 | 13k| 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
748.41/748.45 c 734s| 1210k|705780 | 0 | 0.0 | 985M|1912 | - |3713 | 14k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
757.01/757.09 c 743s| 1220k|709703 | 0 | 0.0 | 990M|1912 | - |3713 |9649 | 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
761.61/761.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
761.61/761.67 c 747s| 1230k|717109 | 0 | 0.0 | 998M|1912 | - |3713 | 10k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
766.51/766.52 c 752s| 1240k|724219 | 0 | 0.0 |1007M|1912 | - |3713 | 11k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
772.01/772.00 c 757s| 1250k|730780 | 0 | 0.0 |1016M|1912 | - |3713 | 13k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
778.10/778.16 c 763s| 1260k|736730 | 0 | 0.0 |1025M|1912 | - |3713 | 14k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
786.11/786.11 c 771s| 1270k|741258 | 0 | 0.0 |1033M|1912 | - |3713 | 16k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
795.11/795.16 c 780s| 1280k|744743 | 0 | 0.0 |1039M|1912 | - |3713 | 11k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
800.01/800.05 c 785s| 1290k|751598 | 0 | 0.0 |1047M|1912 | - |3713 | 10k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
805.12/805.13 c 790s| 1300k|758510 | 0 | 0.0 |1055M|1912 | - |3713 | 11k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
810.81/810.82 c 795s| 1310k|764847 | 0 | 0.0 |1064M|1912 | - |3713 | 12k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
817.22/817.28 c 802s| 1320k|770556 | 0 | 0.0 |1073M|1912 | - |3713 | 14k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
825.01/825.03 c 809s| 1330k|775278 | 0 | 0.0 |1082M|1912 | - |3713 | 16k| 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
836.41/836.41 c 820s| 1340k|777016 | 0 | 0.0 |1089M|1912 | - |3713 | 19k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
842.21/842.24 c 826s| 1350k|783624 | 0 | 0.0 |1094M|1912 | - |3713 | 10k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
846.92/846.95 c 831s| 1360k|790986 | 0 | 0.0 |1103M|1912 | - |3713 | 11k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
852.01/852.03 c 836s| 1370k|797962 | 0 | 0.0 |1112M|1912 | - |3713 | 12k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
857.61/857.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
857.61/857.62 c 841s| 1380k|804494 | 0 | 0.0 |1121M|1912 | - |3713 | 14k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
864.11/864.16 c 848s| 1390k|810228 | 0 | 0.0 |1130M|1912 | - |3713 | 15k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
872.32/872.37 c 856s| 1400k|814607 | 0 | 0.0 |1138M|1912 | - |3713 | 17k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
883.71/883.70 c 867s| 1410k|816448 | 0 | 0.0 |1143M|1912 | - |3713 | 16k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
888.11/888.15 c 871s| 1420k|824243 | 0 | 0.0 |1149M|1912 | - |3713 | 11k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
892.82/892.88 c 876s| 1430k|831591 | 0 | 0.0 |1158M|1912 | - |3713 | 12k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
898.01/898.01 c 881s| 1440k|838565 | 0 | 0.0 |1166M|1912 | - |3713 | 13k| 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
903.81/903.83 c 886s| 1450k|845006 | 0 | 0.0 |1175M|1912 | - |3713 | 14k| 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
910.41/910.47 c 893s| 1460k|850649 | 0 | 0.0 |1183M|1912 | - |3713 | 16k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
918.62/918.60 c 901s| 1470k|855277 | 0 | 0.0 |1192M|1912 | - |3713 | 18k| 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
930.22/930.22 c 912s| 1480k|857179 | 0 | 0.0 |1198M|1912 | - |3713 | 21k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
936.51/936.59 c 919s| 1490k|863621 | 0 | 0.0 |1202M|1912 | - |3713 | 12k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
941.71/941.75 c 924s| 1500k|870707 | 0 | 0.0 |1211M|1912 | - |3713 | 13k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
947.81/947.87 c 930s| 1510k|876977 | 0 | 0.0 |1220M|1912 | - |3713 | 15k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
954.62/954.61 c 936s| 1520k|882729 | 0 | 0.0 |1228M|1912 | - |3713 | 16k| 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
963.01/963.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.01/963.04 c 945s| 1530k|887207 | 0 | 0.0 |1236M|1912 | - |3713 | 18k| 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
973.91/973.97 c 955s| 1540k|889707 | 0 | 0.0 |1243M|1912 | - |3713 | 21k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
980.41/980.47 c 962s| 1550k|896004 | 0 | 0.0 |1248M|1912 | - |3713 | 12k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
985.62/985.61 c 967s| 1560k|903163 | 0 | 0.0 |1256M|1912 | - |3713 | 13k| 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
991.32/991.35 c 972s| 1570k|909789 | 0 | 0.0 |1265M|1912 | - |3713 | 15k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
998.02/998.04 c 979s| 1580k|915636 | 0 | 0.0 |1274M|1912 | - |3713 | 16k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1005.71/1005.75 c 987s| 1590k|920741 | 0 | 0.0 |1282M|1912 | - |3713 | 17k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1015.42/1015.46 c 996s| 1600k|924287 | 0 | 0.0 |1290M|1912 | - |3713 | 19k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1024.02/1024.05 c 1005s| 1610k|928960 | 0 | 0.0 |1294M|1912 | - |3713 | 12k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1029.12/1029.10 c 1010s| 1620k|936142 | 0 | 0.0 |1302M|1912 | - |3713 | 13k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1035.31/1035.33 c 1016s| 1630k|942364 | 0 | 0.0 |1311M|1912 | - |3713 | 15k| 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1037.62/1037.64 o 4
1037.62/1037.64 c *1018s| 1633k|929001 | 0 | 0.0 |1287M|1912 | - |3713 | 15k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1043.11/1043.16 c 1023s| 1640k|932375 | 0 | 0.0 |1293M|1912 | - |3713 | 15k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1052.32/1052.32 c 1032s| 1650k|936378 | 0 | 0.0 |1301M|1912 | - |3713 | 16k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1061.11/1061.18 c 1041s| 1660k|940488 | 0 | 0.0 |1307M|1912 | - |3713 | 14k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1067.61/1067.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1067.61/1067.69 c 1047s| 1670k|946271 | 0 | 0.0 |1314M|1912 | - |3713 | 14k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1074.52/1074.52 c 1054s| 1680k|952001 | 0 | 0.0 |1322M|1912 | - |3713 | 16k| 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1082.01/1082.06 c 1062s| 1690k|957233 | 0 | 0.0 |1331M|1912 | - |3713 | 18k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1091.82/1091.80 c 1071s| 1700k|961025 | 0 | 0.0 |1339M|1912 | - |3713 | 20k| 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1103.62/1103.60 c 1083s| 1710k|963733 | 0 | 0.0 |1343M|1912 | - |3713 | 14k| 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1108.91/1108.97 c 1088s| 1720k|970834 | 0 | 0.0 |1351M|1912 | - |3713 | 14k| 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1115.42/1115.41 c 1094s| 1730k|976917 | 0 | 0.0 |1360M|1912 | - |3713 | 15k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1123.61/1123.63 c 1102s| 1740k|981618 | 0 | 0.0 |1369M|1912 | - |3713 | 18k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1133.81/1133.83 c 1113s| 1750k|984948 | 0 | 0.0 |1377M|1912 | - |3713 | 21k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1144.52/1144.53 c 1123s| 1760k|988470 | 0 | 0.0 |1381M|1912 | - |3713 | 14k| 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1151.22/1151.26 c 1130s| 1770k|994642 | 0 | 0.0 |1390M|1912 | - |3713 | 15k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1158.72/1158.70 c 1137s| 1780k| 1000k| 0 | 0.0 |1399M|1912 | - |3713 | 16k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1167.03/1167.07 c 1145s| 1790k| 1005k| 0 | 0.0 |1408M|1912 | - |3713 | 17k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1176.02/1176.04 c 1154s| 1800k| 1009k| 0 | 0.0 |1416M|1912 | - |3713 | 18k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1186.02/1186.03 c 1164s| 1810k| 1013k| 0 | 0.0 |1424M|1912 | - |3713 | 20k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1197.32/1197.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1197.32/1197.34 c 1175s| 1820k| 1016k| 0 | 0.0 |1431M|1912 | - |3713 | 22k| 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1211.03/1211.09 c 1189s| 1830k| 1018k| 0 | 0.0 |1438M|1912 | - |3713 | 26k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1221.12/1221.11 c 1199s| 1840k| 1022k| 0 | 0.0 |1441M|1912 | - |3713 | 14k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1227.32/1227.38 c 1205s| 1850k| 1029k| 0 | 0.0 |1450M|1912 | - |3713 | 16k| 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1234.23/1234.21 c 1211s| 1860k| 1035k| 0 | 0.0 |1459M|1912 | - |3713 | 17k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1241.93/1241.96 c 1219s| 1870k| 1040k| 0 | 0.0 |1467M|1912 | - |3713 | 18k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1250.63/1250.67 c 1228s| 1880k| 1045k| 0 | 0.0 |1476M|1912 | - |3713 | 20k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1260.42/1260.42 c 1237s| 1890k| 1049k| 0 | 0.0 |1484M|1912 | - |3713 | 22k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1272.83/1272.84 c 1250s| 1900k| 1052k| 0 | 0.0 |1492M|1912 | - |3713 | 25k| 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1285.32/1285.37 c 1262s| 1910k| 1056k| 0 | 0.0 |1494M|1912 | - |3713 | 15k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1292.43/1292.46 c 1269s| 1920k| 1062k| 0 | 0.0 |1503M|1912 | - |3713 | 16k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1299.82/1299.83 c 1276s| 1930k| 1068k| 0 | 0.0 |1512M|1912 | - |3713 | 17k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1307.72/1307.79 c 1284s| 1940k| 1073k| 0 | 0.0 |1521M|1912 | - |3713 | 18k| 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1316.32/1316.36 c 1292s| 1950k| 1078k| 0 | 0.0 |1529M|1912 | - |3713 | 18k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1325.63/1325.61 c 1301s| 1960k| 1083k| 0 | 0.0 |1537M|1912 | - |3713 | 18k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1335.62/1335.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1335.62/1335.61 c 1311s| 1970k| 1087k| 0 | 0.0 |1545M|1912 | - |3713 | 19k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1346.13/1346.19 c 1322s| 1980k| 1091k| 0 | 0.0 |1552M|1912 | - |3713 | 20k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1357.43/1357.45 c 1333s| 1990k| 1094k| 0 | 0.0 |1559M|1912 | - |3713 | 22k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1371.42/1371.45 c 1347s| 2000k| 1096k| 0 | 0.0 |1566M|1912 | - |3713 | 25k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1385.72/1385.71 c 1361s| 2010k| 1099k| 0 | 0.0 |1570M|1912 | - |3713 | 17k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1392.23/1392.28 c 1367s| 2020k| 1106k| 0 | 0.0 |1578M|1912 | - |3713 | 16k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1399.72/1399.76 c 1375s| 2030k| 1112k| 0 | 0.0 |1586M|1912 | - |3713 | 17k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1408.03/1408.05 c 1383s| 2040k| 1117k| 0 | 0.0 |1595M|1912 | - |3713 | 18k| 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1416.83/1416.89 c 1391s| 2050k| 1122k| 0 | 0.0 |1603M|1912 | - |3713 | 19k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1426.83/1426.80 c 1401s| 2060k| 1126k| 0 | 0.0 |1611M|1912 | - |3713 | 21k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1437.52/1437.57 c 1412s| 2070k| 1130k| 0 | 0.0 |1619M|1912 | - |3713 | 23k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1449.83/1449.89 c 1424s| 2080k| 1134k| 0 | 0.0 |1626M|1912 | - |3713 | 26k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1465.83/1465.83 c 1440s| 2090k| 1135k| 0 | 0.0 |1633M|1912 | - |3713 | 30k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1473.93/1473.94 c 1448s| 2100k| 1141k| 0 | 0.0 |1631M|1912 | - |3713 |6373 | 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1478.73/1478.74 c 1453s| 2110k| 1148k| 0 | 0.0 |1638M|1912 | - |3713 |4000 | 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1483.33/1483.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.33/1483.38 c 1457s| 2120k| 1155k| 0 | 0.0 |1646M|1912 | - |3713 |5897 | 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1487.03/1487.03 c 1461s| 2130k| 1163k| 0 | 0.0 |1653M|1912 | - |3713 |4832 | 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1491.92/1491.91 c 1465s| 2140k| 1169k| 0 | 0.0 |1662M|1912 | - |3713 |7488 | 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1496.13/1496.17 c 1470s| 2150k| 1177k| 0 | 0.0 |1669M|1912 | - |3713 |6283 | 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1500.93/1500.94 c 1474s| 2160k| 1183k| 0 | 0.0 |1677M|1912 | - |3713 |6886 | 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1505.13/1505.18 c 1478s| 2170k| 1191k| 0 | 0.0 |1685M|1912 | - |3713 |6101 | 0 | 0 | 0 |1723k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1509.72/1509.75 c 1483s| 2180k| 1198k| 0 | 0.0 |1693M|1912 | - |3713 |7783 | 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1514.03/1514.00 c 1487s| 2190k| 1205k| 0 | 0.0 |1700M|1912 | - |3713 |7374 | 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1518.53/1518.58 c 1491s| 2200k| 1211k| 0 | 0.0 |1706M|1912 | - |3713 |6739 | 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1522.93/1522.96 c 1496s| 2210k| 1218k| 0 | 0.0 |1714M|1912 | - |3713 |6539 | 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1528.52/1528.56 c 1501s| 2220k| 1224k| 0 | 0.0 |1722M|1912 | - |3713 | 10k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1533.03/1533.08 c 1506s| 2230k| 1231k| 0 | 0.0 |1728M|1912 | - |3713 |7166 | 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1537.83/1537.81 c 1510s| 2240k| 1238k| 0 | 0.0 |1735M|1912 | - |3713 |7276 | 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1542.33/1542.30 c 1515s| 2250k| 1244k| 0 | 0.0 |1742M|1912 | - |3713 |6021 | 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1546.43/1546.49 c 1519s| 2260k| 1252k| 0 | 0.0 |1750M|1912 | - |3713 |7929 | 0 | 0 | 0 |1776k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1551.03/1551.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.03/1551.09 c 1523s| 2270k| 1259k| 0 | 0.0 |1757M|1912 | - |3713 |7054 | 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1555.63/1555.66 c 1527s| 2280k| 1266k| 0 | 0.0 |1764M|1912 | - |3713 |4922 | 0 | 0 | 0 |1786k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1559.43/1559.40 c 1531s| 2290k| 1273k| 0 | 0.0 |1772M|1912 | - |3713 |5533 | 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1566.73/1566.79 c 1538s| 2300k| 1277k| 0 | 0.0 |1780M|1912 | - |3713 |8982 | 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1575.03/1575.10 c 1547s| 2310k| 1281k| 0 | 0.0 |1788M|1912 | - |3713 | 11k| 0 | 0 | 0 |1811k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1584.33/1584.37 c 1556s| 2320k| 1285k| 0 | 0.0 |1796M|1912 | - |3713 | 13k| 0 | 0 | 0 |1822k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1594.63/1594.63 c 1566s| 2330k| 1288k| 0 | 0.0 |1804M|1912 | - |3713 | 14k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1604.43/1604.49 c 1576s| 2340k| 1292k| 0 | 0.0 |1811M|1912 | - |3713 | 15k| 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1615.43/1615.48 c 1586s| 2350k| 1295k| 0 | 0.0 |1818M|1912 | - |3713 | 14k| 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1626.53/1626.58 c 1597s| 2360k| 1298k| 0 | 0.0 |1826M|1912 | - |3713 | 18k| 0 | 0 | 0 |1866k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1639.04/1639.01 c 1610s| 2370k| 1301k| 0 | 0.0 |1832M|1912 | - |3713 | 18k| 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1652.33/1652.30 c 1623s| 2380k| 1304k| 0 | 0.0 |1839M|1912 | - |3713 | 19k| 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1665.34/1665.36 c 1636s| 2390k| 1307k| 0 | 0.0 |1846M|1912 | - |3713 | 20k| 0 | 0 | 0 |1902k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1680.23/1680.20 c 1651s| 2400k| 1309k| 0 | 0.0 |1852M|1912 | - |3713 | 18k| 0 | 0 | 0 |1914k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1695.04/1695.07 c 1665s| 2410k| 1311k| 0 | 0.0 |1859M|1912 | - |3713 | 22k| 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1710.43/1710.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1710.43/1710.50 c 1681s| 2420k| 1313k| 0 | 0.0 |1864M|1912 | - |3713 | 19k| 0 | 0 | 0 |1940k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1726.33/1726.30 c 1696s| 2430k| 1315k| 0 | 0.0 |1872M|1912 | - |3713 | 23k| 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1743.44/1743.44 c 1713s| 2440k| 1316k| 0 | 0.0 |1877M|1912 | - |3713 | 21k| 0 | 0 | 0 |1967k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1760.04/1760.01 c 1730s| 2450k| 1318k| 0 | 0.0 |1884M|1912 | - |3713 | 24k| 0 | 0 | 0 |1980k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1778.43/1778.49 c 1748s| 2460k| 1319k| 0 | 0.0 |1888M|1912 | - |3713 | 23k| 0 | 0 | 0 |1995k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1796.34/1796.36 c 1766s| 2470k| 1320k| 0 | 0.0 |1896M|1912 | - |3713 | 26k| 0 | 0 | 0 |2009k| 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) : 1769.29
1800.04/1800.00 c Solving Nodes : 2472120
1800.04/1800.00 c Primal Bound : +4.00000000000000e+00 (28 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 -x104
1800.04/1800.04 v -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 : 1769.29
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2694043-1277902201.wbo
1800.04/1800.04 c Variables : 3835 (2033 binary, 0 integer, 0 implicit integer, 1802 continuous)
1800.04/1800.04 c Constraints : 4510 initial, 4510 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2694043-1277902201.wbo
1800.04/1800.04 c Variables : 3713 (1972 binary, 0 integer, 0 implicit integer, 1741 continuous)
1800.04/1800.04 c Constraints : 4364 initial, 32467 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 61 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 61 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.05 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.01 0 0 0 0 0 61 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.04 0 0 0 1810 0 85 67 0
1800.04/1800.04 c logicor : 0.02 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 : - 1666 - - 3332 - - - -
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 : 1741 0 5768602 0 1647087 116 2264199 0 0 0
1800.04/1800.04 c setppc : 9 0 7859842 0 2080952 15937 2376743 0 0 0
1800.04/1800.04 c linear : 1741 0 7864058 0 2091452 332289 36978572 0 0 0
1800.04/1800.04 c logicor : 873+ 0 5043472 0 2091468 273392 7199687 0 0 0
1800.04/1800.04 c bounddisjunction : 0+ 0 40924 0 0 0 252 0 0 0
1800.04/1800.04 c countsols : 0 0 0 0 2091468 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 : 16.58 0.00 8.04 0.00 8.54
1800.04/1800.04 c setppc : 17.79 0.00 14.82 0.00 2.97
1800.04/1800.04 c linear : 309.56 0.00 307.25 0.00 2.31
1800.04/1800.04 c logicor : 445.40 0.00 386.06 0.00 59.34
1800.04/1800.04 c bounddisjunction : 0.05 0.00 0.05 0.00 0.00
1800.04/1800.04 c countsols : 0.31 0.00 0.00 0.00 0.31
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 1.91 2 0 0
1800.04/1800.04 c rootredcost : 1.57 0 0 0
1800.04/1800.04 c pseudoobj : 266.71 7881652 1635 2226562
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 32.98 623253 623240 3530039 23.0 158765 8.5 -
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.01 49 49 175 19.3 71 8.7 -
1800.04/1800.04 c applied globally : - - - 2012420 19.0 - - -
1800.04/1800.04 c applied locally : - - - 0 0.0 - - -
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 : 37.67 2091440 0 0 0 0 4182880
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.20 - 28
1800.04/1800.04 c oneopt : 0.86 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.72 0 0
1800.04/1800.04 c trysol : 0.58 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 : 2472120
1800.04/1800.04 c nodes (total) : 2472120
1800.04/1800.04 c nodes left : 1320959
1800.04/1800.04 c max depth : 1912
1800.04/1800.04 c max depth (total): 1912
1800.04/1800.04 c backtracks : 379780 (15.4%)
1800.04/1800.04 c delayed cutoffs : 312788
1800.04/1800.04 c repropagations : 1601729 (15456362 domain reductions, 242766 cutoffs)
1800.04/1800.04 c avg switch length: 25.46
1800.04/1800.04 c switching time : 522.96
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 28 (28 improvements)
1800.04/1800.04 c First Solution : +2.13000000000000e+02 (in run 1, after 14766 nodes, 3.50 seconds, depth 1749, found by <relaxation>)
1800.04/1800.04 c Primal Bound : +4.00000000000000e+00 (in run 1, after 1633274 nodes, 1017.90 seconds, depth 1100, 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-2694043-1277902201/watcher-2694043-1277902201 -o /tmp/evaluation-result-2694043-1277902201/solver-2694043-1277902201 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694043-1277902201.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.00 2.00 2.00 3/178 11445 /proc/meminfo: memFree=31643584/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=8264 CPUtime=0 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 1547 0 0 0 0 0 0 0 25 0 1 0 131518110 8462336 1469 4089446400 4194304 7136930 140734715813888 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/11445/statm: 2066 1469 275 719 0 1345 0 [startup+0.0486551 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11445 /proc/meminfo: memFree=31643584/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=26536 CPUtime=0.04 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 6261 0 0 0 4 0 0 0 25 0 1 0 131518110 27172864 5829 4089446400 4194304 7136930 140734715813888 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 6634 5833 317 719 0 5913 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 26536 [startup+0.100648 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11445 /proc/meminfo: memFree=31643584/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=27700 CPUtime=0.09 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 7347 0 0 0 9 0 0 0 25 0 1 0 131518110 28364800 6144 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 6925 6144 354 719 0 6204 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27700 [startup+0.300611 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11445 /proc/meminfo: memFree=31643584/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=29608 CPUtime=0.29 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 10161 0 0 0 28 1 0 0 25 0 1 0 131518110 30318592 6645 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 7402 6645 391 719 0 6681 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29608 [startup+0.700541 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11445 /proc/meminfo: memFree=31643584/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=31692 CPUtime=0.69 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 10690 0 0 0 67 2 0 0 25 0 1 0 131518110 32452608 7174 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 7923 7174 395 719 0 7202 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31692 [startup+1.50042 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11446 /proc/meminfo: memFree=31615056/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=33192 CPUtime=1.49 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 11095 0 0 0 145 4 0 0 25 0 1 0 131518110 33988608 7579 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 8298 7579 395 719 0 7577 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33192 [startup+3.10115 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11446 /proc/meminfo: memFree=31613072/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=35756 CPUtime=3.1 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 11744 0 0 0 302 8 0 0 25 0 1 0 131518110 36614144 8228 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 8939 8228 395 719 0 8218 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 35756 [startup+6.30055 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11446 /proc/meminfo: memFree=31603624/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=48464 CPUtime=6.29 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 14922 0 0 0 613 16 0 0 25 0 1 0 131518110 49627136 11406 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 12116 11406 395 719 0 11395 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48464 [startup+12.7005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11447 /proc/meminfo: memFree=31579824/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=70932 CPUtime=12.69 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 20530 0 0 0 1239 30 0 0 25 0 1 0 131518110 72634368 17014 4089446400 4194304 7136930 140734715813888 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 17733 17014 398 719 0 17012 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 70932 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11448 /proc/meminfo: memFree=31523960/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=126060 CPUtime=25.49 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 33643 0 0 0 2485 64 0 0 25 0 1 0 131518110 129085440 30127 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 31515 30127 398 719 0 30794 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 126060 [startup+51.1007 s] /proc/loadavg: 1.78 1.95 1.98 4/200 11518 /proc/meminfo: memFree=31296984/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=178108 CPUtime=51.09 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 46235 0 0 0 4994 115 0 0 25 0 1 0 131518110 182382592 42719 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 44527 42719 398 719 0 43806 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 178108 [startup+102.307 s] /proc/loadavg: 2.49 2.12 2.04 4/200 11524 /proc/meminfo: memFree=31118208/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=343152 CPUtime=102.3 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 81941 0 0 0 10025 205 0 0 25 0 1 0 131518110 351387648 78397 4089446400 4194304 7136930 140734715813888 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 85788 78397 398 719 0 85067 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 343152 [startup+162.301 s] /proc/loadavg: 2.75 2.26 2.09 4/200 11525 /proc/meminfo: memFree=30973676/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=480096 CPUtime=162.29 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 114149 0 0 0 15880 349 0 0 25 0 1 0 131518110 491618304 110605 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 120024 110605 398 719 0 119303 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 480096 [startup+222.3 s] /proc/loadavg: 2.76 2.36 2.13 4/200 11526 /proc/meminfo: memFree=30858156/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=586988 CPUtime=222.29 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 140932 0 0 0 21749 480 0 0 25 0 1 0 131518110 601075712 137388 4089446400 4194304 7136930 140734715813888 18446744073709551615 4209148 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 146747 137388 398 719 0 146026 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 586988 [startup+282.301 s] /proc/loadavg: 2.87 2.46 2.18 4/200 11528 /proc/meminfo: memFree=30774224/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=669400 CPUtime=282.3 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 161785 0 0 0 27644 586 0 0 25 0 1 0 131518110 685465600 158241 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 167350 158241 398 719 0 166629 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 669400 [startup+342.3 s] /proc/loadavg: 2.39 2.40 2.18 3/179 11558 /proc/meminfo: memFree=30902132/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=720644 CPUtime=342.29 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 174720 0 0 0 33557 672 0 0 25 0 1 0 131518110 737939456 171176 4089446400 4194304 7136930 140734715813888 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 180161 171176 398 719 0 179440 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 720644 [startup+402.301 s] /proc/loadavg: 2.14 2.33 2.17 3/179 11560 /proc/meminfo: memFree=30786268/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=761944 CPUtime=402.3 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 185041 0 0 0 39484 746 0 0 25 0 1 0 131518110 780230656 181497 4089446400 4194304 7136930 140734715813888 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 190486 181497 398 719 0 189765 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 761944 [startup+462.301 s] /proc/loadavg: 2.05 2.27 2.15 3/179 11561 /proc/meminfo: memFree=30695336/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=826512 CPUtime=462.3 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 198821 0 0 0 45385 845 0 0 25 0 1 0 131518110 846348288 195277 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 206628 195277 398 719 0 205907 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 826512 [startup+522.3 s] /proc/loadavg: 2.02 2.21 2.14 3/179 11562 /proc/meminfo: memFree=30588004/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=935884 CPUtime=522.3 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 224435 0 0 0 51252 978 0 0 25 0 1 0 131518110 958345216 220891 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 233971 220891 398 719 0 233250 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 935884 [startup+582.301 s] /proc/loadavg: 2.00 2.17 2.13 3/179 11564 /proc/meminfo: memFree=30520392/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=1001680 CPUtime=582.31 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 240680 0 0 0 57146 1085 0 0 25 0 1 0 131518110 1025720320 237136 4089446400 4194304 7136930 140734715813888 18446744073709551615 4978131 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 250420 237136 398 719 0 249699 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1001680 [startup+642.3 s] /proc/loadavg: 2.08 2.16 2.12 3/179 11566 /proc/meminfo: memFree=30415556/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=1104600 CPUtime=642.32 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 266152 0 0 0 63019 1213 0 0 25 0 1 0 131518110 1131110400 262608 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 276150 262608 398 719 0 275429 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1104600 [startup+702.301 s] ################ # More data... # ################ /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 365694 0 0 0 98329 1903 0 0 25 0 1 0 131518110 1536925696 362150 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 375226 362150 398 719 0 374505 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1500904 [startup+1062.3 s] /proc/loadavg: 2.00 2.03 2.07 3/179 11586 /proc/meminfo: memFree=29966844/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=1532728 CPUtime=1062.32 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 373644 0 0 0 104222 2010 0 0 25 0 1 0 131518110 1569513472 370100 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 383182 370100 398 719 0 382461 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1532728 [startup+1122.3 s] /proc/loadavg: 2.00 2.03 2.06 3/179 11587 /proc/meminfo: memFree=29907280/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=1589864 CPUtime=1122.31 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 388099 0 0 0 110119 2112 0 0 25 0 1 0 131518110 1628020736 384555 4089446400 4194304 7136930 140734715813888 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 397466 384555 398 719 0 396745 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1589864 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.06 3/179 11589 /proc/meminfo: memFree=29854668/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=1658208 CPUtime=1182.32 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 401277 0 0 0 116024 2208 0 0 25 0 1 0 131518110 1698004992 397733 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 414552 397733 398 719 0 413831 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1658208 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.05 3/179 11591 /proc/meminfo: memFree=29807636/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=1703280 CPUtime=1242.32 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 412583 0 0 0 121940 2292 0 0 25 0 1 0 131518110 1744158720 409039 4089446400 4194304 7136930 140734715813888 18446744073709551615 4926158 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 425820 409039 398 719 0 425099 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1703280 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.05 3/179 11593 /proc/meminfo: memFree=29763692/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=1746252 CPUtime=1302.32 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 423510 0 0 0 127854 2378 0 0 25 0 1 0 131518110 1788162048 419966 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 436563 419966 398 719 0 435842 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1746252 [startup+1362.3 s] /proc/loadavg: 2.06 2.02 2.04 3/179 11594 /proc/meminfo: memFree=29716156/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=1792880 CPUtime=1362.32 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 435261 0 0 0 133765 2467 0 0 25 0 1 0 131518110 1835909120 431717 4089446400 4194304 7136930 140734715813888 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 448220 431717 398 719 0 447499 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1792880 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.04 3/179 11595 /proc/meminfo: memFree=29674204/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=1832948 CPUtime=1422.33 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 445466 0 0 0 139682 2551 0 0 25 0 1 0 131518110 1876938752 441922 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 458237 441922 398 719 0 457516 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1832948 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.03 3/179 11597 /proc/meminfo: memFree=29627656/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=1879488 CPUtime=1482.33 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 457067 0 0 0 145598 2635 0 0 25 0 1 0 131518110 1924595712 453523 4089446400 4194304 7136930 140734715813888 18446744073709551615 4221902 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 469872 453523 398 719 0 469151 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1879488 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 11599 /proc/meminfo: memFree=29537476/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=1968260 CPUtime=1542.33 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 479588 0 0 0 151455 2778 0 0 25 0 1 0 131518110 2015498240 476044 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 492065 476044 398 719 0 491344 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1968260 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 11601 /proc/meminfo: memFree=29467624/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=2035696 CPUtime=1602.33 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 496665 0 0 0 157346 2887 0 0 25 0 1 0 131518110 2084552704 493121 4089446400 4194304 7136930 140734715813888 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 508924 493121 398 719 0 508203 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2035696 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 11602 /proc/meminfo: memFree=29434104/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=2068656 CPUtime=1662.34 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 504961 0 0 0 163279 2955 0 0 25 0 1 0 131518110 2118303744 501417 4089446400 4194304 7136930 140734715813888 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 517164 501417 398 719 0 516443 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2068656 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 11603 /proc/meminfo: memFree=29404432/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=2097252 CPUtime=1722.33 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 512193 0 0 0 169225 3008 0 0 25 0 1 0 131518110 2147586048 508649 4089446400 4194304 7136930 140734715813888 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 524313 508649 398 719 0 523592 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2097252 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11605 /proc/meminfo: memFree=29383180/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=2118576 CPUtime=1782.34 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 517469 0 0 0 175176 3058 0 0 25 0 1 0 131518110 2169421824 513925 4089446400 4194304 7136930 140734715813888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 529644 513925 398 719 0 528923 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2118576 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11605 /proc/meminfo: memFree=29375348/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=2126480 CPUtime=1800.04 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 519391 0 0 0 176932 3072 0 0 25 0 1 0 131518110 2177515520 515847 4089446400 4194304 7136930 140734715813888 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11445/statm: 531620 515847 398 719 0 530899 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2126480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11445 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 11606 /proc/meminfo: memFree=29375832/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=2125456 CPUtime=1801.43 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 519404 0 0 0 177071 3072 0 0 19 0 1 0 131518110 2176466944 515604 4089446400 4194304 7136930 140734715813888 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/11445/statm: 531364 515604 403 719 0 530643 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2125456 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 11606 /proc/meminfo: memFree=29375832/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=2125456 CPUtime=1801.84 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 519404 0 0 0 177112 3072 0 0 20 0 1 0 131518110 2176466944 515604 4089446400 4194304 7136930 140734715813888 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/11445/statm: 531364 515604 403 719 0 530643 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2125456 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 11606 /proc/meminfo: memFree=29375832/32951124 swapFree=67111528/67111528 [pid=11445] ppid=11443 vsize=2125456 CPUtime=1802.03 /proc/11445/stat : 11445 (pbscip.linux.x8) R 11443 11445 10848 0 -1 4202496 519404 0 0 0 177131 3072 0 0 21 0 1 0 131518110 2176466944 515604 4089446400 4194304 7136930 140734715813888 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/11445/statm: 531364 515604 403 719 0 530643 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2125456 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.12 CPU user time (s): 1771.33 CPU system time (s): 30.7913 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2126480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.33 system time used= 30.7913 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 519404 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= 1193 runsolver used 2.47662 second user time and 5.86811 second system time The end
Begin job on node103 at 2010-06-30 14:50:01 IDJOB=2694043 IDBENCH=78899 IDSOLVER=1206 FILE ID=node103/2694043-1277902201 PBS_JOBID= 11197186 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.1900670675--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-2694043-1277902201/watcher-2694043-1277902201 -o /tmp/evaluation-result-2694043-1277902201/solver-2694043-1277902201 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694043-1277902201.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1266a85a20696deb0d7aee67f4c2d0a0 RANDOM SEED=1295265261 node103.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.817 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.63 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.817 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 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.74 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.817 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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: 31643988 kB Buffers: 185256 kB Cached: 904740 kB SwapCached: 0 kB Active: 537980 kB Inactive: 630024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31643988 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3120 kB Writeback: 0 kB AnonPages: 78300 kB Mapped: 15248 kB Slab: 76880 kB PageTables: 4756 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 220820 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= 74204 MiB End job on node103 at 2010-06-30 15:20:03