Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | OPTIMUM | 1171.79 | 1171.75 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo |
| MD5SUM | a305848cf761b3c7939395660924f4d7 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.174973 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 3939 |
| Total number of constraints | 10412 |
| Number of soft constraints | 10412 |
| Number of constraints which are clauses | 9740 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 672 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| Top cost | 524426 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 524425 |
| Biggest number in a constraint | 69 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 258 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693912-1277932363.wbo>
0.09/0.12 c original problem has 24763 variables (14351 bin, 0 int, 0 impl, 10412 cont) and 20825 constraints
0.09/0.12 c problem read
0.09/0.12 c presolving settings loaded
0.09/0.12 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
1.49/1.50 o 524425
1.49/1.50 c feasible solution found by trivial heuristic, objective value 5.244250e+05
1.49/1.50 c presolving:
1.49/1.53 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 336 chg sides, 672 chg coeffs, 0 upgd conss, 10412 impls, 0 clqs
1.49/1.56 c (round 2) 0 del vars, 1 del conss, 10412 chg bounds, 336 chg sides, 672 chg coeffs, 0 upgd conss, 10412 impls, 0 clqs
1.69/1.79 c (1.6s) probing: 101/14351 (0.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.69/1.79 c (1.6s) probing aborted: 100/100 successive totally useless probings
1.69/1.79 c presolving (3 rounds):
1.69/1.79 c 0 deleted vars, 1 deleted constraints, 10412 tightened bounds, 0 added holes, 336 changed sides, 672 changed coefficients
1.69/1.79 c 10412 implications, 0 cliques
1.69/1.79 c presolved problem has 24763 variables (14351 bin, 0 int, 0 impl, 10412 cont) and 20824 constraints
1.69/1.79 c 10412 constraints of type <indicator>
1.69/1.79 c 1 constraints of type <varbound>
1.69/1.79 c 10411 constraints of type <linear>
1.69/1.79 c transformed objective value is always integral (scale: 1)
1.69/1.79 c Presolving Time: 1.55
1.69/1.79 c - non default parameters ----------------------------------------------------------------------
1.69/1.79 c # SCIP version 1.2.1.2
1.69/1.79 c
1.69/1.79 c # frequency for displaying node information lines
1.69/1.79 c # [type: int, range: [-1,2147483647], default: 100]
1.69/1.79 c display/freq = 10000
1.69/1.79 c
1.69/1.79 c # maximal time in seconds to run
1.69/1.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.79 c limits/time = 1799.89
1.69/1.79 c
1.69/1.79 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.79 c limits/memory = 3420
1.69/1.79 c
1.69/1.79 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.69/1.79 c # [type: int, range: [-1,2147483647], default: 1]
1.69/1.79 c lp/solvefreq = -1
1.69/1.79 c
1.69/1.79 c # should presolving try to simplify inequalities
1.69/1.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.79 c constraints/linear/simplifyinequalities = TRUE
1.69/1.79 c
1.69/1.79 c # should presolving try to simplify knapsacks
1.69/1.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.79 c constraints/knapsack/simplifyinequalities = TRUE
1.69/1.79 c
1.69/1.79 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.69/1.79 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.79 c separating/rapidlearning/freq = 0
1.69/1.79 c
1.69/1.79 c -----------------------------------------------------------------------------------------------
1.69/1.79 c start solving
1.69/1.79 c
1.79/1.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.85 c t 1.7s| 1 | 2 | 0 | - | 71M| 0 | - | 24k| 20k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
24.10/24.13 c 23.7s| 10000 | 10001 | 0 | 0.0 | 80M|9999 | - | 24k| 20k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
61.99/62.01 c 61.3s| 20000 | 19937 | 0 | 0.0 | 86M| 10k| - | 24k| 21k| 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
99.79/99.83 c 98.8s| 30000 | 29937 | 0 | 0.0 | 90M| 10k| - | 24k| 21k| 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
136.90/136.93 c 136s| 40000 | 39937 | 0 | 0.0 | 94M| 10k| - | 24k| 21k| 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
173.19/173.22 c 172s| 50000 | 49937 | 0 | 0.0 | 98M| 10k| - | 24k| 21k| 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
208.50/208.57 c 207s| 60000 | 59937 | 0 | 0.0 | 102M| 10k| - | 24k| 21k| 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
243.20/243.24 c 241s| 70000 | 69937 | 0 | 0.0 | 105M| 10k| - | 24k| 21k| 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
277.21/277.25 c 275s| 80000 | 79937 | 0 | 0.0 | 109M| 10k| - | 24k| 21k| 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
310.70/310.70 c 308s| 90000 | 89937 | 0 | 0.0 | 113M| 10k| - | 24k| 21k| 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
344.10/344.18 c 341s|100000 | 99937 | 0 | 0.0 | 117M| 10k| - | 24k| 21k| 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
377.10/377.15 c 374s|110000 |109937 | 0 | 0.0 | 121M| 10k| - | 24k| 21k| 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
408.91/408.93 c 405s|120000 |119937 | 0 | 0.0 | 124M| 10k| - | 24k| 21k| 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
439.61/439.63 c 436s|130000 |129937 | 0 | 0.0 | 128M| 10k| - | 24k| 21k| 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
469.61/469.70 c 466s|140000 |139935 | 0 | 0.0 | 132M| 10k| - | 24k| 21k| 0 | 0 | 0 | 217 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
497.41/497.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.41/497.47 c 493s|150000 |149935 | 0 | 0.0 | 136M| 10k| - | 24k| 21k| 0 | 0 | 0 | 217 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
522.90/522.93 c 518s|160000 |159935 | 0 | 0.0 | 140M| 10k| - | 24k| 21k| 0 | 0 | 0 | 217 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
546.61/546.61 c 542s|170000 |169933 | 0 | 0.0 | 144M| 10k| - | 24k| 21k| 0 | 0 | 0 | 226 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
567.91/567.94 c 563s|180000 |179933 | 0 | 0.0 | 148M| 10k| - | 24k| 21k| 0 | 0 | 0 | 226 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
587.31/587.35 c 582s|190000 |189933 | 0 | 0.0 | 152M| 10k| - | 24k| 21k| 0 | 0 | 0 | 226 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
607.22/607.26 c 602s|200000 |199933 | 0 | 0.0 | 156M| 10k| - | 24k| 21k| 0 | 0 | 0 | 226 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
626.21/626.20 c 620s|210000 |209922 | 0 | 0.0 | 160M| 10k| - | 24k| 21k| 0 | 0 | 0 | 259 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
644.32/644.30 c 638s|220000 |219922 | 0 | 0.0 | 164M| 10k| - | 24k| 21k| 0 | 0 | 0 | 259 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
660.52/660.53 c 654s|230000 |229922 | 0 | 0.0 | 168M| 10k| - | 24k| 21k| 0 | 0 | 0 | 259 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
675.21/675.26 c 669s|240000 |239922 | 0 | 0.0 | 172M| 10k| - | 24k| 21k| 0 | 0 | 0 | 259 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
689.42/689.43 c 682s|250000 |249922 | 0 | 0.0 | 176M| 10k| - | 24k| 21k| 0 | 0 | 0 | 259 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
702.61/702.66 c 695s|260000 |259905 | 0 | 0.0 | 180M| 10k| - | 24k| 21k| 0 | 0 | 0 | 309 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
715.02/715.04 c 708s|270000 |269901 | 0 | 0.0 | 184M| 10k| - | 24k| 21k| 0 | 0 | 0 | 326 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
729.91/729.97 c 722s|280000 |279884 | 0 | 0.0 | 189M| 10k| - | 24k| 21k| 0 | 0 | 0 | 401 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
741.51/741.58 c 734s|290000 |289781 | 0 | 0.0 | 193M| 10k| - | 24k| 21k| 0 | 0 | 0 | 510 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
752.42/752.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
752.42/752.48 c 744s|300000 |299766 | 0 | 0.0 | 197M| 10k| - | 24k| 21k| 0 | 0 | 0 | 592 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
769.81/769.87 c 761s|310000 |309694 | 0 | 0.0 | 202M| 10k| - | 24k| 21k| 0 | 0 | 0 | 820 | 0 | 0.000000e+00 | 5.244250e+05 | Inf
771.42/771.44 o 2719
771.42/771.44 c * 763s|311264 |219938 | 0 | 0.0 | 171M| 10k| - | 24k| 21k| 0 | 0 | 0 | 831 | 0 | 0.000000e+00 | 2.719000e+03 | Inf
783.51/783.53 c 774s|320000 |228655 | 0 | 0.0 | 176M| 10k| - | 24k| 21k| 0 | 0 | 0 | 854 | 0 | 0.000000e+00 | 2.719000e+03 | Inf
793.51/793.51 c 784s|330000 |238649 | 0 | 0.0 | 181M| 10k| - | 24k| 21k| 0 | 0 | 0 | 883 | 0 | 0.000000e+00 | 2.719000e+03 | Inf
797.81/797.82 o 804
797.81/797.82 c * 788s|336526 | 30083 | 0 | 0.0 | 99M| 10k| - | 24k| 21k| 0 | 0 | 0 | 894 | 0 | 0.000000e+00 | 8.040000e+02 | Inf
798.31/798.36 o 762
798.31/798.36 c * 789s|337335 | 29587 | 0 | 0.0 | 100M| 10k| - | 24k| 21k| 0 | 0 | 0 | 904 | 0 | 0.000000e+00 | 7.620000e+02 | Inf
799.12/799.14 o 678
799.12/799.14 c * 790s|338315 | 27946 | 0 | 0.0 | 99M| 10k| - | 24k| 21k| 0 | 0 | 0 | 926 | 0 | 0.000000e+00 | 6.780000e+02 | Inf
799.51/799.59 o 675
799.51/799.59 c * 790s|338856 | 28313 | 0 | 0.0 | 100M| 10k| - | 24k| 21k| 0 | 0 | 0 | 926 | 0 | 0.000000e+00 | 6.750000e+02 | Inf
800.22/800.27 o 217
800.22/800.27 c * 791s|339252 | 18122 | 0 | 0.0 | 94M| 10k| - | 24k| 21k| 0 | 0 | 0 | 985 | 0 | 0.000000e+00 | 2.170000e+02 | Inf
801.71/801.73 c 792s|340000 | 18748 | 0 | 0.0 | 95M| 10k| - | 24k| 22k| 0 | 0 | 0 |1526 | 0 | 0.000000e+00 | 2.170000e+02 | Inf
807.61/807.69 o 216
807.61/807.69 c * 798s|341404 | 19638 | 0 | 0.0 | 102M| 10k| - | 24k| 23k| 0 | 0 | 0 |2818 | 0 | 0.000000e+00 | 2.160000e+02 | Inf
809.91/809.98 o 215
809.91/809.98 c * 800s|341848 | 19874 | 0 | 0.0 | 104M| 10k| - | 24k| 23k| 0 | 0 | 0 |2852 | 0 | 0.000000e+00 | 2.150000e+02 | Inf
812.02/812.00 o 214
812.02/812.00 c * 802s|342300 | 20139 | 0 | 0.0 | 106M| 10k| - | 24k| 23k| 0 | 0 | 0 |2912 | 0 | 0.000000e+00 | 2.140000e+02 | Inf
815.31/815.39 o 213
815.31/815.39 c * 806s|342989 | 20582 | 0 | 0.0 | 108M| 10k| - | 24k| 23k| 0 | 0 | 0 |2977 | 0 | 0.000000e+00 | 2.130000e+02 | Inf
824.92/824.91 o 212
824.92/824.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.92/824.91 c * 815s|344572 | 21905 | 0 | 0.0 | 118M| 10k| - | 24k| 23k| 0 | 0 | 0 |3347 | 0 | 0.000000e+00 | 2.120000e+02 | Inf
829.22/829.22 o 211
829.22/829.22 c * 819s|345356 | 22499 | 0 | 0.0 | 120M| 10k| - | 24k| 24k| 0 | 0 | 0 |3416 | 0 | 0.000000e+00 | 2.110000e+02 | Inf
832.72/832.71 o 210
832.72/832.71 c * 823s|346057 | 22967 | 0 | 0.0 | 123M| 10k| - | 24k| 24k| 0 | 0 | 0 |3521 | 0 | 0.000000e+00 | 2.100000e+02 | Inf
843.11/843.10 o 209
843.11/843.10 c * 833s|347791 | 24019 | 0 | 0.0 | 133M| 10k| - | 24k| 24k| 0 | 0 | 0 |3930 | 0 | 0.000000e+00 | 2.090000e+02 | Inf
844.51/844.55 o 208
844.51/844.55 c * 834s|348124 | 24105 | 0 | 0.0 | 134M| 10k| - | 24k| 24k| 0 | 0 | 0 |3960 | 0 | 0.000000e+00 | 2.080000e+02 | Inf
846.02/846.05 o 207
846.02/846.05 c * 836s|348479 | 24217 | 0 | 0.0 | 133M| 10k| - | 24k| 24k| 0 | 0 | 0 |3985 | 0 | 0.000000e+00 | 2.070000e+02 | Inf
847.12/847.12 o 206
847.12/847.12 c * 837s|348751 | 23304 | 0 | 0.0 | 135M| 10k| - | 24k| 24k| 0 | 0 | 0 |4013 | 0 | 0.000000e+00 | 2.060000e+02 | Inf
849.71/849.77 o 205
849.71/849.77 c * 839s|349306 | 23714 | 0 | 0.0 | 138M| 10k| - | 24k| 24k| 0 | 0 | 0 |4200 | 0 | 0.000000e+00 | 2.050000e+02 | Inf
854.01/854.02 c 844s|350000 | 24347 | 0 | 0.0 | 144M| 10k| - | 24k| 24k| 0 | 0 | 0 |4429 | 0 | 0.000000e+00 | 2.050000e+02 | Inf
854.52/854.55 o 204
854.52/854.55 c * 844s|350229 | 24075 | 0 | 0.0 | 145M| 10k| - | 24k| 24k| 0 | 0 | 0 |4452 | 0 | 0.000000e+00 | 2.040000e+02 | Inf
860.72/860.76 o 203
860.72/860.76 c * 850s|351335 | 24694 | 0 | 0.0 | 156M| 10k| - | 24k| 25k| 0 | 0 | 0 |4730 | 0 | 0.000000e+00 | 2.030000e+02 | Inf
878.32/878.38 o 202
878.32/878.38 c * 868s|354557 | 27236 | 0 | 0.0 | 174M| 10k| - | 24k| 25k| 0 | 0 | 0 |5380 | 0 | 0.000000e+00 | 2.020000e+02 | Inf
880.52/880.57 o 201
880.52/880.57 c * 870s|355074 | 27354 | 0 | 0.0 | 175M| 10k| - | 24k| 25k| 0 | 0 | 0 |5480 | 0 | 0.000000e+00 | 2.010000e+02 | Inf
883.12/883.10 o 200
883.12/883.10 c * 872s|355555 | 27615 | 0 | 0.0 | 178M| 10k| - | 24k| 25k| 0 | 0 | 0 |5556 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
894.33/894.33 o 199
894.33/894.33 c * 884s|357497 | 28976 | 0 | 0.0 | 194M| 10k| - | 24k| 25k| 0 | 0 | 0 |6118 | 0 | 0.000000e+00 | 1.990000e+02 | Inf
902.72/902.73 o 198
902.72/902.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.72/902.73 c * 892s|359091 | 29805 | 0 | 0.0 | 201M| 10k| - | 24k| 25k| 0 | 0 | 0 |6553 | 0 | 0.000000e+00 | 1.980000e+02 | Inf
908.11/908.18 c 897s|360000 | 30614 | 0 | 0.0 | 208M| 10k| - | 24k| 25k| 0 | 0 | 0 |6836 | 0 | 0.000000e+00 | 1.980000e+02 | Inf
911.42/911.46 o 197
911.42/911.46 c * 900s|360683 | 30770 | 0 | 0.0 | 209M| 10k| - | 24k| 25k| 0 | 0 | 0 |6966 | 0 | 0.000000e+00 | 1.970000e+02 | Inf
912.42/912.45 o 196
912.42/912.45 c * 901s|360970 | 30787 | 0 | 0.0 | 210M| 10k| - | 24k| 25k| 0 | 0 | 0 |7001 | 0 | 0.000000e+00 | 1.960000e+02 | Inf
913.12/913.11 o 195
913.12/913.11 c * 902s|361200 | 30746 | 0 | 0.0 | 210M| 10k| - | 24k| 25k| 0 | 0 | 0 |7024 | 0 | 0.000000e+00 | 1.950000e+02 | Inf
918.62/918.68 o 194
918.62/918.68 c * 908s|362322 | 31513 | 0 | 0.0 | 211M| 10k| - | 24k| 25k| 0 | 0 | 0 |7221 | 0 | 0.000000e+00 | 1.940000e+02 | Inf
921.02/921.08 o 193
921.02/921.08 c * 910s|362902 | 31818 | 0 | 0.0 | 214M| 10k| - | 24k| 25k| 0 | 0 | 0 |7369 | 0 | 0.000000e+00 | 1.930000e+02 | Inf
931.52/931.53 o 192
931.52/931.53 c * 920s|364949 | 33287 | 0 | 0.0 | 222M| 10k| - | 24k| 25k| 0 | 0 | 0 |7975 | 0 | 0.000000e+00 | 1.920000e+02 | Inf
932.62/932.60 o 191
932.62/932.60 c * 921s|365271 | 33310 | 0 | 0.0 | 221M| 10k| - | 24k| 25k| 0 | 0 | 0 |8023 | 0 | 0.000000e+00 | 1.910000e+02 | Inf
933.32/933.39 o 189
933.32/933.39 c * 922s|365542 | 33108 | 0 | 0.0 | 215M| 10k| - | 24k| 25k| 0 | 0 | 0 |8054 | 0 | 0.000000e+00 | 1.890000e+02 | Inf
934.22/934.29 o 188
934.22/934.29 c * 923s|365816 | 32924 | 0 | 0.0 | 215M| 10k| - | 24k| 25k| 0 | 0 | 0 |8079 | 0 | 0.000000e+00 | 1.880000e+02 | Inf
935.42/935.41 o 186
935.42/935.41 c * 924s|366141 | 32624 | 0 | 0.0 | 211M| 10k| - | 24k| 25k| 0 | 0 | 0 |8094 | 0 | 0.000000e+00 | 1.860000e+02 | Inf
938.32/938.33 o 183
938.32/938.33 c * 927s|366900 | 32680 | 0 | 0.0 | 207M| 10k| - | 24k| 25k| 0 | 0 | 0 |8195 | 0 | 0.000000e+00 | 1.830000e+02 | Inf
942.32/942.33 o 182
942.32/942.33 c * 931s|367987 | 33393 | 0 | 0.0 | 211M| 10k| - | 24k| 25k| 0 | 0 | 0 |8361 | 0 | 0.000000e+00 | 1.820000e+02 | Inf
947.52/947.57 o 181
947.52/947.57 c * 936s|369101 | 34083 | 0 | 0.0 | 218M| 10k| - | 24k| 25k| 0 | 0 | 0 |8567 | 0 | 0.000000e+00 | 1.810000e+02 | Inf
952.22/952.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.22/952.29 c 941s|370000 | 34874 | 0 | 0.0 | 222M| 10k| - | 24k| 25k| 0 | 0 | 0 |8798 | 0 | 0.000000e+00 | 1.810000e+02 | Inf
953.92/953.95 o 180
953.92/953.95 c * 942s|370469 | 35030 | 0 | 0.0 | 223M| 10k| - | 24k| 25k| 0 | 0 | 0 |8877 | 0 | 0.000000e+00 | 1.800000e+02 | Inf
958.03/958.02 o 179
958.03/958.02 c * 946s|371622 | 35499 | 0 | 0.0 | 224M| 10k| - | 24k| 25k| 0 | 0 | 0 |9058 | 0 | 0.000000e+00 | 1.790000e+02 | Inf
958.43/958.46 o 178
958.43/958.46 c * 947s|371837 | 35241 | 0 | 0.0 | 221M| 10k| - | 24k| 25k| 0 | 0 | 0 |9058 | 0 | 0.000000e+00 | 1.780000e+02 | Inf
965.92/965.99 o 177
965.92/965.99 c * 954s|373609 | 36469 | 0 | 0.0 | 230M| 10k| - | 24k| 25k| 0 | 0 | 0 |9482 | 0 | 0.000000e+00 | 1.770000e+02 | Inf
966.43/966.48 o 176
966.43/966.48 c * 955s|373846 | 36271 | 0 | 0.0 | 228M| 10k| - | 24k| 25k| 0 | 0 | 0 |9512 | 0 | 0.000000e+00 | 1.760000e+02 | Inf
967.62/967.65 o 175
967.62/967.65 c * 956s|374233 | 36429 | 0 | 0.0 | 228M| 10k| - | 24k| 25k| 0 | 0 | 0 |9559 | 0 | 0.000000e+00 | 1.750000e+02 | Inf
967.62/967.66 o 174
967.62/967.66 c * 956s|374234 | 36059 | 0 | 0.0 | 225M| 10k| - | 24k| 25k| 0 | 0 | 0 |9559 | 0 | 0.000000e+00 | 1.740000e+02 | Inf
971.33/971.31 o 173
971.33/971.31 c * 959s|375178 | 36621 | 0 | 0.0 | 226M| 10k| - | 24k| 25k| 0 | 0 | 0 |9730 | 0 | 0.000000e+00 | 1.730000e+02 | Inf
972.72/972.70 o 172
972.72/972.70 c * 961s|375594 | 36638 | 0 | 0.0 | 224M| 10k| - | 24k| 25k| 0 | 0 | 0 |9782 | 0 | 0.000000e+00 | 1.720000e+02 | Inf
979.03/979.03 o 171
979.03/979.03 c * 967s|377139 | 37692 | 0 | 0.0 | 229M| 10k| - | 24k| 25k| 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
987.02/987.00 o 170
987.02/987.00 c * 975s|379484 | 39445 | 0 | 0.0 | 237M| 10k| - | 24k| 25k| 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
989.22/989.25 c 977s|380000 | 39866 | 0 | 0.0 | 240M| 10k| - | 24k| 25k| 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
991.42/991.49 o 167
991.42/991.49 c * 979s|380772 | 39473 | 0 | 0.0 | 235M| 10k| - | 24k| 26k| 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
995.82/995.80 o 166
995.82/995.80 c * 984s|381967 | 39772 | 0 | 0.0 | 237M| 10k| - | 24k| 26k| 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
998.32/998.35 o 163
998.32/998.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.32/998.35 c * 986s|382779 | 39501 | 0 | 0.0 | 229M| 10k| - | 24k| 26k| 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
1004.23/1004.29 o 162
1004.23/1004.29 c * 992s|384487 | 40447 | 0 | 0.0 | 233M| 10k| - | 24k| 26k| 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
1005.12/1005.10 o 161
1005.12/1005.10 c * 993s|384825 | 40192 | 0 | 0.0 | 229M| 10k| - | 24k| 26k| 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
1007.32/1007.34 o 160
1007.32/1007.34 c * 995s|385498 | 40494 | 0 | 0.0 | 229M| 10k| - | 24k| 26k| 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
1023.83/1023.81 c 1011s|390000 | 44116 | 0 | 0.0 | 251M| 10k| - | 24k| 27k| 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
1024.32/1024.38 o 159
1024.32/1024.38 c *1012s|390313 | 44020 | 0 | 0.0 | 251M| 10k| - | 24k| 27k| 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
1032.63/1032.65 o 157
1032.63/1032.65 c *1020s|392823 | 45320 | 0 | 0.0 | 252M| 10k| - | 24k| 28k| 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
1053.62/1053.62 c 1041s|400000 | 51436 | 0 | 0.0 | 275M| 10k| - | 24k| 28k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
1053.83/1053.82 o 156
1053.83/1053.82 c *1041s|400161 | 50960 | 0 | 0.0 | 272M| 10k| - | 24k| 28k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
1054.32/1054.36 o 155
1054.32/1054.36 c *1041s|400474 | 50879 | 0 | 0.0 | 271M| 10k| - | 24k| 28k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
1055.23/1055.25 o 154
1055.23/1055.25 c *1042s|400798 | 50727 | 0 | 0.0 | 268M| 10k| - | 24k| 28k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
1055.93/1055.98 o 153
1055.93/1055.98 c *1043s|401148 | 50478 | 0 | 0.0 | 267M| 10k| - | 24k| 28k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.530000e+02 | Inf
1056.42/1056.49 o 152
1056.42/1056.49 c *1043s|401444 | 50249 | 0 | 0.0 | 262M| 10k| - | 24k| 28k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
1058.63/1058.68 o 144
1058.63/1058.68 c *1045s|402504 | 48547 | 0 | 0.0 | 243M| 10k| - | 24k| 29k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
1060.22/1060.23 o 140
1060.22/1060.23 c *1047s|403266 | 47612 | 0 | 0.0 | 232M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
1060.53/1060.57 o 139
1060.53/1060.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.53/1060.57 c *1047s|403498 | 47483 | 0 | 0.0 | 232M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1060.82/1060.84 o 138
1060.82/1060.84 c *1048s|403706 | 47132 | 0 | 0.0 | 227M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
1061.23/1061.22 o 137
1061.23/1061.22 c *1048s|403935 | 46739 | 0 | 0.0 | 225M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.370000e+02 | Inf
1061.53/1061.53 o 136
1061.53/1061.53 c *1048s|404150 | 46503 | 0 | 0.0 | 219M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
1061.93/1061.91 o 130
1061.93/1061.91 c *1049s|404510 | 45365 | 0 | 0.0 | 205M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
1061.93/1061.92 o 129
1061.93/1061.92 c *1049s|404511 | 44512 | 0 | 0.0 | 198M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.290000e+02 | Inf
1062.42/1062.49 o 123
1062.42/1062.49 c *1049s|404931 | 43352 | 0 | 0.0 | 186M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
1062.42/1062.49 o 122
1062.42/1062.49 c *1049s|404932 | 42991 | 0 | 0.0 | 185M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.220000e+02 | Inf
1062.92/1062.91 o 121
1062.92/1062.91 c *1050s|405203 | 43047 | 0 | 0.0 | 184M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
1062.92/1062.92 o 120
1062.92/1062.92 c *1050s|405204 | 42705 | 0 | 0.0 | 183M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
1063.52/1063.55 o 119
1063.52/1063.55 c *1050s|405567 | 42737 | 0 | 0.0 | 183M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
1064.13/1064.16 o 113
1064.13/1064.16 c *1051s|406019 | 41886 | 0 | 0.0 | 178M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
1064.13/1064.16 o 112
1064.13/1064.16 c *1051s|406020 | 41293 | 0 | 0.0 | 176M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1064.93/1064.98 o 111
1064.93/1064.98 c *1052s|406437 | 41479 | 0 | 0.0 | 178M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
1065.22/1065.29 o 109
1065.22/1065.29 c *1052s|406672 | 41021 | 0 | 0.0 | 176M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
1065.62/1065.64 o 106
1065.62/1065.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.62/1065.64 c *1052s|406973 | 40768 | 0 | 0.0 | 175M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
1065.62/1065.64 o 105
1065.62/1065.64 c *1052s|406974 | 40522 | 0 | 0.0 | 175M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
1065.93/1065.91 o 103
1065.93/1065.91 c *1052s|407176 | 39864 | 0 | 0.0 | 173M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
1066.13/1066.14 o 102
1066.13/1066.14 c *1053s|407373 | 39858 | 0 | 0.0 | 174M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
1066.42/1066.40 o 101
1066.42/1066.40 c *1053s|407552 | 39534 | 0 | 0.0 | 171M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
1066.82/1066.88 o 97
1066.82/1066.88 c *1053s|407908 | 36718 | 0 | 0.0 | 156M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
1066.82/1066.88 o 96
1066.82/1066.88 c *1053s|407909 | 36373 | 0 | 0.0 | 156M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1067.22/1067.22 o 95
1067.22/1067.22 c *1054s|408128 | 36012 | 0 | 0.0 | 155M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
1067.22/1067.22 o 94
1067.22/1067.22 c *1054s|408129 | 35504 | 0 | 0.0 | 154M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1067.42/1067.48 o 93
1067.42/1067.48 c *1054s|408315 | 35162 | 0 | 0.0 | 154M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1067.72/1067.78 o 87
1067.72/1067.78 c *1054s|408644 | 33092 | 0 | 0.0 | 150M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
1067.72/1067.79 o 86
1067.72/1067.79 c *1054s|408645 | 32369 | 0 | 0.0 | 150M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
1068.02/1068.05 o 83
1068.02/1068.05 c *1055s|408885 | 31236 | 0 | 0.0 | 149M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
1068.02/1068.06 o 82
1068.02/1068.06 c *1055s|408886 | 30896 | 0 | 0.0 | 149M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
1068.22/1068.27 o 81
1068.22/1068.27 c *1055s|409064 | 30860 | 0 | 0.0 | 149M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
1068.22/1068.27 o 80
1068.22/1068.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.22/1068.27 c *1055s|409065 | 30288 | 0 | 0.0 | 148M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
1068.53/1068.54 o 79
1068.53/1068.54 c *1055s|409243 | 30139 | 0 | 0.0 | 149M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
1068.82/1068.80 o 76
1068.82/1068.80 c *1055s|409462 | 29390 | 0 | 0.0 | 148M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
1068.82/1068.81 o 75
1068.82/1068.81 c *1055s|409463 | 27721 | 0 | 0.0 | 141M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
1069.02/1069.07 o 74
1069.02/1069.07 c *1056s|409640 | 27534 | 0 | 0.0 | 141M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
1069.43/1069.40 o 73
1069.43/1069.40 c *1056s|409879 | 27571 | 0 | 0.0 | 141M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
1069.43/1069.40 o 71
1069.43/1069.40 c *1056s|409880 | 26716 | 0 | 0.0 | 141M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1069.72/1069.78 c 1056s|410000 | 26813 | 0 | 0.0 | 141M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1070.03/1070.02 o 70
1070.03/1070.02 c *1056s|410202 | 26575 | 0 | 0.0 | 141M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
1070.33/1070.33 o 68
1070.33/1070.33 c *1057s|410416 | 25908 | 0 | 0.0 | 141M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
1070.72/1070.74 o 67
1070.72/1070.74 c *1057s|410712 | 25378 | 0 | 0.0 | 140M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
1070.72/1070.74 o 65
1070.72/1070.74 c *1057s|410713 | 24800 | 0 | 0.0 | 140M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
1071.03/1071.03 o 64
1071.03/1071.03 c *1057s|410900 | 24309 | 0 | 0.0 | 140M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
1071.33/1071.37 o 63
1071.33/1071.37 c *1058s|411122 | 23643 | 0 | 0.0 | 139M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1071.63/1071.64 o 62
1071.63/1071.64 c *1058s|411326 | 23620 | 0 | 0.0 | 138M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1071.63/1071.64 o 61
1071.63/1071.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.63/1071.64 c *1058s|411327 | 23157 | 0 | 0.0 | 138M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1072.33/1072.34 o 60
1072.33/1072.34 c *1059s|411693 | 23286 | 0 | 0.0 | 139M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
1072.33/1072.34 o 59
1072.33/1072.34 c *1059s|411694 | 22888 | 0 | 0.0 | 139M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
1072.83/1072.88 o 54
1072.83/1072.88 c *1059s|412094 | 21404 | 0 | 0.0 | 139M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
1072.83/1072.89 o 53
1072.83/1072.89 c *1059s|412095 | 21113 | 0 | 0.0 | 139M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
1073.12/1073.11 o 52
1073.12/1073.11 c *1059s|412280 | 21091 | 0 | 0.0 | 139M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
1073.12/1073.11 o 51
1073.12/1073.11 c *1059s|412281 | 20772 | 0 | 0.0 | 139M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
1073.53/1073.54 o 50
1073.53/1073.54 c *1060s|412559 | 20733 | 0 | 0.0 | 139M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
1073.93/1073.98 o 49
1073.93/1073.98 c *1060s|412808 | 20057 | 0 | 0.0 | 139M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
1073.93/1073.99 o 48
1073.93/1073.99 c *1060s|412809 | 19706 | 0 | 0.0 | 139M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
1074.22/1074.26 o 47
1074.22/1074.26 c *1061s|413055 | 19695 | 0 | 0.0 | 139M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
1074.53/1074.53 o 46
1074.53/1074.53 c *1061s|413292 | 19465 | 0 | 0.0 | 139M| 10k| - | 24k| 28k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
1076.43/1076.41 o 43
1076.43/1076.41 c *1063s|414075 | 18876 | 0 | 0.0 | 142M| 10k| - | 24k| 28k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
1078.93/1078.92 o 42
1078.93/1078.92 c *1065s|415076 | 19273 | 0 | 0.0 | 146M| 10k| - | 24k| 29k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
1079.33/1079.35 o 37
1079.33/1079.35 c *1066s|415383 | 16045 | 0 | 0.0 | 143M| 10k| - | 24k| 29k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1080.13/1080.19 o 36
1080.13/1080.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.13/1080.19 c *1066s|415863 | 16216 | 0 | 0.0 | 144M| 10k| - | 24k| 29k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1081.03/1081.08 o 32
1081.03/1081.08 c *1067s|416326 | 15216 | 0 | 0.0 | 145M| 10k| - | 24k| 29k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1082.32/1082.34 o 23
1082.32/1082.34 c *1068s|417125 | 11923 | 0 | 0.0 | 140M| 10k| - | 24k| 29k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1082.92/1082.98 o 19
1082.92/1082.98 c *1069s|417501 | 11329 | 0 | 0.0 | 140M| 10k| - | 24k| 29k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1083.22/1083.26 o 10
1083.22/1083.26 c *1069s|417802 | 9253 | 0 | 0.0 | 139M| 10k| - | 24k| 29k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1084.53/1084.52 o 9
1084.53/1084.52 c *1071s|418331 | 9368 | 0 | 0.0 | 141M| 10k| - | 24k| 29k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1086.92/1086.91 o 2
1086.92/1086.91 c *1073s|419443 | 8089 | 0 | 0.0 | 143M| 10k| - | 24k| 29k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1088.32/1088.33 c 1074s|420000 | 8480 | 0 | 0.0 | 146M| 10k| - | 24k| 30k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1127.12/1127.17 c 1112s|430000 | 11584 | 0 | 0.0 | 181M| 10k| - | 24k| 17k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1128.12/1128.15 o 1
1128.12/1128.15 c *1113s|430689 | 3094 | 0 | 0.0 | 123M| 10k| - | 24k| 17k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1171.53/1171.57 c
1171.53/1171.57 c SCIP Status : problem is solved [optimal solution found]
1171.53/1171.57 c Solving Time (sec) : 1155.74
1171.53/1171.57 c Solving Nodes : 439501
1171.53/1171.57 c Primal Bound : +1.00000000000000e+00 (133 solutions)
1171.53/1171.57 c Dual Bound : +1.00000000000000e+00
1171.53/1171.57 c Gap : 0.00 %
1171.63/1171.60 s OPTIMUM FOUND
1171.63/1171.60 v -x3939 -x3938 x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 x3924 x3923 x3922 -x3921
1171.63/1171.60 v -x3920 -x3919 -x3918 x3917 -x3916 -x3915 -x3914 -x3913 x3912 x3911 x3910 -x3909 -x3908 -x3907 -x3906 x3905 x3904 -x3903 -x3902
1171.63/1171.60 v -x3901 -x3900 x3899 -x3898 x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 x3884
1171.63/1171.60 v -x3883 x3882 -x3881 -x3880 -x3879 x3878 x3877 -x3876 -x3875 -x3874 x3873 x3872 -x3871 -x3870 -x3869 -x3868 x3867 x3866 x3865
1171.63/1171.60 v -x3864 -x3863 -x3862 x3861 x3860 -x3859 -x3858 -x3857 -x3856 x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 x3848 -x3847 -x3846
1171.63/1171.60 v -x3845 -x3844 x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828
1171.63/1171.60 v -x3827 -x3826 x3825 -x3824 x3823 -x3822 -x3821 -x3820 x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810
1171.63/1171.60 v -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792
1171.63/1171.60 v -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 x3784 -x3783 -x3782 -x3781 -x3780 x3779 -x3778 -x3777 -x3776 -x3775 -x3774
1171.63/1171.60 v -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 x3759 -x3758 -x3757 -x3756
1171.63/1171.60 v -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 x3747 -x3746 -x3745 -x3744 x3743 -x3742 -x3741 -x3740 x3739 -x3738
1171.63/1171.60 v -x3737 x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720
1171.63/1171.60 v x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 x3712 x3711 -x3710 -x3709 -x3708 x3707 -x3706 -x3705 -x3704 -x3703 -x3702 x3701
1171.63/1171.60 v -x3700 -x3699 -x3698 -x3697 -x3696 x3695 x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683
1171.63/1171.60 v -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 x3665
1171.63/1171.60 v x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647
1171.63/1171.60 v -x3646 x3645 x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 x3629
1171.63/1171.60 v x3628 x3627 -x3626 x3625 x3624 x3623 x3622 x3621 x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610
1171.63/1171.60 v -x3609 -x3608 -x3607 x3606 x3605 x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 x3595 x3594 x3593 -x3592 -x3591
1171.63/1171.60 v -x3590 -x3589 -x3588 -x3587 x3586 -x3585 -x3584 -x3583 -x3582 -x3581 x3580 -x3579 -x3578 -x3577 -x3576 x3575 x3574 -x3573
1171.63/1171.60 v -x3572 x3571 x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554
1171.63/1171.60 v -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 x3546 x3545 x3544 x3543 x3542 x3541 x3540 x3539 x3538 x3537 x3536 x3535
1171.63/1171.60 v x3534 x3533 x3532 x3531 x3530 x3529 x3528 x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516
1171.63/1171.60 v -x3515 -x3514 -x3513 -x3512 x3511 x3510 x3509 x3508 x3507 x3506 x3505 x3504 x3503 x3502 x3501 x3500 x3499 -x3498 -x3497 -x3496
1171.63/1171.60 v -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 x3483 x3482 x3481 x3480 x3479 x3478 x3477
1171.63/1171.60 v x3476 x3475 x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459
1171.63/1171.60 v -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441
1171.63/1171.60 v x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 x3423
1171.63/1171.60 v x3422 x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405
1171.63/1171.60 v -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 x3396 x3395 x3394 x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386
1171.63/1171.60 v -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 x3371 x3370 x3369 -x3368
1171.63/1171.60 v -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 x3358 x3357 x3356 x3355 x3354 -x3353 -x3352 -x3351 -x3350
1171.63/1171.60 v -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332
1171.63/1171.60 v -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314
1171.63/1171.60 v -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296
1171.63/1171.60 v -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278
1171.63/1171.60 v x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260
1171.63/1171.60 v -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 x3247 x3246 x3245 x3244 x3243 x3242 x3241
1171.63/1171.60 v x3240 x3239 x3238 x3237 x3236 x3235 x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 x3223 x3222
1171.63/1171.60 v x3221 x3220 x3219 x3218 x3217 x3216 x3215 x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 x3203
1171.63/1171.60 v -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185
1171.63/1171.60 v -x3184 x3183 x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167
1171.63/1171.60 v -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 x3160 x3159 x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149
1171.63/1171.60 v -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 x3142 -x3141 -x3140 x3139 x3138 x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130
1171.63/1171.60 v -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112
1171.63/1171.60 v -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095
1171.63/1171.60 v -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077
1171.63/1171.60 v -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059
1171.63/1171.60 v -x3058 -x3057 -x3056 x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 x3044 x3043 x3042 x3041 x3040
1171.63/1171.60 v x3039 x3038 -x3037 -x3036 x3035 x3034 x3033 x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021
1171.63/1171.60 v -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004
1171.63/1171.60 v -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986
1171.63/1171.60 v -x2985 -x2984 x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968
1171.63/1171.60 v -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950
1171.63/1171.60 v -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932
1171.63/1171.60 v -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914
1171.63/1171.60 v -x2913 -x2912 -x2911 -x2910 -x2909 x2908 -x2907 -x2906 -x2905 -x2904 x2903 x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896
1171.63/1171.60 v -x2895 -x2894 -x2893 -x2892 x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878
1171.63/1171.60 v -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 x2869 x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860
1171.63/1171.60 v -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842
1171.63/1171.60 v -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824
1171.63/1171.60 v -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 x2811 -x2810 -x2809 -x2808 -x2807 -x2806
1171.63/1171.60 v -x2805 -x2804 x2803 x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788
1171.63/1171.60 v -x2787 -x2786 -x2785 -x2784 -x2783 x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770
1171.63/1171.60 v -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752
1171.63/1171.60 v -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 x2736 -x2735 -x2734
1171.63/1171.60 v -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716
1171.63/1171.60 v -x2715 -x2714 -x2713 x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698
1171.63/1171.60 v -x2697 x2696 -x2695 -x2694 -x2693 -x2692 -x2691 x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680
1171.63/1171.60 v -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662
1171.63/1171.60 v -x2661 -x2660 -x2659 x2658 -x2657 -x2656 x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 x2647 x2646 -x2645 -x2644
1171.63/1171.60 v -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 x2627 x2626 x2625
1171.63/1171.60 v -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607
1171.63/1171.60 v -x2606 -x2605 x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 x2591 -x2590 -x2589
1171.63/1171.60 v -x2588 -x2587 -x2586 -x2585 x2584 -x2583 -x2582 x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571
1171.63/1171.60 v -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 x2555 -x2554 -x2553
1171.63/1171.60 v -x2552 -x2551 x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535
1171.63/1171.60 v -x2534 -x2533 -x2532 -x2531 x2530 -x2529 -x2528 x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517
1171.63/1171.60 v -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499
1171.63/1171.60 v -x2498 x2497 x2496 x2495 -x2494 -x2493 -x2492 -x2491 -x2490 x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481
1171.63/1171.60 v -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463
1171.63/1171.60 v -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445
1171.63/1171.60 v -x2444 -x2443 -x2442 -x2441 -x2440 x2439 -x2438 -x2437 x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426
1171.63/1171.60 v -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409
1171.63/1171.60 v -x2408 -x2407 x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390
1171.63/1171.60 v -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373
1171.63/1171.60 v -x2372 -x2371 -x2370 -x2369 -x2368 x2367 x2366 x2365 -x2364 x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354
1171.63/1171.60 v -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336
1171.63/1171.60 v -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318
1171.63/1171.60 v -x2317 x2316 -x2315 -x2314 -x2313 x2312 -x2311 -x2310 -x2309 -x2308 -x2307 x2306 x2305 -x2304 -x2303 x2302 x2301 -x2300
1171.63/1171.60 v -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282
1171.63/1171.60 v -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264
1171.63/1171.60 v -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246
1171.63/1171.60 v x2245 x2244 x2243 x2242 x2241 x2240 x2239 x2238 x2237 x2236 x2235 x2234 x2233 x2232 x2231 x2230 x2229 x2228 x2227 x2226 x2225
1171.63/1171.60 v x2224 x2223 x2222 x2221 x2220 x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 x2209 x2208 x2207 -x2206
1171.63/1171.60 v -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 x2191 x2190 x2189 -x2188
1171.63/1171.60 v -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 x2179 -x2178 -x2177 -x2176 x2175 -x2174 -x2173 -x2172 -x2171 -x2170
1171.63/1171.60 v -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 x2161 -x2160 -x2159 -x2158 -x2157 -x2156 x2155 -x2154 -x2153 -x2152 x2151
1171.63/1171.60 v x2150 x2149 x2148 x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133
1171.63/1171.60 v -x2132 -x2131 -x2130 -x2129 x2128 x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115
1171.63/1171.60 v -x2114 -x2113 -x2112 -x2111 x2110 x2109 x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096
1171.63/1171.60 v -x2095 -x2094 -x2093 x2092 x2091 x2090 -x2089 -x2088 x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078
1171.63/1171.60 v -x2077 -x2076 -x2075 -x2074 x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060
1171.63/1171.60 v -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 x2052 x2051 -x2050 x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042
1171.63/1171.60 v -x2041 x2040 -x2039 x2038 x2037 x2036 x2035 x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023
1171.63/1171.60 v -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005
1171.63/1171.60 v -x2004 -x2003 -x2002 -x2001 x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987
1171.63/1171.60 v -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 x1971 -x1970 -x1969
1171.63/1171.60 v -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 x1962 x1961 -x1960 x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951
1171.63/1171.60 v -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933
1171.63/1171.60 v -x1932 -x1931 x1930 -x1929 -x1928 -x1927 -x1926 x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915
1171.63/1171.60 v x1914 -x1913 -x1912 x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 x1896
1171.63/1171.60 v x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878
1171.63/1171.60 v -x1877 x1876 -x1875 -x1874 -x1873 -x1872 x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 x1864 -x1863 -x1862 -x1861 -x1860
1171.63/1171.60 v -x1859 -x1858 -x1857 -x1856 x1855 x1854 x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841
1171.63/1171.60 v -x1840 -x1839 -x1838 -x1837 x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 x1828 -x1827 -x1826 -x1825 -x1824 -x1823
1171.63/1171.60 v -x1822 -x1821 -x1820 x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805
1171.63/1171.60 v -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 x1789 -x1788 -x1787
1171.63/1171.60 v -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 x1773 -x1772 -x1771 -x1770 -x1769
1171.63/1171.60 v -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751
1171.63/1171.60 v -x1750 x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 x1735 -x1734 -x1733
1171.63/1171.60 v -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715
1171.63/1171.60 v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 x1697
1171.63/1171.60 v x1696 x1695 -x1694 -x1693 -x1692 -x1691 -x1690 x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679
1171.63/1171.60 v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 x1661
1171.63/1171.60 v -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643
1171.63/1171.60 v -x1642 -x1641 -x1640 x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 x1629 -x1628 -x1627 -x1626 -x1625
1171.63/1171.60 v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607
1171.63/1171.60 v -x1606 x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589
1171.63/1171.60 v x1588 x1587 x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570
1171.63/1171.60 v -x1569 -x1568 -x1567 -x1566 x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552
1171.63/1171.60 v x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 x1537 -x1536 -x1535 -x1534
1171.63/1171.60 v -x1533 -x1532 -x1531 x1530 x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516
1171.63/1171.60 v -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498
1171.63/1171.60 v -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480
1171.63/1171.60 v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 x1465 -x1464 -x1463 -x1462
1171.63/1171.60 v -x1461 -x1460 -x1459 x1458 x1457 x1456 x1455 x1454 x1453 x1452 -x1451 -x1450 -x1449 x1448 -x1447 -x1446 -x1445 -x1444 x1443
1171.63/1171.60 v -x1442 x1441 -x1440 -x1439 -x1438 -x1437 x1436 -x1435 -x1434 -x1433 -x1432 -x1431 x1430 x1429 -x1428 -x1427 x1426 x1425 -x1424
1171.63/1171.60 v -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407
1171.63/1171.60 v -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 x1394 -x1393 x1392 -x1391 -x1390 x1389 -x1388
1171.63/1171.60 v -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370
1171.63/1171.60 v -x1369 -x1368 -x1367 x1366 -x1365 x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 x1354 -x1353 x1352
1171.63/1171.60 v -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 x1342 -x1341 x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334
1171.63/1171.60 v -x1333 -x1332 -x1331 x1330 -x1329 x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 x1318 -x1317 x1316 -x1315
1171.63/1171.60 v -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 x1306 -x1305 x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297
1171.63/1171.60 v -x1296 -x1295 x1294 -x1293 x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 x1282 -x1281 -x1280 -x1279
1171.63/1171.60 v -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 x1267 x1266 x1265 x1264 x1263 x1262 x1261 x1260
1171.63/1171.60 v x1259 x1258 x1257 x1256 x1255 x1254 x1253 x1252 x1251 x1250 x1249 x1248 x1247 x1246 x1245 x1244 x1243 x1242 x1241 -x1240 -x1239
1171.63/1171.60 v -x1238 -x1237 x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 x1228 -x1227 x1226 -x1225 -x1224 -x1223 -x1222 -x1221
1171.63/1171.60 v -x1220 -x1219 x1218 -x1217 x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 x1208 -x1207 x1206 -x1205 -x1204 -x1203 -x1202
1171.63/1171.60 v -x1201 -x1200 -x1199 x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 x1188 -x1187 x1186 -x1185 -x1184
1171.63/1171.60 v -x1183 -x1182 -x1181 -x1180 -x1179 x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 x1169 -x1168 x1167 -x1166
1171.63/1171.60 v -x1165 -x1164 -x1163 -x1162 -x1161 x1160 -x1159 -x1158 -x1157 x1156 x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147
1171.63/1171.60 v -x1146 -x1145 -x1144 -x1143 x1142 -x1141 -x1140 -x1139 -x1138 -x1137 x1136 x1135 x1134 -x1133 -x1132 -x1131 -x1130 x1129
1171.63/1171.60 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111
1171.63/1171.60 v -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 x1102 -x1101 -x1100 -x1099 -x1098 x1097 -x1096 -x1095 -x1094 -x1093 -x1092
1171.63/1171.60 v x1091 x1090 x1089 x1088 x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1074
1171.63/1171.60 v -x1073 x1072 x1071 -x1070 -x1069 -x1068 -x1067 -x1066 x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055
1171.63/1171.60 v x1054 x1053 x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037
1171.63/1171.60 v -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019
1171.63/1171.60 v -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 -x1006 -x1005 -x1004 x1003 -x1002 -x1001
1171.63/1171.60 v x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 x986 x985 -x984 -x983 -x982 -x981 x980 x979
1171.63/1171.60 v x978 x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 x967 -x966 -x965 -x964 -x963 -x962 x961 -x960 -x959 -x958 -x957
1171.63/1171.60 v -x956 -x955 x954 -x953 -x952 -x951 x950 x949 -x948 x947 -x946 -x945 -x944 x943 x942 x941 x940 x939 x938 -x937 -x936 -x935
1171.63/1171.60 v -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 x914
1171.63/1171.60 v -x913 -x912 -x911 -x910 -x909 x908 -x907 x906 -x905 -x904 -x903 -x902 -x901 x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 x892
1171.63/1171.60 v -x891 x890 -x889 -x888 -x887 -x886 -x885 x884 -x883 x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 -x874 x873 x872 -x871 x870
1171.63/1171.60 v x869 x868 x867 x866 -x865 -x864 -x863 -x862 x861 -x860 x859 -x858 -x857 -x856 -x855 x854 -x853 -x852 x851 x850 -x849 -x848
1171.63/1171.60 v -x847 -x846 -x845 -x844 -x843 -x842 x841 x840 x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 x828 -x827 x826
1171.63/1171.60 v x825 -x824 -x823 -x822 -x821 -x820 x819 -x818 -x817 -x816 -x815 -x814 x813 x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804
1171.63/1171.60 v -x803 x802 -x801 -x800 -x799 -x798 x797 x796 x795 -x794 x793 -x792 -x791 x790 -x789 -x788 -x787 x786 x785 x784 x783 x782
1171.63/1171.60 v x781 x780 x779 x778 x777 x776 x775 x774 x773 x772 x771 x770 x769 -x768 x767 -x766 x765 -x764 x763 -x762 x761 -x760 x759 -x758
1171.63/1171.60 v x757 -x756 x755 -x754 x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736
1171.63/1171.60 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 x727 -x726 x725 x724 x723 x722 x721 -x720 -x719 x718 -x717 -x716 -x715 -x714
1171.63/1171.60 v x713 -x712 -x711 x710 -x709 -x708 -x707 x706 -x705 x704 -x703 -x702 -x701 x700 -x699 x698 -x697 -x696 -x695 -x694 -x693 -x692
1171.63/1171.60 v -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671
1171.63/1171.60 v x670 x669 x668 -x667 x666 x665 x664 x663 -x662 -x661 -x660 -x659 x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649
1171.63/1171.60 v -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 x640 x639 x638 -x637 -x636 x635 x634 x633 -x632 -x631 x630 x629 x628 -x627
1171.63/1171.60 v -x626 x625 x624 x623 x622 -x621 -x620 x619 -x618 -x617 -x616 x615 x614 x613 -x612 -x611 x610 x609 x608 x607 -x606 -x605 -x604
1171.63/1171.60 v -x603 x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583
1171.63/1171.60 v -x582 x581 x580 x579 -x578 -x577 x576 x575 x574 -x573 -x572 x571 x570 x569 x568 -x567 -x566 x565 -x564 -x563 -x562 x561 x560
1171.63/1171.60 v x559 -x558 -x557 x556 x555 x554 x553 -x552 -x551 -x550 -x549 x548 -x547 x546 x545 x544 x543 x542 -x541 x540 -x539 -x538 -x537
1171.63/1171.60 v -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526 x525 x524 -x523 -x522 x521 x520 x519 x518 -x517 -x516 x515
1171.63/1171.60 v -x514 -x513 -x512 x511 x510 x509 -x508 -x507 x506 x505 x504 x503 -x502 -x501 -x500 -x499 x498 -x497 x496 x495 -x494 x493 -x492
1171.63/1171.60 v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 x480 x479 x478 -x477 -x476 x475 -x474 -x473 -x472 x471 x470
1171.63/1171.60 v x469 -x468 -x467 x466 x465 x464 x463 -x462 -x461 -x460 -x459 x458 -x457 x456 x455 x454 x453 x452 -x451 x450 -x449 -x448 -x447
1171.63/1171.60 v -x446 -x445 -x444 -x443 x442 -x441 x440 -x439 -x438 -x437 -x436 x435 x434 x433 -x432 -x431 x430 x429 x428 x427 -x426 -x425
1171.63/1171.60 v -x424 -x423 x422 -x421 x420 x419 -x418 -x417 x416 x415 x414 x413 x412 x411 -x410 -x409 x408 -x407 x406 -x405 -x404 x403 -x402
1171.63/1171.60 v -x401 -x400 x399 x398 x397 -x396 -x395 x394 x393 x392 x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 x383 x382 x381 x380 -x379
1171.63/1171.60 v -x378 -x377 -x376 x375 -x374 x373 x372 -x371 x370 -x369 x368 -x367 -x366 -x365 -x364 x363 -x362 x361 x360 x359 x358 -x357
1171.63/1171.60 v -x356 x355 -x354 x353 -x352 x351 x350 x349 -x348 x347 x346 x345 x344 x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334
1171.63/1171.60 v -x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313
1171.63/1171.60 v -x312 -x311 -x310 -x309 x308 x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291
1171.63/1171.60 v x290 x289 x288 x287 x286 x285 x284 x283 x282 x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 x273 -x272 -x271 -x270 -x269 -x268
1171.63/1171.60 v -x267 x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247
1171.63/1171.60 v x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 x229 -x228 -x227 x226 -x225
1171.63/1171.60 v -x224 x223 -x222 x221 -x220 x219 x218 x217 x216 x215 x214 x213 -x212 x211 -x210 -x209 x208 x207 x206 x205 x204 -x203 -x202
1171.63/1171.60 v x201 -x200 x199 x198 x197 x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 x180
1171.63/1171.60 v -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 x163 x162 x161 x160 x159 x158 -x157
1171.63/1171.60 v -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 x138 -x137 -x136
1171.63/1171.60 v -x135 -x134 x133 -x132 -x131 -x130 x129 -x128 -x127 x126 -x125 -x124 x123 -x122 -x121 x120 x119 x118 x117 x116 x115 x114 x113
1171.63/1171.60 v -x112 -x111 x110 x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 x97 x96 x95 x94 x93 -x92 -x91 -x90 -x89
1171.63/1171.60 v -x88 x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 x68 -x67 -x66 x65 x64 x63 -x62
1171.63/1171.60 v -x61 x60 -x59 -x58 -x57 x56 -x55 -x54 x53 -x52 -x51 x50 -x49 -x48 x47 x46 x45 x44 x43 x42 -x41 x40 x39 x38 x37 x36 x35 x34
1171.63/1171.60 v -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 x14 x13 x12 -x11 x10 -x9 -x8 x7
1171.63/1171.60 v x6 -x5 x4 x3 x2 x1
1171.63/1171.60 c SCIP Status : problem is solved [optimal solution found]
1171.63/1171.60 c Solving Time : 1155.74
1171.63/1171.60 c Original Problem :
1171.63/1171.60 c Problem name : HOME/instance-2693912-1277932363.wbo
1171.63/1171.60 c Variables : 24763 (14351 binary, 0 integer, 0 implicit integer, 10412 continuous)
1171.63/1171.60 c Constraints : 20825 initial, 20825 maximal
1171.63/1171.60 c Presolved Problem :
1171.63/1171.60 c Problem name : t_HOME/instance-2693912-1277932363.wbo
1171.63/1171.60 c Variables : 24763 (14351 binary, 0 integer, 0 implicit integer, 10412 continuous)
1171.63/1171.60 c Constraints : 20824 initial, 30945 maximal
1171.63/1171.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1171.63/1171.60 c trivial : 0.00 0 0 0 0 0 0 0 0
1171.63/1171.60 c dualfix : 0.00 0 0 0 0 0 0 0 0
1171.63/1171.60 c boundshift : 0.00 0 0 0 0 0 0 0 0
1171.63/1171.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1171.63/1171.60 c implics : 0.01 0 0 0 0 0 0 0 0
1171.63/1171.60 c probing : 0.19 0 0 0 0 0 0 0 0
1171.63/1171.60 c indicator : 0.00 0 0 0 0 0 0 0 0
1171.63/1171.60 c varbound : 0.00 0 0 0 0 0 0 0 0
1171.63/1171.60 c linear : 0.04 0 0 0 10412 0 1 336 672
1171.63/1171.60 c logicor : 0.00 0 0 0 0 0 0 0 0
1171.63/1171.60 c root node : - 10353 - - 20670 - - - -
1171.63/1171.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1171.63/1171.60 c integral : 0 0 0 0 0 0 0 0 0 0
1171.63/1171.60 c indicator : 10412 0 863492 0 420485 3 3571832 0 0 0
1171.63/1171.60 c varbound : 1 0 49431 0 14701 1 109 0 0 0
1171.63/1171.60 c linear : 10411 0 996035 0 433226 5943 3209917 0 0 0
1171.63/1171.60 c logicor : 0+ 0 252134 0 0 1541 246058 0 0 0
1171.63/1171.60 c countsols : 0 0 0 0 433281 0 0 0 0 0
1171.63/1171.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1171.63/1171.60 c integral : 0.00 0.00 0.00 0.00 0.00
1171.63/1171.60 c indicator : 303.26 0.00 76.17 0.00 227.09
1171.63/1171.60 c varbound : 0.01 0.00 0.00 0.00 0.01
1171.63/1171.60 c linear : 125.05 0.00 124.40 0.00 0.65
1171.63/1171.60 c logicor : 4.38 0.00 4.38 0.00 0.00
1171.63/1171.60 c countsols : 0.00 0.00 0.00 0.00 0.00
1171.63/1171.60 c Propagators : Time Calls Cutoffs DomReds
1171.63/1171.60 c vbounds : 0.01 2 0 0
1171.63/1171.60 c rootredcost : 0.02 0 0 0
1171.63/1171.60 c pseudoobj : 265.86 997798 1895 3229562
1171.63/1171.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1171.63/1171.60 c propagation : 4.90 9379 9374 47433 67.7 38280 4.7 -
1171.63/1171.60 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1171.63/1171.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1171.63/1171.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1171.63/1171.60 c pseudo solution : 0.15 48 48 137 24.1 350 3.9 -
1171.63/1171.60 c applied globally : - - - 50727 21.5 - - -
1171.63/1171.60 c applied locally : - - - 0 0.0 - - -
1171.63/1171.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1171.63/1171.60 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1171.63/1171.60 c redcost : 0.00 0 0 0 0 0
1171.63/1171.60 c impliedbounds : 0.00 0 0 0 0 0
1171.63/1171.60 c intobj : 0.00 0 0 0 0 0
1171.63/1171.60 c cgmip : 0.00 0 0 0 0 0
1171.63/1171.60 c gomory : 0.00 0 0 0 0 0
1171.63/1171.60 c strongcg : 0.00 0 0 0 0 0
1171.63/1171.60 c cmir : 0.00 0 0 0 0 0
1171.63/1171.60 c flowcover : 0.00 0 0 0 0 0
1171.63/1171.60 c clique : 0.00 0 0 0 0 0
1171.63/1171.60 c zerohalf : 0.00 0 0 0 0 0
1171.63/1171.60 c mcf : 0.00 0 0 0 0 0
1171.63/1171.60 c rapidlearning : 0.00 0 0 0 0 0
1171.63/1171.60 c Pricers : Time Calls Vars
1171.63/1171.60 c problem variables: 0.00 0 0
1171.63/1171.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1171.63/1171.60 c relpscost : 0.00 0 0 0 0 0 0
1171.63/1171.60 c pscost : 0.00 0 0 0 0 0 0
1171.63/1171.60 c inference : 418.56 433150 0 0 0 0 866300
1171.63/1171.60 c mostinf : 0.00 0 0 0 0 0 0
1171.63/1171.60 c leastinf : 0.00 0 0 0 0 0 0
1171.63/1171.60 c fullstrong : 0.00 0 0 0 0 0 0
1171.63/1171.60 c allfullstrong : 0.00 0 0 0 0 0 0
1171.63/1171.60 c random : 0.00 0 0 0 0 0 0
1171.63/1171.60 c Primal Heuristics : Time Calls Found
1171.63/1171.60 c LP solutions : 0.00 - 0
1171.63/1171.60 c pseudo solutions : 0.85 - 131
1171.63/1171.60 c oneopt : 0.12 0 0
1171.63/1171.60 c trivial : 1.32 2 2
1171.63/1171.60 c simplerounding : 0.00 0 0
1171.63/1171.60 c zirounding : 0.00 0 0
1171.63/1171.60 c rounding : 0.00 0 0
1171.63/1171.60 c shifting : 0.00 0 0
1171.63/1171.60 c intshifting : 0.00 0 0
1171.63/1171.60 c twoopt : 0.00 0 0
1171.63/1171.60 c fixandinfer : 0.00 0 0
1171.63/1171.60 c feaspump : 0.00 0 0
1171.63/1171.60 c coefdiving : 0.00 0 0
1171.63/1171.60 c pscostdiving : 0.00 0 0
1171.63/1171.60 c fracdiving : 0.00 0 0
1171.63/1171.60 c veclendiving : 0.00 0 0
1171.63/1171.60 c intdiving : 0.00 0 0
1171.63/1171.60 c actconsdiving : 0.00 0 0
1171.63/1171.60 c objpscostdiving : 0.00 0 0
1171.63/1171.60 c rootsoldiving : 0.00 0 0
1171.63/1171.60 c linesearchdiving : 0.00 0 0
1171.63/1171.60 c guideddiving : 0.00 0 0
1171.63/1171.60 c octane : 0.00 0 0
1171.63/1171.60 c rens : 0.00 0 0
1171.63/1171.60 c rins : 0.00 0 0
1171.63/1171.60 c localbranching : 0.00 0 0
1171.63/1171.60 c mutation : 0.00 0 0
1171.63/1171.60 c crossover : 0.00 0 0
1171.63/1171.60 c dins : 0.00 0 0
1171.63/1171.60 c undercover : 0.00 0 0
1171.63/1171.60 c nlp : 0.00 0 0
1171.63/1171.60 c trysol : 0.01 1 0
1171.63/1171.60 c LP : Time Calls Iterations Iter/call Iter/sec
1171.63/1171.60 c primal LP : 0.00 0 0 0.00 -
1171.63/1171.60 c dual LP : 0.00 0 0 0.00 -
1171.63/1171.60 c lex dual LP : 0.00 0 0 0.00 -
1171.63/1171.60 c barrier LP : 0.00 0 0 0.00 -
1171.63/1171.60 c diving/probing LP: 0.00 0 0 0.00 -
1171.63/1171.60 c strong branching : 0.00 0 0 0.00 -
1171.63/1171.60 c (at root node) : - 0 0 0.00 -
1171.63/1171.60 c conflict analysis: 0.00 0 0 0.00 -
1171.63/1171.60 c B&B Tree :
1171.63/1171.60 c number of runs : 1
1171.63/1171.60 c nodes : 439501
1171.63/1171.60 c nodes (total) : 439501
1171.63/1171.60 c nodes left : 0
1171.63/1171.60 c max depth : 10835
1171.63/1171.60 c max depth (total): 10835
1171.63/1171.60 c backtracks : 4247 (1.0%)
1171.63/1171.60 c delayed cutoffs : 12780
1171.63/1171.60 c repropagations : 82645 (1669162 domain reductions, 3211 cutoffs)
1171.63/1171.60 c avg switch length: 6.32
1171.63/1171.60 c switching time : 27.34
1171.63/1171.60 c Solution :
1171.63/1171.60 c Solutions found : 133 (132 improvements)
1171.63/1171.60 c First Solution : +5.24425000000000e+05 (in run 1, after 0 nodes, 0.08 seconds, depth 0, found by <trivial>)
1171.63/1171.60 c Primal Bound : +1.00000000000000e+00 (in run 1, after 430689 nodes, 1113.11 seconds, depth 8084, found by <relaxation>)
1171.63/1171.60 c Dual Bound : +1.00000000000000e+00
1171.63/1171.60 c Gap : 0.00 %
1171.63/1171.60 c Root Dual Bound : +0.00000000000000e+00
1171.63/1171.60 c Root Iterations : 0
1171.72/1171.75 c Time complete: 1171.78.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693912-1277932363/watcher-2693912-1277932363 -o /tmp/evaluation-result-2693912-1277932363/solver-2693912-1277932363 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693912-1277932363.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.98 1.93 1.96 3/178 28458 /proc/meminfo: memFree=31337316/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=8272 CPUtime=0 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 1548 0 0 0 0 0 0 0 22 0 1 0 168840008 8470528 1470 4089446400 4194304 7136930 140737163660064 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/28458/statm: 2068 1470 275 719 0 1347 0 [startup+0.0235581 s] /proc/loadavg: 1.98 1.93 1.96 3/178 28458 /proc/meminfo: memFree=31337316/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=14352 CPUtime=0.02 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 3063 0 0 0 2 0 0 0 22 0 1 0 168840008 14696448 2985 4089446400 4194304 7136930 140737163660064 18446744073709551615 4664903 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/28458/statm: 3588 2985 275 719 0 2867 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14352 [startup+0.100535 s] /proc/loadavg: 1.98 1.93 1.96 3/178 28458 /proc/meminfo: memFree=31337316/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=35916 CPUtime=0.09 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 8484 0 0 0 8 1 0 0 22 0 1 0 168840008 36777984 8406 4089446400 4194304 7136930 140737163660064 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/28458/statm: 8979 8406 275 719 0 8258 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 35916 [startup+0.300492 s] /proc/loadavg: 1.98 1.93 1.96 3/178 28458 /proc/meminfo: memFree=31337316/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=94972 CPUtime=0.29 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 22796 0 0 0 26 3 0 0 22 0 1 0 168840008 97251328 22328 4089446400 4194304 7136930 140737163660064 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 23743 22328 323 719 0 23022 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 94972 [startup+0.700429 s] /proc/loadavg: 1.98 1.93 1.96 3/178 28458 /proc/meminfo: memFree=31337316/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=94972 CPUtime=0.69 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 22796 0 0 0 66 3 0 0 24 0 1 0 168840008 97251328 22328 4089446400 4194304 7136930 140737163660064 18446744073709551615 6350664 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 23743 22328 323 719 0 23022 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 94972 [startup+1.50028 s] /proc/loadavg: 1.98 1.93 1.96 3/179 28459 /proc/meminfo: memFree=31248896/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=95856 CPUtime=1.49 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 22980 0 0 0 146 3 0 0 25 0 1 0 168840008 98156544 22512 4089446400 4194304 7136930 140737163660064 18446744073709551615 6350701 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 24112 22539 323 719 0 23391 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 95856 [startup+3.10099 s] /proc/loadavg: 1.98 1.93 1.96 3/179 28459 /proc/meminfo: memFree=31241556/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=102416 CPUtime=3.09 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 25518 0 0 0 300 9 0 0 19 0 1 0 168840008 104873984 24107 4089446400 4194304 7136930 140737163660064 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 25604 24107 393 719 0 24883 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 102416 [startup+6.30041 s] /proc/loadavg: 1.98 1.93 1.96 3/179 28459 /proc/meminfo: memFree=31238828/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=103488 CPUtime=6.29 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 25773 0 0 0 617 12 0 0 25 0 1 0 168840008 105971712 24362 4089446400 4194304 7136930 140737163660064 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 25872 24362 393 719 0 25151 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 103488 [startup+12.7002 s] /proc/loadavg: 1.99 1.93 1.96 3/179 28459 /proc/meminfo: memFree=31234264/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=105268 CPUtime=12.69 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 26209 0 0 0 1252 17 0 0 25 0 1 0 168840008 107794432 24798 4089446400 4194304 7136930 140737163660064 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 26317 24798 393 719 0 25596 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 105268 [startup+25.5009 s] /proc/loadavg: 1.99 1.93 1.96 3/179 28459 /proc/meminfo: memFree=31218180/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=113500 CPUtime=25.5 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 28295 0 0 0 2514 36 0 0 25 0 1 0 168840008 116224000 26884 4089446400 4194304 7136930 140737163660064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 28375 26884 400 719 0 27654 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 113500 [startup+51.1002 s] /proc/loadavg: 2.07 1.95 1.96 3/179 28460 /proc/meminfo: memFree=31197252/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=118436 CPUtime=51.09 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 29543 0 0 0 5054 55 0 0 25 0 1 0 168840008 121278464 28132 4089446400 4194304 7136930 140737163660064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 29609 28132 400 719 0 28888 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 118436 [startup+102.307 s] /proc/loadavg: 2.03 1.96 1.96 3/179 28464 /proc/meminfo: memFree=31150404/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=123084 CPUtime=102.3 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 30760 0 0 0 10139 91 0 0 25 0 1 0 168840008 126038016 29349 4089446400 4194304 7136930 140737163660064 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 30771 29349 400 719 0 30050 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 123084 [startup+162.301 s] /proc/loadavg: 2.01 1.97 1.96 3/179 28466 /proc/meminfo: memFree=31103120/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=129612 CPUtime=162.3 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 32447 0 0 0 16094 136 0 0 25 0 1 0 168840008 132722688 31036 4089446400 4194304 7136930 140737163660064 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 32403 31036 400 719 0 31682 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 129612 [startup+222.301 s] /proc/loadavg: 2.00 1.97 1.96 3/179 28468 /proc/meminfo: memFree=31062676/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=135112 CPUtime=222.3 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 33896 0 0 0 22045 185 0 0 25 0 1 0 168840008 138354688 32485 4089446400 4194304 7136930 140737163660064 18446744073709551615 4834562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 33778 32485 400 719 0 33057 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 135112 [startup+282.301 s] /proc/loadavg: 2.00 1.97 1.96 3/179 28469 /proc/meminfo: memFree=31020116/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=144580 CPUtime=282.3 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 35818 0 0 0 27997 233 0 0 25 0 1 0 168840008 148049920 34407 4089446400 4194304 7136930 140737163660064 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 36145 34407 400 719 0 35424 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 144580 [startup+342.301 s] /proc/loadavg: 2.00 1.97 1.96 3/179 28471 /proc/meminfo: memFree=30977544/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=150668 CPUtime=342.3 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 37396 0 0 0 33948 282 0 0 25 0 1 0 168840008 154284032 35985 4089446400 4194304 7136930 140737163660064 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 37667 35985 400 719 0 36946 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 150668 [startup+402.301 s] /proc/loadavg: 2.00 1.97 1.96 3/179 28472 /proc/meminfo: memFree=30934732/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=157720 CPUtime=402.3 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 39215 0 0 0 39897 333 0 0 25 0 1 0 168840008 161505280 37804 4089446400 4194304 7136930 140737163660064 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 39430 37804 400 719 0 38709 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 157720 [startup+462.301 s] /proc/loadavg: 2.00 1.97 1.96 3/179 28474 /proc/meminfo: memFree=30891660/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=166260 CPUtime=462.3 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 41444 0 0 0 45844 386 0 0 25 0 1 0 168840008 170250240 40033 4089446400 4194304 7136930 140737163660064 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 41565 40033 400 719 0 40844 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 166260 [startup+522.301 s] /proc/loadavg: 2.00 1.97 1.96 3/179 28476 /proc/meminfo: memFree=30853936/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=173960 CPUtime=522.31 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 43438 0 0 0 51781 450 0 0 25 0 1 0 168840008 178135040 42027 4089446400 4194304 7136930 140737163660064 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 43490 42027 400 719 0 42769 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 173960 [startup+582.301 s] /proc/loadavg: 2.00 1.97 1.96 3/179 28477 /proc/meminfo: memFree=30810132/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=184740 CPUtime=582.31 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 46243 0 0 0 57708 523 0 0 25 0 1 0 168840008 189173760 44832 4089446400 4194304 7136930 140737163660064 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 46185 44832 400 719 0 45464 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 184740 [startup+642.301 s] /proc/loadavg: 2.04 1.99 1.97 3/179 28479 /proc/meminfo: memFree=30764460/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=201680 CPUtime=642.32 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 49573 0 0 0 63623 609 0 0 25 0 1 0 168840008 206520320 48162 4089446400 4194304 7136930 140737163660064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 50420 48162 400 719 0 49699 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 201680 [startup+702.301 s] /proc/loadavg: 2.01 1.99 1.97 3/179 28480 /proc/meminfo: memFree=30716436/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=218356 CPUtime=702.32 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 53910 0 0 0 69513 719 0 0 25 0 1 0 168840008 223596544 52499 4089446400 4194304 7136930 140737163660064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 54589 52499 400 719 0 53868 0 Current children cumulated CPU time (s) 702.32 Current children cumulated vsize (KiB) 218356 [startup+762.306 s] /proc/loadavg: 2.00 1.99 1.97 3/179 28482 /proc/meminfo: memFree=30663060/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=239320 CPUtime=762.32 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 59299 0 0 0 75386 846 0 0 25 0 1 0 168840008 245063680 57888 4089446400 4194304 7136930 140737163660064 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 59830 57888 400 719 0 59109 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 239320 [startup+822.301 s] /proc/loadavg: 2.04 2.00 1.97 3/179 28484 /proc/meminfo: memFree=30601156/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=273640 CPUtime=822.32 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 70292 0 0 0 81245 987 0 0 25 0 1 0 168840008 280207360 65838 4089446400 4194304 7136930 140737163660064 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 68410 65838 401 719 0 67689 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 273640 [startup+882.301 s] /proc/loadavg: 2.01 2.00 1.97 3/179 28485 /proc/meminfo: memFree=30472264/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=371580 CPUtime=882.32 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 94022 0 0 0 87172 1060 0 0 25 0 1 0 168840008 380497920 89568 4089446400 4194304 7136930 140737163660064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 92895 89568 401 719 0 92174 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 371580 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 28487 /proc/meminfo: memFree=30344756/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=476552 CPUtime=942.32 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 118372 0 0 0 93092 1140 0 0 25 0 1 0 168840008 487989248 113918 4089446400 4194304 7136930 140737163660064 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 119138 113918 401 719 0 118417 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 476552 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 28488 /proc/meminfo: memFree=30228012/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=560668 CPUtime=1002.32 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 139236 0 0 0 99009 1223 0 0 25 0 1 0 168840008 574124032 134782 4089446400 4194304 7136930 140737163660064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 140167 134782 401 719 0 139446 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 560668 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 28490 /proc/meminfo: memFree=30121332/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=639868 CPUtime=1062.32 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 157238 0 0 0 104905 1327 0 0 25 0 1 0 168840008 655224832 152591 4089446400 4194304 7136930 140737163660064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 159967 152591 401 719 0 159246 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 639868 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 28492 /proc/meminfo: memFree=30051964/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=681052 CPUtime=1122.32 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 171134 0 0 0 110756 1476 0 0 25 0 1 0 168840008 697397248 162094 4089446400 4194304 7136930 140737163660064 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 170263 162094 401 719 0 169542 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 681052 Solver just ended. Dumping a history of the last processes samples [startup+1126.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 28492 /proc/meminfo: memFree=30046128/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=685584 CPUtime=1126.33 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 172031 0 0 0 111145 1488 0 0 25 0 1 0 168840008 702038016 162991 4089446400 4194304 7136930 140737163660064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 171396 162991 401 719 0 170675 0 Current children cumulated CPU time (s) 1126.33 Current children cumulated vsize (KiB) 685584 [startup+1151.9 s] /proc/loadavg: 2.00 2.00 1.97 3/179 28492 /proc/meminfo: memFree=30045124/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=673836 CPUtime=1151.93 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 173342 0 0 0 113655 1538 0 0 25 0 1 0 168840008 690008064 159911 4089446400 4194304 7136930 140737163660064 18446744073709551615 4978047 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 168459 159911 401 719 0 167738 0 Current children cumulated CPU time (s) 1151.93 Current children cumulated vsize (KiB) 673836 [startup+1164.7 s] /proc/loadavg: 2.00 2.00 1.97 3/179 28493 /proc/meminfo: memFree=30034212/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=676780 CPUtime=1164.73 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 173973 0 0 0 114910 1563 0 0 25 0 1 0 168840008 693022720 160542 4089446400 4194304 7136930 140737163660064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 169195 160542 401 719 0 168474 0 Current children cumulated CPU time (s) 1164.73 Current children cumulated vsize (KiB) 676780 [startup+1167.9 s] /proc/loadavg: 2.00 2.00 1.97 3/179 28493 /proc/meminfo: memFree=30032096/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=678644 CPUtime=1167.92 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 174300 0 0 0 115223 1569 0 0 25 0 1 0 168840008 694931456 160869 4089446400 4194304 7136930 140737163660064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 169661 160869 401 719 0 168940 0 Current children cumulated CPU time (s) 1167.92 Current children cumulated vsize (KiB) 678644 [startup+1169.5 s] /proc/loadavg: 2.00 2.00 1.97 3/179 28493 /proc/meminfo: memFree=30029864/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=679008 CPUtime=1169.53 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 174384 0 0 0 115381 1572 0 0 25 0 1 0 168840008 695304192 160953 4089446400 4194304 7136930 140737163660064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 169752 160953 401 719 0 169031 0 Current children cumulated CPU time (s) 1169.53 Current children cumulated vsize (KiB) 679008 [startup+1171.1 s] /proc/loadavg: 2.00 2.00 1.97 3/179 28493 /proc/meminfo: memFree=30029608/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=678760 CPUtime=1171.13 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 174407 0 0 0 115538 1575 0 0 25 0 1 0 168840008 695050240 160847 4089446400 4194304 7136930 140737163660064 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 169690 160847 401 719 0 168969 0 Current children cumulated CPU time (s) 1171.13 Current children cumulated vsize (KiB) 678760 [startup+1171.51 s] /proc/loadavg: 2.00 2.00 1.97 3/179 28493 /proc/meminfo: memFree=30028492/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=678760 CPUtime=1171.53 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 174407 0 0 0 115577 1576 0 0 25 0 1 0 168840008 695050240 160847 4089446400 4194304 7136930 140737163660064 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28458/statm: 169690 160847 401 719 0 168969 0 Current children cumulated CPU time (s) 1171.53 Current children cumulated vsize (KiB) 678760 [startup+1171.7 s] /proc/loadavg: 2.00 2.00 1.97 3/179 28493 /proc/meminfo: memFree=30028492/32951124 swapFree=67111528/67111528 [pid=28458] ppid=28456 vsize=608144 CPUtime=1171.72 /proc/28458/stat : 28458 (pbscip.linux.x8) R 28456 28458 27193 0 -1 4202496 174647 0 0 0 115595 1577 0 0 18 0 1 0 168840008 622739456 143249 4089446400 4194304 7136930 140737163660064 18446744073709551615 5961335 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/28458/statm: 152036 143249 407 719 0 151315 0 Current children cumulated CPU time (s) 1171.72 Current children cumulated vsize (KiB) 608144 Child status: 0 Real time (s): 1171.75 CPU time (s): 1171.79 CPU user time (s): 1155.98 CPU system time (s): 15.8046 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 687940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1155.98 system time used= 15.8046 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 174654 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= 4 involuntary context switches= 1199 runsolver used 1.65975 second user time and 3.86341 second system time The end
Begin job on node110 at 2010-06-30 23:12:43 IDJOB=2693912 IDBENCH=79338 IDSOLVER=1206 FILE ID=node110/2693912-1277932363 PBS_JOBID= 11197349 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693912-1277932363/watcher-2693912-1277932363 -o /tmp/evaluation-result-2693912-1277932363/solver-2693912-1277932363 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693912-1277932363.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a305848cf761b3c7939395660924f4d7 RANDOM SEED=1747799227 node110.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.849 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.69 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 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.849 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.74 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.849 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.82 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.83 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31338216 kB Buffers: 216612 kB Cached: 1000124 kB SwapCached: 0 kB Active: 815580 kB Inactive: 653816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31338216 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3508 kB Writeback: 0 kB AnonPages: 251828 kB Mapped: 17020 kB Slab: 79860 kB PageTables: 5596 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 400328 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= 74204 MiB End job on node110 at 2010-06-30 23:32:15