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 | 14 | 13.5269 | 13.5305 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb |
| MD5SUM | b0c7ff7d1fa11c8e15b9d528879223a9 |
| 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 | 14 |
| Best CPU time to get the best result obtained on this benchmark | 1.91671 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 14 |
| Optimality of the best value was proved | YES |
| Number of variables | 3659 |
| Total number of constraints | 9385 |
| Number of constraints which are clauses | 9385 |
| 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 | 1787 |
| 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 | 1787 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1787 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2665382-1276638155.opb>
0.09/0.18 c original problem has 3659 variables (3659 bin, 0 int, 0 impl, 0 cont) and 9385 constraints
0.09/0.18 c problem read
0.09/0.18 c presolving settings loaded
0.19/0.24 c presolving:
0.29/0.33 c (round 1) 1784 del vars, 3509 del conss, 101 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19718 impls, 0 clqs
0.29/0.34 c (round 2) 1785 del vars, 4169 del conss, 102 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19718 impls, 0 clqs
0.39/0.42 c (round 3) 1785 del vars, 4248 del conss, 102 chg bounds, 0 chg sides, 0 chg coeffs, 5065 upgd conss, 19718 impls, 0 clqs
0.39/0.44 c (round 4) 1785 del vars, 4248 del conss, 102 chg bounds, 0 chg sides, 0 chg coeffs, 5137 upgd conss, 19718 impls, 0 clqs
0.49/0.54 c (0.3s) probing: 182/1874 (9.7%) - 3 fixings, 9 aggregations, 694 implications, 0 bound changes
0.49/0.54 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.54 c (round 5) 1797 del vars, 4248 del conss, 102 chg bounds, 0 chg sides, 0 chg coeffs, 5137 upgd conss, 20406 impls, 0 clqs
0.49/0.55 c (round 6) 1797 del vars, 4381 del conss, 102 chg bounds, 0 chg sides, 0 chg coeffs, 5137 upgd conss, 20406 impls, 0 clqs
0.49/0.56 c (round 7) 1797 del vars, 4384 del conss, 102 chg bounds, 0 chg sides, 0 chg coeffs, 5137 upgd conss, 20406 impls, 0 clqs
0.49/0.59 c (0.3s) probing: 192/1874 (10.2%) - 3 fixings, 9 aggregations, 694 implications, 0 bound changes
0.49/0.59 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.59 c presolving (8 rounds):
0.49/0.59 c 1797 deleted vars, 4384 deleted constraints, 102 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.59 c 20406 implications, 0 cliques
0.49/0.59 c presolved problem has 1862 variables (1862 bin, 0 int, 0 impl, 0 cont) and 5001 constraints
0.49/0.59 c 5001 constraints of type <logicor>
0.49/0.59 c transformed objective value is always integral (scale: 1)
0.49/0.59 c Presolving Time: 0.33
0.49/0.59 c - non default parameters ----------------------------------------------------------------------
0.49/0.59 c # SCIP version 1.2.1.2
0.49/0.59 c
0.49/0.59 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.49/0.59 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.59 c conflict/interconss = 0
0.49/0.59 c
0.49/0.59 c # should binary conflicts be preferred?
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c conflict/preferbinary = TRUE
0.49/0.59 c
0.49/0.59 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.49/0.59 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.59 c constraints/agelimit = 1
0.49/0.59 c
0.49/0.59 c # should enforcement of pseudo solution be disabled?
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/disableenfops = TRUE
0.49/0.59 c
0.49/0.59 c # frequency for displaying node information lines
0.49/0.59 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.59 c display/freq = 10000
0.49/0.59 c
0.49/0.59 c # maximal time in seconds to run
0.49/0.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59 c limits/time = 1799.82
0.49/0.59 c
0.49/0.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59 c limits/memory = 1620
0.49/0.59 c
0.49/0.59 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.59 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.59 c lp/solvefreq = 0
0.49/0.59 c
0.49/0.59 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.49/0.59 c # [type: char, range: {lafpsqd}, default: l]
0.49/0.59 c lp/pricing = a
0.49/0.59 c
0.49/0.59 c # should presolving try to simplify inequalities
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/linear/simplifyinequalities = TRUE
0.49/0.59 c
0.49/0.59 c # should presolving try to simplify knapsacks
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.59 c
0.49/0.59 c # priority of node selection rule <dfs> in standard mode
0.49/0.59 c # [type: int, range: [-536870912,536870911], default: 0]
0.49/0.59 c nodeselection/dfs/stdpriority = 1000000
0.49/0.59 c
0.49/0.59 c -----------------------------------------------------------------------------------------------
0.49/0.59 c start solving
0.49/0.59 c
0.59/0.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.63 c 0.4s| 1 | 0 | 139 | - | 15M| 0 | 103 |1862 |5001 |1862 |5001 | 0 | 0 | 0 | 1.216667e+01 | -- | Inf
0.59/0.64 o 29
0.59/0.64 c s 0.4s| 1 | 0 | 139 | - | 15M| 0 | 103 |1862 |5001 |1862 |5001 | 0 | 0 | 0 | 1.216667e+01 | 2.900000e+01 | 138.36%
0.89/0.91 c 0.7s| 1 | 0 | 216 | - | 15M| 0 | 99 |1862 |5001 |1862 |5021 | 20 | 0 | 0 | 1.250000e+01 | 2.900000e+01 | 132.00%
0.89/0.92 o 25
0.89/0.92 c b 0.7s| 1 | 0 | 216 | - | 16M| 0 | 99 |1862 |5001 |1862 |5021 | 20 | 0 | 0 | 1.250000e+01 | 2.500000e+01 | 100.00%
0.89/0.92 o 22
0.89/0.92 c s 0.7s| 1 | 0 | 216 | - | 16M| 0 | 99 |1862 |5001 |1862 |5021 | 20 | 0 | 0 | 1.250000e+01 | 2.200000e+01 | 76.00%
1.19/1.24 c 1.0s| 1 | 0 | 254 | - | 16M| 0 | 95 |1862 |5001 |1862 |5026 | 25 | 0 | 0 | 1.250000e+01 | 2.200000e+01 | 76.00%
1.19/1.24 o 22
1.19/1.24 c s 1.0s| 1 | 0 | 254 | - | 16M| 0 | 95 |1862 |5001 |1862 |5026 | 25 | 0 | 0 | 1.250000e+01 | 2.200000e+01 | 76.00%
1.19/1.24 o 21
1.19/1.24 c b 1.0s| 1 | 0 | 254 | - | 16M| 0 | 95 |1862 |5001 |1862 |5026 | 25 | 0 | 0 | 1.250000e+01 | 2.100000e+01 | 68.00%
1.59/1.62 c 1.4s| 1 | 0 | 306 | - | 16M| 0 | 105 |1862 |5001 |1862 |5031 | 30 | 0 | 0 | 1.250000e+01 | 2.100000e+01 | 68.00%
1.89/1.99 c 1.7s| 1 | 0 | 358 | - | 16M| 0 | 103 |1862 |5001 |1862 |5037 | 36 | 0 | 0 | 1.250000e+01 | 2.100000e+01 | 68.00%
2.39/2.43 c 2.1s| 1 | 0 | 401 | - | 17M| 0 | 110 |1862 |5001 |1862 |5041 | 40 | 0 | 0 | 1.250000e+01 | 2.100000e+01 | 68.00%
2.69/2.76 c 2.5s| 1 | 0 | 451 | - | 17M| 0 | 85 |1862 |5001 |1862 |5049 | 48 | 0 | 0 | 1.257143e+01 | 2.100000e+01 | 67.05%
3.09/3.11 c 2.8s| 1 | 0 | 512 | - | 17M| 0 | 94 |1862 |5001 |1862 |5056 | 55 | 0 | 0 | 1.257692e+01 | 2.100000e+01 | 66.97%
3.09/3.11 o 19
3.09/3.11 c s 2.8s| 1 | 0 | 512 | - | 17M| 0 | 94 |1862 |5001 |1862 |5056 | 55 | 0 | 0 | 1.257692e+01 | 1.900000e+01 | 51.07%
3.49/3.55 c 3.2s| 1 | 0 | 561 | - | 18M| 0 | 107 |1862 |5001 |1862 |5062 | 61 | 0 | 0 | 1.261111e+01 | 1.900000e+01 | 50.66%
3.49/3.55 o 18
3.49/3.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.49/3.55 c b 3.2s| 1 | 0 | 561 | - | 18M| 0 | 107 |1862 |5001 |1862 |5062 | 61 | 0 | 0 | 1.261111e+01 | 1.800000e+01 | 42.73%
3.89/3.99 c 3.7s| 1 | 0 | 580 | - | 18M| 0 | 102 |1862 |5001 |1862 |5064 | 63 | 0 | 0 | 1.280000e+01 | 1.800000e+01 | 40.63%
4.30/4.35 c 4.0s| 1 | 0 | 628 | - | 18M| 0 | 93 |1862 |5001 |1862 |5067 | 66 | 0 | 0 | 1.280000e+01 | 1.800000e+01 | 40.63%
4.59/4.65 c 4.3s| 1 | 0 | 698 | - | 19M| 0 | 89 |1862 |5001 |1862 |5057 | 69 | 0 | 0 | 1.302083e+01 | 1.800000e+01 | 38.24%
4.89/4.92 c 4.6s| 1 | 0 | 732 | - | 19M| 0 | 92 |1862 |5001 |1862 |5058 | 70 | 0 | 0 | 1.302083e+01 | 1.800000e+01 | 38.24%
5.18/5.26 c 4.9s| 1 | 0 | 803 | - | 19M| 0 | 101 |1862 |5001 |1862 |5059 | 71 | 0 | 0 | 1.304348e+01 | 1.800000e+01 | 38.00%
5.89/5.97 c 5.6s| 1 | 0 | 994 | - | 20M| 0 | 131 |1862 |5001 |1862 |5060 | 72 | 0 | 0 | 1.330000e+01 | 1.800000e+01 | 35.34%
6.28/6.32 c 6.0s| 1 | 0 | 1080 | - | 20M| 0 | 100 |1862 |5001 |1862 |5064 | 76 | 0 | 0 | 1.330000e+01 | 1.800000e+01 | 35.34%
6.89/6.92 c 6.6s| 1 | 0 | 1112 | - | 20M| 0 | 105 |1862 |5001 |1862 |5066 | 78 | 0 | 0 | 1.330000e+01 | 1.800000e+01 | 35.34%
7.49/7.57 c 7.2s| 1 | 0 | 1164 | - | 21M| 0 | 116 |1862 |5001 |1862 |5053 | 79 | 0 | 0 | 1.330000e+01 | 1.800000e+01 | 35.34%
8.39/8.48 c 8.1s| 1 | 0 | 1402 | - | 21M| 0 | 121 |1862 |5001 |1862 |5054 | 80 | 0 | 0 | 1.343790e+01 | 1.800000e+01 | 33.95%
8.98/9.09 c 8.7s| 1 | 0 | 1499 | - | 21M| 0 | 126 |1862 |5001 |1862 |5057 | 83 | 0 | 0 | 1.344615e+01 | 1.800000e+01 | 33.87%
9.79/9.85 c 9.4s| 1 | 0 | 1563 | - | 21M| 0 | 135 |1862 |5001 |1862 |5060 | 86 | 0 | 0 | 1.344615e+01 | 1.800000e+01 | 33.87%
10.39/10.45 c 10.1s| 1 | 0 | 1724 | - | 21M| 0 | 98 |1862 |5001 |1862 |5064 | 90 | 0 | 0 | 1.350000e+01 | 1.800000e+01 | 33.33%
10.69/10.74 c 10.3s| 1 | 0 | 1852 | - | 22M| 0 | 138 |1862 |5001 |1862 |5070 | 96 | 0 | 0 | 1.350000e+01 | 1.800000e+01 | 33.33%
11.09/11.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.09/11.16 c 10.8s| 1 | 0 | 2026 | - | 22M| 0 | 116 |1862 |5001 |1862 |5050 | 100 | 0 | 0 | 1.358333e+01 | 1.800000e+01 | 32.52%
11.59/11.63 c 11.2s| 1 | 0 | 2091 | - | 22M| 0 | 114 |1862 |5001 |1862 |5055 | 105 | 0 | 0 | 1.358333e+01 | 1.800000e+01 | 32.52%
11.99/12.04 c 11.6s| 1 | 0 | 2174 | - | 22M| 0 | 117 |1862 |5001 |1862 |5057 | 107 | 0 | 0 | 1.358333e+01 | 1.800000e+01 | 32.52%
12.48/12.56 c 12.1s| 1 | 0 | 2223 | - | 22M| 0 | 125 |1862 |5001 |1862 |5061 | 111 | 0 | 0 | 1.358333e+01 | 1.800000e+01 | 32.52%
12.89/12.94 c 12.5s| 1 | 0 | 2248 | - | 22M| 0 | 132 |1862 |5001 |1862 |5065 | 115 | 0 | 0 | 1.358333e+01 | 1.800000e+01 | 32.52%
13.19/13.26 c 12.8s| 1 | 0 | 2251 | - | 22M| 0 | 122 |1862 |5001 |1862 |5067 | 117 | 0 | 0 | 1.358333e+01 | 1.800000e+01 | 32.52%
13.39/13.45 o 14
13.39/13.45 c E13.0s| 1 | 0 | 2251 | - | 22M| 0 | - |1862 |5001 |1862 |5067 | 117 | 0 | 0 | 1.358333e+01 | 1.400000e+01 | 3.07%
13.39/13.46 c 13.0s| 1 | 0 | 2251 | - | 22M| 0 | - |1862 |5001 |1862 |5067 | 117 | 0 | 0 | 1.400000e+01 | 1.400000e+01 | 0.00%
13.39/13.46 c
13.39/13.46 c SCIP Status : problem is solved [optimal solution found]
13.39/13.46 c Solving Time (sec) : 12.99
13.39/13.46 c Solving Nodes : 1
13.39/13.46 c Primal Bound : +1.40000000000000e+01 (12 solutions)
13.39/13.46 c Dual Bound : +1.40000000000000e+01
13.39/13.46 c Gap : 0.00 %
13.39/13.47 s OPTIMUM FOUND
13.39/13.47 v x194 -x193 x192 -x191 x190 x189 x188 x187 -x186 x185 x184 x183 -x182 -x3656 -x3653 x181 x180 x179 -x3650 -x3648 x178 x177 -x176
13.39/13.47 v -x3645 x175 -x174 x173 x172 x171 -x170 -x169 -x168 x167 -x166 -x3643 x165 x164 -x163 x162 -x3639 x161 -x3637 x160 -x3635 -x3633
13.39/13.47 v -x159 x158 -x3629 x157 -x3627 -x3625 -x156 x155 -x3623 -x3621 -x154 -x3619 -x153 -x3617 -x3613 -x3611 -x3609 -x3607 -x3605
13.39/13.47 v -x3603 -x3601 -x3599 -x152 x151 x150 x149 x148 x147 x146 -x145 -x144 -x143 -x3597 -x142 -x3595 -x3593 -x3591 -x3589 -x3587
13.39/13.47 v -x141 x140 -x139 -x138 -x3582 -x3580 -x3578 -x137 x136 -x3574 -x135 -x3569 x134 -x3567 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553
13.39/13.47 v -x3550 -x3548 -x3545 -x133 -x3543 x132 -x3541 x131 -x130 -x3539 -x3537 -x3534 -x3532 -x3530 -x3528 x129 -x128 x127 -x3526
13.39/13.47 v -x126 -x125 -x3524 -x3522 -x3520 -x124 -x3518 -x3516 -x3514 -x123 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496
13.39/13.47 v -x3494 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x122 -x3477 x121 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x120
13.39/13.47 v -x3462 -x3460 -x3457 -x3455 -x3453 -x119 -x3450 -x3448 -x3446 x3444 -x3442 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427
13.39/13.47 v -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3410 -x3408 -x3406 -x3404 -x3402 x118 x117 x116 -x115 -x3400 -x114 -x3397
13.39/13.47 v -x3395 -x113 -x112 x111 -x110 x109 -x3392 -x3390 -x3388 -x3386 -x3384 -x3382 -x108 -x3380 -x3378 -x3376 -x3373 -x3371 -x107
13.39/13.47 v -x106 -x105 -x3368 -x104 -x3365 -x3362 -x103 -x3358 x102 -x3356 -x3354 -x3352 -x101 -x3349 -x3347 -x3345 -x3343 -x3341 -x3338
13.39/13.47 v -x100 -x3335 -x3333 -x3331 -x3329 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3309 -x3307 -x3305 -x3303 -x3301
13.39/13.47 v -x3299 -x99 x98 -x3296 x97 -x3294 x96 -x3292 -x3289 -x3287 -x3285 -x3283 -x3281 -x95 -x3279 -x3277 -x94 -x3275 -x3273 -x3271
13.39/13.47 v -x3269 -x3267 -x3265 -x93 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x92 -x3250 -x3248 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235
13.39/13.47 v -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3218 -x3216 -x3214 -x3212 -x3210 -x91 -x3208 x90 -x3206 -x89 -x88 -x3204
13.39/13.47 v -x87 -x3202 -x3200 -x3198 -x86 -x3196 -x3193 -x3191 -x3189 -x3187 -x85 x84 -x3185 -x3183 -x3181 -x3179 -x83 -x3177 -x3175
13.39/13.47 v -x3173 -x3171 -x82 -x3168 -x3166 -x3164 -x3162 -x81 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140
13.39/13.47 v -x3138 -x3136 -x80 -x3134 -x3132 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3103
13.39/13.47 v -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x79 -x3089 -x3087 x78 -x3085 -x3083 -x3081 -x3079 -x3077 -x77 -x3075 -x3073 -x3071
13.39/13.47 v -x3069 -x3067 -x3065 -x76 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037
13.39/13.47 v -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x75 -x3019 -x3017 -x3015 -x3012 -x3010 -x3008 -x74 -x3006 -x3004
13.39/13.47 v -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2979 -x2977 -x2975 -x2973 -x2971 -x73 -x2969
13.39/13.47 v -x2967 -x2965 -x2963 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932
13.39/13.47 v -x2930 -x2928 -x2926 -x2924 -x72 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898
13.39/13.47 v -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861
13.39/13.47 v -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825
13.39/13.47 v -x2823 -x2821 -x2819 -x2817 -x71 -x2815 -x2813 -x2811 -x2809 -x70 -x2807 -x2805 -x2802 -x2800 -x2798 -x2796 -x2794 -x69 -x2792
13.39/13.47 v -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x68 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2759 -x2757
13.39/13.47 v -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x67 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x66 -x2724
13.39/13.47 v -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687
13.39/13.47 v -x2685 -x65 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653
13.39/13.47 v -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x64 -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2620 -x2618 -x2616
13.39/13.47 v -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582
13.39/13.47 v -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546
13.39/13.47 v -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x63 -x2530 x62 x61 -x2527 -x60 -x2524 -x2522 -x59 -x2519 -x2517 -x58 -x2514
13.39/13.47 v -x2512 -x57 -x2509 -x2507 -x56 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2491 -x2489 -x2487 -x55 -x54 -x2485 x53 -x2482 -x2480
13.39/13.47 v -x2478 -x2476 -x52 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x51 -x2456 -x2454 x2452 x50 -x2450 -x2448
13.39/13.47 v -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x49 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x48 -x2418 -x2416
13.39/13.47 v -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2387 -x2385 -x2383 -x2381 -x2379
13.39/13.47 v -x2377 -x2375 -x47 x46 x2372 -x2370 -x2368 -x2366 -x2364 -x45 -x2361 -x2358 -x2356 x44 -x2354 -x2352 -x2350 -x2348 -x2346
13.39/13.47 v -x2344 -x2341 -x2339 -x43 -x2337 -x2334 -x2331 -x42 -x2329 -x2327 -x2325 -x2323 -x2321 -x2318 -x2316 -x2314 -x2312 -x41 -x2310
13.39/13.47 v -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x40 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276
13.39/13.47 v -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x39 -x2246 -x2244 -x2242
13.39/13.47 v -x2240 -x2238 -x38 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2220 -x2218 -x37 -x2216 -x2214 -x2212 -x2209 -x2206 -x2204
13.39/13.47 v -x2202 -x2200 -x2198 -x36 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170
13.39/13.47 v -x2168 -x2166 -x2164 -x2162 -x2160 -x2157 -x2155 -x2153 -x2151 -x35 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135
13.39/13.47 v -x2133 -x2130 -x2128 x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2097
13.39/13.47 v -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x34 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063
13.39/13.47 v -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027
13.39/13.47 v -x2025 -x2023 -x33 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993
13.39/13.47 v -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956
13.39/13.47 v -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920
13.39/13.47 v -x1918 -x1916 -x1914 -x1912 -x1910 -x32 -x1908 -x1905 x31 -x1903 -x1900 -x1898 -x1896 -x30 -x1894 -x1892 -x1890 -x1887 -x1885
13.39/13.47 v -x29 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1868 -x1866 -x1864 -x1862 -x28 -x1860 -x1857 -x1855 -x1853 -x27
13.39/13.47 v -x1851 -x1849 -x1847 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x26 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816
13.39/13.47 v -x1814 -x1812 -x1810 -x1808 -x25 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782
13.39/13.47 v -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x24 -x1760 -x1758 -x1756 -x1754 x1752 -x1750 x23
13.39/13.47 v x1748 -x1746 -x1744 -x1741 -x1739 -x1737 -x1735 -x1733 -x22 -x1731 -x1728 -x1726 -x1724 -x1722 -x1719 -x1717 -x1715 -x1713 -x1711
13.39/13.47 v -x1709 -x1707 -x21 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677
13.39/13.47 v -x1675 -x1673 -x1671 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x20 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642
13.39/13.47 v -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x19 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608
13.39/13.47 v -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x18 -x1576 -x1574
13.39/13.47 v -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537
13.39/13.47 v -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x17 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503
13.39/13.47 v -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467
13.39/13.47 v -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431
13.39/13.47 v -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x16 -x1403 -x1401 -x1399 -x1397 -x1395
13.39/13.47 v -x15 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x14 -x1364 -x1362 -x1360
13.39/13.47 v -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1345 -x1343 -x1341 -x13 -x1339 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324
13.39/13.47 v -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288
13.39/13.47 v -x1286 -x12 -x1284 -x1282 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1264 -x1262 -x1260 -x11 -x1258 -x1256 -x1253
13.39/13.47 v -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217
13.39/13.47 v -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x10 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183
13.39/13.47 v -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147
13.39/13.47 v -x9 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113
13.39/13.47 v -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077
13.39/13.47 v -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041
13.39/13.47 v -x1039 -x1037 -x1035 -x1033 -x1031 -x8 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007
13.39/13.47 v -x1005 -x1003 -x1001 -x7 -x999 -x997 -x995 -x993 -x991 -x989 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966
13.39/13.47 v -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x6 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926
13.39/13.47 v -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883
13.39/13.47 v -x5 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843
13.39/13.47 v -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801
13.39/13.47 v -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x4
13.39/13.47 v -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719
13.39/13.47 v -x717 -x715 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x3 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678
13.39/13.47 v -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636
13.39/13.47 v -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594
13.39/13.47 v -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x2 -x574 -x572 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553
13.39/13.47 v -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511
13.39/13.47 v -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471
13.39/13.47 v -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x1 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429
13.39/13.47 v -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389
13.39/13.47 v -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347
13.39/13.47 v -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 x307 -x305
13.39/13.47 v -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263
13.39/13.47 v -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221
13.39/13.47 v -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x3659 -x3658 -x3657 -x3655 -x3654 -x3652 -x3651
13.39/13.47 v -x3649 x3647 -x3646 -x3644 -x3642 -x3641 -x3640 -x3638 -x3636 -x3634 -x3632 -x3631 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620
13.39/13.47 v -x3618 -x3616 -x3615 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586
13.39/13.47 v -x3585 -x3584 -x3583 -x3581 -x3579 -x3577 -x3576 -x3575 -x3573 x3572 -x3571 -x3570 -x3568 -x3566 -x3565 -x3564 -x3562 -x3560
13.39/13.47 v -x3558 -x3556 -x3554 -x3552 -x3551 -x3549 -x3547 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3535 -x3533 -x3531 -x3529
13.39/13.47 v -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493
13.39/13.47 v -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3463 -x3461 -x3459
13.39/13.47 v -x3458 -x3456 -x3454 -x3452 -x3451 -x3449 -x3447 x3445 -x3443 -x3441 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426
13.39/13.47 v -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3398 -x3396 -x3394 -x3393
13.39/13.47 v -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3374 -x3372 -x3370 -x3369 -x3367 -x3366 -x3364 -x3363 -x3361
13.39/13.47 v -x3360 -x3359 -x3357 -x3355 -x3353 -x3351 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3339 -x3337 -x3336 -x3334 -x3332 -x3330
13.39/13.47 v -x3328 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 x3298 -x3297
13.39/13.47 v -x3295 -x3293 -x3291 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3263
13.39/13.47 v -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230
13.39/13.47 v -x3228 -x3226 -x3224 -x3222 -x3220 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195
13.39/13.47 v -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3169 -x3167 -x3165 -x3163 -x3161
13.39/13.47 v -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3130 -x3128 -x3126
13.39/13.47 v -x3124 -x3122 -x3120 -x3118 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092
13.39/13.47 v -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056
13.39/13.47 v -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020
13.39/13.47 v -x3018 -x3016 -x3014 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987
13.39/13.47 v -x2985 -x2983 -x2981 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2961 -x2959 -x2957 -x2955 -x2953
13.39/13.47 v -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917
13.39/13.47 v -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882
13.39/13.47 v -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846
13.39/13.47 v -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810
13.39/13.47 v -x2808 -x2806 -x2804 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775
13.39/13.47 v -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742
13.39/13.47 v -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707
13.39/13.47 v -x2705 -x2703 -x2701 -x2699 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672
13.39/13.47 v -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636
13.39/13.47 v -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601
13.39/13.47 v -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565
13.39/13.47 v -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 x2529
13.39/13.47 v -x2528 -x2526 -x2525 -x2523 -x2521 -x2520 -x2518 -x2516 -x2515 -x2513 -x2511 -x2510 -x2508 -x2506 -x2505 -x2503 -x2501 -x2499
13.39/13.47 v -x2497 -x2495 -x2493 -x2492 -x2490 -x2488 -x2486 -x2484 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467
13.39/13.47 v -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431
13.39/13.47 v -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395
13.39/13.47 v -x2393 -x2391 -x2389 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 x2374 x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2362
13.39/13.47 v x2360 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2342 -x2340 -x2338 -x2336 -x2335 -x2333 -x2332 -x2330
13.39/13.47 v -x2328 -x2326 -x2324 -x2322 -x2320 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295
13.39/13.47 v -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259
13.39/13.47 v -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224
13.39/13.47 v -x2222 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2210 -x2208 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191
13.39/13.47 v -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2158 -x2156
13.39/13.47 v -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2131 -x2129 x2127 -x2125 -x2123 -x2121
13.39/13.47 v -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086
13.39/13.47 v -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052
13.39/13.47 v -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016
13.39/13.47 v -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981
13.39/13.47 v -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945
13.39/13.47 v -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909
13.39/13.47 v x1907 -x1906 -x1904 -x1902 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876
13.39/13.47 v -x1874 -x1872 -x1870 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1845 -x1843
13.39/13.47 v -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807
13.39/13.47 v -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773
13.39/13.47 v -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 x1753 -x1751 x1749 -x1747 -x1745 -x1743 -x1742 -x1740 -x1738 -x1736
13.39/13.47 v -x1734 -x1732 -x1730 -x1729 -x1727 -x1725 -x1723 -x1721 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704
13.39/13.47 v -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1669
13.39/13.47 v -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633
13.39/13.47 v -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597
13.39/13.47 v -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562
13.39/13.47 v -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526
13.39/13.47 v -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490
13.39/13.47 v -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456
13.39/13.47 v -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420
13.39/13.47 v -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1405 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386
13.39/13.47 v -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351
13.39/13.47 v -x1349 -x1347 -x1346 -x1344 -x1342 -x1340 -x1338 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317
13.39/13.47 v -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281
13.39/13.47 v -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1254 -x1252 -x1250 -x1248
13.39/13.47 v -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214
13.39/13.47 v -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178
13.39/13.47 v -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142
13.39/13.47 v -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106
13.39/13.47 v -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070
13.39/13.47 v -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034
13.39/13.47 v -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998
13.39/13.47 v -x996 -x994 -x992 -x990 -x988 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959
13.39/13.47 v -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917
13.39/13.47 v -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876
13.39/13.47 v -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834
13.39/13.47 v -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792
13.39/13.47 v -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750
13.39/13.47 v -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x713 -x711
13.39/13.47 v -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669
13.39/13.47 v -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627
13.39/13.47 v -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585
13.39/13.47 v -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544
13.39/13.47 v -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502
13.39/13.47 v -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462
13.39/13.47 v -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420
13.39/13.47 v -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378
13.39/13.47 v -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336
13.39/13.47 v -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294
13.39/13.47 v -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252
13.39/13.47 v -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210
13.39/13.47 v -x208 -x206 -x204 -x202 -x200 -x198 -x196
13.39/13.47 c SCIP Status : problem is solved [optimal solution found]
13.39/13.47 c Solving Time : 12.99
13.39/13.47 c Original Problem :
13.39/13.47 c Problem name : HOME/instance-2665382-1276638155.opb
13.39/13.47 c Variables : 3659 (3659 binary, 0 integer, 0 implicit integer, 0 continuous)
13.39/13.47 c Constraints : 9385 initial, 9385 maximal
13.39/13.47 c Presolved Problem :
13.39/13.47 c Problem name : t_HOME/instance-2665382-1276638155.opb
13.39/13.47 c Variables : 1862 (1862 binary, 0 integer, 0 implicit integer, 0 continuous)
13.39/13.47 c Constraints : 5001 initial, 5001 maximal
13.39/13.47 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
13.39/13.47 c trivial : 0.00 0 0 0 0 0 0 0 0
13.39/13.47 c dualfix : 0.00 0 0 0 0 0 0 0 0
13.39/13.47 c boundshift : 0.00 0 0 0 0 0 0 0 0
13.39/13.47 c inttobinary : 0.00 0 0 0 0 0 0 0 0
13.39/13.47 c implics : 0.00 0 5 0 0 0 0 0 0
13.39/13.47 c probing : 0.08 3 9 0 0 0 0 0 0
13.39/13.47 c linear : 0.14 102 1678 0 102 0 4248 0 0
13.39/13.47 c logicor : 0.09 0 0 0 0 0 136 0 0
13.39/13.47 c root node : - 0 - - 0 - - - -
13.39/13.47 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
13.39/13.47 c integral : 0 0 0 0 0 0 0 0 0 0
13.39/13.47 c logicor : 5001 28 416 0 0 3 0 0 0 0
13.39/13.47 c countsols : 0 0 0 0 0 0 0 0 0 0
13.39/13.47 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
13.39/13.47 c integral : 0.00 0.00 0.00 0.00 0.00
13.39/13.47 c logicor : 0.04 0.03 0.01 0.00 0.00
13.39/13.47 c countsols : 0.00 0.00 0.00 0.00 0.00
13.39/13.47 c Propagators : Time Calls Cutoffs DomReds
13.39/13.47 c vbounds : 0.00 2 0 0
13.39/13.47 c rootredcost : 0.00 0 0 0
13.39/13.47 c pseudoobj : 0.00 14 0 0
13.39/13.47 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
13.39/13.47 c propagation : 0.00 0 0 0 0.0 0 0.0 -
13.39/13.47 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
13.39/13.47 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
13.39/13.47 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
13.39/13.47 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
13.39/13.47 c applied globally : - - - 0 0.0 - - -
13.39/13.47 c applied locally : - - - 0 0.0 - - -
13.39/13.47 c Separators : Time Calls Cutoffs DomReds Cuts Conss
13.39/13.47 c cut pool : 0.08 27 - - 392 - (maximal pool size: 1105)
13.39/13.47 c redcost : 0.00 28 0 0 0 0
13.39/13.47 c impliedbounds : 0.01 28 0 0 32 0
13.39/13.47 c intobj : 0.00 0 0 0 0 0
13.39/13.47 c cgmip : 0.00 0 0 0 0 0
13.39/13.47 c gomory : 6.55 28 0 0 8931 0
13.39/13.47 c strongcg : 3.09 20 0 0 9289 0
13.39/13.47 c cmir : 0.51 10 0 0 1 0
13.39/13.47 c flowcover : 0.85 10 0 0 2 0
13.39/13.47 c clique : 0.02 28 0 0 86 0
13.39/13.47 c zerohalf : 0.00 0 0 0 0 0
13.39/13.47 c mcf : 0.01 1 0 0 0 0
13.39/13.47 c rapidlearning : 0.00 0 0 0 0 0
13.39/13.47 c Pricers : Time Calls Vars
13.39/13.47 c problem variables: 0.00 0 0
13.39/13.47 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
13.39/13.47 c pscost : 0.00 0 0 0 0 0 0
13.39/13.47 c inference : 0.00 0 0 0 0 0 0
13.39/13.47 c mostinf : 0.00 0 0 0 0 0 0
13.39/13.47 c leastinf : 0.00 0 0 0 0 0 0
13.39/13.47 c fullstrong : 0.00 0 0 0 0 0 0
13.39/13.47 c allfullstrong : 0.00 0 0 0 0 0 0
13.39/13.47 c random : 0.00 0 0 0 0 0 0
13.39/13.47 c relpscost : 0.00 0 0 0 0 0 0
13.39/13.47 c Primal Heuristics : Time Calls Found
13.39/13.47 c LP solutions : 0.00 - 0
13.39/13.47 c pseudo solutions : 0.00 - 0
13.39/13.47 c crossover : 0.00 0 0
13.39/13.47 c oneopt : 0.01 5 3
13.39/13.47 c trivial : 0.02 2 0
13.39/13.47 c simplerounding : 0.00 0 0
13.39/13.47 c zirounding : 0.00 1 0
13.39/13.47 c rounding : 0.05 29 0
13.39/13.47 c shifting : 0.02 29 8
13.39/13.47 c intshifting : 0.00 0 0
13.39/13.47 c twoopt : 0.00 0 0
13.39/13.47 c fixandinfer : 0.00 0 0
13.39/13.47 c feaspump : 0.00 0 0
13.39/13.47 c coefdiving : 0.00 0 0
13.39/13.47 c pscostdiving : 0.00 0 0
13.39/13.47 c fracdiving : 0.00 0 0
13.39/13.47 c veclendiving : 0.00 0 0
13.39/13.47 c intdiving : 0.00 0 0
13.39/13.47 c actconsdiving : 0.00 0 0
13.39/13.47 c objpscostdiving : 0.00 0 0
13.39/13.47 c rootsoldiving : 0.00 0 0
13.39/13.47 c linesearchdiving : 0.00 0 0
13.39/13.47 c guideddiving : 0.00 0 0
13.39/13.47 c octane : 0.00 0 0
13.39/13.47 c rens : 0.16 1 1
13.39/13.47 c rins : 0.00 0 0
13.39/13.47 c localbranching : 0.00 0 0
13.39/13.47 c mutation : 0.00 0 0
13.39/13.47 c dins : 0.00 0 0
13.39/13.47 c undercover : 0.00 0 0
13.39/13.47 c nlp : 0.00 0 0
13.39/13.47 c trysol : 0.00 0 0
13.39/13.47 c LP : Time Calls Iterations Iter/call Iter/sec
13.39/13.47 c primal LP : 0.02 0 0 0.00 0.00
13.39/13.47 c dual LP : 1.06 29 2251 77.62 2123.58
13.39/13.47 c lex dual LP : 0.00 0 0 0.00 -
13.39/13.47 c barrier LP : 0.00 0 0 0.00 -
13.39/13.47 c diving/probing LP: 0.00 0 0 0.00 -
13.39/13.47 c strong branching : 0.00 0 0 0.00 -
13.39/13.47 c (at root node) : - 0 0 0.00 -
13.39/13.47 c conflict analysis: 0.00 0 0 0.00 -
13.39/13.47 c B&B Tree :
13.39/13.47 c number of runs : 1
13.39/13.47 c nodes : 1
13.39/13.47 c nodes (total) : 1
13.39/13.47 c nodes left : 0
13.39/13.47 c max depth : 0
13.39/13.47 c max depth (total): 0
13.39/13.47 c backtracks : 0 (0.0%)
13.39/13.47 c delayed cutoffs : 0
13.39/13.47 c repropagations : 0 (0 domain reductions, 0 cutoffs)
13.39/13.47 c avg switch length: 2.00
13.39/13.47 c switching time : 0.00
13.39/13.47 c Solution :
13.39/13.47 c Solutions found : 12 (8 improvements)
13.39/13.47 c First Solution : +2.90000000000000e+01 (in run 1, after 1 nodes, 0.40 seconds, depth 0, found by <shifting>)
13.39/13.47 c Primal Bound : +1.40000000000000e+01 (in run 1, after 1 nodes, 12.97 seconds, depth 0, found by <rens>)
13.39/13.47 c Dual Bound : +1.40000000000000e+01
13.39/13.47 c Gap : 0.00 %
13.39/13.47 c Root Dual Bound : +1.40000000000000e+01
13.39/13.47 c Root Iterations : 2251
13.49/13.53 c Time complete: 13.52.
OK 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665382-1276638155/watcher-2665382-1276638155 -o /tmp/evaluation-result-2665382-1276638155/solver-2665382-1276638155 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665382-1276638155.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.09 1.06 1.01 3/106 12107 /proc/meminfo: memFree=1733868/2059040 swapFree=4192956/4192956 [pid=12107] ppid=12105 vsize=8260 CPUtime=0 /proc/12107/stat : 12107 (pbscip.linux.x8) R 12105 12107 11726 0 -1 4202496 1006 0 0 0 0 0 0 0 18 0 1 0 5107494 8458240 927 1992294400 4194304 9819077 140734737281008 18446744073709551615 8678244 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12107/statm: 2065 928 366 1374 0 686 0 [startup+0.052035 s] /proc/loadavg: 1.09 1.06 1.01 3/106 12107 /proc/meminfo: memFree=1733868/2059040 swapFree=4192956/4192956 [pid=12107] ppid=12105 vsize=14068 CPUtime=0.04 /proc/12107/stat : 12107 (pbscip.linux.x8) R 12105 12107 11726 0 -1 4202496 2453 0 0 0 4 0 0 0 20 0 1 0 5107494 14405632 2374 1992294400 4194304 9819077 140734737281008 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12107/statm: 3517 2374 388 1374 0 2138 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 14068 [startup+0.10104 s] /proc/loadavg: 1.09 1.06 1.01 3/106 12107 /proc/meminfo: memFree=1733868/2059040 swapFree=4192956/4192956 [pid=12107] ppid=12105 vsize=16076 CPUtime=0.09 /proc/12107/stat : 12107 (pbscip.linux.x8) R 12105 12107 11726 0 -1 4202496 2958 0 0 0 8 1 0 0 20 0 1 0 5107494 16461824 2879 1992294400 4194304 9819077 140734737281008 18446744073709551615 5648478 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12107/statm: 4019 2879 388 1374 0 2640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16076 [startup+0.301061 s] /proc/loadavg: 1.09 1.06 1.01 3/106 12107 /proc/meminfo: memFree=1733868/2059040 swapFree=4192956/4192956 [pid=12107] ppid=12105 vsize=33220 CPUtime=0.29 /proc/12107/stat : 12107 (pbscip.linux.x8) R 12105 12107 11726 0 -1 4202496 7378 0 0 0 26 3 0 0 20 0 1 0 5107494 34017280 6945 1992294400 4194304 9819077 140734737281008 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12107/statm: 8305 6945 491 1374 0 6926 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33220 [startup+0.701105 s] /proc/loadavg: 1.09 1.06 1.01 3/106 12107 /proc/meminfo: memFree=1733868/2059040 swapFree=4192956/4192956 [pid=12107] ppid=12105 vsize=46536 CPUtime=0.69 /proc/12107/stat : 12107 (pbscip.linux.x8) R 12105 12107 11726 0 -1 4202496 12800 0 0 0 62 7 0 0 20 0 1 0 5107494 47652864 9717 1992294400 4194304 9819077 140734737281008 18446744073709551615 6555696 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12107/statm: 11634 9717 649 1374 0 10255 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 46536 [startup+1.50119 s] /proc/loadavg: 1.09 1.06 1.01 2/107 12108 /proc/meminfo: memFree=1694180/2059040 swapFree=4192956/4192956 [pid=12107] ppid=12105 vsize=56984 CPUtime=1.49 /proc/12107/stat : 12107 (pbscip.linux.x8) R 12105 12107 11726 0 -1 4202496 15589 0 0 0 140 9 0 0 23 0 1 0 5107494 58351616 12315 1992294400 4194304 9819077 140734737281008 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12107/statm: 14246 12315 673 1374 0 12867 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 56984 [startup+3.10136 s] /proc/loadavg: 1.09 1.06 1.01 2/107 12108 /proc/meminfo: memFree=1678680/2059040 swapFree=4192956/4192956 [pid=12107] ppid=12105 vsize=72296 CPUtime=3.09 /proc/12107/stat : 12107 (pbscip.linux.x8) R 12105 12107 11726 0 -1 4202496 19791 0 0 0 296 13 0 0 25 0 1 0 5107494 74031104 16229 1992294400 4194304 9819077 140734737281008 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12107/statm: 18074 16229 675 1374 0 16695 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72296 [startup+6.30071 s] /proc/loadavg: 1.08 1.06 1.01 2/107 12108 /proc/meminfo: memFree=1667148/2059040 swapFree=4192956/4192956 [pid=12107] ppid=12105 vsize=76624 CPUtime=6.28 /proc/12107/stat : 12107 (pbscip.linux.x8) R 12105 12107 11726 0 -1 4202496 21594 0 0 0 611 17 0 0 25 0 1 0 5107494 78462976 17188 1992294400 4194304 9819077 140734737281008 18446744073709551615 7292227 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12107/statm: 19156 17188 682 1374 0 17777 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 76624 [startup+12.7014 s] /proc/loadavg: 1.08 1.06 1.01 2/107 12108 /proc/meminfo: memFree=1661568/2059040 swapFree=4192956/4192956 [pid=12107] ppid=12105 vsize=82108 CPUtime=12.69 /proc/12107/stat : 12107 (pbscip.linux.x8) R 12105 12107 11726 0 -1 4202496 24959 0 0 0 1244 25 0 0 25 0 1 0 5107494 84078592 18458 1992294400 4194304 9819077 140734737281008 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12107/statm: 20527 18458 682 1374 0 19148 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 82108 Solver just ended. Dumping a history of the last processes samples [startup+13.1014 s] /proc/loadavg: 1.08 1.06 1.01 2/107 12108 /proc/meminfo: memFree=1661568/2059040 swapFree=4192956/4192956 [pid=12107] ppid=12105 vsize=82140 CPUtime=13.1 /proc/12107/stat : 12107 (pbscip.linux.x8) R 12105 12107 11726 0 -1 4202496 25079 0 0 0 1285 25 0 0 25 0 1 0 5107494 84111360 18460 1992294400 4194304 9819077 140734737281008 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12107/statm: 20535 18460 682 1374 0 19156 0 Current children cumulated CPU time (s) 13.1 Current children cumulated vsize (KiB) 82140 [startup+13.5005 s] /proc/loadavg: 1.08 1.06 1.01 2/107 12108 /proc/meminfo: memFree=1661568/2059040 swapFree=4192956/4192956 [pid=12107] ppid=12105 vsize=76268 CPUtime=13.49 /proc/12107/stat : 12107 (pbscip.linux.x8) R 12105 12107 11726 0 -1 4202496 33103 0 0 0 1320 29 0 0 25 0 1 0 5107494 78098432 16969 1992294400 4194304 9819077 140734737281008 18446744073709551615 6179965 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12107/statm: 19067 16969 718 1374 0 17688 0 Current children cumulated CPU time (s) 13.49 Current children cumulated vsize (KiB) 76268 Child status: 0 Real time (s): 13.5305 CPU time (s): 13.5269 CPU user time (s): 13.222 CPU system time (s): 0.304953 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 100528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.222 system time used= 0.304953 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33107 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= 24 runsolver used 0.022996 second user time and 0.081987 second system time The end
Begin job on node047 at 2010-06-15 23:42:35 IDJOB=2665382 IDBENCH=25007 IDSOLVER=1168 FILE ID=node047/2665382-1276638155 PBS_JOBID= 11172386 Free space on /tmp= 62540 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/aksoy/area_delay/normalized-fir05_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-2665382-1276638155/watcher-2665382-1276638155 -o /tmp/evaluation-result-2665382-1276638155/solver-2665382-1276638155 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665382-1276638155.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9 RANDOM SEED=84520002 node047.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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1734272 kB Buffers: 56312 kB Cached: 143744 kB SwapCached: 0 kB Active: 128336 kB Inactive: 131200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1734272 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6580 kB Writeback: 0 kB AnonPages: 59452 kB Mapped: 15452 kB Slab: 43432 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179884 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= 62536 MiB End job on node047 at 2010-06-15 23:42:48