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 | 335.984 | 336.053 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-43s.smv--soft-0-100-0.wbo |
| MD5SUM | ce035d98af56bba024c7eadbdc340830 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.339947 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 3655 |
| Total number of constraints | 8686 |
| Number of soft constraints | 8686 |
| Number of constraints which are clauses | 7982 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 704 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 15 |
| Top cost | 442262 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 442261 |
| Biggest number in a constraint | 158 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 539 |
| 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 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-3717376-1338201300.wbo>
0.00/0.04 c original problem has 12341 variables (12341 bin, 0 int, 0 impl, 0 cont) and 8687 constraints
0.00/0.04 c problem read in 0.04
0.09/0.17 o 442261
0.09/0.18 c feasible solution found by trivial heuristic, objective value 4.422610e+05
0.09/0.18 c presolving:
0.19/0.21 c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 352 chg sides, 704 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.23 c (round 2) 0 del vars, 1 del conss, 0 add conss, 8686 chg bounds, 352 chg sides, 704 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.30 c (0.3s) probing: 51/12341 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.30 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.31 c presolving (3 rounds):
0.29/0.31 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 8686 tightened bounds, 0 added holes, 352 changed sides, 704 changed coefficients
0.29/0.31 c 8686 implications, 0 cliques
0.29/0.31 c presolved problem has 21027 variables (12341 bin, 0 int, 8686 impl, 0 cont) and 17372 constraints
0.29/0.31 c 8686 constraints of type <linear>
0.29/0.31 c 8686 constraints of type <indicator>
0.29/0.31 c transformed objective value is always integral (scale: 1)
0.29/0.31 c Presolving Time: 0.24
0.29/0.31 c - non default parameters ----------------------------------------------------------------------
0.29/0.31 c # SCIP version 2.1.1.4
0.29/0.31 c
0.29/0.31 c # maximal time in seconds to run
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/time = 1797
0.29/0.31 c
0.29/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/memory = 13950
0.29/0.31 c
0.29/0.31 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.31 c # [type: int, range: [1,2], default: 1]
0.29/0.31 c timing/clocktype = 2
0.29/0.31 c
0.29/0.31 c # belongs reading time to solving time?
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c timing/reading = TRUE
0.29/0.31 c
0.29/0.31 c # force restart if we have a max FS instance and gap is 1?
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c constraints/indicator/forcerestart = TRUE
0.29/0.31 c
0.29/0.31 c # priority of branching rule <inference>
0.29/0.31 c # [type: int, range: [-536870912,536870911], default: 1000]
0.29/0.31 c branching/inference/priority = 1000000
0.29/0.31 c
0.29/0.31 c # frequency offset for calling primal heuristic <coefdiving>
0.29/0.31 c # [type: int, range: [0,2147483647], default: 1]
0.29/0.31 c heuristics/coefdiving/freqofs = 0
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.31 c heuristics/shiftandpropagate/freq = -1
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.31 c heuristics/undercover/freq = -1
0.29/0.31 c
0.29/0.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c separating/rapidlearning/freq = 0
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c heuristics/indrounding/freq = 1
0.29/0.31 c
0.29/0.31 c -----------------------------------------------------------------------------------------------
0.29/0.31 c start solving
0.29/0.34 c
0.29/0.37 o 30548
0.29/0.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.37 c 6 0.4s| 1 | 0 | 0 | - | 53M| 0 | - | 21k| 17k| 0 | 0 | 0 | 0 | 0 | -- | 3.054800e+04 | Inf
7.59/7.63 o 6786
7.59/7.63 c 6 7.6s| 1 | 0 | 0 | - | 53M| 0 | - | 21k| 17k| 0 | 0 | 0 | 0 | 0 | -- | 6.786000e+03 | Inf
7.99/8.01 c 8.0s| 1 | 0 | 3329 | - | 69M| 0 | 983 | 21k| 17k| 21k| 17k| 0 | 0 | 0 | 0.000000e+00 | 6.786000e+03 | Inf
8.98/9.06 o 4763
8.98/9.06 c 6 9.1s| 1 | 0 | 3329 | - | 70M| 0 | 983 | 21k| 17k| 21k| 17k| 0 | 0 | 0 | 0.000000e+00 | 4.763000e+03 | Inf
9.98/10.06 c 10.1s| 1 | 0 | 4266 | - | 70M| 0 |1112 | 21k| 17k| 21k| 17k| 106 | 0 | 0 | 0.000000e+00 | 4.763000e+03 | Inf
10.08/10.19 o 4690
10.08/10.19 c 610.2s| 1 | 0 | 4266 | - | 71M| 0 |1112 | 21k| 17k| 21k| 17k| 106 | 0 | 0 | 0.000000e+00 | 4.690000e+03 | Inf
11.39/11.43 c 11.4s| 1 | 0 | 5705 | - | 72M| 0 |1265 | 21k| 17k| 21k| 17k| 223 | 0 | 0 | 0.000000e+00 | 4.690000e+03 | Inf
12.79/12.86 c 12.9s| 1 | 0 | 7104 | - | 72M| 0 |1256 | 21k| 17k| 21k| 17k| 345 | 0 | 0 | 0.000000e+00 | 4.690000e+03 | Inf
14.38/14.43 c 14.4s| 1 | 0 | 8677 | - | 73M| 0 |1422 | 21k| 17k| 21k| 17k| 513 | 0 | 0 | 0.000000e+00 | 4.690000e+03 | Inf
17.08/17.14 c 17.1s| 1 | 0 | 13046 | - | 73M| 0 |1510 | 21k| 17k| 21k| 18k| 684 | 0 | 0 | 0.000000e+00 | 4.690000e+03 | Inf
21.29/21.37 c 21.4s| 1 | 0 | 15859 | - | 73M| 0 |1399 | 21k| 17k| 21k| 18k| 841 | 0 | 0 | 0.000000e+00 | 4.690000e+03 | Inf
47.78/47.87 c 47.9s| 1 | 2 | 38657 | - | 75M| 0 |1399 | 21k| 17k| 21k| 18k| 841 | 0 | 0 | 0.000000e+00 | 4.690000e+03 | Inf
82.06/82.16 o 1432
82.06/82.16 c v82.2s| 31 | 32 | 73067 |1906.9 | 95M| 22 | - | 21k| 17k| 21k| 17k| 841 | 40 | 0 | 0.000000e+00 | 1.432000e+03 | Inf
82.96/83.08 o 720
82.96/83.09 c 683.1s| 31 | 32 | 73275 |1913.9 | 92M| 22 |1225 | 21k| 17k| 21k| 17k| 841 | 40 | 0 | 0.000000e+00 | 7.200000e+02 | Inf
83.06/83.18 o 615
83.06/83.18 c 683.2s| 32 | 31 | 73275 |1852.1 | 93M| 22 | - | 21k| 17k| 0 | 0 | 841 | 40 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
113.96/114.03 o 563
113.96/114.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.96/114.03 c g 114s| 44 | 45 |110737 |2206.5 | 104M| 26 | - | 21k| 17k| 21k| 17k| 841 | 41 | 0 | 0.000000e+00 | 5.630000e+02 | Inf
114.16/114.25 o 484
114.16/114.25 c g 114s| 44 | 45 |110796 |2207.8 | 105M| 26 | - | 21k| 17k| 21k| 17k| 841 | 41 | 0 | 0.000000e+00 | 4.840000e+02 | Inf
114.66/114.73 o 266
114.66/114.73 c 6 115s| 44 | 45 |110826 |2208.5 | 100M| 26 |1331 | 21k| 17k| 21k| 17k| 841 | 46 | 0 | 0.000000e+00 | 2.660000e+02 | Inf
208.04/208.12 c 208s| 100 | 101 |214964 |2011.2 | 118M| 26 |1376 | 21k| 17k| 21k| 17k| 841 | 89 | 0 | 0.000000e+00 | 2.660000e+02 | Inf
259.04/259.16 o 265
259.04/259.16 c v 259s| 194 | 195 |271960 |1326.9 | 123M| 51 | - | 21k| 17k| 21k| 17k| 841 | 112 | 0 | 0.000000e+00 | 2.650000e+02 | Inf
259.24/259.38 o 139
259.24/259.38 c 6 259s| 195 | 194 |271960 |1320.1 | 119M| 51 | - | 21k| 17k| 0 | 0 | 841 | 112 | 0 | 0.000000e+00 | 1.390000e+02 | Inf
259.73/259.81 c 260s| 200 | 201 |272142 |1287.9 | 119M| 51 |1043 | 21k| 17k| 21k| 17k| 841 | 112 | 0 | 0.000000e+00 | 1.390000e+02 | Inf
270.73/270.85 o 137
270.73/270.85 c v 271s| 226 | 225 |284849 |1195.5 | 124M| 56 | - | 21k| 17k| 21k| 17k| 841 | 129 | 0 | 0.000000e+00 | 1.370000e+02 | Inf
270.93/271.06 o 32
270.93/271.06 c 6 271s| 227 | 200 |284849 |1190.2 | 120M| 56 | - | 21k| 17k| 0 | 0 | 841 | 129 | 0 | 0.000000e+00 | 3.200000e+01 | Inf
277.14/277.24 o 31
277.14/277.24 c v 277s| 235 | 210 |291159 |1176.5 | 121M| 58 | - | 21k| 11k| 21k| 17k| 841 | 133 | 0 | 0.000000e+00 | 3.100000e+01 | Inf
277.23/277.33 o 26
277.23/277.33 c 6 277s| 236 | 209 |291159 |1171.5 | 118M| 58 | - | 21k| 11k| 0 | 0 | 841 | 133 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
286.82/287.00 c 287s| 300 | 275 |307156 | 974.2 | 118M| 107 | 204 | 21k| 10k| 21k| 17k| 841 | 134 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
290.63/290.73 o 23
290.63/290.73 c v 291s| 395 | 363 |308505 | 742.8 | 121M| 197 | - | 21k| 10k| 21k| 17k| 841 | 149 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
290.73/290.83 o 18
290.73/290.83 c 6 291s| 396 | 292 |308505 | 740.9 | 119M| 197 | - | 21k| 10k| 0 | 0 | 841 | 149 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
290.93/291.09 c 291s| 400 | 296 |308568 | 733.6 | 118M| 197 | 156 | 21k| 10k| 21k| 17k| 841 | 149 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
293.64/293.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.64/293.74 c 294s| 500 | 394 |309356 | 588.2 | 119M| 209 | 40 | 21k| 10k| 21k| 17k| 841 | 151 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
294.64/294.79 o 17
294.64/294.79 c z 295s| 542 | 287 |309467 | 542.7 | 119M| 249 | - | 21k| 10k| 21k| 17k| 841 | 156 | 0 | 0.000000e+00 | 1.700000e+01 | Inf
294.74/294.85 o 12
294.74/294.85 c 6 295s| 543 | 241 |309467 | 541.7 | 119M| 249 | - | 21k| 10k| 0 | 0 | 841 | 156 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
296.43/296.54 c 297s| 600 | 296 |310365 | 491.7 | 119M| 249 | 109 | 21k|9673 | 21k| 17k| 841 | 157 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
298.93/299.08 c 299s| 700 | 324 |311491 | 422.9 | 119M| 249 | 47 | 21k|9705 | 21k| 17k| 841 | 189 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
301.12/301.27 o 11
301.12/301.27 c v 301s| 748 | 196 |311829 | 396.2 | 119M| 249 | - | 21k|9713 | 21k| 17k| 841 | 197 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
301.23/301.32 o 6
301.23/301.32 c 6 301s| 749 | 152 |311829 | 395.7 | 117M| 249 | - | 21k|9713 | 0 | 0 | 841 | 197 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
301.23/301.33 c Forcing restart, since 7818 binary variables among 8686 have been fixed.
301.43/301.50 c (run 1, node 750) performing user restart
301.43/301.50 c
301.43/301.53 c (restart) converted 8940 cuts from the global cut pool into linear constraints
301.43/301.53 c
301.53/301.69 c presolving:
301.93/302.08 c (round 1) 16854 del vars, 8965 del conss, 0 add conss, 545 chg bounds, 15 chg sides, 87 chg coeffs, 0 upgd conss, 128967 impls, 1 clqs
302.03/302.10 c (round 2) 16951 del vars, 9529 del conss, 0 add conss, 580 chg bounds, 17 chg sides, 90 chg coeffs, 0 upgd conss, 140095 impls, 1 clqs
302.03/302.11 c (round 3) 16963 del vars, 9685 del conss, 0 add conss, 582 chg bounds, 17 chg sides, 90 chg coeffs, 3 upgd conss, 140095 impls, 1 clqs
302.03/302.11 c (round 4) 16967 del vars, 9691 del conss, 0 add conss, 586 chg bounds, 17 chg sides, 90 chg coeffs, 3 upgd conss, 140095 impls, 1 clqs
302.03/302.11 c (round 5) 16974 del vars, 9701 del conss, 0 add conss, 590 chg bounds, 17 chg sides, 90 chg coeffs, 3 upgd conss, 140167 impls, 1 clqs
302.03/302.12 c (round 6) 16981 del vars, 9718 del conss, 0 add conss, 594 chg bounds, 17 chg sides, 90 chg coeffs, 3 upgd conss, 140269 impls, 1 clqs
302.03/302.12 c (round 7) 17002 del vars, 9757 del conss, 0 add conss, 602 chg bounds, 17 chg sides, 90 chg coeffs, 3 upgd conss, 140660 impls, 1 clqs
302.03/302.12 c (round 8) 17011 del vars, 9792 del conss, 0 add conss, 606 chg bounds, 17 chg sides, 90 chg coeffs, 3 upgd conss, 140696 impls, 1 clqs
302.03/302.13 c (round 9) 17023 del vars, 9813 del conss, 0 add conss, 610 chg bounds, 17 chg sides, 90 chg coeffs, 3 upgd conss, 140996 impls, 1 clqs
302.03/302.13 c (round 10) 17039 del vars, 9859 del conss, 0 add conss, 614 chg bounds, 21 chg sides, 94 chg coeffs, 3 upgd conss, 141418 impls, 1 clqs
302.03/302.14 c (round 11) 17051 del vars, 9899 del conss, 0 add conss, 619 chg bounds, 21 chg sides, 94 chg coeffs, 3 upgd conss, 141759 impls, 1 clqs
302.03/302.14 c (round 12) 17065 del vars, 9927 del conss, 0 add conss, 624 chg bounds, 23 chg sides, 96 chg coeffs, 3 upgd conss, 142097 impls, 1 clqs
302.03/302.14 c (round 13) 17077 del vars, 9959 del conss, 0 add conss, 629 chg bounds, 23 chg sides, 96 chg coeffs, 3 upgd conss, 142388 impls, 1 clqs
302.03/302.15 c (round 14) 17091 del vars, 9986 del conss, 0 add conss, 633 chg bounds, 24 chg sides, 97 chg coeffs, 3 upgd conss, 142502 impls, 1 clqs
302.03/302.15 c (round 15) 17102 del vars, 10012 del conss, 0 add conss, 637 chg bounds, 24 chg sides, 97 chg coeffs, 3 upgd conss, 142527 impls, 1 clqs
302.03/302.15 c (round 16) 17108 del vars, 10032 del conss, 0 add conss, 643 chg bounds, 24 chg sides, 97 chg coeffs, 3 upgd conss, 142529 impls, 1 clqs
302.03/302.16 c (round 17) 17113 del vars, 10042 del conss, 0 add conss, 648 chg bounds, 24 chg sides, 97 chg coeffs, 3 upgd conss, 142532 impls, 1 clqs
302.03/302.16 c (round 18) 17120 del vars, 10056 del conss, 0 add conss, 654 chg bounds, 24 chg sides, 97 chg coeffs, 3 upgd conss, 142592 impls, 1 clqs
302.03/302.16 c (round 19) 17127 del vars, 10071 del conss, 0 add conss, 659 chg bounds, 24 chg sides, 97 chg coeffs, 3 upgd conss, 142597 impls, 1 clqs
302.03/302.17 c (round 20) 17134 del vars, 10081 del conss, 0 add conss, 663 chg bounds, 24 chg sides, 97 chg coeffs, 3 upgd conss, 142631 impls, 1 clqs
302.03/302.17 c (round 21) 17147 del vars, 10114 del conss, 0 add conss, 671 chg bounds, 24 chg sides, 97 chg coeffs, 3 upgd conss, 142698 impls, 1 clqs
302.03/302.17 c (round 22) 17156 del vars, 10135 del conss, 0 add conss, 676 chg bounds, 24 chg sides, 97 chg coeffs, 3 upgd conss, 142703 impls, 1 clqs
302.03/302.18 c (round 23) 17165 del vars, 10153 del conss, 0 add conss, 683 chg bounds, 24 chg sides, 97 chg coeffs, 3 upgd conss, 142956 impls, 1 clqs
302.03/302.18 c (round 24) 17174 del vars, 10174 del conss, 0 add conss, 689 chg bounds, 26 chg sides, 99 chg coeffs, 3 upgd conss, 143230 impls, 1 clqs
302.03/302.18 c (round 25) 17190 del vars, 10215 del conss, 0 add conss, 700 chg bounds, 26 chg sides, 99 chg coeffs, 3 upgd conss, 143531 impls, 1 clqs
302.03/302.19 c (round 26) 17198 del vars, 10237 del conss, 0 add conss, 706 chg bounds, 26 chg sides, 99 chg coeffs, 3 upgd conss, 143533 impls, 1 clqs
302.03/302.19 c (round 27) 17205 del vars, 10252 del conss, 0 add conss, 712 chg bounds, 26 chg sides, 99 chg coeffs, 3 upgd conss, 143671 impls, 1 clqs
302.13/302.20 c (round 28) 17223 del vars, 10285 del conss, 0 add conss, 720 chg bounds, 28 chg sides, 101 chg coeffs, 3 upgd conss, 144217 impls, 1 clqs
302.13/302.20 c (round 29) 17230 del vars, 10316 del conss, 0 add conss, 726 chg bounds, 31 chg sides, 103 chg coeffs, 3 upgd conss, 144309 impls, 1 clqs
302.13/302.20 c (round 30) 17239 del vars, 10337 del conss, 0 add conss, 731 chg bounds, 31 chg sides, 103 chg coeffs, 3 upgd conss, 144378 impls, 1 clqs
302.13/302.21 c (round 31) 17247 del vars, 10352 del conss, 0 add conss, 737 chg bounds, 31 chg sides, 103 chg coeffs, 3 upgd conss, 144378 impls, 1 clqs
302.13/302.21 c (round 32) 17253 del vars, 10364 del conss, 0 add conss, 741 chg bounds, 31 chg sides, 103 chg coeffs, 3 upgd conss, 144422 impls, 1 clqs
302.13/302.21 c (round 33) 17262 del vars, 10381 del conss, 0 add conss, 745 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 144576 impls, 1 clqs
302.13/302.22 c (round 34) 17288 del vars, 10442 del conss, 0 add conss, 763 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 144704 impls, 1 clqs
302.13/302.22 c (round 35) 17323 del vars, 10514 del conss, 0 add conss, 774 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 145088 impls, 1 clqs
302.13/302.22 c (round 36) 17340 del vars, 10572 del conss, 0 add conss, 778 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 145180 impls, 1 clqs
302.13/302.23 c (round 37) 17353 del vars, 10595 del conss, 0 add conss, 783 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 145214 impls, 1 clqs
302.13/302.23 c (round 38) 17362 del vars, 10614 del conss, 0 add conss, 786 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 145387 impls, 1 clqs
302.13/302.23 c (round 39) 17371 del vars, 10638 del conss, 0 add conss, 792 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 145415 impls, 1 clqs
302.13/302.24 c (round 40) 17379 del vars, 10653 del conss, 0 add conss, 798 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 145455 impls, 1 clqs
302.13/302.24 c (round 41) 17387 del vars, 10673 del conss, 0 add conss, 804 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 145481 impls, 1 clqs
302.13/302.24 c (round 42) 17394 del vars, 10690 del conss, 0 add conss, 810 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 145567 impls, 1 clqs
302.13/302.25 c (round 43) 17400 del vars, 10705 del conss, 0 add conss, 813 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 145768 impls, 1 clqs
302.13/302.25 c (round 44) 17405 del vars, 10718 del conss, 0 add conss, 816 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 145768 impls, 1 clqs
302.13/302.25 c (round 45) 17413 del vars, 10729 del conss, 0 add conss, 822 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 145768 impls, 1 clqs
302.13/302.25 c (round 46) 17425 del vars, 10757 del conss, 0 add conss, 831 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 146381 impls, 1 clqs
302.13/302.26 c (round 47) 17435 del vars, 10783 del conss, 0 add conss, 836 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 146553 impls, 1 clqs
302.13/302.26 c (round 48) 17440 del vars, 10801 del conss, 0 add conss, 840 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 146751 impls, 1 clqs
302.13/302.26 c (round 49) 17448 del vars, 10819 del conss, 0 add conss, 845 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 146763 impls, 1 clqs
302.13/302.27 c (round 50) 17463 del vars, 10852 del conss, 0 add conss, 854 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 146864 impls, 1 clqs
302.13/302.27 c (round 51) 17468 del vars, 10877 del conss, 0 add conss, 856 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 146868 impls, 1 clqs
302.13/302.27 c (round 52) 17489 del vars, 10910 del conss, 0 add conss, 866 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 147514 impls, 1 clqs
302.13/302.28 c (round 53) 17497 del vars, 10946 del conss, 0 add conss, 868 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 147752 impls, 1 clqs
302.13/302.28 c (round 54) 17499 del vars, 10952 del conss, 0 add conss, 868 chg bounds, 33 chg sides, 106 chg coeffs, 3 upgd conss, 147752 impls, 1 clqs
302.22/302.33 c (round 55) 17499 del vars, 10978 del conss, 0 add conss, 868 chg bounds, 33 chg sides, 106 chg coeffs, 6910 upgd conss, 147752 impls, 1 clqs
302.22/302.35 c (round 56) 17611 del vars, 11002 del conss, 11 add conss, 868 chg bounds, 108 chg sides, 399 chg coeffs, 6910 upgd conss, 147760 impls, 2 clqs
302.22/302.37 c (round 57) 17615 del vars, 11023 del conss, 11 add conss, 868 chg bounds, 109 chg sides, 400 chg coeffs, 6910 upgd conss, 147768 impls, 2 clqs
302.22/302.37 c (round 58) 17615 del vars, 11026 del conss, 11 add conss, 868 chg bounds, 109 chg sides, 401 chg coeffs, 6910 upgd conss, 147768 impls, 2 clqs
302.22/302.39 c (round 59) 17615 del vars, 11026 del conss, 11 add conss, 868 chg bounds, 109 chg sides, 402 chg coeffs, 6914 upgd conss, 147768 impls, 2 clqs
302.34/302.40 c (round 60) 17615 del vars, 11027 del conss, 11 add conss, 868 chg bounds, 109 chg sides, 404 chg coeffs, 6914 upgd conss, 147768 impls, 2 clqs
302.34/302.42 c (round 61) 17615 del vars, 11028 del conss, 11 add conss, 868 chg bounds, 109 chg sides, 406 chg coeffs, 6914 upgd conss, 147768 impls, 2 clqs
302.34/302.46 c (round 62) 17615 del vars, 16096 del conss, 1698 add conss, 868 chg bounds, 109 chg sides, 408 chg coeffs, 6914 upgd conss, 147768 impls, 2 clqs
302.34/302.47 c (round 63) 17705 del vars, 16197 del conss, 1798 add conss, 868 chg bounds, 109 chg sides, 408 chg coeffs, 6915 upgd conss, 149806 impls, 6 clqs
302.34/302.48 c (round 64) 17712 del vars, 16290 del conss, 1884 add conss, 868 chg bounds, 111 chg sides, 416 chg coeffs, 6915 upgd conss, 149810 impls, 106 clqs
302.43/302.53 c (round 65) 17720 del vars, 16336 del conss, 1891 add conss, 868 chg bounds, 112 chg sides, 416 chg coeffs, 6915 upgd conss, 149970 impls, 108 clqs
302.43/302.57 c (round 66) 17723 del vars, 16340 del conss, 1891 add conss, 868 chg bounds, 112 chg sides, 416 chg coeffs, 6915 upgd conss, 150020 impls, 108 clqs
302.53/302.62 c (round 67) 17725 del vars, 16342 del conss, 1891 add conss, 868 chg bounds, 112 chg sides, 416 chg coeffs, 6915 upgd conss, 150042 impls, 108 clqs
302.53/302.67 c presolving (68 rounds):
302.53/302.67 c 17725 deleted vars, 16342 deleted constraints, 1891 added constraints, 868 tightened bounds, 0 added holes, 112 changed sides, 416 changed coefficients
302.53/302.67 c 150042 implications, 108 cliques
302.53/302.67 c presolved problem has 3302 variables (2959 bin, 0 int, 343 impl, 0 cont) and 4202 constraints
302.53/302.67 c 343 constraints of type <varbound>
302.53/302.67 c 789 constraints of type <knapsack>
302.53/302.67 c 645 constraints of type <setppc>
302.53/302.67 c 1472 constraints of type <and>
302.53/302.67 c 360 constraints of type <linear>
302.53/302.67 c 343 constraints of type <indicator>
302.53/302.67 c 230 constraints of type <logicor>
302.53/302.67 c 20 constraints of type <bounddisjunction>
302.53/302.67 c transformed objective value is always integral (scale: 1)
302.53/302.67 c Presolving Time: 1.35
302.53/302.68 c
302.62/302.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.62/302.78 c 303s| 1 | 0 |313015 | - | 109M| 0 | 466 |3302 |4202 |3302 |5628 | 0 | 197 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
306.33/306.43 o 5
306.33/306.43 c y 306s| 1 | 0 |313015 | - | 110M| 0 | 466 |3302 |4202 |3302 |5628 | 0 | 197 | 0 | 0.000000e+00 | 5.000000e+00 | Inf
306.52/306.60 c 307s| 1 | 0 |314110 | - | 110M| 0 | 716 |3302 |5239 |3302 |5765 | 291 | 197 | 0 | 0.000000e+00 | 5.000000e+00 | Inf
306.52/306.62 c 307s| 1 | 2 |314110 | - | 110M| 0 | 716 |3302 |5239 |3302 |5765 | 291 | 197 | 0 | 0.000000e+00 | 5.000000e+00 | Inf
311.03/311.14 o 2
311.03/311.14 c g 311s| 21 | 22 |326340 | 400.9 | 112M| 13 | - |3302 |5325 |3302 |5659 |1034 | 283 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
313.82/313.94 o 1
313.82/313.94 c Forcing restart, since the absolute gap is 1.000000.
313.82/313.94 c g 314s| 38 | 39 |334678 | 402.8 | 111M| 22 | - |3302 |4690 |3302 |5719 |1475 | 286 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
313.82/313.95 c (run 2, node 38) performing user restart
313.82/313.95 c
313.82/313.95 c (restart) converted 373 cuts from the global cut pool into linear constraints
313.82/313.95 c
313.82/313.97 c presolving:
313.82/313.99 c (round 1) 828 del vars, 899 del conss, 8 add conss, 7 chg bounds, 113 chg sides, 183 chg coeffs, 1 upgd conss, 159525 impls, 93 clqs
313.92/314.00 c (round 2) 852 del vars, 1019 del conss, 16 add conss, 7 chg bounds, 124 chg sides, 214 chg coeffs, 4 upgd conss, 159564 impls, 88 clqs
313.92/314.01 c (round 3) 858 del vars, 1034 del conss, 26 add conss, 7 chg bounds, 142 chg sides, 253 chg coeffs, 51 upgd conss, 159826 impls, 87 clqs
313.92/314.01 c (round 4) 877 del vars, 1071 del conss, 64 add conss, 7 chg bounds, 151 chg sides, 279 chg coeffs, 51 upgd conss, 159938 impls, 87 clqs
313.92/314.02 c (round 5) 887 del vars, 1094 del conss, 79 add conss, 7 chg bounds, 170 chg sides, 320 chg coeffs, 51 upgd conss, 159998 impls, 115 clqs
313.92/314.06 c (round 6) 895 del vars, 1124 del conss, 104 add conss, 8 chg bounds, 176 chg sides, 332 chg coeffs, 51 upgd conss, 160175 impls, 115 clqs
313.92/314.07 c (round 7) 903 del vars, 1152 del conss, 110 add conss, 8 chg bounds, 179 chg sides, 340 chg coeffs, 52 upgd conss, 160225 impls, 113 clqs
314.02/314.12 c (round 8) 906 del vars, 1294 del conss, 110 add conss, 8 chg bounds, 199 chg sides, 340 chg coeffs, 56 upgd conss, 160317 impls, 112 clqs
314.02/314.18 c (round 9) 906 del vars, 1433 del conss, 110 add conss, 8 chg bounds, 199 chg sides, 340 chg coeffs, 787 upgd conss, 160317 impls, 112 clqs
314.13/314.22 c (round 10) 906 del vars, 1500 del conss, 115 add conss, 8 chg bounds, 210 chg sides, 396 chg coeffs, 787 upgd conss, 160317 impls, 112 clqs
314.13/314.23 c (round 11) 906 del vars, 1500 del conss, 115 add conss, 66 chg bounds, 210 chg sides, 402 chg coeffs, 787 upgd conss, 160317 impls, 112 clqs
314.13/314.23 c (round 12) 1029 del vars, 1668 del conss, 115 add conss, 127 chg bounds, 212 chg sides, 408 chg coeffs, 787 upgd conss, 161717 impls, 113 clqs
314.13/314.24 c (round 13) 1050 del vars, 1702 del conss, 115 add conss, 127 chg bounds, 212 chg sides, 424 chg coeffs, 790 upgd conss, 162056 impls, 113 clqs
314.13/314.25 c (round 14) 1056 del vars, 1705 del conss, 115 add conss, 127 chg bounds, 212 chg sides, 426 chg coeffs, 849 upgd conss, 162056 impls, 113 clqs
314.13/314.26 c (round 15) 1057 del vars, 1706 del conss, 115 add conss, 127 chg bounds, 212 chg sides, 431 chg coeffs, 849 upgd conss, 162078 impls, 113 clqs
314.13/314.27 c (round 16) 1062 del vars, 1711 del conss, 120 add conss, 127 chg bounds, 212 chg sides, 432 chg coeffs, 849 upgd conss, 162172 impls, 113 clqs
314.22/314.31 c (round 17) 1063 del vars, 1718 del conss, 125 add conss, 127 chg bounds, 212 chg sides, 433 chg coeffs, 849 upgd conss, 162192 impls, 116 clqs
314.22/314.34 c (round 18) 1063 del vars, 2342 del conss, 333 add conss, 127 chg bounds, 212 chg sides, 433 chg coeffs, 849 upgd conss, 162192 impls, 117 clqs
314.22/314.35 c (round 19) 1075 del vars, 2356 del conss, 347 add conss, 127 chg bounds, 212 chg sides, 433 chg coeffs, 849 upgd conss, 162818 impls, 117 clqs
314.22/314.35 c (round 20) 1078 del vars, 2371 del conss, 360 add conss, 127 chg bounds, 212 chg sides, 433 chg coeffs, 849 upgd conss, 162818 impls, 128 clqs
314.22/314.40 c (round 21) 1086 del vars, 2381 del conss, 362 add conss, 127 chg bounds, 212 chg sides, 433 chg coeffs, 849 upgd conss, 162994 impls, 129 clqs
314.32/314.44 c (round 22) 1088 del vars, 2390 del conss, 362 add conss, 127 chg bounds, 212 chg sides, 433 chg coeffs, 849 upgd conss, 163004 impls, 129 clqs
314.32/314.48 c (round 23) 1089 del vars, 2391 del conss, 362 add conss, 127 chg bounds, 212 chg sides, 433 chg coeffs, 849 upgd conss, 163010 impls, 129 clqs
314.43/314.52 c presolving (24 rounds):
314.43/314.52 c 1089 deleted vars, 2391 deleted constraints, 362 added constraints, 127 tightened bounds, 0 added holes, 212 changed sides, 433 changed coefficients
314.43/314.52 c 163010 implications, 129 cliques
314.43/314.52 c presolved problem has 2213 variables (2213 bin, 0 int, 0 impl, 0 cont) and 3014 constraints
314.43/314.52 c 849 constraints of type <knapsack>
314.43/314.52 c 356 constraints of type <setppc>
314.43/314.52 c 1366 constraints of type <and>
314.43/314.52 c 329 constraints of type <logicor>
314.43/314.52 c 114 constraints of type <bounddisjunction>
314.43/314.52 c transformed objective value is always integral (scale: 1)
314.43/314.52 c Presolving Time: 1.91
314.43/314.52 c
314.43/314.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.43/314.57 c 315s| 1 | 0 |335292 | - | 107M| 0 | 423 |2213 |3014 |2213 |3982 | 0 | 286 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
314.73/314.80 c 315s| 1 | 0 |335829 | - | 108M| 0 | 662 |2213 |3014 |2213 |4287 | 305 | 286 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
314.73/314.81 c 315s| 1 | 2 |335829 | - | 108M| 0 | 662 |2213 |3014 |2213 |4287 | 305 | 286 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
318.93/319.07 c 319s| 100 | 82 |351728 | 375.3 | 108M| 44 | 640 |2213 |3027 |2213 |4160 | 839 | 337 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
320.73/320.88 c 321s| 200 | 182 |357722 | 343.4 | 108M| 79 | 368 |2213 |3052 |2213 |4257 | 954 | 362 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
321.82/321.95 c 322s| 300 | 269 |361430 | 315.2 | 109M| 97 | 169 |2213 |3111 |2213 |4284 |1022 | 421 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
322.92/323.03 c 323s| 400 | 165 |364603 | 291.3 | 108M| 119 | 392 |2213 |3276 |2213 |4273 |1288 | 594 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
324.22/324.32 c 324s| 500 | 125 |369673 | 272.6 | 109M| 119 | 433 |2213 |3357 |2213 |4277 |2040 | 675 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
325.02/325.14 c 325s| 600 | 150 |372456 | 255.0 | 109M| 119 | 257 |2213 |3401 |2213 |4227 |2281 | 719 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
326.42/326.59 c 327s| 700 | 135 |378404 | 241.8 | 109M| 119 | 626 |2213 |3467 |2213 |4307 |2913 | 785 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
327.82/327.90 c 328s| 800 | 139 |382793 | 229.4 | 109M| 119 | 607 |2213 |3583 |2213 |4336 |3441 | 901 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
329.62/329.75 c 330s| 900 | 152 |389926 | 220.0 | 110M| 119 | 456 |2213 |3657 |2213 |4155 |4294 | 975 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
331.62/331.74 c 332s| 1000 | 66 |397354 | 211.8 | 109M| 119 | 380 |2213 |3725 |2213 |4213 |5426 |1043 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
332.52/332.67 c 333s| 1100 | 63 |401046 | 202.6 | 109M| 119 | 408 |2213 |3779 |2213 |4174 |5876 |1097 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
333.62/333.76 c 334s| 1200 | 56 |405654 | 194.7 | 110M| 119 | - |2213 |3865 | 0 | 0 |6513 |1184 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
334.92/335.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.92/335.05 c 335s| 1300 | 32 |410208 | 187.5 | 109M| 119 | 480 |2213 |3894 |2213 |4100 |7070 |1245 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
335.82/335.96 c
335.82/335.96 c SCIP Status : problem is solved [optimal solution found]
335.82/335.96 c Solving Time (sec) : 335.97
335.82/335.96 c Solving Nodes : 1345 (total of 2133 nodes in 3 runs)
335.82/335.96 c Primal Bound : +1.00000000000000e+00 (232 solutions)
335.82/335.96 c Dual Bound : +1.00000000000000e+00
335.82/335.96 c Gap : 0.00 %
335.82/335.97 s OPTIMUM FOUND
335.82/335.97 v -x3655 -x3654 x3653 -x3652 x3651 x3650 x3649 -x3648 -x3647 x3646 x3645 x3644 x3643 x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636
335.82/335.97 v -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 x3620 x3619 -x3618
335.82/335.97 v -x3617 -x3616 -x3615 -x3614 x3613 x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 x3605 -x3604 -x3603 -x3602 -x3601 x3600
335.82/335.97 v x3599 x3598 x3597 -x3596 -x3595 -x3594 -x3593 x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581
335.82/335.97 v -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 x3570 x3569 x3568 x3567 -x3566 x3565 -x3564 x3563 x3562
335.82/335.97 v x3561 x3560 -x3559 x3558 x3557 x3556 x3555 x3554 x3553 -x3552 x3551 x3550 -x3549 -x3548 -x3547 x3546 x3545 -x3544 -x3543
335.82/335.97 v -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 x3536 x3535 x3534 x3533 x3532 x3531 x3530 x3529 x3528 x3527 -x3526 -x3525 -x3524 -x3523
335.82/335.97 v -x3522 x3521 x3520 x3519 x3518 -x3517 x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 x3508 -x3507 -x3506 -x3505
335.82/335.97 v -x3504 -x3503 -x3502 x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 x3487 -x3486
335.82/335.97 v -x3485 -x3484 -x3483 -x3482 x3481 x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 x3472 x3471 x3470 x3469 x3468
335.82/335.97 v x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 x3458 x3457 -x3456 -x3455 -x3454 -x3453 -x3452 x3451 x3450 -x3449
335.82/335.97 v -x3448 -x3447 -x3446 -x3445 x3444 x3443 -x3442 x3441 x3440 x3439 x3438 -x3437 -x3436 -x3435 -x3434 -x3433 x3432 -x3431 -x3430
335.82/335.97 v x3429 -x3428 x3427 x3426 x3425 -x3424 -x3423 x3422 x3421 x3420 x3419 x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411
335.82/335.97 v x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 x3402 x3401 x3400 x3399 -x3398 x3397 -x3396 -x3395 -x3394 x3393 -x3392
335.82/335.97 v x3391 -x3390 -x3389 x3388 -x3387 -x3386 -x3385 -x3384 -x3383 x3382 -x3381 -x3380 -x3379 -x3378 x3377 -x3376 -x3375 -x3374
335.82/335.97 v -x3373 -x3372 -x3371 -x3370 -x3369 x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 x3361 -x3360 -x3359 x3358 -x3357 x3356 -x3355
335.82/335.97 v x3354 -x3353 x3352 x3351 -x3350 -x3349 -x3348 x3347 -x3346 -x3345 -x3344 -x3343 -x3342 x3341 -x3340 x3339 x3338 x3337 x3336
335.82/335.97 v x3335 -x3334 x3333 -x3332 x3331 -x3330 x3329 -x3328 -x3327 x3326 -x3325 x3324 -x3323 x3322 x3321 x3320 -x3319 x3318 -x3317
335.82/335.97 v x3316 -x3315 -x3314 -x3313 x3312 -x3311 -x3310 -x3309 -x3308 x3307 -x3306 x3305 -x3304 -x3303 -x3302 -x3301 x3300 -x3299 -x3298
335.82/335.97 v -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 x3283 x3282 -x3281 -x3280
335.82/335.97 v -x3279 -x3278 -x3277 x3276 x3275 -x3274 x3273 x3272 x3271 -x3270 x3269 -x3268 -x3267 -x3266 -x3265 x3264 x3263 -x3262 -x3261
335.82/335.97 v -x3260 -x3259 -x3258 x3257 -x3256 x3255 x3254 -x3253 -x3252 -x3251 -x3250 x3249 x3248 x3247 -x3246 -x3245 -x3244 x3243 x3242
335.82/335.97 v -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 x3228 -x3227 -x3226 -x3225 -x3224
335.82/335.97 v -x3223 -x3222 x3221 x3220 x3219 -x3218 x3217 -x3216 -x3215 -x3214 -x3213 x3212 x3211 -x3210 -x3209 -x3208 -x3207 -x3206 x3205
335.82/335.97 v -x3204 x3203 x3202 -x3201 x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187
335.82/335.97 v -x3186 x3185 -x3184 -x3183 -x3182 -x3181 -x3180 x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 x3172 -x3171 -x3170 -x3169 -x3168
335.82/335.97 v -x3167 -x3166 x3165 x3164 x3163 -x3162 -x3161 -x3160 -x3159 x3158 -x3157 -x3156 -x3155 -x3154 -x3153 x3152 x3151 -x3150
335.82/335.97 v -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 x3136 -x3135 -x3134 -x3133 -x3132
335.82/335.97 v -x3131 -x3130 -x3129 x3128 -x3127 x3126 -x3125 -x3124 x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113
335.82/335.97 v -x3112 -x3111 -x3110 x3109 x3108 -x3107 -x3106 -x3105 x3104 x3103 x3102 x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095
335.82/335.97 v -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077
335.82/335.97 v -x3076 x3075 -x3074 -x3073 -x3072 x3071 -x3070 -x3069 -x3068 x3067 -x3066 -x3065 -x3064 x3063 -x3062 -x3061 -x3060 -x3059 -x3058
335.82/335.97 v -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 x3049 x3048 -x3047 -x3046 -x3045 x3044 -x3043 -x3042 -x3041 x3040
335.82/335.97 v -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 x3033 -x3032 -x3031 x3030 -x3029 x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021
335.82/335.97 v -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 x3007 -x3006 x3005 -x3004 -x3003
335.82/335.97 v x3002 x3001 x3000 x2999 -x2998 x2997 x2996 x2995 -x2994 x2993 x2992 -x2991 x2990 x2989 x2988 -x2987 -x2986 x2985 x2984 x2983
335.82/335.97 v x2982 -x2981 x2980 x2979 x2978 x2977 -x2976 x2975 x2974 -x2973 -x2972 x2971 x2970 x2969 x2968 -x2967 -x2966 x2965 x2964
335.82/335.97 v x2963 x2962 -x2961 -x2960 x2959 x2958 x2957 x2956 x2955 x2954 -x2953 -x2952 x2951 x2950 x2949 x2948 -x2947 -x2946 x2945 x2944
335.82/335.97 v x2943 x2942 x2941 x2940 x2939 x2938 x2937 x2936 x2935 x2934 x2933 x2932 x2931 x2930 x2929 x2928 -x2927 -x2926 x2925 x2924 x2923
335.82/335.97 v x2922 x2921 x2920 x2919 x2918 x2917 x2916 x2915 x2914 x2913 x2912 x2911 x2910 x2909 x2908 x2907 x2906 x2905 x2904 x2903 x2902
335.82/335.97 v x2901 x2900 x2899 x2898 x2897 x2896 x2895 x2894 x2893 x2892 x2891 -x2890 -x2889 x2888 x2887 -x2886 -x2885 x2884 x2883 x2882
335.82/335.97 v x2881 x2880 x2879 -x2878 -x2877 x2876 x2875 x2874 x2873 x2872 -x2871 x2870 x2869 x2868 -x2867 x2866 x2865 x2864 x2863 x2862
335.82/335.97 v x2861 x2860 x2859 x2858 x2857 -x2856 -x2855 x2854 -x2853 -x2852 -x2851 -x2850 x2849 -x2848 -x2847 -x2846 x2845 x2844 x2843
335.82/335.97 v x2842 x2841 x2840 x2839 -x2838 x2837 x2836 -x2835 x2834 -x2833 x2832 x2831 -x2830 x2829 -x2828 x2827 x2826 x2825 -x2824 x2823
335.82/335.97 v -x2822 x2821 x2820 x2819 -x2818 x2817 -x2816 x2815 x2814 x2813 x2812 -x2811 -x2810 x2809 x2808 x2807 x2806 -x2805 -x2804 x2803
335.82/335.97 v x2802 x2801 -x2800 -x2799 x2798 x2797 x2796 -x2795 -x2794 x2793 x2792 -x2791 x2790 -x2789 x2788 x2787 -x2786 x2785 -x2784
335.82/335.97 v x2783 x2782 -x2781 x2780 -x2779 x2778 x2777 -x2776 x2775 -x2774 x2773 x2772 -x2771 x2770 -x2769 x2768 x2767 -x2766 x2765 -x2764
335.82/335.97 v x2763 x2762 x2761 -x2760 x2759 -x2758 x2757 x2756 x2755 x2754 x2753 -x2752 -x2751 x2750 x2749 x2748 x2747 x2746 -x2745 -x2744
335.82/335.97 v x2743 x2742 -x2741 x2740 -x2739 x2738 x2737 x2736 x2735 x2734 x2733 -x2732 -x2731 x2730 x2729 -x2728 x2727 -x2726 x2725
335.82/335.97 v x2724 x2723 x2722 -x2721 -x2720 x2719 x2718 x2717 -x2716 -x2715 x2714 x2713 x2712 -x2711 -x2710 x2709 x2708 -x2707 x2706 -x2705
335.82/335.97 v x2704 x2703 -x2702 x2701 -x2700 x2699 x2698 -x2697 -x2696 -x2695 x2694 -x2693 x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686
335.82/335.97 v -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668
335.82/335.97 v -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650
335.82/335.97 v -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633
335.82/335.97 v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615
335.82/335.97 v -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597
335.82/335.97 v -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579
335.82/335.97 v -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561
335.82/335.97 v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543
335.82/335.97 v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525
335.82/335.97 v x2524 x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 x2513 x2512 x2511 -x2510 -x2509 -x2508 -x2507
335.82/335.97 v x2506 x2505 -x2504 -x2503 x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489
335.82/335.97 v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471
335.82/335.97 v -x2470 -x2469 -x2468 -x2467 -x2466 x2465 -x2464 -x2463 -x2462 x2461 x2460 x2459 -x2458 -x2457 -x2456 x2455 -x2454 -x2453 -x2452
335.82/335.97 v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434
335.82/335.97 v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416
335.82/335.97 v -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398
335.82/335.97 v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380
335.82/335.97 v -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362
335.82/335.97 v -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344
335.82/335.97 v -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326
335.82/335.97 v -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308
335.82/335.97 v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 x2296 x2295 -x2294 -x2293 -x2292 -x2291 -x2290
335.82/335.97 v -x2289 -x2288 -x2287 -x2286 x2285 -x2284 x2283 x2282 -x2281 -x2280 x2279 x2278 x2277 x2276 x2275 -x2274 -x2273 -x2272 -x2271
335.82/335.97 v -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253
335.82/335.97 v -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 x2242 -x2241 -x2240 -x2239 -x2238 x2237 -x2236 -x2235
335.82/335.97 v -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217
335.82/335.97 v -x2216 -x2215 -x2214 -x2213 x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199
335.82/335.97 v -x2198 x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 x2181
335.82/335.97 v -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 x2166 -x2165 -x2164 -x2163
335.82/335.97 v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145
335.82/335.97 v -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 x2136 x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127
335.82/335.97 v -x2126 -x2125 -x2124 x2123 x2122 x2121 x2120 -x2119 -x2118 -x2117 -x2116 x2115 x2114 -x2113 -x2112 -x2111 -x2110 -x2109
335.82/335.97 v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091
335.82/335.97 v -x2090 -x2089 x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073
335.82/335.97 v -x2072 -x2071 -x2070 -x2069 -x2068 x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055
335.82/335.97 v x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037
335.82/335.97 v -x2036 -x2035 -x2034 -x2033 -x2032 x2031 x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 x2021 x2020 -x2019 -x2018
335.82/335.97 v x2017 x2016 x2015 x2014 x2013 x2012 -x2011 -x2010 x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999
335.82/335.97 v -x1998 -x1997 -x1996 -x1995 -x1994 x1993 -x1992 -x1991 -x1990 -x1989 x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981
335.82/335.97 v -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 x1963
335.82/335.97 v -x1962 -x1961 x1960 -x1959 -x1958 x1957 x1956 x1955 x1954 x1953 x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944
335.82/335.97 v -x1943 -x1942 -x1941 x1940 -x1939 -x1938 -x1937 -x1936 x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926
335.82/335.97 v -x1925 x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 x1916 -x1915 x1914 -x1913 x1912 -x1911 -x1910 -x1909 -x1908
335.82/335.97 v -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890
335.82/335.97 v x1889 x1888 x1887 x1886 x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 x1873 -x1872 -x1871
335.82/335.97 v x1870 -x1869 x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 x1857 -x1856 -x1855 -x1854 -x1853
335.82/335.97 v -x1852 -x1851 -x1850 x1849 -x1848 -x1847 -x1846 x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 x1838 x1837 -x1836 -x1835 x1834
335.82/335.97 v x1833 x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 x1818 x1817 -x1816
335.82/335.97 v -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 x1805 -x1804 -x1803 -x1802 -x1801 x1800 -x1799 -x1798
335.82/335.97 v -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 x1790 -x1789 -x1788 -x1787 x1786 -x1785 -x1784 -x1783 x1782 -x1781 -x1780 x1779
335.82/335.97 v -x1778 -x1777 x1776 x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761
335.82/335.97 v -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 x1751 x1750 x1749 x1748 x1747 x1746 x1745 x1744 -x1743 -x1742
335.82/335.97 v -x1741 x1740 -x1739 x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724
335.82/335.97 v -x1723 -x1722 -x1721 -x1720 -x1719 x1718 -x1717 -x1716 -x1715 x1714 x1713 x1712 x1711 x1710 x1709 -x1708 -x1707 x1706 x1705
335.82/335.97 v -x1704 -x1703 x1702 -x1701 x1700 x1699 x1698 x1697 -x1696 -x1695 -x1694 -x1693 x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686
335.82/335.97 v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 x1679 x1678 x1677 -x1676 x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668
335.82/335.97 v -x1667 -x1666 -x1665 -x1664 x1663 x1662 -x1661 -x1660 -x1659 -x1658 -x1657 x1656 x1655 -x1654 -x1653 -x1652 -x1651 -x1650 x1649
335.82/335.97 v -x1648 -x1647 -x1646 -x1645 x1644 x1643 -x1642 -x1641 -x1640 x1639 -x1638 x1637 -x1636 -x1635 -x1634 x1633 x1632 x1631 x1630
335.82/335.97 v x1629 x1628 -x1627 -x1626 -x1625 -x1624 x1623 x1622 x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612
335.82/335.97 v -x1611 -x1610 -x1609 -x1608 x1607 x1606 x1605 -x1604 x1603 -x1602 x1601 -x1600 x1599 x1598 -x1597 x1596 -x1595 -x1594 -x1593
335.82/335.97 v -x1592 x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 x1577 -x1576 -x1575 x1574
335.82/335.97 v -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 x1562 x1561 -x1560 -x1559 x1558 x1557 x1556
335.82/335.97 v x1555 x1554 -x1553 -x1552 -x1551 -x1550 -x1549 x1548 x1547 x1546 -x1545 -x1544 x1543 x1542 -x1541 -x1540 -x1539 x1538 -x1537
335.82/335.97 v x1536 -x1535 -x1534 -x1533 x1532 x1531 x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 x1519 x1518
335.82/335.97 v -x1517 -x1516 x1515 -x1514 -x1513 x1512 x1511 x1510 x1509 x1508 x1507 -x1506 -x1505 x1504 x1503 -x1502 -x1501 x1500 -x1499
335.82/335.97 v x1498 x1497 x1496 x1495 -x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480
335.82/335.97 v -x1479 -x1478 -x1477 x1476 -x1475 -x1474 -x1473 -x1472 -x1471 x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
335.82/335.97 v x1461 x1460 -x1459 -x1458 -x1457 -x1456 -x1455 x1454 -x1453 -x1452 -x1451 -x1450 -x1449 x1448 -x1447 -x1446 x1445 -x1444 -x1443
335.82/335.97 v -x1442 -x1441 x1440 x1439 -x1438 -x1437 x1436 -x1435 -x1434 -x1433 -x1432 x1431 x1430 x1429 x1428 x1427 x1426 x1425 x1424
335.82/335.97 v x1423 -x1422 x1421 x1420 -x1419 -x1418 -x1417 x1416 -x1415 -x1414 -x1413 x1412 x1411 x1410 x1409 -x1408 -x1407 x1406 -x1405
335.82/335.97 v x1404 x1403 x1402 -x1401 -x1400 x1399 -x1398 -x1397 -x1396 -x1395 x1394 x1393 x1392 x1391 x1390 -x1389 -x1388 -x1387 -x1386
335.82/335.97 v -x1385 -x1384 -x1383 -x1382 x1381 -x1380 -x1379 -x1378 x1377 x1376 x1375 x1374 x1373 x1372 x1371 x1370 x1369 x1368 -x1367 x1366
335.82/335.97 v -x1365 -x1364 -x1363 -x1362 x1361 x1360 x1359 -x1358 -x1357 -x1356 -x1355 x1354 -x1353 -x1352 x1351 -x1350 x1349 -x1348 x1347
335.82/335.97 v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 x1335 x1334 x1333 -x1332 x1331 x1330 x1329
335.82/335.97 v x1328 x1327 -x1326 x1325 x1324 -x1323 x1322 x1321 -x1320 -x1319 -x1318 x1317 -x1316 -x1315 -x1314 x1313 x1312 x1311 x1310 -x1309
335.82/335.97 v x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 x1301 x1300 x1299 x1298 x1297 x1296 x1295 -x1294 -x1293 -x1292 x1291 x1290
335.82/335.97 v x1289 -x1288 x1287 x1286 x1285 -x1284 x1283 x1282 x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271
335.82/335.97 v x1270 x1269 x1268 x1267 x1266 x1265 -x1264 x1263 x1262 x1261 x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252
335.82/335.97 v x1251 x1250 -x1249 -x1248 -x1247 -x1246 x1245 -x1244 x1243 -x1242 x1241 x1240 x1239 x1238 x1237 x1236 x1235 x1234 x1233 x1232
335.82/335.97 v x1231 x1230 x1229 x1228 x1227 x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213
335.82/335.97 v -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195
335.82/335.97 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 x1183 x1182 x1181 -x1180 -x1179 -x1178 -x1177
335.82/335.97 v -x1176 x1175 -x1174 -x1173 -x1172 -x1171 x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159
335.82/335.97 v -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141
335.82/335.97 v -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123
335.82/335.97 v -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 x1105
335.82/335.97 v -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 x1091 -x1090 -x1089 -x1088 -x1087
335.82/335.97 v -x1086 -x1085 x1084 x1083 x1082 x1081 x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068
335.82/335.97 v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050
335.82/335.97 v -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 x1034 x1033 x1032
335.82/335.97 v -x1031 -x1030 -x1029 -x1028 -x1027 x1026 -x1025 -x1024 -x1023 -x1022 x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014
335.82/335.97 v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996
335.82/335.97 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975
335.82/335.97 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954
335.82/335.97 v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 x943 x942 x941 -x940 -x939 -x938 -x937 -x936 x935 x934 x933 -x932
335.82/335.97 v -x931 -x930 -x929 x928 -x927 -x926 -x925 x924 x923 x922 x921 x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910
335.82/335.97 v -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889
335.82/335.97 v -x888 -x887 -x886 x885 x884 x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868
335.82/335.97 v -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847
335.82/335.97 v -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 x826
335.82/335.97 v -x825 -x824 -x823 -x822 -x821 -x820 x819 -x818 -x817 -x816 -x815 -x814 x813 x812 x811 -x810 -x809 -x808 x807 -x806 -x805 -x804
335.82/335.97 v -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 x787 -x786 -x785 -x784 -x783
335.82/335.97 v x782 x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 x765 -x764 -x763 -x762
335.82/335.97 v x761 -x760 x759 x758 x757 -x756 -x755 -x754 x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 x743 -x742 -x741 -x740
335.82/335.97 v x739 -x738 -x737 -x736 -x735 -x734 x733 x732 x731 x730 x729 x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 x719 -x718 -x717
335.82/335.97 v -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 x696
335.82/335.97 v x695 x694 x693 -x692 -x691 x690 -x689 -x688 x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 x679 x678 -x677 -x676 -x675 -x674
335.82/335.97 v -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 x656 -x655 x654 x653 -x652
335.82/335.97 v x651 x650 x649 -x648 x647 x646 x645 x644 x643 x642 x641 x640 x639 x638 x637 x636 x635 x634 -x633 -x632 -x631 -x630 -x629
335.82/335.97 v -x628 -x627 x626 -x625 -x624 -x623 -x622 x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608
335.82/335.97 v x607 -x606 -x605 -x604 -x603 -x602 -x601 x600 -x599 -x598 -x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 x588 -x587 x586
335.82/335.97 v x585 x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 x571 -x570 -x569 -x568 x567 -x566 -x565 -x564
335.82/335.97 v -x563 -x562 -x561 -x560 -x559 -x558 x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543
335.82/335.97 v -x542 -x541 x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 x531 x530 x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521
335.82/335.97 v -x520 -x519 x518 x517 x516 x515 x514 -x513 x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 x499
335.82/335.97 v -x498 x497 -x496 -x495 -x494 x493 -x492 x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
335.82/335.97 v x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456
335.82/335.97 v x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 x439 x438 x437 x436 x435 x434 x433
335.82/335.97 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 x412
335.82/335.97 v x411 x410 x409 -x408 -x407 x406 -x405 x404 -x403 x402 x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390
335.82/335.97 v -x389 -x388 x387 -x386 x385 x384 x383 -x382 -x381 x380 x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 x371 x370 x369 x368 x367
335.82/335.97 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 x355 -x354 -x353 x352 -x351 -x350 x349 x348 x347 x346 x345
335.82/335.97 v x344 -x343 -x342 x341 x340 -x339 -x338 x337 -x336 x335 x334 x333 x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 -x322
335.82/335.97 v -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 x313 x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301
335.82/335.97 v -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280
335.82/335.97 v x279 x278 x277 x276 -x275 x274 -x273 x272 x271 -x270 x269 -x268 x267 x266 -x265 -x264 x263 x262 x261 -x260 -x259 x258 x257 -x256
335.82/335.97 v -x255 -x254 x253 -x252 -x251 -x250 x249 x248 -x247 x246 -x245 x244 x243 x242 x241 x240 x239 -x238 -x237 -x236 x235 -x234
335.82/335.97 v -x233 -x232 -x231 -x230 -x229 -x228 x227 x226 x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 x216 -x215 -x214 -x213 -x212
335.82/335.97 v -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 x199 x198 -x197 x196 -x195 -x194 x193 -x192 -x191 -x190
335.82/335.97 v -x189 x188 -x187 -x186 x185 x184 -x183 x182 x181 -x180 x179 -x178 x177 x176 x175 -x174 -x173 x172 x171 x170 -x169 -x168 x167
335.82/335.97 v x166 x165 x164 -x163 x162 -x161 x160 x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 x151 x150 x149 x148 x147 x146 x145 x144
335.82/335.97 v -x143 -x142 x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 x127 -x126 x125 x124 -x123 x122
335.82/335.97 v -x121 x120 x119 -x118 x117 -x116 x115 x114 -x113 x112 -x111 x110 x109 -x108 x107 -x106 x105 x104 -x103 -x102 -x101 x100 -x99
335.82/335.97 v -x98 -x97 x96 x95 x94 x93 x92 x91 -x90 -x89 x88 x87 -x86 -x85 x84 x83 x82 -x81 -x80 x79 x78 x77 x76 x75 x74 x73 x72 -x71 -x70
335.82/335.97 v -x69 -x68 -x67 x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 x54 -x53 x52 -x51 -x50 x49 -x48 -x47 x46 x45 -x44 -x43
335.82/335.97 v -x42 x41 -x40 -x39 -x38 x37 x36 x35 x34 x33 x32 -x31 -x30 x29 x28 -x27 x26 -x25 x24 x23 -x22 x21 -x20 x19 x18 -x17 x16 -x15
335.82/335.97 v x14 x13 x12 -x11 -x10 x9 x8 x7 -x6 -x5 x4 x3 -x2 -x1
335.82/335.97 c SCIP Status : problem is solved [optimal solution found]
335.82/335.97 c Total Time : 335.97
335.82/335.97 c solving : 335.97
335.82/335.97 c presolving : 1.91 (included in solving)
335.82/335.97 c reading : 0.04 (included in solving)
335.82/335.97 c copying : 0.16 (4 #copies) (minimal 0.01, maximal 0.08, average 0.04)
335.82/335.97 c Original Problem :
335.82/335.97 c Problem name : HOME/instance-3717376-1338201300.wbo
335.82/335.97 c Variables : 12341 (12341 binary, 0 integer, 0 implicit integer, 0 continuous)
335.82/335.97 c Constraints : 8687 initial, 8687 maximal
335.82/335.97 c Objective sense : minimize
335.82/335.97 c Presolved Problem :
335.82/335.97 c Problem name : t_HOME/instance-3717376-1338201300.wbo
335.82/335.97 c Variables : 2213 (2213 binary, 0 integer, 0 implicit integer, 0 continuous)
335.82/335.97 c Constraints : 3014 initial, 3965 maximal
335.82/335.97 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
335.82/335.97 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
335.82/335.97 c trivial : 0.06 0.00 16857 0 0 0 0 0 0 0 0
335.82/335.97 c dualfix : 0.02 0.00 58 0 0 0 0 0 0 0 0
335.82/335.97 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
335.82/335.97 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
335.82/335.97 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
335.82/335.97 c gateextraction : 0.02 0.00 0 0 0 0 0 5692 1895 0 0
335.82/335.97 c implics : 0.05 0.00 0 500 0 0 0 0 0 0 0
335.82/335.97 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
335.82/335.97 c pseudoobj : 0.00 0.01 0 0 0 58 0 0 0 0 0
335.82/335.97 c probing : 0.04 0.00 0 0 0 0 0 0 0 0 0
335.82/335.97 c varbound : 0.00 0.00 0 0 0 58 0 124 0 0 0
335.82/335.97 c knapsack : 0.07 0.00 2 0 0 0 0 29 83 157 507
335.82/335.97 c setppc : 0.06 0.00 0 16 0 0 0 241 0 1 0
335.82/335.97 c and : 0.57 0.00 15 238 0 0 0 389 275 0 88
335.82/335.97 c linear : 0.61 0.02 930 140 0 9561 0 11344 0 518 958
335.82/335.97 c indicator : 0.00 0.01 57 0 0 0 0 627 0 0 0
335.82/335.97 c logicor : 0.11 0.00 1 0 0 4 0 282 0 0 0
335.82/335.97 c bounddisjunction : 0.00 0.00 0 0 0 0 0 6 0 0 0
335.82/335.97 c root node : - - 16814 - - 16814 - - - - -
335.82/335.97 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
335.82/335.97 c integral : 0 0 0 0 1913 0 2796 0 0 0 0 0 3826
335.82/335.97 c knapsack : 849 849 3 18764 0 0 1325 2558 277 3481 600 0 0
335.82/335.97 c setppc : 356 356 3 18487 0 0 17 4225 50 8248 3 0 0
335.82/335.97 c and : 1366 1366 2248 18437 0 0 14 14044 221 72860 8490 0 0
335.82/335.97 c logicor : 329+ 1332 3 6347 0 0 5 3606 69 2735 11 0 0
335.82/335.97 c bounddisjunction : 114 114 0 771 0 0 0 2 0 5 0 0 0
335.82/335.97 c countsols : 0 0 0 0 0 0 928 0 0 0 0 0 0
335.82/335.97 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
335.82/335.97 c integral : 1.56 0.00 0.00 0.00 0.15 0.00 1.41 0.00
335.82/335.97 c knapsack : 0.38 0.00 0.01 0.36 0.00 0.00 0.02 0.00
335.82/335.97 c setppc : 0.13 0.00 0.00 0.13 0.00 0.00 0.00 0.00
335.82/335.97 c and : 0.95 0.00 0.53 0.41 0.00 0.00 0.00 0.01
335.82/335.97 c logicor : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00
335.82/335.97 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
335.82/335.97 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
335.82/335.97 c Propagators : #Propagate #ResProp Cutoffs DomReds
335.82/335.97 c rootredcost : 12 0 0 8504
335.82/335.97 c pseudoobj : 17787 418 5 16495
335.82/335.97 c vbounds : 248 450 1 24191
335.82/335.97 c redcost : 3071 0 0 6697
335.82/335.97 c probing : 0 0 0 0
335.82/335.97 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
335.82/335.97 c rootredcost : 0.05 0.00 0.00 0.05 0.00
335.82/335.97 c pseudoobj : 0.85 0.01 0.00 0.59 0.25
335.82/335.97 c vbounds : 0.89 0.02 0.00 0.87 0.00
335.82/335.97 c redcost : 1.01 0.00 0.00 1.01 0.00
335.82/335.97 c probing : 0.04 0.00 0.04 0.00 0.00
335.82/335.97 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
335.82/335.97 c propagation : 0.28 696 675 1786 14.8 120 5.7 -
335.82/335.97 c infeasible LP : 0.08 68 68 110 6.1 9 5.0 0
335.82/335.97 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
335.82/335.97 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
335.82/335.97 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
335.82/335.97 c applied globally : - - - 1325 12.4 - - -
335.82/335.97 c applied locally : - - - 0 0.0 - - -
335.82/335.97 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
335.82/335.97 c cut pool : 0.00 0 - - 0 - (maximal pool size: 820)
335.82/335.97 c closecuts : 0.00 0.00 0 0 0 0 0
335.82/335.97 c impliedbounds : 0.01 0.00 8 0 0 408 0
335.82/335.97 c intobj : 0.00 0.00 0 0 0 0 0
335.82/335.97 c gomory : 0.77 0.00 8 0 0 400 0
335.82/335.97 c cgmip : 0.00 0.00 0 0 0 0 0
335.82/335.97 c strongcg : 2.65 0.00 8 0 0 3800 0
335.82/335.97 c cmir : 2.61 0.00 8 0 0 716 0
335.82/335.97 c flowcover : 1.95 0.00 8 0 0 1601 0
335.82/335.97 c clique : 0.07 0.00 3 0 0 12 0
335.82/335.97 c zerohalf : 0.00 0.00 0 0 0 0 0
335.82/335.97 c mcf : 0.07 0.00 3 0 0 0 0
335.82/335.97 c oddcycle : 0.00 0.00 0 0 0 0 0
335.82/335.97 c rapidlearning : 3.41 0.00 1 0 11 0 1306
335.82/335.97 c Pricers : ExecTime SetupTime Calls Vars
335.82/335.97 c problem variables: 0.00 - 0 0
335.82/335.97 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
335.82/335.97 c inference : 0.14 0.00 1913 0 0 0 0 3826
335.82/335.97 c relpscost : 0.00 0.00 0 0 0 0 0 0
335.82/335.97 c pscost : 0.00 0.00 0 0 0 0 0 0
335.82/335.97 c mostinf : 0.00 0.00 0 0 0 0 0 0
335.82/335.97 c leastinf : 0.00 0.00 0 0 0 0 0 0
335.82/335.97 c fullstrong : 0.00 0.00 0 0 0 0 0 0
335.82/335.97 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
335.82/335.97 c random : 0.00 0.00 0 0 0 0 0 0
335.82/335.97 c Primal Heuristics : ExecTime SetupTime Calls Found
335.82/335.97 c LP solutions : 0.00 - - 0
335.82/335.97 c pseudo solutions : 0.00 - - 0
335.82/335.97 c feaspump : 0.00 0.00 0 0
335.82/335.97 c oneopt : 0.10 0.00 13 0
335.82/335.97 c rootsoldiving : 3.80 0.00 1 0
335.82/335.97 c linesearchdiving : 19.44 0.00 3 0
335.82/335.97 c objpscostdiving : 8.24 0.00 2 0
335.82/335.97 c pscostdiving : 17.25 0.00 4 0
335.82/335.97 c fracdiving : 21.35 0.00 5 0
335.82/335.97 c guideddiving : 76.14 0.00 11 8
335.82/335.97 c veclendiving : 65.61 0.00 29 10
335.82/335.97 c smallcard : 0.00 0.00 0 0
335.82/335.97 c trivial : 0.03 0.00 2 1
335.82/335.97 c shiftandpropagate: 0.00 0.00 0 0
335.82/335.97 c simplerounding : 0.03 0.00 3043 0
335.82/335.97 c zirounding : 0.86 0.00 721 1
335.82/335.97 c rounding : 0.42 0.00 705 0
335.82/335.97 c shifting : 0.85 0.00 199 0
335.82/335.97 c intshifting : 0.00 0.00 0 0
335.82/335.97 c twoopt : 0.00 0.00 0 0
335.82/335.97 c indoneopt : 9.81 0.01 24 13
335.82/335.97 c indtwoopt : 0.00 0.01 0 0
335.82/335.97 c fixandinfer : 0.00 0.00 0 0
335.82/335.97 c clique : 0.00 0.00 0 0
335.82/335.97 c coefdiving : 39.26 0.00 4 1
335.82/335.97 c indcoefdiving : 0.00 0.00 0 0
335.82/335.97 c indrounding : 9.88 0.00 1910 191
335.82/335.97 c nlpdiving : 0.00 0.00 0 0
335.82/335.97 c intdiving : 0.00 0.00 0 0
335.82/335.97 c actconsdiving : 0.00 0.00 0 0
335.82/335.97 c octane : 0.00 0.00 0 0
335.82/335.97 c rens : 0.61 0.00 1 0
335.82/335.97 c rins : 0.00 0.00 0 0
335.82/335.97 c localbranching : 0.00 0.00 0 0
335.82/335.97 c mutation : 0.00 0.00 0 0
335.82/335.97 c crossover : 0.49 0.00 2 0
335.82/335.97 c dins : 0.00 0.00 0 0
335.82/335.97 c vbounds : 0.00 0.00 0 0
335.82/335.97 c undercover : 0.00 0.00 0 0
335.82/335.97 c subnlp : 0.00 0.00 0 0
335.82/335.97 c trysol : 0.08 0.00 7 6
335.82/335.97 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
335.82/335.97 c primal LP : 0.01 3 0 0.00 0.00 0.01 3
335.82/335.97 c dual LP : 37.42 3095 125194 40.90 3345.73 0.16 34
335.82/335.97 c lex dual LP : 0.00 0 0 0.00 -
335.82/335.97 c barrier LP : 0.00 0 0 0.00 - 0.00 0
335.82/335.97 c diving/probing LP: 182.13 12608 288911 22.91 1586.30
335.82/335.97 c strong branching : 0.00 0 0 0.00 -
335.82/335.97 c (at root node) : - 0 0 0.00 -
335.82/335.97 c conflict analysis: 0.00 0 0 0.00 -
335.82/335.97 c B&B Tree :
335.82/335.97 c number of runs : 3
335.82/335.97 c nodes : 1345
335.82/335.97 c nodes (total) : 2133
335.82/335.97 c nodes left : 0
335.82/335.97 c max depth : 119
335.82/335.97 c max depth (total): 249
335.82/335.97 c backtracks : 233 (17.3%)
335.82/335.97 c delayed cutoffs : 942
335.82/335.97 c repropagations : 1387 (31080 domain reductions, 184 cutoffs)
335.82/335.97 c avg switch length: 3.73
335.82/335.97 c switching time : 0.99
335.82/335.97 c Solution :
335.82/335.97 c Solutions found : 232 (26 improvements)
335.82/335.97 c First Solution : +4.42261000000000e+05 (in run 1, after 0 nodes, 0.16 seconds, depth 0, found by <trivial>)
335.82/335.97 c Primal Bound : +1.00000000000000e+00 (in run 2, after 38 nodes, 313.94 seconds, depth 295, found by <guideddiving>)
335.82/335.97 c Dual Bound : +1.00000000000000e+00
335.82/335.97 c Gap : 0.00 %
335.82/335.97 c Root Dual Bound : +0.00000000000000e+00
335.82/335.97 c Root Iterations : 18809
335.92/336.05 c Time complete: 335.97.
OK 1
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-3717376-1338201300/watcher-3717376-1338201300 -o /tmp/evaluation-result-3717376-1338201300/solver-3717376-1338201300 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717376-1338201300.wbo -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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.00 2.00 2.00 3/176 24630 /proc/meminfo: memFree=30224340/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=10592 CPUtime=0 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 1385 0 0 0 0 0 0 0 20 0 1 0 286258563 10846208 1340 33554432000 4194304 10173063 140734904830320 140733853475384 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 2648 1347 416 1460 0 1179 0 [startup+0.0656149 s] /proc/loadavg: 2.00 2.00 2.00 3/176 24630 /proc/meminfo: memFree=30224340/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=39076 CPUtime=0.06 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 8505 0 0 0 5 1 0 0 20 0 1 0 286258563 40013824 8425 33554432000 4194304 10173063 140734904830320 140734904824264 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 9769 8457 471 1460 0 8300 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 39076 [startup+0.10032 s] /proc/loadavg: 2.00 2.00 2.00 3/176 24630 /proc/meminfo: memFree=30224340/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=47828 CPUtime=0.09 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 10480 0 0 0 8 1 0 0 20 0 1 0 286258563 48975872 10399 33554432000 4194304 10173063 140734904830320 140734904824264 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 11957 10402 523 1460 0 10488 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 47828 [startup+0.300277 s] /proc/loadavg: 2.00 2.00 2.00 3/176 24630 /proc/meminfo: memFree=30224340/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=79860 CPUtime=0.29 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 18542 0 0 0 25 4 0 0 20 0 1 0 286258563 81776640 18051 33554432000 4194304 10173063 140734904830320 140734904824264 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 19965 18051 586 1460 0 18496 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 79860 [startup+0.700292 s] /proc/loadavg: 2.00 2.00 2.00 3/176 24630 /proc/meminfo: memFree=30224340/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=89976 CPUtime=0.68 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 20886 0 0 0 64 4 0 0 20 0 1 0 286258563 92135424 20311 33554432000 4194304 10173063 140734904830320 140734904824264 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 22494 20311 630 1460 0 21025 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 89976 [startup+1.50028 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24631 /proc/meminfo: memFree=30146088/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=89976 CPUtime=1.48 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 20886 0 0 0 144 4 0 0 20 0 1 0 286258563 92135424 20311 33554432000 4194304 10173063 140734904830320 140734904826600 4503013 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 22494 20311 630 1460 0 21025 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 89976 [startup+3.10032 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24631 /proc/meminfo: memFree=30145320/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=89976 CPUtime=3.09 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 20886 0 0 0 304 5 0 0 20 0 1 0 286258563 92135424 20311 33554432000 4194304 10173063 140734904830320 140734904826600 5643183 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 22494 20311 630 1460 0 21025 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 89976 [startup+6.30027 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24631 /proc/meminfo: memFree=30143816/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=89976 CPUtime=6.29 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 20886 0 0 0 624 5 0 0 20 0 1 0 286258563 92135424 20311 33554432000 4194304 10173063 140734904830320 140734904826600 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 22494 20311 630 1460 0 21025 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 89976 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24631 /proc/meminfo: memFree=30094788/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=144488 CPUtime=12.69 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 34298 0 0 0 1259 10 0 0 20 0 1 0 286258563 147955712 33841 33554432000 4194304 10173063 140734904830320 140734904825704 8038543 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 36122 33841 787 1460 0 34653 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 144488 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24631 /proc/meminfo: memFree=30076172/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=152208 CPUtime=25.48 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 35919 0 0 0 2535 13 0 0 20 0 1 0 286258563 155860992 35910 33554432000 4194304 10173063 140734904830320 140734904823416 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 38052 35910 790 1460 0 36583 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 152208 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24669 /proc/meminfo: memFree=29981840/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=159180 CPUtime=51.08 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 57164 0 0 0 5083 25 0 0 20 0 1 0 286258563 163000320 38108 33554432000 4194304 10173063 140734904830320 140734904827000 8032956 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 39795 38108 830 1460 0 38326 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 159180 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24671 /proc/meminfo: memFree=29936000/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=184328 CPUtime=102.26 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 64561 0 0 0 10187 39 0 0 20 0 1 0 286258563 188751872 44550 33554432000 4194304 10173063 140734904830320 140734904823224 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 46082 44550 836 1460 0 44613 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 184328 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24671 /proc/meminfo: memFree=29900652/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=197288 CPUtime=162.25 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 68015 0 0 0 16173 52 0 0 20 0 1 0 286258563 202022912 48206 33554432000 4194304 10173063 140734904830320 140734904823272 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 49322 48206 839 1460 0 47853 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 197288 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24671 /proc/meminfo: memFree=29880108/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=205076 CPUtime=222.24 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 70098 0 0 0 22159 65 0 0 20 0 1 0 286258563 209997824 50153 33554432000 4194304 10173063 140734904830320 140734904823272 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 51269 50153 839 1460 0 49800 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 205076 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24671 /proc/meminfo: memFree=29858820/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=211500 CPUtime=282.23 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 71691 0 0 0 28142 81 0 0 20 0 1 0 286258563 216576000 51746 33554432000 4194304 10173063 140734904830320 140734904823544 8047658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 52875 51746 841 1460 0 51406 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 211500 Solver just ended. Dumping a history of the last processes samples [startup+307.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24674 /proc/meminfo: memFree=29797400/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=273400 CPUtime=307.02 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 106215 0 0 0 30558 144 0 0 20 0 1 0 286258563 279961600 67065 33554432000 4194304 10173063 140734904830320 140734904823672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 68350 67065 885 1460 0 66881 0 Current children cumulated CPU time (s) 307.02 Current children cumulated vsize (KiB) 273400 [startup+319.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24674 /proc/meminfo: memFree=29795076/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=273400 CPUtime=319.82 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 106296 0 0 0 31807 175 0 0 20 0 1 0 286258563 279961600 67146 33554432000 4194304 10173063 140734904830320 140734904826792 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 68350 67146 886 1460 0 66881 0 Current children cumulated CPU time (s) 319.82 Current children cumulated vsize (KiB) 273400 [startup+326.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24674 /proc/meminfo: memFree=29793836/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=273400 CPUtime=326.22 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 106587 0 0 0 32442 180 0 0 20 0 1 0 286258563 279961600 67437 33554432000 4194304 10173063 140734904830320 140734904823624 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 68350 67437 886 1460 0 66881 0 Current children cumulated CPU time (s) 326.22 Current children cumulated vsize (KiB) 273400 [startup+332.7 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24674 /proc/meminfo: memFree=29793216/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=273400 CPUtime=332.62 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 106587 0 0 0 33078 184 0 0 20 0 1 0 286258563 279961600 67437 33554432000 4194304 10173063 140734904830320 140734904825688 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 68350 67437 886 1460 0 66881 0 Current children cumulated CPU time (s) 332.62 Current children cumulated vsize (KiB) 273400 [startup+334.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24674 /proc/meminfo: memFree=29791976/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=273400 CPUtime=334.23 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 106587 0 0 0 33238 185 0 0 20 0 1 0 286258563 279961600 67437 33554432000 4194304 10173063 140734904830320 140734904825688 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 68350 67437 886 1460 0 66881 0 Current children cumulated CPU time (s) 334.23 Current children cumulated vsize (KiB) 273400 [startup+335.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24674 /proc/meminfo: memFree=29791976/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=273400 CPUtime=335.02 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 106587 0 0 0 33317 185 0 0 20 0 1 0 286258563 279961600 67437 33554432000 4194304 10173063 140734904830320 140734904823576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 68350 67437 886 1460 0 66881 0 Current children cumulated CPU time (s) 335.02 Current children cumulated vsize (KiB) 273400 [startup+335.507 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24674 /proc/meminfo: memFree=29791976/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=273400 CPUtime=335.43 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 106587 0 0 0 33358 185 0 0 20 0 1 0 286258563 279961600 67437 33554432000 4194304 10173063 140734904830320 140734904823576 8033151 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 68350 67437 886 1460 0 66881 0 Current children cumulated CPU time (s) 335.43 Current children cumulated vsize (KiB) 273400 [startup+335.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24674 /proc/meminfo: memFree=29791976/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=273400 CPUtime=335.82 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 106587 0 0 0 33396 186 0 0 20 0 1 0 286258563 279961600 67437 33554432000 4194304 10173063 140734904830320 140734904823576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 68350 67437 886 1460 0 66881 0 Current children cumulated CPU time (s) 335.82 Current children cumulated vsize (KiB) 273400 [startup+336 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24674 /proc/meminfo: memFree=29791976/32873844 swapFree=7108/7108 [pid=24630] ppid=24628 vsize=271816 CPUtime=335.92 cores=1,3,5,7 /proc/24630/stat : 24630 (scip-2.1.1.4fix) R 24628 24630 23491 0 -1 4202496 106676 0 0 0 33406 186 0 0 20 0 1 0 286258563 278339584 67136 33554432000 4194304 10173063 140734904830320 140734904823576 7550117 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24630/statm: 67954 67136 888 1460 0 66485 0 Current children cumulated CPU time (s) 335.92 Current children cumulated vsize (KiB) 271816 Child status: 0 Real time (s): 336.053 CPU time (s): 335.984 CPU user time (s): 334.103 CPU system time (s): 1.88071 CPU usage (%): 99.9795 Max. virtual memory (cumulated for all children) (KiB): 281392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 334.103 system time used= 1.88071 maximum resident set size= 276084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106678 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= 21 involuntary context switches= 345 runsolver used 0.552915 second user time and 1.67874 second system time The end
Begin job on node102 at 2012-05-28 12:35:00 IDJOB=3717376 IDBENCH=79326 IDSOLVER=2300 FILE ID=node102/3717376-1338201300 RUNJOBID= node102-1338194241-23508 PBS_JOBID= 14624595 Free space on /tmp= 71516 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-43s.smv--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-3717376-1338201300/watcher-3717376-1338201300 -o /tmp/evaluation-result-3717376-1338201300/solver-3717376-1338201300 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717376-1338201300.wbo -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ce035d98af56bba024c7eadbdc340830 RANDOM SEED=135807717 node102.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 : 2667.178 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 : 5334.35 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 : 2667.178 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.90 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 : 2667.178 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 : 2667.178 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 : 2667.178 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.91 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 : 2667.178 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 : 5438.54 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 : 2667.178 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 : 2667.178 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: 30224348 kB Buffers: 388928 kB Cached: 1297880 kB SwapCached: 0 kB Active: 1091740 kB Inactive: 718964 kB Active(anon): 115336 kB Inactive(anon): 11036 kB Active(file): 976404 kB Inactive(file): 707928 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13992 kB Writeback: 0 kB AnonPages: 214648 kB Mapped: 17784 kB Shmem: 200 kB Slab: 698116 kB SReclaimable: 140520 kB SUnreclaim: 557596 kB KernelStack: 1480 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 238128 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 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= 71504 MiB End job on node102 at 2012-05-28 12:40:36