Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 16 | 1800.14 | 1800.88 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb |
| MD5SUM | 21fb64899a6dc4867ccfcbb30d44d536 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 2.73858 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 15 |
| Optimality of the best value was proved | YES |
| Number of variables | 5537 |
| Total number of constraints | 15855 |
| Number of constraints which are clauses | 15855 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 2646 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2646 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2646 |
| Number of bits of the biggest sum of numbers | 12 |
| 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: SoPlex 1.4.2] [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-2666815-1276638904.opb>
0.29/0.30 c original problem has 5537 variables (5537 bin, 0 int, 0 impl, 0 cont) and 15855 constraints
0.29/0.30 c problem read
0.29/0.30 c presolving settings loaded
0.39/0.40 c presolving:
0.49/0.55 c (round 1) 2854 del vars, 5917 del conss, 260 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29604 impls, 0 clqs
0.49/0.57 c (round 2) 2855 del vars, 6829 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29604 impls, 0 clqs
0.59/0.69 c (round 3) 2855 del vars, 6875 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8938 upgd conss, 29604 impls, 0 clqs
0.69/0.72 c (round 4) 2855 del vars, 6875 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 29604 impls, 0 clqs
0.89/0.94 c (0.6s) probing: 306/2682 (11.4%) - 1 fixings, 12 aggregations, 1235 implications, 0 bound changes
0.89/0.94 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.89/0.94 c (round 5) 2868 del vars, 6875 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 30902 impls, 0 clqs
0.89/0.95 c (round 6) 2868 del vars, 6939 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 30902 impls, 0 clqs
0.89/0.98 c (round 7) 2868 del vars, 6940 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 30902 impls, 0 clqs
1.00/1.08 c (0.7s) probing: 500/2682 (18.6%) - 1 fixings, 14 aggregations, 1278 implications, 0 bound changes
1.00/1.08 c (0.7s) probing aborted: 100/100 successive totally useless probings
1.00/1.08 c (round 8) 2870 del vars, 6940 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 30932 impls, 0 clqs
1.09/1.12 c (0.7s) probing: 510/2682 (19.0%) - 1 fixings, 14 aggregations, 1278 implications, 0 bound changes
1.09/1.12 c (0.7s) probing aborted: 100/100 successive totally useless probings
1.09/1.12 c presolving (9 rounds):
1.09/1.12 c 2870 deleted vars, 6940 deleted constraints, 261 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.09/1.12 c 30932 implications, 0 cliques
1.09/1.12 c presolved problem has 2667 variables (2667 bin, 0 int, 0 impl, 0 cont) and 8915 constraints
1.09/1.12 c 8915 constraints of type <logicor>
1.09/1.12 c transformed objective value is always integral (scale: 1)
1.09/1.12 c Presolving Time: 0.68
1.09/1.12 c - non default parameters ----------------------------------------------------------------------
1.09/1.12 c # SCIP version 1.2.1.2
1.09/1.12 c
1.09/1.12 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.12 c conflict/interconss = 0
1.09/1.12 c
1.09/1.12 c # should binary conflicts be preferred?
1.09/1.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.12 c conflict/preferbinary = TRUE
1.09/1.12 c
1.09/1.12 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 0]
1.09/1.12 c constraints/agelimit = 1
1.09/1.12 c
1.09/1.12 c # should enforcement of pseudo solution be disabled?
1.09/1.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.12 c constraints/disableenfops = TRUE
1.09/1.12 c
1.09/1.12 c # frequency for displaying node information lines
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 100]
1.09/1.12 c display/freq = 10000
1.09/1.12 c
1.09/1.12 c # maximal time in seconds to run
1.09/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.12 c limits/time = 1799.71
1.09/1.12 c
1.09/1.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.12 c limits/memory = 1620
1.09/1.12 c
1.09/1.12 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.12 c lp/solvefreq = 0
1.09/1.12 c
1.09/1.12 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.09/1.12 c # [type: char, range: {lafpsqd}, default: l]
1.09/1.12 c lp/pricing = a
1.09/1.12 c
1.09/1.12 c # should presolving try to simplify inequalities
1.09/1.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.12 c constraints/linear/simplifyinequalities = TRUE
1.09/1.12 c
1.09/1.12 c # should presolving try to simplify knapsacks
1.09/1.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.12 c constraints/knapsack/simplifyinequalities = TRUE
1.09/1.12 c
1.09/1.12 c # priority of node selection rule <dfs> in standard mode
1.09/1.12 c # [type: int, range: [-536870912,536870911], default: 0]
1.09/1.12 c nodeselection/dfs/stdpriority = 1000000
1.09/1.12 c
1.09/1.12 c -----------------------------------------------------------------------------------------------
1.09/1.12 c start solving
1.09/1.12 c
1.19/1.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.27 c 0.9s| 1 | 0 | 446 | - | 25M| 0 | 189 |2667 |8915 |2667 |8915 | 0 | 0 | 0 | 1.404878e+01 | -- | Inf
1.19/1.28 o 46
1.19/1.28 c s 0.9s| 1 | 0 | 446 | - | 25M| 0 | 189 |2667 |8915 |2667 |8915 | 0 | 0 | 0 | 1.404878e+01 | 4.600000e+01 | 227.43%
1.99/2.10 c 1.7s| 1 | 0 | 653 | - | 25M| 0 | 104 |2667 |8915 |2667 |8919 | 4 | 0 | 0 | 1.450000e+01 | 4.600000e+01 | 217.24%
2.10/2.10 o 43
2.10/2.10 c b 1.7s| 1 | 0 | 653 | - | 25M| 0 | 104 |2667 |8915 |2667 |8919 | 4 | 0 | 0 | 1.450000e+01 | 4.300000e+01 | 196.55%
2.10/2.11 o 26
2.10/2.11 c s 1.7s| 1 | 0 | 653 | - | 25M| 0 | 104 |2667 |8915 |2667 |8919 | 4 | 0 | 0 | 1.450000e+01 | 2.600000e+01 | 79.31%
2.79/2.86 c 2.4s| 1 | 0 | 756 | - | 25M| 0 | 106 |2667 |8915 |2667 |8926 | 11 | 0 | 0 | 1.450000e+01 | 2.600000e+01 | 79.31%
3.58/3.68 c 3.2s| 1 | 0 | 863 | - | 26M| 0 | 80 |2667 |8915 |2667 |8934 | 19 | 0 | 0 | 1.450000e+01 | 2.600000e+01 | 79.31%
4.49/4.54 c 4.1s| 1 | 0 | 1002 | - | 26M| 0 | 104 |2667 |8915 |2667 |8939 | 24 | 0 | 0 | 1.450000e+01 | 2.600000e+01 | 79.31%
5.19/5.27 c 4.8s| 1 | 0 | 1110 | - | 26M| 0 | 63 |2667 |8915 |2667 |8946 | 31 | 0 | 0 | 1.450000e+01 | 2.600000e+01 | 79.31%
5.89/6.00 c 5.5s| 1 | 0 | 1222 | - | 26M| 0 | 102 |2667 |8915 |2667 |8951 | 36 | 0 | 0 | 1.451667e+01 | 2.600000e+01 | 79.10%
6.69/6.78 c 6.3s| 1 | 0 | 1375 | - | 26M| 0 | 144 |2667 |8915 |2667 |8956 | 41 | 0 | 0 | 1.466667e+01 | 2.600000e+01 | 77.27%
6.69/6.79 o 23
6.69/6.79 c R 6.3s| 1 | 0 | 1375 | - | 26M| 0 | 144 |2667 |8915 |2667 |8956 | 41 | 0 | 0 | 1.466667e+01 | 2.300000e+01 | 56.82%
7.70/7.74 c 7.2s| 1 | 0 | 1622 | - | 26M| 0 | 178 |2667 |8915 |2667 |8961 | 46 | 0 | 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
8.80/8.83 c 8.3s| 1 | 0 | 1860 | - | 27M| 0 | 238 |2667 |8915 |2667 |8963 | 48 | 0 | 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
11.09/11.18 c 10.6s| 1 | 0 | 2157 | - | 27M| 0 | 229 |2667 |8915 |2667 |8969 | 54 | 0 | 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
12.78/12.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.78/12.83 c 12.2s| 1 | 0 | 2445 | - | 28M| 0 | 269 |2667 |8915 |2667 |8976 | 61 | 0 | 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
15.79/15.88 c 15.2s| 1 | 0 | 2670 | - | 28M| 0 | 257 |2667 |8915 |2667 |8984 | 69 | 0 | 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
18.18/18.23 c 17.6s| 1 | 0 | 2886 | - | 29M| 0 | 230 |2667 |8915 |2667 |8991 | 76 | 0 | 0 | 1.500000e+01 | 2.300000e+01 | 53.33%
18.99/19.07 o 16
18.99/19.07 c E18.3s| 1 | 0 | 2886 | - | 29M| 0 | 230 |2667 |8915 |2667 |8991 | 76 | 0 | 0 | 1.500000e+01 | 1.600000e+01 | 6.67%
18.99/19.09 c 18.3s| 1 | 0 | 2886 | - | 29M| 0 | 230 |2667 |8915 |2667 |8991 | 76 | 0 | 0 | 1.500000e+01 | 1.600000e+01 | 6.67%
21.68/21.74 c 21.0s| 1 | 0 | 3149 | - | 28M| 0 | 243 |2667 |7770 |2667 |2480 | 82 | 0 | 0 | 1.500000e+01 | 1.600000e+01 | 6.67%
38.87/38.97 c 38.0s| 1 | 2 | 3149 | - | 28M| 0 | 243 |2667 |7770 |2667 |2480 | 82 | 0 | 36 | 1.500000e+01 | 1.600000e+01 | 6.67%
38.87/38.97 c (run 1, node 1) restarting after 2096 global fixings of integer variables
38.87/38.97 c
38.87/38.97 c (restart) converted 35 cuts from the global cut pool into linear constraints
38.87/38.97 c
38.97/39.01 c presolving:
38.97/39.04 c (round 1) 2157 del vars, 5379 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 31770 impls, 25 clqs
38.97/39.06 c (round 2) 2157 del vars, 5379 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.07/39.12 c (round 3) 2157 del vars, 5379 del conss, 0 chg bounds, 3 chg sides, 7 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.07/39.18 c (round 4) 2157 del vars, 5380 del conss, 0 chg bounds, 3 chg sides, 10 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.17/39.21 c (round 5) 2157 del vars, 5380 del conss, 0 chg bounds, 3 chg sides, 13 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.17/39.24 c (round 6) 2157 del vars, 5380 del conss, 0 chg bounds, 3 chg sides, 16 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.17/39.27 c (round 7) 2157 del vars, 5380 del conss, 0 chg bounds, 3 chg sides, 20 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.27/39.30 c (round 8) 2157 del vars, 5380 del conss, 0 chg bounds, 3 chg sides, 24 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.27/39.33 c (round 9) 2157 del vars, 5380 del conss, 0 chg bounds, 3 chg sides, 28 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.27/39.36 c (round 10) 2157 del vars, 5380 del conss, 0 chg bounds, 3 chg sides, 32 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.37/39.41 c (round 11) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 36 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.37/39.44 c (round 12) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 39 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.37/39.47 c (round 13) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 42 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.37/39.49 c (round 14) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 45 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.48/39.51 c (round 15) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 47 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.48/39.51 c (round 16) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 49 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.48/39.52 c (round 17) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 51 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.48/39.53 c (round 18) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 53 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.48/39.54 c (round 19) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 55 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.48/39.55 c (round 20) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 57 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.48/39.55 c (round 21) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 59 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.48/39.56 c (round 22) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 61 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.48/39.57 c (round 23) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 63 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.48/39.58 c (round 24) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 65 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.48/39.58 c (round 25) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 67 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.48/39.59 c (round 26) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 69 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.48/39.60 c (round 27) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 71 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.58/39.61 c (round 28) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 73 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.58/39.62 c (round 29) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 75 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.58/39.62 c (round 30) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 77 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.58/39.63 c (round 31) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 79 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.58/39.64 c (round 32) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 82 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.58/39.65 c (round 33) 2157 del vars, 5381 del conss, 0 chg bounds, 3 chg sides, 84 chg coeffs, 34 upgd conss, 31770 impls, 25 clqs
39.58/39.66 c presolving (34 rounds):
39.58/39.66 c 2157 deleted vars, 5381 deleted constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 85 changed coefficients
39.58/39.66 c 31770 implications, 25 cliques
39.58/39.66 c presolved problem has 510 variables (510 bin, 0 int, 0 impl, 0 cont) and 2424 constraints
39.58/39.66 c 8 constraints of type <knapsack>
39.58/39.66 c 25 constraints of type <setppc>
39.58/39.66 c 2391 constraints of type <logicor>
39.58/39.66 c transformed objective value is always integral (scale: 1)
39.58/39.66 c Presolving Time: 1.25
39.58/39.66 c
39.77/39.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.77/39.86 c 38.8s| 1 | 0 | 3993 | - | 21M| 0 | 267 | 510 |2424 | 510 |2298 | 0 | 0 | 36 | 1.500000e+01 | 1.600000e+01 | 6.67%
40.68/40.78 c 39.8s| 1 | 0 | 4286 | - | 21M| 0 | 267 | 510 |2401 | 510 |2216 | 5 | 0 | 36 | 1.500000e+01 | 1.600000e+01 | 6.67%
46.07/46.17 c 45.1s| 1 | 2 | 4286 | - | 21M| 0 | 267 | 510 |2401 | 510 |2216 | 5 | 0 | 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
72.26/72.39 c 70.9s| 10000 | 165 | 4286 | 0.0 | 21M| 181 | - | 510 |2408 | 0 | 0 | 5 |6145 | 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
108.34/108.49 c 106s| 20000 | 155 | 4286 | 0.0 | 21M| 181 | - | 510 |2409 | 0 | 0 | 5 | 12k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
137.93/138.07 c 136s| 30000 | 159 | 4286 | 0.0 | 21M| 186 | - | 510 |2413 | 0 | 0 | 5 | 19k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
166.62/166.70 c 164s| 40000 | 148 | 4286 | 0.0 | 21M| 186 | - | 510 |2418 | 0 | 0 | 5 | 26k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
198.21/198.33 c 195s| 50000 | 160 | 4286 | 0.0 | 21M| 186 | - | 510 |2406 | 0 | 0 | 5 | 32k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
229.99/230.12 c 226s| 60000 | 157 | 4286 | 0.0 | 21M| 196 | - | 510 |2405 | 0 | 0 | 5 | 38k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
259.68/259.83 c 255s| 70000 | 148 | 4286 | 0.0 | 21M| 196 | - | 510 |2408 | 0 | 0 | 5 | 45k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
289.17/289.37 c 284s| 80000 | 153 | 4286 | 0.0 | 21M| 196 | - | 510 |2412 | 0 | 0 | 5 | 51k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
322.55/322.71 c 317s| 90000 | 151 | 4286 | 0.0 | 21M| 196 | - | 510 |2417 | 0 | 0 | 5 | 57k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
355.24/355.42 c 350s|100000 | 154 | 4286 | 0.0 | 21M| 196 | - | 510 |2410 | 0 | 0 | 5 | 64k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
388.71/388.99 c 383s|110000 | 163 | 4286 | 0.0 | 21M| 196 | - | 510 |2415 | 0 | 0 | 5 | 70k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
423.40/423.69 c 417s|120000 | 150 | 4286 | 0.0 | 21M| 196 | - | 510 |2405 | 0 | 0 | 5 | 77k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
452.59/452.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.59/452.86 c 445s|130000 | 159 | 4286 | 0.0 | 21M| 196 | - | 510 |2408 | 0 | 0 | 5 | 84k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
484.37/484.70 c 477s|140000 | 165 | 4286 | 0.0 | 21M| 196 | - | 510 |2413 | 0 | 0 | 5 | 90k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
514.66/514.96 c 507s|150000 | 152 | 4286 | 0.0 | 21M| 196 | - | 510 |2407 | 0 | 0 | 5 | 96k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
547.05/547.35 c 539s|160000 | 158 | 4286 | 0.0 | 21M| 196 | - | 510 |2406 | 0 | 0 | 5 | 102k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
580.13/580.50 c 571s|170000 | 159 | 4286 | 0.0 | 21M| 196 | - | 510 |2413 | 0 | 0 | 5 | 109k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
614.63/614.99 c 605s|180000 | 144 | 4286 | 0.0 | 21M| 196 | - | 510 |2414 | 0 | 0 | 5 | 115k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
648.62/648.98 c 639s|190000 | 147 | 4286 | 0.0 | 21M| 196 | - | 510 |2416 | 0 | 0 | 5 | 121k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
682.09/682.45 c 672s|200000 | 155 | 4286 | 0.0 | 21M| 196 | - | 510 |2406 | 0 | 0 | 5 | 127k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
716.48/716.88 c 706s|210000 | 149 | 4286 | 0.0 | 21M| 196 | - | 510 |2409 | 0 | 0 | 5 | 134k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
750.88/751.25 c 740s|220000 | 149 | 4286 | 0.0 | 21M| 196 | - | 510 |2413 | 0 | 0 | 5 | 140k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
783.15/783.54 c 771s|230000 | 162 | 4286 | 0.0 | 21M| 196 | - | 510 |2422 | 0 | 0 | 5 | 147k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
813.84/814.22 c 802s|240000 | 147 | 4286 | 0.0 | 21M| 196 | - | 510 |2408 | 0 | 0 | 5 | 153k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
847.33/847.77 c 835s|250000 | 144 | 4286 | 0.0 | 21M| 196 | - | 510 |2408 | 0 | 0 | 5 | 159k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
880.62/881.01 c 867s|260000 | 149 | 4286 | 0.0 | 21M| 196 | - | 510 |2405 | 0 | 0 | 5 | 165k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
912.80/913.23 c 899s|270000 | 156 | 4286 | 0.0 | 21M| 196 | - | 510 |2405 | 0 | 0 | 5 | 172k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
944.88/945.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.88/945.32 c 931s|280000 | 148 | 4286 | 0.0 | 21M| 196 | - | 510 |2408 | 0 | 0 | 5 | 178k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
977.87/978.34 c 963s|290000 | 157 | 4286 | 0.0 | 21M| 196 | - | 510 |2413 | 0 | 0 | 5 | 184k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1009.66/1010.11 c 995s|300000 | 142 | 4286 | 0.0 | 21M| 196 | - | 510 |2421 | 0 | 0 | 5 | 190k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1040.35/1040.83 c 1025s|310000 | 151 | 4286 | 0.0 | 21M| 196 | - | 510 |2422 | 0 | 0 | 5 | 196k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1075.25/1075.72 c 1059s|320000 | 149 | 4286 | 0.0 | 21M| 196 | - | 510 |2413 | 0 | 0 | 5 | 202k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1107.13/1107.61 c 1091s|330000 | 159 | 4286 | 0.0 | 21M| 196 | - | 510 |2410 | 0 | 0 | 5 | 209k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1140.41/1140.97 c 1124s|340000 | 157 | 4286 | 0.0 | 21M| 196 | - | 510 |2408 | 0 | 0 | 5 | 215k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1176.19/1176.70 c 1159s|350000 | 146 | 4286 | 0.0 | 21M| 196 | - | 510 |2420 | 0 | 0 | 5 | 221k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1210.38/1210.95 c 1193s|360000 | 160 | 4286 | 0.0 | 21M| 200 | - | 510 |2418 | 0 | 0 | 5 | 228k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1243.76/1244.33 c 1226s|370000 | 144 | 4286 | 0.0 | 21M| 200 | - | 510 |2410 | 0 | 0 | 5 | 234k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1275.96/1276.57 c 1257s|380000 | 145 | 4286 | 0.0 | 21M| 200 | - | 510 |2419 | 0 | 0 | 5 | 240k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1310.04/1310.64 c 1291s|390000 | 159 | 4286 | 0.0 | 21M| 200 | - | 510 |2426 | 0 | 0 | 5 | 247k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1343.82/1344.40 c 1324s|400000 | 173 | 4286 | 0.0 | 21M| 200 | - | 510 |2405 | 0 | 0 | 5 | 253k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1374.91/1375.53 c 1355s|410000 | 152 | 4286 | 0.0 | 21M| 200 | - | 510 |2407 | 0 | 0 | 5 | 259k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1406.21/1406.81 c 1386s|420000 | 145 | 4286 | 0.0 | 21M| 200 | - | 510 |2414 | 0 | 0 | 5 | 265k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1437.99/1438.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.99/1438.62 c 1417s|430000 | 152 | 4286 | 0.0 | 21M| 200 | - | 510 |2408 | 0 | 0 | 5 | 271k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1468.37/1469.00 c 1447s|440000 | 147 | 4286 | 0.0 | 21M| 200 | - | 510 |2412 | 0 | 0 | 5 | 277k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1499.87/1500.50 c 1478s|450000 | 144 | 4286 | 0.0 | 21M| 200 | - | 510 |2409 | 0 | 0 | 5 | 283k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1530.85/1531.51 c 1509s|460000 | 146 | 4286 | 0.0 | 21M| 200 | - | 510 |2413 | 0 | 0 | 5 | 289k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1561.54/1562.20 c 1539s|470000 | 144 | 4286 | 0.0 | 21M| 200 | - | 510 |2403 | 0 | 0 | 5 | 294k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1594.03/1594.70 c 1571s|480000 | 144 | 4286 | 0.0 | 21M| 200 | - | 510 |2411 | 0 | 0 | 5 | 301k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1626.22/1626.93 c 1603s|490000 | 142 | 4286 | 0.0 | 21M| 200 | - | 510 |2403 | 0 | 0 | 5 | 307k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1657.60/1658.37 c 1634s|500000 | 160 | 4286 | 0.0 | 21M| 200 | - | 510 |2407 | 0 | 0 | 5 | 312k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1686.38/1687.17 c 1662s|510000 | 144 | 4286 | 0.0 | 21M| 200 | - | 510 |2408 | 0 | 0 | 5 | 318k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1718.38/1719.12 c 1694s|520000 | 142 | 4286 | 0.0 | 21M| 200 | - | 510 |2409 | 0 | 0 | 5 | 324k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1752.27/1753.05 c 1727s|530000 | 147 | 4286 | 0.0 | 21M| 200 | - | 510 |2405 | 0 | 0 | 5 | 330k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1786.66/1787.49 c 1761s|540000 | 157 | 4286 | 0.0 | 21M| 200 | - | 510 |2405 | 0 | 0 | 5 | 336k| 54 | 1.500000e+01 | 1.600000e+01 | 6.67%
1800.05/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.80 c
1800.05/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.80 c Solving Time (sec) : 1774.36
1800.05/1800.80 c Solving Nodes : 544339 (total of 544340 nodes in 2 runs)
1800.05/1800.80 c Primal Bound : +1.60000000000000e+01 (8 solutions)
1800.05/1800.80 c Dual Bound : +1.50000000000000e+01
1800.05/1800.80 c Gap : 6.67 %
1800.05/1800.82 s SATISFIABLE
1800.05/1800.82 v x302 x301 x300 x299 -x298 x297 -x296 -x295 -x294 x293 -x292 x291 x290 x289 -x288 -x287 -x286 x285 x284 -x283 x282 -x281 -x280 -x5536
1800.05/1800.82 v -x5534 -x279 x278 -x277 x276 x275 -x274 -x273 x272 -x271 x270 x269 x268 x267 -x266 -x265 -x5532 -x5530 -x5527 -x264 -x263
1800.05/1800.82 v -x262 x261 -x260 -x259 -x258 x257 -x5525 -x5523 -x5521 -x5519 -x5517 -x256 -x255 -x254 -x5515 -x5513 -x5511 -x253 -x252 -x5509
1800.05/1800.82 v -x5507 -x5505 -x5503 -x251 x250 -x249 x248 x247 -x246 -x245 -x244 -x5501 -x243 -x242 -x241 x240 -x239 x238 x237 x236 -x5499
1800.05/1800.82 v -x5497 -x5495 -x235 x234 x233 -x232 -x231 x230 -x229 -x228 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x227 -x226 -x225 -x224
1800.05/1800.82 v -x5481 -x5479 -x5477 -x223 -x5475 x222 -x5473 -x5471 -x5469 -x5467 -x5465 -x5463 -x221 -x5461 -x5459 -x5457 -x5455 -x5453
1800.05/1800.82 v -x5451 -x5449 -x5447 -x5445 -x5443 -x220 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419
1800.05/1800.82 v -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x5395 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383
1800.05/1800.82 v -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x219 -x5369 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x5367 -x5365 -x5363 -x5361
1800.05/1800.82 v -x5359 -x211 -x210 -x209 -x5357 -x208 -x5355 -x5353 -x207 -x5351 -x5349 x206 -x5347 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335
1800.05/1800.82 v -x5333 -x5331 -x5329 -x205 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x204 -x5315 -x5313 -x5311 -x5309 -x5307 -x5305 -x5303
1800.05/1800.82 v -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272 -x5270 -x5268 -x5266
1800.05/1800.82 v -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x203 -x5234 -x202
1800.05/1800.82 v -x5231 -x201 -x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 x200 -x5215 -x5213 -x199 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201
1800.05/1800.82 v -x5199 -x5197 -x198 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x197 -x5173 -x5171 -x5169
1800.05/1800.82 v -x5167 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133
1800.05/1800.82 v -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097
1800.05/1800.82 v -x196 -x5095 -x5093 -x5091 x195 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x194 -x5067
1800.05/1800.82 v -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049 -x5047 -x5044 -x193 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032
1800.05/1800.82 v -x5030 -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995
1800.05/1800.82 v -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959
1800.05/1800.82 v -x4957 -x192 x191 -x190 x189 x188 -x187 -x186 -x185 -x4955 x4953 -x4951 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x4949
1800.05/1800.82 v -x177 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x176 -x4921 -x175 -x174 -x173
1800.05/1800.82 v -x4919 -x172 -x4917 x171 -x170 -x4914 -x4912 -x4910 -x4908 -x4906 -x4903 -x4901 -x169 x168 x167 -x166 -x4899 -x165 x164 -x163
1800.05/1800.82 v -x4897 -x162 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869 -x161 -x160
1800.05/1800.82 v -x4867 -x4865 -x159 -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851 -x4849 -x158 -x4847 -x4845 -x157 -x4843 -x4841 -x4839
1800.05/1800.82 v -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x156 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805
1800.05/1800.82 v -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x155 -x4787 -x4785 -x4783 -x4781 -x4779 -x4777 -x4775 -x4773 -x4771
1800.05/1800.82 v -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737 -x4735
1800.05/1800.82 v -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x4705 -x4703 -x4701 -x4699
1800.05/1800.82 v -x4697 -x4695 -x4693 -x4691 -x4689 -x154 -x4687 -x153 -x152 x151 -x4685 -x4683 -x150 -x149 -x4681 -x4679 -x4677 -x148 -x4675
1800.05/1800.82 v -x4673 -x147 -x4671 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641
1800.05/1800.82 v -x146 -x145 -x144 -x4639 -x4637 -x143 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x142 -x4612
1800.05/1800.82 v -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x141 -x4578
1800.05/1800.82 v -x4576 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x140
1800.05/1800.82 v -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508
1800.05/1800.82 v -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474
1800.05/1800.82 v -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4447 -x4445 -x139 -x4443 -x138 -x4441 -x4439
1800.05/1800.82 v x4437 -x4435 -x4433 -x4431 x137 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x136 -x4416 -x135 -x4414 -x4412 -x4410 -x4408
1800.05/1800.82 v -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4384 -x4382 -x4380 -x4378 -x4376 -x134 -x4374 -x4372
1800.05/1800.82 v -x4370 -x133 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337
1800.05/1800.82 v -x4335 -x4333 -x4331 -x4329 -x132 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4308 -x4306 -x4304 -x4302
1800.05/1800.82 v -x131 -x4300 -x4298 -x4296 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267
1800.05/1800.82 v -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231
1800.05/1800.82 v -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x130
1800.05/1800.82 v -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x129 -x4181 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162
1800.05/1800.82 v -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x128 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127
1800.05/1800.82 v -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 x127 -x4099 -x4097 -x4095 -x4092 -x4090
1800.05/1800.82 v -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x4054
1800.05/1800.82 v -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x4024 -x4022 -x4020 -x4018
1800.05/1800.82 v -x4016 -x4014 -x4012 -x4010 -x4007 -x4005 -x4003 -x4001 -x3999 -x126 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983
1800.05/1800.82 v -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x125 -x3953 -x3951 -x3949
1800.05/1800.82 v -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913
1800.05/1800.82 v -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877
1800.05/1800.82 v -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x124 -x3843
1800.05/1800.82 v -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809
1800.05/1800.82 v -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771
1800.05/1800.82 v -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735
1800.05/1800.82 v -x3733 -x123 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 x3711 -x3709 -x3707 -x3705 -x3703 -x3701
1800.05/1800.82 v -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665
1800.05/1800.82 v -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629
1800.05/1800.82 v -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593
1800.05/1800.82 v -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557
1800.05/1800.82 v -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3538 -x3536 -x3534 -x3532 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519
1800.05/1800.82 v -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485
1800.05/1800.82 v -x3483 -x3481 x122 -x121 x120 -x3479 -x3477 x119 -x118 -x3475 -x117 -x3473 -x116 -x3471 -x3469 -x3467 -x3465 -x3463 -x115 -x3461
1800.05/1800.82 v -x114 -x113 -x112 -x111 -x3459 -x3457 -x3455 -x3453 -x3451 -x110 -x3449 -x3447 -x3445 -x3443 -x109 -x108 -x107 -x106 -x3440
1800.05/1800.82 v -x3438 -x3436 -x105 -x104 -x3433 -x3431 -x3429 -x103 -x3427 -x3425 -x3423 -x102 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411
1800.05/1800.82 v -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x101 -x3389 -x3386 x100 -x3384 -x3382 -x3380 -x99 -x3378
1800.05/1800.82 v -x98 -x3376 -x3374 -x3372 -x97 -x3370 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345
1800.05/1800.82 v -x3343 -x96 -x3341 -x95 -x94 -x3337 x93 -x3335 -x3332 -x3330 -x3328 -x3326 -x92 -x3324 -x3321 -x3319 -x91 -x3317 -x3315 -x3313
1800.05/1800.82 v -x90 -x3311 -x3309 -x89 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279
1800.05/1800.82 v -x3277 -x88 -x3275 -x87 -x3272 -x3270 -x86 -x3268 -x3266 -x3264 -x85 -x3262 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247
1800.05/1800.82 v -x3245 -x3243 -x3241 -x3239 -x3237 -x84 -x3235 -x3233 -x3231 -x3229 -x83 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x82
1800.05/1800.82 v -x3215 -x3212 -x3210 -x3208 -x3206 -x3204 x81 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180
1800.05/1800.82 v -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x80 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x79 -x3150 -x3148
1800.05/1800.82 v -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112
1800.05/1800.82 v -x3110 -x78 -x3108 x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078
1800.05/1800.82 v -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042
1800.05/1800.82 v -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006
1800.05/1800.82 v -x3004 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969
1800.05/1800.82 v -x2967 -x2965 -x2962 -x77 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2941 -x2939 -x2937 -x2935 -x2933
1800.05/1800.82 v -x2931 -x2929 -x76 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899
1800.05/1800.82 v -x2897 -x2895 -x2893 -x2891 -x75 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865
1800.05/1800.82 v -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829
1800.05/1800.82 v -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x74
1800.05/1800.82 v -x2793 -x2791 x73 -x2789 -x2787 -x2785 x72 -x2783 -x2781 -x2779 -x71 -x2777 x2775 x70 -x2773 -x2771 -x2769 -x2767 -x2765 -x2763
1800.05/1800.82 v -x2761 -x2759 -x69 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x68 -x2741 -x2739 -x67 -x2737 -x2735 -x2733 -x2731
1800.05/1800.82 v -x2729 -x2727 -x66 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x65 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 x2699
1800.05/1800.82 v -x2697 x64 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665
1800.05/1800.82 v -x2663 -x2661 -x63 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629
1800.05/1800.82 v -x2627 -x2625 -x2623 -x2621 -x62 -x2619 -x2617 -x61 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x60 -x2599
1800.05/1800.82 v -x2597 -x2594 -x2592 -x2590 -x59 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564
1800.05/1800.82 v -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x58 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x57 -x2535 -x2533 -x2531 -x2529
1800.05/1800.82 v -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2504 -x2502 -x2500 -x2498 -x56 -x2496 -x2494
1800.05/1800.82 v -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457
1800.05/1800.82 v -x55 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423
1800.05/1800.82 v -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387
1800.05/1800.82 v -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2366 -x2364 -x2362 -x2360 -x2358 -x54 -x2356 -x2354 -x2352
1800.05/1800.82 v -x2350 -x2348 -x53 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x52 -x2320
1800.05/1800.82 v -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x51 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284
1800.05/1800.82 v -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250
1800.05/1800.82 v -x2248 -x50 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x49 -x2224 -x2222 -x2220 -x2218 -x2216
1800.05/1800.82 v -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180
1800.05/1800.82 v -x2178 -x2176 -x2174 -x48 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146
1800.05/1800.82 v -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x47 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112
1800.05/1800.82 v -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076
1800.05/1800.82 v -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040
1800.05/1800.82 v -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x46 -x2018 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005
1800.05/1800.82 v -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x45 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971
1800.05/1800.82 v -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935
1800.05/1800.82 v -x44 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901
1800.05/1800.82 v -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x43 -x1873 -x1871 -x1869 -x1867
1800.05/1800.82 v -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830
1800.05/1800.82 v -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794
1800.05/1800.82 v -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758
1800.05/1800.82 v -x42 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724
1800.05/1800.82 v -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x41 -x1694 -x1692 -x1690
1800.05/1800.82 v -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654
1800.05/1800.82 v -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618
1800.05/1800.82 v -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582
1800.05/1800.82 v -x1580 -x1578 -x1576 -x1574 -x1572 -x40 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548
1800.05/1800.82 v -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512
1800.05/1800.82 v -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478
1800.05/1800.82 v -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x39 -x1444 -x1442
1800.05/1800.82 v -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408
1800.05/1800.82 v -x1406 -x1404 x1402 -x1400 -x1398 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371
1800.05/1800.82 v -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335
1800.05/1800.82 v -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299
1800.05/1800.82 v -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263
1800.05/1800.82 v -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227
1800.05/1800.82 v -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x38 -x1193
1800.05/1800.82 v -x1190 -x37 -x36 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x35 -x1175 -x1173 -x1171 -x34 -x1169 -x1167 -x1165 -x1163 -x1161
1800.05/1800.82 v -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x33 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127
1800.05/1800.82 v -x1125 -x32 -x1123 -x1121 -x1119 x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1094 -x1092
1800.05/1800.82 v -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 x31 -x30 -x1064 x29 -x1062 -x1059 x28 -x1057
1800.05/1800.82 v -x1055 -x27 -x1052 -x1050 -x1048 -x26 -x1046 -x1044 -x1042 -x1039 -x25 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023
1800.05/1800.82 v -x1021 -x1019 -x24 -x1017 -x23 -x1015 -x1013 -x1011 -x1009 -x1007 -x22 -x1004 -x21 -x1002 -x1000 -x998 -x996 -x994 -x992
1800.05/1800.82 v -x990 -x988 -x20 -x986 -x984 -x982 -x980 -x978 -x19 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954
1800.05/1800.82 v -x18 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x17 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916
1800.05/1800.82 v -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x16 -x880 -x878 x876 x15
1800.05/1800.82 v -x874 -x872 -x870 -x868 -x866 -x864 x14 x862 -x860 -x858 -x856 -x854 -x852 -x13 -x850 -x848 -x846 -x844 -x842 -x840 -x838
1800.05/1800.82 v -x836 -x834 -x832 -x830 -x828 -x12 -x826 -x824 -x822 -x820 -x818 -x816 -x11 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798
1800.05/1800.82 v -x796 -x794 -x792 -x10 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x9 -x762 -x760
1800.05/1800.82 v -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718
1800.05/1800.82 v -x716 -x714 -x712 -x710 -x8 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x7 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680
1800.05/1800.82 v -x678 -x676 -x674 -x672 -x670 -x668 -x6 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x647 -x645 -x643 -x641 -x5 -x639
1800.05/1800.82 v -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597
1800.05/1800.82 v -x595 -x593 -x591 -x589 -x587 x585 -x583 x4 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557
1800.05/1800.82 v -x555 -x553 -x3 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517
1800.05/1800.82 v -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x2 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477
1800.05/1800.82 v -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435
1800.05/1800.82 v -x433 -x431 -x1 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 x403 -x401 -x399 -x397 -x395 -x393
1800.05/1800.82 v -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353
1800.05/1800.82 v -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311
1800.05/1800.82 v -x309 -x307 -x305 -x303 -x5537 -x5535 -x5533 -x5531 -x5529 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x5514 -x5512 -x5510
1800.05/1800.82 v -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474
1800.05/1800.82 v -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 -x5442 -x5440
1800.05/1800.82 v -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404
1800.05/1800.82 v -x5402 -x5400 -x5398 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368
1800.05/1800.82 v -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332
1800.05/1800.82 v -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296
1800.05/1800.82 v -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261
1800.05/1800.82 v -x5259 -x5257 -x5255 -x5253 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5232 -x5230 -x5228 -x5226
1800.05/1800.82 v -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192
1800.05/1800.82 v -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156
1800.05/1800.82 v -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120
1800.05/1800.82 v -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084
1800.05/1800.82 v -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048
1800.05/1800.82 v -x5046 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5016 -x5014
1800.05/1800.82 v -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978
1800.05/1800.82 v -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 x4954 -x4952 -x4950 -x4948 -x4946 -x4944 -x4942
1800.05/1800.82 v -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916 -x4915 -x4913 -x4911 -x4909
1800.05/1800.82 v -x4907 -x4905 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 -x4878 -x4876 -x4874
1800.05/1800.82 v -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844 -x4842 -x4840 -x4838
1800.05/1800.82 v -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808 -x4806 -x4804 -x4802
1800.05/1800.82 v -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766
1800.05/1800.82 v -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730
1800.05/1800.82 v -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694
1800.05/1800.82 v -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660
1800.05/1800.82 v -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625
1800.05/1800.82 v -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589
1800.05/1800.82 v -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553
1800.05/1800.82 v -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523 -x4521 -x4519 -x4517
1800.05/1800.82 v -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481
1800.05/1800.82 v -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4448 -x4446
1800.05/1800.82 v -x4444 -x4442 -x4440 x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4417 -x4415 -x4413 -x4411
1800.05/1800.82 v -x4409 -x4407 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4385 -x4383 -x4381 -x4379
1800.05/1800.82 v -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4350 -x4348 -x4346 -x4344
1800.05/1800.82 v -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310 -x4309
1800.05/1800.82 v -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274
1800.05/1800.82 v -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238
1800.05/1800.82 v -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202
1800.05/1800.82 v -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4179 -x4177 -x4175 -x4173 -x4171 -x4169 -x4167
1800.05/1800.82 v -x4165 -x4163 -x4161 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134
1800.05/1800.82 v -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4101 -x4100
1800.05/1800.82 v -x4098 -x4096 -x4094 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065
1800.05/1800.82 v -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029
1800.05/1800.82 v -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996 -x3994
1800.05/1800.82 v -x3992 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958
1800.05/1800.82 v -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922
1800.05/1800.82 v -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888
1800.05/1800.82 v -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852
1800.05/1800.82 v -x3850 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816
1800.05/1800.82 v -x3814 -x3812 -x3810 -x3808 -x3807 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782
1800.05/1800.82 v -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746
1800.05/1800.82 v -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 x3712 -x3710
1800.05/1800.82 v -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674
1800.05/1800.82 v -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638
1800.05/1800.82 v -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604
1800.05/1800.82 v -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568
1800.05/1800.82 v -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3539 -x3537 -x3535 -x3533
1800.05/1800.82 v -x3531 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498
1800.05/1800.82 v -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462
1800.05/1800.82 v -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3441 -x3439 -x3437 -x3435 -x3434 -x3432 -x3430 -x3428
1800.05/1800.82 v -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392
1800.05/1800.82 v -x3390 x3388 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358
1800.05/1800.82 v -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3339 -x3338 -x3336 -x3334 -x3333 -x3331 -x3329 -x3327
1800.05/1800.82 v -x3325 -x3323 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292
1800.05/1800.82 v -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3260 -x3258
1800.05/1800.82 v -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222
1800.05/1800.82 v -x3220 -x3218 -x3216 -x3214 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187
1800.05/1800.82 v -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151
1800.05/1800.82 v -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115
1800.05/1800.82 v -x3113 -x3111 -x3109 x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079
1800.05/1800.82 v -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043
1800.05/1800.82 v -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009
1800.05/1800.82 v -x3007 -x3005 -x3003 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974
1800.05/1800.82 v -x2972 -x2970 -x2968 -x2966 -x2964 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2942 -x2940
1800.05/1800.82 v -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904
1800.05/1800.82 v -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868
1800.05/1800.82 v -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832
1800.05/1800.82 v -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796
1800.05/1800.82 v -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760
1800.05/1800.82 v -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726
1800.05/1800.82 v -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 x2700 -x2698 -x2696 -x2694 -x2692 -x2690
1800.05/1800.82 v -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654
1800.05/1800.82 v -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618
1800.05/1800.82 v -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583
1800.05/1800.82 v -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547
1800.05/1800.82 v -x2545 -x2543 -x2541 -x2539 -x2537 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512
1800.05/1800.82 v -x2510 -x2508 -x2506 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477
1800.05/1800.82 v -x2475 -x2473 -x2471 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444
1800.05/1800.82 v -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408
1800.05/1800.82 v -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372
1800.05/1800.82 v -x2370 -x2368 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337
1800.05/1800.82 v -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301
1800.05/1800.82 v -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265
1800.05/1800.82 v -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229
1800.05/1800.82 v -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195
1800.05/1800.82 v -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159
1800.05/1800.82 v -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123
1800.05/1800.82 v -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087
1800.05/1800.82 v -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051
1800.05/1800.82 v -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2016
1800.05/1800.82 v -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980
1800.05/1800.82 v -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946
1800.05/1800.82 v -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910
1800.05/1800.82 v -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874
1800.05/1800.82 v -x1872 -x1870 -x1868 -x1866 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839
1800.05/1800.82 v -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803
1800.05/1800.82 v -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767
1800.05/1800.82 v -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731
1800.05/1800.82 v -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697
1800.05/1800.82 v -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661
1800.05/1800.82 v -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625
1800.05/1800.82 v -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589
1800.05/1800.82 v -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553
1800.05/1800.82 v -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517
1800.05/1800.82 v -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481
1800.05/1800.82 v -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447
1800.05/1800.82 v -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411
1800.05/1800.82 v -x1409 -x1407 -x1405 x1403 -x1401 -x1399 -x1397 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376
1800.05/1800.82 v -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340
1800.05/1800.82 v -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304
1800.05/1800.82 v -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268
1800.05/1800.82 v -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232
1800.05/1800.82 v -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196
1800.05/1800.82 v -x1194 -x1192 -x1191 -x1189 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164
1800.05/1800.82 v -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128
1800.05/1800.82 v -x1126 -x1124 -x1122 -x1120 x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1095 -x1093
1800.05/1800.82 v -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 x1067 -x1066 -x1065 -x1063 x1061 -x1060
1800.05/1800.82 v -x1058 -x1056 -x1054 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026
1800.05/1800.82 v -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989
1800.05/1800.82 v -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947
1800.05/1800.82 v -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905
1800.05/1800.82 v -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 x877 -x875 -x873 -x871 -x869 -x867 -x865 x863
1800.05/1800.82 v -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821
1800.05/1800.82 v -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781
1800.05/1800.82 v -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739
1800.05/1800.82 v -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697
1800.05/1800.82 v -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655
1800.05/1800.82 v -x653 -x651 -x649 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614
1800.05/1800.82 v -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572
1800.05/1800.82 v -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530
1800.05/1800.82 v -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490
1800.05/1800.82 v -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448
1800.05/1800.82 v -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406
1800.05/1800.82 v x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364
1800.05/1800.82 v -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322
1800.05/1800.82 v -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304
1800.05/1800.82 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.82 c Solving Time : 1774.36
1800.05/1800.82 c Original Problem :
1800.05/1800.82 c Problem name : HOME/instance-2666815-1276638904.opb
1800.05/1800.82 c Variables : 5537 (5537 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.82 c Constraints : 15855 initial, 15855 maximal
1800.05/1800.82 c Presolved Problem :
1800.05/1800.82 c Problem name : t_HOME/instance-2666815-1276638904.opb
1800.05/1800.82 c Variables : 510 (510 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.82 c Constraints : 2424 initial, 2480 maximal
1800.05/1800.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.82 c trivial : 0.01 2096 0 0 0 0 0 0 0
1800.05/1800.82 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.82 c implics : 0.00 0 66 0 0 0 0 0 0
1800.05/1800.82 c probing : 0.28 1 14 0 0 0 0 0 0
1800.05/1800.82 c knapsack : 0.23 0 0 0 0 0 0 2 85
1800.05/1800.82 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.82 c linear : 0.18 261 2589 0 261 0 6876 1 0
1800.05/1800.82 c logicor : 0.46 0 0 0 0 0 5445 0 0
1800.05/1800.82 c root node : - 2107 - - 2107 - - - -
1800.05/1800.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.82 c integral : 0 0 0 2 0 0 0 0 0 4
1800.05/1800.82 c knapsack : 8 1 2695159 0 0 0 45776 0 0 0
1800.05/1800.82 c setppc : 25 1 2604946 0 0 0 73910 0 0 0
1800.05/1800.82 c logicor : 2391+ 15 2281473 0 0 201001 8402930 0 0 0
1800.05/1800.82 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.82 c integral : 22.40 0.00 0.00 22.40 0.00
1800.05/1800.82 c knapsack : 1400.23 0.06 1400.17 0.00 0.00
1800.05/1800.82 c setppc : 2.46 0.00 2.46 0.00 0.00
1800.05/1800.82 c logicor : 107.47 0.02 107.45 0.00 0.00
1800.05/1800.82 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.82 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.82 c vbounds : 1.62 3 0 0
1800.05/1800.82 c rootredcost : 1.16 0 0 0
1800.05/1800.82 c pseudoobj : 98.48 2832997 137829 10106108
1800.05/1800.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.82 c propagation : 74.78 338828 338828 338828 54.5 4741 71.4 -
1800.05/1800.82 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.82 c applied globally : - - - 153725 33.9 - - -
1800.05/1800.82 c applied locally : - - - 185780 71.5 - - -
1800.05/1800.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.82 c cut pool : 0.00 0 - - 0 - (maximal pool size: 51)
1800.05/1800.82 c redcost : 0.01 15 0 2064 0 0
1800.05/1800.82 c impliedbounds : 0.04 15 0 0 0 0
1800.05/1800.82 c intobj : 0.00 0 0 0 0 0
1800.05/1800.82 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.82 c gomory : 8.28 15 0 0 4564 0
1800.05/1800.82 c strongcg : 5.14 15 0 0 7360 0
1800.05/1800.82 c cmir : 1.21 11 0 0 1 0
1800.05/1800.82 c flowcover : 1.85 11 0 0 4 0
1800.05/1800.82 c clique : 0.05 15 0 0 83 0
1800.05/1800.82 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.83 c mcf : 0.03 2 0 0 0 0
1800.05/1800.83 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.83 c Pricers : Time Calls Vars
1800.05/1800.83 c problem variables: 0.00 0 0
1800.05/1800.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.83 c relpscost : 22.40 2 0 0 0 0 4
1800.05/1800.83 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.83 c inference : 10.18 409360 0 0 0 0 818720
1800.05/1800.83 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.83 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.83 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.83 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.83 c random : 0.00 0 0 0 0 0 0
1800.05/1800.83 c Primal Heuristics : Time Calls Found
1800.05/1800.83 c LP solutions : 0.00 - 0
1800.05/1800.83 c pseudo solutions : 0.00 - 0
1800.05/1800.83 c crossover : 0.00 0 0
1800.05/1800.83 c oneopt : 0.39 4 1
1800.05/1800.83 c trivial : 0.02 2 0
1800.05/1800.83 c simplerounding : 0.00 0 0
1800.05/1800.83 c zirounding : 0.00 2 0
1800.05/1800.83 c rounding : 0.04 17 1
1800.05/1800.83 c shifting : 0.05 17 5
1800.05/1800.83 c intshifting : 0.00 0 0
1800.05/1800.83 c twoopt : 0.00 0 0
1800.05/1800.83 c fixandinfer : 0.00 0 0
1800.05/1800.83 c feaspump : 0.00 0 0
1800.05/1800.83 c coefdiving : 0.00 0 0
1800.05/1800.83 c pscostdiving : 0.00 0 0
1800.05/1800.83 c fracdiving : 0.00 0 0
1800.05/1800.83 c veclendiving : 0.00 0 0
1800.05/1800.83 c intdiving : 0.00 0 0
1800.05/1800.83 c actconsdiving : 0.00 0 0
1800.05/1800.83 c objpscostdiving : 0.00 0 0
1800.05/1800.83 c rootsoldiving : 0.00 0 0
1800.05/1800.83 c linesearchdiving : 0.00 0 0
1800.05/1800.83 c guideddiving : 0.00 0 0
1800.05/1800.83 c octane : 0.00 0 0
1800.05/1800.83 c rens : 0.74 1 1
1800.05/1800.83 c rins : 0.00 0 0
1800.05/1800.83 c localbranching : 0.00 0 0
1800.05/1800.83 c mutation : 0.00 0 0
1800.05/1800.83 c dins : 0.00 0 0
1800.05/1800.83 c undercover : 0.00 0 0
1800.05/1800.83 c nlp : 0.19 0 0
1800.05/1800.83 c trysol : 0.31 0 0
1800.05/1800.83 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.83 c primal LP : 0.01 0 0 0.00 0.00
1800.05/1800.83 c dual LP : 3.63 17 4286 252.12 1180.72
1800.05/1800.83 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.83 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.83 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.83 c strong branching : 22.40 54 33897 627.72 1513.26
1800.05/1800.83 c (at root node) : - 54 33897 627.72 -
1800.05/1800.83 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.83 c B&B Tree :
1800.05/1800.83 c number of runs : 2
1800.05/1800.83 c nodes : 544339
1800.05/1800.83 c nodes (total) : 544340
1800.05/1800.83 c nodes left : 146
1800.05/1800.83 c max depth : 200
1800.05/1800.83 c max depth (total): 200
1800.05/1800.83 c backtracks : 244608 (44.9%)
1800.05/1800.83 c delayed cutoffs : 274235
1800.05/1800.83 c repropagations : 908609 (10854842 domain reductions, 203851 cutoffs)
1800.05/1800.83 c avg switch length: 4.22
1800.05/1800.83 c switching time : 57.81
1800.05/1800.83 c Solution :
1800.05/1800.83 c Solutions found : 8 (5 improvements)
1800.05/1800.83 c First Solution : +4.60000000000000e+01 (in run 1, after 1 nodes, 0.87 seconds, depth 0, found by <shifting>)
1800.05/1800.83 c Primal Bound : +1.60000000000000e+01 (in run 1, after 1 nodes, 18.31 seconds, depth 0, found by <rens>)
1800.05/1800.83 c Dual Bound : +1.50000000000000e+01
1800.05/1800.83 c Gap : 6.67 %
1800.05/1800.83 c Root Dual Bound : +1.50000000000000e+01
1800.05/1800.83 c Root Iterations : 4286
1800.05/1800.88 c Time complete: 1800.13.
OK 16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666815-1276638904/watcher-2666815-1276638904 -o /tmp/evaluation-result-2666815-1276638904/solver-2666815-1276638904 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666815-1276638904.opb -t 1800 -m 1800 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.94 0.98 0.99 3/106 6400 /proc/meminfo: memFree=1843656/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=6696 CPUtime=0 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 985 0 0 0 0 0 0 0 23 0 1 0 39492016 6856704 904 1992294400 4194304 8223781 140736823086224 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6400/statm: 1674 905 343 984 0 687 0 [startup+0.0168809 s] /proc/loadavg: 0.94 0.98 0.99 3/106 6400 /proc/meminfo: memFree=1843656/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=10288 CPUtime=0 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 1876 0 0 0 0 0 0 0 23 0 1 0 39492016 10534912 1794 1992294400 4194304 8223781 140736823086224 18446744073709551615 7246475 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6400/statm: 2572 1794 361 984 0 1585 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10288 [startup+0.100898 s] /proc/loadavg: 0.94 0.98 0.99 3/106 6400 /proc/meminfo: memFree=1843656/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=15612 CPUtime=0.09 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 3209 0 0 0 9 0 0 0 23 0 1 0 39492016 15986688 3127 1992294400 4194304 8223781 140736823086224 18446744073709551615 6639968 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6400/statm: 3903 3127 365 984 0 2916 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15612 [startup+0.30094 s] /proc/loadavg: 0.94 0.98 0.99 3/106 6400 /proc/meminfo: memFree=1843656/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=20672 CPUtime=0.29 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 4468 0 0 0 28 1 0 0 23 0 1 0 39492016 21168128 4386 1992294400 4194304 8223781 140736823086224 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6400/statm: 5168 4386 365 984 0 4181 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20672 [startup+0.701026 s] /proc/loadavg: 0.94 0.98 0.99 3/106 6400 /proc/meminfo: memFree=1843656/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=46204 CPUtime=0.69 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 12355 0 0 0 61 8 0 0 25 0 1 0 39492016 47312896 10432 1992294400 4194304 8223781 140736823086224 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 11551 10432 453 984 0 10564 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 46204 [startup+1.50119 s] /proc/loadavg: 0.94 0.98 0.99 2/107 6401 /proc/meminfo: memFree=1801736/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=61824 CPUtime=1.49 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 19009 0 0 0 137 12 0 0 25 0 1 0 39492016 63307776 14293 1992294400 4194304 8223781 140736823086224 18446744073709551615 6057933 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 15456 14293 546 984 0 14469 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61824 [startup+3.10054 s] /proc/loadavg: 0.95 0.98 0.99 2/107 6401 /proc/meminfo: memFree=1785120/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=69376 CPUtime=3.09 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 21754 0 0 0 293 16 0 0 25 0 1 0 39492016 71041024 16284 1992294400 4194304 8223781 140736823086224 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 17344 16284 573 984 0 16357 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 69376 [startup+6.30122 s] /proc/loadavg: 0.95 0.98 0.99 2/107 6401 /proc/meminfo: memFree=1774332/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=77652 CPUtime=6.29 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 25116 0 0 0 608 21 0 0 25 0 1 0 39492016 79515648 18090 1992294400 4194304 8223781 140736823086224 18446744073709551615 5721507 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 19413 18090 575 984 0 18426 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 77652 [startup+12.7016 s] /proc/loadavg: 0.95 0.98 0.99 2/107 6403 /proc/meminfo: memFree=1763420/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=91864 CPUtime=12.69 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 30914 0 0 0 1239 30 0 0 25 0 1 0 39492016 94068736 21633 1992294400 4194304 8223781 140736823086224 18446744073709551615 6539307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 22966 21633 582 984 0 21979 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 91864 [startup+25.5013 s] /proc/loadavg: 0.96 0.98 0.99 2/107 6403 /proc/meminfo: memFree=1752012/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=97812 CPUtime=25.48 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 61758 0 0 0 2497 51 0 0 25 0 1 0 39492016 100159488 23229 1992294400 4194304 8223781 140736823086224 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24453 23229 598 984 0 23466 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 97812 [startup+51.1007 s] /proc/loadavg: 0.97 0.98 0.99 2/107 6403 /proc/meminfo: memFree=1753624/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96228 CPUtime=51.06 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87037 0 0 0 5020 86 0 0 25 0 1 0 39492016 98537472 22828 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24057 22828 604 984 0 23070 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 96228 [startup+102.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6405 /proc/meminfo: memFree=1753376/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96228 CPUtime=102.25 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87037 0 0 0 10067 158 0 0 25 0 1 0 39492016 98537472 22828 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24057 22828 604 984 0 23070 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 96228 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6407 /proc/meminfo: memFree=1753376/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96228 CPUtime=162.22 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87037 0 0 0 15965 257 0 0 25 0 1 0 39492016 98537472 22828 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24057 22828 604 984 0 23070 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 96228 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6407 /proc/meminfo: memFree=1753252/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96228 CPUtime=222.2 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87037 0 0 0 21873 347 0 0 25 0 1 0 39492016 98537472 22828 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854514 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24057 22828 604 984 0 23070 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 96228 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6409 /proc/meminfo: memFree=1753252/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96228 CPUtime=282.17 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87037 0 0 0 27775 442 0 0 25 0 1 0 39492016 98537472 22828 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854173 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24057 22828 604 984 0 23070 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 96228 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6411 /proc/meminfo: memFree=1753128/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96228 CPUtime=342.14 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87037 0 0 0 33687 527 0 0 25 0 1 0 39492016 98537472 22828 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24057 22828 604 984 0 23070 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 96228 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6422 /proc/meminfo: memFree=1752756/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96360 CPUtime=402.1 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87046 0 0 0 39595 615 0 0 25 0 1 0 39492016 98672640 22837 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24090 22837 604 984 0 23103 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 96360 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6424 /proc/meminfo: memFree=1752756/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96360 CPUtime=462.09 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87054 0 0 0 45504 705 0 0 25 0 1 0 39492016 98672640 22845 1992294400 4194304 8223781 140736823086224 18446744073709551615 5506134 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24090 22845 604 984 0 23103 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 96360 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6424 /proc/meminfo: memFree=1752756/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96360 CPUtime=522.06 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87054 0 0 0 51414 792 0 0 25 0 1 0 39492016 98672640 22845 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24090 22845 604 984 0 23103 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 96360 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6426 /proc/meminfo: memFree=1752756/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96360 CPUtime=582.04 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87059 0 0 0 57327 877 0 0 25 0 1 0 39492016 98672640 22850 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24090 22850 604 984 0 23103 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 96360 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6428 /proc/meminfo: memFree=1752756/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96360 CPUtime=642.01 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87069 0 0 0 63243 958 0 0 25 0 1 0 39492016 98672640 22860 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854467 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24090 22860 604 984 0 23103 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 96360 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6432 /proc/meminfo: memFree=1752632/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96496 CPUtime=821.94 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87082 0 0 0 80990 1204 0 0 25 0 1 0 39492016 98811904 22873 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24124 22873 604 984 0 23137 0 Current children cumulated CPU time (s) 821.94 Current children cumulated vsize (KiB) 96496 [startup+882.301 s] /proc/loadavg: 1.04 1.00 1.00 2/107 6434 /proc/meminfo: memFree=1752508/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96496 CPUtime=881.91 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87084 0 0 0 86903 1288 0 0 25 0 1 0 39492016 98811904 22875 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24124 22875 604 984 0 23137 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 96496 [startup+942.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 6436 /proc/meminfo: memFree=1752508/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96496 CPUtime=941.89 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87088 0 0 0 92812 1377 0 0 25 0 1 0 39492016 98811904 22879 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24124 22879 604 984 0 23137 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 96496 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6438 /proc/meminfo: memFree=1752384/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96496 CPUtime=1001.86 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87088 0 0 0 98718 1468 0 0 25 0 1 0 39492016 98811904 22879 1992294400 4194304 8223781 140736823086224 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24124 22879 604 984 0 23137 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 96496 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6440 /proc/meminfo: memFree=1752384/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96496 CPUtime=1061.84 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87098 0 0 0 104625 1559 0 0 25 0 1 0 39492016 98811904 22889 1992294400 4194304 8223781 140736823086224 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24124 22889 604 984 0 23137 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 96496 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6440 /proc/meminfo: memFree=1752260/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96632 CPUtime=1121.82 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87103 0 0 0 110542 1640 0 0 25 0 1 0 39492016 98951168 22894 1992294400 4194304 8223781 140736823086224 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24158 22894 604 984 0 23171 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 96632 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6445 /proc/meminfo: memFree=1751516/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96632 CPUtime=1181.79 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87104 0 0 0 116462 1717 0 0 25 0 1 0 39492016 98951168 22895 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24158 22895 604 984 0 23171 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 96632 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6447 /proc/meminfo: memFree=1751516/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96632 CPUtime=1241.77 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87105 0 0 0 122381 1796 0 0 25 0 1 0 39492016 98951168 22896 1992294400 4194304 8223781 140736823086224 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24158 22896 604 984 0 23171 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 96632 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6449 /proc/meminfo: memFree=1751516/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96632 CPUtime=1301.75 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87105 0 0 0 128296 1879 0 0 25 0 1 0 39492016 98951168 22896 1992294400 4194304 8223781 140736823086224 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24158 22896 604 984 0 23171 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 96632 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6451 /proc/meminfo: memFree=1751516/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96632 CPUtime=1361.72 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87111 0 0 0 134208 1964 0 0 25 0 1 0 39492016 98951168 22902 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854276 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24158 22902 604 984 0 23171 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 96632 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6451 /proc/meminfo: memFree=1751516/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96632 CPUtime=1421.71 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87114 0 0 0 140121 2050 0 0 25 0 1 0 39492016 98951168 22905 1992294400 4194304 8223781 140736823086224 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24158 22905 604 984 0 23171 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 96632 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6453 /proc/meminfo: memFree=1751516/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96632 CPUtime=1481.67 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87116 0 0 0 146037 2130 0 0 25 0 1 0 39492016 98951168 22907 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24158 22907 604 984 0 23171 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 96632 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6455 /proc/meminfo: memFree=1751516/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96632 CPUtime=1541.64 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87134 0 0 0 151954 2210 0 0 25 0 1 0 39492016 98951168 22925 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24158 22925 604 984 0 23171 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 96632 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6457 /proc/meminfo: memFree=1751516/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96768 CPUtime=1601.62 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87138 0 0 0 157877 2285 0 0 25 0 1 0 39492016 99090432 22929 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24192 22929 604 984 0 23205 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 96768 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6459 /proc/meminfo: memFree=1751516/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96768 CPUtime=1661.6 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87153 0 0 0 163802 2358 0 0 25 0 1 0 39492016 99090432 22944 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24192 22944 604 984 0 23205 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 96768 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6459 /proc/meminfo: memFree=1751516/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96768 CPUtime=1721.57 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87158 0 0 0 169716 2441 0 0 25 0 1 0 39492016 99090432 22949 1992294400 4194304 8223781 140736823086224 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24192 22949 604 984 0 23205 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 96768 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6461 /proc/meminfo: memFree=1751392/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96768 CPUtime=1781.55 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87164 0 0 0 175639 2516 0 0 25 0 1 0 39492016 99090432 22955 1992294400 4194304 8223781 140736823086224 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24192 22955 604 984 0 23205 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 96768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6461 /proc/meminfo: memFree=1751392/2059040 swapFree=4140252/4192956 [pid=6400] ppid=6398 vsize=96768 CPUtime=1800.05 /proc/6400/stat : 6400 (pbscip.linux.x8) R 6398 6400 6272 0 -1 4202496 87164 0 0 0 177464 2541 0 0 25 0 1 0 39492016 99090432 22955 1992294400 4194304 8223781 140736823086224 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6400/statm: 24192 22955 604 984 0 23205 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 96768 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.88 CPU time (s): 1800.14 CPU user time (s): 1774.71 CPU system time (s): 25.4241 CPU usage (%): 99.9584 Max. virtual memory (cumulated for all children) (KiB): 122872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1774.71 system time used= 25.4241 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87172 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= 2 involuntary context switches= 6765 runsolver used 2.94255 second user time and 8.5477 second system time The end
Begin job on node010 at 2010-06-15 23:55:04 IDJOB=2666815 IDBENCH=25010 IDSOLVER=1169 FILE ID=node010/2666815-1276638904 PBS_JOBID= 11172401 Free space on /tmp= 62532 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666815-1276638904/watcher-2666815-1276638904 -o /tmp/evaluation-result-2666815-1276638904/solver-2666815-1276638904 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666815-1276638904.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 21fb64899a6dc4867ccfcbb30d44d536 RANDOM SEED=1563404086 node010.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1844060 kB Buffers: 27944 kB Cached: 106944 kB SwapCached: 6204 kB Active: 85184 kB Inactive: 62996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1844060 kB SwapTotal: 4192956 kB SwapFree: 4140252 kB Dirty: 5116 kB Writeback: 4 kB AnonPages: 11600 kB Mapped: 13016 kB Slab: 44936 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181708 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62528 MiB End job on node010 at 2010-06-16 00:25:07