Trace number 3693299

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixedOPT5 204.469 204.512

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
MD5SUM19d2194cc03557fbd803cc33882ae5ce
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark3.3025
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables4447
Total number of constraints4926
Number of constraints which are clauses4205
Number of constraints which are cardinality constraints (but not clauses)721
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint27
Number of terms in the objective function 4447
Biggest coefficient in the objective function 2128
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 12580
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2128
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 12580
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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-3693299-1338031465.opb>
0.00/0.02	c original problem has 4447 variables (4447 bin, 0 int, 0 impl, 0 cont) and 4926 constraints
0.00/0.02	c problem read in 0.02
0.01/0.04	o 8324
0.01/0.04	o 8284
0.01/0.04	c feasible solution found by trivial heuristic, objective value  8.284000e+03
0.01/0.04	c presolving:
0.01/0.06	c (round 1) 4 del vars, 4 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20558 impls, 20 clqs
0.01/0.09	c (round 2) 4 del vars, 5 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 4884 upgd conss, 20558 impls, 20 clqs
0.09/0.11	c (round 3) 4 del vars, 6 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 4922 upgd conss, 20572 impls, 20 clqs
0.09/0.11	c (round 4) 4 del vars, 6 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 4923 upgd conss, 20572 impls, 20 clqs
0.09/0.16	c    (0.2s) probing: 128/4443 (2.9%) - 0 fixings, 0 aggregations, 13 implications, 0 bound changes
0.09/0.16	c    (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.17	c presolving (5 rounds):
0.09/0.17	c  4 deleted vars, 6 deleted constraints, 0 added constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17	c  20648 implications, 20 cliques
0.09/0.17	c presolved problem has 4443 variables (4443 bin, 0 int, 0 impl, 0 cont) and 4920 constraints
0.09/0.17	c     700 constraints of type <knapsack>
0.09/0.17	c    4212 constraints of type <setppc>
0.09/0.17	c       8 constraints of type <logicor>
0.09/0.17	c transformed objective value is always integral (scale: 1)
0.09/0.17	c Presolving Time: 0.14
0.09/0.17	c - non default parameters ----------------------------------------------------------------------
0.09/0.17	c # SCIP version 2.1.1.4
0.09/0.17	c 
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = 1797
0.09/0.17	c 
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = 13950
0.09/0.17	c 
0.09/0.17	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.17	c # [type: int, range: [1,2], default: 1]
0.09/0.17	c timing/clocktype = 2
0.09/0.17	c 
0.09/0.17	c # belongs reading time to solving time?
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c timing/reading = TRUE
0.09/0.17	c 
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving
0.09/0.17	c 
0.09/0.17	o 8282
0.09/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.17	c t 0.2s|     1 |     0 |     0 |     - |  17M|   0 |   - |4443 |4920 |   0 |   0 |   0 |   0 |   0 |      --      | 8.282000e+03 |    Inf 
0.09/0.19	o 4284
0.09/0.19	c b 0.2s|     1 |     0 |     0 |     - |  21M|   0 |   - |4443 |4920 |4443 |4920 |   0 |   0 |   0 |      --      | 4.284000e+03 |    Inf 
5.19/5.22	c   5.2s|     1 |     0 | 13244 |     - |  21M|   0 |1312 |4443 |4920 |4443 |4920 |   0 |   0 |   0 | 5.000000e+00 | 4.284000e+03 |  Large 
5.19/5.27	o 1604
5.19/5.27	c R 5.3s|     1 |     0 | 13244 |     - |  21M|   0 |1312 |4443 |4920 |4443 |4920 |   0 |   0 |   0 | 5.000000e+00 | 1.604000e+03 |  Large 
5.29/5.31	o 1603
5.29/5.31	c s 5.3s|     1 |     0 | 13244 |     - |  21M|   0 |1312 |4443 |4920 |4443 |4920 |   0 |   0 |   0 | 5.000000e+00 | 1.603000e+03 |  Large 
5.29/5.32	o 483
5.29/5.32	c b 5.3s|     1 |     0 | 13244 |     - |  21M|   0 |1312 |4443 |4920 |4443 |4920 |   0 |   0 |   0 | 5.000000e+00 | 4.830000e+02 |9560.00%
5.69/5.74	c   5.7s|     1 |     0 | 13400 |     - |  21M|   0 |1478 |4443 |4920 |4443 |4923 |   3 |   0 |   0 | 5.000000e+00 | 4.830000e+02 |9560.00%
5.79/5.81	o 209
5.79/5.81	c b 5.8s|     1 |     0 | 13400 |     - |  21M|   0 |1478 |4443 |4920 |4443 |4923 |   3 |   0 |   0 | 5.000000e+00 | 2.090000e+02 |4080.00%
6.29/6.33	c   6.3s|     1 |     0 | 13511 |     - |  21M|   0 |1535 |4443 |4920 |4443 |4924 |   4 |   0 |   0 | 5.000000e+00 | 2.090000e+02 |4080.00%
6.29/6.39	o 173
6.29/6.39	c b 6.4s|     1 |     0 | 13511 |     - |  21M|   0 |1535 |4443 |4920 |4443 |4924 |   4 |   0 |   0 | 5.000000e+00 | 1.730000e+02 |3360.00%
12.88/12.93	o 6
12.88/12.93	c E12.9s|     1 |     0 | 13511 |     - |  21M|   0 |1535 |4443 |4920 |4443 |4924 |   4 |   0 |   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
12.88/12.95	c  13.0s|     1 |     0 | 13511 |     - |  21M|   0 |1535 |4443 |4920 |4443 |4924 |   4 |   0 |   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
12.88/12.96	c  13.0s|     1 |     0 | 13511 |     - |  21M|   0 |1535 |4443 |4920 |4443 |4906 |   4 |   0 |   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
17.67/17.72	c  17.7s|     1 |     2 | 13511 |     - |  21M|   0 |1535 |4443 |4902 |4443 |4906 |   4 |   0 |  18 | 5.000000e+00 | 6.000000e+00 |  20.00%
143.36/143.47	c   143s|   100 |   101 |110081 | 975.5 |  23M|  29 |1569 |4443 |4902 |4443 |4906 |   4 |   0 | 305 | 5.000000e+00 | 6.000000e+00 |  20.00%
204.35/204.45	o 5
204.35/204.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
204.35/204.45	c l 204s|   176 |     0 |183444 | 971.0 |  25M|  32 |   - |4443 |4902 |4443 |4906 |   4 |   0 | 385 | 5.000000e+00 | 5.000000e+00 |   0.00%
204.35/204.46	c 
204.35/204.46	c SCIP Status        : problem is solved [optimal solution found]
204.35/204.46	c Solving Time (sec) : 204.46
204.35/204.46	c Solving Nodes      : 176
204.35/204.46	c Primal Bound       : +5.00000000000000e+00 (12 solutions)
204.35/204.46	c Dual Bound         : +5.00000000000000e+00
204.35/204.46	c Gap                : 0.00 %
204.35/204.46	s OPTIMUM FOUND
204.35/204.46	v x1 x2860 x2859 -x2570 x4411 x2562 x4232 -x4258 -x2864 -x2567 x4412 -x2569 -x2857 x4410 -x2858 x4244 x2566 x3197 x4236 x2561 x4231 
204.35/204.46	v -x4257 x3189 x4229 -x4259 -x2568 -x2863 x4413 x4241 x4401 x4243 x3194 x2565 x3196 x4240 x2559 x3193 x4235 -x2787 x3188 x4230 
204.35/204.46	v -x4260 -x3111 -x2783 -x2861 x4242 x4405 x2782 x3195 -x4400 -x4398 x2563 -x4239 x2788 -x2560 -x2786 x3192 x4233 -x4255 x3186 
204.35/204.46	v -x4256 x4252 -x4248 x3112 x3110 -x3598 x4332 -x4447 x4446 -x3479 -x2862 x3475 x4409 -x3473 x2784 x4404 x2785 x2564 x2789 -x4237 
204.35/204.46	v -x4399 -x1112 x2770 -x4254 x3190 -x3594 x4234 -x4253 -x3187 x3593 x4251 x3113 -x4247 x3097 x3599 x4329 x3597 x4331 x4328 
204.35/204.46	v -x2271 x1108 x3483 x1107 -x3478 x4408 -x3474 x4402 x1113 -x2781 x1111 -x4238 -x2769 x3191 -x2767 x3595 x3109 x3596 x4249 x3600 
204.35/204.46	v -x4245 x4330 -x4395 x3101 x3579 x3096 -x4394 x3094 -x4327 -x4323 -x4201 -x2270 -x3948 x3989 -x3985 x3980 x4287 -x2275 -x3981 
204.35/204.46	v x4286 x2850 x3482 x1109 -x3476 x4406 x1110 -x2778 x1114 -x2780 x4403 -x574 x2853 -x2777 x2854 -x640 -x2232 x2773 x3106 -x1776 
204.35/204.46	v -x2768 x3108 x3592 x4250 x3105 x3580 x4197 -x4246 -x2235 x3584 -x2236 x3100 x3578 x4196 -x4396 -x1237 -x1779 x3576 -x4397 
204.35/204.46	v -x1780 x2141 -x3095 -x4325 -x4202 x4381 -x4200 -x4324 -x2144 -x2145 x1563 x4445 x1561 -x3930 -x2066 -x2272 -x3947 x3988 x4297 
204.35/204.46	v -x3984 x4296 x15 -x2276 x4295 x16 -x570 -x2274 x4291 -x3952 -x569 -x636 x2849 x3480 -x4284 -x4285 -x635 -x2779 x2851 -x3277 
204.35/204.46	v -x3477 x4407 -x575 x1106 x2856 -x573 x2855 -x641 -x1098 -x639 -x2776 x3280 -x1233 -x2231 -x2771 x3107 -x3281 x375 x3589 -x1232 
204.35/204.46	v -x1775 -x2233 x3591 x113 -x2238 -x1532 -x1777 -x2237 x3104 x3588 -x1238 -x1782 -x2667 -x1236 -x1781 -x3098 x3583 x4198 x4199 
204.35/204.46	v x4393 x2140 x3577 -x4203 -x4326 -x961 -x1535 -x4182 x4385 -x1536 x2142 -x3013 x4380 x2147 -x3472 x4378 x2146 x1300 x3464 x1301 
204.35/204.46	v x1297 x1564 -x2437 -x3016 x1293 -x1511 x1562 -x3017 -x3929 x18 -x2065 -x2273 x3949 -x3986 x17 -x2277 -x3982 x2259 -x3953 
204.35/204.46	v x4294 -x3062 -x3951 x4290 x2070 -x571 x3481 -x572 -x1103 -x371 -x576 -x637 -x1105 x2852 -x3276 -x555 -x638 x2836 x3065 x3323 
204.35/204.46	v -x109 -x370 -x642 -x1102 x2835 x3066 -x3278 -x621 x2834 x3283 -x108 -x1097 -x2166 -x2663 -x2774 x3282 x376 x4176 x374 -x4444 
204.35/204.46	v -x1994 -x2662 -x2772 -x3590 x114 x112 -x957 -x1234 x2234 -x1235 -x2169 x2218 -x2668 -x321 -x956 -x1239 x1531 -x1778 -x2170 -x2217 
204.35/204.46	v -x2666 x3102 -x3587 -x1218 x1762 -x1997 -x2216 -x4390 x1533 x1761 -x1998 -x2713 -x3099 -x3581 -x4392 -x962 x1538 -x1760 
204.35/204.46	v -x3220 x4195 -x960 x1537 -x2433 x4183 -x4389 -x324 -x3469 x4187 -x4226 -x325 x2143 -x2432 -x3012 -x3471 -x4181 x4384 -x1299 
204.35/204.46	v x2127 x2716 -x4179 x1298 x2126 x2717 -x3014 -x3468 -x3926 -x4379 -x2125 -x2438 x3019 -x2436 x3018 x3463 -x3925 x1296 -x1957 x1292 
204.35/204.46	v -x1510 -x3931 x6 -x2067 -x2269 x3950 -x3987 -x5 x2260 -x3319 -x3954 -x3983 -x4 x2071 x2264 -x3936 x4292 x2069 x2258 -x3061 
204.35/204.46	v -x3318 x4288 x2256 -x1104 x3063 -x3619 -x4172 -x568 -x2847 x3068 x3324 -x556 -x2848 x3067 x3322 -x4171 -x560 -x634 -x2844 
204.35/204.46	v -x372 -x554 -x622 -x1101 -x2840 x3279 -x373 -x552 -x626 -x2642 x3263 -x3622 x4177 -x110 x377 -x620 -x1095 -x2165 -x2775 -x2832 
204.35/204.46	v x3262 -x3623 x4175 -x111 x356 -x615 -x618 -x2833 x3261 x115 -x1726 -x1993 -x2167 -x2664 x3216 x94 -x2172 x2229 -x2665 -x1995 
204.35/204.46	v -x2171 x2230 -x2669 x3215 -x4222 x1231 -x1773 -x2000 -x2226 -x2617 -x2648 -x320 -x958 x1219 -x1633 -x1774 -x1999 x2222 -x3103 
204.35/204.46	v -x3585 -x4221 -x4391 -x959 -x1223 -x1729 x1770 -x3221 x4192 -x322 -x963 -x1217 x1534 -x1730 -x1766 -x2214 x2712 -x3219 -x3582 
204.35/204.46	v x4194 x327 -x942 -x1215 x1518 -x2215 -x4227 -x326 x1517 -x1758 -x1953 x2714 -x3470 -x4191 -x4225 -x4388 -x1516 -x1636 -x1759 
204.35/204.46	v -x2138 x2719 -x1637 -x1952 -x2139 x2434 x2718 x4186 -x4382 -x2120 x2135 x2435 -x1507 x2131 -x2439 -x3015 -x3467 -x4180 -x1958 
204.35/204.46	v -x2418 x2999 -x1506 -x1956 -x2123 x2998 x3461 -x3927 -x911 x1294 -x2124 x2996 -x3928 -x1290 -x1512 -x2910 x3932 -x14 x2068 
204.35/204.46	v x3946 -x10 -x857 x2072 -x2268 -x3544 -x3644 x3937 x2054 x2252 -x3941 -x4293 -x2 -x2253 x2263 -x2638 -x3320 -x3935 x4289 -x3 
204.35/204.46	v -x565 -x2846 -x3321 -x3933 -x567 -x611 -x2257 -x2637 -x2845 x3064 x3325 x3618 -x631 x3048 -x3304 -x3548 -x3647 -x564 -x610 
204.35/204.46	v -x633 x3047 x3620 -x3648 x4173 -x2643 -x2843 x3046 x3274 -x3625 x4174 -x559 -x630 -x1099 -x2613 -x2641 -x2839 x3275 -x3624 x4178 
204.35/204.46	v x369 -x616 -x3271 -x3417 x4157 x357 -x553 -x614 -x625 -x1096 -x2612 -x3267 -x3859 x107 x361 -x2228 x95 -x355 -x619 -x1725 
204.35/204.46	v x2168 x2227 -x3259 x99 -x353 -x1228 -x1772 x2152 -x2618 -x2661 -x3260 x93 -x1230 x1727 -x1771 -x1996 -x2151 -x2616 -x2649 x3217 
204.35/204.46	v x91 -x283 -x1732 -x1980 -x2150 -x2225 -x2653 x3218 -x3862 -x37 -x1227 -x1632 -x1731 -x1979 -x2116 x2221 -x2647 -x3222 -x3586 
204.35/204.46	v -x3863 x4193 -x4223 -x955 -x1529 x1769 -x1978 -x2645 x3201 -x4224 x323 -x943 -x1222 -x1530 -x1634 -x1765 -x2115 -x4228 x307 
204.35/204.46	v -x947 -x1526 -x1639 -x2137 -x2887 -x4207 x306 -x907 -x941 -x1216 -x1522 -x1638 -x2136 x2715 -x4190 -x4386 -x40 -x305 -x939 
204.35/204.46	v -x2121 x2699 -x41 -x906 -x1514 -x1954 -x2119 x2698 -x2906 -x4184 -x4383 -x1515 -x1955 x2134 x2431 x2697 -x3010 -x1959 -x2130 
204.35/204.46	v x2419 -x2905 -x3011 -x3465 -x912 -x1938 x2423 -x3007 -x910 -x1508 -x2417 x3003 x3462 -x1295 x1509 -x2415 -x2911 x3924 -x1291 
204.35/204.46	v -x1513 -x2909 x2997 x3920 -x4281 -x13 x2064 x2255 -x9 -x856 x2055 x2254 -x2267 -x2688 -x2964 -x3543 -x3643 x3945 x2059 -x566 
204.35/204.46	v x2053 x2261 -x3413 -x3645 -x3940 -x860 -x2051 -x3059 -x3317 -x3549 -x3650 -x632 -x861 -x932 -x2639 -x3060 x3305 -x3412 -x3547 
204.35/204.46	v -x3649 -x3934 -x2640 x2691 -x3056 -x3273 x3309 -x563 -x612 -x2644 -x2692 x3052 -x3272 -x3303 x3621 -x366 -x613 -x1262 -x2623 
204.35/204.46	v -x2841 -x3301 -x3418 x3605 x4170 -x279 -x368 -x557 -x617 -x629 -x1100 -x2837 x3044 -x3416 x3604 x4158 -x4432 x104 -x596 -x935 
204.35/204.46	v -x3045 -x3270 -x3603 -x4162 x106 -x278 x365 -x623 -x784 -x936 -x2614 -x3266 -x3858 x4156 -x2163 -x2615 -x2658 x4154 x103 -x360 
204.35/204.46	v -x1229 x2164 -x2619 -x2660 -x2883 -x3860 -x284 -x1991 -x2160 -x2598 x3865 -x4435 x98 -x282 -x354 x1728 -x1992 -x2156 -x2657 
204.35/204.46	v -x2882 -x3864 -x4436 -x787 -x952 -x1528 x1712 -x1988 -x2223 -x2764 x3214 -x36 -x92 -x788 -x954 -x1226 -x1527 x1711 -x1984 
204.35/204.46	v -x2148 -x2219 -x2652 x3202 -x318 x1710 x1767 -x2149 -x2888 -x3206 -x4220 -x38 x319 -x951 -x1220 -x1635 -x1763 -x1976 -x2117 
204.35/204.47	v -x2646 -x2886 x3200 -x4208 x43 -x315 -x1525 -x1619 -x1977 -x2118 x2710 -x3198 -x4212 -x4375 x42 -x311 -x946 -x1521 -x1618 -x2122 
204.35/204.47	v x2711 -x4188 -x4206 -x4387 -x1617 -x2101 x2428 x2707 -x3009 -x4204 -x303 -x908 -x940 x2430 x2703 -x3008 -x4185 -x4277 -x304 
204.35/204.47	v x909 -x1951 -x2132 -x913 -x1939 -x2128 x2427 x2695 -x2907 -x3466 -x4276 x892 -x1943 -x2696 -x2908 -x3006 -x3183 x3921 -x1937 
204.35/204.47	v x2422 -x2912 -x3002 x3923 -x1505 -x1935 x2890 -x4282 -x1366 x1501 -x2416 x3919 -x4280 -x11 x2243 -x7 -x858 x1258 -x1823 -x2063 
204.35/204.47	v x2242 -x2265 -x2687 -x2963 -x3545 x3944 -x863 -x2241 -x3058 -x3314 x3546 -x862 x1257 -x2058 x2262 -x2689 -x3057 -x3316 x3550 
204.35/204.47	v -x3646 -x3938 x2694 -x2967 x3530 -x3630 -x931 -x2052 x2693 -x2968 -x3313 -x3414 -x3629 x1263 -x1827 -x2636 -x3055 -x3415 
204.35/204.47	v -x3616 -x3628 x4167 -x367 -x561 -x933 -x1261 -x2624 x3051 -x3308 -x3419 -x3520 x3617 x4169 -x609 x938 -x2628 -x2842 -x3398 -x3613 
204.35/204.47	v -x105 -x558 -x597 -x627 -x937 -x2622 -x2760 -x2838 -x3302 -x3609 x4166 -x4431 -x601 -x2162 -x2620 -x3268 -x280 x364 -x595 
204.35/204.47	v -x624 x783 -x2161 -x2659 -x2759 -x3264 -x3601 -x4161 -x4433 -x281 -x593 -x1990 -x2611 -x3523 -x3602 x4438 -x102 -x285 -x358 
204.35/204.47	v -x495 x785 -x1989 -x2599 -x3524 x3861 -x4155 -x4371 x4437 x264 -x790 x1723 -x2159 -x2603 -x2765 -x3211 x3845 -x96 -x789 -x953 
204.35/204.47	v x1724 -x2155 -x2597 -x2656 -x2763 -x2884 -x2931 x3213 x3844 -x4370 -x317 x1720 -x1987 -x2224 -x2595 -x2885 -x3843 -x4217 -x316 
204.35/204.47	v -x1224 x1716 -x1983 -x2220 -x2650 -x2889 -x3210 -x4219 -x498 -x1630 -x1768 -x2350 -x2709 -x2868 -x4376 x39 -x446 -x499 -x950 
204.35/204.47	v -x1221 -x1631 -x1708 -x1764 x2708 -x3179 -x3205 -x4216 -x4374 x23 -x314 -x1523 -x1627 -x1709 -x2114 x2934 -x3888 x22 -x310 
204.35/204.47	v -x944 -x1519 -x1623 -x2102 x2429 -x2935 -x3178 -x3199 -x4189 -x4211 -x21 -x1948 -x2106 -x2706 -x1362 -x1615 -x1950 -x2100 
204.35/204.47	v -x2527 x2702 -x4205 x449 x905 -x1616 -x2098 -x2133 x3184 x450 x893 -x1361 -x1947 -x2129 -x2426 -x3182 x3922 -x4278 -x813 -x897 
204.35/204.47	v -x1502 x2904 -x3004 x4279 x891 -x1504 -x1942 -x2420 x2892 -x3000 x4283 x889 -x1367 -x2530 x2896 -x4261 -x1365 -x1433 x1500 
204.35/204.47	v -x1803 -x1932 -x1936 -x2531 -x2891 x3918 -x12 -x1339 x2251 -x8 -x859 -x1822 -x2062 x2247 -x2266 -x2965 -x3037 -x3315 x3942 x845 
204.35/204.47	v -x2970 x3542 -x3641 -x545 x844 x1259 -x2056 -x2239 -x2690 -x2969 x3531 -x3642 -x3939 -x843 x1260 -x1828 -x2240 -x2633 x2674 
204.35/204.47	v x3535 -x3615 -x3638 x1264 -x1826 -x2635 x2673 -x3312 x3529 -x3614 -x3634 -x4168 -x606 x1243 x2672 -x3041 -x3053 -x3411 -x3527 
204.35/204.47	v -x562 -x608 x934 -x2632 -x3049 -x3306 -x3399 -x3519 -x3626 -x548 x918 -x3403 -x3612 -x3627 -x549 -x605 -x628 x917 -x2627 -x3397 
204.35/204.47	v -x3521 -x3608 x4165 -x916 -x2608 -x3269 -x3395 -x3526 x362 -x600 -x2346 -x2610 -x2621 -x2761 -x3265 -x3525 -x4159 -x4434 
204.35/204.47	v -x277 -x1722 -x2762 x3856 x4418 -x100 x265 -x359 -x494 -x594 x786 -x1721 -x2345 -x2607 -x2766 -x3212 x3857 -x3884 -x4417 x269 
204.35/204.47	v x770 -x2157 -x2745 -x3853 -x4416 -x97 -x263 -x496 x769 -x2153 -x2602 -x2654 x2930 -x3849 -x3883 -x4218 -x4372 -x261 -x501 
204.35/204.47	v -x768 -x1612 -x1629 x1719 -x1985 -x2351 -x2881 -x4373 -x500 -x661 -x1225 -x1628 x1715 -x1981 -x2349 -x2596 -x2651 -x2869 x2932 
204.35/204.47	v -x3209 -x3841 -x4377 x34 -x1755 -x2111 -x2873 x2937 -x3842 -x3889 -x4356 x35 -x445 -x809 -x948 -x2113 -x2867 x2936 -x2989 -x3203 
204.35/204.47	v -x3887 -x4215 x31 -x312 -x1524 -x1626 -x2865 x27 -x308 -x447 -x808 -x945 -x1520 -x1622 -x1949 -x2110 x3180 -x4209 x452 
204.35/204.47	v x664 -x902 -x2704 x3181 -x19 x451 x665 -x904 -x1799 -x2105 -x2526 -x2700 x3185 -x4129 -x20 -x814 -x2901 -x2992 x3164 -x812 x901 
204.35/204.47	v -x1363 -x1503 -x1798 -x1928 -x1946 -x2099 -x2424 -x2528 -x2903 -x2993 -x1364 x2533 -x3005 -x4275 -x896 -x1368 -x1940 -x2421 
204.35/204.47	v -x2532 x2900 -x3001 x4263 -x1346 -x1804 -x4132 -x4267 x890 -x1432 x1499 -x1558 -x1802 -x1931 x2895 -x3256 -x3916 -x4133 -x4262 
204.35/204.47	v -x855 -x1317 -x1338 x2250 x3541 -x3640 -x854 -x1824 -x2060 x2246 -x2966 -x3036 x3540 -x3639 -x3668 x3943 x853 -x1825 -x2685 
204.35/204.47	v x2952 -x544 -x849 -x1829 -x2057 -x2634 x2686 -x2951 -x3539 x1256 -x1343 -x1809 -x2682 -x2950 -x3042 -x3408 -x3637 x546 -x607 
204.35/204.47	v -x841 x1244 -x2678 -x3040 -x3310 -x3410 x3534 -x3633 x551 -x842 -x929 x1248 -x3054 -x3672 x550 x930 -x1158 x1242 -x2631 -x2670 
204.35/204.47	v -x3050 -x3307 -x3407 -x3528 -x926 x1240 -x2671 -x3610 -x604 -x759 -x922 -x1608 -x2609 -x2625 -x3402 -x3522 -x3606 x4163 
204.35/204.47	v -x274 -x3506 x3855 -x4429 -x276 -x363 -x598 -x914 -x1607 -x1751 -x3396 -x3505 x3854 -x4160 -x4430 -x400 x781 -x915 x1161 x2758 
204.35/204.47	v -x3504 -x4426 -x101 -x273 x782 -x1162 -x1750 -x2347 -x2606 x2746 x4422 -x762 x778 -x1613 -x2158 -x2348 -x2750 -x2878 -x3852 
204.35/204.47	v x268 -x497 -x763 x774 -x1611 -x2154 -x2352 -x2600 -x2655 -x2744 -x2880 -x3848 -x3885 -x4414 x33 -x481 -x1717 -x1756 -x1986 -x2331 
204.35/204.47	v -x2742 -x3886 -x4369 -x4415 x32 -x262 -x480 x660 -x766 -x1713 -x1754 -x1982 -x2112 -x2877 x2933 -x3207 -x3890 -x4357 -x479 
204.35/204.47	v -x767 x2917 -x3869 -x4361 x662 -x949 -x2872 -x2916 -x2988 -x3204 -x4213 -x4355 x30 -x313 x667 -x1624 -x2915 -x4353 -x26 -x309 
204.35/204.47	v x448 x666 -x810 -x903 -x1620 -x2109 -x2866 -x2990 -x4210 x432 x811 -x2705 -x2995 x3177 -x431 -x815 -x2103 -x2701 -x2902 
204.35/204.47	v -x2994 x3165 x4128 -x430 -x794 -x3136 x3169 -x4272 x900 -x1429 -x1554 -x1800 -x1927 -x1944 -x2425 -x2529 x3163 x4130 -x4274 -x1360 
204.35/204.47	v -x1801 x2513 x3161 -x4135 -x894 -x1348 x1428 -x1805 -x1929 -x1941 -x2512 -x2899 -x4134 x4271 -x1352 -x1783 -x1934 -x2510 
204.35/204.47	v -x3838 -x300 -x1347 x1434 x1497 -x1557 -x1933 x2893 -x3255 -x3917 -x4266 -x1316 -x1340 -x2248 -x2684 x2962 -x2061 -x2244 -x2683 
204.35/204.47	v x2825 x2961 -x3038 -x3667 x852 -x1253 -x1344 -x1821 x2960 -x3039 -x848 x1255 -x1342 -x1810 x2956 -x3043 -x3409 -x3538 -x928 
204.35/204.47	v -x1321 -x1814 -x2681 -x3023 -x3635 -x3673 -x396 x547 -x927 x1252 -x1808 -x2677 -x2948 -x3311 x3532 -x3631 -x3671 x531 -x1806 
204.35/204.47	v -x2828 -x2949 -x395 x530 -x711 x1157 -x1247 -x2629 -x2829 -x3406 x529 -x925 -x3517 -x3611 -x3977 -x4428 -x275 -x602 -x758 
204.35/204.47	v -x921 x1159 x1241 -x2626 -x3400 -x3518 -x3607 -x4164 -x4427 -x401 x780 x1164 -x2755 -x3514 -x399 -x599 x760 x779 x1163 -x1609 
204.35/204.47	v -x2757 -x3510 -x714 -x765 -x1610 -x4425 -x272 -x715 -x764 -x1614 -x1752 -x2604 x2754 -x2879 -x3502 -x4421 -x492 x777 -x1593 
204.35/204.47	v -x1753 -x2344 -x3503 -x3850 -x4366 x266 -x493 -x773 -x1757 -x2332 -x2601 -x2749 -x3846 -x4368 -x489 -x1718 x1736 -x2336 x2928 
204.35/204.47	v x3882 -x485 -x1714 -x2330 -x2743 -x2876 x2929 -x3132 -x3208 x3870 -x4365 -x2328 -x2925 x3874 -x477 x663 -x2870 x2921 -x3087 
204.35/204.47	v -x3131 -x3868 -x4214 -x4360 -x28 -x443 -x478 x647 -x1625 x3174 -x3866 -x24 -x444 x646 -x1621 -x2107 -x2913 -x2991 x3176 -x3834 
204.35/204.47	v -x4354 x440 -x645 x807 -x2914 x2975 -x3137 -x436 x795 -x2104 -x2974 -x3135 x3173 -x3833 -x4273 x799 -x1357 x2524 -x2973 -x3090 
204.35/204.47	v -x428 -x793 -x898 -x1359 -x1553 -x1945 x2525 -x3091 x3168 -x3252 x4131 -x429 -x791 -x1797 x2521 -x3839 x4115 -x895 -x1356 
204.35/204.47	v x1430 -x1555 -x1785 -x1930 x2517 -x2897 -x3162 -x3251 -x3837 -x4114 -x4270 -x838 x1431 -x1560 -x1789 -x1913 -x4112 -x299 -x738 
204.35/204.47	v -x1351 x1435 x1498 -x1559 -x1784 -x1914 -x2511 x2894 -x3257 -x4264 x1318 -x1341 -x1820 -x2249 -x1030 -x1254 -x1345 -x1819 
204.35/204.47	v -x2245 x2824 -x3669 -x3973 -x850 -x1322 -x1327 x2959 x3035 -x3670 -x846 -x1320 -x1818 x2826 x2955 x3024 -x3536 -x3674 -x3972 
204.35/204.47	v x542 -x2679 -x2831 -x3028 -x3636 -x3654 x543 -x1251 -x1813 -x2675 -x2830 -x3022 x3533 -x3632 x539 -x3020 -x3516 -x3978 -x397 
204.35/204.47	v -x535 x710 -x1245 -x1807 -x2630 -x3404 -x3515 -x3976 x398 -x923 x402 -x527 -x603 x712 -x919 x1160 -x2756 -x3401 -x381 -x528 
204.35/204.47	v x717 x1144 -x3513 -x134 -x716 x761 x1143 -x3509 -x491 x745 x1142 -x1606 -x2341 -x4423 -x270 -x490 -x744 -x1080 -x1594 -x2343 
204.35/204.47	v -x2605 x2753 -x4367 -x4419 -x743 x775 -x1598 x1749 x2927 -x3851 -x3879 -x267 -x771 -x1592 x1737 -x2044 -x2340 -x2747 x2926 -x3847 
204.35/204.47	v x3881 -x137 -x488 -x1590 -x1741 -x138 -x484 x1735 -x2335 -x2874 x3878 -x4364 -x442 x658 -x1083 x1733 -x2924 -x441 x659 -x1084 
204.35/204.47	v -x2329 -x2871 -x2920 -x3086 -x3133 -x3175 x3873 -x4081 -x4358 -x29 -x655 -x804 -x2047 x2986 -x3134 -x4320 -x25 x651 x806 
204.35/204.47	v -x834 -x2048 -x2108 x2987 -x3088 -x3138 -x3867 -x439 -x2523 x2983 -x3093 -x3117 -x435 -x470 -x643 -x734 x803 -x833 -x1358 x2522 
204.35/204.47	v x2979 -x3092 -x3172 -x3835 -x644 -x1794 -x3836 -x4084 -x4126 -x296 -x733 -x798 -x899 -x1796 -x2971 x3166 -x3840 -x4085 x4127 
204.35/204.47	v -x839 -x1474 -x1925 x2520 -x2972 -x3819 x4123 -x295 -x792 -x837 -x1355 -x1556 -x1793 -x1926 -x2516 -x2898 -x3253 x4119 -x4268 
204.35/204.47	v -x473 x739 x1427 -x1539 -x1922 -x3254 -x301 -x474 x737 -x1349 x1423 -x1540 -x1788 -x1918 x3258 -x4113 -x4265 x1319 -x1337 
204.35/204.47	v x3034 -x421 -x1029 x1323 -x1328 x3033 -x541 -x851 x1305 -x1332 x2957 -x3666 -x540 -x847 -x1326 -x1817 x2827 -x2953 x3032 -x3537 
204.35/204.47	v -x3655 -x3974 -x1033 -x1324 -x2680 x2811 -x3659 -x3975 -x1034 -x1249 -x1811 -x2676 x2810 -x3027 -x3653 -x3979 -x424 x538 
204.35/204.47	v x2809 -x3651 -x3958 -x425 -x534 -x1246 -x1283 -x3021 -x3405 x394 -x924 x1155 x382 x713 -x920 x1156 -x1658 x386 x697 -x756 x1152 
204.35/204.47	v -x1603 -x3511 -x133 -x380 x696 x757 -x1148 -x1605 -x2342 -x3507 -x378 -x695 x753 -x1286 -x1746 -x4424 x135 -x271 -x749 -x1079 
204.35/204.47	v x1140 -x1287 -x1602 -x1748 x2751 -x3718 -x3880 -x4316 -x4420 x140 -x776 -x1141 -x1661 -x1687 -x139 -x741 -x772 x1081 -x1597 
204.35/204.47	v -x1662 x1745 x2043 -x2339 -x2748 -x4315 -x486 -x657 -x742 x1086 -x482 -x656 x1085 -x1591 -x1740 x2045 -x2333 -x2875 -x3877 
204.35/204.47	v -x4362 -x2050 -x2922 -x2985 x3721 -x4321 -x159 -x805 -x1470 x1734 -x2049 -x2918 -x2984 -x3722 x3871 -x4080 -x4319 -x4359 -x654 
204.35/204.47	v x3130 x650 -x686 -x1469 -x3089 x3118 -x4082 -x437 x2982 -x3073 x3122 -x4087 -x4125 -x433 -x469 x802 -x835 -x1795 x2978 -x3072 
204.35/204.47	v -x3116 -x3170 -x4086 -x4124 -x162 -x524 -x836 -x1475 -x1924 -x3071 -x3114 -x3832 -x163 x471 -x735 -x796 -x840 -x1473 -x1923 
204.35/204.47	v x3167 -x3820 x476 -x689 x736 -x819 -x1424 -x1551 x2518 -x3824 -x4122 -x297 -x475 -x690 x740 -x1353 -x1426 -x1552 -x1792 
204.35/204.47	v -x2514 -x3818 x4118 -x4269 -x298 -x718 -x1548 -x1921 x3250 -x3816 -x88 -x302 -x1350 x1422 -x1544 -x1786 -x1917 x3246 x1315 -x3665 
204.35/204.47	v -x346 -x420 x1031 x1306 -x1336 -x3664 x1036 x1310 -x2822 -x2958 -x422 -x1007 -x1035 x1304 -x1331 -x1815 x2823 -x2954 x3031 
204.35/204.47	v -x3663 -x427 x1302 x2819 -x3971 -x426 -x1250 -x1325 -x1812 -x2552 x2815 -x3025 -x3658 -x3959 -x349 -x391 x536 x1154 -x3963 
204.35/204.47	v -x350 x393 -x532 x1153 -x1282 -x1683 x2807 -x3652 -x3957 x708 -x755 -x886 -x1010 -x2808 -x3955 x390 x709 -x754 -x1011 -x1284 
204.35/204.47	v -x1604 -x1657 -x1682 -x705 x1151 -x1289 -x2555 -x3512 x385 x701 -x1147 -x1288 -x1659 -x1747 -x2556 -x3508 x752 -x1664 -x1688 
204.35/204.47	v x136 -x379 -x693 -x748 -x1601 -x1663 -x1686 x2752 -x3717 x120 -x694 -x119 x1082 -x1595 x1744 -x2337 -x3719 -x4317 -x118 -x487 
204.35/204.47	v x1066 x3724 -x4318 -x483 -x520 x1065 -x1738 x2046 -x2321 -x2334 x3723 -x3875 -x4322 -x4363 x1064 -x1137 x2030 -x2923 -x3127 
204.35/204.47	v -x4301 -x158 -x519 x2029 -x2919 -x3129 -x3872 -x652 -x2028 -x3084 -x160 x648 -x685 -x1471 -x2503 -x3085 x3126 -x4083 -x165 -x438 
204.35/204.47	v -x525 -x1472 -x2324 x2980 -x3081 -x3697 -x3829 -x4067 -x164 -x434 -x523 -x687 -x800 -x1476 -x2325 -x2976 -x3077 x3121 -x3171 
204.35/204.47	v -x3831 -x4066 -x692 -x832 -x1455 -x1550 -x2023 -x4065 -x84 x472 -x691 -x797 -x820 -x1425 -x1549 -x3069 -x3115 -x3828 x456 
204.35/204.47	v x732 -x824 -x2506 -x2519 -x3070 -x3247 -x4120 x455 x720 -x818 -x1354 -x1790 -x2507 -x2515 x3249 -x3823 -x4116 x294 x453 -x724 
204.35/204.47	v -x816 -x1547 -x1919 -x3367 -x87 x290 -x719 x1421 -x1543 -x1787 -x1915 -x3245 -x3817 -x4060 -x2821 -x345 -x882 x1032 x1314 
204.35/204.47	v -x1335 -x2820 x1018 x2803 -x3968 -x347 -x423 -x881 -x1006 x1017 -x1309 -x1329 -x1816 x2804 -x3029 -x3662 -x3970 x352 x407 -x1016 
204.35/204.47	v x2818 x351 -x392 x406 -x1008 x1303 -x2551 -x2814 -x3026 -x3656 -x3967 x405 -x537 -x707 -x887 -x1013 -x533 -x706 -x885 -x1012 
204.35/204.47	v -x2553 -x3438 -x3962 x2558 x389 x1285 -x1684 -x2557 -x3956 -x704 x1149 x1269 -x1685 x383 x700 -x1133 -x1145 -x1268 -x1660 
204.35/204.47	v -x1689 -x131 x750 -x1267 -x1644 x1668 -x3441 -x132 -x746 -x1132 -x1599 -x1643 -x3442 -x128 x1077 -x1642 -x62 x124 x1078 -x1596 
204.35/204.47	v -x1742 -x2338 -x3693 -x3720 -x1074 x1138 -x1391 -x2041 x3704 -x4314 -x116 x1070 x1136 -x1183 -x1739 -x2019 -x2042 -x2320 -x3128 
204.35/204.47	v -x3692 x3703 -x3876 -x4302 -x117 -x2038 -x3083 x3702 -x3813 -x4306 -x521 x1062 -x2018 x2034 -x2322 -x3082 -x4300 -x65 -x522 
204.35/204.47	v -x653 x1063 -x2195 -x2327 -x3698 -x4078 -x4298 -x66 -x161 -x526 -x649 -x2026 -x2326 -x2502 x3125 x3363 -x3696 -x3830 -x4079 
204.35/204.47	v -x145 -x505 -x829 -x1186 -x1468 -x2024 -x2027 x2981 -x3080 -x4075 -x144 -x688 -x801 -x831 -x1187 -x1456 -x2022 -x2504 -x2977 
204.35/204.47	v -x3076 x3119 x3362 -x4056 -x4071 -x4105 -x143 x467 -x672 -x729 -x1460 x2509 -x83 x468 -x671 x731 -x828 -x1454 -x2508 -x3248 
204.35/204.47	v -x3827 -x4055 -x4063 -x291 x464 -x670 -x1452 -x1910 x3368 -x4064 -x4121 -x85 -x293 x460 x728 -x823 -x1791 x3366 -x3821 -x4117 
204.35/204.47	v -x90 -x1545 -x1920 -x4061 -x4108 -x89 x289 x454 -x723 -x817 -x1419 -x1541 -x1916 x2739 -x3244 -x4059 -x4109 x1028 x2806 x1027 
204.35/204.47	v x1313 -x1333 -x2478 x2805 -x3969 -x418 x1026 -x3297 -x348 x419 -x883 -x1022 -x1307 -x1330 -x3030 -x3298 -x3660 x332 -x415 
204.35/204.47	v -x884 -x2816 x331 -x411 x888 -x1009 -x1014 -x2812 -x3657 -x3966 x4033 x330 -x867 x993 -x1015 -x2481 -x403 x992 -x2482 -x2554 
204.35/204.47	v -x3437 -x3960 -x404 x991 -x1280 x2538 x387 x1281 -x1387 x2537 -x3439 -x130 -x702 -x1150 x1277 -x1655 x1681 -x2536 -x3444 -x4036 
204.35/204.47	v -x129 -x384 -x698 -x1055 -x1146 x1273 -x1386 -x1656 x1669 -x3443 -x3809 -x4037 -x751 -x1076 -x1212 -x1652 -x1673 -x747 x1075 
204.35/204.47	v -x1134 -x1265 -x1600 -x1648 x1667 -x2191 -x3388 -x3808 -x127 x1135 -x1266 -x1392 x1665 -x2040 x3715 -x4012 -x4311 -x61 x123 
204.35/204.47	v x1139 -x1390 -x1640 -x1743 -x2039 -x2190 x3716 -x4313 -x986 -x1058 -x1073 x1118 -x1641 -x3712 -x3814 x63 -x1059 x1069 -x1182 
204.35/204.47	v -x3694 -x3708 -x3812 -x4310 -x68 -x2037 -x2196 -x3391 -x3695 -x4077 -x67 -x1184 -x1906 -x2020 x2033 -x2194 -x2323 -x3392 
204.35/204.47	v -x3699 -x3700 -x4076 -x4305 -x156 x518 -x1189 -x1465 x2021 -x2307 -x3678 -x3701 -x157 x506 -x830 -x1188 -x1467 -x1905 -x2025 
204.35/204.47	v -x2306 x3123 -x4299 -x153 -x466 x510 -x683 x2004 -x2305 -x3078 -x4074 -x149 x465 -x504 -x684 -x730 -x1464 -x2505 -x3074 -x3120 
204.35/204.47	v x3364 -x4070 -x4104 -x502 -x680 -x1416 -x1911 x2489 x3365 -x141 -x292 -x676 -x827 -x1459 -x1909 x2488 -x2735 x3369 -x3825 -x4057 
204.35/204.47	v -x4106 -x142 x463 -x2095 -x2487 x3348 -x4058 -x4111 -x86 x459 -x668 x727 -x821 -x1453 -x3822 -x4062 -x4110 -x69 -x669 -x1546 
204.35/204.47	v -x4040 -x70 x288 -x721 -x1420 -x1542 -x1885 x2738 -x3242 -x417 -x2207 x2794 -x3300 -x416 x1311 -x1334 -x2371 -x2477 x2793 
204.35/204.47	v -x3299 -x343 x1025 x2792 -x344 -x1021 -x1308 -x2479 -x3661 -x340 -x414 x880 x1004 -x2484 -x2817 -x336 -x410 x868 x1005 -x1208 
204.35/204.47	v -x2483 -x2813 -x3964 x4032 -x872 x1001 -x1279 -x2374 -x2549 x328 -x866 -x997 -x1207 -x1278 -x2375 -x2550 -x3961 -x4008 x4034 
204.35/204.47	v -x329 -x864 -x1654 -x1678 -x2546 x4039 -x388 x982 -x989 -x1653 -x1680 x2542 -x3440 -x4007 -x4038 -x703 -x990 -x1213 x1276 
204.35/204.47	v -x3424 -x699 x981 -x1054 -x1211 x1272 x1388 -x1583 -x1677 -x2534 -x3423 x1389 -x1651 -x2535 -x3422 -x3714 -x4013 -x1056 x1393 
204.35/204.47	v -x1647 -x1672 -x3387 x3713 -x3810 -x4011 -x4312 -x125 -x987 -x1061 x1131 -x1372 -x3811 x121 -x985 -x1060 x1119 -x1666 -x2192 
204.35/204.47	v x3389 -x3569 -x3815 -x1071 -x1123 -x1586 -x2193 -x3394 -x3711 -x3794 x64 x1067 -x1117 -x1412 -x1587 -x2197 -x3393 -x3707 -x4309 
204.35/204.47	v x48 -x155 x515 -x1115 -x2035 -x2176 -x2318 -x3691 -x3747 x47 -x154 x517 -x1185 -x1411 -x1466 -x2031 -x2091 -x2319 -x3679 
204.35/204.47	v -x4303 -x46 -x682 x1169 -x2017 -x2315 -x3572 -x3683 -x514 -x681 -x1168 -x1907 x2005 -x2090 -x2296 -x2311 -x3124 -x3573 -x3677 
204.35/204.47	v -x152 -x1167 -x1417 x1908 -x2009 x2500 -x3079 -x3675 -x3772 -x4072 -x148 x509 -x1415 -x1463 -x1912 x2003 -x2303 x2501 -x3075 
204.35/204.47	v -x4068 -x679 -x1891 -x2001 -x2096 -x2304 -x2497 -x3361 -x503 -x675 -x825 -x1457 -x2094 x2493 -x2734 x3349 -x3826 -x4107 -x81 
204.35/204.47	v -x461 x2299 x3353 -x4054 x4091 -x82 x457 -x725 -x822 -x2300 -x2485 -x2736 -x3347 -x4042 -x4090 -x78 -x2486 x2741 -x3345 -x4046 
204.35/204.47	v -x4088 -x74 x286 -x722 x1884 x2740 -x3243 -x4041 -x342 -x2206 -x2802 x3288 -x341 x1312 -x2370 -x2798 -x3287 -x877 x1003 -x1023 
204.35/204.47	v -x3286 x879 x1002 -x1019 -x2372 -x2480 x2790 -x339 -x412 -x2211 x2377 x2464 -x2548 -x2791 -x335 -x408 -x876 x2376 x2463 
204.35/204.47	v -x2547 -x3965 x1000 x2462 -x871 -x996 -x1209 -x1679 x4035 -x1210 -x2545 -x3435 x4019 -x865 x1214 -x2408 -x2541 -x3436 -x4009 
204.35/204.47	v -x4018 -x1193 x1274 -x3432 -x4010 -x4017 x983 x1270 -x1582 -x1676 -x3428 -x3743 -x4014 x984 -x1128 x1385 -x1649 -x3993 x988 
204.35/204.47	v -x1057 -x1130 x1373 -x1584 -x1645 -x1670 -x3420 -x3742 -x126 x967 -x1041 x1377 -x1589 -x2411 -x3421 -x3807 x122 -x1040 -x1127 
204.35/204.47	v -x1371 -x1588 -x2412 x3390 -x3568 -x3768 -x3795 x59 -x1039 -x1072 -x1369 -x2189 -x2317 x3374 -x3688 -x3709 -x3748 -x3799 x60 
204.35/204.47	v -x516 x1068 -x1122 -x2177 -x2316 x3373 -x3570 -x3690 -x3705 -x3746 -x3767 -x3793 -x4307 -x56 -x1180 -x2014 -x2036 -x2181 -x3372 
204.35/204.47	v -x3575 -x3791 x52 x230 -x1116 -x1181 -x1413 -x2016 -x2032 -x2175 -x3574 -x3687 -x4304 x1177 -x1414 -x2173 -x2314 -x2499 -x3773 
204.35/204.47	v -x44 -x513 x1173 -x1418 -x2013 -x2092 -x2295 -x2310 x2498 -x3682 -x3771 -x45 -x150 -x1397 -x1904 -x2093 -x3358 -x4073 -x146 
204.35/204.47	v -x205 x507 -x1165 -x1461 x1892 -x2008 -x2097 x2297 -x3360 -x3676 -x4069 -x80 -x233 -x677 -x1166 -x1868 -x1896 -x2076 x2302 
204.35/204.47	v -x2496 -x4051 -x4102 -x79 -x234 -x673 -x826 -x1458 -x1881 -x1890 -x2002 x2301 -x2492 -x3357 -x4053 -x4103 -x462 -x1888 x4099 
204.35/204.47	v -x458 -x726 -x1880 x2737 -x3352 -x4050 x4095 -x77 -x208 x2720 -x3913 -x73 -x209 x287 x1886 -x2721 x3158 -x3346 -x4045 -x4089 
204.35/204.47	v -x2208 -x2801 x3296 -x878 -x2797 -x3292 -x1024 x2212 -x2475 x2944 -x1020 x2210 -x2373 x2476 x2945 -x3284 -x337 -x413 x2357 
204.35/204.47	v x2472 -x3285 -x333 -x409 -x875 -x2356 x2468 x998 -x2355 -x3434 -x4030 -x869 -x994 x2460 -x3433 x4031 x1206 x2461 -x2543 x4027 
204.35/204.47	v -x254 x1194 -x2407 -x2539 -x4023 -x1198 x1275 x1382 -x3431 -x4006 -x1129 -x1192 x1271 x1384 -x1674 -x2409 -x2588 -x3427 -x3994 
204.35/204.47	v -x4015 x980 -x1052 -x1190 -x1650 x2414 -x3804 -x3998 -x4016 x968 -x1053 x1381 -x1585 -x1646 -x1671 -x2413 -x3744 -x3806 -x3992 
204.35/204.47	v -x58 -x257 -x972 -x1049 -x1569 -x2186 x3385 -x3745 -x3990 -x57 -x258 x966 -x1045 -x1126 -x1376 -x1568 -x2188 x3386 -x3689 
204.35/204.47	v -x3749 -x3803 x964 -x1179 -x1567 -x2591 x3382 -x3710 -x3728 -x1037 -x1120 -x1178 -x1370 x1864 -x2015 -x2185 -x2592 -x3378 
204.35/204.47	v x3571 -x3706 x3769 -x3798 -x4308 -x55 -x1038 x3555 x3770 -x51 x229 x1863 -x2180 -x3370 x3554 -x3686 -x3774 -x3792 -x1176 -x1410 
204.35/204.47	v -x1901 -x2312 -x3371 -x3553 x3753 x231 -x511 x1172 -x1398 -x1903 -x2012 -x2174 -x2308 -x3359 -x3680 -x3909 -x151 x236 -x1402 
204.35/204.47	v -x1869 -x2089 -x4101 -x147 -x181 -x204 -x235 x508 -x1396 -x1462 -x1867 x1900 -x2006 -x2077 x2298 -x3154 -x3908 -x4052 -x4100 
204.35/204.47	v -x678 -x1394 -x2081 x2282 -x2494 -x206 -x674 -x1895 -x2075 x2281 -x2490 -x3153 -x3356 -x211 -x2073 x2280 x2732 -x3914 x4098 
204.35/204.47	v -x210 x1882 -x1889 x2733 -x3350 -x3912 -x4049 -x4094 -x75 -x184 x1883 -x2729 x3159 -x71 -x185 x1887 -x2725 x3157 -x3239 -x3458 
204.35/204.47	v -x4043 -x2209 -x2474 -x2799 x2947 x3295 x2213 -x2473 -x2795 x2946 -x3291 x2201 x2368 x2369 -x3784 -x338 x2365 x2471 -x4029 
204.35/204.47	v -x334 -x873 x2361 x2467 -x4028 -x999 x1203 -x870 -x995 x1205 -x2353 -x2354 -x2544 -x3787 -x4003 x4026 -x253 x1202 -x1383 -x2540 
204.35/204.47	v -x3788 -x4005 -x4022 x977 -x1051 -x3429 -x255 x979 -x1050 -x1197 -x1675 x2410 x2587 -x3425 -x3805 -x4002 -x4346 -x260 -x1580 
204.35/204.47	v -x2387 x2394 -x3384 -x259 -x976 -x1191 -x1380 -x1581 -x2187 x2393 x2589 -x3383 -x3997 -x1048 -x1577 x2392 x2594 -x3741 -x971 
204.35/204.47	v -x1044 -x1124 -x1374 -x1573 -x2453 x2593 -x3729 -x3802 -x3991 x3381 -x3499 -x3566 -x3733 -x4349 -x965 -x1121 -x1565 -x2184 
204.35/204.47	v -x3377 x3567 -x3727 -x3796 -x4350 -x53 -x1407 -x1566 -x3563 -x3725 -x3766 -x49 -x1409 -x1490 x1865 -x1902 -x2178 x3559 -x3684 
204.35/204.47	v x3754 -x1174 x1866 -x2086 -x2313 -x2456 x3758 -x4151 x232 -x512 -x1170 -x1406 -x1870 -x2010 -x2088 -x2309 -x2457 -x3551 -x3681 
204.35/204.47	v x3752 x216 x1849 -x2293 -x3552 -x3750 -x180 x215 -x1401 x1899 -x2007 -x2085 x2294 -x3235 -x3338 -x3910 -x214 -x1493 -x1705 
204.35/204.47	v x2290 -x2495 x2731 -x3911 x182 -x207 -x1395 -x1494 -x1893 -x2080 -x2286 -x2491 x2730 -x3155 -x3234 -x3354 -x3454 -x3915 -x187 
204.35/204.47	v x191 -x3156 -x3894 x4096 -x186 x190 -x2074 -x2278 x3160 -x3351 -x4047 -x4092 -x76 x188 x1879 -x2279 -x2728 -x3139 -x3240 
204.35/204.47	v -x3341 -x72 x1875 -x2724 -x3238 -x3342 -x3457 -x4044 -x4443 x2367 -x2800 x3293 -x1088 x2366 -x2796 -x2941 -x3289 x2205 -x2940 
204.35/204.47	v x2200 -x3783 x2198 x2364 x2469 -x874 -x1204 -x2360 -x2383 x2465 -x3785 -x1091 -x3790 -x1092 -x2382 -x3789 -x4004 x4024 x978 
204.35/204.47	v x1201 -x3495 -x4020 -x1579 -x2388 x2405 -x3430 -x256 x586 -x1195 -x1578 -x2386 x2406 -x3426 -x3494 -x4001 -x4345 -x241 -x2402 
204.35/204.47	v -x3738 -x240 -x975 -x1378 -x1839 x2398 x2590 -x3740 -x3995 -x4147 -x4347 -x239 -x1046 -x1576 x2575 -x3500 -x3565 x4352 -x969 
204.35/204.47	v -x1042 -x1125 -x1375 -x1572 x2390 -x2452 -x2574 -x3498 -x3564 -x3737 -x3800 x4146 x4351 -x589 -x2391 -x2573 -x3379 -x3763 -x590 
204.35/204.47	v -x1408 -x1701 -x2182 -x2454 -x3375 -x3732 -x3765 -x3797 -x54 x1842 -x2459 -x3562 x4152 -x50 -x1445 -x1489 -x1700 x1843 -x2087 
204.35/204.47	v -x2179 -x2458 -x3558 -x3685 -x3726 -x3762 x4150 x227 -x1175 x1862 -x2292 x228 -x1171 -x1405 x1491 x1850 -x1969 -x2011 -x2291 
204.35/204.47	v -x3757 -x224 x1496 -x1706 x1854 x220 -x1399 -x1495 -x1704 -x1848 x1897 -x2084 -x3337 -x3751 -x202 -x1448 -x1846 x2289 -x3907 
204.35/204.47	v x183 x203 -x212 -x1449 -x1894 -x2078 -x2285 -x3236 -x3339 -x3355 x3453 -x3895 x169 x199 -x213 -x1876 -x1972 -x3152 -x3237 
204.35/204.47	v -x3344 -x3899 -x4097 x168 -x195 -x1878 -x1973 x3141 -x3241 -x3343 x3455 -x3893 -x4048 -x4093 x166 -x2726 x3144 -x3223 -x3460 
204.35/204.47	v -x3891 x189 x1874 -x2722 -x3140 -x3459 -x3294 -x1087 -x3290 -x1089 x2204 -x2938 -x1094 x2362 x2470 -x2939 -x1093 x2199 -x2358 
204.35/204.47	v x2466 x3786 -x2384 -x3778 -x2385 -x2404 -x3777 x4025 x1199 -x2389 x2403 -x4021 -x251 x2381 -x252 x585 -x1196 -x3496 -x3739 
204.35/204.47	v -x3999 -x248 -x2401 x2585 -x3497 -x245 x587 -x973 -x1379 -x1838 -x2397 x2586 -x3501 -x3996 -x4348 -x592 -x1047 -x1574 -x2582 
204.35/204.47	v x3487 x4337 -x237 -x591 -x970 -x1043 -x1570 -x1840 -x2579 -x3736 -x3764 -x3801 x4148 x4336 -x238 x1845 -x3380 x4149 -x4335 
204.35/204.47	v x1844 -x2183 -x2455 -x2571 -x3376 -x3730 x4153 -x226 x1859 x2444 -x2572 -x3560 x4139 -x225 -x1444 -x1702 x1861 x2443 -x3556 -x3761 
204.35/204.47	v -x1703 -x2442 -x1403 x1446 x1492 -x1707 x1858 -x1968 -x3755 -x201 -x223 x1451 x1481 -x1693 -x3904 -x200 x219 -x1400 x1450 
204.35/204.47	v -x1480 x1853 -x1898 -x1970 -x2082 -x3906 x178 -x1479 -x1975 -x2287 -x3149 x179 -x1847 -x1877 -x1974 -x2079 -x2283 -x3151 -x3340 
204.35/204.47	v -x3903 -x175 -x198 -x3233 x3329 -x172 -x194 x3148 x3225 -x3328 x3456 -x3898 -x2727 x3226 -x3326 x3445 x167 x1873 -x2723 
204.35/204.47	v x3142 -x3224 -x3446 -x3892 -x3780 -x1090 x2202 x2942 -x3779 x2363 -x2943 -x3781 x2203 -x2359 -x4442 x3782 -x250 x4441 x4440 
204.35/204.47	v -x249 x1200 x3491 -x3775 -x247 -x584 x4439 -x2400 x2584 x3490 -x3776 -x4342 -x583 x2380 x2583 x3492 -x4000 -x4341 -x246 x582 
204.35/204.47	v -x1837 x2378 -x2399 -x2581 x3493 -x4343 -x244 x588 -x974 -x1836 -x2379 -x2395 x3488 x4143 -x4344 x581 -x1575 -x1835 -x2449 -x2580 
204.35/204.47	v x3489 -x3735 x4142 -x4340 -x242 x580 -x1571 -x1841 -x2396 -x2448 -x2578 x3486 -x3734 x4144 -x4338 -x243 -x579 x1834 -x2450 
204.35/204.47	v x3484 x4145 -x4339 -x577 -x1697 -x1833 -x1860 x2451 -x2576 x3485 -x3731 x4140 -x4333 -x578 -x1443 -x1486 -x1696 -x1832 x1856 
204.35/204.47	v x2447 -x2577 -x3561 -x3760 x4141 -x4334 -x1442 -x1485 -x1698 -x1830 x2445 -x3557 -x3759 x4138 -x222 -x1441 x1487 -x1699 -x1831 
204.35/204.47	v x1855 -x1967 x2446 -x4136 -x1404 x1447 x1488 -x1694 x1857 -x1966 -x2440 -x3756 -x3905 -x4137 -x177 -x221 x1440 x1484 -x1695 
204.35/204.47	v -x1965 -x2441 -x3334 -x3901 -x176 -x217 x1439 x1482 -x1692 x1851 -x1971 -x2083 -x3150 -x3231 -x3333 -x174 -x197 x1438 x1483 
204.35/204.47	v -x1690 -x1964 -x2288 -x3146 -x3230 -x3335 -x3450 -x3900 -x218 x1436 -x1477 -x1691 x1852 -x1963 -x2284 -x3232 -x3336 x3449 
204.35/204.47	v -x3902 -x173 -x196 -x1437 -x1478 -x1962 -x3145 x3229 x3332 x3451 -x170 -x192 -x1960 x3147 x3228 -x3330 x3452 -x3896 -x1872 -x1961 
204.35/204.47	v -x3331 x3448 -x171 -x193 -x1871 x3143 x3227 -x3327 x3447 -x3897 
204.35/204.47	c SCIP Status        : problem is solved [optimal solution found]
204.35/204.47	c Total Time         :     204.46
204.35/204.47	c   solving          :     204.46
204.35/204.47	c   presolving       :       0.14 (included in solving)
204.35/204.47	c   reading          :       0.02 (included in solving)
204.35/204.47	c   copying          :       0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
204.35/204.47	c Original Problem   :
204.35/204.47	c   Problem name     : HOME/instance-3693299-1338031465.opb
204.35/204.47	c   Variables        : 4447 (4447 binary, 0 integer, 0 implicit integer, 0 continuous)
204.35/204.47	c   Constraints      : 4926 initial, 4926 maximal
204.35/204.47	c   Objective sense  : minimize
204.35/204.47	c Presolved Problem  :
204.35/204.47	c   Problem name     : t_HOME/instance-3693299-1338031465.opb
204.35/204.47	c   Variables        : 4443 (4443 binary, 0 integer, 0 implicit integer, 0 continuous)
204.35/204.47	c   Constraints      : 4920 initial, 4920 maximal
204.35/204.47	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
204.35/204.47	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
204.35/204.47	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
204.35/204.47	c   dualfix          :       0.00       0.00          2          0          0          0          0          0          0          0          0
204.35/204.47	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
204.35/204.47	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
204.35/204.47	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
204.35/204.47	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
204.35/204.47	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
204.35/204.47	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
204.35/204.47	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
204.35/204.47	c   probing          :       0.04       0.00          0          0          0          0          0          0          0          0          0
204.35/204.47	c   knapsack         :       0.01       0.00          0          0          0          0          0          0          0          0          0
204.35/204.47	c   setppc           :       0.01       0.00          0          0          0          0          0          1          0          0          0
204.35/204.47	c   linear           :       0.04       0.00          1          1          0          1          0          5          0          0          0
204.35/204.47	c   logicor          :       0.00       0.00          0          0          0          0          0          0          0          0          0
204.35/204.47	c   root node        :          -          -         23          -          -         23          -          -          -          -          -
204.35/204.47	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
204.35/204.47	c   integral         :          0          0          0          0        177          0         16          0          0          1          0          0        352
204.35/204.47	c   knapsack         :        700        700          4      12555          0          0         11          0          0          2          0          0          0
204.35/204.47	c   setppc           :       4212       4212          4      12555          0          0         10          0          0       3890          0          0          0
204.35/204.47	c   logicor          :          8          8          4         14          0          0         10          0          0          1          0          0          0
204.35/204.47	c   countsols        :          0          0          0          0          0          0         14          0          0          0          0          0          0
204.35/204.47	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
204.35/204.47	c   integral         :      72.92       0.00       0.00       0.00      72.92       0.00       0.00       0.00
204.35/204.47	c   knapsack         :       0.31       0.00       0.05       0.26       0.00       0.00       0.00       0.00
204.35/204.47	c   setppc           :       1.09       0.00       0.00       1.09       0.00       0.00       0.00       0.00
204.35/204.47	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
204.35/204.47	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
204.35/204.47	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
204.35/204.47	c   rootredcost      :          0          0          0          0
204.35/204.47	c   pseudoobj        :      12472          0          0          0
204.35/204.47	c   vbounds          :          0          0          0          0
204.35/204.47	c   redcost          :        181          0          0         23
204.35/204.47	c   probing          :          0          0          0          0
204.35/204.47	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
204.35/204.47	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00
204.35/204.47	c   pseudoobj        :       0.03       0.00       0.00       0.03       0.00
204.35/204.47	c   vbounds          :       0.01       0.00       0.00       0.01       0.00
204.35/204.47	c   redcost          :       0.01       0.00       0.00       0.01       0.00
204.35/204.47	c   probing          :       0.04       0.00       0.04       0.00       0.00
204.35/204.47	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
204.35/204.47	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
204.35/204.47	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
204.35/204.47	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
204.35/204.47	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
204.35/204.47	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
204.35/204.47	c   applied globally :          -          -          -          0        0.0          -          -          -
204.35/204.47	c   applied locally  :          -          -          -          0        0.0          -          -          -
204.35/204.47	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
204.35/204.47	c   cut pool         :       0.00                     3          -          -          0          -    (maximal pool size: 5)
204.35/204.47	c   closecuts        :       0.00       0.00          0          0          0          0          0
204.35/204.47	c   impliedbounds    :       0.00       0.00          4          0          0          0          0
204.35/204.47	c   intobj           :       0.00       0.00          0          0          0          0          0
204.35/204.47	c   gomory           :       0.70       0.00          4          0          0         67          0
204.35/204.47	c   cgmip            :       0.00       0.00          0          0          0          0          0
204.35/204.47	c   strongcg         :       0.80       0.00          4          0          0        105          0
204.35/204.47	c   cmir             :       0.10       0.00          4          0          0          0          0
204.35/204.47	c   flowcover        :       0.08       0.00          4          0          0          0          0
204.35/204.47	c   clique           :       0.01       0.00          4          0          0          0          0
204.35/204.47	c   zerohalf         :       0.00       0.00          0          0          0          0          0
204.35/204.47	c   mcf              :       0.00       0.00          1          0          0          0          0
204.35/204.47	c   oddcycle         :       0.00       0.00          0          0          0          0          0
204.35/204.47	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
204.35/204.47	c Pricers            :   ExecTime  SetupTime      Calls       Vars
204.35/204.47	c   problem variables:       0.00          -          0          0
204.35/204.47	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
204.35/204.47	c   relpscost        :      72.92       0.00        177          0          1          0          0        352
204.35/204.47	c   pscost           :       0.00       0.00          0          0          0          0          0          0
204.35/204.47	c   inference        :       0.00       0.00          0          0          0          0          0          0
204.35/204.47	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
204.35/204.47	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
204.35/204.47	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
204.35/204.47	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
204.35/204.47	c   random           :       0.00       0.00          0          0          0          0          0          0
204.35/204.47	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
204.35/204.47	c   LP solutions     :       0.00          -          -          0
204.35/204.47	c   pseudo solutions :       0.00          -          -          0
204.35/204.47	c   crossover        :       0.00       0.00          0          0
204.35/204.47	c   oneopt           :       0.02       0.00          5          4
204.35/204.47	c   guideddiving     :       4.37       0.00          1          0
204.35/204.47	c   coefdiving       :      11.07       0.00          1          0
204.35/204.47	c   objpscostdiving  :       0.17       0.00          1          0
204.35/204.47	c   rootsoldiving    :       4.42       0.00          1          0
204.35/204.47	c   pscostdiving     :      24.25       0.00          2          0
204.35/204.47	c   fracdiving       :       5.94       0.00          2          0
204.35/204.47	c   veclendiving     :      20.22       0.00          2          0
204.35/204.47	c   smallcard        :       0.00       0.00          0          0
204.35/204.47	c   trivial          :       0.01       0.00          2          4
204.35/204.47	c   shiftandpropagate:       0.00       0.00          0          0
204.35/204.47	c   simplerounding   :       0.00       0.00          0          0
204.35/204.47	c   zirounding       :       0.07       0.00        175          0
204.35/204.47	c   rounding         :       4.08       0.00        179          1
204.35/204.47	c   shifting         :       0.52       0.00         21          1
204.35/204.47	c   intshifting      :       0.00       0.00          0          0
204.35/204.47	c   twoopt           :       0.00       0.00          0          0
204.35/204.47	c   indoneopt        :       0.00       0.00          0          0
204.35/204.47	c   indtwoopt        :       0.00       0.00          0          0
204.35/204.47	c   fixandinfer      :       0.00       0.00          0          0
204.35/204.47	c   feaspump         :       0.00       0.00          0          0
204.35/204.47	c   clique           :       0.00       0.00          0          0
204.35/204.47	c   indcoefdiving    :       0.00       0.00          0          0
204.35/204.47	c   indrounding      :       0.00       0.00          0          0
204.35/204.47	c   nlpdiving        :       0.00       0.00          0          0
204.35/204.47	c   intdiving        :       0.00       0.00          0          0
204.35/204.47	c   actconsdiving    :       0.00       0.00          0          0
204.35/204.47	c   linesearchdiving :      18.24       0.00          2          1
204.35/204.47	c   octane           :       0.00       0.00          0          0
204.35/204.47	c   rens             :       6.10       0.00          1          1
204.35/204.47	c   rins             :       0.00       0.00          0          0
204.35/204.47	c   localbranching   :       0.00       0.00          0          0
204.35/204.47	c   mutation         :       0.00       0.00          0          0
204.35/204.47	c   dins             :       0.00       0.00          0          0
204.35/204.47	c   vbounds          :       0.00       0.00          0          0
204.35/204.47	c   undercover       :       0.00       0.00          0          0
204.35/204.47	c   subnlp           :       0.00       0.00          0          0
204.35/204.47	c   trysol           :       0.00       0.00          0          0
204.35/204.47	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
204.35/204.47	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
204.35/204.47	c   dual LP          :      29.80        182      61757     345.01    2072.55       0.02          3
204.35/204.47	c   lex dual LP      :       0.00          0          0       0.00          -
204.35/204.47	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
204.35/204.47	c   diving/probing LP:      79.74       6781     121687      17.95    1526.07
204.35/204.47	c   strong branching :      72.82        385     140118     363.94    1924.12
204.35/204.47	c     (at root node) :          -         18       7955     441.94          -
204.35/204.47	c   conflict analysis:       0.00          0          0       0.00          -
204.35/204.47	c B&B Tree           :
204.35/204.47	c   number of runs   :          1
204.35/204.47	c   nodes            :        176
204.35/204.47	c   nodes (total)    :        176
204.35/204.47	c   nodes left       :          0
204.35/204.47	c   max depth        :         32
204.35/204.47	c   max depth (total):         32
204.35/204.47	c   backtracks       :         11 (6.2%)
204.35/204.47	c   delayed cutoffs  :          0
204.35/204.47	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
204.35/204.47	c   avg switch length:       2.05
204.35/204.47	c   switching time   :       0.03
204.35/204.47	c Solution           :
204.35/204.47	c   Solutions found  :         12 (11 improvements)
204.35/204.47	c   First Solution   : +8.32400000000000e+03   (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
204.35/204.47	c   Primal Bound     : +5.00000000000000e+00   (in run 1, after 176 nodes, 204.45 seconds, depth 844, found by <linesearchdiving>)
204.35/204.47	c   Dual Bound       : +5.00000000000000e+00
204.35/204.47	c   Gap              :       0.00 %
204.35/204.47	c   Root Dual Bound  : +5.00000000000000e+00
204.35/204.47	c   Root Iterations  :      13511
204.45/204.51	c Time complete: 204.46.

Verifier Data

OK	5

Watcher Data

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-3693299-1338031465/watcher-3693299-1338031465 -o /tmp/evaluation-result-3693299-1338031465/solver-3693299-1338031465 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693299-1338031465.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.04 2.00 1.85 3/172 8423
/proc/meminfo: memFree=28958868/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=12480 CPUtime=0 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 1861 0 0 0 0 0 0 0 20 0 1 0 269271992 12779520 1817 33554432000 4194304 10169799 140733339381968 140733339381080 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 3120 1830 403 1459 0 1652 0

[startup+0.022264 s]
/proc/loadavg: 2.04 2.00 1.85 3/172 8423
/proc/meminfo: memFree=28958868/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=16748 CPUtime=0.01 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 2953 0 0 0 1 0 0 0 20 0 1 0 269271992 17149952 2908 33554432000 4194304 10169799 140733339381968 140733339381080 4656112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 4187 2908 419 1459 0 2719 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16748

[startup+0.100228 s]
/proc/loadavg: 2.04 2.00 1.85 3/172 8423
/proc/meminfo: memFree=28958868/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=39072 CPUtime=0.09 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 8626 0 0 0 8 1 0 0 20 0 1 0 269271992 40009728 8199 33554432000 4194304 10169799 140733339381968 140733339379912 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 9768 8199 595 1459 0 8300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39072

[startup+0.300209 s]
/proc/loadavg: 2.04 2.00 1.85 3/172 8423
/proc/meminfo: memFree=28958868/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=55768 CPUtime=0.29 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 12931 0 0 0 26 3 0 0 20 0 1 0 269271992 57106432 12474 33554432000 4194304 10169799 140733339381968 140733339376376 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 13942 12474 769 1459 0 12474 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55768

[startup+0.700215 s]
/proc/loadavg: 2.04 2.00 1.85 3/172 8423
/proc/meminfo: memFree=28958868/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=55984 CPUtime=0.69 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 13066 0 0 0 66 3 0 0 20 0 1 0 269271992 57327616 12609 33554432000 4194304 10169799 140733339381968 140733339376760 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 13996 12609 769 1459 0 12528 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55984

[startup+1.50018 s]
/proc/loadavg: 2.04 2.00 1.85 3/177 8509
/proc/meminfo: memFree=28853668/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=56140 CPUtime=1.48 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 13092 0 0 0 145 3 0 0 20 0 1 0 269271992 57487360 12635 33554432000 4194304 10169799 140733339381968 140733339376376 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 14035 12635 769 1459 0 12567 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 56140

[startup+3.10018 s]
/proc/loadavg: 2.04 2.00 1.85 3/177 8509
/proc/meminfo: memFree=28830100/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=56408 CPUtime=3.09 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 13182 0 0 0 305 4 0 0 20 0 1 0 269271992 57761792 12725 33554432000 4194304 10169799 140733339381968 140733339376376 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 14102 12725 769 1459 0 12634 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56408

[startup+6.30018 s]
/proc/loadavg: 2.04 2.00 1.85 3/177 8509
/proc/meminfo: memFree=28827124/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=58400 CPUtime=6.29 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 13958 0 0 0 623 6 0 0 20 0 1 0 269271992 59801600 13424 33554432000 4194304 10169799 140733339381968 140733339378072 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 14600 13424 816 1459 0 13132 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58400

[startup+12.7002 s]
/proc/loadavg: 2.03 2.00 1.85 3/177 8509
/proc/meminfo: memFree=28790480/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=93552 CPUtime=12.68 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 22516 0 0 0 1255 13 0 0 20 0 1 0 269271992 95797248 21961 33554432000 4194304 10169799 140733339381968 140733339373512 5746896 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 23388 21961 830 1459 0 21920 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93552

[startup+25.5001 s]
/proc/loadavg: 2.02 2.00 1.85 3/177 8509
/proc/meminfo: memFree=28824820/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=59152 CPUtime=25.47 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 22668 0 0 0 2529 18 0 0 20 0 1 0 269271992 60571648 13779 33554432000 4194304 10169799 140733339381968 140733339376616 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 14788 13779 853 1459 0 13320 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 59152

[startup+51.1002 s]
/proc/loadavg: 2.02 2.00 1.85 3/177 8509
/proc/meminfo: memFree=28823804/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=58952 CPUtime=51.07 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 23070 0 0 0 5081 26 0 0 20 0 1 0 269271992 60366848 13986 33554432000 4194304 10169799 140733339381968 140733339376952 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 14738 13986 853 1459 0 13270 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 58952

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 8509
/proc/meminfo: memFree=28806444/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=62260 CPUtime=102.27 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 23836 0 0 0 10186 41 0 0 20 0 1 0 269271992 63754240 14752 33554432000 4194304 10169799 140733339381968 140733339378104 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 15565 14752 853 1459 0 14097 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 62260

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 8509
/proc/meminfo: memFree=28790636/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=65544 CPUtime=162.25 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 25649 0 0 0 16169 56 0 0 20 0 1 0 269271992 67117056 15643 33554432000 4194304 10169799 140733339381968 140733339376664 6797102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 16386 15643 853 1459 0 14918 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 65544

Solver just ended. Dumping a history of the last processes samples

[startup+179.1 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 8510
/proc/meminfo: memFree=28781464/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=66932 CPUtime=179.05 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 25985 0 0 0 17845 60 0 0 20 0 1 0 269271992 68538368 15979 33554432000 4194304 10169799 140733339381968 140733339376568 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 16733 15979 853 1459 0 15265 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 66932

[startup+191.9 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 8510
/proc/meminfo: memFree=28780720/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=66932 CPUtime=191.84 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 25985 0 0 0 19122 62 0 0 20 0 1 0 269271992 68538368 15979 33554432000 4194304 10169799 140733339381968 140733339376472 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 16733 15979 853 1459 0 15265 0
Current children cumulated CPU time (s) 191.84
Current children cumulated vsize (KiB) 66932

[startup+198.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 8510
/proc/meminfo: memFree=28778920/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=66932 CPUtime=198.25 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 25986 0 0 0 19761 64 0 0 20 0 1 0 269271992 68538368 15979 33554432000 4194304 10169799 140733339381968 140733339376152 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 16733 15979 853 1459 0 15265 0
Current children cumulated CPU time (s) 198.25
Current children cumulated vsize (KiB) 66932

[startup+201.5 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 8510
/proc/meminfo: memFree=28778796/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=66932 CPUtime=201.45 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 25986 0 0 0 20080 65 0 0 20 0 1 0 269271992 68538368 15979 33554432000 4194304 10169799 140733339381968 140733339378168 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 16733 15979 853 1459 0 15265 0
Current children cumulated CPU time (s) 201.45
Current children cumulated vsize (KiB) 66932

[startup+203.1 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 8510
/proc/meminfo: memFree=28778672/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=66932 CPUtime=203.04 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 25986 0 0 0 20238 66 0 0 20 0 1 0 269271992 68538368 15979 33554432000 4194304 10169799 140733339381968 140733339376440 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 16733 15979 853 1459 0 15265 0
Current children cumulated CPU time (s) 203.04
Current children cumulated vsize (KiB) 66932

[startup+203.9 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 8510
/proc/meminfo: memFree=28778424/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=66932 CPUtime=203.85 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 25986 0 0 0 20318 67 0 0 20 0 1 0 269271992 68538368 15979 33554432000 4194304 10169799 140733339381968 140733339376056 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 16733 15979 853 1459 0 15265 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 66932

[startup+204.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 8510
/proc/meminfo: memFree=28778424/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=66932 CPUtime=204.25 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 25986 0 0 0 20358 67 0 0 20 0 1 0 269271992 68538368 15979 33554432000 4194304 10169799 140733339381968 140733339376056 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 16733 15979 853 1459 0 15265 0
Current children cumulated CPU time (s) 204.25
Current children cumulated vsize (KiB) 66932

[startup+204.5 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 8510
/proc/meminfo: memFree=28779168/32873648 swapFree=6856/6856
[pid=8423] ppid=8421 vsize=59332 CPUtime=204.45 cores=0,2,4,6
/proc/8423/stat : 8423 (scip-2.1.1.4sfi) R 8421 8423 7220 0 -1 4202496 25988 0 0 0 20378 67 0 0 20 0 1 0 269271992 60755968 14081 33554432000 4194304 10169799 140733339381968 140733339376056 7542233 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8423/statm: 14833 14081 855 1459 0 13365 0
Current children cumulated CPU time (s) 204.45
Current children cumulated vsize (KiB) 59332

Child status: 0
Real time (s): 204.512
CPU time (s): 204.469
CPU user time (s): 203.792
CPU system time (s): 0.676897
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 93552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.792
system time used= 0.676897
maximum resident set size= 88276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25990
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= 15
involuntary context switches= 274

runsolver used 0.310952 second user time and 0.813876 second system time

The end

Launcher Data

Begin job on node125 at 2012-05-26 13:24:26
IDJOB=3693299
IDBENCH=2230
IDSOLVER=2272
FILE ID=node125/3693299-1338031465
RUNJOBID= node125-1338029661-8139
PBS_JOBID= 14624346
Free space on /tmp= 71276 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693299-1338031465/watcher-3693299-1338031465 -o /tmp/evaluation-result-3693299-1338031465/solver-3693299-1338031465 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693299-1338031465.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 19d2194cc03557fbd803cc33882ae5ce
RANDOM SEED=1193506404

node125.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.373
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.74
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.373
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.373
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.373
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.90
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.373
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.91
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.373
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	: 5438.54
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.373
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.91
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.373
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28959356 kB
Buffers:          238736 kB
Cached:          2883832 kB
SwapCached:            0 kB
Active:          1094572 kB
Inactive:        2040628 kB
Active(anon):      15584 kB
Inactive(anon):        0 kB
Active(file):    1078988 kB
Inactive(file):  2040628 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             13812 kB
Writeback:             0 kB
AnonPages:         19964 kB
Mapped:            14128 kB
Shmem:               200 kB
Slab:             641684 kB
SReclaimable:      84660 kB
SUnreclaim:       557024 kB
KernelStack:        1432 kB
PageTables:         4036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71264 MiB
End job on node125 at 2012-05-26 13:27:50