Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.11 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo |
| MD5SUM | 8222df718f0c39737e94bfab6b6fa003 |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 29.2616 |
| 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 | 927 |
| 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 | 45360 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45359 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 719 |
| 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-2694204-1277910864.wbo>
0.00/0.02 c original problem has 2085 variables (1158 bin, 0 int, 0 impl, 927 cont) and 3635 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.00/0.07 c (round 2) 0 del vars, 112 del conss, 927 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.00/0.08 c (round 3) 54 del vars, 168 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.00/0.09 c (round 4) 110 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs
0.09/0.10 c (round 5) 112 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs
0.09/0.15 c (0.1s) probing: 101/1102 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 112 deleted vars, 170 deleted constraints, 929 tightened bounds, 0 added holes, 56 changed sides, 0 changed coefficients
0.09/0.15 c 1141 implications, 14 cliques
0.09/0.15 c presolved problem has 1973 variables (1102 bin, 0 int, 0 impl, 871 cont) and 3465 constraints
0.09/0.15 c 871 constraints of type <indicator>
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 14 constraints of type <setppc>
0.09/0.15 c 871 constraints of type <linear>
0.09/0.15 c 1708 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.10
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 2 | 0 | - |7624k| 0 | - |1973 |3465 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.69/2.75 c 2.6s| 10000 | 8394 | 0 | 0.0 | 14M|1058 | - |1973 |4970 | 0 | 0 | 0 |4427 | 0 | 0.000000e+00 | -- | Inf
6.09/6.15 c 5.9s| 20000 | 15308 | 0 | 0.0 | 22M|1058 | - |1973 |6142 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
8.19/8.26 o 796
8.19/8.26 c * 8.0s| 24181 | 17089 | 0 | 0.0 | 26M|1058 | - |1973 |6636 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.960000e+02 | Inf
8.19/8.26 o 775
8.19/8.26 c * 8.0s| 24182 | 17088 | 0 | 0.0 | 26M|1058 | - |1973 |6636 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.750000e+02 | Inf
8.39/8.42 o 698
8.39/8.42 c * 8.1s| 24821 | 17677 | 0 | 0.0 | 26M|1058 | - |1973 |6363 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 6.980000e+02 | Inf
8.39/8.49 o 501
8.39/8.49 c * 8.2s| 25098 | 17760 | 0 | 0.0 | 26M|1058 | - |1973 |6230 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 5.010000e+02 | Inf
8.39/8.49 o 441
8.39/8.49 c * 8.2s| 25099 | 17754 | 0 | 0.0 | 26M|1058 | - |1973 |6230 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 4.410000e+02 | Inf
8.49/8.55 o 439
8.49/8.55 c * 8.2s| 25298 | 17941 | 0 | 0.0 | 26M|1058 | - |1973 |6124 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 4.390000e+02 | Inf
8.70/8.76 o 294
8.70/8.76 c * 8.4s| 26029 | 18593 | 0 | 0.0 | 26M|1058 | - |1973 |5841 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
8.89/8.93 o 174
8.89/8.93 c * 8.6s| 26651 | 18799 | 0 | 0.0 | 26M|1058 | - |1973 |5743 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
8.89/8.93 o 163
8.89/8.93 c * 8.6s| 26652 | 18769 | 0 | 0.0 | 26M|1058 | - |1973 |5743 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
9.89/9.92 c 9.6s| 30000 | 21809 | 0 | 0.0 | 29M|1058 | - |1973 |5428 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
12.99/13.00 c 12.6s| 40000 | 29695 | 0 | 0.0 | 36M|1058 | - |1973 |6177 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
16.40/16.47 c 15.9s| 50000 | 36910 | 0 | 0.0 | 44M|1058 | - |1973 |7521 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
20.19/20.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.19/20.24 c 19.6s| 60000 | 43815 | 0 | 0.0 | 51M|1058 | - |1973 |8825 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
24.20/24.24 c 23.5s| 70000 | 50386 | 0 | 0.0 | 59M|1058 | - |1973 |9093 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
28.60/28.67 c 27.8s| 80000 | 56464 | 0 | 0.0 | 66M|1058 | - |1973 |9512 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
33.49/33.56 c 32.6s| 90000 | 61946 | 0 | 0.0 | 74M|1058 | - |1973 | 10k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
39.09/39.10 c 38.0s|100000 | 66863 | 0 | 0.0 | 82M|1058 | - |1973 | 10k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
45.39/45.46 c 44.2s|110000 | 71281 | 0 | 0.0 | 90M|1058 | - |1973 | 10k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
52.29/52.39 c 51.0s|120000 | 74981 | 0 | 0.0 | 98M|1058 | - |1973 | 11k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
60.69/60.79 c 59.2s|130000 | 77026 | 0 | 0.0 | 105M|1058 | - |1973 | 14k| 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
62.99/63.08 o 157
62.99/63.08 c *61.5s|134230 | 80019 | 0 | 0.0 | 105M|1058 | - |1973 |9222 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
63.09/63.12 o 131
63.09/63.12 c *61.5s|134333 | 79918 | 0 | 0.0 | 104M|1058 | - |1973 |9133 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
65.29/65.34 c 63.7s|140000 | 84978 | 0 | 0.0 | 108M|1058 | - |1973 |6467 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
65.69/65.75 o 114
65.69/65.75 c *64.1s|141066 | 85755 | 0 | 0.0 | 109M|1058 | - |1973 |6431 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
66.39/66.49 o 106
66.39/66.49 c *64.8s|143004 | 87357 | 0 | 0.0 | 111M|1058 | - |1973 |6434 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
68.49/68.51 o 95
68.49/68.51 c *66.8s|148125 | 90999 | 0 | 0.0 | 114M|1058 | - |1973 |6752 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
69.19/69.30 c 67.5s|150000 | 92588 | 0 | 0.0 | 117M|1058 | - |1973 |6496 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
73.59/73.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.59/73.66 c 71.8s|160000 |100806 | 0 | 0.0 | 131M|1058 | - |1973 |6053 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
77.99/78.05 o 91
77.99/78.05 c *76.0s|167955 |105512 | 0 | 0.0 | 151M|1058 | - |1973 |7080 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
78.79/78.82 c 76.8s|170000 |107328 | 0 | 0.0 | 152M|1058 | - |1973 |5957 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
80.89/80.99 o 90
80.89/80.99 c *78.9s|175589 |112078 | 0 | 0.0 | 156M|1058 | - |1973 |5590 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
82.39/82.49 o 88
82.39/82.49 c *80.3s|179629 |115370 | 0 | 0.0 | 160M|1058 | - |1973 |6029 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
82.59/82.63 c 80.5s|180000 |115680 | 0 | 0.0 | 161M|1058 | - |1973 |6094 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
82.79/82.81 o 68
82.79/82.81 c *80.6s|180443 |110820 | 0 | 0.0 | 138M|1058 | - |1973 |6202 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
87.59/87.60 c 85.3s|190000 |117202 | 0 | 0.0 | 148M|1058 | - |1973 |7290 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
89.29/89.33 o 54
89.29/89.33 c *87.0s|195059 |120605 | 0 | 0.0 | 148M|1058 | - |1973 |6739 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
91.20/91.29 c 88.9s|200000 |124272 | 0 | 0.0 | 152M|1058 | - |1973 |8003 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
95.79/95.85 c 93.3s|210000 |131561 | 0 | 0.0 | 159M|1058 | - |1973 |5204 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
99.79/99.82 c 97.1s|220000 |138945 | 0 | 0.0 | 166M|1058 | - |1973 |5979 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
104.49/104.55 c 102s|230000 |144935 | 0 | 0.0 | 173M|1058 | - |1973 |7021 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
109.39/109.46 c 107s|240000 |150754 | 0 | 0.0 | 180M|1058 | - |1973 |7762 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
114.40/114.48 c 111s|250000 |156580 | 0 | 0.0 | 187M|1058 | - |1973 |7389 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
119.39/119.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.39/119.40 c 116s|260000 |162491 | 0 | 0.0 | 194M|1058 | - |1973 |8274 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
124.00/124.08 c 121s|270000 |168732 | 0 | 0.0 | 201M|1058 | - |1973 |8187 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
129.09/129.14 c 126s|280000 |174532 | 0 | 0.0 | 208M|1058 | - |1973 |8715 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
134.40/134.43 c 131s|290000 |179441 | 0 | 0.0 | 215M|1058 | - |1973 |9806 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
140.39/140.49 c 137s|300000 |183665 | 0 | 0.0 | 222M|1058 | - |1973 | 10k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
146.69/146.79 c 143s|310000 |187653 | 0 | 0.0 | 229M|1058 | - |1973 | 11k| 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
153.29/153.31 c 149s|320000 |191647 | 0 | 0.0 | 237M|1058 | - |1973 | 12k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
160.19/160.25 c 156s|330000 |195211 | 0 | 0.0 | 244M|1058 | - |1973 | 13k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
166.79/166.84 c 163s|340000 |199240 | 0 | 0.0 | 251M|1058 | - |1973 | 13k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
173.29/173.31 c 169s|350000 |203343 | 0 | 0.0 | 257M|1058 | - |1973 | 12k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
180.39/180.40 c 176s|360000 |206810 | 0 | 0.0 | 264M|1058 | - |1973 | 13k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
187.59/187.67 c 183s|370000 |210155 | 0 | 0.0 | 271M|1058 | - |1973 | 13k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
195.49/195.51 c 191s|380000 |212923 | 0 | 0.0 | 278M|1058 | - |1973 | 15k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
203.69/203.74 c 199s|390000 |215610 | 0 | 0.0 | 284M|1058 | - |1973 | 15k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
212.19/212.22 c 207s|400000 |218094 | 0 | 0.0 | 290M|1058 | - |1973 | 14k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
221.29/221.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
221.29/221.37 c 216s|410000 |219925 | 0 | 0.0 | 296M|1058 | - |1973 | 16k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
230.69/230.71 c 225s|420000 |221953 | 0 | 0.0 | 301M|1058 | - |1973 | 13k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
241.29/241.37 c 236s|430000 |217995 | 0 | 0.0 | 301M|1058 | - |1973 | 14k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
251.40/251.45 c 246s|440000 |210879 | 0 | 0.0 | 288M|1058 | - |1973 |8095 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
255.10/255.13 c 249s|450000 |219190 | 0 | 0.0 | 295M|1058 | - |1973 |6016 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
258.99/259.06 c 253s|460000 |227261 | 0 | 0.0 | 304M|1058 | - |1973 |6438 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
263.29/263.35 c 257s|470000 |235248 | 0 | 0.0 | 313M|1058 | - |1973 |6915 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
267.79/267.83 c 262s|480000 |243199 | 0 | 0.0 | 321M|1058 | - |1973 |5145 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
270.49/270.60 o 47
270.49/270.60 c * 264s|487083 |247365 | 0 | 0.0 | 321M|1058 | - |1973 |5355 | 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
271.79/271.83 c 265s|490000 |249581 | 0 | 0.0 | 324M|1058 | - |1973 |5524 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
275.89/275.98 c 269s|500000 |257165 | 0 | 0.0 | 334M|1058 | - |1973 |5897 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
279.89/279.91 c 272s|510000 |264829 | 0 | 0.0 | 343M|1058 | - |1973 |6352 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
283.99/284.06 c 276s|520000 |272248 | 0 | 0.0 | 352M|1058 | - |1973 |6396 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
288.20/288.20 c 280s|530000 |279661 | 0 | 0.0 | 362M|1058 | - |1973 |6792 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
292.89/292.95 c 284s|540000 |286695 | 0 | 0.0 | 371M|1058 | - |1973 |7014 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
297.70/297.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.70/297.76 c 289s|550000 |293775 | 0 | 0.0 | 382M|1058 | - |1973 |7248 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
300.69/300.74 o 34
300.69/300.74 c * 291s|556009 |294641 | 0 | 0.0 | 372M|1058 | - |1973 |7439 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
302.89/302.91 c 293s|560000 |297087 | 0 | 0.0 | 375M|1058 | - |1973 |7412 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
308.29/308.38 c 298s|570000 |303073 | 0 | 0.0 | 385M|1058 | - |1973 |7837 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
314.09/314.13 c 304s|580000 |308877 | 0 | 0.0 | 395M|1058 | - |1973 |8347 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
319.79/319.86 c 309s|590000 |314671 | 0 | 0.0 | 404M|1058 | - |1973 |8641 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
320.99/321.05 o 30
320.99/321.05 c * 310s|592133 |313830 | 0 | 0.0 | 397M|1058 | - |1973 |8654 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
326.09/326.10 c 315s|600000 |317737 | 0 | 0.0 | 404M|1058 | - |1973 |8286 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
333.39/333.44 c 322s|610000 |321662 | 0 | 0.0 | 415M|1058 | - |1973 |9592 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
342.30/342.32 c 330s|620000 |324033 | 0 | 0.0 | 425M|1058 | - |1973 | 11k| 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
349.99/350.07 c 337s|630000 |327341 | 0 | 0.0 | 432M|1058 | - |1973 |7442 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
353.80/353.83 c 341s|640000 |335207 | 0 | 0.0 | 438M|1058 | - |1973 |8212 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
357.69/357.73 c 344s|650000 |342984 | 0 | 0.0 | 445M|1058 | - |1973 |8630 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
361.69/361.80 c 348s|660000 |350459 | 0 | 0.0 | 451M|1058 | - |1973 |9125 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
366.09/366.19 c 352s|670000 |357650 | 0 | 0.0 | 458M|1058 | - |1973 |9587 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
370.70/370.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.70/370.71 c 356s|680000 |364754 | 0 | 0.0 | 465M|1058 | - |1973 |9949 | 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
376.20/376.23 c 361s|690000 |370950 | 0 | 0.0 | 473M|1058 | - |1973 | 11k| 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
382.39/382.44 c 367s|700000 |376626 | 0 | 0.0 | 481M|1058 | - |1973 | 11k| 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
389.30/389.39 c 374s|710000 |381512 | 0 | 0.0 | 489M|1058 | - |1973 | 13k| 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
397.69/397.77 c 381s|720000 |385444 | 0 | 0.0 | 496M|1058 | - |1973 | 14k| 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
408.70/408.79 c 392s|730000 |387055 | 0 | 0.0 | 503M|1058 | - |1973 | 16k| 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
414.40/414.43 c 397s|740000 |393240 | 0 | 0.0 | 507M|1058 | - |1973 | 10k| 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
418.59/418.67 c 401s|750000 |400702 | 0 | 0.0 | 514M|1058 | - |1973 | 10k| 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
422.99/423.08 c 405s|760000 |407987 | 0 | 0.0 | 520M|1058 | - |1973 | 11k| 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
427.70/427.76 c 410s|770000 |414962 | 0 | 0.0 | 527M|1058 | - |1973 | 12k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
432.70/432.79 c 414s|780000 |421649 | 0 | 0.0 | 534M|1058 | - |1973 | 13k| 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
438.70/438.76 c 420s|790000 |427434 | 0 | 0.0 | 541M|1058 | - |1973 | 14k| 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
446.30/446.30 c 427s|800000 |431992 | 0 | 0.0 | 548M|1058 | - |1973 | 16k| 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
456.10/456.17 c 436s|810000 |434966 | 0 | 0.0 | 555M|1058 | - |1973 | 18k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
463.49/463.54 c 443s|820000 |440533 | 0 | 0.0 | 556M|1058 | - |1973 |5777 | 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
467.20/467.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.20/467.23 c 447s|830000 |448576 | 0 | 0.0 | 562M|1058 | - |1973 |5207 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
471.60/471.68 c 451s|840000 |455796 | 0 | 0.0 | 570M|1058 | - |1973 |6270 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
476.60/476.62 c 455s|850000 |462357 | 0 | 0.0 | 578M|1058 | - |1973 |5901 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
480.10/480.19 c 459s|860000 |470500 | 0 | 0.0 | 585M|1058 | - |1973 |5899 | 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
484.10/484.19 c 462s|870000 |478074 | 0 | 0.0 | 593M|1058 | - |1973 |6716 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
489.10/489.11 c 467s|880000 |484279 | 0 | 0.0 | 601M|1058 | - |1973 |9301 | 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
492.40/492.48 c 470s|890000 |492574 | 0 | 0.0 | 607M|1058 | - |1973 |7119 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
496.80/496.87 c 474s|900000 |499470 | 0 | 0.0 | 614M|1058 | - |1973 |7036 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
500.40/500.48 c 477s|910000 |507346 | 0 | 0.0 | 621M|1058 | - |1973 |7918 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
505.09/505.12 c 481s|920000 |514006 | 0 | 0.0 | 628M|1058 | - |1973 |9656 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
509.50/509.54 c 485s|930000 |520897 | 0 | 0.0 | 634M|1058 | - |1973 |8563 | 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
513.60/513.63 c 489s|940000 |527960 | 0 | 0.0 | 641M|1058 | - |1973 |8308 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
517.60/517.66 c 493s|950000 |535306 | 0 | 0.0 | 646M|1058 | - |1973 |5037 | 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
521.10/521.17 c 496s|960000 |543237 | 0 | 0.0 | 653M|1058 | - |1973 |5116 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
527.10/527.18 c 502s|970000 |547433 | 0 | 0.0 | 659M|1058 | - |1973 |8161 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
533.69/533.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.69/533.70 c 508s|980000 |551562 | 0 | 0.0 | 665M|1058 | - |1973 |8875 | 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
540.70/540.70 c 514s|990000 |555405 | 0 | 0.0 | 671M|1058 | - |1973 | 10k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
547.80/547.85 c 521s| 1000k|559333 | 0 | 0.0 | 676M|1058 | - |1973 | 11k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
555.79/555.89 c 529s| 1010k|562413 | 0 | 0.0 | 682M|1058 | - |1973 | 11k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
563.30/563.32 c 536s| 1020k|566429 | 0 | 0.0 | 688M|1058 | - |1973 | 10k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
572.30/572.39 c 545s| 1030k|568680 | 0 | 0.0 | 695M|1058 | - |1973 | 14k| 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
582.10/582.16 c 554s| 1040k|570547 | 0 | 0.0 | 699M|1058 | - |1973 | 14k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
592.50/592.59 c 564s| 1050k|572000 | 0 | 0.0 | 704M|1058 | - |1973 | 14k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
604.01/604.05 c 575s| 1060k|572744 | 0 | 0.0 | 708M|1058 | - |1973 | 14k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
615.20/615.28 c 586s| 1070k|574006 | 0 | 0.0 | 714M|1058 | - |1973 | 16k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
628.31/628.35 c 598s| 1080k|573630 | 0 | 0.0 | 718M|1058 | - |1973 | 18k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
643.10/643.16 c 613s| 1090k|572430 | 0 | 0.0 | 721M|1058 | - |1973 | 18k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
658.80/658.83 c 628s| 1100k|570653 | 0 | 0.0 | 722M|1058 | - |1973 | 19k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
675.81/675.89 c 645s| 1110k|568141 | 0 | 0.0 | 723M|1058 | - |1973 | 20k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
695.00/695.02 c 663s| 1120k|564103 | 0 | 0.0 | 721M|1058 | - |1973 | 19k| 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
714.61/714.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.61/714.63 c 682s| 1130k|559712 | 0 | 0.0 | 719M|1058 | - |1973 | 22k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
736.00/736.04 c 703s| 1140k|553868 | 0 | 0.0 | 716M|1058 | - |1973 | 22k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
759.02/759.09 c 726s| 1150k|546359 | 0 | 0.0 | 708M|1058 | - |1973 | 23k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
781.40/781.46 c 748s| 1160k|538922 | 0 | 0.0 | 700M|1058 | - |1973 | 26k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
806.61/806.69 c 772s| 1170k|529862 | 0 | 0.0 | 685M|1058 | - |1973 | 28k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
827.01/827.05 c 792s| 1180k|525999 | 0 | 0.0 | 667M|1058 | - |1973 | 15k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
832.41/832.44 c 797s| 1190k|533187 | 0 | 0.0 | 673M|1058 | - |1973 | 10k| 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
837.41/837.46 c 802s| 1200k|540420 | 0 | 0.0 | 680M|1058 | - |1973 |9510 | 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
842.51/842.51 c 806s| 1210k|547489 | 0 | 0.0 | 688M|1058 | - |1973 |9158 | 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
847.61/847.64 c 811s| 1220k|554480 | 0 | 0.0 | 696M|1058 | - |1973 |8905 | 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
852.61/852.64 c 816s| 1230k|561432 | 0 | 0.0 | 703M|1058 | - |1973 |9051 | 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
857.51/857.55 c 820s| 1240k|568531 | 0 | 0.0 | 711M|1058 | - |1973 |9454 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
862.42/862.49 c 825s| 1250k|575610 | 0 | 0.0 | 718M|1058 | - |1973 |9908 | 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
867.51/867.57 c 829s| 1260k|582543 | 0 | 0.0 | 726M|1058 | - |1973 | 10k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
872.71/872.78 c 834s| 1270k|589395 | 0 | 0.0 | 733M|1058 | - |1973 |9941 | 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
877.81/877.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.81/877.84 c 839s| 1280k|596293 | 0 | 0.0 | 740M|1058 | - |1973 | 10k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
883.32/883.37 c 844s| 1290k|602699 | 0 | 0.0 | 748M|1058 | - |1973 | 10k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
888.91/888.92 c 849s| 1300k|609358 | 0 | 0.0 | 756M|1058 | - |1973 | 10k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
894.91/894.98 c 855s| 1310k|615454 | 0 | 0.0 | 763M|1058 | - |1973 | 11k| 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
901.11/901.10 c 861s| 1320k|621435 | 0 | 0.0 | 771M|1058 | - |1973 | 11k| 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
906.91/906.92 c 866s| 1330k|627821 | 0 | 0.0 | 778M|1058 | - |1973 | 11k| 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
913.61/913.67 c 872s| 1340k|633379 | 0 | 0.0 | 786M|1058 | - |1973 | 12k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
919.11/919.16 c 877s| 1350k|639943 | 0 | 0.0 | 794M|1058 | - |1973 | 12k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
926.12/926.15 c 884s| 1360k|645482 | 0 | 0.0 | 802M|1058 | - |1973 | 13k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
932.21/932.20 c 890s| 1370k|651807 | 0 | 0.0 | 809M|1058 | - |1973 | 13k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
939.81/939.81 c 897s| 1380k|656930 | 0 | 0.0 | 817M|1058 | - |1973 | 14k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
946.11/946.13 c 903s| 1390k|663094 | 0 | 0.0 | 825M|1058 | - |1973 | 14k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
953.91/953.93 c 910s| 1400k|668322 | 0 | 0.0 | 834M|1058 | - |1973 | 15k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
960.52/960.58 c 916s| 1410k|674379 | 0 | 0.0 | 842M|1058 | - |1973 | 15k| 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
967.62/967.68 c 923s| 1420k|680115 | 0 | 0.0 | 851M|1058 | - |1973 | 15k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
975.51/975.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
975.51/975.57 c 931s| 1430k|685368 | 0 | 0.0 | 859M|1058 | - |1973 | 15k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
982.42/982.49 c 937s| 1440k|691360 | 0 | 0.0 | 867M|1058 | - |1973 | 15k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
990.92/990.94 c 945s| 1450k|696109 | 0 | 0.0 | 875M|1058 | - |1973 | 16k| 0 | 0 | 0 |1488k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
998.41/998.40 c 952s| 1460k|701748 | 0 | 0.0 | 883M|1058 | - |1973 | 16k| 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1005.72/1005.73 c 959s| 1470k|707481 | 0 | 0.0 | 892M|1058 | - |1973 | 15k| 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1014.71/1014.74 c 968s| 1480k|711910 | 0 | 0.0 | 900M|1058 | - |1973 | 16k| 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1022.11/1022.17 c 975s| 1490k|717575 | 0 | 0.0 | 909M|1058 | - |1973 | 16k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1031.22/1031.22 c 983s| 1500k|721988 | 0 | 0.0 | 917M|1058 | - |1973 | 16k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1039.43/1039.49 c 991s| 1510k|727013 | 0 | 0.0 | 925M|1058 | - |1973 | 17k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1047.62/1047.67 c 999s| 1520k|732175 | 0 | 0.0 | 934M|1058 | - |1973 | 16k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1057.42/1057.40 c 1008s| 1530k|736100 | 0 | 0.0 | 943M|1058 | - |1973 | 17k| 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1065.41/1065.41 c 1016s| 1540k|741354 | 0 | 0.0 | 951M|1058 | - |1973 | 17k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1073.92/1073.93 c 1024s| 1550k|746245 | 0 | 0.0 | 960M|1058 | - |1973 | 16k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1083.32/1083.37 c 1033s| 1560k|750378 | 0 | 0.0 | 968M|1058 | - |1973 | 17k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1091.62/1091.66 c 1041s| 1570k|755459 | 0 | 0.0 | 977M|1058 | - |1973 | 16k| 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1101.52/1101.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.52/1101.54 c 1050s| 1580k|759244 | 0 | 0.0 | 985M|1058 | - |1973 | 18k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1110.22/1110.21 c 1059s| 1590k|764055 | 0 | 0.0 | 994M|1058 | - |1973 | 17k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1118.72/1118.76 c 1067s| 1600k|768873 | 0 | 0.0 |1002M|1058 | - |1973 | 17k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1129.42/1129.41 c 1077s| 1610k|772170 | 0 | 0.0 |1011M|1058 | - |1973 | 17k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1138.12/1138.11 c 1085s| 1620k|776996 | 0 | 0.0 |1019M|1058 | - |1973 | 17k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1149.22/1149.22 c 1096s| 1630k|779956 | 0 | 0.0 |1027M|1058 | - |1973 | 18k| 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1158.62/1158.68 c 1105s| 1640k|784370 | 0 | 0.0 |1036M|1058 | - |1973 | 17k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1169.72/1169.73 c 1116s| 1650k|787352 | 0 | 0.0 |1043M|1058 | - |1973 | 18k| 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1179.22/1179.28 c 1125s| 1660k|791615 | 0 | 0.0 |1052M|1058 | - |1973 | 18k| 0 | 0 | 0 |1723k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1190.82/1190.86 c 1136s| 1670k|794190 | 0 | 0.0 |1059M|1058 | - |1973 | 18k| 0 | 0 | 0 |1738k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
1198.52/1198.55 o 25
1198.52/1198.55 c *1143s| 1677k|790361 | 0 | 0.0 |1035M|1058 | - |1973 | 18k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1201.12/1201.19 c 1146s| 1680k|791558 | 0 | 0.0 |1039M|1058 | - |1973 | 18k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1214.72/1214.70 c 1159s| 1690k|793229 | 0 | 0.0 |1047M|1058 | - |1973 |7673 | 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1223.22/1223.29 c 1166s| 1700k|795994 | 0 | 0.0 |1053M|1058 | - |1973 |6052 | 0 | 0 | 0 |1776k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1230.82/1230.85 c 1174s| 1710k|798734 | 0 | 0.0 |1062M|1058 | - |1973 |8286 | 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1239.63/1239.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1239.63/1239.67 c 1182s| 1720k|799997 | 0 | 0.0 |1068M|1058 | - |1973 |9192 | 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1248.72/1248.73 c 1190s| 1730k|801314 | 0 | 0.0 |1074M|1058 | - |1973 |9101 | 0 | 0 | 0 |1815k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1257.82/1257.84 c 1199s| 1740k|802619 | 0 | 0.0 |1080M|1058 | - |1973 |9658 | 0 | 0 | 0 |1828k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1267.32/1267.37 c 1208s| 1750k|803685 | 0 | 0.0 |1086M|1058 | - |1973 |9965 | 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1277.32/1277.38 c 1217s| 1760k|804024 | 0 | 0.0 |1090M|1058 | - |1973 | 10k| 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1287.52/1287.59 c 1227s| 1770k|804716 | 0 | 0.0 |1097M|1058 | - |1973 | 11k| 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1297.93/1297.93 c 1237s| 1780k|804478 | 0 | 0.0 |1101M|1058 | - |1973 | 11k| 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1310.22/1310.28 c 1249s| 1790k|803018 | 0 | 0.0 |1105M|1058 | - |1973 | 13k| 0 | 0 | 0 |1907k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1315.83/1315.81 c 1254s| 1800k|808540 | 0 | 0.0 |1108M|1058 | - |1973 |7355 | 0 | 0 | 0 |1914k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1320.33/1320.32 c 1258s| 1810k|815073 | 0 | 0.0 |1115M|1058 | - |1973 |7921 | 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1324.92/1324.93 c 1262s| 1820k|821526 | 0 | 0.0 |1122M|1058 | - |1973 |8623 | 0 | 0 | 0 |1925k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1329.53/1329.53 c 1266s| 1830k|828060 | 0 | 0.0 |1129M|1058 | - |1973 |9164 | 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
1332.13/1332.11 o 20
1332.13/1332.11 c *1268s| 1835k|822637 | 0 | 0.0 |1097M|1058 | - |1973 |9316 | 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1334.33/1334.37 c 1270s| 1840k|825849 | 0 | 0.0 |1101M|1058 | - |1973 |9451 | 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1339.53/1339.59 c 1275s| 1850k|832092 | 0 | 0.0 |1109M|1058 | - |1973 |9576 | 0 | 0 | 0 |1942k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1344.63/1344.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.63/1344.67 c 1280s| 1860k|838315 | 0 | 0.0 |1117M|1058 | - |1973 |9712 | 0 | 0 | 0 |1948k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1346.13/1346.17 o 18
1346.13/1346.17 c *1281s| 1862k|809710 | 0 | 0.0 |1013M|1058 | - |1973 |9157 | 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1350.23/1350.24 c 1285s| 1870k|814051 | 0 | 0.0 |1020M|1058 | - |1973 | 10k| 0 | 0 | 0 |1955k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1355.82/1355.80 c 1290s| 1880k|820034 | 0 | 0.0 |1028M|1058 | - |1973 | 10k| 0 | 0 | 0 |1961k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1361.52/1361.56 c 1295s| 1890k|825794 | 0 | 0.0 |1035M|1058 | - |1973 | 10k| 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1367.03/1367.03 c 1300s| 1900k|831818 | 0 | 0.0 |1043M|1058 | - |1973 | 10k| 0 | 0 | 0 |1974k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1372.83/1372.86 c 1306s| 1910k|837474 | 0 | 0.0 |1050M|1058 | - |1973 | 10k| 0 | 0 | 0 |1981k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1378.73/1378.77 c 1311s| 1920k|842901 | 0 | 0.0 |1057M|1058 | - |1973 | 10k| 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1383.93/1383.92 c 1316s| 1930k|848910 | 0 | 0.0 |1064M|1058 | - |1973 | 10k| 0 | 0 | 0 |1995k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1389.73/1389.70 c 1321s| 1940k|854205 | 0 | 0.0 |1070M|1058 | - |1973 | 10k| 0 | 0 | 0 |2003k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1395.33/1395.33 c 1326s| 1950k|859755 | 0 | 0.0 |1077M|1058 | - |1973 | 10k| 0 | 0 | 0 |2010k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1401.63/1401.63 c 1332s| 1960k|864504 | 0 | 0.0 |1084M|1058 | - |1973 | 10k| 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1407.93/1407.99 c 1338s| 1970k|869215 | 0 | 0.0 |1091M|1058 | - |1973 | 10k| 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1413.73/1413.71 c 1343s| 1980k|874550 | 0 | 0.0 |1097M|1058 | - |1973 | 10k| 0 | 0 | 0 |2035k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1420.33/1420.30 c 1350s| 1990k|878853 | 0 | 0.0 |1104M|1058 | - |1973 | 11k| 0 | 0 | 0 |2044k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1426.03/1426.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1426.03/1426.07 c 1355s| 2000k|884143 | 0 | 0.0 |1110M|1058 | - |1973 | 10k| 0 | 0 | 0 |2052k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1432.92/1432.93 c 1361s| 2010k|888210 | 0 | 0.0 |1117M|1058 | - |1973 | 11k| 0 | 0 | 0 |2061k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1439.84/1439.87 c 1368s| 2020k|892071 | 0 | 0.0 |1123M|1058 | - |1973 | 10k| 0 | 0 | 0 |2071k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1446.13/1446.11 c 1373s| 2030k|896629 | 0 | 0.0 |1129M|1058 | - |1973 | 10k| 0 | 0 | 0 |2080k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1453.03/1453.07 c 1380s| 2040k|900289 | 0 | 0.0 |1135M|1058 | - |1973 | 11k| 0 | 0 | 0 |2090k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1460.23/1460.20 c 1387s| 2050k|903826 | 0 | 0.0 |1141M|1058 | - |1973 | 11k| 0 | 0 | 0 |2101k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1467.53/1467.56 c 1393s| 2060k|907353 | 0 | 0.0 |1148M|1058 | - |1973 | 11k| 0 | 0 | 0 |2112k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1475.93/1475.92 c 1401s| 2070k|909942 | 0 | 0.0 |1153M|1058 | - |1973 | 11k| 0 | 0 | 0 |2123k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1484.43/1484.40 c 1409s| 2080k|912439 | 0 | 0.0 |1159M|1058 | - |1973 | 11k| 0 | 0 | 0 |2136k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1493.23/1493.21 c 1418s| 2090k|914623 | 0 | 0.0 |1164M|1058 | - |1973 | 12k| 0 | 0 | 0 |2149k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1502.73/1502.71 c 1427s| 2100k|916258 | 0 | 0.0 |1169M|1058 | - |1973 | 12k| 0 | 0 | 0 |2162k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1512.33/1512.37 c 1436s| 2110k|917963 | 0 | 0.0 |1174M|1058 | - |1973 | 13k| 0 | 0 | 0 |2176k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1523.44/1523.45 c 1446s| 2120k|918334 | 0 | 0.0 |1177M|1058 | - |1973 | 13k| 0 | 0 | 0 |2192k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1535.73/1535.71 c 1458s| 2130k|918033 | 0 | 0.0 |1181M|1058 | - |1973 | 14k| 0 | 0 | 0 |2210k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1546.83/1546.89 o 14
1546.83/1546.89 c *1469s| 2137k|910052 | 0 | 0.0 |1160M|1058 | - |1973 | 15k| 0 | 0 | 0 |2225k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1552.14/1552.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.14/1552.17 c 1474s| 2140k|908120 | 0 | 0.0 |1160M|1058 | - |1973 | 16k| 0 | 0 | 0 |2232k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1559.53/1559.53 c 1481s| 2150k|912206 | 0 | 0.0 |1160M|1058 | - |1973 |9890 | 0 | 0 | 0 |2241k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1564.24/1564.20 c 1485s| 2160k|918910 | 0 | 0.0 |1166M|1058 | - |1973 |9592 | 0 | 0 | 0 |2246k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1568.73/1568.72 c 1489s| 2170k|925591 | 0 | 0.0 |1172M|1058 | - |1973 | 10k| 0 | 0 | 0 |2251k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1573.83/1573.87 c 1494s| 2180k|931698 | 0 | 0.0 |1178M|1058 | - |1973 | 10k| 0 | 0 | 0 |2257k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1579.24/1579.22 c 1499s| 2190k|937540 | 0 | 0.0 |1185M|1058 | - |1973 | 10k| 0 | 0 | 0 |2264k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1584.84/1584.81 c 1504s| 2200k|943077 | 0 | 0.0 |1191M|1058 | - |1973 | 10k| 0 | 0 | 0 |2270k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1590.83/1590.80 c 1509s| 2210k|948066 | 0 | 0.0 |1197M|1058 | - |1973 | 10k| 0 | 0 | 0 |2278k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1596.93/1596.96 c 1515s| 2220k|952981 | 0 | 0.0 |1203M|1058 | - |1973 | 11k| 0 | 0 | 0 |2285k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1603.24/1603.27 c 1521s| 2230k|957753 | 0 | 0.0 |1210M|1058 | - |1973 | 11k| 0 | 0 | 0 |2293k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1609.63/1609.69 c 1527s| 2240k|962512 | 0 | 0.0 |1216M|1058 | - |1973 | 12k| 0 | 0 | 0 |2301k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1616.23/1616.20 c 1533s| 2250k|967164 | 0 | 0.0 |1221M|1058 | - |1973 | 12k| 0 | 0 | 0 |2309k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1622.63/1622.69 c 1539s| 2260k|971738 | 0 | 0.0 |1227M|1058 | - |1973 | 12k| 0 | 0 | 0 |2317k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1629.44/1629.44 c 1545s| 2270k|976233 | 0 | 0.0 |1233M|1058 | - |1973 | 11k| 0 | 0 | 0 |2326k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1636.74/1636.79 c 1552s| 2280k|980058 | 0 | 0.0 |1239M|1058 | - |1973 | 12k| 0 | 0 | 0 |2335k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1644.54/1644.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1644.54/1644.55 c 1559s| 2290k|983543 | 0 | 0.0 |1245M|1058 | - |1973 | 12k| 0 | 0 | 0 |2345k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1652.74/1652.75 c 1567s| 2300k|986603 | 0 | 0.0 |1250M|1058 | - |1973 | 13k| 0 | 0 | 0 |2355k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1661.34/1661.34 c 1575s| 2310k|989408 | 0 | 0.0 |1256M|1058 | - |1973 | 13k| 0 | 0 | 0 |2366k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1671.03/1671.00 c 1584s| 2320k|991126 | 0 | 0.0 |1261M|1058 | - |1973 | 14k| 0 | 0 | 0 |2378k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1680.84/1680.82 c 1593s| 2330k|992852 | 0 | 0.0 |1266M|1058 | - |1973 | 14k| 0 | 0 | 0 |2391k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1690.93/1690.91 c 1603s| 2340k|994467 | 0 | 0.0 |1271M|1058 | - |1973 | 14k| 0 | 0 | 0 |2404k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1702.43/1702.44 c 1614s| 2350k|994970 | 0 | 0.0 |1275M|1058 | - |1973 | 15k| 0 | 0 | 0 |2419k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1716.04/1716.04 c 1627s| 2360k|994088 | 0 | 0.0 |1277M|1058 | - |1973 | 17k| 0 | 0 | 0 |2436k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1732.74/1732.70 c 1643s| 2370k|991446 | 0 | 0.0 |1273M|1058 | - |1973 | 12k| 0 | 0 | 0 |2456k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1736.44/1736.42 c 1646s| 2380k|999308 | 0 | 0.0 |1277M|1058 | - |1973 |5700 | 0 | 0 | 0 |2460k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1740.04/1740.02 c 1649s| 2390k| 1006k| 0 | 0.0 |1284M|1058 | - |1973 |6100 | 0 | 0 | 0 |2464k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1743.73/1743.74 c 1653s| 2400k| 1014k| 0 | 0.0 |1291M|1058 | - |1973 |6547 | 0 | 0 | 0 |2468k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1747.74/1747.79 c 1656s| 2410k| 1021k| 0 | 0.0 |1298M|1058 | - |1973 |6758 | 0 | 0 | 0 |2473k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1751.94/1751.92 c 1660s| 2420k| 1028k| 0 | 0.0 |1305M|1058 | - |1973 |6835 | 0 | 0 | 0 |2478k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1756.44/1756.45 c 1664s| 2430k| 1034k| 0 | 0.0 |1312M|1058 | - |1973 |6357 | 0 | 0 | 0 |2484k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1760.94/1760.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.94/1760.92 c 1668s| 2440k| 1041k| 0 | 0.0 |1319M|1058 | - |1973 |6311 | 0 | 0 | 0 |2490k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1765.34/1765.35 c 1672s| 2450k| 1047k| 0 | 0.0 |1326M|1058 | - |1973 |6179 | 0 | 0 | 0 |2495k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1770.04/1770.02 c 1677s| 2460k| 1054k| 0 | 0.0 |1333M|1058 | - |1973 |6541 | 0 | 0 | 0 |2502k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1774.94/1774.99 c 1681s| 2470k| 1059k| 0 | 0.0 |1339M|1058 | - |1973 |6756 | 0 | 0 | 0 |2508k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1780.14/1780.18 c 1686s| 2480k| 1065k| 0 | 0.0 |1346M|1058 | - |1973 |7363 | 0 | 0 | 0 |2515k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1785.64/1785.68 c 1691s| 2490k| 1070k| 0 | 0.0 |1352M|1058 | - |1973 |7811 | 0 | 0 | 0 |2523k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1791.54/1791.50 c 1696s| 2500k| 1075k| 0 | 0.0 |1358M|1058 | - |1973 |7980 | 0 | 0 | 0 |2531k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1797.14/1797.16 c 1701s| 2510k| 1080k| 0 | 0.0 |1364M|1058 | - |1973 |8879 | 0 | 0 | 0 |2539k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1704.07
1800.05/1800.00 c Solving Nodes : 2514702
1800.05/1800.00 c Primal Bound : +1.40000000000000e+01 (26 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.02 s SATISFIABLE
1800.05/1800.02 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.05/1800.02 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.02 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.02 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.02 v -x146 -x145 x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.05/1800.02 v -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.02 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.05/1800.02 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 -x54
1800.05/1800.02 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.05/1800.02 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.05/1800.02 v -x1
1800.05/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.02 c Solving Time : 1704.07
1800.05/1800.02 c Original Problem :
1800.05/1800.02 c Problem name : HOME/instance-2694204-1277910864.wbo
1800.05/1800.02 c Variables : 2085 (1158 binary, 0 integer, 0 implicit integer, 927 continuous)
1800.05/1800.02 c Constraints : 3635 initial, 3635 maximal
1800.05/1800.02 c Presolved Problem :
1800.05/1800.02 c Problem name : t_HOME/instance-2694204-1277910864.wbo
1800.05/1800.02 c Variables : 1973 (1102 binary, 0 integer, 0 implicit integer, 871 continuous)
1800.05/1800.02 c Constraints : 3465 initial, 32259 maximal
1800.05/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.02 c trivial : 0.00 56 0 0 0 0 0 0 0
1800.05/1800.02 c dualfix : 0.00 56 0 0 0 0 0 0 0
1800.05/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 0.01 0 0 0 0 0 56 0 0
1800.05/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.02 c linear : 0.05 0 0 0 929 0 114 56 0
1800.05/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c root node : - 651 - - 1302 - - - -
1800.05/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 871 0 5912379 0 1591481 1022 4873794 0 0 0
1800.05/1800.02 c knapsack : 1 0 8242382 0 2023966 158321 23168938 0 0 0
1800.05/1800.02 c setppc : 14 0 8113961 0 2023958 125837 5106808 0 0 0
1800.05/1800.02 c linear : 871 0 7989374 0 2024378 129196 10472056 0 0 0
1800.05/1800.02 c logicor : 1708+ 0 6017370 0 2024399 337823 15472733 0 0 0
1800.05/1800.02 c bounddisjunction : 0+ 0 118105 0 0 1 851 0 0 0
1800.05/1800.02 c countsols : 0 0 0 0 2024391 0 0 0 0 0
1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c indicator : 26.01 0.00 13.05 0.00 12.96
1800.05/1800.02 c knapsack : 83.49 0.00 80.17 0.00 3.32
1800.05/1800.02 c setppc : 26.23 0.00 23.16 0.00 3.07
1800.05/1800.02 c linear : 134.18 0.00 133.16 0.00 1.02
1800.05/1800.02 c logicor : 551.83 0.00 452.96 0.00 98.87
1800.05/1800.02 c bounddisjunction : 0.07 0.00 0.07 0.00 0.00
1800.05/1800.02 c countsols : 0.13 0.00 0.00 0.00 0.13
1800.05/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.02 c vbounds : 0.30 2 0 0
1800.05/1800.02 c rootredcost : 0.37 0 0 0
1800.05/1800.02 c pseudoobj : 164.67 8282694 8212 4633965
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 31.90 759390 759358 3631275 23.0 267314 9.2 -
1800.05/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c pseudo solution : 0.02 220 220 1071 19.8 209 10.0 -
1800.05/1800.02 c applied globally : - - - 2543161 19.8 - - -
1800.05/1800.02 c applied locally : - - - 37 122.9 - - -
1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.02 c redcost : 0.00 0 0 0 0 0
1800.05/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.02 c intobj : 0.00 0 0 0 0 0
1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.02 c gomory : 0.00 0 0 0 0 0
1800.05/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.02 c cmir : 0.00 0 0 0 0 0
1800.05/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.02 c clique : 0.00 0 0 0 0 0
1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.02 c mcf : 0.00 0 0 0 0 0
1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.02 c Pricers : Time Calls Vars
1800.05/1800.02 c problem variables: 0.00 0 0
1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c inference : 46.47 2024365 0 0 0 0 4048730
1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c random : 0.00 0 0 0 0 0 0
1800.05/1800.02 c Primal Heuristics : Time Calls Found
1800.05/1800.02 c LP solutions : 0.00 - 0
1800.05/1800.02 c pseudo solutions : 0.26 - 26
1800.05/1800.02 c oneopt : 0.15 0 0
1800.05/1800.02 c trivial : 0.00 2 0
1800.05/1800.02 c simplerounding : 0.00 0 0
1800.05/1800.02 c zirounding : 0.00 0 0
1800.05/1800.02 c rounding : 0.00 0 0
1800.05/1800.02 c shifting : 0.00 0 0
1800.05/1800.02 c intshifting : 0.00 0 0
1800.05/1800.02 c twoopt : 0.00 0 0
1800.05/1800.02 c fixandinfer : 0.00 0 0
1800.05/1800.02 c feaspump : 0.00 0 0
1800.05/1800.02 c coefdiving : 0.00 0 0
1800.05/1800.02 c pscostdiving : 0.00 0 0
1800.05/1800.02 c fracdiving : 0.00 0 0
1800.05/1800.02 c veclendiving : 0.00 0 0
1800.05/1800.02 c intdiving : 0.00 0 0
1800.05/1800.02 c actconsdiving : 0.00 0 0
1800.05/1800.02 c objpscostdiving : 0.00 0 0
1800.05/1800.02 c rootsoldiving : 0.00 0 0
1800.05/1800.02 c linesearchdiving : 0.00 0 0
1800.05/1800.02 c guideddiving : 0.00 0 0
1800.05/1800.02 c octane : 0.00 0 0
1800.05/1800.02 c rens : 0.00 0 0
1800.05/1800.02 c rins : 0.00 0 0
1800.05/1800.02 c localbranching : 0.00 0 0
1800.05/1800.02 c mutation : 0.00 0 0
1800.05/1800.02 c crossover : 0.00 0 0
1800.05/1800.02 c dins : 0.00 0 0
1800.05/1800.02 c undercover : 0.00 0 0
1800.05/1800.02 c nlp : 0.11 0 0
1800.05/1800.02 c trysol : 0.06 1 0
1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.02 c (at root node) : - 0 0 0.00 -
1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.02 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 2514702
1800.05/1800.02 c nodes (total) : 2514702
1800.05/1800.02 c nodes left : 1083145
1800.05/1800.02 c max depth : 1058
1800.05/1800.02 c max depth (total): 1058
1800.05/1800.02 c backtracks : 473789 (18.8%)
1800.05/1800.02 c delayed cutoffs : 383238
1800.05/1800.02 c repropagations : 1897308 (18322829 domain reductions, 270321 cutoffs)
1800.05/1800.02 c avg switch length: 24.36
1800.05/1800.02 c switching time : 520.86
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 26 (26 improvements)
1800.05/1800.02 c First Solution : +7.96000000000000e+02 (in run 1, after 24181 nodes, 7.97 seconds, depth 334, found by <relaxation>)
1800.05/1800.02 c Primal Bound : +1.40000000000000e+01 (in run 1, after 2137554 nodes, 1468.62 seconds, depth 432, found by <relaxation>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 0
OK 13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694204-1277910864/watcher-2694204-1277910864 -o /tmp/evaluation-result-2694204-1277910864/solver-2694204-1277910864 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694204-1277910864.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.23 2.68 2.67 4/178 17777 /proc/meminfo: memFree=30902216/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=8296 CPUtime=0 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 1552 0 0 0 0 0 0 0 25 0 1 0 132381534 8495104 1475 4089446400 4194304 7136930 140736848122416 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/17777/statm: 2074 1475 275 719 0 1353 0 [startup+0.00988705 s] /proc/loadavg: 2.23 2.68 2.67 4/178 17777 /proc/meminfo: memFree=30902216/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=9260 CPUtime=0 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 1790 0 0 0 0 0 0 0 25 0 1 0 132381534 9482240 1713 4089446400 4194304 7136930 140736848122416 18446744073709551615 4384764 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/17777/statm: 2315 1713 275 719 0 1594 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9260 [startup+0.10084 s] /proc/loadavg: 2.23 2.68 2.67 4/178 17777 /proc/meminfo: memFree=30902216/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=23236 CPUtime=0.09 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 7776 0 0 0 9 0 0 0 25 0 1 0 132381534 23793664 5032 4089446400 4194304 7136930 140736848122416 18446744073709551615 4333569 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17777/statm: 5809 5032 368 719 0 5088 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23236 [startup+0.300804 s] /proc/loadavg: 2.23 2.68 2.67 4/178 17777 /proc/meminfo: memFree=30902216/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=24208 CPUtime=0.29 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 9621 0 0 0 28 1 0 0 25 0 1 0 132381534 24788992 5335 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17777/statm: 6052 5335 399 719 0 5331 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24208 [startup+0.700733 s] /proc/loadavg: 2.23 2.68 2.67 4/178 17777 /proc/meminfo: memFree=30902216/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=26396 CPUtime=0.69 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 10172 0 0 0 66 3 0 0 25 0 1 0 132381534 27029504 5886 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17777/statm: 6599 5886 404 719 0 5878 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26396 [startup+1.50059 s] /proc/loadavg: 2.21 2.67 2.67 3/179 17778 /proc/meminfo: memFree=30876416/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=28124 CPUtime=1.49 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 10606 0 0 0 143 6 0 0 25 0 1 0 132381534 28798976 6320 4089446400 4194304 7136930 140736848122416 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17777/statm: 7031 6320 404 719 0 6310 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28124 [startup+3.10029 s] /proc/loadavg: 2.21 2.67 2.67 3/179 17778 /proc/meminfo: memFree=30870340/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=33800 CPUtime=3.09 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 12046 0 0 0 298 11 0 0 25 0 1 0 132381534 34611200 7760 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17777/statm: 8450 7760 404 719 0 7729 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33800 [startup+6.3007 s] /proc/loadavg: 2.21 2.67 2.67 3/179 17778 /proc/meminfo: memFree=30852656/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=44232 CPUtime=6.29 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 14669 0 0 0 609 20 0 0 25 0 1 0 132381534 45293568 10383 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17777/statm: 11058 10383 404 719 0 10337 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44232 [startup+12.7005 s] /proc/loadavg: 2.18 2.64 2.66 3/179 17779 /proc/meminfo: memFree=30819180/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=61932 CPUtime=12.69 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 19089 0 0 0 1228 41 0 0 25 0 1 0 132381534 63418368 14803 4089446400 4194304 7136930 140736848122416 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17777/statm: 15483 14803 405 719 0 14762 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61932 [startup+25.5002 s] /proc/loadavg: 2.15 2.62 2.65 3/179 17779 /proc/meminfo: memFree=30757232/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=92700 CPUtime=25.5 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 26808 0 0 0 2472 78 0 0 25 0 1 0 132381534 94924800 22522 4089446400 4194304 7136930 140736848122416 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17777/statm: 23175 22522 405 719 0 22454 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 92700 [startup+51.1004 s] /proc/loadavg: 2.09 2.56 2.63 3/179 17780 /proc/meminfo: memFree=30688380/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=135752 CPUtime=51.09 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 37058 0 0 0 4974 135 0 0 25 0 1 0 132381534 139010048 32772 4089446400 4194304 7136930 140736848122416 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17777/statm: 33938 32772 405 719 0 33217 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 135752 [startup+102.306 s] /proc/loadavg: 2.04 2.47 2.60 3/179 17781 /proc/meminfo: memFree=30500232/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=266028 CPUtime=102.3 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 67501 0 0 0 9955 275 0 0 25 0 1 0 132381534 272412672 63215 4089446400 4194304 7136930 140736848122416 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17777/statm: 66507 63215 407 719 0 65786 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 266028 [startup+162.301 s] /proc/loadavg: 2.01 2.38 2.56 3/179 17782 /proc/meminfo: memFree=30328924/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=347340 CPUtime=162.29 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 87948 0 0 0 15810 419 0 0 25 0 1 0 132381534 355676160 83662 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17777/statm: 86835 83662 407 719 0 86114 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 347340 [startup+222.301 s] /proc/loadavg: 2.00 2.31 2.52 3/179 17784 /proc/meminfo: memFree=30172744/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=415444 CPUtime=222.29 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 103840 0 0 0 21703 526 0 0 25 0 1 0 132381534 425414656 99554 4089446400 4194304 7136930 140736848122416 18446744073709551615 4644701 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17777/statm: 103861 99554 407 719 0 103140 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 415444 [startup+282.301 s] /proc/loadavg: 2.09 2.27 2.49 4/200 17873 /proc/meminfo: memFree=30393432/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=470400 CPUtime=282.29 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 116927 0 0 0 27462 767 0 0 25 0 1 0 132381534 481689600 112614 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 117600 112614 407 719 0 116879 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 470400 [startup+342.301 s] /proc/loadavg: 2.74 2.42 2.52 4/200 17877 /proc/meminfo: memFree=30275136/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=571692 CPUtime=342.3 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 140928 0 0 0 33007 1223 0 0 25 0 1 0 132381534 585412608 136615 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 142923 136615 407 719 0 142202 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 571692 [startup+402.301 s] /proc/loadavg: 2.86 2.50 2.55 3/200 17878 /proc/meminfo: memFree=30186896/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=646420 CPUtime=402.3 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 159398 0 0 0 38573 1657 0 0 25 0 1 0 132381534 661934080 155085 4089446400 4194304 7136930 140736848122416 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 161605 155085 407 719 0 160884 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 646420 [startup+462.301 s] /proc/loadavg: 2.71 2.53 2.55 4/200 17880 /proc/meminfo: memFree=30102272/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=711092 CPUtime=462.29 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 175730 0 0 0 44229 2000 0 0 25 0 1 0 132381534 728158208 171417 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 177773 171417 407 719 0 177052 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 711092 [startup+522.301 s] /proc/loadavg: 2.81 2.60 2.57 4/200 17881 /proc/meminfo: memFree=29991336/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=821468 CPUtime=522.3 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 200913 0 0 0 49694 2536 0 0 25 0 1 0 132381534 841183232 196600 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 205367 196600 407 719 0 204646 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 821468 [startup+582.3 s] /proc/loadavg: 2.83 2.64 2.58 4/200 17883 /proc/meminfo: memFree=29932240/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=867572 CPUtime=582.3 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 212473 0 0 0 55411 2819 0 0 25 0 1 0 132381534 888393728 208160 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 216893 208160 407 719 0 216172 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 867572 [startup+642.3 s] /proc/loadavg: 2.85 2.67 2.59 4/200 17885 /proc/meminfo: memFree=29894496/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=891248 CPUtime=642.3 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 218332 0 0 0 61199 3031 0 0 25 0 1 0 132381534 912637952 214019 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 222812 214019 407 719 0 222091 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 891248 [startup+702.3 s] ################ # More data... # ################ /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 262795 0 0 0 95601 4631 0 0 25 0 1 0 132381534 1104244736 258482 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 269591 258482 407 719 0 268870 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1078364 [startup+1062.3 s] /proc/loadavg: 2.70 2.78 2.67 7/200 17898 /proc/meminfo: memFree=29575276/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1134332 CPUtime=1062.32 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 276395 0 0 0 101295 4937 0 0 25 0 1 0 132381534 1161555968 272082 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 283583 272082 407 719 0 282862 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1134332 [startup+1122.3 s] /proc/loadavg: 2.66 2.75 2.67 3/200 17900 /proc/meminfo: memFree=29495488/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1197108 CPUtime=1122.31 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 291223 0 0 0 107007 5224 0 0 25 0 1 0 132381534 1225838592 286910 4089446400 4194304 7136930 140736848122416 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 299277 286910 407 719 0 298556 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1197108 [startup+1182.3 s] /proc/loadavg: 2.76 2.77 2.67 4/200 17902 /proc/meminfo: memFree=29434184/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1254800 CPUtime=1182.32 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 304522 0 0 0 112751 5481 0 0 25 0 1 0 132381534 1284915200 300209 4089446400 4194304 7136930 140736848122416 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 313700 300209 407 719 0 312979 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1254800 [startup+1242.3 s] /proc/loadavg: 3.20 2.86 2.71 3/200 17904 /proc/meminfo: memFree=29397172/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1282572 CPUtime=1242.32 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 311440 0 0 0 118444 5788 0 0 25 0 1 0 132381534 1313353728 307127 4089446400 4194304 7136930 140736848122416 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 320643 307127 407 719 0 319922 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1282572 [startup+1302.3 s] /proc/loadavg: 2.47 2.71 2.67 3/179 17935 /proc/meminfo: memFree=29606732/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1313484 CPUtime=1302.33 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 319212 0 0 0 124094 6139 0 0 25 0 1 0 132381534 1345007616 314899 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 328371 314899 407 719 0 327650 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1313484 [startup+1362.3 s] /proc/loadavg: 2.17 2.58 2.62 3/179 17936 /proc/meminfo: memFree=29395500/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1362540 CPUtime=1362.32 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 331452 0 0 0 129604 6628 0 0 25 0 1 0 132381534 1395240960 327139 4089446400 4194304 7136930 140736848122416 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 340635 327139 407 719 0 339914 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1362540 [startup+1422.31 s] /proc/loadavg: 2.06 2.47 2.58 3/179 17938 /proc/meminfo: memFree=29298716/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1413176 CPUtime=1422.33 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 344276 0 0 0 135144 7089 0 0 25 0 1 0 132381534 1447092224 339963 4089446400 4194304 7136930 140736848122416 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 353294 339963 407 719 0 352573 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1413176 [startup+1482.3 s] /proc/loadavg: 2.02 2.38 2.54 3/179 17940 /proc/meminfo: memFree=29113052/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1461672 CPUtime=1482.33 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 356545 0 0 0 140735 7498 0 0 25 0 1 0 132381534 1496752128 352232 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 365418 352232 407 719 0 364697 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1461672 [startup+1542.3 s] /proc/loadavg: 2.01 2.31 2.50 3/179 17942 /proc/meminfo: memFree=28972640/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1484072 CPUtime=1542.33 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 362158 0 0 0 146425 7808 0 0 25 0 1 0 132381534 1519689728 357845 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 371018 357845 407 719 0 370297 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1484072 [startup+1602.3 s] /proc/loadavg: 2.00 2.25 2.47 3/179 17943 /proc/meminfo: memFree=28914792/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1516372 CPUtime=1602.33 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 370397 0 0 0 151982 8251 0 0 25 0 1 0 132381534 1552764928 366084 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 379093 366084 407 719 0 378372 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1516372 [startup+1662.3 s] /proc/loadavg: 2.00 2.20 2.44 3/179 17945 /proc/meminfo: memFree=28733692/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1576952 CPUtime=1662.34 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 381502 0 0 0 157582 8652 0 0 25 0 1 0 132381534 1614798848 377189 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 394238 377189 407 719 0 393517 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1576952 [startup+1722.3 s] /proc/loadavg: 2.00 2.16 2.41 3/179 17946 /proc/meminfo: memFree=28666928/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1600776 CPUtime=1722.34 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 387530 0 0 0 163291 8943 0 0 25 0 1 0 132381534 1639194624 383217 4089446400 4194304 7136930 140736848122416 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 400194 383217 407 719 0 399473 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1600776 [startup+1782.3 s] /proc/loadavg: 2.00 2.13 2.38 3/179 17948 /proc/meminfo: memFree=28522420/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1663116 CPUtime=1782.34 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 403416 0 0 0 168776 9458 0 0 25 0 1 0 132381534 1703030784 399103 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 415779 399103 407 719 0 415058 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1663116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.12 2.37 3/179 17948 /proc/meminfo: memFree=28436712/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1684192 CPUtime=1800.05 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 408746 0 0 0 170409 9596 0 0 25 0 1 0 132381534 1724612608 404433 4089446400 4194304 7136930 140736848122416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17777/statm: 421048 404433 407 719 0 420327 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1684192 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17777 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.12 2.37 3/180 17949 /proc/meminfo: memFree=28436704/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1684192 CPUtime=1801.44 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 408751 0 0 0 170548 9596 0 0 20 0 1 0 132381534 1724612608 404438 4089446400 4194304 7136930 140736848122416 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/17777/statm: 421048 404438 412 719 0 420327 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 1684192 [startup+1801.81 s] /proc/loadavg: 2.00 2.12 2.37 3/180 17949 /proc/meminfo: memFree=28436704/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1684192 CPUtime=1801.85 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 408751 0 0 0 170589 9596 0 0 20 0 1 0 132381534 1724612608 404438 4089446400 4194304 7136930 140736848122416 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/17777/statm: 421048 404438 412 719 0 420327 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1684192 [startup+1802 s] /proc/loadavg: 2.00 2.12 2.37 3/180 17949 /proc/meminfo: memFree=28436704/32951124 swapFree=67111528/67111528 [pid=17777] ppid=17775 vsize=1684192 CPUtime=1802.04 /proc/17777/stat : 17777 (pbscip.linux.x8) R 17775 17777 17705 0 -1 4202496 408751 0 0 0 170608 9596 0 0 21 0 1 0 132381534 1724612608 404438 4089446400 4194304 7136930 140736848122416 18446744073709551615 6165639 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/17777/statm: 421048 404438 412 719 0 420327 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1684192 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.11 CPU user time (s): 1706.09 CPU system time (s): 96.0184 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1684192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1706.09 system time used= 96.0184 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 408751 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= 18434 runsolver used 3.00654 second user time and 6.07508 second system time The end
Begin job on node147 at 2010-06-30 17:14:24 IDJOB=2694204 IDBENCH=78981 IDSOLVER=1206 FILE ID=node147/2694204-1277910864 PBS_JOBID= 11197262 Free space on /tmp= 74196 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.1900563801--soft-66-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-2694204-1277910864/watcher-2694204-1277910864 -o /tmp/evaluation-result-2694204-1277910864/solver-2694204-1277910864 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694204-1277910864.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8222df718f0c39737e94bfab6b6fa003 RANDOM SEED=1123075373 node147.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.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.822 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.822 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.84 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.822 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.822 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.822 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.822 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: 30902992 kB Buffers: 196996 kB Cached: 1501804 kB SwapCached: 0 kB Active: 688688 kB Inactive: 1214952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30902992 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3132 kB Writeback: 0 kB AnonPages: 204356 kB Mapped: 15004 kB Slab: 80996 kB PageTables: 4440 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 347132 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= 74192 MiB End job on node147 at 2010-06-30 17:44:26