Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | OPT | 24 | 60.5998 | 60.6259 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb |
| MD5SUM | d6135de924aeb400fc0f7d1c419e5860 |
| 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 | 24 |
| Best CPU time to get the best result obtained on this benchmark | 6.30604 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 6080 |
| Total number of constraints | 18113 |
| Number of constraints which are clauses | 18113 |
| 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 | 125 |
| Number of terms in the objective function | 2975 |
| 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 | 2975 |
| 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 | 2975 |
| 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: Clp 1.11.1] [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-2665371-1276635903.opb>
0.29/0.33 c original problem has 6080 variables (6080 bin, 0 int, 0 impl, 0 cont) and 18113 constraints
0.29/0.33 c problem read
0.29/0.33 c presolving settings loaded
0.39/0.44 c presolving:
0.59/0.61 c (round 1) 3411 del vars, 6326 del conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29002 impls, 0 clqs
0.59/0.63 c (round 2) 3411 del vars, 7395 del conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29002 impls, 0 clqs
0.69/0.76 c (round 3) 3411 del vars, 7406 del conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 10689 upgd conss, 29002 impls, 0 clqs
0.69/0.79 c (round 4) 3411 del vars, 7406 del conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 10707 upgd conss, 29002 impls, 0 clqs
0.89/0.91 c (0.5s) probing: 101/2669 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.91 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.89/0.91 c presolving (5 rounds):
0.89/0.91 c 3411 deleted vars, 7406 deleted constraints, 487 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.91 c 29002 implications, 0 cliques
0.89/0.91 c presolved problem has 2669 variables (2669 bin, 0 int, 0 impl, 0 cont) and 10707 constraints
0.89/0.91 c 10707 constraints of type <logicor>
0.89/0.91 c transformed objective value is always integral (scale: 1)
0.89/0.91 c Presolving Time: 0.45
0.89/0.91 c - non default parameters ----------------------------------------------------------------------
0.89/0.91 c # SCIP version 1.2.1.2
0.89/0.91 c
0.89/0.91 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.91 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.91 c conflict/interconss = 0
0.89/0.91 c
0.89/0.91 c # should binary conflicts be preferred?
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c conflict/preferbinary = TRUE
0.89/0.91 c
0.89/0.91 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.91 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.91 c constraints/agelimit = 1
0.89/0.91 c
0.89/0.91 c # should enforcement of pseudo solution be disabled?
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c constraints/disableenfops = TRUE
0.89/0.91 c
0.89/0.91 c # frequency for displaying node information lines
0.89/0.91 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.91 c display/freq = 10000
0.89/0.91 c
0.89/0.91 c # maximal time in seconds to run
0.89/0.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91 c limits/time = 1799.68
0.89/0.91 c
0.89/0.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91 c limits/memory = 1620
0.89/0.91 c
0.89/0.91 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.91 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.91 c lp/solvefreq = 0
0.89/0.91 c
0.89/0.91 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.89/0.91 c # [type: char, range: {lafpsqd}, default: l]
0.89/0.91 c lp/pricing = a
0.89/0.91 c
0.89/0.91 c # should presolving try to simplify inequalities
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c constraints/linear/simplifyinequalities = TRUE
0.89/0.91 c
0.89/0.91 c # should presolving try to simplify knapsacks
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.91 c
0.89/0.91 c # priority of node selection rule <dfs> in standard mode
0.89/0.91 c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.91 c nodeselection/dfs/stdpriority = 1000000
0.89/0.91 c
0.89/0.91 c -----------------------------------------------------------------------------------------------
0.89/0.91 c start solving
0.89/0.92 c
1.10/1.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.11 c 0.7s| 1 | 0 | 495 | - | 27M| 0 | 177 |2669 | 10k|2669 | 10k| 0 | 0 | 0 | 2.298877e+01 | -- | Inf
1.10/1.12 o 50
1.10/1.12 c R 0.7s| 1 | 0 | 495 | - | 27M| 0 | 177 |2669 | 10k|2669 | 10k| 0 | 0 | 0 | 2.298877e+01 | 5.000000e+01 | 117.50%
2.09/2.15 c 1.7s| 1 | 0 | 602 | - | 29M| 0 | 167 |2669 | 10k|2669 | 10k| 3 | 0 | 0 | 2.308785e+01 | 5.000000e+01 | 116.56%
2.09/2.16 o 48
2.09/2.16 c b 1.7s| 1 | 0 | 602 | - | 29M| 0 | 167 |2669 | 10k|2669 | 10k| 3 | 0 | 0 | 2.308785e+01 | 4.800000e+01 | 107.90%
4.19/4.26 c 3.8s| 1 | 0 | 731 | - | 29M| 0 | 139 |2669 | 10k|2669 | 10k| 6 | 0 | 0 | 2.314485e+01 | 4.800000e+01 | 107.39%
4.19/4.27 o 44
4.19/4.27 c R 3.8s| 1 | 0 | 731 | - | 29M| 0 | 139 |2669 | 10k|2669 | 10k| 6 | 0 | 0 | 2.314485e+01 | 4.400000e+01 | 90.11%
4.19/4.28 o 43
4.19/4.28 c b 3.8s| 1 | 0 | 731 | - | 29M| 0 | 139 |2669 | 10k|2669 | 10k| 6 | 0 | 0 | 2.314485e+01 | 4.300000e+01 | 85.79%
6.29/6.32 c 5.8s| 1 | 0 | 957 | - | 29M| 0 | 164 |2669 | 10k|2669 | 10k| 9 | 0 | 0 | 2.400000e+01 | 4.300000e+01 | 79.17%
8.49/8.52 c 8.0s| 1 | 0 | 1128 | - | 30M| 0 | 205 |2669 | 10k|2669 | 10k| 14 | 0 | 0 | 2.400000e+01 | 4.300000e+01 | 79.17%
11.29/11.35 c 10.8s| 1 | 0 | 1284 | - | 30M| 0 | 217 |2669 | 10k|2669 | 10k| 18 | 0 | 0 | 2.400000e+01 | 4.300000e+01 | 79.17%
14.49/14.54 c 14.0s| 1 | 0 | 1424 | - | 30M| 0 | 236 |2669 | 10k|2669 | 10k| 23 | 0 | 0 | 2.400000e+01 | 4.300000e+01 | 79.17%
17.78/17.88 c 17.3s| 1 | 0 | 1495 | - | 30M| 0 | 241 |2669 | 10k|2669 | 10k| 29 | 0 | 0 | 2.400000e+01 | 4.300000e+01 | 79.17%
21.09/21.14 c 20.5s| 1 | 0 | 1651 | - | 30M| 0 | 236 |2669 | 10k|2669 | 10k| 33 | 0 | 0 | 2.400000e+01 | 4.300000e+01 | 79.17%
21.59/21.64 o 25
21.59/21.64 c E21.0s| 1 | 0 | 1651 | - | 30M| 0 | 236 |2669 | 10k|2669 | 10k| 33 | 0 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%
21.59/21.66 c 21.0s| 1 | 0 | 1651 | - | 30M| 0 | 236 |2669 | 10k|2669 | 10k| 33 | 0 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%
25.69/25.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.69/25.74 c 25.0s| 1 | 0 | 1676 | - | 29M| 0 | 238 |2669 |8864 |2669 |2405 | 36 | 0 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%
31.29/31.36 c 30.6s| 1 | 0 | 1676 | - | 29M| 0 | - |2669 |8864 |2669 |2405 | 36 | 0 | 20 | 2.400000e+01 | 2.500000e+01 | 4.17%
31.29/31.36 c (run 1, node 1) restarting after 1792 global fixings of integer variables
31.29/31.36 c
31.29/31.36 c (restart) converted 36 cuts from the global cut pool into linear constraints
31.29/31.36 c
31.29/31.39 c presolving:
31.38/31.43 c (round 1) 1792 del vars, 6516 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 36 upgd conss, 29002 impls, 28 clqs
31.48/31.56 c presolving (2 rounds):
31.48/31.56 c 1792 deleted vars, 6516 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
31.48/31.56 c 29002 implications, 28 cliques
31.48/31.56 c presolved problem has 877 variables (877 bin, 0 int, 0 impl, 0 cont) and 2384 constraints
31.48/31.56 c 8 constraints of type <knapsack>
31.48/31.56 c 28 constraints of type <setppc>
31.48/31.56 c 2348 constraints of type <logicor>
31.48/31.56 c transformed objective value is always integral (scale: 1)
31.48/31.56 c Presolving Time: 0.62
31.48/31.56 c
31.68/31.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.68/31.74 c 31.0s| 1 | 0 | 2204 | - | 23M| 0 | 199 | 877 |2384 | 877 |2384 | 0 | 0 | 20 | 2.400000e+01 | 2.500000e+01 | 4.17%
32.78/32.88 c 32.1s| 1 | 0 | 2285 | - | 23M| 0 | 202 | 877 |2384 | 877 |2390 | 6 | 0 | 20 | 2.400000e+01 | 2.500000e+01 | 4.17%
34.88/34.99 c 34.2s| 1 | 0 | 2395 | - | 23M| 0 | 208 | 877 |2383 | 877 |2390 | 6 | 0 | 29 | 2.400000e+01 | 2.500000e+01 | 4.17%
37.97/38.04 c 37.3s| 1 | 0 | 2587 | - | 23M| 0 | 210 | 877 |2383 | 877 |2390 | 6 | 0 | 42 | 2.400000e+01 | 2.500000e+01 | 4.17%
39.07/39.13 c 38.4s| 1 | 0 | 2797 | - | 23M| 0 | 212 | 877 |2383 | 877 |2390 | 6 | 0 | 47 | 2.400000e+01 | 2.500000e+01 | 4.17%
40.17/40.22 c 39.4s| 1 | 0 | 2826 | - | 23M| 0 | 175 | 877 |2382 | 877 |2390 | 6 | 0 | 54 | 2.400000e+01 | 2.500000e+01 | 4.17%
40.87/40.99 c 40.2s| 1 | 0 | 2848 | - | 23M| 0 | 167 | 877 |2382 | 877 |2390 | 6 | 0 | 59 | 2.400000e+01 | 2.500000e+01 | 4.17%
42.67/42.76 c 42.0s| 1 | 0 | 2992 | - | 23M| 0 | 199 | 877 |2382 | 877 |2390 | 6 | 0 | 68 | 2.400000e+01 | 2.500000e+01 | 4.17%
44.97/45.08 c 44.3s| 1 | 0 | 3174 | - | 23M| 0 | 198 | 877 |2382 | 877 |2390 | 6 | 0 | 82 | 2.400000e+01 | 2.500000e+01 | 4.17%
47.37/47.42 c 46.6s| 1 | 0 | 3185 | - | 23M| 0 | 195 | 877 |2371 | 877 |2390 | 6 | 0 | 96 | 2.400000e+01 | 2.500000e+01 | 4.17%
48.07/48.14 c 47.3s| 1 | 0 | 3261 | - | 23M| 0 | 213 | 877 |2351 | 877 |2390 | 6 | 0 | 101 | 2.400000e+01 | 2.500000e+01 | 4.17%
48.86/48.96 c 48.1s| 1 | 0 | 3311 | - | 23M| 0 | 203 | 877 |2351 | 877 |2390 | 6 | 0 | 107 | 2.400000e+01 | 2.500000e+01 | 4.17%
49.48/49.59 c 48.8s| 1 | 0 | 3321 | - | 23M| 0 | 190 | 877 |2351 | 877 |2390 | 6 | 0 | 112 | 2.400000e+01 | 2.500000e+01 | 4.17%
50.46/50.50 c 49.7s| 1 | 0 | 3337 | - | 23M| 0 | 183 | 877 |2351 | 877 |2358 | 6 | 0 | 119 | 2.400000e+01 | 2.500000e+01 | 4.17%
50.96/51.06 c 50.2s| 1 | 0 | 3345 | - | 23M| 0 | 180 | 877 |2340 | 877 |2358 | 6 | 0 | 124 | 2.400000e+01 | 2.500000e+01 | 4.17%
51.56/51.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.56/51.70 c 50.9s| 1 | 0 | 3346 | - | 23M| 0 | 175 | 877 |2329 | 877 |2358 | 6 | 0 | 129 | 2.400000e+01 | 2.500000e+01 | 4.17%
52.57/52.62 c 51.8s| 1 | 0 | 3423 | - | 23M| 0 | 139 | 877 |2301 | 877 |2358 | 6 | 0 | 136 | 2.400000e+01 | 2.500000e+01 | 4.17%
53.26/53.38 c 52.5s| 1 | 0 | 3497 | - | 23M| 0 | 127 | 877 |2301 | 877 |2358 | 6 | 0 | 144 | 2.400000e+01 | 2.500000e+01 | 4.17%
53.87/53.96 c 53.1s| 1 | 0 | 3670 | - | 23M| 0 | 102 | 877 |2291 | 877 |2358 | 6 | 0 | 150 | 2.400000e+01 | 2.500000e+01 | 4.17%
54.17/54.28 c 53.4s| 1 | 0 | 3726 | - | 23M| 0 | 114 | 877 |2291 | 877 |2355 | 6 | 0 | 156 | 2.400000e+01 | 2.500000e+01 | 4.17%
54.47/54.57 c 53.7s| 1 | 0 | 3770 | - | 23M| 0 | 147 | 877 |2255 | 877 |2355 | 6 | 0 | 161 | 2.400000e+01 | 2.500000e+01 | 4.17%
54.87/54.95 c 54.1s| 1 | 0 | 3770 | - | 23M| 0 | - | 877 |2255 | 877 |2355 | 6 | 0 | 169 | 2.400000e+01 | 2.500000e+01 | 4.17%
54.87/54.95 c (run 2, node 1) restarting after 200 global fixings of integer variables
54.87/54.95 c
54.87/54.95 c (restart) converted 1 cuts from the global cut pool into linear constraints
54.87/54.95 c
54.87/54.96 c presolving:
54.98/55.04 c (round 1) 201 del vars, 614 del conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 1 upgd conss, 29038 impls, 15 clqs
54.98/55.07 c presolving (2 rounds):
54.98/55.07 c 201 deleted vars, 614 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 3 changed coefficients
54.98/55.07 c 29038 implications, 15 cliques
54.98/55.07 c presolved problem has 676 variables (676 bin, 0 int, 0 impl, 0 cont) and 1642 constraints
54.98/55.07 c 8 constraints of type <knapsack>
54.98/55.07 c 18 constraints of type <setppc>
54.98/55.07 c 1616 constraints of type <logicor>
54.98/55.07 c transformed objective value is always integral (scale: 1)
54.98/55.07 c Presolving Time: 0.73
54.98/55.07 c
55.07/55.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.07/55.19 c 54.3s| 1 | 0 | 4196 | - | 22M| 0 | 126 | 676 |1642 | 676 |1640 | 0 | 0 | 169 | 2.400000e+01 | 2.500000e+01 | 4.17%
55.97/56.07 c 55.2s| 1 | 0 | 4408 | - | 22M| 0 | 114 | 676 |1642 | 676 |1645 | 5 | 0 | 169 | 2.400000e+01 | 2.500000e+01 | 4.17%
56.47/56.52 c 55.6s| 1 | 0 | 4554 | - | 22M| 0 | 145 | 676 |1642 | 676 |1645 | 5 | 0 | 174 | 2.400000e+01 | 2.500000e+01 | 4.17%
56.87/56.94 c 56.1s| 1 | 0 | 4622 | - | 22M| 0 | 139 | 676 |1642 | 676 |1645 | 5 | 0 | 180 | 2.400000e+01 | 2.500000e+01 | 4.17%
57.47/57.50 c 56.6s| 1 | 0 | 4677 | - | 22M| 0 | 137 | 676 |1642 | 676 |1645 | 5 | 0 | 188 | 2.400000e+01 | 2.500000e+01 | 4.17%
57.97/58.01 c 57.1s| 1 | 0 | 4833 | - | 22M| 0 | 121 | 676 |1642 | 676 |1645 | 5 | 0 | 194 | 2.400000e+01 | 2.500000e+01 | 4.17%
58.46/58.52 c 57.6s| 1 | 0 | 4931 | - | 22M| 0 | 129 | 676 |1642 | 676 |1645 | 5 | 0 | 203 | 2.400000e+01 | 2.500000e+01 | 4.17%
58.77/58.89 c 58.0s| 1 | 0 | 4960 | - | 22M| 0 | 140 | 676 |1635 | 676 |1645 | 5 | 0 | 212 | 2.400000e+01 | 2.500000e+01 | 4.17%
59.06/59.14 c 58.2s| 1 | 0 | 4965 | - | 22M| 0 | 119 | 676 |1635 | 676 |1645 | 5 | 0 | 217 | 2.400000e+01 | 2.500000e+01 | 4.17%
59.26/59.34 c 58.4s| 1 | 0 | 4977 | - | 22M| 0 | 143 | 676 |1626 | 676 |1645 | 5 | 0 | 222 | 2.400000e+01 | 2.500000e+01 | 4.17%
59.48/59.52 c 58.6s| 1 | 0 | 4982 | - | 22M| 0 | 131 | 676 |1614 | 676 |1628 | 5 | 0 | 227 | 2.400000e+01 | 2.500000e+01 | 4.17%
59.67/59.71 c 58.8s| 1 | 0 | 5026 | - | 22M| 0 | 120 | 676 |1606 | 676 |1628 | 5 | 0 | 232 | 2.400000e+01 | 2.500000e+01 | 4.17%
59.77/59.90 c 59.0s| 1 | 0 | 5053 | - | 22M| 0 | 114 | 676 |1597 | 676 |1628 | 5 | 0 | 237 | 2.400000e+01 | 2.500000e+01 | 4.17%
59.97/60.07 c 59.1s| 1 | 0 | 5084 | - | 22M| 0 | 97 | 676 |1589 | 676 |1628 | 5 | 0 | 242 | 2.400000e+01 | 2.500000e+01 | 4.17%
60.26/60.30 c 59.4s| 1 | 0 | 5137 | - | 22M| 0 | 0 | 676 |1560 | 676 |1628 | 5 | 0 | 247 | 2.400000e+01 | 2.500000e+01 | 4.17%
60.26/60.30 c (run 3, node 1) restarting after 116 global fixings of integer variables
60.26/60.30 c
60.26/60.30 c (restart) converted 5 cuts from the global cut pool into linear constraints
60.26/60.30 c
60.26/60.31 c presolving:
60.26/60.36 c (round 1) 117 del vars, 320 del conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 29048 impls, 4 clqs
60.37/60.41 c (round 2) 127 del vars, 343 del conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 4 upgd conss, 29048 impls, 4 clqs
60.37/60.44 c (round 3) 127 del vars, 345 del conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 4 upgd conss, 29048 impls, 4 clqs
60.37/60.46 c presolving (4 rounds):
60.37/60.46 c 127 deleted vars, 345 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 2 changed coefficients
60.37/60.46 c 29048 implications, 4 cliques
60.37/60.46 c presolved problem has 549 variables (549 bin, 0 int, 0 impl, 0 cont) and 1220 constraints
60.37/60.46 c 9 constraints of type <knapsack>
60.37/60.46 c 15 constraints of type <setppc>
60.37/60.46 c 1196 constraints of type <logicor>
60.37/60.46 c transformed objective value is always integral (scale: 1)
60.37/60.46 c Presolving Time: 0.87
60.37/60.46 c
60.47/60.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.47/60.54 c 59.6s| 1 | 0 | 5455 | - | 22M| 0 | 0 | 549 |1220 | 549 |1216 | 0 | 0 | 247 | 2.400000e+01 | 2.500000e+01 | 4.17%
60.47/60.54 o 24
60.47/60.54 c *59.6s| 1 | 0 | 5455 | - | 22M| 0 | - | 549 |1220 | 549 |1216 | 0 | 0 | 247 | 2.400000e+01 | 2.400000e+01 | 0.00%
60.47/60.54 c
60.47/60.54 c SCIP Status : problem is solved [optimal solution found]
60.47/60.54 c Solving Time (sec) : 59.61
60.47/60.54 c Solving Nodes : 1 (total of 4 nodes in 4 runs)
60.47/60.54 c Primal Bound : +2.40000000000000e+01 (7 solutions)
60.47/60.54 c Dual Bound : +2.40000000000000e+01
60.47/60.54 c Gap : 0.00 %
60.47/60.57 s OPTIMUM FOUND
60.47/60.57 v x190 x189 -x6077 -x188 -x6075 -x187 -x6072 -x6070 -x186 -x6068 -x6066 -x6064 -x185 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x184
60.47/60.57 v -x6050 -x183 -x6047 -x6045 -x182 -x6043 -x6041 -x181 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x180 -x6025 -x6023
60.47/60.57 v -x6021 -x179 -x6019 -x6017 -x6015 -x6013 -x6011 -x6009 -x6007 -x178 -x6005 -x6003 -x6001 x5999 -x5997 -x5995 -x5993 x177 -x5991
60.47/60.57 v -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 -x5977 -x5975 -x5973 -x5971 -x5969 -x5967 -x176 -x5965 x175 -x5962 -x5960 -x174
60.47/60.57 v -x5958 -x5956 -x5954 -x173 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x172 -x5938 -x5936 -x5934 -x171 -x5932 -x5930 -x5928
60.47/60.57 v -x5926 -x5924 -x5922 -x5920 -x170 -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x169 -x5904 -x5902 -x5900 -x5898 -x5896
60.47/60.57 v -x5894 -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x168 -x5874 -x5872 -x5870 -x167 -x5868 -x5866 -x5864
60.47/60.57 v -x5862 -x5860 -x5858 -x5856 -x166 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x165 -x5840 -x5838 -x5836 -x5834 -x5832
60.47/60.57 v -x5830 -x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x164 -x5810 x5808 -x5806 -x5804 -x5802 -x5800 -x5798
60.47/60.57 v -x5796 -x5794 -x5791 -x5789 -x5787 -x5785 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 -x5771 -x5769 -x163 -x5767 -x5765 -x5763
60.47/60.57 v -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x5749 -x5747 -x5744 -x5742 -x5740 -x5738 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725
60.47/60.57 v -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 -x5699 -x5697 -x5695 -x5693 -x5691 -x5689
60.47/60.57 v -x5687 -x5685 -x162 -x5683 -x161 -x5680 -x5678 -x160 -x5676 -x5674 -x5672 x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x159
60.47/60.57 v -x5657 -x5655 -x158 -x5653 -x5651 -x5649 -x5647 -x5645 -x5643 -x5641 -x157 -x5639 -x5637 -x5635 -x5632 -x5630 -x5628 -x156 -x5626
60.47/60.57 v -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x155 -x5596 -x5594 -x5592
60.47/60.57 v -x154 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x153 -x5576 -x5574 x5572 -x5570 -x5568 x152 -x5565 -x5563 -x5561
60.47/60.57 v -x5559 -x5557 -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 -x151 -x5535 -x5533 -x5531 -x5529 -x5527
60.47/60.57 v -x5525 -x5523 -x150 -x5521 -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x5501 -x5499 -x5497 -x5495 -x5493
60.47/60.57 v -x149 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x148 -x5463 -x5461
60.47/60.57 v -x5459 -x5457 -x5455 -x5453 x5451 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425
60.47/60.57 v -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x147 -x5395 -x5392 -x5390
60.47/60.57 v -x5388 -x5386 -x5384 -x146 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x145 -x5368 -x5366 x5364 -x5362 -x5360 -x5358 -x5356
60.47/60.57 v -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x144 -x5324 -x5322
60.47/60.57 v -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x143 -x5294 -x5292 -x5290 -x5288
60.47/60.57 v -x5285 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x142 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253
60.47/60.57 v -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215
60.47/60.57 v -x5213 -x5211 -x5209 -x5207 -x141 -x5205 -x140 -x5202 -x5200 -x139 -x5198 -x5196 -x5194 -x138 -x5192 -x5190 -x5188 -x5186
60.47/60.57 v -x5184 -x5182 -x5180 -x137 -x5178 -x5176 -x5174 -x136 -x5172 -x5170 -x5168 -x5166 -x5163 -x5161 -x135 -x5159 -x5157 -x5155
60.47/60.57 v -x5153 -x5151 -x5149 -x5147 -x134 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121
60.47/60.57 v -x5119 -x5117 -x133 -x5115 -x5113 -x5111 -x132 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x131 -x5095 -x5093 -x5091 -x5089
60.47/60.57 v -x5087 -x5085 -x5083 -x130 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055
60.47/60.57 v -x5053 -x129 -x5051 -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x128 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023
60.47/60.57 v -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009 -x127 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989
60.47/60.57 v -x4987 -x4985 -x4983 x4981 -x4979 -x4977 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952
60.47/60.57 v -x4950 -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x126
60.47/60.57 v -x4916 -x4914 -x4912 -x125 -x4910 -x4908 -x4906 -x4904 -x4902 x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884
60.47/60.57 v -x124 -x4882 -x4880 -x4878 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x123 -x4853 -x4851
60.47/60.57 v -x4849 -x4847 -x4845 -x4843 -x4841 -x122 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817
60.47/60.57 v -x4815 -x4812 -x121 -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782
60.47/60.57 v -x120 -x4780 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748
60.47/60.57 v -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x119 -x4718 -x4716 -x4714
60.47/60.57 v -x4712 -x4710 -x4708 -x4706 -x118 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679
60.47/60.57 v -x4677 -x117 -x4675 -x4673 -x4671 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x116
60.47/60.57 v -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611
60.47/60.57 v -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x115 -x4583 -x4581 -x4579 -x4577
60.47/60.57 v -x4575 -x4573 -x4571 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x114 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542
60.47/60.57 v -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506
60.47/60.57 v -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x113 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472
60.47/60.57 v -x4470 -x4467 -x4465 -x4463 -x4461 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x112
60.47/60.57 v -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400
60.47/60.57 v -x4398 -x4396 -x4394 -x4392 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363
60.47/60.57 v -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329
60.47/60.57 v -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x111 -x4309 -x4307 -x4305 -x110 -x4303 -x4301 -x4299 -x4296 -x4294
60.47/60.57 v -x4292 -x109 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x108 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262
60.47/60.57 v -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x107 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x106 -x4232 -x4230
60.47/60.57 v -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x105 -x4202 -x4200 -x4198 -x4196
60.47/60.57 v -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x104 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162
60.47/60.57 v -x4160 -x4158 -x4156 -x4154 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125
60.47/60.57 v -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x103 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x102 -x4097 -x4095 -x4093
60.47/60.57 v -x4091 -x4089 -x4087 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x101 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058
60.47/60.57 v -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x100 -x4038 -x4036 x4034 -x4032 -x4030 -x4028 -x4026 -x4024
60.47/60.57 v -x4022 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987
60.47/60.57 v -x3985 -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951
60.47/60.57 v -x3949 -x99 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3918 -x3916
60.47/60.57 v -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x98 -x3886 -x3884 -x3882
60.47/60.57 v -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846
60.47/60.57 v -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x97 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812
60.47/60.57 v -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3781 -x3779 -x3777 -x3775
60.47/60.57 v -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739
60.47/60.57 v -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703
60.47/60.57 v -x3701 -x96 -x3699 -x95 -x3696 -x3694 -x94 -x3692 -x3690 -x3688 -x93 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x92
60.47/60.57 v -x3672 -x3670 -x3668 -x91 -x3666 -x3664 -x90 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x89 -x3648 -x3646 -x3644 -x3641
60.47/60.57 v -x3639 -x3637 -x88 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607
60.47/60.57 v -x87 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x86 -x3591 -x3589 -x3587 -x85 -x3585 -x3583 -x3581 -x3579 -x3577
60.47/60.57 v -x3575 -x3573 -x84 -x3571 -x3569 -x3567 -x83 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x82 -x3551 -x3548 -x3546 -x3544
60.47/60.57 v -x3542 -x3540 -x81 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3515 -x3513 -x3511 -x3509
60.47/60.57 v -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x80 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x79 -x3481 -x3479 -x3477 -x3475
60.47/60.57 v -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x78 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441
60.47/60.57 v -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x77 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407
60.47/60.57 v -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370
60.47/60.57 v -x3368 x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x76
60.47/60.57 v -x3334 -x3332 -x3330 x3328 -x3326 -x3324 -x3322 x75 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 x3300
60.47/60.57 v -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x74 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x73 -x3270 -x72
60.47/60.57 v -x3267 -x3265 -x71 -x3263 -x3261 -x3259 -x70 -x3257 -x3255 -x3253 -x69 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x68
60.47/60.57 v -x3237 -x3235 -x3233 -x67 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x66 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205
60.47/60.57 v -x65 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x64 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173
60.47/60.57 v -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x63 -x3159 -x3157 -x3155 -x62 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x61
60.47/60.57 v -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x60 -x3125 -x3123 -x3120 -x3118 -x3116 -x3114 -x59 -x3112 -x3110 -x3108
60.47/60.57 v -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x58 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072
60.47/60.57 v -x3070 -x57 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x56
60.47/60.57 v -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x55 -x3008 -x3006
60.47/60.57 v -x3004 -x3002 -x3000 -x2998 -x2996 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x54 -x2979 -x2977 -x2975 -x2973 -x2971
60.47/60.57 v -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934
60.47/60.57 v -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x53 -x2918 -x2916 -x2914 -x52 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900
60.47/60.57 v -x51 -x2898 -x2896 -x2894 -x2892 -x2890 -x2887 -x50 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x49 -x2873 -x2871 -x2869
60.47/60.57 v -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x48 -x2843 -x2841 -x2839 -x2837 -x2835
60.47/60.57 v -x2833 -x2831 -x47 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x46
60.47/60.57 v -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x45 -x2769 -x2767
60.47/60.57 v -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 -x2731
60.47/60.57 v -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x44 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697
60.47/60.57 v -x2695 -x43 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x42
60.47/60.57 v -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x41 -x2633 -x2631 -x2629
60.47/60.57 v -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595
60.47/60.57 v -x2593 -x2591 -x2589 -x2587 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x40 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557
60.47/60.57 v -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x39 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2522
60.47/60.57 v -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486
60.47/60.57 v -x2484 -x38 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452
60.47/60.57 v -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x37 -x2420 -x2418
60.47/60.57 v -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382
60.47/60.57 v -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346
60.47/60.57 v -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312
60.47/60.57 v -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x36 -x2294 -x2292 x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2277 -x35
60.47/60.57 v -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x34 -x2260 -x2258 -x2256 -x2254 -x2251 -x33 -x2249 -x2247 -x2245 -x2243
60.47/60.57 v -x2241 -x2239 -x2237 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x32 -x2220 -x2217 -x2215 -x2213 -x2211 -x2209 -x31 -x2207
60.47/60.57 v -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x30 -x2177 -x2175 -x2173
60.47/60.57 v -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137
60.47/60.57 v -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x29 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103
60.47/60.57 v -x2101 -x2099 -x2097 -x2095 -x2093 -x2090 -x2088 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065
60.47/60.57 v -x2063 -x2061 -x2059 -x28 -x2057 -x2055 -x2052 -x2050 -x2048 -x2046 -x27 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032
60.47/60.57 v -x2030 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x26 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995
60.47/60.57 v -x1993 -x1991 -x1989 -x1987 -x25 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961
60.47/60.57 v -x1959 -x1957 -x24 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927
60.47/60.57 v -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x23 -x1893
60.47/60.57 v -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x22 -x1863 -x1861 -x1859
60.47/60.57 v -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823
60.47/60.57 v -x1821 -x1819 -x1817 x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1794 -x1792 -x1790 -x1788 -x1786
60.47/60.57 v -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750
60.47/60.57 v -x1748 -x1746 -x1744 -x21 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716
60.47/60.57 v -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x20
60.47/60.57 v -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646
60.47/60.57 v -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610
60.47/60.57 v -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574
60.47/60.57 v -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x19 -x1554 -x1552 -x1550 -x1548 -x1545 -x1543 -x18 -x1541
60.47/60.57 v -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x17 -x1511 -x1509 -x1507
60.47/60.57 v -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x16 -x1481 -x1479 -x1477 -x1475 -x1473
60.47/60.57 v -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437
60.47/60.57 v -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x15 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403
60.47/60.57 v -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x14 -x1389 -x1387 -x1385 -x1383 -x1381 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366
60.47/60.57 v -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332
60.47/60.57 v -x1330 -x13 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296
60.47/60.57 v -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x12 -x1266 -x1264 -x1262
60.47/60.57 v -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226
60.47/60.57 v -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192
60.47/60.57 v -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156
60.47/60.57 v -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x11 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122
60.47/60.57 v -x1120 -x1118 -x1116 -x1114 -x1112 -x10 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086
60.47/60.57 v -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052
60.47/60.57 v -x1050 -x9 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016
60.47/60.57 v -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x8 -x986 -x984 -x982 -x980
60.47/60.57 v -x978 -x976 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937
60.47/60.57 v -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895
60.47/60.57 v -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x7 -x861 -x859 -x857 -x855
60.47/60.57 v -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813
60.47/60.57 v -x811 -x809 -x807 -x805 -x803 -x801 -x6 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773
60.47/60.57 v -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731
60.47/60.57 v -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689
60.47/60.57 v -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x5 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649
60.47/60.57 v -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606
60.47/60.57 v -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564
60.47/60.57 v -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x4 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524
60.47/60.57 v -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 x492 -x490 -x488 -x486 -x484 -x482
60.47/60.57 v -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440
60.47/60.57 v -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398
60.47/60.57 v -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358
60.47/60.57 v -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316
60.47/60.57 v -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x3 -x292 -x290 -x288 x286 -x284 -x282 -x280 -x278 -x276 -x274
60.47/60.57 v -x272 -x270 -x268 -x266 -x2 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x1 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236
60.47/60.57 v -x234 -x232 -x230 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x193
60.47/60.57 v x191 x6080 x6079 -x6078 -x6076 -x6074 -x6073 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051
60.47/60.57 v -x6049 -x6048 -x6046 -x6044 -x6042 -x6040 -x6038 -x6036 -x6034 -x6032 -x6030 -x6028 -x6026 -x6024 -x6022 -x6020 -x6018 -x6016
60.47/60.57 v -x6014 -x6012 -x6010 -x6008 -x6006 -x6004 -x6002 x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980
60.47/60.57 v -x5978 -x5976 -x5974 -x5972 -x5970 -x5968 -x5966 x5964 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945
60.47/60.57 v -x5943 -x5941 -x5939 -x5937 -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909
60.47/60.57 v -x5907 -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x5873
60.47/60.57 v -x5871 -x5869 -x5867 -x5865 -x5863 -x5861 -x5859 -x5857 -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x5843 -x5841 -x5839 -x5837
60.47/60.57 v -x5835 -x5833 -x5831 -x5829 -x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x5815 -x5813 -x5811 x5809 -x5807 -x5805 -x5803 -x5801
60.47/60.57 v -x5799 -x5797 -x5795 -x5793 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766
60.47/60.57 v -x5764 -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 x5746 -x5745 -x5743 -x5741 -x5739 -x5737 -x5736 -x5734 -x5732
60.47/60.57 v -x5730 -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5698 -x5696
60.47/60.57 v -x5694 -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5681 -x5679 -x5677 -x5675 -x5673 x5671 -x5669 -x5667 -x5665 -x5663 -x5661
60.47/60.57 v -x5659 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5633 -x5631 -x5629
60.47/60.57 v -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593
60.47/60.57 v -x5591 -x5589 -x5587 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575 x5573 -x5571 -x5569 -x5567 -x5566 -x5564 -x5562 -x5560 -x5558
60.47/60.57 v -x5556 -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522
60.47/60.57 v -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486
60.47/60.57 v -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 x5452 -x5450
60.47/60.57 v -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414
60.47/60.57 v -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379
60.47/60.57 v -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 x5365 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343
60.47/60.57 v -x5341 -x5339 -x5337 -x5335 -x5333 -x5331 -x5329 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 -x5313 -x5311 -x5309 -x5307
60.47/60.57 v -x5305 -x5303 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274
60.47/60.57 v -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239
60.47/60.57 v -x5237 -x5235 -x5233 -x5231 -x5229 -x5227 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204
60.47/60.57 v -x5203 -x5201 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169
60.47/60.57 v -x5167 -x5165 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134
60.47/60.57 v -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098
60.47/60.57 v -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062
60.47/60.57 v -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028
60.47/60.57 v -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992
60.47/60.57 v -x4990 -x4988 -x4986 -x4984 x4982 -x4980 -x4978 -x4976 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957
60.47/60.57 v -x4955 -x4953 -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921
60.47/60.57 v -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885
60.47/60.57 v -x4883 -x4881 -x4879 -x4877 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850
60.47/60.57 v -x4848 -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814
60.47/60.57 v -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4779
60.47/60.57 v -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743
60.47/60.57 v -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709
60.47/60.57 v -x4707 -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674
60.47/60.57 v -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638
60.47/60.57 v -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602
60.47/60.57 v -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x4569 -x4567
60.47/60.57 v -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531
60.47/60.57 v -x4529 -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495
60.47/60.57 v -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4468 -x4466 -x4464 -x4462
60.47/60.57 v -x4460 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427
60.47/60.57 v -x4425 -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391
60.47/60.57 v -x4390 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356
60.47/60.57 v -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320
60.47/60.57 v -x4318 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285
60.47/60.57 v -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249
60.47/60.57 v -x4247 -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215
60.47/60.57 v -x4213 -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179
60.47/60.57 v -x4177 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4152 -x4150 -x4148 -x4146 -x4144
60.47/60.57 v -x4142 -x4140 -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108
60.47/60.57 v -x4106 -x4104 -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073
60.47/60.57 v -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037
60.47/60.57 v x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002
60.47/60.57 v -x4000 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966
60.47/60.57 v -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932
60.47/60.57 v -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897
60.47/60.57 v -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861
60.47/60.57 v -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825
60.47/60.57 v -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789
60.47/60.57 v -x3787 -x3785 -x3783 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754
60.47/60.57 v -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718
60.47/60.57 v -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685
60.47/60.57 v -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649
60.47/60.57 v -x3647 -x3645 -x3643 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614
60.47/60.57 v -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578
60.47/60.57 v -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3549 -x3547 -x3545 -x3543
60.47/60.57 v -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 x3517 -x3516 -x3514 -x3512 -x3510 -x3508
60.47/60.57 v -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472
60.47/60.57 v -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436
60.47/60.57 v -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402
60.47/60.57 v -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 x3367
60.47/60.57 v -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331
60.47/60.57 v x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 x3301 -x3299 -x3297 -x3295
60.47/60.57 v -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3268 -x3266 -x3264 -x3262 -x3260
60.47/60.57 v -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224
60.47/60.57 v -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188
60.47/60.57 v -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152
60.47/60.57 v -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3121 -x3119 -x3117
60.47/60.57 v -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081
60.47/60.57 v -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047
60.47/60.57 v -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011
60.47/60.57 v -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976
60.47/60.57 v -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941
60.47/60.57 v -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905
60.47/60.57 v -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870
60.47/60.57 v -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834
60.47/60.57 v -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800
60.47/60.57 v -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764
60.47/60.57 v -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728
60.47/60.57 v -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692
60.47/60.57 v -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656
60.47/60.57 v -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620
60.47/60.57 v -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2585
60.47/60.57 v -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552
60.47/60.57 v -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2523 -x2521 -x2519 -x2517
60.47/60.57 v -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481
60.47/60.57 v -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445
60.47/60.57 v -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409
60.47/60.57 v -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373
60.47/60.57 v -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337
60.47/60.57 v -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303
60.47/60.57 v -x2301 -x2299 -x2297 -x2295 -x2293 x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268
60.47/60.57 v -x2266 -x2264 -x2262 -x2261 -x2259 -x2257 -x2255 -x2253 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2235
60.47/60.57 v -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200
60.47/60.57 v -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164
60.47/60.57 v -x2162 -x2160 -x2158 -x2156 x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128
60.47/60.57 v -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092
60.47/60.57 v -x2091 -x2089 -x2087 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058
60.47/60.57 v -x2056 -x2054 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2028 -x2026 -x2024
60.47/60.57 v -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990
60.47/60.57 v -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954
60.47/60.57 v -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918
60.47/60.57 v -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882
60.47/60.57 v -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846
60.47/60.57 v -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 x1816 -x1814 -x1812 -x1810
60.47/60.57 v -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775
60.47/60.57 v -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739
60.47/60.57 v -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705
60.47/60.57 v -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669
60.47/60.57 v -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633
60.47/60.57 v -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597
60.47/60.57 v -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561
60.47/60.57 v -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526
60.47/60.57 v -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490
60.47/60.57 v -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456
60.47/60.57 v -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420
60.47/60.57 v -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384
60.47/60.57 v -x1382 -x1380 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349
60.47/60.57 v -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313
60.47/60.57 v -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277
60.47/60.57 v -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241
60.47/60.57 v -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207
60.47/60.57 v -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171
60.47/60.57 v -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135
60.47/60.57 v -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099
60.47/60.57 v -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063
60.47/60.57 v -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027
60.47/60.57 v -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991
60.47/60.57 v -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950
60.47/60.57 v -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908
60.47/60.57 v -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866
60.47/60.57 v -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824
60.47/60.57 v -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784
60.47/60.57 v -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742
60.47/60.57 v -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700
60.47/60.57 v -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658
60.47/60.57 v -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x629 -x627 -x625 -x623 -x621 -x619 -x617
60.47/60.57 v -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575
60.47/60.57 v -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535
60.47/60.57 v -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 x493
60.47/60.57 v -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451
60.47/60.57 v -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409
60.47/60.57 v -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367
60.47/60.57 v -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325
60.47/60.57 v -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 x287 -x285 -x283
60.47/60.57 v -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241
60.47/60.57 v -x239 -x237 -x235 -x233 -x231 x229 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200
60.47/60.57 v -x198 -x196 -x194 x192
60.47/60.57 c SCIP Status : problem is solved [optimal solution found]
60.47/60.57 c Solving Time : 59.61
60.47/60.57 c Original Problem :
60.47/60.57 c Problem name : HOME/instance-2665371-1276635903.opb
60.47/60.57 c Variables : 6080 (6080 binary, 0 integer, 0 implicit integer, 0 continuous)
60.47/60.57 c Constraints : 18113 initial, 18113 maximal
60.47/60.57 c Presolved Problem :
60.47/60.57 c Problem name : t_HOME/instance-2665371-1276635903.opb
60.47/60.57 c Variables : 549 (549 binary, 0 integer, 0 implicit integer, 0 continuous)
60.47/60.57 c Constraints : 1220 initial, 1220 maximal
60.47/60.57 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
60.47/60.57 c trivial : 0.01 2108 0 0 0 0 0 0 0
60.47/60.57 c dualfix : 0.00 10 0 0 0 0 0 0 0
60.47/60.57 c boundshift : 0.00 0 0 0 0 0 0 0 0
60.47/60.57 c inttobinary : 0.00 0 0 0 0 0 0 0 0
60.47/60.57 c implics : 0.00 0 2 0 0 0 0 0 0
60.47/60.57 c probing : 0.09 0 0 0 0 0 0 0 0
60.47/60.57 c knapsack : 0.29 0 0 0 0 0 0 0 5
60.47/60.57 c setppc : 0.00 0 0 0 0 0 10 0 0
60.47/60.57 c linear : 0.21 487 2924 0 487 0 7407 0 0
60.47/60.57 c logicor : 0.17 0 0 0 0 0 7464 0 0
60.47/60.57 c root node : - 2108 - - 2108 - - - -
60.47/60.57 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
60.47/60.57 c integral : 0 0 0 36 0 0 167 0 0 0
60.47/60.57 c knapsack : 9 3 51 0 0 0 0 0 0 0
60.47/60.57 c setppc : 15 3 51 0 0 0 2 0 0 0
60.47/60.57 c logicor : 1196 12 243 2 0 0 247 0 0 0
60.47/60.57 c countsols : 0 0 0 2 0 0 0 0 0 0
60.47/60.57 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
60.47/60.57 c integral : 30.81 0.00 0.00 30.81 0.00
60.47/60.57 c knapsack : 0.53 0.52 0.01 0.00 0.00
60.47/60.57 c setppc : 0.00 0.00 0.00 0.00 0.00
60.47/60.57 c logicor : 0.07 0.03 0.04 0.00 0.00
60.47/60.57 c countsols : 0.00 0.00 0.00 0.00 0.00
60.47/60.57 c Propagators : Time Calls Cutoffs DomReds
60.47/60.57 c vbounds : 0.00 5 0 0
60.47/60.57 c rootredcost : 0.00 0 0 0
60.47/60.57 c pseudoobj : 0.01 61 0 0
60.47/60.57 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
60.47/60.57 c propagation : 0.00 0 0 0 0.0 0 0.0 -
60.47/60.57 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
60.47/60.57 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
60.47/60.57 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
60.47/60.57 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
60.47/60.57 c applied globally : - - - 0 0.0 - - -
60.47/60.57 c applied locally : - - - 0 0.0 - - -
60.47/60.57 c Separators : Time Calls Cutoffs DomReds Cuts Conss
60.47/60.57 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
60.47/60.57 c redcost : 0.01 12 0 1692 0 0
60.47/60.57 c impliedbounds : 0.00 11 0 0 0 0
60.47/60.57 c intobj : 0.00 0 0 0 0 0
60.47/60.57 c cgmip : 0.00 0 0 0 0 0
60.47/60.57 c gomory : 12.00 11 0 0 907 0
60.47/60.57 c strongcg : 8.87 11 0 0 3308 0
60.47/60.57 c cmir : 1.15 11 0 0 0 0
60.47/60.57 c flowcover : 1.72 11 0 0 0 0
60.47/60.57 c clique : 0.03 11 0 0 65 0
60.47/60.57 c zerohalf : 0.00 0 0 0 0 0
60.47/60.57 c mcf : 0.02 3 0 0 0 0
60.47/60.57 c rapidlearning : 0.00 0 0 0 0 0
60.47/60.57 c Pricers : Time Calls Vars
60.47/60.57 c problem variables: 0.00 0 0
60.47/60.57 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
60.47/60.57 c relpscost : 30.81 34 0 167 0 0 0
60.47/60.57 c pscost : 0.00 0 0 0 0 0 0
60.47/60.57 c inference : 0.00 0 0 0 0 0 0
60.47/60.57 c mostinf : 0.00 0 0 0 0 0 0
60.47/60.57 c leastinf : 0.00 0 0 0 0 0 0
60.47/60.57 c fullstrong : 0.00 0 0 0 0 0 0
60.47/60.57 c allfullstrong : 0.00 0 0 0 0 0 0
60.47/60.57 c random : 0.00 0 0 0 0 0 0
60.47/60.57 c Primal Heuristics : Time Calls Found
60.47/60.57 c LP solutions : 0.00 - 1
60.47/60.57 c pseudo solutions : 0.00 - 0
60.47/60.57 c oneopt : 0.02 4 2
60.47/60.57 c trivial : 0.02 2 0
60.47/60.57 c simplerounding : 0.00 0 0
60.47/60.57 c zirounding : 0.00 1 0
60.47/60.57 c rounding : 0.06 45 2
60.47/60.57 c shifting : 0.10 45 1
60.47/60.57 c intshifting : 0.00 0 0
60.47/60.57 c twoopt : 0.00 0 0
60.47/60.57 c fixandinfer : 0.00 0 0
60.47/60.57 c feaspump : 0.00 0 0
60.47/60.57 c coefdiving : 0.00 0 0
60.47/60.57 c pscostdiving : 0.00 0 0
60.47/60.57 c fracdiving : 0.00 0 0
60.47/60.57 c veclendiving : 0.00 0 0
60.47/60.57 c intdiving : 0.00 0 0
60.47/60.57 c actconsdiving : 0.00 0 0
60.47/60.57 c objpscostdiving : 0.00 0 0
60.47/60.57 c rootsoldiving : 0.00 0 0
60.47/60.57 c linesearchdiving : 0.00 0 0
60.47/60.57 c guideddiving : 0.00 0 0
60.47/60.57 c octane : 0.00 0 0
60.47/60.57 c rens : 0.43 1 1
60.47/60.57 c rins : 0.00 0 0
60.47/60.57 c localbranching : 0.00 0 0
60.47/60.57 c mutation : 0.00 0 0
60.47/60.57 c crossover : 0.00 0 0
60.47/60.57 c dins : 0.00 0 0
60.47/60.57 c undercover : 0.00 0 0
60.47/60.57 c nlp : 0.00 0 0
60.47/60.57 c trysol : 0.00 0 0
60.47/60.57 c LP : Time Calls Iterations Iter/call Iter/sec
60.47/60.57 c primal LP : 0.02 0 0 0.00 0.00
60.47/60.57 c dual LP : 2.64 47 5455 116.06 2066.29
60.47/60.57 c lex dual LP : 0.00 0 0 0.00 -
60.47/60.57 c barrier LP : 0.00 0 0 0.00 -
60.47/60.57 c diving/probing LP: 0.00 0 0 0.00 -
60.47/60.57 c strong branching : 30.80 247 75489 305.62 2450.94
60.47/60.57 c (at root node) : - 247 75489 305.62 -
60.47/60.57 c conflict analysis: 0.00 0 0 0.00 -
60.47/60.57 c B&B Tree :
60.47/60.57 c number of runs : 4
60.47/60.57 c nodes : 1
60.47/60.57 c nodes (total) : 4
60.47/60.57 c nodes left : 0
60.47/60.57 c max depth : 0
60.47/60.57 c max depth (total): 0
60.47/60.57 c backtracks : 0 (0.0%)
60.47/60.57 c delayed cutoffs : 0
60.47/60.57 c repropagations : 0 (0 domain reductions, 0 cutoffs)
60.47/60.57 c avg switch length: 2.00
60.47/60.57 c switching time : 0.00
60.47/60.57 c Solution :
60.47/60.57 c Solutions found : 7 (6 improvements)
60.47/60.57 c First Solution : +5.00000000000000e+01 (in run 1, after 1 nodes, 0.69 seconds, depth 0, found by <rounding>)
60.47/60.57 c Primal Bound : +2.40000000000000e+01 (in run 4, after 1 nodes, 59.61 seconds, depth 0, found by <relaxation>)
60.47/60.57 c Dual Bound : +2.40000000000000e+01
60.47/60.57 c Gap : 0.00 %
60.47/60.57 c Root Dual Bound : +2.40000000000000e+01
60.47/60.57 c Root Iterations : 5455
60.58/60.62 c Time complete: 60.59.
OK 24
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665371-1276635903/watcher-2665371-1276635903 -o /tmp/evaluation-result-2665371-1276635903/solver-2665371-1276635903 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665371-1276635903.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: 1.03 1.02 1.00 3/106 6700 /proc/meminfo: memFree=1815992/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=8260 CPUtime=0 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 1012 0 0 0 0 0 0 0 18 0 1 0 39191651 8458240 932 1992294400 4194304 9819077 140736493981200 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6700/statm: 2065 932 366 1374 0 686 0 [startup+0.106587 s] /proc/loadavg: 1.03 1.02 1.00 3/106 6700 /proc/meminfo: memFree=1815992/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=17216 CPUtime=0.1 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 3232 0 0 0 9 1 0 0 20 0 1 0 39191651 17629184 3151 1992294400 4194304 9819077 140736493981200 18446744073709551615 4207135 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6700/statm: 4304 3151 388 1374 0 2925 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 17216 [startup+0.200596 s] /proc/loadavg: 1.03 1.02 1.00 3/106 6700 /proc/meminfo: memFree=1815992/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=19788 CPUtime=0.19 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 3894 0 0 0 18 1 0 0 20 0 1 0 39191651 20262912 3813 1992294400 4194304 9819077 140736493981200 18446744073709551615 4361643 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6700/statm: 4947 3813 388 1374 0 3568 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19788 [startup+0.300605 s] /proc/loadavg: 1.03 1.02 1.00 3/106 6700 /proc/meminfo: memFree=1815992/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=22120 CPUtime=0.29 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 4482 0 0 0 28 1 0 0 20 0 1 0 39191651 22650880 4401 1992294400 4194304 9819077 140736493981200 18446744073709551615 4397005 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6700/statm: 5530 4401 388 1374 0 4151 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22120 [startup+0.700642 s] /proc/loadavg: 1.03 1.02 1.00 3/106 6700 /proc/meminfo: memFree=1815992/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=49176 CPUtime=0.69 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 11992 0 0 0 62 7 0 0 20 0 1 0 39191651 50356224 10920 1992294400 4194304 9819077 140736493981200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6700/statm: 12294 10920 497 1374 0 10915 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 49176 [startup+1.50072 s] /proc/loadavg: 1.03 1.02 1.00 2/107 6701 /proc/meminfo: memFree=1761052/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=75084 CPUtime=1.49 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 19194 0 0 0 137 12 0 0 23 0 1 0 39191651 76886016 16188 1992294400 4194304 9819077 140736493981200 18446744073709551615 6017096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6700/statm: 18771 16188 651 1374 0 17392 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 75084 [startup+3.10087 s] /proc/loadavg: 1.03 1.02 1.00 2/107 6701 /proc/meminfo: memFree=1747908/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=80644 CPUtime=3.09 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 21195 0 0 0 295 14 0 0 25 0 1 0 39191651 82579456 17601 1992294400 4194304 9819077 140736493981200 18446744073709551615 6031688 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6700/statm: 20161 17601 673 1374 0 18782 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 80644 [startup+6.30017 s] /proc/loadavg: 1.03 1.02 1.00 2/107 6701 /proc/meminfo: memFree=1746048/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=82456 CPUtime=6.29 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 22257 0 0 0 611 18 0 0 25 0 1 0 39191651 84434944 18123 1992294400 4194304 9819077 140736493981200 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6700/statm: 20614 18123 675 1374 0 19235 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 82456 [startup+12.7018 s] /proc/loadavg: 1.02 1.02 1.00 2/107 6701 /proc/meminfo: memFree=1735136/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=93116 CPUtime=12.69 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 25587 0 0 0 1245 24 0 0 25 0 1 0 39191651 95350784 20659 1992294400 4194304 9819077 140736493981200 18446744073709551615 6053302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6700/statm: 23279 20659 675 1374 0 21900 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 93116 [startup+25.501 s] /proc/loadavg: 1.09 1.04 1.00 2/107 6703 /proc/meminfo: memFree=1734392/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=93796 CPUtime=25.49 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 42582 0 0 0 2510 39 0 0 25 0 1 0 39191651 96047104 20866 1992294400 4194304 9819077 140736493981200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6700/statm: 23449 20866 717 1374 0 22070 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 93796 [startup+51.1014 s] /proc/loadavg: 1.06 1.03 1.00 2/107 6703 /proc/meminfo: memFree=1739600/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=84868 CPUtime=51.07 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 52597 0 0 0 5058 49 0 0 25 0 1 0 39191651 86904832 19590 1992294400 4194304 9819077 140736493981200 18446744073709551615 7311687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6700/statm: 21217 19590 728 1374 0 19838 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 84868 Solver just ended. Dumping a history of the last processes samples [startup+51.2014 s] /proc/loadavg: 1.06 1.03 1.00 2/107 6703 /proc/meminfo: memFree=1739600/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=84868 CPUtime=51.17 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 52611 0 0 0 5068 49 0 0 25 0 1 0 39191651 86904832 19590 1992294400 4194304 9819077 140736493981200 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6700/statm: 21217 19590 728 1374 0 19838 0 Current children cumulated CPU time (s) 51.17 Current children cumulated vsize (KiB) 84868 [startup+57.601 s] /proc/loadavg: 1.05 1.03 1.00 2/107 6703 /proc/meminfo: memFree=1734764/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=90724 CPUtime=57.57 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 58509 0 0 0 5702 55 0 0 25 0 1 0 39191651 92901376 20858 1992294400 4194304 9819077 140736493981200 18446744073709551615 7312721 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6700/statm: 22681 20858 729 1374 0 21302 0 Current children cumulated CPU time (s) 57.57 Current children cumulated vsize (KiB) 90724 [startup+59.2011 s] /proc/loadavg: 1.05 1.03 1.00 2/107 6703 /proc/meminfo: memFree=1734764/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=90756 CPUtime=59.16 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 60396 0 0 0 5860 56 0 0 25 0 1 0 39191651 92934144 20850 1992294400 4194304 9819077 140736493981200 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6700/statm: 22689 20850 729 1374 0 21310 0 Current children cumulated CPU time (s) 59.16 Current children cumulated vsize (KiB) 90756 [startup+60.0012 s] /proc/loadavg: 1.05 1.03 1.00 2/107 6703 /proc/meminfo: memFree=1734764/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=89972 CPUtime=59.97 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 61243 0 0 0 5940 57 0 0 25 0 1 0 39191651 92131328 20829 1992294400 4194304 9819077 140736493981200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6700/statm: 22493 20829 729 1374 0 21114 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (KiB) 89972 [startup+60.4012 s] /proc/loadavg: 1.05 1.03 1.00 2/107 6703 /proc/meminfo: memFree=1734764/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=86960 CPUtime=60.37 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 62411 0 0 0 5979 58 0 0 25 0 1 0 39191651 89047040 20560 1992294400 4194304 9819077 140736493981200 18446744073709551615 4675006 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6700/statm: 21740 20560 729 1374 0 20361 0 Current children cumulated CPU time (s) 60.37 Current children cumulated vsize (KiB) 86960 [startup+60.6082 s] /proc/loadavg: 1.05 1.03 1.00 2/107 6703 /proc/meminfo: memFree=1735136/2059040 swapFree=4135932/4192956 [pid=6700] ppid=6698 vsize=40396 CPUtime=60.58 /proc/6700/stat : 6700 (pbscip.linux.x8) R 6698 6700 6382 0 -1 4202496 64982 0 0 0 5998 60 0 0 25 0 1 0 39191651 41365504 9285 1992294400 4194304 9819077 140736493981200 18446744073709551615 4212048 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6700/statm: 10099 9285 730 1374 0 8720 0 Current children cumulated CPU time (s) 60.58 Current children cumulated vsize (KiB) 40396 Child status: 0 Real time (s): 60.6259 CPU time (s): 60.5998 CPU user time (s): 59.9939 CPU system time (s): 0.605907 CPU usage (%): 99.957 Max. virtual memory (cumulated for all children) (KiB): 122132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 59.9939 system time used= 0.605907 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64986 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 136 runsolver used 0.078987 second user time and 0.32595 second system time The end
Begin job on node015 at 2010-06-15 23:05:03 IDJOB=2665371 IDBENCH=24996 IDSOLVER=1168 FILE ID=node015/2665371-1276635903 PBS_JOBID= 11172371 Free space on /tmp= 62584 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665371-1276635903/watcher-2665371-1276635903 -o /tmp/evaluation-result-2665371-1276635903/solver-2665371-1276635903 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665371-1276635903.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860 RANDOM SEED=1715677538 node015.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.244 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.48 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.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1816520 kB Buffers: 58744 kB Cached: 104076 kB SwapCached: 10856 kB Active: 98356 kB Inactive: 78668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1816520 kB SwapTotal: 4192956 kB SwapFree: 4135932 kB Dirty: 6728 kB Writeback: 0 kB AnonPages: 12656 kB Mapped: 9324 kB Slab: 43620 kB PageTables: 3948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180908 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= 62576 MiB End job on node015 at 2010-06-15 23:06:04