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.16 | 1802.18 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo |
| MD5SUM | 571d61a5ea635d7d5a6801ae351f1515 |
| 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 | 8 |
| Best CPU time to get the best result obtained on this benchmark | 458.346 |
| 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 | 1848 |
| 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 | 94973 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 94972 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 689 |
| 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-2693582-1277911878.wbo>
0.00/0.03 c original problem has 3927 variables (2079 bin, 0 int, 0 impl, 1848 cont) and 4556 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.08/0.09 c (round 2) 0 del vars, 60 del conss, 1848 chg bounds, 46 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.10 c (round 3) 46 del vars, 159 del conss, 1880 chg bounds, 99 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.11 c (round 4) 124 del vars, 193 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.12 c (round 5) 158 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.13 c (round 6) 160 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.18 c (0.1s) probing: 101/1999 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (7 rounds):
0.09/0.18 c 160 deleted vars, 195 deleted constraints, 1882 tightened bounds, 0 added holes, 101 changed sides, 0 changed coefficients
0.09/0.18 c 1972 implications, 8 cliques
0.09/0.18 c presolved problem has 3767 variables (1999 bin, 0 int, 0 impl, 1768 cont) and 4361 constraints
0.09/0.18 c 1768 constraints of type <indicator>
0.09/0.18 c 8 constraints of type <setppc>
0.09/0.18 c 1768 constraints of type <linear>
0.09/0.18 c 817 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 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 | - |3767 |4361 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.56 o 618
1.49/1.56 c * 1.5s| 5143 | 4679 | 0 | 0.0 | 16M|1909 | - |3767 |5009 | 0 | 0 | 0 | 917 | 0 | 0.000000e+00 | 6.180000e+02 | Inf
2.79/2.83 c 2.7s| 10000 | 9177 | 0 | 0.0 | 19M|1909 | - |3767 |5296 | 0 | 0 | 0 |1923 | 0 | 0.000000e+00 | 6.180000e+02 | Inf
6.09/6.19 c 6.0s| 20000 | 16885 | 0 | 0.0 | 29M|1909 | - |3767 |6540 | 0 | 0 | 0 |7862 | 0 | 0.000000e+00 | 6.180000e+02 | Inf
10.69/10.76 c 10.4s| 30000 | 23857 | 0 | 0.0 | 37M|1909 | - |3767 |7287 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 6.180000e+02 | Inf
14.08/14.14 c 13.7s| 40000 | 33853 | 0 | 0.0 | 41M|1909 | - |3767 |5749 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 6.180000e+02 | Inf
16.99/17.04 o 298
16.99/17.04 c *16.6s| 48937 | 36476 | 0 | 0.0 | 43M|1909 | - |3767 |5250 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.980000e+02 | Inf
17.29/17.30 o 279
17.29/17.30 c *16.8s| 49592 | 35380 | 0 | 0.0 | 43M|1909 | - |3767 |5280 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.790000e+02 | Inf
17.29/17.30 o 276
17.29/17.30 c *16.8s| 49593 | 35104 | 0 | 0.0 | 43M|1909 | - |3767 |5279 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.760000e+02 | Inf
17.39/17.43 o 228
17.39/17.43 c *17.0s| 49942 | 31462 | 0 | 0.0 | 41M|1909 | - |3767 |5282 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.280000e+02 | Inf
17.39/17.45 c 17.0s| 50000 | 31520 | 0 | 0.0 | 41M|1909 | - |3767 |5250 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.280000e+02 | Inf
18.09/18.12 o 198
18.09/18.12 c *17.6s| 52125 | 31735 | 0 | 0.0 | 42M|1909 | - |3767 |5347 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.980000e+02 | Inf
18.09/18.12 o 188
18.09/18.12 c *17.6s| 52126 | 31376 | 0 | 0.0 | 41M|1909 | - |3767 |5347 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.880000e+02 | Inf
19.39/19.41 o 99
19.39/19.41 c *18.9s| 56075 | 32612 | 0 | 0.0 | 42M|1909 | - |3767 |5724 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
19.49/19.50 o 98
19.49/19.50 c *19.0s| 56347 | 32836 | 0 | 0.0 | 43M|1909 | - |3767 |5739 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
19.49/19.50 o 89
19.49/19.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.49/19.50 c *19.0s| 56348 | 32592 | 0 | 0.0 | 43M|1909 | - |3767 |5739 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
20.59/20.69 o 85
20.59/20.69 c *20.1s| 59925 | 35291 | 0 | 0.0 | 46M|1909 | - |3767 |5964 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
20.59/20.69 o 74
20.59/20.69 c *20.1s| 59934 | 34864 | 0 | 0.0 | 46M|1909 | - |3767 |5964 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
20.69/20.72 c 20.2s| 60000 | 34928 | 0 | 0.0 | 46M|1909 | - |3767 |5948 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
20.69/20.77 o 65
20.69/20.77 c *20.2s| 60127 | 34458 | 0 | 0.0 | 46M|1909 | - |3767 |5910 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
20.80/20.84 o 52
20.80/20.84 c *20.3s| 60315 | 32533 | 0 | 0.0 | 45M|1909 | - |3767 |5825 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
20.80/20.86 o 42
20.80/20.86 c *20.3s| 60372 | 32121 | 0 | 0.0 | 45M|1909 | - |3767 |5796 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
20.80/20.86 o 31
20.80/20.86 c *20.3s| 60373 | 31720 | 0 | 0.0 | 44M|1909 | - |3767 |5796 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
23.79/23.80 c 23.1s| 70000 | 39545 | 0 | 0.0 | 53M|1909 | - |3767 |7238 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
26.98/27.00 c 26.3s| 80000 | 47508 | 0 | 0.0 | 61M|1909 | - |3767 |8027 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
30.49/30.55 c 29.7s| 90000 | 55133 | 0 | 0.0 | 70M|1909 | - |3767 |8906 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
34.69/34.75 c 33.8s|100000 | 62069 | 0 | 0.0 | 79M|1909 | - |3767 |9555 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
39.29/39.38 c 38.4s|110000 | 68545 | 0 | 0.0 | 88M|1909 | - |3767 | 10k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
44.59/44.61 c 43.5s|120000 | 74501 | 0 | 0.0 | 98M|1909 | - |3767 | 11k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
50.59/50.67 c 49.5s|130000 | 79743 | 0 | 0.0 | 108M|1909 | - |3767 | 12k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
57.10/57.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.10/57.16 c 55.9s|140000 | 84653 | 0 | 0.0 | 118M|1909 | - |3767 | 11k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
64.29/64.32 c 62.9s|150000 | 88923 | 0 | 0.0 | 129M|1909 | - |3767 | 12k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
72.89/72.97 c 71.4s|160000 | 91772 | 0 | 0.0 | 140M|1909 | - |3767 | 15k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
83.20/83.23 c 81.5s|170000 | 94251 | 0 | 0.0 | 149M|1909 | - |3767 |8554 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
84.09/84.10 o 30
84.09/84.10 c *82.4s|172091 | 96056 | 0 | 0.0 | 150M|1909 | - |3767 |6545 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
86.59/86.69 o 27
86.59/86.69 c *84.9s|177799 |100642 | 0 | 0.0 | 157M|1909 | - |3767 |7183 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
87.80/87.83 c 86.0s|180000 |102376 | 0 | 0.0 | 160M|1909 | - |3767 |7310 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
95.29/95.35 c 93.4s|190000 |108154 | 0 | 0.0 | 175M|1909 | - |3767 | 10k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
100.19/100.23 c 98.2s|200000 |115842 | 0 | 0.0 | 188M|1909 | - |3767 |7948 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
103.40/103.45 o 26
103.40/103.45 c * 101s|206083 |120192 | 0 | 0.0 | 194M|1909 | - |3767 |9300 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
106.29/106.37 c 104s|210000 |122461 | 0 | 0.0 | 200M|1909 | - |3767 |9869 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
112.99/113.01 c 111s|220000 |129320 | 0 | 0.0 | 215M|1909 | - |3767 |8512 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
117.99/118.03 c 116s|230000 |137243 | 0 | 0.0 | 228M|1909 | - |3767 |7884 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
123.59/123.69 c 121s|240000 |144708 | 0 | 0.0 | 239M|1909 | - |3767 |9630 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
130.38/130.43 o 24
130.38/130.43 c * 128s|248275 |149343 | 0 | 0.0 | 250M|1909 | - |3767 | 11k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
132.89/132.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.89/132.92 c 130s|250000 |149687 | 0 | 0.0 | 253M|1909 | - |3767 | 12k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
138.48/138.57 c 136s|260000 |156809 | 0 | 0.0 | 270M|1909 | - |3767 |7465 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
142.78/142.87 c 140s|270000 |164263 | 0 | 0.0 | 279M|1909 | - |3767 |6952 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
146.38/146.46 c 143s|280000 |172482 | 0 | 0.0 | 287M|1909 | - |3767 |7413 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
150.48/150.52 c 147s|290000 |180070 | 0 | 0.0 | 295M|1909 | - |3767 |8466 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
154.88/154.99 c 152s|300000 |187218 | 0 | 0.0 | 303M|1909 | - |3767 |7345 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
159.38/159.46 c 156s|310000 |194383 | 0 | 0.0 | 312M|1909 | - |3767 |7562 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
162.98/163.04 c 160s|320000 |202547 | 0 | 0.0 | 320M|1909 | - |3767 |7696 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
167.28/167.36 c 164s|330000 |209714 | 0 | 0.0 | 329M|1909 | - |3767 |8835 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
171.08/171.16 c 167s|340000 |217608 | 0 | 0.0 | 336M|1909 | - |3767 |8163 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
175.18/175.26 c 171s|350000 |225414 | 0 | 0.0 | 344M|1909 | - |3767 |5686 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
178.57/178.62 c 175s|360000 |233931 | 0 | 0.0 | 352M|1909 | - |3767 |6136 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
182.28/182.30 c 178s|370000 |241878 | 0 | 0.0 | 360M|1909 | - |3767 |6369 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
187.18/187.20 c 183s|380000 |248456 | 0 | 0.0 | 370M|1909 | - |3767 |7316 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
192.18/192.21 c 188s|390000 |254934 | 0 | 0.0 | 379M|1909 | - |3767 |7976 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
197.17/197.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.17/197.29 c 193s|400000 |261263 | 0 | 0.0 | 388M|1909 | - |3767 |8521 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
202.68/202.74 c 198s|410000 |267366 | 0 | 0.0 | 398M|1909 | - |3767 |8433 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
208.18/208.28 c 204s|420000 |273280 | 0 | 0.0 | 407M|1909 | - |3767 |8732 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
213.98/214.05 c 209s|430000 |278981 | 0 | 0.0 | 416M|1909 | - |3767 |8731 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
219.88/219.97 c 215s|440000 |284549 | 0 | 0.0 | 425M|1909 | - |3767 |9188 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
226.08/226.17 c 221s|450000 |289845 | 0 | 0.0 | 434M|1909 | - |3767 |9916 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
232.48/232.55 c 228s|460000 |294951 | 0 | 0.0 | 443M|1909 | - |3767 |9965 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
239.28/239.37 c 234s|470000 |299648 | 0 | 0.0 | 451M|1909 | - |3767 |9842 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
246.39/246.46 c 241s|480000 |304129 | 0 | 0.0 | 460M|1909 | - |3767 |9773 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
253.18/253.21 c 248s|490000 |308832 | 0 | 0.0 | 469M|1909 | - |3767 | 10k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
260.38/260.48 c 255s|500000 |313076 | 0 | 0.0 | 478M|1909 | - |3767 | 10k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
268.07/268.15 c 263s|510000 |317001 | 0 | 0.0 | 486M|1909 | - |3767 |9953 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
275.57/275.62 c 270s|520000 |321092 | 0 | 0.0 | 496M|1909 | - |3767 | 11k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
283.58/283.67 c 278s|530000 |324632 | 0 | 0.0 | 504M|1909 | - |3767 | 11k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
291.98/292.02 c 286s|540000 |328109 | 0 | 0.0 | 512M|1909 | - |3767 | 10k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
300.38/300.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.38/300.47 c 294s|550000 |331376 | 0 | 0.0 | 521M|1909 | - |3767 | 12k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
309.09/309.14 c 303s|560000 |334425 | 0 | 0.0 | 529M|1909 | - |3767 | 11k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
318.08/318.16 c 312s|570000 |337291 | 0 | 0.0 | 536M|1909 | - |3767 | 11k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
326.88/326.98 c 320s|580000 |340443 | 0 | 0.0 | 545M|1909 | - |3767 | 11k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
336.07/336.19 c 330s|590000 |342926 | 0 | 0.0 | 553M|1909 | - |3767 | 13k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
345.88/345.92 c 339s|600000 |345139 | 0 | 0.0 | 560M|1909 | - |3767 | 13k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
355.28/355.37 c 348s|610000 |347575 | 0 | 0.0 | 567M|1909 | - |3767 | 12k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
365.08/365.11 c 358s|620000 |349794 | 0 | 0.0 | 575M|1909 | - |3767 | 13k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
374.98/375.01 c 368s|630000 |351941 | 0 | 0.0 | 582M|1909 | - |3767 | 13k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
386.67/386.77 c 379s|640000 |351420 | 0 | 0.0 | 587M|1909 | - |3767 | 13k| 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
399.98/400.01 c 393s|650000 |348529 | 0 | 0.0 | 589M|1909 | - |3767 | 16k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
414.98/415.00 c 407s|660000 |343242 | 0 | 0.0 | 574M|1909 | - |3767 |7042 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
419.08/419.12 c 411s|670000 |351419 | 0 | 0.0 | 583M|1909 | - |3767 |4968 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
423.07/423.19 c 415s|680000 |359528 | 0 | 0.0 | 591M|1909 | - |3767 |5221 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
427.48/427.50 c 420s|690000 |367352 | 0 | 0.0 | 601M|1909 | - |3767 |5912 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
431.98/432.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
431.98/432.03 c 424s|700000 |375027 | 0 | 0.0 | 611M|1909 | - |3767 |6601 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
436.58/436.69 c 429s|710000 |382501 | 0 | 0.0 | 621M|1909 | - |3767 |7127 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
441.58/441.65 c 433s|720000 |389778 | 0 | 0.0 | 631M|1909 | - |3767 |7740 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
446.67/446.70 c 438s|730000 |396985 | 0 | 0.0 | 641M|1909 | - |3767 |8255 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
452.08/452.10 c 444s|740000 |403897 | 0 | 0.0 | 652M|1909 | - |3767 |8706 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
453.88/453.91 o 20
453.88/453.91 c * 445s|742926 |404062 | 0 | 0.0 | 641M|1909 | - |3767 |8888 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
453.88/453.92 o 19
453.88/453.92 c * 445s|742927 |403922 | 0 | 0.0 | 640M|1909 | - |3767 |8888 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
459.48/459.56 c 451s|750000 |407723 | 0 | 0.0 | 653M|1909 | - |3767 |9727 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
467.87/467.99 c 459s|760000 |412293 | 0 | 0.0 | 667M|1909 | - |3767 | 11k| 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
477.57/477.65 c 469s|770000 |416108 | 0 | 0.0 | 680M|1909 | - |3767 | 12k| 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
488.28/488.36 c 479s|780000 |419166 | 0 | 0.0 | 692M|1909 | - |3767 | 13k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
499.67/499.71 c 490s|790000 |421950 | 0 | 0.0 | 706M|1909 | - |3767 | 14k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
506.27/506.37 c 497s|800000 |428382 | 0 | 0.0 | 715M|1909 | - |3767 |7283 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
510.37/510.48 c 501s|810000 |436322 | 0 | 0.0 | 724M|1909 | - |3767 |8099 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
514.78/514.89 c 505s|820000 |443973 | 0 | 0.0 | 733M|1909 | - |3767 |8812 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
519.67/519.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.67/519.73 c 510s|830000 |451290 | 0 | 0.0 | 742M|1909 | - |3767 |9371 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
524.97/525.05 c 515s|840000 |458180 | 0 | 0.0 | 752M|1909 | - |3767 | 10k| 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
530.67/530.72 c 521s|850000 |464765 | 0 | 0.0 | 762M|1909 | - |3767 | 10k| 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
536.78/536.81 c 527s|860000 |471025 | 0 | 0.0 | 773M|1909 | - |3767 | 11k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
543.07/543.16 c 533s|870000 |477072 | 0 | 0.0 | 784M|1909 | - |3767 | 12k| 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
550.17/550.22 c 540s|880000 |482622 | 0 | 0.0 | 795M|1909 | - |3767 | 13k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
558.17/558.26 c 548s|890000 |487406 | 0 | 0.0 | 806M|1909 | - |3767 | 14k| 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
567.27/567.37 c 557s|900000 |491527 | 0 | 0.0 | 818M|1909 | - |3767 | 15k| 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
578.17/578.24 c 567s|910000 |494424 | 0 | 0.0 | 830M|1909 | - |3767 | 16k| 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
589.17/589.25 c 578s|920000 |497710 | 0 | 0.0 | 840M|1909 | - |3767 | 12k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
593.57/593.67 c 583s|930000 |505608 | 0 | 0.0 | 847M|1909 | - |3767 |8742 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
597.97/598.08 c 587s|940000 |513380 | 0 | 0.0 | 856M|1909 | - |3767 |9545 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
602.46/602.59 c 591s|950000 |521048 | 0 | 0.0 | 865M|1909 | - |3767 |9687 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
607.17/607.26 c 596s|960000 |528524 | 0 | 0.0 | 873M|1909 | - |3767 |9866 | 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
611.86/611.97 c 600s|970000 |535993 | 0 | 0.0 | 882M|1909 | - |3767 |9738 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
616.66/616.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.66/616.76 c 605s|980000 |543366 | 0 | 0.0 | 891M|1909 | - |3767 |9804 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
621.37/621.45 o 17
621.37/621.45 c * 610s|989646 |548101 | 0 | 0.0 | 882M|1909 | - |3767 |9838 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
621.57/621.63 c 610s|990000 |548365 | 0 | 0.0 | 882M|1909 | - |3767 |9855 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
627.07/627.16 c 615s| 1000k|555449 | 0 | 0.0 | 893M|1909 | - |3767 | 10k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
632.17/632.27 c 620s| 1010k|562639 | 0 | 0.0 | 903M|1909 | - |3767 |9918 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
637.66/637.76 c 626s| 1020k|569327 | 0 | 0.0 | 912M|1909 | - |3767 | 10k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
643.67/643.79 c 631s| 1030k|575605 | 0 | 0.0 | 922M|1909 | - |3767 | 10k| 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
650.27/650.35 c 638s| 1040k|581563 | 0 | 0.0 | 933M|1909 | - |3767 | 11k| 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
656.47/656.52 c 644s| 1050k|587911 | 0 | 0.0 | 943M|1909 | - |3767 | 11k| 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
663.07/663.17 c 650s| 1060k|593784 | 0 | 0.0 | 954M|1909 | - |3767 | 11k| 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
669.97/670.03 c 657s| 1070k|599520 | 0 | 0.0 | 965M|1909 | - |3767 | 11k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
677.07/677.14 c 664s| 1080k|604999 | 0 | 0.0 | 975M|1909 | - |3767 | 12k| 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
684.26/684.37 c 671s| 1090k|610457 | 0 | 0.0 | 986M|1909 | - |3767 | 12k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
692.47/692.54 c 679s| 1100k|615252 | 0 | 0.0 | 997M|1909 | - |3767 | 13k| 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
701.26/701.31 c 688s| 1110k|619608 | 0 | 0.0 |1009M|1909 | - |3767 | 14k| 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
710.96/711.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.96/711.01 c 698s| 1120k|623414 | 0 | 0.0 |1019M|1909 | - |3767 | 15k| 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
721.16/721.23 c 708s| 1130k|627066 | 0 | 0.0 |1031M|1909 | - |3767 | 16k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
733.07/733.12 c 719s| 1140k|629612 | 0 | 0.0 |1042M|1909 | - |3767 | 17k| 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
739.76/739.82 c 726s| 1150k|636182 | 0 | 0.0 |1050M|1909 | - |3767 | 10k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
744.36/744.44 c 730s| 1160k|643794 | 0 | 0.0 |1060M|1909 | - |3767 | 11k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
749.17/749.26 c 735s| 1170k|651139 | 0 | 0.0 |1070M|1909 | - |3767 | 12k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
754.17/754.29 c 740s| 1180k|658291 | 0 | 0.0 |1080M|1909 | - |3767 | 12k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
759.37/759.48 c 745s| 1190k|665345 | 0 | 0.0 |1091M|1909 | - |3767 | 13k| 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
765.06/765.13 c 751s| 1200k|671985 | 0 | 0.0 |1101M|1909 | - |3767 | 14k| 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
771.56/771.63 c 757s| 1210k|678057 | 0 | 0.0 |1113M|1909 | - |3767 | 15k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
780.06/780.11 c 765s| 1220k|682819 | 0 | 0.0 |1123M|1909 | - |3767 | 11k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
788.76/788.87 c 774s| 1230k|686285 | 0 | 0.0 |1134M|1909 | - |3767 | 14k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
798.06/798.16 c 783s| 1240k|689631 | 0 | 0.0 |1141M|1909 | - |3767 | 11k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
802.46/802.54 c 787s| 1250k|697269 | 0 | 0.0 |1149M|1909 | - |3767 | 10k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
806.66/806.74 c 791s| 1260k|704991 | 0 | 0.0 |1158M|1909 | - |3767 | 10k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
811.16/811.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.16/811.24 c 796s| 1270k|712442 | 0 | 0.0 |1166M|1909 | - |3767 | 10k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
815.96/816.02 c 800s| 1280k|719630 | 0 | 0.0 |1175M|1909 | - |3767 | 11k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
820.86/820.95 c 805s| 1290k|726685 | 0 | 0.0 |1184M|1909 | - |3767 | 11k| 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
826.07/826.17 c 810s| 1300k|733456 | 0 | 0.0 |1193M|1909 | - |3767 | 11k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
831.36/831.42 c 815s| 1310k|740205 | 0 | 0.0 |1202M|1909 | - |3767 | 12k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
836.86/836.96 c 821s| 1320k|746664 | 0 | 0.0 |1211M|1909 | - |3767 | 12k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
842.76/842.89 c 827s| 1330k|752792 | 0 | 0.0 |1219M|1909 | - |3767 | 12k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
848.86/848.95 c 833s| 1340k|758841 | 0 | 0.0 |1229M|1909 | - |3767 | 12k| 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
855.26/855.31 c 839s| 1350k|764690 | 0 | 0.0 |1238M|1909 | - |3767 | 13k| 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
862.16/862.22 c 846s| 1360k|770020 | 0 | 0.0 |1247M|1909 | - |3767 | 14k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
869.46/869.52 c 853s| 1370k|775056 | 0 | 0.0 |1256M|1909 | - |3767 | 14k| 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
869.86/869.96 o 15
869.86/869.96 c * 853s| 1370k|770156 | 0 | 0.0 |1229M|1909 | - |3767 | 14k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
878.16/878.25 c 861s| 1380k|774410 | 0 | 0.0 |1239M|1909 | - |3767 | 14k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
886.57/886.66 c 870s| 1390k|778669 | 0 | 0.0 |1247M|1909 | - |3767 | 15k| 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
896.06/896.18 c 879s| 1400k|781949 | 0 | 0.0 |1256M|1909 | - |3767 | 16k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
906.86/906.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
906.86/906.93 c 890s| 1410k|784427 | 0 | 0.0 |1265M|1909 | - |3767 | 18k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
914.66/914.74 c 897s| 1420k|789630 | 0 | 0.0 |1269M|1909 | - |3767 | 11k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
919.16/919.27 c 902s| 1430k|797082 | 0 | 0.0 |1278M|1909 | - |3767 | 11k| 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
924.16/924.25 c 907s| 1440k|804102 | 0 | 0.0 |1287M|1909 | - |3767 | 12k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
929.66/929.71 c 912s| 1450k|810702 | 0 | 0.0 |1296M|1909 | - |3767 | 12k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
935.96/936.02 c 918s| 1460k|816590 | 0 | 0.0 |1305M|1909 | - |3767 | 13k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
943.26/943.30 c 925s| 1470k|821721 | 0 | 0.0 |1314M|1909 | - |3767 | 14k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
952.36/952.43 c 934s| 1480k|825412 | 0 | 0.0 |1323M|1909 | - |3767 | 15k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
962.55/962.69 c 944s| 1490k|828508 | 0 | 0.0 |1329M|1909 | - |3767 | 12k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
966.86/966.97 c 948s| 1500k|836261 | 0 | 0.0 |1337M|1909 | - |3767 | 11k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
971.46/971.51 c 953s| 1510k|843708 | 0 | 0.0 |1345M|1909 | - |3767 | 11k| 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
976.26/976.31 c 958s| 1520k|850841 | 0 | 0.0 |1353M|1909 | - |3767 | 11k| 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
981.35/981.46 c 963s| 1530k|857649 | 0 | 0.0 |1362M|1909 | - |3767 | 12k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
986.86/986.95 c 968s| 1540k|864501 | 0 | 0.0 |1370M|1909 | - |3767 | 11k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
992.07/992.18 c 973s| 1550k|871155 | 0 | 0.0 |1378M|1909 | - |3767 | 11k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
997.86/997.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
997.86/997.99 c 979s| 1560k|877327 | 0 | 0.0 |1386M|1909 | - |3767 | 11k| 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1003.65/1003.78 c 984s| 1570k|883442 | 0 | 0.0 |1395M|1909 | - |3767 | 11k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1009.56/1009.69 c 990s| 1580k|889430 | 0 | 0.0 |1403M|1909 | - |3767 | 12k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1015.86/1015.93 c 996s| 1590k|895228 | 0 | 0.0 |1411M|1909 | - |3767 | 12k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1021.96/1022.07 c 1002s| 1600k|901145 | 0 | 0.0 |1419M|1909 | - |3767 | 12k| 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1028.46/1028.53 c 1009s| 1610k|906704 | 0 | 0.0 |1427M|1909 | - |3767 | 12k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1034.86/1034.91 c 1015s| 1620k|912433 | 0 | 0.0 |1435M|1909 | - |3767 | 12k| 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1041.06/1041.15 c 1021s| 1630k|918167 | 0 | 0.0 |1443M|1909 | - |3767 | 12k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1047.66/1047.74 c 1028s| 1640k|923595 | 0 | 0.0 |1451M|1909 | - |3767 | 13k| 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1056.46/1056.52 c 1036s| 1650k|927208 | 0 | 0.0 |1458M|1909 | - |3767 | 15k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1062.26/1062.30 c 1042s| 1660k|933817 | 0 | 0.0 |1465M|1909 | - |3767 | 11k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1066.56/1066.65 c 1046s| 1670k|941450 | 0 | 0.0 |1473M|1909 | - |3767 | 11k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1071.36/1071.45 c 1051s| 1680k|948643 | 0 | 0.0 |1481M|1909 | - |3767 | 11k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1076.46/1076.56 c 1056s| 1690k|955517 | 0 | 0.0 |1490M|1909 | - |3767 | 12k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1081.76/1081.89 c 1061s| 1700k|962145 | 0 | 0.0 |1499M|1909 | - |3767 | 12k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1088.06/1088.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1088.06/1088.12 c 1067s| 1710k|968008 | 0 | 0.0 |1507M|1909 | - |3767 | 13k| 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1094.86/1094.97 c 1074s| 1720k|973304 | 0 | 0.0 |1516M|1909 | - |3767 | 13k| 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1102.76/1102.83 c 1082s| 1730k|977717 | 0 | 0.0 |1525M|1909 | - |3767 | 14k| 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1112.86/1112.96 c 1092s| 1740k|980547 | 0 | 0.0 |1531M|1909 | - |3767 | 12k| 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1116.96/1117.03 c 1095s| 1750k|988386 | 0 | 0.0 |1537M|1909 | - |3767 |6749 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1121.77/1121.87 c 1100s| 1760k|995265 | 0 | 0.0 |1545M|1909 | - |3767 |6072 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1126.37/1126.43 c 1105s| 1770k| 1002k| 0 | 0.0 |1554M|1909 | - |3767 |7526 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1130.16/1130.24 c 1108s| 1780k| 1010k| 0 | 0.0 |1562M|1909 | - |3767 |7008 | 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1134.36/1134.49 c 1112s| 1790k| 1017k| 0 | 0.0 |1570M|1909 | - |3767 |6535 | 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1138.66/1138.76 c 1117s| 1800k| 1024k| 0 | 0.0 |1579M|1909 | - |3767 |7059 | 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1142.87/1142.94 c 1121s| 1810k| 1031k| 0 | 0.0 |1587M|1909 | - |3767 |7771 | 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1146.96/1147.01 c 1125s| 1820k| 1039k| 0 | 0.0 |1594M|1909 | - |3767 |7021 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1151.36/1151.49 c 1129s| 1830k| 1046k| 0 | 0.0 |1602M|1909 | - |3767 |7052 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1152.06/1152.15 o 14
1152.06/1152.15 c *1130s| 1831k| 1046k| 0 | 0.0 |1598M|1909 | - |3767 |7010 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1155.97/1156.01 c 1133s| 1840k| 1052k| 0 | 0.0 |1605M|1909 | - |3767 |8804 | 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1160.06/1160.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.06/1160.16 c 1138s| 1850k| 1059k| 0 | 0.0 |1612M|1909 | - |3767 |6962 | 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1163.97/1164.08 c 1141s| 1860k| 1067k| 0 | 0.0 |1620M|1909 | - |3767 |7650 | 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1168.97/1169.07 c 1146s| 1870k| 1074k| 0 | 0.0 |1629M|1909 | - |3767 |8493 | 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1173.57/1173.69 c 1151s| 1880k| 1081k| 0 | 0.0 |1636M|1909 | - |3767 |8007 | 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1178.46/1178.59 c 1155s| 1890k| 1087k| 0 | 0.0 |1644M|1909 | - |3767 |8515 | 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1182.26/1182.39 c 1159s| 1900k| 1095k| 0 | 0.0 |1652M|1909 | - |3767 |8174 | 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1186.97/1187.03 c 1164s| 1910k| 1102k| 0 | 0.0 |1659M|1909 | - |3767 |7413 | 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1190.67/1190.70 c 1167s| 1920k| 1110k| 0 | 0.0 |1667M|1909 | - |3767 |7889 | 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1195.36/1195.45 c 1172s| 1930k| 1117k| 0 | 0.0 |1676M|1909 | - |3767 |9537 | 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1200.07/1200.16 c 1176s| 1940k| 1124k| 0 | 0.0 |1683M|1909 | - |3767 |7876 | 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1203.76/1203.83 c 1180s| 1950k| 1132k| 0 | 0.0 |1690M|1909 | - |3767 |9264 | 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1208.06/1208.13 c 1184s| 1960k| 1139k| 0 | 0.0 |1697M|1909 | - |3767 |8465 | 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1212.87/1212.96 c 1189s| 1970k| 1146k| 0 | 0.0 |1706M|1909 | - |3767 |8418 | 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1217.46/1217.52 c 1193s| 1980k| 1153k| 0 | 0.0 |1714M|1909 | - |3767 |8846 | 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1222.36/1222.44 c 1198s| 1990k| 1159k| 0 | 0.0 |1723M|1909 | - |3767 | 10k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1226.57/1226.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.57/1226.60 c 1202s| 2000k| 1167k| 0 | 0.0 |1729M|1909 | - |3767 |4298 | 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1229.96/1230.03 c 1206s| 2010k| 1175k| 0 | 0.0 |1737M|1909 | - |3767 |4468 | 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1233.26/1233.39 c 1209s| 2020k| 1183k| 0 | 0.0 |1745M|1909 | - |3767 |4630 | 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1240.07/1240.15 c 1216s| 2030k| 1187k| 0 | 0.0 |1754M|1909 | - |3767 |7411 | 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1247.16/1247.23 c 1223s| 2040k| 1191k| 0 | 0.0 |1763M|1909 | - |3767 |8693 | 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1254.47/1254.55 c 1230s| 2050k| 1194k| 0 | 0.0 |1771M|1909 | - |3767 |9381 | 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1263.16/1263.24 c 1238s| 2060k| 1197k| 0 | 0.0 |1780M|1909 | - |3767 | 10k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1273.16/1273.22 c 1248s| 2070k| 1200k| 0 | 0.0 |1787M|1909 | - |3767 | 11k| 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1283.46/1283.54 c 1258s| 2080k| 1202k| 0 | 0.0 |1794M|1909 | - |3767 | 11k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1294.77/1294.81 c 1269s| 2090k| 1203k| 0 | 0.0 |1801M|1909 | - |3767 | 10k| 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1306.16/1306.27 c 1281s| 2100k| 1205k| 0 | 0.0 |1808M|1909 | - |3767 | 11k| 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1318.07/1318.14 c 1292s| 2110k| 1206k| 0 | 0.0 |1814M|1909 | - |3767 | 12k| 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1329.87/1329.93 c 1304s| 2120k| 1207k| 0 | 0.0 |1819M|1909 | - |3767 | 10k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1341.87/1341.95 c 1316s| 2130k| 1208k| 0 | 0.0 |1826M|1909 | - |3767 | 12k| 0 | 0 | 0 |1546k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1354.37/1354.41 c 1328s| 2140k| 1208k| 0 | 0.0 |1831M|1909 | - |3767 | 11k| 0 | 0 | 0 |1562k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1366.77/1366.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.77/1366.89 c 1341s| 2150k| 1209k| 0 | 0.0 |1838M|1909 | - |3767 | 11k| 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1379.87/1379.96 c 1354s| 2160k| 1208k| 0 | 0.0 |1842M|1909 | - |3767 | 12k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1392.87/1392.98 c 1366s| 2170k| 1209k| 0 | 0.0 |1849M|1909 | - |3767 | 11k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1406.56/1406.61 c 1380s| 2180k| 1209k| 0 | 0.0 |1852M|1909 | - |3767 | 12k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1420.27/1420.30 c 1393s| 2190k| 1209k| 0 | 0.0 |1859M|1909 | - |3767 | 12k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1434.07/1434.15 c 1407s| 2200k| 1208k| 0 | 0.0 |1861M|1909 | - |3767 | 13k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1447.68/1447.74 c 1421s| 2210k| 1208k| 0 | 0.0 |1867M|1909 | - |3767 | 12k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1461.67/1461.79 c 1434s| 2220k| 1207k| 0 | 0.0 |1869M|1909 | - |3767 | 13k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1475.67/1475.73 c 1448s| 2230k| 1207k| 0 | 0.0 |1875M|1909 | - |3767 | 12k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1490.77/1490.85 c 1463s| 2240k| 1205k| 0 | 0.0 |1875M|1909 | - |3767 | 13k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1505.08/1505.13 c 1477s| 2250k| 1205k| 0 | 0.0 |1882M|1909 | - |3767 | 12k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1521.37/1521.49 c 1494s| 2260k| 1203k| 0 | 0.0 |1882M|1909 | - |3767 | 14k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1536.37/1536.46 c 1508s| 2270k| 1202k| 0 | 0.0 |1883M|1909 | - |3767 | 13k| 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1552.47/1552.57 c 1524s| 2280k| 1200k| 0 | 0.0 |1887M|1909 | - |3767 | 15k| 0 | 0 | 0 |1786k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1569.58/1569.64 c 1541s| 2290k| 1198k| 0 | 0.0 |1885M|1909 | - |3767 | 15k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1586.47/1586.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1586.47/1586.51 c 1558s| 2300k| 1195k| 0 | 0.0 |1884M|1909 | - |3767 | 15k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1603.47/1603.51 c 1575s| 2310k| 1194k| 0 | 0.0 |1886M|1909 | - |3767 | 15k| 0 | 0 | 0 |1840k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1621.28/1621.32 c 1593s| 2320k| 1191k| 0 | 0.0 |1885M|1909 | - |3767 | 15k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1639.28/1639.33 c 1610s| 2330k| 1188k| 0 | 0.0 |1883M|1909 | - |3767 | 16k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1658.07/1658.14 c 1629s| 2340k| 1184k| 0 | 0.0 |1880M|1909 | - |3767 | 18k| 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1678.68/1678.71 c 1649s| 2350k| 1180k| 0 | 0.0 |1874M|1909 | - |3767 | 19k| 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1700.88/1700.94 c 1671s| 2360k| 1175k| 0 | 0.0 |1866M|1909 | - |3767 | 22k| 0 | 0 | 0 |1939k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1727.58/1727.61 c 1698s| 2370k| 1169k| 0 | 0.0 |1855M|1909 | - |3767 | 28k| 0 | 0 | 0 |1965k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1739.18/1739.22 c 1709s| 2380k| 1173k| 0 | 0.0 |1847M|1909 | - |3767 |6665 | 0 | 0 | 0 |1974k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1744.38/1744.46 c 1715s| 2390k| 1180k| 0 | 0.0 |1857M|1909 | - |3767 |6252 | 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1749.48/1749.55 c 1720s| 2400k| 1187k| 0 | 0.0 |1866M|1909 | - |3767 |6612 | 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1754.48/1754.52 c 1724s| 2410k| 1194k| 0 | 0.0 |1875M|1909 | - |3767 |6921 | 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1759.58/1759.66 c 1729s| 2420k| 1201k| 0 | 0.0 |1884M|1909 | - |3767 |7343 | 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1764.67/1764.79 c 1734s| 2430k| 1208k| 0 | 0.0 |1892M|1909 | - |3767 |7722 | 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1770.08/1770.11 c 1740s| 2440k| 1215k| 0 | 0.0 |1901M|1909 | - |3767 |8098 | 0 | 0 | 0 |2004k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1775.28/1775.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.28/1775.38 c 1745s| 2450k| 1222k| 0 | 0.0 |1910M|1909 | - |3767 |8896 | 0 | 0 | 0 |2009k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1780.98/1781.01 c 1750s| 2460k| 1229k| 0 | 0.0 |1918M|1909 | - |3767 |9198 | 0 | 0 | 0 |2014k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1786.78/1786.83 c 1756s| 2470k| 1236k| 0 | 0.0 |1927M|1909 | - |3767 |9296 | 0 | 0 | 0 |2020k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1791.98/1792.09 c 1761s| 2480k| 1243k| 0 | 0.0 |1935M|1909 | - |3767 |9748 | 0 | 0 | 0 |2025k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1798.08/1798.14 c 1767s| 2490k| 1249k| 0 | 0.0 |1944M|1909 | - |3767 | 10k| 0 | 0 | 0 |2031k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.10 c
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time (sec) : 1769.02
1800.09/1800.10 c Solving Nodes : 2493620
1800.09/1800.10 c Primal Bound : +1.40000000000000e+01 (25 solutions)
1800.09/1800.10 c Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Gap : infinite
1800.09/1800.15 s SATISFIABLE
1800.09/1800.15 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.09/1800.15 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189
1800.09/1800.15 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.09/1800.15 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.09/1800.15 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.09/1800.15 v x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105
1800.09/1800.15 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.09/1800.15 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.09/1800.15 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.09/1800.15 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
1800.09/1800.15 v x2 -x1
1800.09/1800.15 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.15 c Solving Time : 1769.02
1800.09/1800.15 c Original Problem :
1800.09/1800.15 c Problem name : HOME/instance-2693582-1277911878.wbo
1800.09/1800.15 c Variables : 3927 (2079 binary, 0 integer, 0 implicit integer, 1848 continuous)
1800.09/1800.15 c Constraints : 4556 initial, 4556 maximal
1800.09/1800.15 c Presolved Problem :
1800.09/1800.15 c Problem name : t_HOME/instance-2693582-1277911878.wbo
1800.09/1800.15 c Variables : 3767 (1999 binary, 0 integer, 0 implicit integer, 1768 continuous)
1800.09/1800.15 c Constraints : 4361 initial, 31136 maximal
1800.09/1800.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.15 c trivial : 0.00 80 0 0 0 0 0 0 0
1800.09/1800.15 c dualfix : 0.00 80 0 0 0 0 0 0 0
1800.09/1800.15 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c probing : 0.04 0 0 0 0 0 0 0 0
1800.09/1800.15 c indicator : 0.00 0 0 0 0 0 80 0 0
1800.09/1800.15 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c linear : 0.08 0 0 0 1882 0 115 101 0
1800.09/1800.15 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.15 c root node : - 1527 - - 3054 - - - -
1800.09/1800.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.15 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.15 c indicator : 1768 0 4832107 0 1464969 1366 4106765 0 0 0
1800.09/1800.15 c setppc : 8 0 7993240 0 2048108 11859 5025772 0 0 0
1800.09/1800.15 c linear : 1768 0 7989923 0 2048915 422084 39045850 0 0 0
1800.09/1800.15 c logicor : 817+ 0 5195655 0 2048935 248963 8269144 0 0 0
1800.09/1800.15 c bounddisjunction : 0+ 0 302025 0 0 9 2113 0 0 0
1800.09/1800.15 c countsols : 0 0 0 0 2048935 0 0 0 0 0
1800.09/1800.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.15 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.15 c indicator : 33.57 0.00 15.87 0.00 17.70
1800.09/1800.15 c setppc : 24.11 0.00 20.93 0.00 3.18
1800.09/1800.15 c linear : 314.85 0.00 312.98 0.00 1.87
1800.09/1800.15 c logicor : 398.17 0.00 340.84 0.00 57.33
1800.09/1800.15 c bounddisjunction : 0.49 0.00 0.49 0.00 0.00
1800.09/1800.15 c countsols : 0.22 0.00 0.00 0.00 0.22
1800.09/1800.15 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.15 c vbounds : 1.81 2 0 0
1800.09/1800.15 c rootredcost : 1.87 0 0 0
1800.09/1800.15 c pseudoobj : 290.88 8027594 24211 3978529
1800.09/1800.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.15 c propagation : 34.16 707126 707113 3224320 20.6 104052 8.5 -
1800.09/1800.15 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.15 c pseudo solution : 0.02 210 210 866 16.2 243 7.5 -
1800.09/1800.15 c applied globally : - - - 2033445 18.5 - - -
1800.09/1800.15 c applied locally : - - - 9 213.6 - - -
1800.09/1800.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.15 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.15 c redcost : 0.00 0 0 0 0 0
1800.09/1800.15 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.15 c intobj : 0.00 0 0 0 0 0
1800.09/1800.15 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.15 c gomory : 0.00 0 0 0 0 0
1800.09/1800.15 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.15 c cmir : 0.00 0 0 0 0 0
1800.09/1800.15 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.15 c clique : 0.00 0 0 0 0 0
1800.09/1800.15 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.15 c mcf : 0.00 0 0 0 0 0
1800.09/1800.15 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.15 c Pricers : Time Calls Vars
1800.09/1800.15 c problem variables: 0.00 0 0
1800.09/1800.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.15 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.15 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.15 c inference : 52.60 2048910 0 0 0 0 4097820
1800.09/1800.15 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.15 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.15 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.15 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.15 c random : 0.00 0 0 0 0 0 0
1800.09/1800.15 c Primal Heuristics : Time Calls Found
1800.09/1800.15 c LP solutions : 0.00 - 0
1800.09/1800.15 c pseudo solutions : 0.13 - 25
1800.09/1800.15 c oneopt : 1.02 0 0
1800.09/1800.15 c trivial : 0.01 2 0
1800.09/1800.15 c simplerounding : 0.00 0 0
1800.09/1800.15 c zirounding : 0.00 0 0
1800.09/1800.15 c rounding : 0.00 0 0
1800.09/1800.15 c shifting : 0.00 0 0
1800.09/1800.15 c intshifting : 0.00 0 0
1800.09/1800.15 c twoopt : 0.00 0 0
1800.09/1800.15 c fixandinfer : 0.00 0 0
1800.09/1800.15 c feaspump : 0.00 0 0
1800.09/1800.15 c coefdiving : 0.00 0 0
1800.09/1800.15 c pscostdiving : 0.00 0 0
1800.09/1800.15 c fracdiving : 0.00 0 0
1800.09/1800.15 c veclendiving : 0.00 0 0
1800.09/1800.15 c intdiving : 0.00 0 0
1800.09/1800.15 c actconsdiving : 0.00 0 0
1800.09/1800.15 c objpscostdiving : 0.00 0 0
1800.09/1800.15 c rootsoldiving : 0.00 0 0
1800.09/1800.15 c linesearchdiving : 0.00 0 0
1800.09/1800.15 c guideddiving : 0.00 0 0
1800.09/1800.15 c octane : 0.00 0 0
1800.09/1800.15 c rens : 0.00 0 0
1800.09/1800.15 c rins : 0.00 0 0
1800.09/1800.15 c localbranching : 0.00 0 0
1800.09/1800.15 c mutation : 0.00 0 0
1800.09/1800.15 c crossover : 0.00 0 0
1800.09/1800.15 c dins : 0.00 0 0
1800.09/1800.15 c undercover : 0.00 0 0
1800.09/1800.15 c nlp : 0.48 0 0
1800.09/1800.15 c trysol : 0.49 1 0
1800.09/1800.15 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.15 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.15 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.15 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.15 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.15 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.15 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.15 c (at root node) : - 0 0 0.00 -
1800.09/1800.15 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.15 c B&B Tree :
1800.09/1800.15 c number of runs : 1
1800.09/1800.15 c nodes : 2493620
1800.09/1800.15 c nodes (total) : 2493620
1800.09/1800.15 c nodes left : 1251877
1800.09/1800.15 c max depth : 1909
1800.09/1800.15 c max depth (total): 1909
1800.09/1800.15 c backtracks : 411267 (16.5%)
1800.09/1800.15 c delayed cutoffs : 319714
1800.09/1800.15 c repropagations : 1503761 (18063378 domain reductions, 264017 cutoffs)
1800.09/1800.15 c avg switch length: 25.42
1800.09/1800.15 c switching time : 507.11
1800.09/1800.15 c Solution :
1800.09/1800.15 c Solutions found : 25 (25 improvements)
1800.09/1800.15 c First Solution : +6.18000000000000e+02 (in run 1, after 5143 nodes, 1.47 seconds, depth 1015, found by <relaxation>)
1800.09/1800.15 c Primal Bound : +1.40000000000000e+01 (in run 1, after 1831691 nodes, 1129.69 seconds, depth 763, found by <relaxation>)
1800.09/1800.15 c Dual Bound : +0.00000000000000e+00
1800.09/1800.15 c Gap : infinite
1800.09/1800.15 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.15 c Root Iterations : 0
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693582-1277911878/watcher-2693582-1277911878 -o /tmp/evaluation-result-2693582-1277911878/solver-2693582-1277911878 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693582-1277911878.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.02 2.00 3/196 10646 /proc/meminfo: memFree=31421132/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=8408 CPUtime=0 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 1581 0 0 0 0 0 0 0 25 0 1 0 132485163 8609792 1503 4089446400 4194304 7136930 140733675844688 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10646/statm: 2102 1503 275 719 0 1381 0 [startup+0.090071 s] /proc/loadavg: 2.00 2.02 2.00 3/196 10646 /proc/meminfo: memFree=31421132/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=28184 CPUtime=0.08 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 7200 0 0 0 7 1 0 0 25 0 1 0 132485163 28860416 6254 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 7046 6254 348 719 0 6325 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 28184 [startup+0.101072 s] /proc/loadavg: 2.00 2.02 2.00 3/196 10646 /proc/meminfo: memFree=31421132/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=28184 CPUtime=0.09 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 7473 0 0 0 8 1 0 0 25 0 1 0 132485163 28860416 6270 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 7046 6270 354 719 0 6325 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28184 [startup+0.301038 s] /proc/loadavg: 2.00 2.02 2.00 3/196 10646 /proc/meminfo: memFree=31421132/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=30328 CPUtime=0.29 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 10868 0 0 0 27 2 0 0 18 0 1 0 132485163 31055872 6838 4089446400 4194304 7136930 140733675844688 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 7582 6838 391 719 0 6861 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30328 [startup+0.700959 s] /proc/loadavg: 2.00 2.02 2.00 3/196 10646 /proc/meminfo: memFree=31421132/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=32116 CPUtime=0.69 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 11327 0 0 0 66 3 0 0 18 0 1 0 132485163 32886784 7297 4089446400 4194304 7136930 140733675844688 18446744073709551615 4219822 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 8029 7297 395 719 0 7308 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32116 [startup+1.50081 s] /proc/loadavg: 2.00 2.02 2.00 3/197 10649 /proc/meminfo: memFree=31391736/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=34892 CPUtime=1.49 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 12040 0 0 0 143 6 0 0 20 0 1 0 132485163 35729408 8010 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 8723 8010 395 719 0 8002 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34892 [startup+3.10049 s] /proc/loadavg: 2.00 2.02 2.00 4/198 10650 /proc/meminfo: memFree=31369648/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=39600 CPUtime=3.09 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 13200 0 0 0 297 12 0 0 24 0 1 0 132485163 40550400 9170 4089446400 4194304 7136930 140733675844688 18446744073709551615 4659976 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 9900 9170 395 719 0 9179 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39600 [startup+6.30095 s] /proc/loadavg: 2.00 2.02 2.00 3/197 10650 /proc/meminfo: memFree=31375048/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=52820 CPUtime=6.29 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 16526 0 0 0 608 21 0 0 25 0 1 0 132485163 54087680 12496 4089446400 4194304 7136930 140733675844688 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 13205 12496 395 719 0 12484 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52820 [startup+12.7008 s] /proc/loadavg: 2.00 2.02 2.00 3/197 10650 /proc/meminfo: memFree=31358920/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=66132 CPUtime=12.68 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 19865 0 0 0 1234 34 0 0 25 0 1 0 132485163 67719168 15835 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 16533 15835 395 719 0 15812 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 66132 [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.00 3/197 10650 /proc/meminfo: memFree=31332344/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=93160 CPUtime=25.49 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 26509 0 0 0 2482 67 0 0 25 0 1 0 132485163 95395840 22479 4089446400 4194304 7136930 140733675844688 18446744073709551615 4983283 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 23290 22479 398 719 0 22569 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 93160 [startup+51.1007 s] /proc/loadavg: 2.00 2.01 2.00 3/197 10651 /proc/meminfo: memFree=31276196/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=153676 CPUtime=51.09 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 41215 0 0 0 4991 118 0 0 25 0 1 0 132485163 157364224 37185 4089446400 4194304 7136930 140733675844688 18446744073709551615 4227029 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 38419 37185 398 719 0 37698 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 153676 [startup+102.306 s] /proc/loadavg: 2.00 2.01 2.00 3/197 10652 /proc/meminfo: memFree=31169360/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=261624 CPUtime=102.3 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 66981 0 0 0 10023 207 0 0 25 0 1 0 132485163 267902976 62951 4089446400 4194304 7136930 140733675844688 18446744073709551615 4923095 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 65406 62951 398 719 0 64685 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 261624 [startup+162.3 s] /proc/loadavg: 2.05 2.02 2.00 3/197 10654 /proc/meminfo: memFree=31032132/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=410388 CPUtime=162.28 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 101095 0 0 0 15884 344 0 0 25 0 1 0 132485163 420237312 97065 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 102597 97065 398 719 0 101876 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 410388 [startup+222.3 s] /proc/loadavg: 2.10 2.03 2.01 3/197 10656 /proc/meminfo: memFree=30920712/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=521976 CPUtime=222.27 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 128945 0 0 0 21746 481 0 0 25 0 1 0 132485163 534503424 124915 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 130494 124915 398 719 0 129773 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 521976 [startup+282.3 s] /proc/loadavg: 2.03 2.02 2.00 3/197 10657 /proc/meminfo: memFree=30844632/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=597932 CPUtime=282.28 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 148107 0 0 0 27644 584 0 0 25 0 1 0 132485163 612282368 144077 4089446400 4194304 7136930 140733675844688 18446744073709551615 5507212 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 149483 144077 398 719 0 148762 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 597932 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.00 3/197 10659 /proc/meminfo: memFree=30780692/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=660148 CPUtime=342.28 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 163693 0 0 0 33564 664 0 0 25 0 1 0 132485163 675991552 159663 4089446400 4194304 7136930 140733675844688 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 165037 159663 398 719 0 164316 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 660148 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 10660 /proc/meminfo: memFree=30741664/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=699372 CPUtime=402.27 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 173401 0 0 0 39482 745 0 0 25 0 1 0 132485163 716156928 169371 4089446400 4194304 7136930 140733675844688 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 174843 169371 398 719 0 174122 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 699372 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10662 /proc/meminfo: memFree=30655036/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=793172 CPUtime=462.27 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 195046 0 0 0 45358 869 0 0 25 0 1 0 132485163 812208128 191016 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 198293 191016 398 719 0 197572 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 793172 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10664 /proc/meminfo: memFree=30572624/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=883780 CPUtime=522.28 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 216077 0 0 0 51244 984 0 0 25 0 1 0 132485163 904990720 212047 4089446400 4194304 7136930 140733675844688 18446744073709551615 5909111 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 220945 212047 398 719 0 220224 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 883780 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10665 /proc/meminfo: memFree=30478192/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=990288 CPUtime=582.27 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 239416 0 0 0 57137 1090 0 0 25 0 1 0 132485163 1014054912 235386 4089446400 4194304 7136930 140733675844688 18446744073709551615 4926174 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 247572 235386 398 719 0 246851 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 990288 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10667 /proc/meminfo: memFree=30377312/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=1092016 CPUtime=642.27 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 264311 0 0 0 63004 1223 0 0 25 0 1 0 132485163 1118224384 260281 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 273004 260281 398 719 0 272283 0 Current children cumulated CPU time (s) 642.27 Current children cumulated vsize (KiB) 1092016 [startup+702.3 s] ################ # More data... # ################ /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 407454 0 0 0 104183 2043 0 0 25 0 1 0 132485163 1709756416 403424 4089446400 4194304 7136930 140733675844688 18446744073709551615 4209154 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 417421 403424 398 719 0 416700 0 Current children cumulated CPU time (s) 1062.26 Current children cumulated vsize (KiB) 1669684 [startup+1122.3 s] /proc/loadavg: 2.02 2.00 2.00 3/179 10710 /proc/meminfo: memFree=29518080/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=1764180 CPUtime=1122.26 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 427359 0 0 0 110064 2162 0 0 25 0 1 0 132485163 1806520320 423329 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 441045 423329 398 719 0 440324 0 Current children cumulated CPU time (s) 1122.26 Current children cumulated vsize (KiB) 1764180 [startup+1182.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 10711 /proc/meminfo: memFree=29383744/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=1872584 CPUtime=1182.26 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 454967 0 0 0 115912 2314 0 0 25 0 1 0 132485163 1917526016 450937 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 468146 450937 398 719 0 467425 0 Current children cumulated CPU time (s) 1182.26 Current children cumulated vsize (KiB) 1872584 [startup+1242.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10713 /proc/meminfo: memFree=29254972/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=1974812 CPUtime=1242.26 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 480859 0 0 0 121768 2458 0 0 25 0 1 0 132485163 2022207488 476829 4089446400 4194304 7136930 140733675844688 18446744073709551615 4923897 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 493703 476829 398 719 0 492982 0 Current children cumulated CPU time (s) 1242.26 Current children cumulated vsize (KiB) 1974812 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10714 /proc/meminfo: memFree=29176800/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2029796 CPUtime=1302.28 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 494633 0 0 0 127682 2546 0 0 25 0 1 0 132485163 2078511104 490603 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 507449 490603 398 719 0 506728 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 2029796 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10716 /proc/meminfo: memFree=29125400/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2055784 CPUtime=1362.27 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 501160 0 0 0 133607 2620 0 0 25 0 1 0 132485163 2105122816 497130 4089446400 4194304 7136930 140733675844688 18446744073709551615 4979714 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 513946 497130 398 719 0 513225 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 2055784 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10718 /proc/meminfo: memFree=29079240/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2076396 CPUtime=1422.28 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 506410 0 0 0 139542 2686 0 0 25 0 1 0 132485163 2126229504 502380 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 519099 502380 398 719 0 518378 0 Current children cumulated CPU time (s) 1422.28 Current children cumulated vsize (KiB) 2076396 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10719 /proc/meminfo: memFree=29042108/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2090448 CPUtime=1482.28 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 510000 0 0 0 145480 2748 0 0 25 0 1 0 132485163 2140618752 505970 4089446400 4194304 7136930 140733675844688 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 522612 505970 398 719 0 521891 0 Current children cumulated CPU time (s) 1482.28 Current children cumulated vsize (KiB) 2090448 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10721 /proc/meminfo: memFree=29007220/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2101716 CPUtime=1542.27 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 512850 0 0 0 151417 2810 0 0 25 0 1 0 132485163 2152157184 508820 4089446400 4194304 7136930 140733675844688 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 525429 508820 398 719 0 524708 0 Current children cumulated CPU time (s) 1542.27 Current children cumulated vsize (KiB) 2101716 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10722 /proc/meminfo: memFree=28974680/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2107832 CPUtime=1602.28 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 514377 0 0 0 157368 2860 0 0 25 0 1 0 132485163 2158419968 510347 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 526958 510347 398 719 0 526237 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 2107832 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10724 /proc/meminfo: memFree=28944364/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2112700 CPUtime=1662.27 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 515614 0 0 0 163315 2912 0 0 25 0 1 0 132485163 2163404800 511584 4089446400 4194304 7136930 140733675844688 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 528175 511584 398 719 0 527454 0 Current children cumulated CPU time (s) 1662.27 Current children cumulated vsize (KiB) 2112700 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 10726 /proc/meminfo: memFree=28918532/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2115936 CPUtime=1722.28 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 516416 0 0 0 169271 2957 0 0 25 0 1 0 132485163 2166718464 512386 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 528984 512386 398 719 0 528263 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 2115936 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10727 /proc/meminfo: memFree=28860688/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2149524 CPUtime=1782.28 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 524545 0 0 0 175161 3067 0 0 25 0 1 0 132485163 2201112576 520515 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 537381 520515 398 719 0 536660 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 2149524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10737 /proc/meminfo: memFree=28829668/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2171324 CPUtime=1800.09 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 529944 0 0 0 176904 3105 0 0 25 0 1 0 132485163 2223435776 525914 4089446400 4194304 7136930 140733675844688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10646/statm: 542831 525914 398 719 0 542110 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 2171324 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10646 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.01 2.01 2.00 3/180 10738 /proc/meminfo: memFree=28831396/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2171324 CPUtime=1801.38 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 529961 0 0 0 177033 3105 0 0 19 0 1 0 132485163 2223435776 525931 4089446400 4194304 7136930 140733675844688 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10646/statm: 542831 525931 403 719 0 542110 0 Current children cumulated CPU time (s) 1801.38 Current children cumulated vsize (KiB) 2171324 [startup+1801.81 s] /proc/loadavg: 2.01 2.01 2.00 3/180 10738 /proc/meminfo: memFree=28831396/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2171324 CPUtime=1801.79 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 529961 0 0 0 177074 3105 0 0 20 0 1 0 132485163 2223435776 525931 4089446400 4194304 7136930 140733675844688 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10646/statm: 542831 525931 403 719 0 542110 0 Current children cumulated CPU time (s) 1801.79 Current children cumulated vsize (KiB) 2171324 [startup+1802 s] /proc/loadavg: 2.01 2.01 2.00 3/180 10738 /proc/meminfo: memFree=28831396/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2171324 CPUtime=1801.98 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 529961 0 0 0 177093 3105 0 0 20 0 1 0 132485163 2223435776 525931 4089446400 4194304 7136930 140733675844688 18446744073709551615 6165693 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10646/statm: 542831 525931 403 719 0 542110 0 Current children cumulated CPU time (s) 1801.98 Current children cumulated vsize (KiB) 2171324 [startup+1802.1 s] /proc/loadavg: 2.01 2.01 2.00 3/180 10738 /proc/meminfo: memFree=28831396/32951124 swapFree=67111528/67111528 [pid=10646] ppid=10644 vsize=2171324 CPUtime=1802.08 /proc/10646/stat : 10646 (pbscip.linux.x8) R 10644 10646 9536 0 -1 4202496 529961 0 0 0 177103 3105 0 0 20 0 1 0 132485163 2223435776 525931 4089446400 4194304 7136930 140733675844688 18446744073709551615 4212575 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10646/statm: 542831 525931 403 719 0 542110 0 Current children cumulated CPU time (s) 1802.08 Current children cumulated vsize (KiB) 2171324 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.18 CPU time (s): 1802.16 CPU user time (s): 1771.04 CPU system time (s): 31.1213 CPU usage (%): 99.9993 Max. virtual memory (cumulated for all children) (KiB): 2171324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.04 system time used= 31.1213 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 529961 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 4472 runsolver used 3.01054 second user time and 6.46302 second system time The end
Begin job on node109 at 2010-06-30 17:31:18 IDJOB=2693582 IDBENCH=78991 IDSOLVER=1206 FILE ID=node109/2693582-1277911878 PBS_JOBID= 11197242 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574--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-2693582-1277911878/watcher-2693582-1277911878 -o /tmp/evaluation-result-2693582-1277911878/solver-2693582-1277911878 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693582-1277911878.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 571d61a5ea635d7d5a6801ae351f1515 RANDOM SEED=1542937272 node109.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.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.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.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.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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31421660 kB Buffers: 192800 kB Cached: 1043036 kB SwapCached: 0 kB Active: 657168 kB Inactive: 728620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31421660 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3152 kB Writeback: 0 kB AnonPages: 149316 kB Mapped: 20288 kB Slab: 80640 kB PageTables: 4884 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1659188 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node109 at 2010-06-30 18:01:21