Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | OPTIMUM | 259.88 | 259.936 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-0-100-0.wbo |
| MD5SUM | d41d4dcc01415e574abb081114a32401 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 16 |
| Best CPU time to get the best result obtained on this benchmark | 0.036993 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 2355 |
| Total number of constraints | 6744 |
| Number of soft constraints | 6744 |
| Number of constraints which are clauses | 6568 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 176 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 9 |
| Top cost | 341452 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 341451 |
| Biggest number in a constraint | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 62 |
| Number of bits of the biggest sum of numbers | 6 |
| 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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3717386-1338201577.wbo>
0.02/0.03 c original problem has 9099 variables (9099 bin, 0 int, 0 impl, 0 cont) and 6745 constraints
0.02/0.03 c problem read in 0.03
0.08/0.12 o 341451
0.08/0.12 c feasible solution found by trivial heuristic, objective value 3.414510e+05
0.08/0.12 c presolving:
0.08/0.15 c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 88 chg sides, 176 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.08/0.17 c (round 2) 0 del vars, 1 del conss, 0 add conss, 6744 chg bounds, 88 chg sides, 176 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.23 c (0.2s) probing: 51/9099 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.19/0.24 c presolving (3 rounds):
0.19/0.24 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 6744 tightened bounds, 0 added holes, 88 changed sides, 176 changed coefficients
0.19/0.24 c 6744 implications, 0 cliques
0.19/0.24 c presolved problem has 15843 variables (9099 bin, 0 int, 6744 impl, 0 cont) and 13488 constraints
0.19/0.24 c 6744 constraints of type <linear>
0.19/0.24 c 6744 constraints of type <indicator>
0.19/0.24 c transformed objective value is always integral (scale: 1)
0.19/0.24 c Presolving Time: 0.19
0.19/0.24 c - non default parameters ----------------------------------------------------------------------
0.19/0.24 c # SCIP version 2.1.1.4
0.19/0.24 c
0.19/0.24 c # maximal time in seconds to run
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/time = 1797
0.19/0.24 c
0.19/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/memory = 13950
0.19/0.24 c
0.19/0.24 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.24 c # [type: int, range: [1,2], default: 1]
0.19/0.24 c timing/clocktype = 2
0.19/0.24 c
0.19/0.24 c # belongs reading time to solving time?
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c timing/reading = TRUE
0.19/0.24 c
0.19/0.24 c # force restart if we have a max FS instance and gap is 1?
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/indicator/forcerestart = TRUE
0.19/0.24 c
0.19/0.24 c # priority of branching rule <inference>
0.19/0.24 c # [type: int, range: [-536870912,536870911], default: 1000]
0.19/0.24 c branching/inference/priority = 1000000
0.19/0.24 c
0.19/0.24 c # frequency offset for calling primal heuristic <coefdiving>
0.19/0.24 c # [type: int, range: [0,2147483647], default: 1]
0.19/0.24 c heuristics/coefdiving/freqofs = 0
0.19/0.24 c
0.19/0.24 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.24 c heuristics/shiftandpropagate/freq = -1
0.19/0.24 c
0.19/0.24 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.24 c heuristics/undercover/freq = -1
0.19/0.24 c
0.19/0.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24 c separating/rapidlearning/freq = 0
0.19/0.24 c
0.19/0.24 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24 c heuristics/indrounding/freq = 1
0.19/0.24 c
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c start solving
0.19/0.26 c
0.19/0.27 o 8882
0.19/0.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.27 c 6 0.3s| 1 | 0 | 0 | - | 40M| 0 | - | 15k| 13k| 0 | 0 | 0 | 0 | 0 | -- | 8.882000e+03 | Inf
1.38/1.43 o 1845
1.38/1.43 c 6 1.4s| 1 | 0 | 0 | - | 40M| 0 | - | 15k| 13k| 0 | 0 | 0 | 0 | 0 | -- | 1.845000e+03 | Inf
1.59/1.61 c 1.6s| 1 | 0 | 1586 | - | 52M| 0 | 592 | 15k| 13k| 15k| 13k| 0 | 0 | 0 | 4.000000e+00 | 1.845000e+03 | Large
1.69/1.77 o 1212
1.69/1.77 c 6 1.8s| 1 | 0 | 1586 | - | 53M| 0 | 592 | 15k| 13k| 15k| 13k| 0 | 0 | 0 | 4.000000e+00 | 1.212000e+03 | Large
2.38/2.45 c 2.5s| 1 | 0 | 2295 | - | 53M| 0 | 646 | 15k| 13k| 15k| 13k| 13 | 0 | 0 | 1.600000e+01 | 1.212000e+03 |7475.00%
2.48/2.50 o 1205
2.48/2.50 c 6 2.5s| 1 | 0 | 2295 | - | 54M| 0 | 646 | 15k| 13k| 15k| 13k| 13 | 0 | 0 | 1.600000e+01 | 1.205000e+03 |7431.25%
3.69/3.76 c 3.8s| 1 | 0 | 3047 | - | 54M| 0 | 668 | 15k| 13k| 15k| 13k| 56 | 0 | 0 | 1.600000e+01 | 1.205000e+03 |7431.25%
4.49/4.53 c 4.5s| 1 | 0 | 3671 | - | 55M| 0 | 693 | 15k| 13k| 15k| 13k| 96 | 0 | 0 | 1.600000e+01 | 1.205000e+03 |7431.25%
7.49/7.52 c 7.5s| 1 | 0 | 6520 | - | 55M| 0 | 807 | 15k| 13k| 15k| 13k| 141 | 0 | 0 | 1.600000e+01 | 1.205000e+03 |7431.25%
8.48/8.58 c 8.6s| 1 | 0 | 7293 | - | 56M| 0 | 809 | 15k| 13k| 15k| 13k| 184 | 0 | 0 | 1.600000e+01 | 1.205000e+03 |7431.25%
10.68/10.70 c 10.7s| 1 | 0 | 7882 | - | 56M| 0 | 808 | 15k| 13k| 15k| 13k| 218 | 0 | 0 | 1.600000e+01 | 1.205000e+03 |7431.25%
18.18/18.29 c 18.3s| 1 | 2 | 19202 | - | 58M| 0 | 808 | 15k| 13k| 15k| 13k| 218 | 3 | 0 | 1.600000e+01 | 1.205000e+03 |7431.25%
30.38/30.45 o 1200
30.38/30.45 c v30.5s| 25 | 26 | 54212 |1930.4 | 65M| 17 | - | 15k| 13k| 15k| 13k| 218 | 3 | 0 | 1.600000e+01 | 1.200000e+03 |7400.00%
30.79/30.85 o 770
30.79/30.86 c 630.9s| 25 | 26 | 54415 |1938.9 | 66M| 17 | 888 | 15k| 13k| 15k| 13k| 218 | 3 | 0 | 1.600000e+01 | 7.700000e+02 |4712.50%
81.47/81.52 o 760
81.47/81.52 c o81.5s| 27 | 28 |175688 |6454.1 | 82M| 17 | 10 | 15k| 13k| 15k| 13k| 218 | 3 | 0 | 1.600000e+01 | 7.600000e+02 |4650.00%
83.47/83.58 o 737
83.47/83.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.47/83.58 c o83.6s| 27 | 28 |180872 |6653.5 | 83M| 17 | 9 | 15k| 13k| 15k| 13k| 218 | 3 | 0 | 1.600000e+01 | 7.370000e+02 |4506.25%
84.87/84.93 o 716
84.87/84.93 c o84.9s| 27 | 28 |184149 |6779.5 | 83M| 17 | 8 | 15k| 13k| 15k| 13k| 218 | 3 | 0 | 1.600000e+01 | 7.160000e+02 |4375.00%
85.97/86.01 o 657
85.97/86.01 c o86.0s| 27 | 28 |186828 |6882.5 | 83M| 17 | 7 | 15k| 13k| 15k| 13k| 218 | 3 | 0 | 1.600000e+01 | 6.570000e+02 |4006.25%
87.77/87.83 o 644
87.77/87.83 c o87.8s| 27 | 28 |190833 |7036.6 | 83M| 17 | 6 | 15k| 13k| 15k| 13k| 218 | 3 | 0 | 1.600000e+01 | 6.440000e+02 |3925.00%
88.97/89.09 o 569
88.97/89.09 c o89.1s| 27 | 28 |193880 |7153.8 | 84M| 17 | 5 | 15k| 13k| 15k| 13k| 218 | 3 | 0 | 1.600000e+01 | 5.690000e+02 |3456.25%
89.17/89.22 o 567
89.17/89.22 c o89.2s| 27 | 28 |194214 |7166.6 | 84M| 17 | 4 | 15k| 13k| 15k| 13k| 218 | 3 | 0 | 1.600000e+01 | 5.670000e+02 |3443.75%
101.47/101.59 o 361
101.47/101.59 c 6 102s| 27 | 28 |221738 |8225.2 | 89M| 17 | 811 | 15k| 13k| 15k| 13k| 218 | 3 | 0 | 1.600000e+01 | 3.610000e+02 |2156.25%
127.36/127.44 o 294
127.36/127.44 c g 127s| 43 | 44 |281664 |6518.6 | 92M| 19 | - | 15k| 13k| 15k| 13k| 218 | 14 | 0 | 1.600000e+01 | 2.940000e+02 |1737.50%
127.57/127.66 o 224
127.57/127.66 c 6 128s| 44 | 43 |281750 |6369.0 | 91M| 19 | - | 15k| 13k| 0 | 0 | 218 | 17 | 0 | 1.600000e+01 | 2.240000e+02 |1300.00%
127.66/127.71 o 208
127.66/127.71 c 6 128s| 44 | 43 |281754 |6369.1 | 91M| 19 | 885 | 15k| 13k| 15k| 13k| 218 | 17 | 0 | 1.600000e+01 | 2.080000e+02 |1200.00%
156.66/156.79 c 157s| 100 | 101 |360929 |3566.1 | 93M| 19 | 831 | 15k| 13k| 15k| 13k| 218 | 46 | 0 | 1.600000e+01 | 2.080000e+02 |1200.00%
192.85/192.91 c 193s| 200 | 201 |453655 |2240.1 | 94M| 46 | 212 | 15k| 13k| 15k| 13k| 218 | 72 | 0 | 1.600000e+01 | 2.080000e+02 |1200.00%
197.55/197.62 o 126
197.55/197.62 c C 198s| 244 | 208 |464570 |1879.4 | 94M| 56 | - | 15k| 13k| 15k| 13k| 218 | 72 | 0 | 1.600000e+01 | 1.260000e+02 | 687.50%
197.65/197.72 o 53
197.65/197.72 c 6 198s| 245 | 126 |464570 |1871.7 | 93M| 56 | - | 15k| 13k| 0 | 0 | 218 | 72 | 0 | 1.600000e+01 | 5.300000e+01 | 231.25%
200.35/200.43 c 200s| 300 | 154 |469213 |1542.9 | 92M| 56 | 647 | 15k|9257 | 15k| 13k| 218 | 137 | 0 | 1.600000e+01 | 5.300000e+01 | 231.25%
211.95/212.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.95/212.01 c 212s| 400 | 164 |495855 |1223.0 | 92M| 56 | 621 | 15k|9404 | 15k| 13k| 218 | 284 | 0 | 1.600000e+01 | 5.300000e+01 | 231.25%
221.25/221.35 c 221s| 500 | 188 |513389 |1013.0 | 93M| 56 | - | 15k|9581 | 0 | 0 | 218 | 461 | 0 | 1.600000e+01 | 5.300000e+01 | 231.25%
226.84/226.94 o 52
226.84/226.94 c 5 227s| 564 | 197 |523157 | 915.2 | 94M| 56 | 3 | 15k|9723 | 15k| 13k| 218 | 604 | 0 | 1.600000e+01 | 5.200000e+01 | 225.00%
226.94/227.06 o 48
226.94/227.06 c z 227s| 566 | 190 |523159 | 912.0 | 93M| 57 | - | 15k|9662 | 15k| 13k| 218 | 614 | 0 | 1.600000e+01 | 4.800000e+01 | 200.00%
227.34/227.40 o 44
227.34/227.40 c * 227s| 577 | 175 |523264 | 894.8 | 93M| 57 | - | 15k|9422 | 15k| 13k| 218 | 633 | 0 | 1.600000e+01 | 4.400000e+01 | 175.00%
232.14/232.27 c 232s| 600 | 183 |536014 | 881.7 | 93M| 57 | - | 15k|9120 | 15k| 13k| 218 | 651 | 0 | 1.600000e+01 | 4.400000e+01 | 175.00%
245.04/245.18 c 245s| 700 | 252 |566144 | 798.7 | 93M| 57 | 206 | 15k|9189 | 15k| 13k| 218 | 740 | 0 | 1.600000e+01 | 4.400000e+01 | 175.00%
245.54/245.62 o 43
245.54/245.62 c z 246s| 716 | 253 |566478 | 781.3 | 94M| 57 | - | 15k|9214 | 15k| 13k| 218 | 765 | 0 | 1.600000e+01 | 4.300000e+01 | 168.75%
245.54/245.66 o 37
245.54/245.66 c 6 246s| 717 | 242 |566478 | 780.2 | 94M| 57 | - | 15k|9214 | 0 | 0 | 218 | 765 | 0 | 1.600000e+01 | 3.700000e+01 | 131.25%
246.14/246.25 o 36
246.14/246.25 c s 246s| 731 | 235 |567265 | 766.3 | 94M| 57 | - | 15k|8798 | 15k| 13k| 218 | 785 | 0 | 1.600000e+01 | 3.600000e+01 | 125.00%
246.14/246.27 o 30
246.14/246.27 c 6 246s| 731 | 220 |567265 | 766.3 | 94M| 57 | - | 15k|8798 | 15k| 13k| 218 | 785 | 0 | 1.600000e+01 | 3.000000e+01 | 87.50%
246.84/246.95 o 29
246.84/246.95 c s 247s| 756 | 217 |567897 | 741.7 | 93M| 57 | - | 15k|8320 | 15k| 13k| 218 | 797 | 0 | 1.600000e+01 | 2.900000e+01 | 81.25%
247.04/247.18 o 28
247.04/247.18 c z 247s| 766 | 217 |567948 | 732.1 | 93M| 57 | - | 15k|8251 | 15k| 13k| 218 | 797 | 0 | 1.600000e+01 | 2.800000e+01 | 75.00%
247.64/247.72 o 26
247.64/247.72 c R 248s| 788 | 217 |568434 | 712.3 | 92M| 57 | - | 15k|8184 | 15k| 13k| 218 | 813 | 0 | 1.600000e+01 | 2.600000e+01 | 62.50%
247.64/247.74 c Forcing restart, since 6070 binary variables among 6744 have been fixed.
247.64/247.75 c (run 1, node 789) performing user restart
247.64/247.75 c
247.64/247.77 c (restart) converted 6810 cuts from the global cut pool into linear constraints
247.64/247.77 c
247.73/247.85 c presolving:
248.04/248.12 c (round 1) 12425 del vars, 6564 del conss, 0 add conss, 210 chg bounds, 5 chg sides, 83 chg coeffs, 0 upgd conss, 126089 impls, 1 clqs
248.04/248.14 c (round 2) 12472 del vars, 6904 del conss, 0 add conss, 229 chg bounds, 5 chg sides, 93 chg coeffs, 0 upgd conss, 129401 impls, 1 clqs
248.04/248.16 c (round 3) 12483 del vars, 7102 del conss, 0 add conss, 229 chg bounds, 5 chg sides, 93 chg coeffs, 39 upgd conss, 129511 impls, 1 clqs
248.04/248.16 c (round 4) 12485 del vars, 7131 del conss, 0 add conss, 229 chg bounds, 5 chg sides, 93 chg coeffs, 39 upgd conss, 129511 impls, 1 clqs
248.14/248.22 c (round 5) 12485 del vars, 7139 del conss, 0 add conss, 229 chg bounds, 6 chg sides, 93 chg coeffs, 6218 upgd conss, 129511 impls, 1 clqs
248.14/248.26 c (round 6) 12485 del vars, 7144 del conss, 0 add conss, 229 chg bounds, 6 chg sides, 93 chg coeffs, 6235 upgd conss, 129511 impls, 1 clqs
248.14/248.29 c (round 7) 12485 del vars, 7152 del conss, 0 add conss, 229 chg bounds, 6 chg sides, 93 chg coeffs, 6235 upgd conss, 129511 impls, 1 clqs
248.23/248.32 c (round 8) 12485 del vars, 11479 del conss, 1441 add conss, 229 chg bounds, 6 chg sides, 93 chg coeffs, 6235 upgd conss, 129511 impls, 1 clqs
248.23/248.35 c (round 9) 12524 del vars, 11556 del conss, 1518 add conss, 229 chg bounds, 6 chg sides, 93 chg coeffs, 6235 upgd conss, 131707 impls, 4 clqs
248.23/248.37 c (round 10) 12527 del vars, 11565 del conss, 1518 add conss, 229 chg bounds, 6 chg sides, 96 chg coeffs, 6237 upgd conss, 131707 impls, 81 clqs
248.23/248.39 c (round 11) 12533 del vars, 11608 del conss, 1560 add conss, 229 chg bounds, 6 chg sides, 96 chg coeffs, 6237 upgd conss, 131785 impls, 82 clqs
248.34/248.40 c (round 12) 12534 del vars, 11624 del conss, 1566 add conss, 229 chg bounds, 6 chg sides, 96 chg coeffs, 6237 upgd conss, 131785 impls, 87 clqs
248.44/248.58 c (round 13) 12546 del vars, 11639 del conss, 1567 add conss, 229 chg bounds, 6 chg sides, 96 chg coeffs, 6237 upgd conss, 133525 impls, 87 clqs
248.63/248.77 c (round 14) 12552 del vars, 11645 del conss, 1567 add conss, 229 chg bounds, 6 chg sides, 96 chg coeffs, 6237 upgd conss, 134487 impls, 87 clqs
248.84/248.94 c presolving (15 rounds):
248.84/248.94 c 12552 deleted vars, 11645 deleted constraints, 1567 added constraints, 229 tightened bounds, 0 added holes, 6 changed sides, 96 changed coefficients
248.84/248.95 c 134487 implications, 87 cliques
248.84/248.95 c presolved problem has 3291 variables (2668 bin, 0 int, 623 impl, 0 cont) and 4919 constraints
248.84/248.95 c 623 constraints of type <varbound>
248.84/248.95 c 176 constraints of type <knapsack>
248.84/248.95 c 869 constraints of type <setppc>
248.84/248.95 c 1288 constraints of type <and>
248.84/248.95 c 644 constraints of type <linear>
248.84/248.95 c 623 constraints of type <indicator>
248.84/248.95 c 511 constraints of type <logicor>
248.84/248.95 c 185 constraints of type <bounddisjunction>
248.84/248.95 c transformed objective value is always integral (scale: 1)
248.84/248.95 c Presolving Time: 1.34
248.84/248.95 c
248.94/249.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.94/249.03 c 249s| 1 | 0 |569012 | - | 89M| 0 | 318 |3291 |4919 |3291 |5805 | 0 | 817 | 0 | 1.600000e+01 | 2.600000e+01 | 62.50%
254.14/254.22 c 254s| 1 | 0 |569703 | - | 90M| 0 | 495 |3291 |6700 |3291 |6093 | 318 | 817 | 0 | 1.600000e+01 | 2.600000e+01 | 62.50%
254.14/254.22 c 254s| 1 | 2 |569703 | - | 90M| 0 | 495 |3291 |6700 |3291 |6093 | 318 | 817 | 0 | 1.600000e+01 | 2.600000e+01 | 62.50%
255.74/255.82 o 24
255.74/255.82 c * 256s| 51 | 41 |576123 | 675.8 | 91M| 36 | - |3291 |6722 |3291 |5676 | 847 | 839 | 0 | 1.600000e+01 | 2.400000e+01 | 50.00%
255.74/255.82 o 20
255.74/255.82 c 6 256s| 51 | 37 |576123 | 675.8 | 91M| 36 | - |3291 |6722 |3291 |5676 | 847 | 839 | 0 | 1.600000e+01 | 2.000000e+01 | 25.00%
255.94/256.09 o 17
255.94/256.09 c Forcing restart, since the absolute gap is 1.000000.
255.94/256.09 c * 256s| 70 | 36 |576953 | 661.8 | 90M| 37 | - |3291 |5759 |3291 |5697 | 915 | 852 | 0 | 1.600000e+01 | 1.700000e+01 | 6.25%
255.94/256.09 c (run 2, node 70) performing user restart
255.94/256.09 c
256.04/256.10 c (restart) converted 704 cuts from the global cut pool into linear constraints
256.04/256.10 c
256.04/256.11 c presolving:
256.04/256.14 c (round 1) 879 del vars, 1306 del conss, 0 add conss, 20 chg bounds, 2 chg sides, 19 chg coeffs, 0 upgd conss, 147527 impls, 89 clqs
256.04/256.15 c (round 2) 938 del vars, 1387 del conss, 0 add conss, 28 chg bounds, 2 chg sides, 28 chg coeffs, 15 upgd conss, 148583 impls, 86 clqs
256.04/256.15 c (round 3) 959 del vars, 1417 del conss, 0 add conss, 28 chg bounds, 2 chg sides, 37 chg coeffs, 18 upgd conss, 149055 impls, 86 clqs
256.04/256.17 c (round 4) 978 del vars, 1445 del conss, 17 add conss, 28 chg bounds, 2 chg sides, 37 chg coeffs, 18 upgd conss, 150803 impls, 86 clqs
256.14/256.20 c (round 5) 982 del vars, 1984 del conss, 17 add conss, 28 chg bounds, 2 chg sides, 38 chg coeffs, 919 upgd conss, 150803 impls, 98 clqs
256.24/256.38 c (round 6) 988 del vars, 2214 del conss, 32 add conss, 28 chg bounds, 4 chg sides, 44 chg coeffs, 919 upgd conss, 153497 impls, 99 clqs
256.44/256.56 c (round 7) 991 del vars, 2229 del conss, 32 add conss, 28 chg bounds, 4 chg sides, 45 chg coeffs, 919 upgd conss, 153755 impls, 101 clqs
256.63/256.73 c (round 8) 991 del vars, 3150 del conss, 338 add conss, 29 chg bounds, 4 chg sides, 45 chg coeffs, 919 upgd conss, 153755 impls, 101 clqs
256.63/256.74 c (round 9) 1025 del vars, 3185 del conss, 338 add conss, 31 chg bounds, 4 chg sides, 67 chg coeffs, 922 upgd conss, 154087 impls, 104 clqs
256.63/256.75 c (round 10) 1039 del vars, 3219 del conss, 365 add conss, 31 chg bounds, 4 chg sides, 67 chg coeffs, 924 upgd conss, 155728 impls, 104 clqs
256.63/256.76 c (round 11) 1043 del vars, 3225 del conss, 365 add conss, 31 chg bounds, 4 chg sides, 68 chg coeffs, 928 upgd conss, 155728 impls, 132 clqs
256.84/256.93 c (round 12) 1060 del vars, 3256 del conss, 378 add conss, 31 chg bounds, 4 chg sides, 68 chg coeffs, 928 upgd conss, 157514 impls, 132 clqs
257.04/257.11 c (round 13) 1066 del vars, 3286 del conss, 381 add conss, 31 chg bounds, 4 chg sides, 68 chg coeffs, 928 upgd conss, 158516 impls, 134 clqs
257.13/257.28 c (round 14) 1066 del vars, 3286 del conss, 381 add conss, 235 chg bounds, 4 chg sides, 68 chg coeffs, 928 upgd conss, 158516 impls, 136 clqs
257.34/257.46 c (round 15) 1490 del vars, 3707 del conss, 381 add conss, 448 chg bounds, 4 chg sides, 78 chg coeffs, 928 upgd conss, 163912 impls, 136 clqs
257.34/257.47 c (round 16) 1507 del vars, 3744 del conss, 381 add conss, 449 chg bounds, 4 chg sides, 80 chg coeffs, 928 upgd conss, 163912 impls, 132 clqs
257.34/257.47 c (round 17) 1523 del vars, 3760 del conss, 381 add conss, 451 chg bounds, 5 chg sides, 83 chg coeffs, 929 upgd conss, 164947 impls, 130 clqs
257.34/257.48 c (round 18) 1532 del vars, 3769 del conss, 381 add conss, 456 chg bounds, 5 chg sides, 84 chg coeffs, 1127 upgd conss, 165009 impls, 129 clqs
257.34/257.49 c (round 19) 1540 del vars, 3788 del conss, 394 add conss, 460 chg bounds, 7 chg sides, 90 chg coeffs, 1132 upgd conss, 166045 impls, 130 clqs
257.53/257.67 c (round 20) 1544 del vars, 3798 del conss, 396 add conss, 460 chg bounds, 7 chg sides, 93 chg coeffs, 1146 upgd conss, 166065 impls, 142 clqs
257.74/257.84 c (round 21) 1544 del vars, 3799 del conss, 396 add conss, 460 chg bounds, 7 chg sides, 93 chg coeffs, 1146 upgd conss, 166065 impls, 144 clqs
257.94/258.01 c (round 22) 1544 del vars, 4246 del conss, 545 add conss, 460 chg bounds, 7 chg sides, 93 chg coeffs, 1146 upgd conss, 166065 impls, 144 clqs
257.94/258.02 c (round 23) 1551 del vars, 4266 del conss, 565 add conss, 460 chg bounds, 7 chg sides, 93 chg coeffs, 1146 upgd conss, 166095 impls, 144 clqs
258.03/258.19 c (round 24) 1559 del vars, 4282 del conss, 573 add conss, 460 chg bounds, 7 chg sides, 93 chg coeffs, 1146 upgd conss, 166957 impls, 163 clqs
258.24/258.35 c (round 25) 1562 del vars, 4288 del conss, 573 add conss, 460 chg bounds, 7 chg sides, 93 chg coeffs, 1146 upgd conss, 167151 impls, 165 clqs
258.44/258.52 c (round 26) 1563 del vars, 4290 del conss, 574 add conss, 460 chg bounds, 7 chg sides, 93 chg coeffs, 1146 upgd conss, 167153 impls, 165 clqs
258.53/258.65 c presolving (27 rounds):
258.53/258.65 c 1563 deleted vars, 4290 deleted constraints, 574 added constraints, 460 tightened bounds, 0 added holes, 7 changed sides, 93 changed coefficients
258.53/258.65 c 167153 implications, 165 cliques
258.53/258.65 c presolved problem has 1728 variables (1728 bin, 0 int, 0 impl, 0 cont) and 2703 constraints
258.53/258.65 c 225 constraints of type <knapsack>
258.53/258.65 c 365 constraints of type <setppc>
258.53/258.65 c 1428 constraints of type <and>
258.53/258.65 c 333 constraints of type <logicor>
258.53/258.65 c 352 constraints of type <bounddisjunction>
258.53/258.65 c transformed objective value is always integral (scale: 1)
258.53/258.65 c Presolving Time: 3.88
258.53/258.65 c
258.53/258.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.53/258.68 c 259s| 1 | 0 |577237 | - | 86M| 0 | 212 |1728 |2703 |1728 |3448 | 0 | 852 | 0 | 1.600000e+01 | 1.700000e+01 | 6.25%
258.74/258.88 c 259s| 1 | 0 |577666 | - | 86M| 0 | 339 |1728 |2703 |1728 |3619 | 171 | 852 | 0 | 1.600000e+01 | 1.700000e+01 | 6.25%
258.74/258.88 c 259s| 1 | 2 |577666 | - | 86M| 0 | 339 |1728 |2703 |1728 |3619 | 171 | 852 | 0 | 1.600000e+01 | 1.700000e+01 | 6.25%
259.74/259.87 o 16
259.74/259.87 c R 260s| 57 | 0 |582429 | 625.8 | 87M| 38 | - |1728 |2753 |1728 |3872 | 808 | 902 | 0 | 1.600000e+01 | 1.600000e+01 | 0.00%
259.74/259.88 c
259.74/259.88 c SCIP Status : problem is solved [optimal solution found]
259.74/259.88 c Solving Time (sec) : 259.88
259.74/259.88 c Solving Nodes : 57 (total of 916 nodes in 3 runs)
259.74/259.88 c Primal Bound : +1.60000000000000e+01 (173 solutions)
259.74/259.88 c Dual Bound : +1.60000000000000e+01
259.74/259.88 c Gap : 0.00 %
259.74/259.88 s OPTIMUM FOUND
259.74/259.88 v x2355 -x2354 -x2353 -x2352 -x2351 x2350 -x2349 -x2348 -x2347 x2346 -x2345 -x2344 -x2343 -x2342 -x2341 x2340 x2339 -x2338 x2337
259.74/259.88 v x2336 x2335 -x2334 -x2333 x2332 x2331 -x2330 x2329 x2328 -x2327 -x2326 -x2325 x2324 -x2323 x2322 -x2321 -x2320 -x2319 x2318 -x2317
259.74/259.88 v -x2316 x2315 -x2314 -x2313 -x2312 x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299
259.74/259.88 v -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281
259.74/259.88 v -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264
259.74/259.88 v -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246
259.74/259.88 v -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 x2237 -x2236 -x2235 -x2234 x2233 -x2232 -x2231 -x2230 -x2229 -x2228
259.74/259.88 v -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 x2212 -x2211 -x2210
259.74/259.88 v x2209 x2208 x2207 x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191
259.74/259.88 v -x2190 -x2189 -x2188 x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 x2177 x2176 x2175 -x2174 -x2173
259.74/259.88 v -x2172 x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 x2157 x2156 x2155 x2154
259.74/259.88 v -x2153 x2152 -x2151 x2150 -x2149 x2148 -x2147 x2146 -x2145 x2144 -x2143 x2142 -x2141 x2140 -x2139 -x2138 x2137 x2136 x2135
259.74/259.88 v -x2134 x2133 x2132 x2131 x2130 x2129 -x2128 -x2127 -x2126 x2125 x2124 x2123 -x2122 x2121 -x2120 -x2119 -x2118 -x2117 -x2116
259.74/259.88 v x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098
259.74/259.88 v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080
259.74/259.88 v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062
259.74/259.88 v -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044
259.74/259.88 v -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026
259.74/259.88 v -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008
259.74/259.88 v -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990
259.74/259.88 v -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973
259.74/259.88 v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 x1955
259.74/259.88 v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937
259.74/259.88 v -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919
259.74/259.88 v -x1918 -x1917 -x1916 -x1915 -x1914 x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901
259.74/259.88 v -x1900 x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 x1885 -x1884 x1883 x1882
259.74/259.88 v x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864
259.74/259.88 v -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846
259.74/259.88 v -x1845 -x1844 -x1843 -x1842 x1841 -x1840 x1839 x1838 x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828
259.74/259.88 v -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 x1819 x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810
259.74/259.88 v -x1809 -x1808 -x1807 -x1806 -x1805 x1804 x1803 x1802 x1801 x1800 -x1799 -x1798 x1797 x1796 x1795 -x1794 -x1793 x1792 -x1791
259.74/259.88 v -x1790 -x1789 -x1788 x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773
259.74/259.88 v -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755
259.74/259.88 v -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737
259.74/259.88 v -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719
259.74/259.88 v -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701
259.74/259.88 v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 x1687 -x1686 -x1685 -x1684 -x1683
259.74/259.88 v -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665
259.74/259.88 v -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647
259.74/259.88 v -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 x1630 -x1629
259.74/259.88 v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612
259.74/259.88 v -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 x1595 x1594 x1593
259.74/259.88 v x1592 x1591 x1590 x1589 x1588 x1587 x1586 x1585 x1584 x1583 x1582 x1581 x1580 x1579 -x1578 -x1577 x1576 -x1575 -x1574 -x1573
259.74/259.88 v -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555
259.74/259.88 v -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 x1537
259.74/259.88 v -x1536 -x1535 -x1534 x1533 -x1532 -x1531 -x1530 x1529 -x1528 -x1527 -x1526 x1525 -x1524 -x1523 -x1522 x1521 -x1520 x1519
259.74/259.88 v -x1518 -x1517 -x1516 -x1515 -x1514 x1513 x1512 -x1511 -x1510 x1509 x1508 -x1507 x1506 -x1505 -x1504 x1503 -x1502 -x1501 -x1500
259.74/259.88 v -x1499 -x1498 x1497 x1496 -x1495 -x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487 x1486 -x1485 -x1484 -x1483 x1482 -x1481
259.74/259.88 v -x1480 -x1479 x1478 -x1477 -x1476 -x1475 x1474 x1473 x1472 x1471 x1470 x1469 x1468 x1467 x1466 x1465 x1464 x1463 x1462
259.74/259.88 v x1461 x1460 x1459 x1458 x1457 x1456 x1455 x1454 x1453 x1452 x1451 x1450 x1449 x1448 x1447 x1446 x1445 x1444 x1443 -x1442 -x1441
259.74/259.88 v -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423
259.74/259.88 v -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 x1411 x1410 x1409 -x1408 -x1407 -x1406 -x1405
259.74/259.88 v -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387
259.74/259.88 v -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369
259.74/259.88 v -x1368 -x1367 -x1366 x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351
259.74/259.88 v -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 x1338 x1337 x1336 -x1335 -x1334 -x1333
259.74/259.88 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315
259.74/259.88 v -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297
259.74/259.88 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279
259.74/259.88 v -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 x1262 -x1261
259.74/259.88 v -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243
259.74/259.88 v -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 x1225
259.74/259.88 v x1224 x1223 x1222 x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207
259.74/259.88 v -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189
259.74/259.88 v -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171
259.74/259.88 v -x1170 -x1169 -x1168 x1167 -x1166 -x1165 x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 x1153 -x1152
259.74/259.88 v -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135
259.74/259.88 v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117
259.74/259.88 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099
259.74/259.88 v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080
259.74/259.88 v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063
259.74/259.88 v -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045
259.74/259.88 v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
259.74/259.88 v -x1026 -x1025 -x1024 -x1023 x1022 -x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009
259.74/259.88 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989
259.74/259.88 v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968
259.74/259.88 v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948
259.74/259.88 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 x928 -x927
259.74/259.88 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905
259.74/259.88 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885
259.74/259.88 v -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864
259.74/259.88 v -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 x844 -x843
259.74/259.88 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822
259.74/259.88 v -x821 -x820 -x819 -x818 -x817 -x816 -x815 x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801
259.74/259.88 v -x800 -x799 x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 x780 x779
259.74/259.88 v x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758
259.74/259.88 v -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737
259.74/259.88 v -x736 -x735 -x734 -x733 x732 x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 -x720 -x719 -x718 -x717 -x716
259.74/259.88 v -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695
259.74/259.88 v -x694 -x693 -x692 x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 x674 -x673
259.74/259.88 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
259.74/259.88 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631
259.74/259.88 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 x621 x620 x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
259.74/259.88 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589
259.74/259.88 v -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 x574 x573 -x572 -x571 -x570 -x569 x568
259.74/259.88 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
259.74/259.88 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526
259.74/259.88 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505
259.74/259.88 v -x504 x503 x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 x489 -x488 -x487 -x486 -x485 -x484 -x483
259.74/259.88 v -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463
259.74/259.88 v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 x448 x447 -x446 -x445 x444 x443 -x442 -x441
259.74/259.88 v -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420
259.74/259.88 v -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 x410 x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 x399 x398
259.74/259.88 v x397 x396 x395 -x394 -x393 x392 x391 -x390 -x389 x388 x387 -x386 -x385 x384 x383 -x382 -x381 -x380 x379 x378 x377 x376 -x375
259.74/259.88 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 x362 x361 x360 x359 x358 x357 x356 x355 x354 -x353
259.74/259.88 v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 x341 x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
259.74/259.88 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 x319 x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 x310
259.74/259.88 v -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
259.74/259.88 v -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 -x267
259.74/259.88 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
259.74/259.88 v -x245 -x244 -x243 -x242 -x241 x240 -x239 x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
259.74/259.88 v -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 x213 x212 -x211 -x210 x209 x208 -x207 x206 x205 -x204 x203
259.74/259.88 v -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182
259.74/259.88 v -x181 x180 x179 x178 x177 -x176 x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 x165 x164 -x163 x162 -x161 -x160 -x159
259.74/259.88 v -x158 -x157 x156 -x155 -x154 x153 x152 x151 x150 x149 -x148 -x147 x146 x145 -x144 -x143 x142 x141 -x140 -x139 x138 x137
259.74/259.88 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 x124 -x123 x122 x121 -x120 -x119 -x118 -x117 -x116 x115
259.74/259.88 v x114 -x113 -x112 -x111 x110 x109 x108 -x107 x106 -x105 -x104 -x103 -x102 x101 -x100 x99 x98 x97 x96 -x95 -x94 x93 -x92 -x91
259.74/259.88 v x90 x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65
259.74/259.88 v x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39
259.74/259.88 v x38 x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 x28 -x27 x26 x25 -x24 -x23 x22 -x21 x20 x19 x18 -x17 -x16 x15 -x14 x13 -x12 x11
259.74/259.88 v x10 -x9 -x8 x7 -x6 -x5 x4 x3 -x2 -x1
259.74/259.88 c SCIP Status : problem is solved [optimal solution found]
259.74/259.88 c Total Time : 259.88
259.74/259.88 c solving : 259.88
259.74/259.88 c presolving : 3.88 (included in solving)
259.74/259.88 c reading : 0.03 (included in solving)
259.74/259.88 c copying : 0.12 (3 #copies) (minimal 0.02, maximal 0.05, average 0.04)
259.74/259.88 c Original Problem :
259.74/259.88 c Problem name : HOME/instance-3717386-1338201577.wbo
259.74/259.88 c Variables : 9099 (9099 binary, 0 integer, 0 implicit integer, 0 continuous)
259.74/259.88 c Constraints : 6745 initial, 6745 maximal
259.74/259.88 c Objective sense : minimize
259.74/259.88 c Presolved Problem :
259.74/259.88 c Problem name : t_HOME/instance-3717386-1338201577.wbo
259.74/259.88 c Variables : 1728 (1728 binary, 0 integer, 0 implicit integer, 0 continuous)
259.74/259.88 c Constraints : 2703 initial, 2753 maximal
259.74/259.88 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
259.74/259.88 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
259.74/259.88 c trivial : 0.03 0.00 13209 0 0 0 0 0 0 0 0
259.74/259.88 c dualfix : 0.01 0.00 27 0 0 0 0 0 0 0 0
259.74/259.88 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
259.74/259.88 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
259.74/259.88 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
259.74/259.88 c gateextraction : 0.02 0.00 0 0 0 0 0 5695 1896 0 0
259.74/259.88 c implics : 0.02 0.00 0 150 0 0 0 0 0 0 0
259.74/259.88 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
259.74/259.88 c pseudoobj : 0.00 0.01 0 0 0 205 0 0 0 0 0
259.74/259.88 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
259.74/259.88 c varbound : 0.01 0.00 0 0 0 205 0 419 0 0 0
259.74/259.88 c knapsack : 0.02 0.00 0 0 0 0 0 1 2 3 16
259.74/259.88 c setppc : 0.09 0.00 16 7 0 0 0 197 0 0 0
259.74/259.88 c and : 2.83 0.00 38 192 0 0 0 360 243 0 54
259.74/259.88 c linear : 0.47 0.02 442 9 0 7007 0 8461 0 98 295
259.74/259.88 c indicator : 0.00 0.01 25 0 0 0 0 358 0 0 0
259.74/259.88 c logicor : 0.18 0.00 0 0 0 16 0 395 0 0 0
259.74/259.88 c bounddisjunction : 0.02 0.00 0 0 0 0 0 50 0 0 0
259.74/259.88 c root node : - - 12945 - - 12945 - - - - -
259.74/259.88 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
259.74/259.88 c integral : 0 0 0 0 756 0 1051 0 0 0 0 0 1506
259.74/259.88 c knapsack : 225 225 3 1284 2 0 208 199 12 302 449 0 0
259.74/259.88 c setppc : 365 365 3 1272 2 0 11 311 1 1120 2 0 0
259.74/259.88 c and : 1428 1428 257 1267 2 0 11 1724 8 5020 1485 0 0
259.74/259.88 c logicor : 333+ 383 3 1965 2 0 3 291 46 707 7 0 0
259.74/259.88 c bounddisjunction : 352 352 0 1140 0 0 0 54 6 112 0 0 0
259.74/259.88 c countsols : 0 0 0 0 3 0 393 0 0 0 0 0 0
259.74/259.88 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
259.74/259.88 c integral : 0.40 0.00 0.00 0.00 0.05 0.00 0.35 0.00
259.74/259.88 c knapsack : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00
259.74/259.88 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
259.74/259.88 c and : 0.09 0.00 0.05 0.03 0.00 0.00 0.00 0.00
259.74/259.88 c logicor : 0.05 0.00 0.00 0.04 0.00 0.00 0.00 0.00
259.74/259.88 c bounddisjunction : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
259.74/259.88 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
259.74/259.88 c Propagators : #Propagate #ResProp Cutoffs DomReds
259.74/259.88 c rootredcost : 17 0 0 6510
259.74/259.88 c pseudoobj : 13088 583 13 24516
259.74/259.88 c vbounds : 1038 2533 0 156768
259.74/259.88 c redcost : 1139 0 0 94412
259.74/259.88 c probing : 0 0 0 0
259.74/259.88 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
259.74/259.88 c rootredcost : 0.04 0.00 0.00 0.04 0.00
259.74/259.88 c pseudoobj : 0.66 0.01 0.00 0.47 0.18
259.74/259.88 c vbounds : 1.55 0.01 0.00 1.54 0.00
259.74/259.88 c redcost : 0.69 0.00 0.00 0.69 0.00
259.74/259.88 c probing : 0.02 0.00 0.02 0.00 0.00
259.74/259.88 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
259.74/259.88 c propagation : 0.22 270 270 1239 50.1 41 8.4 -
259.74/259.88 c infeasible LP : 0.03 15 15 21 5.6 1 4.0 0
259.74/259.88 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
259.74/259.88 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
259.74/259.88 c pseudo solution : 0.00 1 1 1 3.0 1 4.0 -
259.74/259.88 c applied globally : - - - 902 40.0 - - -
259.74/259.88 c applied locally : - - - 0 0.0 - - -
259.74/259.88 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
259.74/259.88 c cut pool : 0.00 0 - - 0 - (maximal pool size: 427)
259.74/259.88 c closecuts : 0.00 0.00 0 0 0 0 0
259.74/259.88 c impliedbounds : 0.00 0.00 8 0 0 624 0
259.74/259.88 c intobj : 0.00 0.00 0 0 0 0 0
259.74/259.88 c gomory : 1.62 0.00 8 0 0 400 0
259.74/259.88 c cgmip : 0.00 0.00 0 0 0 0 0
259.74/259.88 c strongcg : 2.88 0.00 8 0 0 3510 0
259.74/259.88 c cmir : 1.75 0.00 8 0 0 251 0
259.74/259.88 c flowcover : 1.16 0.00 8 0 0 776 0
259.74/259.88 c clique : 0.15 0.00 3 0 0 13 0
259.74/259.88 c zerohalf : 0.00 0.00 0 0 0 0 0
259.74/259.88 c mcf : 0.04 0.00 3 0 0 0 0
259.74/259.88 c oddcycle : 0.00 0.00 0 0 0 0 0
259.74/259.88 c rapidlearning : 4.82 0.00 1 0 18 0 1804
259.74/259.88 c Pricers : ExecTime SetupTime Calls Vars
259.74/259.88 c problem variables: 0.00 - 0 0
259.74/259.88 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
259.74/259.88 c inference : 0.05 0.00 753 0 0 0 0 1506
259.74/259.88 c relpscost : 0.00 0.00 0 0 0 0 0 0
259.74/259.88 c pscost : 0.00 0.00 0 0 0 0 0 0
259.74/259.88 c mostinf : 0.00 0.00 0 0 0 0 0 0
259.74/259.88 c leastinf : 0.00 0.00 0 0 0 0 0 0
259.74/259.88 c fullstrong : 0.00 0.00 0 0 0 0 0 0
259.74/259.88 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
259.74/259.88 c random : 0.00 0.00 0 0 0 0 0 0
259.74/259.88 c Primal Heuristics : ExecTime SetupTime Calls Found
259.74/259.88 c LP solutions : 0.00 - - 3
259.74/259.88 c pseudo solutions : 0.00 - - 0
259.74/259.88 c feaspump : 0.00 0.00 0 0
259.74/259.88 c intshifting : 0.00 0.00 0 0
259.74/259.88 c oneopt : 0.06 0.00 15 0
259.74/259.88 c rootsoldiving : 2.75 0.00 1 0
259.74/259.88 c crossover : 0.41 0.00 1 1
259.74/259.88 c pscostdiving : 9.85 0.00 4 0
259.74/259.88 c linesearchdiving : 9.97 0.00 6 0
259.74/259.88 c fracdiving : 11.31 0.00 7 0
259.74/259.88 c objpscostdiving : 82.69 0.00 5 92
259.74/259.88 c veclendiving : 22.07 0.00 13 3
259.74/259.88 c guideddiving : 30.65 0.00 18 10
259.74/259.88 c smallcard : 0.00 0.00 0 0
259.74/259.88 c trivial : 0.02 0.00 2 1
259.74/259.88 c shiftandpropagate: 0.00 0.00 0 0
259.74/259.88 c simplerounding : 0.21 0.00 922 0
259.74/259.88 c zirounding : 0.45 0.00 644 3
259.74/259.88 c rounding : 0.27 0.00 584 2
259.74/259.88 c shifting : 0.22 0.00 101 2
259.74/259.88 c twoopt : 0.00 0.00 0 0
259.74/259.88 c indtwoopt : 0.00 0.00 0 0
259.74/259.88 c indoneopt : 2.05 0.00 27 12
259.74/259.88 c fixandinfer : 0.00 0.00 0 0
259.74/259.88 c clique : 0.00 0.00 0 0
259.74/259.88 c indrounding : 4.37 0.00 749 34
259.74/259.88 c indcoefdiving : 0.00 0.00 0 0
259.74/259.88 c coefdiving : 20.06 0.00 6 4
259.74/259.88 c nlpdiving : 0.00 0.00 0 0
259.74/259.88 c intdiving : 0.00 0.00 0 0
259.74/259.88 c actconsdiving : 0.00 0.00 0 0
259.74/259.88 c octane : 0.00 0.00 0 0
259.74/259.88 c rens : 0.41 0.00 1 0
259.74/259.88 c rins : 0.00 0.00 0 0
259.74/259.88 c localbranching : 0.00 0.00 0 0
259.74/259.88 c mutation : 0.00 0.00 0 0
259.74/259.88 c dins : 0.00 0.00 0 0
259.74/259.88 c vbounds : 0.00 0.00 0 0
259.74/259.88 c undercover : 0.00 0.00 0 0
259.74/259.88 c subnlp : 0.00 0.00 0 0
259.74/259.88 c trysol : 0.04 0.00 7 6
259.74/259.88 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
259.74/259.88 c primal LP : 0.01 3 0 0.00 - 0.01 3
259.74/259.88 c dual LP : 38.04 1192 144364 149.14 3794.83 0.82 224
259.74/259.88 c lex dual LP : 0.00 0 0 0.00 -
259.74/259.88 c barrier LP : 0.00 0 0 0.00 - 0.00 0
259.74/259.88 c diving/probing LP: 165.91 5074 438065 86.34 2640.36
259.74/259.88 c strong branching : 0.00 0 0 0.00 -
259.74/259.88 c (at root node) : - 0 0 0.00 -
259.74/259.88 c conflict analysis: 0.00 0 0 0.00 -
259.74/259.88 c B&B Tree :
259.74/259.88 c number of runs : 3
259.74/259.88 c nodes : 57
259.74/259.88 c nodes (total) : 916
259.74/259.88 c nodes left : 0
259.74/259.88 c max depth : 38
259.74/259.88 c max depth (total): 57
259.74/259.88 c backtracks : 6 (10.5%)
259.74/259.88 c delayed cutoffs : 2
259.74/259.88 c repropagations : 49 (912 domain reductions, 1 cutoffs)
259.74/259.88 c avg switch length: 3.89
259.74/259.88 c switching time : 1.07
259.74/259.88 c Solution :
259.74/259.88 c Solutions found : 173 (34 improvements)
259.74/259.88 c First Solution : +3.41451000000000e+05 (in run 1, after 0 nodes, 0.11 seconds, depth 0, found by <trivial>)
259.74/259.88 c Primal Bound : +1.60000000000000e+01 (in run 3, after 57 nodes, 259.87 seconds, depth 38, found by <rounding>)
259.74/259.88 c Dual Bound : +1.60000000000000e+01
259.74/259.88 c Gap : 0.00 %
259.74/259.88 c Root Dual Bound : +1.60000000000000e+01
259.74/259.88 c Root Iterations : 9864
259.84/259.93 c Time complete: 259.87.
OK 16
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3717386-1338201577/watcher-3717386-1338201577 -o /tmp/evaluation-result-3717386-1338201577/solver-3717386-1338201577 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717386-1338201577.wbo -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.01 2.00 3/176 2919 /proc/meminfo: memFree=30685632/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=9980 CPUtime=0 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 1240 0 0 0 0 0 0 0 20 0 1 0 286282055 10219520 1194 33554432000 4194304 10173063 140735481265568 140735895211512 8800002 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/2919/statm: 2495 1203 416 1460 0 1026 0 [startup+0.032516 s] /proc/loadavg: 2.01 2.01 2.00 3/176 2919 /proc/meminfo: memFree=30685632/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=19480 CPUtime=0.02 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 3615 0 0 0 2 0 0 0 20 0 1 0 286282055 19947520 3569 33554432000 4194304 10173063 140735481265568 140735895211512 8824018 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/2919/statm: 4870 3570 416 1460 0 3401 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 19480 [startup+0.100269 s] /proc/loadavg: 2.01 2.01 2.00 3/176 2919 /proc/meminfo: memFree=30685632/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=51424 CPUtime=0.08 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 11371 0 0 0 7 1 0 0 20 0 1 0 286282055 52658176 11325 33554432000 4194304 10173063 140735481265568 140735895211512 4953998 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2919/statm: 12856 11325 523 1460 0 11387 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 51424 [startup+0.30023 s] /proc/loadavg: 2.01 2.01 2.00 3/176 2919 /proc/meminfo: memFree=30685632/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=70608 CPUtime=0.29 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 15997 0 0 0 23 6 0 0 20 0 1 0 286282055 72302592 15633 33554432000 4194304 10173063 140735481265568 140735481262568 4442766 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2919/statm: 17652 15633 630 1460 0 16183 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 70608 [startup+0.700236 s] /proc/loadavg: 2.01 2.01 2.00 3/176 2919 /proc/meminfo: memFree=30685632/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=70608 CPUtime=0.68 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 15997 0 0 0 62 6 0 0 20 0 1 0 286282055 72302592 15633 33554432000 4194304 10173063 140735481265568 140735481261848 5760629 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2919/statm: 17652 15633 630 1460 0 16183 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 70608 [startup+1.50024 s] /proc/loadavg: 2.01 2.01 2.00 3/177 2920 /proc/meminfo: memFree=30625872/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=96488 CPUtime=1.49 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 22443 0 0 0 141 8 0 0 20 0 1 0 286282055 98803712 21988 33554432000 4194304 10173063 140735481265568 140735481261848 7793413 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2919/statm: 24122 21988 709 1460 0 22653 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 96488 [startup+3.10019 s] /proc/loadavg: 2.01 2.01 2.00 3/177 2920 /proc/meminfo: memFree=30594624/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=104320 CPUtime=3.09 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 24672 0 0 0 298 11 0 0 20 0 1 0 286282055 106823680 24064 33554432000 4194304 10173063 140735481265568 140735481260488 7381914 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2919/statm: 26080 24064 797 1460 0 24611 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 104320 [startup+6.30019 s] /proc/loadavg: 2.01 2.01 2.00 3/177 2920 /proc/meminfo: memFree=30583472/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=113068 CPUtime=6.28 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 26819 0 0 0 615 13 0 0 20 0 1 0 286282055 115781632 26186 33554432000 4194304 10173063 140735481265568 140735481260456 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2919/statm: 28267 26186 797 1460 0 26798 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 113068 [startup+12.7002 s] /proc/loadavg: 2.01 2.00 2.00 3/177 2920 /proc/meminfo: memFree=30574240/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=123076 CPUtime=12.68 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 28974 0 0 0 1248 20 0 0 20 0 1 0 286282055 126029824 28815 33554432000 4194304 10173063 140735481265568 140735481258008 7682304 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/2919/statm: 30769 28815 800 1460 0 29300 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 123076 [startup+25.5003 s] /proc/loadavg: 2.01 2.00 2.00 3/178 2923 /proc/meminfo: memFree=30559552/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=132976 CPUtime=25.48 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 48135 0 0 0 2513 35 0 0 20 0 1 0 286282055 136167424 31114 33554432000 4194304 10173063 140735481265568 140735481258536 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2919/statm: 33244 31114 846 1460 0 31775 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 132976 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2923 /proc/meminfo: memFree=30556136/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=141208 CPUtime=51.08 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 50320 0 0 0 5063 45 0 0 20 0 1 0 286282055 144596992 33294 33554432000 4194304 10173063 140735481265568 140735481259112 5122959 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2919/statm: 35302 33294 849 1460 0 33833 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 141208 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2924 /proc/meminfo: memFree=30528740/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=161888 CPUtime=102.28 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 55483 0 0 0 10166 62 0 0 20 0 1 0 286282055 165773312 38457 33554432000 4194304 10173063 140735481265568 140735481258680 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2919/statm: 40472 38457 849 1460 0 39003 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 161888 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2924 /proc/meminfo: memFree=30509808/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=169528 CPUtime=162.26 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 57587 0 0 0 16101 125 0 0 20 0 1 0 286282055 173596672 40560 33554432000 4194304 10173063 140735481265568 140735481260616 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2919/statm: 42382 40560 851 1460 0 40913 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 169528 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2924 /proc/meminfo: memFree=30486444/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=182292 CPUtime=222.24 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 80250 0 0 0 21989 235 0 0 20 0 1 0 286282055 186667008 44167 33554432000 4194304 10173063 140735481265568 140735481258376 5967559 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2919/statm: 45573 44167 880 1460 0 44104 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 182292 Solver just ended. Dumping a history of the last processes samples [startup+230.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2924 /proc/meminfo: memFree=30478988/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=186060 CPUtime=230.24 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 81316 0 0 0 22769 255 0 0 20 0 1 0 286282055 190525440 45231 33554432000 4194304 10173063 140735481265568 140735481258744 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2919/statm: 46515 45231 881 1460 0 45046 0 Current children cumulated CPU time (s) 230.24 Current children cumulated vsize (KiB) 186060 [startup+243.106 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2924 /proc/meminfo: memFree=30458264/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=188188 CPUtime=243.05 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 81722 0 0 0 24032 273 0 0 20 0 1 0 286282055 192704512 45636 33554432000 4194304 10173063 140735481265568 140735481258280 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2919/statm: 47047 45636 881 1460 0 45578 0 Current children cumulated CPU time (s) 243.05 Current children cumulated vsize (KiB) 188188 [startup+249.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2924 /proc/meminfo: memFree=30421544/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=246648 CPUtime=249.44 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 96653 0 0 0 24532 412 0 0 20 0 1 0 286282055 252567552 60148 33554432000 4194304 10173063 140735481265568 140735481260952 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2919/statm: 61662 60148 886 1460 0 60193 0 Current children cumulated CPU time (s) 249.44 Current children cumulated vsize (KiB) 246648 [startup+255.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2924 /proc/meminfo: memFree=30383972/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=255392 CPUtime=255.83 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 98832 0 0 0 24784 799 0 0 20 0 1 0 286282055 261521408 62335 33554432000 4194304 10173063 140735481265568 140735481258824 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2919/statm: 63848 62335 886 1460 0 62379 0 Current children cumulated CPU time (s) 255.83 Current children cumulated vsize (KiB) 255392 [startup+257.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2924 /proc/meminfo: memFree=30383708/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=255392 CPUtime=257.43 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 98853 0 0 0 24809 934 0 0 20 0 1 0 286282055 261521408 62356 33554432000 4194304 10173063 140735481265568 140735481262648 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2919/statm: 63848 62356 886 1460 0 62379 0 Current children cumulated CPU time (s) 257.43 Current children cumulated vsize (KiB) 255392 [startup+259.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2924 /proc/meminfo: memFree=30383708/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=255392 CPUtime=259.03 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 99152 0 0 0 24843 1060 0 0 20 0 1 0 286282055 261521408 62655 33554432000 4194304 10173063 140735481265568 140735481262648 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2919/statm: 63848 62655 889 1460 0 62379 0 Current children cumulated CPU time (s) 259.03 Current children cumulated vsize (KiB) 255392 [startup+259.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2924 /proc/meminfo: memFree=30382592/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=255392 CPUtime=259.44 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 99152 0 0 0 24881 1063 0 0 20 0 1 0 286282055 261521408 62655 33554432000 4194304 10173063 140735481265568 140735481259240 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/2919/statm: 63848 62655 889 1460 0 62379 0 Current children cumulated CPU time (s) 259.44 Current children cumulated vsize (KiB) 255392 [startup+259.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2924 /proc/meminfo: memFree=30382592/32873844 swapFree=7620/7620 [pid=2919] ppid=2917 vsize=253980 CPUtime=259.84 cores=0,2,4,6 /proc/2919/stat : 2919 (scip-2.1.1.4fix) R 2917 2919 1906 0 -1 4202496 99154 0 0 0 24916 1068 0 0 20 0 1 0 286282055 260075520 62304 33554432000 4194304 10173063 140735481265568 140735481259240 5867866 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/2919/statm: 63495 62304 891 1460 0 62026 0 Current children cumulated CPU time (s) 259.84 Current children cumulated vsize (KiB) 253980 Child status: 0 Real time (s): 259.936 CPU time (s): 259.88 CPU user time (s): 249.186 CPU system time (s): 10.6944 CPU usage (%): 99.9787 Max. virtual memory (cumulated for all children) (KiB): 255392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 249.186 system time used= 10.6944 maximum resident set size= 250628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99156 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= 17 involuntary context switches= 427 runsolver used 0.485926 second user time and 1.3418 second system time The end
Begin job on node143 at 2012-05-28 12:39:37 IDJOB=3717386 IDBENCH=79334 IDSOLVER=2300 FILE ID=node143/3717386-1338201577 RUNJOBID= node143-1338195608-1922 PBS_JOBID= 14624608 Free space on /tmp= 71648 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl--soft-0-100-0.wbo COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717386-1338201577/watcher-3717386-1338201577 -o /tmp/evaluation-result-3717386-1338201577/solver-3717386-1338201577 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717386-1338201577.wbo -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d41d4dcc01415e574abb081114a32401 RANDOM SEED=455533629 node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5298.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30685904 kB Buffers: 393676 kB Cached: 640920 kB SwapCached: 0 kB Active: 950428 kB Inactive: 399104 kB Active(anon): 305964 kB Inactive(anon): 11300 kB Active(file): 644464 kB Inactive(file): 387804 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13596 kB Writeback: 0 kB AnonPages: 303512 kB Mapped: 17596 kB Shmem: 200 kB Slab: 697892 kB SReclaimable: 140288 kB SUnreclaim: 557604 kB KernelStack: 1472 kB PageTables: 4556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 432640 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71636 MiB End job on node143 at 2012-05-28 12:43:57