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