Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | SAT (TO) | 64 | 1800.06 | 1800.02 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb |
| MD5SUM | c7b7ba2fb8a9fff5b9677d5bbd1edc0f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 63 |
| Best CPU time to get the best result obtained on this benchmark | 23.1855 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 63 |
| Optimality of the best value was proved | YES |
| Number of variables | 4676 |
| Total number of constraints | 509 |
| Number of constraints which are clauses | 509 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 166 |
| Number of terms in the objective function | 4676 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 4676 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4676 |
| Number of bits of the biggest sum of numbers | 13 |
| 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.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3452696-1307081648.opb>
0.00/0.03 c original problem has 4676 variables (4676 bin, 0 int, 0 impl, 0 cont) and 509 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 o 4676
0.00/0.05 c feasible solution found by trivial heuristic, objective value 4.676000e+03
0.00/0.05 c presolving:
0.00/0.07 c (round 1) 338 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 509 upgd conss, 0 impls, 0 clqs
0.06/0.08 c (0.1s) probing: 101/4338 (2.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.06/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.06/0.08 c presolving (2 rounds):
0.06/0.08 c 338 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.06/0.08 c 0 implications, 0 cliques
0.06/0.08 c presolved problem has 4338 variables (4338 bin, 0 int, 0 impl, 0 cont) and 509 constraints
0.06/0.08 c 509 constraints of type <logicor>
0.06/0.08 c transformed objective value is always integral (scale: 1)
0.06/0.08 c Presolving Time: 0.05
0.06/0.08 c - non default parameters ----------------------------------------------------------------------
0.06/0.08 c # SCIP version 2.0.1.4
0.06/0.08 c
0.06/0.08 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.08 c conflict/interconss = 0
0.06/0.08 c
0.06/0.08 c # should binary conflicts be preferred?
0.06/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.08 c conflict/preferbinary = TRUE
0.06/0.08 c
0.06/0.08 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.08 c constraints/agelimit = 1
0.06/0.08 c
0.06/0.08 c # should enforcement of pseudo solution be disabled?
0.06/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.08 c constraints/disableenfops = TRUE
0.06/0.08 c
0.06/0.08 c # frequency for displaying node information lines
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.06/0.08 c display/freq = 10000
0.06/0.08 c
0.06/0.08 c # maximal time in seconds to run
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.08 c limits/time = 1800
0.06/0.08 c
0.06/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.08 c limits/memory = 13950
0.06/0.08 c
0.06/0.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.08 c lp/solvefreq = 0
0.06/0.08 c
0.06/0.08 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.06/0.08 c # [type: char, range: {lafpsqd}, default: l]
0.06/0.08 c lp/pricing = a
0.06/0.08 c
0.06/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.06/0.08 c # [type: int, range: [1,2], default: 1]
0.06/0.08 c timing/clocktype = 2
0.06/0.08 c
0.06/0.08 c # belongs reading time to solving time?
0.06/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.08 c timing/reading = TRUE
0.06/0.08 c
0.06/0.08 c # should presolving try to simplify inequalities
0.06/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.08 c constraints/linear/simplifyinequalities = TRUE
0.06/0.08 c
0.06/0.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.06/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.08 c constraints/indicator/addCouplingCons = TRUE
0.06/0.08 c
0.06/0.08 c # should presolving try to simplify knapsacks
0.06/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.06/0.08 c
0.06/0.08 c # priority of node selection rule <dfs> in standard mode
0.06/0.08 c # [type: int, range: [-536870912,536870911], default: 0]
0.06/0.08 c nodeselection/dfs/stdpriority = 1000000
0.06/0.08 c
0.06/0.08 c -----------------------------------------------------------------------------------------------
0.06/0.08 c start solving
0.06/0.08 c
0.06/0.08 o 4338
0.06/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.06/0.08 c t 0.1s| 1 | 0 | 0 | - |9013k| 0 | - |4338 | 509 | 0 | 0 | 0 | 0 | 0 | -- | 4.338000e+03 | Inf
0.06/0.09 o 142
0.06/0.09 c b 0.1s| 1 | 0 | 0 | - | 11M| 0 | - |4338 | 509 |4338 | 509 | 0 | 0 | 0 | -- | 1.420000e+02 | Inf
0.19/0.25 c 0.3s| 1 | 0 | 1426 | - | 11M| 0 | 65 |4338 | 509 |4338 | 509 | 0 | 0 | 0 | 6.000000e+01 | 1.420000e+02 | 136.67%
0.19/0.26 o 95
0.19/0.26 c r 0.3s| 1 | 0 | 1426 | - | 11M| 0 | 65 |4338 | 509 |4338 | 509 | 0 | 0 | 0 | 6.000000e+01 | 9.500000e+01 | 58.33%
0.19/0.26 o 94
0.19/0.26 c R 0.3s| 1 | 0 | 1426 | - | 11M| 0 | 65 |4338 | 509 |4338 | 509 | 0 | 0 | 0 | 6.000000e+01 | 9.400000e+01 | 56.67%
0.19/0.26 o 93
0.19/0.26 c s 0.3s| 1 | 0 | 1426 | - | 11M| 0 | 65 |4338 | 509 |4338 | 509 | 0 | 0 | 0 | 6.000000e+01 | 9.300000e+01 | 55.00%
0.19/0.26 o 66
0.19/0.26 c b 0.3s| 1 | 0 | 1426 | - | 12M| 0 | 65 |4338 | 509 |4338 | 509 | 0 | 0 | 0 | 6.000000e+01 | 6.600000e+01 | 10.00%
0.49/0.50 c 0.5s| 1 | 0 | 1601 | - | 13M| 0 | 95 |4338 | 509 |4338 | 515 | 6 | 0 | 0 | 6.088333e+01 | 6.600000e+01 | 8.40%
0.79/0.84 c 0.8s| 1 | 0 | 1682 | - | 22M| 0 | 95 |4338 | 509 |4338 | 518 | 9 | 0 | 0 | 6.106356e+01 | 6.600000e+01 | 8.08%
1.11/1.18 c 1.2s| 1 | 0 | 1763 | - | 30M| 0 | 125 |4338 | 509 |4338 | 521 | 12 | 0 | 0 | 6.113333e+01 | 6.600000e+01 | 7.96%
1.49/1.56 c 1.6s| 1 | 0 | 1883 | - | 40M| 0 | 139 |4338 | 509 |4338 | 522 | 13 | 0 | 0 | 6.122222e+01 | 6.600000e+01 | 7.80%
1.59/1.62 c 1.6s| 1 | 0 | 1919 | - | 40M| 0 | 141 |4338 | 509 |4338 | 523 | 14 | 0 | 0 | 6.122222e+01 | 6.600000e+01 | 7.80%
1.89/1.97 o 64
1.89/1.97 c E 2.0s| 1 | 0 | 1919 | - | 40M| 0 | 141 |4338 | 509 |4338 | 523 | 14 | 0 | 0 | 6.122222e+01 | 6.400000e+01 | 4.54%
1.89/1.98 c 2.0s| 1 | 0 | 1919 | - | 40M| 0 | 141 |4338 | 509 |4338 | 523 | 14 | 0 | 0 | 6.122222e+01 | 6.400000e+01 | 4.54%
3.89/3.96 c 4.0s| 1 | 2 | 1919 | - | 40M| 0 | 141 |4338 | 509 |4338 | 523 | 14 | 0 | 39 | 6.122222e+01 | 6.400000e+01 | 4.54%
18.39/18.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.39/18.47 c 18.5s| 10000 | 64 | 1919 | 0.0 | 42M| 160 | - |4338 |1119 | 0 | 0 | 14 |5082 | 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
31.69/31.80 c 31.8s| 20000 | 62 | 1919 | 0.0 | 42M| 160 | - |4338 | 822 | 0 | 0 | 14 | 10k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
45.99/46.10 c 46.1s| 30000 | 63 | 1919 | 0.0 | 42M| 160 | - |4338 | 786 | 0 | 0 | 14 | 15k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
59.69/59.78 c 59.8s| 40000 | 63 | 1919 | 0.0 | 42M| 160 | - |4338 | 996 | 0 | 0 | 14 | 20k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
73.59/73.70 c 73.7s| 50000 | 63 | 1919 | 0.0 | 42M| 160 | - |4338 | 964 | 0 | 0 | 14 | 25k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
87.38/87.49 c 87.5s| 60000 | 64 | 1919 | 0.0 | 42M| 160 | - |4338 | 975 | 0 | 0 | 14 | 30k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
100.68/100.73 c 101s| 70000 | 62 | 1919 | 0.0 | 42M| 160 | - |4338 | 676 | 0 | 0 | 14 | 35k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
116.28/116.32 c 116s| 80000 | 63 | 1919 | 0.0 | 43M| 160 | - |4338 |2056 | 0 | 0 | 14 | 41k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
130.28/130.38 c 130s| 90000 | 63 | 1919 | 0.0 | 42M| 160 | - |4338 |1163 | 0 | 0 | 14 | 46k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
144.58/144.62 c 145s|100000 | 64 | 1919 | 0.0 | 42M| 160 | - |4338 | 868 | 0 | 0 | 14 | 51k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
159.98/160.08 c 160s|110000 | 63 | 1919 | 0.0 | 42M| 160 | - |4338 | 887 | 0 | 0 | 14 | 56k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
173.48/173.56 c 174s|120000 | 62 | 1919 | 0.0 | 42M| 160 | - |4338 | 822 | 0 | 0 | 14 | 61k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
186.58/186.61 c 187s|130000 | 64 | 1919 | 0.0 | 42M| 160 | - |4338 |1052 | 0 | 0 | 14 | 66k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
200.28/200.37 c 200s|140000 | 63 | 1919 | 0.0 | 42M| 160 | - |4338 | 902 | 0 | 0 | 14 | 71k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
213.58/213.64 c 214s|150000 | 64 | 1919 | 0.0 | 42M| 160 | - |4338 |1456 | 0 | 0 | 14 | 77k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
226.50/226.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.50/226.60 c 227s|160000 | 64 | 1919 | 0.0 | 42M| 160 | - |4338 | 943 | 0 | 0 | 14 | 82k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
239.99/240.06 c 240s|170000 | 64 | 1919 | 0.0 | 42M| 160 | - |4338 |1655 | 0 | 0 | 14 | 87k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
257.99/258.04 c 258s|180000 | 63 | 1919 | 0.0 | 42M| 182 | - |4338 |1006 | 0 | 0 | 14 | 92k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
278.59/278.64 c 279s|190000 | 64 | 1919 | 0.0 | 42M| 200 | - |4338 |1080 | 0 | 0 | 14 | 97k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
299.89/299.98 c 300s|200000 | 64 | 1919 | 0.0 | 43M| 200 | - |4338 |1733 | 0 | 0 | 14 | 102k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
321.79/321.80 c 322s|210000 | 62 | 1919 | 0.0 | 43M| 200 | - |4338 |2384 | 0 | 0 | 14 | 107k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
340.79/340.90 c 341s|220000 | 63 | 1919 | 0.0 | 43M| 200 | - |4338 |1860 | 0 | 0 | 14 | 112k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
358.61/358.68 c 359s|230000 | 63 | 1919 | 0.0 | 42M| 200 | - |4338 |1170 | 0 | 0 | 14 | 117k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
376.29/376.30 c 376s|240000 | 63 | 1919 | 0.0 | 42M| 200 | - |4338 |1060 | 0 | 0 | 14 | 122k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
395.19/395.22 c 395s|250000 | 63 | 1919 | 0.0 | 44M| 200 | - |4338 |3599 | 0 | 0 | 14 | 127k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
414.19/414.24 c 414s|260000 | 63 | 1919 | 0.0 | 43M| 200 | - |4338 |2170 | 0 | 0 | 14 | 132k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
433.09/433.18 c 433s|270000 | 62 | 1919 | 0.0 | 43M| 200 | - |4338 |1624 | 0 | 0 | 14 | 137k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
452.11/452.17 c 452s|280000 | 63 | 1919 | 0.0 | 43M| 200 | - |4338 |1684 | 0 | 0 | 14 | 143k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
469.99/470.03 c 470s|290000 | 63 | 1919 | 0.0 | 42M| 200 | - |4338 | 765 | 0 | 0 | 14 | 148k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
489.59/489.62 c 490s|300000 | 64 | 1919 | 0.0 | 43M| 211 | - |4338 |1549 | 0 | 0 | 14 | 153k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
511.99/512.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.99/512.04 c 512s|310000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |1259 | 0 | 0 | 14 | 158k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
532.59/532.61 c 533s|320000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |2237 | 0 | 0 | 14 | 163k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
553.99/554.01 c 554s|330000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |2373 | 0 | 0 | 14 | 168k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
574.49/574.59 c 575s|340000 | 62 | 1919 | 0.0 | 43M| 212 | - |4338 |1845 | 0 | 0 | 14 | 173k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
594.89/594.92 c 595s|350000 | 64 | 1919 | 0.0 | 44M| 212 | - |4338 |2977 | 0 | 0 | 14 | 178k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
615.50/615.60 c 616s|360000 | 63 | 1919 | 0.0 | 44M| 212 | - |4338 |3677 | 0 | 0 | 14 | 183k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
637.10/637.18 c 637s|370000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |1174 | 0 | 0 | 14 | 188k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
657.90/657.91 c 658s|380000 | 64 | 1919 | 0.0 | 43M| 212 | - |4338 |1406 | 0 | 0 | 14 | 193k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
675.20/675.30 c 675s|390000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |1173 | 0 | 0 | 14 | 198k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
695.21/695.22 c 695s|400000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |2064 | 0 | 0 | 14 | 203k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
716.50/716.51 c 717s|410000 | 63 | 1919 | 0.0 | 45M| 212 | - |4338 |4542 | 0 | 0 | 14 | 208k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
736.70/736.77 c 737s|420000 | 64 | 1919 | 0.0 | 42M| 212 | - |4338 | 971 | 0 | 0 | 14 | 213k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
755.00/755.09 c 755s|430000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |2004 | 0 | 0 | 14 | 218k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
776.51/776.56 c 777s|440000 | 63 | 1919 | 0.0 | 44M| 212 | - |4338 |2449 | 0 | 0 | 14 | 223k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
797.90/797.93 c 798s|450000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |2119 | 0 | 0 | 14 | 228k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
816.40/816.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.40/816.48 c 816s|460000 | 62 | 1919 | 0.0 | 43M| 212 | - |4338 |2141 | 0 | 0 | 14 | 234k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
834.81/834.87 c 835s|470000 | 61 | 1919 | 0.0 | 43M| 212 | - |4338 |1984 | 0 | 0 | 14 | 239k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
853.90/853.90 c 854s|480000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |1105 | 0 | 0 | 14 | 244k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
874.30/874.37 c 874s|490000 | 64 | 1919 | 0.0 | 43M| 212 | - |4338 |2417 | 0 | 0 | 14 | 249k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
895.80/895.81 c 896s|500000 | 63 | 1919 | 0.0 | 44M| 212 | - |4338 |2573 | 0 | 0 | 14 | 254k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
915.40/915.47 c 915s|510000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |1757 | 0 | 0 | 14 | 259k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
933.00/933.08 c 933s|520000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |1251 | 0 | 0 | 14 | 264k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
949.21/949.26 c 949s|530000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |1154 | 0 | 0 | 14 | 269k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
966.70/966.73 c 967s|540000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |1033 | 0 | 0 | 14 | 274k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
985.20/985.28 c 985s|550000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |2311 | 0 | 0 | 14 | 279k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1006.60/1006.64 c 1007s|560000 | 64 | 1919 | 0.0 | 43M| 212 | - |4338 |1913 | 0 | 0 | 14 | 284k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1026.10/1026.21 c 1026s|570000 | 62 | 1919 | 0.0 | 43M| 212 | - |4338 |1645 | 0 | 0 | 14 | 289k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1046.30/1046.35 c 1046s|580000 | 63 | 1919 | 0.0 | 43M| 212 | - |4338 |1936 | 0 | 0 | 14 | 294k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1064.91/1064.93 c 1065s|590000 | 64 | 1919 | 0.0 | 43M| 212 | - |4338 |1340 | 0 | 0 | 14 | 299k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1086.71/1086.77 c 1087s|600000 | 64 | 1919 | 0.0 | 43M| 219 | - |4338 |1681 | 0 | 0 | 14 | 305k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1108.11/1108.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1108.11/1108.12 c 1108s|610000 | 63 | 1919 | 0.0 | 47M| 219 | - |4338 |6713 | 0 | 0 | 14 | 310k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1124.31/1124.31 c 1124s|620000 | 63 | 1919 | 0.0 | 43M| 222 | - |4338 |1526 | 0 | 0 | 14 | 315k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1139.41/1139.49 c 1139s|630000 | 63 | 1919 | 0.0 | 43M| 222 | - |4338 |1760 | 0 | 0 | 14 | 320k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1157.71/1157.75 c 1158s|640000 | 63 | 1919 | 0.0 | 43M| 222 | - |4338 |2109 | 0 | 0 | 14 | 325k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1174.72/1174.79 c 1175s|650000 | 62 | 1919 | 0.0 | 43M| 222 | - |4338 |1126 | 0 | 0 | 14 | 330k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1189.82/1189.84 c 1190s|660000 | 63 | 1919 | 0.0 | 43M| 222 | - |4338 |1726 | 0 | 0 | 14 | 335k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1207.12/1207.18 c 1207s|670000 | 63 | 1919 | 0.0 | 43M| 222 | - |4338 |1091 | 0 | 0 | 14 | 340k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1224.72/1224.72 c 1225s|680000 | 62 | 1919 | 0.0 | 43M| 222 | - |4338 |1266 | 0 | 0 | 14 | 345k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1240.52/1240.56 c 1241s|690000 | 64 | 1919 | 0.0 | 43M| 222 | - |4338 |1555 | 0 | 0 | 14 | 350k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1256.62/1256.60 c 1257s|700000 | 63 | 1919 | 0.0 | 43M| 222 | - |4338 |1061 | 0 | 0 | 14 | 355k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1276.42/1276.45 c 1276s|710000 | 62 | 1919 | 0.0 | 44M| 222 | - |4338 |2250 | 0 | 0 | 14 | 361k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1295.22/1295.26 c 1295s|720000 | 63 | 1919 | 0.0 | 43M| 222 | - |4338 |1647 | 0 | 0 | 14 | 366k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1313.43/1313.49 c 1313s|730000 | 63 | 1919 | 0.0 | 43M| 222 | - |4338 |1162 | 0 | 0 | 14 | 371k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1331.62/1331.68 c 1332s|740000 | 64 | 1919 | 0.0 | 43M| 222 | - |4338 |1325 | 0 | 0 | 14 | 376k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1350.52/1350.56 c 1351s|750000 | 62 | 1919 | 0.0 | 43M| 222 | - |4338 |1645 | 0 | 0 | 14 | 381k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1370.42/1370.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.42/1370.41 c 1370s|760000 | 64 | 1919 | 0.0 | 43M| 222 | - |4338 |1513 | 0 | 0 | 14 | 386k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1390.92/1390.95 c 1391s|770000 | 64 | 1919 | 0.0 | 43M| 222 | - |4338 |1435 | 0 | 0 | 14 | 391k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1413.12/1413.17 c 1413s|780000 | 64 | 1919 | 0.0 | 45M| 225 | - |4338 |3877 | 0 | 0 | 14 | 396k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1433.34/1433.38 c 1433s|790000 | 63 | 1919 | 0.0 | 44M| 225 | - |4338 |2874 | 0 | 0 | 14 | 401k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1455.42/1455.41 c 1455s|800000 | 64 | 1919 | 0.0 | 45M| 225 | - |4338 |4159 | 0 | 0 | 14 | 406k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1477.34/1477.37 c 1477s|810000 | 63 | 1919 | 0.0 | 45M| 225 | - |4338 |4830 | 0 | 0 | 14 | 411k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1494.52/1494.53 c 1495s|820000 | 64 | 1919 | 0.0 | 43M| 225 | - |4338 |1942 | 0 | 0 | 14 | 416k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1512.72/1512.79 c 1513s|830000 | 62 | 1919 | 0.0 | 44M| 225 | - |4338 |2857 | 0 | 0 | 14 | 421k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1532.62/1532.63 c 1533s|840000 | 63 | 1919 | 0.0 | 44M| 225 | - |4338 |2994 | 0 | 0 | 14 | 426k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1552.82/1552.80 c 1553s|850000 | 63 | 1919 | 0.0 | 44M| 225 | - |4338 |3167 | 0 | 0 | 14 | 431k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1573.22/1573.26 c 1573s|860000 | 63 | 1919 | 0.0 | 44M| 225 | - |4338 |2471 | 0 | 0 | 14 | 436k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1592.12/1592.15 c 1592s|870000 | 61 | 1919 | 0.0 | 44M| 225 | - |4338 |3365 | 0 | 0 | 14 | 442k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1608.03/1608.05 c 1608s|880000 | 62 | 1919 | 0.0 | 43M| 225 | - |4338 |1305 | 0 | 0 | 14 | 447k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1625.23/1625.24 c 1625s|890000 | 63 | 1919 | 0.0 | 43M| 225 | - |4338 |1592 | 0 | 0 | 14 | 452k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1643.53/1643.50 c 1644s|900000 | 64 | 1919 | 0.0 | 43M| 225 | - |4338 |1163 | 0 | 0 | 14 | 457k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1662.23/1662.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1662.23/1662.21 c 1662s|910000 | 63 | 1919 | 0.0 | 44M| 225 | - |4338 |2687 | 0 | 0 | 14 | 462k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1680.33/1680.33 c 1680s|920000 | 64 | 1919 | 0.0 | 44M| 225 | - |4338 |2226 | 0 | 0 | 14 | 467k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1698.53/1698.52 c 1699s|930000 | 62 | 1919 | 0.0 | 43M| 225 | - |4338 |1384 | 0 | 0 | 14 | 472k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1713.74/1713.72 c 1714s|940000 | 61 | 1919 | 0.0 | 43M| 225 | - |4338 |1398 | 0 | 0 | 14 | 477k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1728.33/1728.34 c 1728s|950000 | 63 | 1919 | 0.0 | 43M| 225 | - |4338 | 979 | 0 | 0 | 14 | 482k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1746.74/1746.76 c 1747s|960000 | 63 | 1919 | 0.0 | 44M| 225 | - |4338 |2262 | 0 | 0 | 14 | 487k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1761.04/1761.02 c 1761s|970000 | 63 | 1919 | 0.0 | 43M| 225 | - |4338 |1042 | 0 | 0 | 14 | 493k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1774.93/1774.92 c 1775s|980000 | 64 | 1919 | 0.0 | 43M| 225 | - |4338 |1014 | 0 | 0 | 14 | 498k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1788.73/1788.72 c 1789s|990000 | 64 | 1919 | 0.0 | 43M| 225 | - |4338 | 949 | 0 | 0 | 14 | 503k| 39 | 6.127574e+01 | 6.400000e+01 | 4.45%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 998276
1800.03/1800.00 c Primal Bound : +6.40000000000000e+01 (14 solutions)
1800.03/1800.00 c Dual Bound : +6.12757352941177e+01
1800.03/1800.00 c Gap : 4.45 %
1800.03/1800.00 s SATISFIABLE
1800.03/1800.00 v -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658
1800.03/1800.00 v -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641
1800.03/1800.00 v -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623
1800.03/1800.00 v -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605
1800.03/1800.00 v -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587
1800.03/1800.00 v -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 x4569
1800.03/1800.00 v -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 x4554 -x4553 -x4552 -x4551
1800.03/1800.00 v -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533
1800.03/1800.00 v -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515
1800.03/1800.00 v -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 x4502 -x4501 -x4500 -x4499 -x4498 -x4497
1800.03/1800.00 v -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479
1800.03/1800.00 v -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461
1800.03/1800.00 v -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444
1800.03/1800.00 v -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426
1800.03/1800.00 v -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 x4412 -x4411 -x4410 -x4409 -x4408
1800.03/1800.00 v -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390
1800.03/1800.00 v -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372
1800.03/1800.00 v -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 x4357 -x4356 -x4355 -x4354
1800.03/1800.00 v -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336
1800.03/1800.00 v -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318
1800.03/1800.00 v -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300
1800.03/1800.00 v -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 x4286 -x4285 -x4284 -x4283 -x4282
1800.03/1800.00 v -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264
1800.03/1800.00 v -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247
1800.03/1800.00 v -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229
1800.03/1800.00 v -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211
1800.03/1800.00 v -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193
1800.03/1800.00 v -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175
1800.03/1800.00 v -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157
1800.03/1800.00 v -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139
1800.03/1800.00 v -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121
1800.03/1800.00 v -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104
1800.03/1800.00 v -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086
1800.03/1800.00 v -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068
1800.03/1800.00 v -x4067 -x4066 -x4065 x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050
1800.03/1800.00 v -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032
1800.03/1800.00 v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014
1800.03/1800.00 v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996
1800.03/1800.00 v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978
1800.03/1800.00 v -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961
1800.03/1800.00 v -x3960 -x3959 -x3958 -x3957 x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943
1800.03/1800.00 v -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925
1800.03/1800.00 v -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907
1800.03/1800.00 v -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889
1800.03/1800.00 v -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871
1800.03/1800.00 v -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853
1800.03/1800.00 v -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835
1800.03/1800.00 v -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818
1800.03/1800.00 v -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800
1800.03/1800.00 v -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782
1800.03/1800.00 v -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764
1800.03/1800.00 v -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746
1800.03/1800.00 v -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728
1800.03/1800.00 v -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710
1800.03/1800.00 v -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693
1800.03/1800.00 v -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675
1800.03/1800.00 v -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657
1800.03/1800.00 v -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639
1800.03/1800.00 v -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621
1800.03/1800.00 v -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603
1800.03/1800.00 v -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585
1800.03/1800.00 v -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568
1800.03/1800.00 v -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 x3552 -x3551 -x3550
1800.03/1800.00 v -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532
1800.03/1800.00 v -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514
1800.03/1800.00 v -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496
1800.03/1800.00 v -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478
1800.03/1800.00 v -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460
1800.03/1800.00 v -x3459 -x3458 -x3457 x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442
1800.03/1800.00 v -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424
1800.03/1800.00 v -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407
1800.03/1800.00 v -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389
1800.03/1800.00 v -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371
1800.03/1800.00 v -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353
1800.03/1800.00 v -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335
1800.03/1800.00 v -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317
1800.03/1800.00 v -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299
1800.03/1800.00 v -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282
1800.03/1800.00 v -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264
1800.03/1800.00 v -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246
1800.03/1800.00 v -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228
1800.03/1800.00 v -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210
1800.03/1800.00 v -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192
1800.03/1800.00 v -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174
1800.03/1800.00 v -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157
1800.03/1800.00 v -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139
1800.03/1800.00 v -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121
1800.03/1800.00 v -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103
1800.03/1800.00 v -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085
1800.03/1800.00 v -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067
1800.03/1800.00 v -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049
1800.03/1800.00 v -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031
1800.03/1800.00 v -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014
1800.03/1800.00 v -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996
1800.03/1800.00 v -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978
1800.03/1800.00 v -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960
1800.03/1800.00 v -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942
1800.03/1800.00 v -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924
1800.03/1800.00 v -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906
1800.03/1800.00 v -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888
1800.03/1800.00 v -x2887 -x2886 x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870
1800.03/1800.00 v -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852
1800.03/1800.00 v -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835
1800.03/1800.00 v -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817
1800.03/1800.00 v -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799
1800.03/1800.00 v -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781
1800.03/1800.00 v -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763
1800.03/1800.00 v -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745
1800.03/1800.00 v -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727
1800.03/1800.00 v -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710
1800.03/1800.00 v -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692
1800.03/1800.00 v -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674
1800.03/1800.00 v -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 x2658 -x2657 -x2656
1800.03/1800.00 v -x2655 -x2654 -x2653 x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638
1800.03/1800.00 v -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 x2625 -x2624 x2623 -x2622 -x2621 -x2620
1800.03/1800.00 v -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602
1800.03/1800.00 v -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584
1800.03/1800.00 v -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 x2576 -x2575 x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566
1800.03/1800.00 v -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 x2553 x2552 -x2551 -x2550 -x2549 -x2548
1800.03/1800.00 v -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530
1800.03/1800.00 v -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512
1800.03/1800.00 v -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494
1800.03/1800.00 v -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476
1800.03/1800.00 v -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458
1800.03/1800.00 v -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441
1800.03/1800.00 v -x2440 -x2439 -x2438 x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423
1800.03/1800.00 v -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405
1800.03/1800.00 v -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387
1800.03/1800.00 v -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369
1800.03/1800.00 v -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351
1800.03/1800.00 v -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333
1800.03/1800.00 v -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 x2315
1800.03/1800.00 v -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297
1800.03/1800.00 v -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280
1800.03/1800.00 v -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262
1800.03/1800.00 v -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244
1800.03/1800.00 v -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226
1800.03/1800.00 v -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208
1800.03/1800.00 v x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190
1800.03/1800.00 v -x2189 x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172
1800.03/1800.00 v -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154
1800.03/1800.00 v -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136
1800.03/1800.00 v -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119
1800.03/1800.00 v -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101
1800.03/1800.00 v -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083
1800.03/1800.00 v -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065
1800.03/1800.00 v -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047
1800.03/1800.00 v -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029
1800.03/1800.00 v -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011
1800.03/1800.00 v -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994
1800.03/1800.00 v -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976
1800.03/1800.00 v -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958
1800.03/1800.00 v -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940
1800.03/1800.00 v -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922
1800.03/1800.00 v -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904
1800.03/1800.00 v -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886
1800.03/1800.00 v -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868
1800.03/1800.00 v -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851
1800.03/1800.00 v -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833
1800.03/1800.00 v -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815
1800.03/1800.00 v -x1814 -x1813 x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797
1800.03/1800.00 v -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779
1800.03/1800.00 v -x1778 x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761
1800.03/1800.00 v -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743
1800.03/1800.00 v -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725
1800.03/1800.00 v -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707
1800.03/1800.00 v -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690
1800.03/1800.00 v -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672
1800.03/1800.00 v -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654
1800.03/1800.00 v -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636
1800.03/1800.00 v -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618
1800.03/1800.00 v -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600
1800.03/1800.00 v -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582
1800.03/1800.00 v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564
1800.03/1800.00 v -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546
1800.03/1800.00 v -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528
1800.03/1800.00 v -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511
1800.03/1800.00 v -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493
1800.03/1800.00 v -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475
1800.03/1800.00 v -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457
1800.03/1800.00 v -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439
1800.03/1800.00 v -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421
1800.03/1800.00 v -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403
1800.03/1800.00 v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385
1800.03/1800.00 v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368
1800.03/1800.00 v -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350
1800.03/1800.00 v -x1349 x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332
1800.03/1800.00 v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314
1800.03/1800.00 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296
1800.03/1800.00 v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278
1800.03/1800.00 v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260
1800.03/1800.00 v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242
1800.03/1800.00 v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 x1225 -x1224
1800.03/1800.00 v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206
1800.03/1800.00 v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191 -x1190 -x1189 -x1188
1800.03/1800.00 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171
1800.03/1800.00 v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153
1800.03/1800.00 v -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135
1800.03/1800.00 v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117
1800.03/1800.00 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099
1800.03/1800.00 v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081
1800.03/1800.00 v x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063
1800.03/1800.00 v -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045
1800.03/1800.00 v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
1800.03/1800.00 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009
1800.03/1800.00 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990
1800.03/1800.00 v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969
1800.03/1800.00 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948
1800.03/1800.00 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928
1800.03/1800.00 v -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907
1800.03/1800.00 v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886
1800.03/1800.00 v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865
1800.03/1800.00 v -x864 -x863 -x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844
1800.03/1800.00 v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823
1800.03/1800.00 v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802
1800.03/1800.00 v -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 x787 -x786 -x785 -x784 -x783 -x782 -x781
1800.03/1800.00 v -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760
1800.03/1800.00 v -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740
1800.03/1800.00 v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719
1800.03/1800.00 v -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
1800.03/1800.00 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677
1800.03/1800.00 v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656
1800.03/1800.00 v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635
1800.03/1800.00 v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614
1800.03/1800.00 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
1800.03/1800.00 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
1800.03/1800.00 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552
1800.03/1800.00 v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531
1800.03/1800.00 v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510
1800.03/1800.00 v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489
1800.03/1800.00 v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468
1800.03/1800.00 v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447
1800.03/1800.00 v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427
1800.03/1800.00 v x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405
1800.03/1800.00 v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384
1800.03/1800.00 v -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363
1800.03/1800.00 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343
1800.03/1800.00 v -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322
1800.03/1800.00 v -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301
1800.03/1800.00 v -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280
1800.03/1800.00 v -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259
1800.03/1800.00 v -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238
1800.03/1800.00 v -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217
1800.03/1800.00 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196
1800.03/1800.00 v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175
1800.03/1800.00 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
1800.03/1800.00 v -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
1800.03/1800.00 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112
1800.03/1800.00 v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
1800.03/1800.00 v -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
1800.03/1800.00 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
1800.03/1800.00 v -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 -x14
1800.03/1800.00 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.05 (included in solving)
1800.03/1800.00 c reading : 0.03 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3452696-1307081648.opb
1800.03/1800.00 c Variables : 4676 (4676 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 509 initial, 509 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3452696-1307081648.opb
1800.03/1800.00 c Variables : 4338 (4338 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 509 initial, 8373 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.02 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c logicor : 0.01 338 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 1 0 19 0 0 0 0 0 2
1800.03/1800.00 c logicor : 509+ 6 2269892 0 0 14 3452293 406176 642081 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 0 17 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 1.93 0.00 0.00 1.93 0.00 0.00 0.00
1800.03/1800.00 c logicor : 492.69 0.00 483.14 0.00 0.00 0.00 9.55
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 0 0 0 0
1800.03/1800.00 c pseudoobj : 15861664 10159736 101461 231352112
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 1.65 1.65 0.00
1800.03/1800.00 c rootredcost : 1.75 1.75 0.00
1800.03/1800.00 c pseudoobj : 1568.72 1062.97 505.75
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 523.70 507637 507631 507631 62.6 0 0.0 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 507631 62.6 - - -
1800.03/1800.00 c applied locally : - - - 0 0.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.02 5 - - 6 - (maximal pool size: 473)
1800.03/1800.00 c redcost : 0.00 7 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 7 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.09 7 0 0 102 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.98 7 0 0 1234 0
1800.03/1800.00 c cmir : 0.11 7 0 0 0 0
1800.03/1800.00 c flowcover : 0.14 7 0 0 0 0
1800.03/1800.00 c clique : 0.00 1 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 1 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 1.93 1 0 0 0 0 2
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 148.36 507698 0 0 0 0 1015396
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c oneopt : 0.24 4 2
1800.03/1800.00 c trivial : 0.01 2 2
1800.03/1800.00 c shiftandpropagate: 0.00 0 0
1800.03/1800.00 c simplerounding : 0.00 6 6
1800.03/1800.00 c zirounding : 0.00 1 1
1800.03/1800.00 c rounding : 0.00 6 1
1800.03/1800.00 c shifting : 0.00 6 1
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.30 1 1
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c subnlp : 0.17 0 0
1800.03/1800.00 c trysol : 0.09 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.23 6 1919 319.83 8267.85
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 1.93 39 11922 305.69 6187.94
1800.03/1800.00 c (at root node) : - 39 11922 305.69 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 998276
1800.03/1800.00 c nodes (total) : 998276
1800.03/1800.00 c nodes left : 63
1800.03/1800.00 c max depth : 225
1800.03/1800.00 c max depth (total): 225
1800.03/1800.00 c backtracks : 17060 (1.7%)
1800.03/1800.00 c delayed cutoffs : 17060
1800.03/1800.00 c repropagations : 12320328 (7338395 domain reductions, 17060 cutoffs)
1800.03/1800.00 c avg switch length: 25.67
1800.03/1800.00 c switching time : 64.14
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 14 (8 improvements)
1800.03/1800.00 c First Solution : +4.67600000000000e+03 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.03/1800.00 c Primal Bound : +6.40000000000000e+01 (in run 1, after 1 nodes, 1.97 seconds, depth 0, found by <rens>)
1800.03/1800.00 c Dual Bound : +6.12757352941177e+01
1800.03/1800.00 c Gap : 4.45 %
1800.03/1800.00 c Root Dual Bound : +6.12222222222222e+01
1800.03/1800.00 c Root Iterations : 1919
OK 64
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3452696-1307081648/watcher-3452696-1307081648 -o /tmp/evaluation-result-3452696-1307081648/solver-3452696-1307081648 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452696-1307081648.opb -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: 0.92 1.03 1.35 4/445 8909 /proc/meminfo: memFree=31437832/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=12640 CPUtime=0 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 2147 0 0 0 0 0 0 0 23 0 1 0 819763585 12943360 2100 33554432000 4194304 9128323 140734900069152 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8909/statm: 3160 2101 391 1205 0 1951 0 [startup+0.0732281 s] /proc/loadavg: 0.92 1.03 1.35 4/445 8909 /proc/meminfo: memFree=31437832/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=28960 CPUtime=0.06 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 6248 0 0 0 6 0 0 0 24 0 1 0 819763585 29655040 5943 33554432000 4194304 9128323 140734900069152 18446744073709551615 5326957 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 7240 5943 520 1205 0 6031 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 28960 [startup+0.100219 s] /proc/loadavg: 0.92 1.03 1.35 4/445 8909 /proc/meminfo: memFree=31437832/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=37944 CPUtime=0.09 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 8455 0 0 0 9 0 0 0 24 0 1 0 819763585 38854656 8118 33554432000 4194304 9128323 140734900069152 18446744073709551615 8012592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 9486 8146 649 1205 0 8277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 37944 [startup+0.300182 s] /proc/loadavg: 0.92 1.03 1.35 4/445 8909 /proc/meminfo: memFree=31437832/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=38832 CPUtime=0.29 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 9186 0 0 0 28 1 0 0 25 0 1 0 819763585 39763968 8615 33554432000 4194304 9128323 140734900069152 18446744073709551615 4311838 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 9708 8615 640 1205 0 8499 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38832 [startup+0.701113 s] /proc/loadavg: 0.92 1.03 1.35 4/445 8909 /proc/meminfo: memFree=31437832/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=62048 CPUtime=0.69 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 14588 0 0 0 67 2 0 0 25 0 1 0 819763585 63537152 14000 33554432000 4194304 9128323 140734900069152 18446744073709551615 4311700 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 15512 14000 665 1205 0 14303 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 62048 [startup+1.50097 s] /proc/loadavg: 0.92 1.03 1.35 5/447 8911 /proc/meminfo: memFree=31327704/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=88236 CPUtime=1.49 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 21041 0 0 0 146 3 0 0 25 0 1 0 819763585 90353664 20451 33554432000 4194304 9128323 140734900069152 18446744073709551615 6631011 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 22059 20451 783 1205 0 20850 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 88236 [startup+3.10063 s] /proc/loadavg: 0.92 1.03 1.35 5/447 8911 /proc/meminfo: memFree=31300676/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=89812 CPUtime=3.09 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 28502 0 0 0 299 10 0 0 25 0 1 0 819763585 91967488 20765 33554432000 4194304 9128323 140734900069152 18446744073709551615 7279237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 22453 20765 716 1205 0 21244 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 89812 [startup+6.30107 s] /proc/loadavg: 1.01 1.05 1.36 5/447 8911 /proc/meminfo: memFree=31277468/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=93440 CPUtime=6.29 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 29385 0 0 0 618 11 0 0 25 0 1 0 819763585 95682560 21648 33554432000 4194304 9128323 140734900069152 18446744073709551615 5983317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 23360 21648 722 1205 0 22151 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 93440 [startup+12.701 s] /proc/loadavg: 1.09 1.06 1.36 5/447 8911 /proc/meminfo: memFree=31290196/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=96612 CPUtime=12.69 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 30148 0 0 0 1258 11 0 0 25 0 1 0 819763585 98930688 22411 33554432000 4194304 9128323 140734900069152 18446744073709551615 5983260 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 24153 22411 722 1205 0 22944 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 96612 [startup+25.5007 s] /proc/loadavg: 1.29 1.11 1.37 4/447 8912 /proc/meminfo: memFree=31286204/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=100108 CPUtime=25.49 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 31018 0 0 0 2538 11 0 0 25 0 1 0 819763585 102510592 23281 33554432000 4194304 9128323 140734900069152 18446744073709551615 4912264 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 25027 23281 722 1205 0 23818 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 100108 [startup+51.1002 s] /proc/loadavg: 1.53 1.18 1.38 3/447 8939 /proc/meminfo: memFree=31305084/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=104280 CPUtime=51.09 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 32061 0 0 0 5098 11 0 0 25 0 1 0 819763585 106782720 24324 33554432000 4194304 9128323 140734900069152 18446744073709551615 5983317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 26070 24324 722 1205 0 24861 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 104280 [startup+102.317 s] /proc/loadavg: 1.79 1.30 1.41 3/447 8941 /proc/meminfo: memFree=31295828/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=108112 CPUtime=102.3 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 33007 0 0 0 10219 11 0 0 25 0 1 0 819763585 110706688 25270 33554432000 4194304 9128323 140734900069152 18446744073709551615 4840374 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 27028 25270 722 1205 0 25819 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 108112 [startup+162.301 s] /proc/loadavg: 1.92 1.43 1.45 3/447 8942 /proc/meminfo: memFree=31292320/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=111420 CPUtime=162.28 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 33847 0 0 0 16217 11 0 0 25 0 1 0 819763585 114094080 26110 33554432000 4194304 9128323 140734900069152 18446744073709551615 6514541 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 27855 26110 722 1205 0 26646 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 111420 [startup+222.301 s] /proc/loadavg: 1.97 1.53 1.48 3/447 8944 /proc/meminfo: memFree=31287168/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=113164 CPUtime=222.28 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 34295 0 0 0 22217 11 0 0 25 0 1 0 819763585 115879936 26558 33554432000 4194304 9128323 140734900069152 18446744073709551615 4547552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 28291 26558 722 1205 0 27082 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 113164 [startup+282.3 s] /proc/loadavg: 1.99 1.61 1.51 3/447 8945 /proc/meminfo: memFree=31283384/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=117204 CPUtime=282.29 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 35273 0 0 0 28217 12 0 0 25 0 1 0 819763585 120016896 27536 33554432000 4194304 9128323 140734900069152 18446744073709551615 5333320 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 29301 27536 722 1205 0 28092 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 117204 [startup+342.301 s] /proc/loadavg: 2.08 1.71 1.55 4/447 8947 /proc/meminfo: memFree=31276876/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=122312 CPUtime=342.29 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 36550 0 0 0 34217 12 0 0 25 0 1 0 819763585 125247488 28813 33554432000 4194304 9128323 140734900069152 18446744073709551615 5983237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 30578 28813 722 1205 0 29369 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 122312 [startup+402.3 s] /proc/loadavg: 2.18 1.80 1.59 3/447 8949 /proc/meminfo: memFree=31275952/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=123084 CPUtime=402.29 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 36755 0 0 0 40217 12 0 0 25 0 1 0 819763585 126038016 29018 33554432000 4194304 9128323 140734900069152 18446744073709551615 5984416 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 30771 29018 722 1205 0 29562 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 123084 [startup+462.301 s] /proc/loadavg: 2.06 1.84 1.61 3/447 8950 /proc/meminfo: memFree=31274032/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=124156 CPUtime=462.29 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 37011 0 0 0 46217 12 0 0 25 0 1 0 819763585 127135744 29274 33554432000 4194304 9128323 140734900069152 18446744073709551615 5984518 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 31039 29274 722 1205 0 29830 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 124156 [startup+522.3 s] /proc/loadavg: 2.02 1.86 1.63 3/447 8952 /proc/meminfo: memFree=31270856/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=127280 CPUtime=522.29 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 37791 0 0 0 52217 12 0 0 25 0 1 0 819763585 130334720 30054 33554432000 4194304 9128323 140734900069152 18446744073709551615 4912320 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 31820 30054 722 1205 0 30611 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 127280 [startup+582.301 s] /proc/loadavg: 2.01 1.89 1.65 3/447 8953 /proc/meminfo: memFree=31268928/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=129140 CPUtime=582.29 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 38281 0 0 0 58217 12 0 0 25 0 1 0 819763585 132239360 30544 33554432000 4194304 9128323 140734900069152 18446744073709551615 5984017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 32285 30544 722 1205 0 31076 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 129140 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 1.94 1.72 3/447 8960 /proc/meminfo: memFree=31265172/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=132664 CPUtime=822.3 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 39134 0 0 0 82218 12 0 0 25 0 1 0 819763585 135847936 31397 33554432000 4194304 9128323 140734900069152 18446744073709551615 4929682 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 33166 31397 722 1205 0 31957 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 132664 [startup+882.301 s] /proc/loadavg: 2.11 1.98 1.75 3/447 8961 /proc/meminfo: memFree=31264116/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=133268 CPUtime=882.3 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 39302 0 0 0 88218 12 0 0 25 0 1 0 819763585 136466432 31565 33554432000 4194304 9128323 140734900069152 18446744073709551615 5984571 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 33317 31565 722 1205 0 32108 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 133268 [startup+942.3 s] /proc/loadavg: 2.18 2.03 1.77 3/447 8963 /proc/meminfo: memFree=31262184/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=135548 CPUtime=942.3 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 39855 0 0 0 94218 12 0 0 25 0 1 0 819763585 138801152 32118 33554432000 4194304 9128323 140734900069152 18446744073709551615 5985952 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 33887 32118 722 1205 0 32678 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 135548 [startup+1002.3 s] /proc/loadavg: 2.11 2.03 1.79 3/447 8965 /proc/meminfo: memFree=31261992/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=135548 CPUtime=1002.3 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 39855 0 0 0 100218 12 0 0 25 0 1 0 819763585 138801152 32118 33554432000 4194304 9128323 140734900069152 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 33887 32118 722 1205 0 32678 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 135548 [startup+1062.3 s] /proc/loadavg: 2.04 2.02 1.80 3/447 8966 /proc/meminfo: memFree=31261564/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=135692 CPUtime=1062.3 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 39915 0 0 0 106218 12 0 0 25 0 1 0 819763585 138948608 32178 33554432000 4194304 9128323 140734900069152 18446744073709551615 5984644 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 33923 32178 722 1205 0 32714 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 135692 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 1.82 3/447 8968 /proc/meminfo: memFree=31258644/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=138660 CPUtime=1122.31 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 40635 0 0 0 112218 13 0 0 25 0 1 0 819763585 141987840 32898 33554432000 4194304 9128323 140734900069152 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 34665 32898 722 1205 0 33456 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 138660 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 1.82 3/447 8969 /proc/meminfo: memFree=31256600/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=138660 CPUtime=1182.32 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 40635 0 0 0 118219 13 0 0 25 0 1 0 819763585 141987840 32898 33554432000 4194304 9128323 140734900069152 18446744073709551615 7414868 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 34665 32898 722 1205 0 33456 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 138660 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 1.83 3/447 8971 /proc/meminfo: memFree=31255660/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=138660 CPUtime=1242.32 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 40635 0 0 0 124219 13 0 0 25 0 1 0 819763585 141987840 32898 33554432000 4194304 9128323 140734900069152 18446744073709551615 5983237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 34665 32898 722 1205 0 33456 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 138660 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.83 3/447 8973 /proc/meminfo: memFree=31254856/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=139684 CPUtime=1302.33 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 40891 0 0 0 130220 13 0 0 25 0 1 0 819763585 143036416 33154 33554432000 4194304 9128323 140734900069152 18446744073709551615 4912264 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 34921 33154 722 1205 0 33712 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 139684 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.84 3/447 8974 /proc/meminfo: memFree=31254544/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=139684 CPUtime=1362.32 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 40891 0 0 0 136219 13 0 0 25 0 1 0 819763585 143036416 33154 33554432000 4194304 9128323 140734900069152 18446744073709551615 5984458 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 34921 33154 722 1205 0 33712 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 139684 [startup+1422.32 s] /proc/loadavg: 2.08 2.02 1.85 3/447 8976 /proc/meminfo: memFree=31255712/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=139684 CPUtime=1422.34 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 40891 0 0 0 142221 13 0 0 25 0 1 0 819763585 143036416 33154 33554432000 4194304 9128323 140734900069152 18446744073709551615 4912271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 34921 33154 722 1205 0 33712 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 139684 [startup+1482.3 s] /proc/loadavg: 2.10 2.03 1.86 3/447 8977 /proc/meminfo: memFree=31252196/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=142764 CPUtime=1482.32 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 41661 0 0 0 148219 13 0 0 25 0 1 0 819763585 146190336 33924 33554432000 4194304 9128323 140734900069152 18446744073709551615 5984500 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 35691 33924 722 1205 0 34482 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 142764 [startup+1542.3 s] /proc/loadavg: 2.09 2.04 1.87 3/447 8979 /proc/meminfo: memFree=31252376/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=142764 CPUtime=1542.32 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 41661 0 0 0 154219 13 0 0 25 0 1 0 819763585 146190336 33924 33554432000 4194304 9128323 140734900069152 18446744073709551615 5984420 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 35691 33924 722 1205 0 34482 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 142764 [startup+1602.3 s] /proc/loadavg: 2.03 2.03 1.88 3/447 8981 /proc/meminfo: memFree=31252188/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=142764 CPUtime=1602.33 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 41661 0 0 0 160220 13 0 0 25 0 1 0 819763585 146190336 33924 33554432000 4194304 9128323 140734900069152 18446744073709551615 5984624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 35691 33924 722 1205 0 34482 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 142764 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 1.89 3/447 8982 /proc/meminfo: memFree=31252008/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=142764 CPUtime=1662.33 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 41661 0 0 0 166220 13 0 0 25 0 1 0 819763585 146190336 33924 33554432000 4194304 9128323 140734900069152 18446744073709551615 5984675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 35691 33924 722 1205 0 34482 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 142764 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 1.89 3/447 8984 /proc/meminfo: memFree=31252184/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=142764 CPUtime=1722.33 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 41661 0 0 0 172220 13 0 0 25 0 1 0 819763585 146190336 33924 33554432000 4194304 9128323 140734900069152 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 35691 33924 722 1205 0 34482 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 142764 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.90 3/447 8985 /proc/meminfo: memFree=31250996/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=142764 CPUtime=1782.33 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 41661 0 0 0 178220 13 0 0 25 0 1 0 819763585 146190336 33924 33554432000 4194304 9128323 140734900069152 18446744073709551615 4912271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8909/statm: 35691 33924 722 1205 0 34482 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 142764 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 1.90 3/447 8986 /proc/meminfo: memFree=31250732/32950928 swapFree=34365992/67111528 [pid=8909] ppid=8907 vsize=142764 CPUtime=1800.04 cores=1,3,5,7 /proc/8909/stat : 8909 (scip-2.0.1.4.li) R 8907 8909 6518 0 -1 4202496 41663 0 0 0 179991 13 0 0 25 0 1 0 819763585 146190336 33926 33554432000 4194304 9128323 140734900069152 18446744073709551615 6581360 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8909/statm: 35691 33926 724 1205 0 34482 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 142764 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.02 CPU time (s): 1800.06 CPU user time (s): 1799.92 CPU system time (s): 0.137979 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 142764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.137979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41663 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= 7 involuntary context switches= 2946 runsolver used 7.85381 second user time and 18.3602 second system time The end
Begin job on node120 at 2011-06-03 08:14:08 IDJOB=3452696 IDBENCH=2044 IDSOLVER=1949 FILE ID=node120/3452696-1307081648 RUNJOBID= node120-1307081648-8891 PBS_JOBID= 13497866 Free space on /tmp= 73808 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452696-1307081648/watcher-3452696-1307081648 -o /tmp/evaluation-result-3452696-1307081648/solver-3452696-1307081648 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452696-1307081648.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f RANDOM SEED=1016728139 node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31438112 kB Buffers: 243428 kB Cached: 952252 kB SwapCached: 12852 kB Active: 307324 kB Inactive: 914632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31438112 kB SwapTotal: 67111528 kB SwapFree: 34365992 kB Dirty: 24776 kB Writeback: 8 kB AnonPages: 23312 kB Mapped: 10772 kB Slab: 131812 kB PageTables: 91072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 105383812 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73788 MiB End job on node120 at 2011-06-03 08:44:10