Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | OPT | 24 | 16.1405 | 16.1435 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_024_area_delay.opb |
| MD5SUM | 58f3055ef9bb388e237f57f2627386e0 |
| 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 | 1.39579 |
| 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 | 3392 |
| Total number of constraints | 9001 |
| Number of constraints which are clauses | 9001 |
| 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 | 63 |
| Number of terms in the objective function | 1642 |
| 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 | 1642 |
| 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 | 1642 |
| 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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691169-1338020621.opb>
0.00/0.02 c original problem has 3392 variables (3392 bin, 0 int, 0 impl, 0 cont) and 9001 constraints
0.00/0.02 c problem read in 0.02
0.00/0.05 c presolving:
0.07/0.09 c (round 1) 1712 del vars, 3315 del conss, 0 add conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14286 impls, 0 clqs
0.07/0.09 c (round 2) 1712 del vars, 3471 del conss, 0 add conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14286 impls, 0 clqs
0.09/0.12 c (round 3) 1712 del vars, 3471 del conss, 0 add conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 5519 upgd conss, 14286 impls, 0 clqs
0.09/0.12 c (round 4) 1712 del vars, 3471 del conss, 0 add conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 5530 upgd conss, 14286 impls, 0 clqs
0.09/0.14 c (0.1s) probing: 51/1680 (3.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.14 c (round 5) 1712 del vars, 3483 del conss, 4 add conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 5530 upgd conss, 14286 impls, 0 clqs
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 1712 deleted vars, 3483 deleted constraints, 4 added constraints, 100 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 14286 implications, 0 cliques
0.09/0.15 c presolved problem has 1680 variables (1680 bin, 0 int, 0 impl, 0 cont) and 5522 constraints
0.09/0.15 c 5367 constraints of type <setppc>
0.09/0.15 c 4 constraints of type <and>
0.09/0.15 c 151 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.12
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 2.1.1.4
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1797
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 13950
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # belongs reading time to solving time?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c timing/reading = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.19/0.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.27 c 0.3s| 1 | 0 | 1018 | - | 14M| 0 | 177 |1680 |5548 |1680 |5526 | 0 | 26 | 0 | 2.179167e+01 | -- | Inf
0.19/0.27 o 48
0.19/0.27 c R 0.3s| 1 | 0 | 1018 | - | 14M| 0 | 177 |1680 |5548 |1680 |5526 | 0 | 26 | 0 | 2.179167e+01 | 4.800000e+01 | 120.27%
0.69/0.70 c 0.7s| 1 | 0 | 1162 | - | 17M| 0 | 171 |1680 |6249 |1680 |5533 | 7 | 26 | 0 | 2.190987e+01 | 4.800000e+01 | 119.08%
0.69/0.71 o 46
0.69/0.71 c R 0.7s| 1 | 0 | 1162 | - | 17M| 0 | 171 |1680 |6249 |1680 |5533 | 7 | 26 | 0 | 2.190987e+01 | 4.600000e+01 | 109.95%
1.00/1.05 c 1.1s| 1 | 0 | 1266 | - | 18M| 0 | 189 |1680 |6249 |1680 |5539 | 13 | 26 | 0 | 2.193783e+01 | 4.600000e+01 | 109.68%
1.39/1.42 c 1.4s| 1 | 0 | 1428 | - | 18M| 0 | 155 |1680 |6249 |1680 |5545 | 19 | 26 | 0 | 2.197388e+01 | 4.600000e+01 | 109.34%
1.39/1.43 o 46
1.39/1.43 c s 1.4s| 1 | 0 | 1428 | - | 18M| 0 | 155 |1680 |6249 |1680 |5545 | 19 | 26 | 0 | 2.197388e+01 | 4.600000e+01 | 109.34%
1.99/2.06 c 2.1s| 1 | 0 | 1554 | - | 18M| 0 | 158 |1680 |6249 |1680 |5549 | 23 | 26 | 0 | 2.198866e+01 | 4.600000e+01 | 109.20%
2.69/2.72 c 2.7s| 1 | 0 | 1775 | - | 19M| 0 | 151 |1680 |6249 |1680 |5552 | 26 | 26 | 0 | 2.201922e+01 | 4.600000e+01 | 108.91%
2.69/2.72 o 45
2.69/2.72 c R 2.7s| 1 | 0 | 1775 | - | 19M| 0 | 151 |1680 |6249 |1680 |5552 | 26 | 26 | 0 | 2.201922e+01 | 4.500000e+01 | 104.37%
3.08/3.12 c 3.1s| 1 | 0 | 1974 | - | 19M| 0 | 150 |1680 |6249 |1680 |5554 | 28 | 26 | 0 | 2.203985e+01 | 4.500000e+01 | 104.18%
3.08/3.12 o 44
3.08/3.12 c R 3.1s| 1 | 0 | 1974 | - | 19M| 0 | 150 |1680 |6249 |1680 |5554 | 28 | 26 | 0 | 2.203985e+01 | 4.400000e+01 | 99.64%
3.69/3.72 c 3.7s| 1 | 0 | 2038 | - | 20M| 0 | 141 |1680 |6249 |1680 |5555 | 29 | 26 | 0 | 2.204467e+01 | 4.400000e+01 | 99.59%
3.69/3.72 o 43
3.69/3.72 c R 3.7s| 1 | 0 | 2038 | - | 20M| 0 | 141 |1680 |6249 |1680 |5555 | 29 | 26 | 0 | 2.204467e+01 | 4.300000e+01 | 95.06%
4.09/4.19 c 4.2s| 1 | 0 | 2325 | - | 20M| 0 | 192 |1680 |6249 |1680 |5557 | 31 | 26 | 0 | 2.207863e+01 | 4.300000e+01 | 94.76%
4.88/4.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.09/5.11 c 5.0s| 1 | 0 | 2422 | - | 20M| 0 | 184 |1680 |6249 |1680 |5559 | 33 | 26 | 0 | 2.209181e+01 | 4.300000e+01 | 94.64%
5.69/5.79 c 5.8s| 1 | 0 | 2609 | - | 20M| 0 | 188 |1680 |6249 |1680 |5563 | 37 | 26 | 0 | 2.250000e+01 | 4.300000e+01 | 91.11%
5.99/6.04 c 6.0s| 1 | 0 | 2668 | - | 21M| 0 | 237 |1680 |6249 |1680 |5562 | 39 | 26 | 0 | 2.250000e+01 | 4.300000e+01 | 91.11%
6.39/6.48 c 6.5s| 1 | 0 | 2749 | - | 21M| 0 | 215 |1680 |6249 |1680 |5569 | 46 | 26 | 0 | 2.250000e+01 | 4.300000e+01 | 91.11%
6.79/6.85 c 6.9s| 1 | 0 | 2772 | - | 21M| 0 | 236 |1680 |6249 |1680 |5571 | 48 | 26 | 0 | 2.250000e+01 | 4.300000e+01 | 91.11%
7.19/7.29 c 7.3s| 1 | 0 | 2888 | - | 21M| 0 | 230 |1680 |6249 |1680 |5575 | 52 | 26 | 0 | 2.250000e+01 | 4.300000e+01 | 91.11%
7.69/7.76 c 7.8s| 1 | 0 | 2973 | - | 21M| 0 | 227 |1680 |6249 |1680 |5578 | 55 | 26 | 0 | 2.250000e+01 | 4.300000e+01 | 91.11%
7.99/8.01 o 24
7.99/8.01 c E 8.0s| 1 | 0 | 2973 | - | 21M| 0 | 227 |1680 |6249 |1680 |5578 | 55 | 26 | 0 | 2.250000e+01 | 2.400000e+01 | 6.67%
7.99/8.03 c 8.0s| 1 | 0 | 2973 | - | 21M| 0 | 227 |1680 |6249 |1680 |5578 | 55 | 26 | 0 | 2.250000e+01 | 2.400000e+01 | 6.67%
7.99/8.03 c 8.0s| 1 | 0 | 2973 | - | 21M| 0 | 227 |1680 |6249 |1680 |2427 | 55 | 26 | 0 | 2.250000e+01 | 2.400000e+01 | 6.67%
8.19/8.26 c 8.3s| 1 | 0 | 2990 | - | 20M| 0 | 263 |1680 |2904 |1680 |2381 | 57 | 26 | 0 | 2.250000e+01 | 2.400000e+01 | 6.67%
9.09/9.10 c 9.1s| 1 | 2 | 2990 | - | 20M| 0 | 263 |1680 |2904 |1680 |2381 | 57 | 26 | 10 | 2.250000e+01 | 2.400000e+01 | 6.67%
9.09/9.10 c (run 1, node 1) restarting after 804 global fixings of integer variables
9.09/9.10 c
9.09/9.10 c (restart) converted 20 cuts from the global cut pool into linear constraints
9.09/9.10 c
9.09/9.11 c presolving:
9.09/9.12 c (round 1) 804 del vars, 500 del conss, 0 add conss, 0 chg bounds, 32 chg sides, 0 chg coeffs, 0 upgd conss, 14286 impls, 9 clqs
9.09/9.13 c (round 2) 804 del vars, 500 del conss, 0 add conss, 0 chg bounds, 32 chg sides, 0 chg coeffs, 96 upgd conss, 14286 impls, 9 clqs
9.19/9.21 c presolving (3 rounds):
9.19/9.21 c 804 deleted vars, 500 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 32 changed sides, 0 changed coefficients
9.19/9.21 c 14286 implications, 9 cliques
9.19/9.21 c presolved problem has 876 variables (876 bin, 0 int, 0 impl, 0 cont) and 2424 constraints
9.19/9.21 c 11 constraints of type <knapsack>
9.19/9.21 c 2218 constraints of type <setppc>
9.19/9.21 c 4 constraints of type <and>
9.19/9.21 c 191 constraints of type <logicor>
9.19/9.21 c transformed objective value is always integral (scale: 1)
9.19/9.21 c Presolving Time: 0.22
9.19/9.21 c
9.19/9.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.19/9.28 c 9.3s| 1 | 0 | 3852 | - | 14M| 0 | 187 | 876 |2424 | 876 |2340 | 0 | 26 | 10 | 2.250000e+01 | 2.400000e+01 | 6.67%
9.49/9.52 c 9.5s| 1 | 0 | 3978 | - | 15M| 0 | 236 | 876 |2424 | 876 |2346 | 6 | 26 | 10 | 2.250000e+01 | 2.400000e+01 | 6.67%
10.59/10.61 c 10.6s| 1 | 0 | 3983 | - | 15M| 0 | 242 | 876 |2414 | 876 |2346 | 6 | 26 | 30 | 2.250000e+01 | 2.400000e+01 | 6.67%
11.49/11.53 c 11.5s| 1 | 0 | 3989 | - | 15M| 0 | 226 | 876 |2408 | 876 |2346 | 6 | 26 | 48 | 2.250000e+01 | 2.400000e+01 | 6.67%
12.49/12.50 c 12.5s| 1 | 0 | 3992 | - | 15M| 0 | 227 | 876 |2404 | 876 |2346 | 6 | 26 | 65 | 2.250000e+01 | 2.400000e+01 | 6.67%
13.39/13.46 c 13.5s| 1 | 2 | 3992 | - | 15M| 0 | 227 | 876 |2404 | 876 |2346 | 6 | 26 | 81 | 2.250000e+01 | 2.400000e+01 | 6.67%
16.09/16.11 c
16.09/16.11 c SCIP Status : problem is solved [optimal solution found]
16.09/16.11 c Solving Time (sec) : 16.12
16.09/16.11 c Solving Nodes : 3 (total of 4 nodes in 2 runs)
16.09/16.11 c Primal Bound : +2.40000000000000e+01 (7 solutions)
16.09/16.11 c Dual Bound : +2.40000000000000e+01
16.09/16.11 c Gap : 0.00 %
16.09/16.12 s OPTIMUM FOUND
16.09/16.12 v x147 x146 -x3389 -x145 -x3387 -x144 -x3384 -x3382 x143 x3380 -x3378 -x3376 -x142 -x3374 x141 -x3371 -x3369 -x140 -x3367 -x3365
16.09/16.12 v -x139 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 x3349 x3347 -x3345 x138 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331
16.09/16.12 v -x137 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x136 -x3315 -x135 -x3312 -x3310 -x134 -x3308 -x3306 -x3304 -x133 -x3302
16.09/16.12 v -x3300 -x3298 -x132 -x3296 -x3294 -x3292 -x3290 x3288 -x3286 -x3284 x131 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270
16.09/16.12 v -x130 -x3268 -x3266 -x3264 -x129 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x128 -x3248 -x3246 -x3244 -x3242 -x3240
16.09/16.12 v -x3238 -x3236 -x127 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x126 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208
16.09/16.12 v -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x125 -x3190 -x124 -x3187 -x3185 -x123 -x3183 -x3181 -x3179 -x122 -x3177
16.09/16.12 v -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x121 -x3163 -x3161 -x120 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x119
16.09/16.12 v -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x118 -x3131 -x3129 -x3127 -x117 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115
16.09/16.12 v -x3113 -x116 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x115 -x3099 -x3096 -x3094 -x3092 -x3090 x3088 -x3086 -x3084 -x3082 -x3080
16.09/16.12 v -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x114 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046
16.09/16.12 v -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x113 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012
16.09/16.12 v -x3010 -x3008 -x3006 -x3003 -x3001 -x112 -x2999 -x2997 -x2995 -x111 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x110
16.09/16.12 v -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x109 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x108 -x2951 -x2949
16.09/16.12 v -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x107 -x2921 -x2919 -x2917 -x2915
16.09/16.12 v -x2913 -x2911 -x2909 -x106 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881
16.09/16.12 v -x2879 -x105 -x2877 -x104 -x2874 -x2872 x2870 -x2868 -x2866 -x103 -x2864 -x2862 -x2860 -x2858 -x2855 -x2853 -x102 -x2851 -x2849
16.09/16.12 v -x2847 -x101 -x2845 -x2843 -x2840 -x2838 -x2836 -x2834 -x100 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x99 -x2818
16.09/16.12 v -x2816 -x2814 -x98 -x2812 -x2810 -x2808 -x2805 -x2803 -x2801 -x97 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x96 -x2785
16.09/16.12 v -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2756 -x2754 -x2752 -x2750 -x2748
16.09/16.12 v -x2746 -x2744 -x95 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 x2722 -x2720 -x2718 -x2716 -x2714
16.09/16.12 v -x2712 -x2710 -x2708 -x94 -x2706 -x2703 -x2701 -x2699 -x2697 -x2695 -x93 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681
16.09/16.12 v -x92 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x91 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647
16.09/16.12 v -x2645 -x2643 -x2641 -x2639 -x2637 -x90 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613
16.09/16.12 v -x2611 -x2609 -x2607 -x89 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x88 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581
16.09/16.12 v -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x87 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547
16.09/16.12 v -x2545 -x2543 -x2541 -x2538 -x2536 -x2534 -x86 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510
16.09/16.12 v -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475
16.09/16.12 v -x2473 -x85 -x2471 -x2469 -x2467 -x84 -x2465 -x2463 -x2460 -x2458 -x2456 -x2454 -x83 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442
16.09/16.12 v -x2440 -x82 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x81 -x2424 -x2422 -x2420 -x2418 x2416 -x2414 -x2412 -x2410 -x2408
16.09/16.12 v -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372
16.09/16.12 v -x2370 -x2368 -x2366 -x80 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x79 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340
16.09/16.12 v -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x78 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306
16.09/16.12 v -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x77 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272
16.09/16.12 v -x2270 -x2268 -x2266 -x2264 -x2262 -x76 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2245 -x2243 -x2241 -x2239 -x2237
16.09/16.12 v -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201
16.09/16.12 v -x2199 x75 -x2196 -x2194 -x74 -x2192 -x2190 -x2188 -x73 -x2186 -x2184 -x2182 -x72 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168
16.09/16.12 v -x71 -x2166 -x2164 -x2162 x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x70 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136
16.09/16.12 v -x69 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x68 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x67 -x2106 -x2104
16.09/16.12 v -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x66 -x2076 -x2074 -x2072 -x2070
16.09/16.12 v -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x65 -x2047 -x2045 -x2043 -x64 -x2041 -x2039 -x2037
16.09/16.12 v -x2035 -x2033 -x2031 -x2029 -x63 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x62 -x2013 -x2011 -x2009 -x61 -x2007 -x2005
16.09/16.12 v -x2003 -x2001 -x1999 x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x60 -x1979 -x1977 -x1975 -x1973 -x1971
16.09/16.12 v -x1969 -x1967 -x59 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1942 -x1940 -x1938 -x58 -x1936
16.09/16.12 v -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1911 -x1909 -x57 -x1907 -x1905 -x1903 -x1901
16.09/16.12 v -x1899 -x1897 -x1895 -x56 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1870 -x1868 -x1866
16.09/16.12 v -x55 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x54 -x1838 -x1836 -x1834 -x1832
16.09/16.12 v -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x53 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798
16.09/16.12 v -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762
16.09/16.12 v -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726
16.09/16.12 v -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691
16.09/16.12 v -x1689 -x1687 -x52 -x1685 -x1683 -x1681 -x51 -x1679 -x1676 -x1674 -x1672 -x1670 -x1668 -x50 -x1666 x1664 -x1662 -x1660 -x1658
16.09/16.12 v -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x49 -x1623
16.09/16.12 v -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x48 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587
16.09/16.12 v -x1585 -x1583 -x1581 -x47 -x1579 -x1577 -x1575 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552
16.09/16.12 v -x46 -x1550 -x1548 -x1546 -x1544 x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517
16.09/16.12 v -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481
16.09/16.12 v -x1479 -x1477 -x45 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1452 -x1450 -x1448 -x44
16.09/16.12 v -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x43 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1419 -x1417 -x1415 -x1413
16.09/16.12 v -x1411 -x1409 -x1407 -x1405 -x42 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1376
16.09/16.12 v -x41 -x1374 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 x1345 -x1343 -x1341
16.09/16.12 v -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x40 -x1310 -x1308 -x39
16.09/16.12 v -x1306 -x1304 -x1302 -x38 -x1300 -x1298 -x1296 -x37 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x36 -x1280 -x1278 -x1276
16.09/16.12 v -x35 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x34 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x33 -x1246 -x1244
16.09/16.12 v -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x32 -x1217 -x1215 -x1213 -x31 -x1211
16.09/16.12 v -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x30 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x29 -x1183 -x1181 -x1179 -x1177
16.09/16.12 v -x1175 -x1173 -x1171 -x28 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143
16.09/16.12 v -x1141 -x27 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x26 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111
16.09/16.12 v -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x25 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077
16.09/16.12 v -x1075 -x1073 -x1071 -x1069 -x1067 -x24 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043
16.09/16.12 v -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007
16.09/16.12 v -x1005 -x23 -x1003 -x1001 -x999 -x22 -x997 -x995 -x992 -x990 -x988 -x986 -x21 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x20
16.09/16.12 v -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x19 -x940 -x938 -x936 -x934 -x932
16.09/16.12 v -x930 -x928 -x18 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x17 -x896 -x894
16.09/16.12 v -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x16 -x866 -x864 -x862 -x860 -x858 -x856 -x854
16.09/16.12 v -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x823 -x821 -x819 -x817 -x815 -x813 -x811
16.09/16.12 v -x809 -x807 -x15 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x14 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773
16.09/16.12 v -x771 -x769 -x767 -x765 -x763 -x13 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733
16.09/16.12 v -x12 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693
16.09/16.12 v -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x11 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653
16.09/16.12 v -x651 -x649 -x647 -x645 -x643 -x641 -x10 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613
16.09/16.12 v -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571
16.09/16.12 v -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x538 -x536 -x534 -x532 -x530 -x528
16.09/16.12 v -x526 -x524 -x522 -x520 -x518 -x9 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488
16.09/16.12 v -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 x454 -x452 -x450 -x448 -x446
16.09/16.12 v -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404
16.09/16.12 v -x402 -x400 -x398 -x395 -x393 -x391 -x389 -x387 -x8 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x7 -x371 -x369 -x367 -x365 -x363
16.09/16.12 v -x361 -x359 -x6 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x5 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325
16.09/16.12 v -x323 -x321 -x319 -x317 x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x4 -x283
16.09/16.12 v -x281 -x279 -x277 -x275 -x273 -x271 -x3 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x254 -x252 -x250 -x248 -x246 -x244 -x242
16.09/16.12 v -x2 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x1 -x210 -x208 -x206 -x204
16.09/16.12 v -x202 -x200 -x198 -x196 -x194 -x192 -x190 -x188 -x186 -x184 -x182 -x180 -x178 -x176 x174 -x172 -x170 -x168 -x166 -x164 -x162
16.09/16.12 v -x160 -x158 -x156 -x154 -x152 -x150 -x148 x3392 x3391 -x3390 -x3388 -x3386 -x3385 -x3383 x3381 -x3379 -x3377 -x3375 x3373 -x3372
16.09/16.12 v -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 x3350 x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336
16.09/16.12 v -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301
16.09/16.12 v -x3299 -x3297 -x3295 -x3293 -x3291 x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265
16.09/16.12 v -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229
16.09/16.12 v -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195
16.09/16.12 v -x3193 -x3191 -x3189 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160
16.09/16.12 v -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124
16.09/16.12 v -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3097 -x3095 -x3093 -x3091 x3089
16.09/16.12 v -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053
16.09/16.12 v -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017
16.09/16.12 v -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982
16.09/16.12 v -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946
16.09/16.12 v -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912
16.09/16.12 v -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876
16.09/16.12 v -x2875 -x2873 x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842
16.09/16.12 v -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807
16.09/16.12 v -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772
16.09/16.12 v -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 x2758 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737
16.09/16.12 v -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2704 -x2702
16.09/16.12 v -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666
16.09/16.12 v -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630
16.09/16.12 v -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594
16.09/16.12 v -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560
16.09/16.12 v -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525
16.09/16.12 v -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2494 -x2492 -x2490
16.09/16.12 v -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2461 -x2459 -x2457 -x2455
16.09/16.12 v -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419
16.09/16.12 v x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383
16.09/16.12 v -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347
16.09/16.12 v -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311
16.09/16.12 v -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277
16.09/16.12 v -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2246 -x2244 -x2242
16.09/16.12 v -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206
16.09/16.12 v -x2204 -x2202 -x2200 x2198 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171
16.09/16.12 v -x2169 -x2167 -x2165 -x2163 x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135
16.09/16.12 v -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099
16.09/16.12 v -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2068 -x2066 -x2064
16.09/16.12 v -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028
16.09/16.12 v -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 x1998 -x1996 -x1994 -x1992
16.09/16.12 v -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956
16.09/16.12 v -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921
16.09/16.12 v -x1919 -x1917 -x1915 -x1913 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888
16.09/16.12 v -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853
16.09/16.12 v -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817
16.09/16.12 v -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781
16.09/16.12 v -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 x1749 -x1747 -x1745
16.09/16.12 v -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1710
16.09/16.12 v -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1677 -x1675
16.09/16.12 v -x1673 -x1671 -x1669 -x1667 x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1642 -x1640
16.09/16.12 v -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604
16.09/16.12 v -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1573 -x1571
16.09/16.12 v -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 x1543 -x1541 -x1539 -x1537 -x1535
16.09/16.12 v -x1533 -x1531 -x1529 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500
16.09/16.12 v -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464
16.09/16.12 v -x1462 -x1460 -x1458 -x1456 -x1454 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429
16.09/16.12 v -x1427 -x1425 -x1423 -x1421 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394
16.09/16.12 v -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1377 -x1375 -x1373 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360
16.09/16.12 v -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324
16.09/16.12 v -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289
16.09/16.12 v -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255
16.09/16.12 v -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220
16.09/16.12 v -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184
16.09/16.12 v -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148
16.09/16.12 v -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112
16.09/16.12 v -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076
16.09/16.12 v -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040
16.09/16.12 v -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006
16.09/16.12 v -x1004 -x1002 -x1000 -x998 -x996 -x994 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965
16.09/16.12 v -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923
16.09/16.12 v -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883
16.09/16.12 v -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841
16.09/16.12 v -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800
16.09/16.12 v -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758
16.09/16.12 v -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716
16.09/16.12 v -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674
16.09/16.12 v -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634
16.09/16.12 v -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 x596 -x594 -x592
16.09/16.12 v -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550
16.09/16.12 v -x548 -x546 -x544 -x542 -x540 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509
16.09/16.12 v -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467
16.09/16.12 v -x465 -x463 -x461 -x459 -x457 x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425
16.09/16.12 v -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x396 -x394 -x392 -x390 -x388 -x386 -x384
16.09/16.12 v -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342
16.09/16.12 v -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300
16.09/16.12 v -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260
16.09/16.12 v -x258 -x256 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219
16.09/16.12 v -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177
16.09/16.12 v x175 -x173 -x171 -x169 -x167 -x165 -x163 -x161 -x159 -x157 -x155 -x153 -x151 -x149
16.09/16.12 c SCIP Status : problem is solved [optimal solution found]
16.09/16.12 c Total Time : 16.12
16.09/16.12 c solving : 16.12
16.09/16.12 c presolving : 0.22 (included in solving)
16.09/16.12 c reading : 0.02 (included in solving)
16.09/16.12 c copying : 0.03 (2 #copies) (minimal 0.01, maximal 0.02, average 0.02)
16.09/16.12 c Original Problem :
16.09/16.12 c Problem name : HOME/instance-3691169-1338020621.opb
16.09/16.12 c Variables : 3392 (3392 binary, 0 integer, 0 implicit integer, 0 continuous)
16.09/16.12 c Constraints : 9001 initial, 9001 maximal
16.09/16.12 c Objective sense : minimize
16.09/16.12 c Presolved Problem :
16.09/16.12 c Problem name : t_HOME/instance-3691169-1338020621.opb
16.09/16.12 c Variables : 876 (876 binary, 0 integer, 0 implicit integer, 0 continuous)
16.09/16.12 c Constraints : 2424 initial, 2424 maximal
16.09/16.12 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
16.09/16.12 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
16.09/16.12 c trivial : 0.00 0.00 804 0 0 0 0 0 0 0 0
16.09/16.12 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
16.09/16.12 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
16.09/16.12 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
16.09/16.12 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
16.09/16.12 c gateextraction : 0.01 0.00 0 0 0 0 0 12 4 0 0
16.09/16.12 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
16.09/16.12 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
16.09/16.12 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
16.09/16.12 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
16.09/16.12 c knapsack : 0.07 0.00 0 0 0 0 0 0 0 0 0
16.09/16.12 c setppc : 0.03 0.00 0 0 0 0 0 0 0 0 0
16.09/16.12 c and : 0.00 0.00 0 0 0 0 0 0 0 0 0
16.09/16.12 c linear : 0.06 0.00 100 1612 0 100 0 3957 0 32 0
16.09/16.12 c logicor : 0.01 0.00 0 0 0 0 0 14 0 0 0
16.09/16.12 c root node : - - 1238 - - 1238 - - - - -
16.09/16.12 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
16.09/16.12 c integral : 0 0 0 0 18 0 14 0 1 63 0 0 4
16.09/16.12 c knapsack : 11 11 1 32 0 0 0 0 0 0 0 0 0
16.09/16.12 c setppc : 2218 2218 17 692 0 0 10 84 0 391 0 0 0
16.09/16.12 c and : 4 4 26 161 0 0 9 15 0 5 0 0 0
16.09/16.12 c logicor : 191 191 17 351 0 0 8 92 15 117 28 0 0
16.09/16.12 c countsols : 0 0 0 0 0 0 9 0 0 0 0 0 0
16.09/16.12 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
16.09/16.12 c integral : 7.22 0.00 0.00 0.00 7.21 0.00 0.00 0.00
16.09/16.12 c knapsack : 0.07 0.00 0.07 0.00 0.00 0.00 0.00 0.00
16.09/16.12 c setppc : 0.04 0.00 0.01 0.03 0.00 0.00 0.01 0.00
16.09/16.12 c and : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
16.09/16.12 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
16.09/16.12 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
16.09/16.12 c Propagators : #Propagate #ResProp Cutoffs DomReds
16.09/16.12 c rootredcost : 0 0 0 0
16.09/16.12 c pseudoobj : 612 0 0 0
16.09/16.12 c vbounds : 0 0 0 0
16.09/16.12 c redcost : 43 0 0 1092
16.09/16.12 c probing : 0 0 0 0
16.09/16.12 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
16.09/16.12 c rootredcost : 0.00 0.00 0.00 0.00 0.00
16.09/16.12 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
16.09/16.12 c vbounds : 0.00 0.00 0.00 0.00 0.00
16.09/16.12 c redcost : 0.00 0.00 0.00 0.00 0.00
16.09/16.12 c probing : 0.01 0.00 0.01 0.00 0.00
16.09/16.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
16.09/16.12 c propagation : 0.00 15 15 41 22.2 0 0.0 -
16.09/16.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
16.09/16.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
16.09/16.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
16.09/16.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
16.09/16.12 c applied globally : - - - 26 21.0 - - -
16.09/16.12 c applied locally : - - - 0 0.0 - - -
16.09/16.12 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
16.09/16.12 c cut pool : 0.00 0 - - 0 - (maximal pool size: 78)
16.09/16.12 c closecuts : 0.00 0.00 0 0 0 0 0
16.09/16.12 c impliedbounds : 0.00 0.00 17 0 0 0 0
16.09/16.12 c intobj : 0.00 0.00 0 0 0 0 0
16.09/16.12 c gomory : 2.32 0.00 11 0 0 389 0
16.09/16.12 c cgmip : 0.00 0.00 0 0 0 0 0
16.09/16.12 c strongcg : 4.25 0.00 17 0 0 5853 0
16.09/16.12 c cmir : 0.22 0.00 11 0 0 0 0
16.09/16.12 c flowcover : 0.34 0.00 11 0 0 0 0
16.09/16.12 c clique : 0.01 0.00 17 0 0 56 0
16.09/16.12 c zerohalf : 0.00 0.00 0 0 0 0 0
16.09/16.12 c mcf : 0.00 0.00 2 0 0 0 0
16.09/16.12 c oddcycle : 0.00 0.00 0 0 0 0 0
16.09/16.12 c rapidlearning : 0.23 0.00 1 0 0 0 701
16.09/16.12 c Pricers : ExecTime SetupTime Calls Vars
16.09/16.12 c problem variables: 0.00 - 0 0
16.09/16.12 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
16.09/16.12 c relpscost : 7.21 0.00 18 1 63 0 0 4
16.09/16.12 c pscost : 0.00 0.00 0 0 0 0 0 0
16.09/16.12 c inference : 0.00 0.00 0 0 0 0 0 0
16.09/16.12 c mostinf : 0.00 0.00 0 0 0 0 0 0
16.09/16.12 c leastinf : 0.00 0.00 0 0 0 0 0 0
16.09/16.12 c fullstrong : 0.00 0.00 0 0 0 0 0 0
16.09/16.12 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
16.09/16.12 c random : 0.00 0.00 0 0 0 0 0 0
16.09/16.12 c Primal Heuristics : ExecTime SetupTime Calls Found
16.09/16.12 c LP solutions : 0.00 - - 0
16.09/16.12 c pseudo solutions : 0.00 - - 0
16.09/16.12 c crossover : 0.00 0.00 0 0
16.09/16.12 c coefdiving : 0.00 0.00 0 0
16.09/16.12 c oneopt : 0.00 0.00 6 0
16.09/16.12 c smallcard : 0.00 0.00 0 0
16.09/16.12 c trivial : 0.00 0.00 2 0
16.09/16.12 c shiftandpropagate: 0.03 0.00 1 0
16.09/16.12 c simplerounding : 0.00 0.00 0 0
16.09/16.12 c zirounding : 0.00 0.00 3 0
16.09/16.12 c rounding : 0.02 0.00 35 5
16.09/16.12 c shifting : 0.02 0.00 22 1
16.09/16.12 c intshifting : 0.00 0.00 0 0
16.09/16.12 c twoopt : 0.00 0.00 0 0
16.09/16.12 c indoneopt : 0.00 0.00 0 0
16.09/16.12 c indtwoopt : 0.00 0.00 0 0
16.09/16.12 c fixandinfer : 0.00 0.00 0 0
16.09/16.12 c feaspump : 0.00 0.00 0 0
16.09/16.12 c clique : 0.00 0.00 0 0
16.09/16.12 c indrounding : 0.00 0.00 0 0
16.09/16.12 c indcoefdiving : 0.00 0.00 0 0
16.09/16.12 c pscostdiving : 0.00 0.00 0 0
16.09/16.12 c nlpdiving : 0.00 0.00 0 0
16.09/16.12 c fracdiving : 0.00 0.00 0 0
16.09/16.12 c veclendiving : 0.00 0.00 0 0
16.09/16.12 c intdiving : 0.00 0.00 0 0
16.09/16.12 c actconsdiving : 0.00 0.00 0 0
16.09/16.12 c objpscostdiving : 0.00 0.00 0 0
16.09/16.12 c rootsoldiving : 0.00 0.00 0 0
16.09/16.12 c linesearchdiving : 0.00 0.00 0 0
16.09/16.12 c guideddiving : 0.00 0.00 0 0
16.09/16.12 c octane : 0.00 0.00 0 0
16.09/16.12 c rens : 0.26 0.00 1 1
16.09/16.12 c rins : 0.00 0.00 0 0
16.09/16.12 c localbranching : 0.00 0.00 0 0
16.09/16.12 c mutation : 0.00 0.00 0 0
16.09/16.12 c dins : 0.00 0.00 0 0
16.09/16.12 c vbounds : 0.00 0.00 0 0
16.09/16.12 c undercover : 0.00 0.00 1 0
16.09/16.12 c subnlp : 0.00 0.00 0 0
16.09/16.12 c trysol : 0.00 0.00 0 0
16.09/16.12 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
16.09/16.12 c primal LP : 0.00 3 0 0.00 - 0.00 3
16.09/16.12 c dual LP : 0.77 44 5504 152.89 7144.61 0.00 8
16.09/16.12 c lex dual LP : 0.00 0 0 0.00 -
16.09/16.12 c barrier LP : 0.00 0 0 0.00 - 0.00 0
16.09/16.12 c diving/probing LP: 0.00 0 0 0.00 -
16.09/16.12 c strong branching : 7.21 167 58912 352.77 8169.43
16.09/16.12 c (at root node) : - 81 37994 469.06 -
16.09/16.12 c conflict analysis: 0.00 0 0 0.00 -
16.09/16.12 c B&B Tree :
16.09/16.12 c number of runs : 2
16.09/16.12 c nodes : 3
16.09/16.12 c nodes (total) : 4
16.09/16.12 c nodes left : 0
16.09/16.12 c max depth : 1
16.09/16.12 c max depth (total): 1
16.09/16.12 c backtracks : 0 (0.0%)
16.09/16.12 c delayed cutoffs : 0
16.09/16.12 c repropagations : 0 (0 domain reductions, 0 cutoffs)
16.09/16.12 c avg switch length: 2.00
16.09/16.12 c switching time : 0.00
16.09/16.12 c Solution :
16.09/16.12 c Solutions found : 7 (7 improvements)
16.09/16.12 c First Solution : +4.80000000000000e+01 (in run 1, after 1 nodes, 0.27 seconds, depth 0, found by <rounding>)
16.09/16.12 c Primal Bound : +2.40000000000000e+01 (in run 1, after 1 nodes, 8.01 seconds, depth 0, found by <rens>)
16.09/16.12 c Dual Bound : +2.40000000000000e+01
16.09/16.12 c Gap : 0.00 %
16.09/16.12 c Root Dual Bound : +2.25000000000001e+01
16.09/16.12 c Root Iterations : 3992
16.09/16.14 c Time complete: 16.13.
OK 24
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691169-1338020621/watcher-3691169-1338020621 -o /tmp/evaluation-result-3691169-1338020621/solver-3691169-1338020621 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691169-1338020621.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.91 3/176 4631 /proc/meminfo: memFree=29198308/32873648 swapFree=7112/7112 [pid=4631] ppid=4629 vsize=11780 CPUtime=0 cores=0,2,4,6 /proc/4631/stat : 4631 (scip-2.1.1.4fix) R 4629 4631 4305 0 -1 4202496 1697 0 0 0 0 0 0 0 20 0 1 0 268188031 12062720 1651 33554432000 4194304 10173063 140734635898352 140734635897032 8800002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/4631/statm: 2945 1651 416 1460 0 1476 0 [startup+0.0818689 s] /proc/loadavg: 2.00 2.00 1.91 3/176 4631 /proc/meminfo: memFree=29198308/32873648 swapFree=7112/7112 [pid=4631] ppid=4629 vsize=36360 CPUtime=0.07 cores=0,2,4,6 /proc/4631/stat : 4631 (scip-2.1.1.4fix) R 4629 4631 4305 0 -1 4202496 7601 0 0 0 6 1 0 0 20 0 1 0 268188031 37232640 7555 33554432000 4194304 10173063 140734635898352 140734635897032 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4631/statm: 9090 7555 561 1460 0 7621 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 36360 [startup+0.100255 s] /proc/loadavg: 2.00 2.00 1.91 3/176 4631 /proc/meminfo: memFree=29198308/32873648 swapFree=7112/7112 [pid=4631] ppid=4629 vsize=36360 CPUtime=0.09 cores=0,2,4,6 /proc/4631/stat : 4631 (scip-2.1.1.4fix) R 4629 4631 4305 0 -1 4202496 7881 0 0 0 8 1 0 0 20 0 1 0 268188031 37232640 7578 33554432000 4194304 10173063 140734635898352 140734635897032 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4631/statm: 9090 7578 569 1460 0 7621 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 36360 [startup+0.300161 s] /proc/loadavg: 2.00 2.00 1.91 3/176 4631 /proc/meminfo: memFree=29198308/32873648 swapFree=7112/7112 [pid=4631] ppid=4629 vsize=50388 CPUtime=0.29 cores=0,2,4,6 /proc/4631/stat : 4631 (scip-2.1.1.4fix) R 4629 4631 4305 0 -1 4202496 12123 0 0 0 27 2 0 0 20 0 1 0 268188031 51597312 11338 33554432000 4194304 10173063 140734635898352 140734635897032 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4631/statm: 12597 11338 791 1460 0 11128 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 50388 [startup+0.70015 s] /proc/loadavg: 2.00 2.00 1.91 3/176 4631 /proc/meminfo: memFree=29198308/32873648 swapFree=7112/7112 [pid=4631] ppid=4629 vsize=86016 CPUtime=0.69 cores=0,2,4,6 /proc/4631/stat : 4631 (scip-2.1.1.4fix) R 4629 4631 4305 0 -1 4202496 20917 0 0 0 64 5 0 0 20 0 1 0 268188031 88080384 20119 33554432000 4194304 10173063 140734635898352 140734635893240 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4631/statm: 21504 20119 841 1460 0 20035 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 86016 [startup+1.50016 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4632 /proc/meminfo: memFree=29120288/32873648 swapFree=7112/7112 [pid=4631] ppid=4629 vsize=86016 CPUtime=1.49 cores=0,2,4,6 /proc/4631/stat : 4631 (scip-2.1.1.4fix) R 4629 4631 4305 0 -1 4202496 21229 0 0 0 143 6 0 0 20 0 1 0 268188031 88080384 20422 33554432000 4194304 10173063 140734635898352 140734635893512 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4631/statm: 21504 20422 852 1460 0 20035 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 86016 [startup+3.10013 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4632 /proc/meminfo: memFree=29119544/32873648 swapFree=7112/7112 [pid=4631] ppid=4629 vsize=86016 CPUtime=3.08 cores=0,2,4,6 /proc/4631/stat : 4631 (scip-2.1.1.4fix) R 4629 4631 4305 0 -1 4202496 21232 0 0 0 301 7 0 0 20 0 1 0 268188031 88080384 20425 33554432000 4194304 10173063 140734635898352 140734635893272 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4631/statm: 21504 20425 852 1460 0 20035 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 86016 [startup+6.30022 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4632 /proc/meminfo: memFree=29119172/32873648 swapFree=7112/7112 [pid=4631] ppid=4629 vsize=86016 CPUtime=6.29 cores=0,2,4,6 /proc/4631/stat : 4631 (scip-2.1.1.4fix) R 4629 4631 4305 0 -1 4202496 21274 0 0 0 619 10 0 0 20 0 1 0 268188031 88080384 20467 33554432000 4194304 10173063 140734635898352 140734635893192 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4631/statm: 21504 20467 853 1460 0 20035 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 86016 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4632 /proc/meminfo: memFree=29118336/32873648 swapFree=7112/7112 [pid=4631] ppid=4629 vsize=86100 CPUtime=12.69 cores=0,2,4,6 /proc/4631/stat : 4631 (scip-2.1.1.4fix) R 4629 4631 4305 0 -1 4202496 26871 0 0 0 1253 16 0 0 20 0 1 0 268188031 88166400 20548 33554432000 4194304 10173063 140734635898352 140734635891800 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4631/statm: 21525 20548 876 1460 0 20056 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 86100 Solver just ended. Dumping a history of the last processes samples [startup+14.3062 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4632 /proc/meminfo: memFree=29118832/32873648 swapFree=7112/7112 [pid=4631] ppid=4629 vsize=86100 CPUtime=14.3 cores=0,2,4,6 /proc/4631/stat : 4631 (scip-2.1.1.4fix) R 4629 4631 4305 0 -1 4202496 26871 0 0 0 1413 17 0 0 20 0 1 0 268188031 88166400 20548 33554432000 4194304 10173063 140734635898352 140734635891800 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4631/statm: 21525 20548 876 1460 0 20056 0 Current children cumulated CPU time (s) 14.3 Current children cumulated vsize (KiB) 86100 [startup+15.1002 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4632 /proc/meminfo: memFree=29118832/32873648 swapFree=7112/7112 [pid=4631] ppid=4629 vsize=86100 CPUtime=15.09 cores=0,2,4,6 /proc/4631/stat : 4631 (scip-2.1.1.4fix) R 4629 4631 4305 0 -1 4202496 26871 0 0 0 1491 18 0 0 20 0 1 0 268188031 88166400 20548 33554432000 4194304 10173063 140734635898352 140734635891896 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4631/statm: 21525 20548 876 1460 0 20056 0 Current children cumulated CPU time (s) 15.09 Current children cumulated vsize (KiB) 86100 [startup+15.9002 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4632 /proc/meminfo: memFree=29118832/32873648 swapFree=7112/7112 [pid=4631] ppid=4629 vsize=86100 CPUtime=15.88 cores=0,2,4,6 /proc/4631/stat : 4631 (scip-2.1.1.4fix) R 4629 4631 4305 0 -1 4202496 26871 0 0 0 1570 18 0 0 20 0 1 0 268188031 88166400 20548 33554432000 4194304 10173063 140734635898352 140734635892184 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4631/statm: 21525 20548 876 1460 0 20056 0 Current children cumulated CPU time (s) 15.88 Current children cumulated vsize (KiB) 86100 [startup+16.1002 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4632 /proc/meminfo: memFree=29118832/32873648 swapFree=7112/7112 [pid=4631] ppid=4629 vsize=86100 CPUtime=16.09 cores=0,2,4,6 /proc/4631/stat : 4631 (scip-2.1.1.4fix) R 4629 4631 4305 0 -1 4202496 26871 0 0 0 1590 19 0 0 20 0 1 0 268188031 88166400 20548 33554432000 4194304 10173063 140734635898352 140734635892184 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/4631/statm: 21525 20548 876 1460 0 20056 0 Current children cumulated CPU time (s) 16.09 Current children cumulated vsize (KiB) 86100 Child status: 0 Real time (s): 16.1435 CPU time (s): 16.1405 CPU user time (s): 15.9416 CPU system time (s): 0.198969 CPU usage (%): 99.9816 Max. virtual memory (cumulated for all children) (KiB): 109624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.9416 system time used= 0.198969 maximum resident set size= 104148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26874 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= 3 involuntary context switches= 18 runsolver used 0.023996 second user time and 0.065989 second system time The end
Begin job on node126 at 2012-05-26 10:23:41 IDJOB=3691169 IDBENCH=24987 IDSOLVER=2270 FILE ID=node126/3691169-1338020621 RUNJOBID= node126-1338016934-4321 PBS_JOBID= 14624345 Free space on /tmp= 71424 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691169-1338020621/watcher-3691169-1338020621 -o /tmp/evaluation-result-3691169-1338020621/solver-3691169-1338020621 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691169-1338020621.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0 RANDOM SEED=831145162 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29198572 kB Buffers: 256748 kB Cached: 2294476 kB SwapCached: 17768 kB Active: 1011800 kB Inactive: 1896436 kB Active(anon): 339396 kB Inactive(anon): 19404 kB Active(file): 672404 kB Inactive(file): 1877032 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67086928 kB Dirty: 13824 kB Writeback: 0 kB AnonPages: 346416 kB Mapped: 13628 kB Shmem: 0 kB Slab: 629456 kB SReclaimable: 73868 kB SUnreclaim: 555588 kB KernelStack: 1472 kB PageTables: 4652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 462568 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 288768 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71412 MiB End job on node126 at 2012-05-26 10:23:57