Trace number 2704840

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT4241573758 21.7027 21.7087

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-randc5fe62.cudf.trendy.opb
MD5SUM43875142ae1c220985d6e8b2ab6ecef8
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4241573758
Best CPU time to get the best result obtained on this benchmark12.3381
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6791
Total number of constraints28455
Number of constraints which are clauses28164
Number of constraints which are cardinality constraints (but not clauses)291
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 3172
Biggest coefficient in the objective function 4004529472
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 2210495226091
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 4004529472
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 2210495226091
Number of bits of the biggest sum of numbers42
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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2704840-1278580116.opb>
0.40/0.43	c original problem has 6791 variables (6791 bin, 0 int, 0 impl, 0 cont) and 28455 constraints
0.40/0.43	c problem read
0.40/0.43	c presolving settings loaded
0.49/0.57	c presolving:
0.69/0.72	c (round 1) 1076 del vars, 2145 del conss, 34 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 60930 impls, 286 clqs
0.69/0.75	c (round 2) 1181 del vars, 2538 del conss, 78 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 68271 impls, 285 clqs
0.69/0.78	c (round 3) 1347 del vars, 5239 del conss, 167 chg bounds, 11 chg sides, 19 chg coeffs, 0 upgd conss, 69514 impls, 282 clqs
0.79/0.82	c (round 4) 2037 del vars, 9698 del conss, 255 chg bounds, 23 chg sides, 58 chg coeffs, 0 upgd conss, 70085 impls, 276 clqs
0.79/0.83	c (round 5) 2118 del vars, 10263 del conss, 298 chg bounds, 32 chg sides, 70 chg coeffs, 0 upgd conss, 70602 impls, 275 clqs
0.79/0.85	c (round 6) 2178 del vars, 10661 del conss, 309 chg bounds, 37 chg sides, 82 chg coeffs, 0 upgd conss, 70705 impls, 275 clqs
0.79/0.86	c (round 7) 2198 del vars, 10737 del conss, 309 chg bounds, 42 chg sides, 88 chg coeffs, 0 upgd conss, 70725 impls, 275 clqs
0.79/0.87	c (round 8) 2201 del vars, 10739 del conss, 310 chg bounds, 42 chg sides, 89 chg coeffs, 0 upgd conss, 70728 impls, 275 clqs
0.79/0.87	c (round 9) 2202 del vars, 10749 del conss, 310 chg bounds, 42 chg sides, 90 chg coeffs, 0 upgd conss, 70730 impls, 275 clqs
1.00/1.04	c (round 10) 2203 del vars, 12121 del conss, 310 chg bounds, 43 chg sides, 90 chg coeffs, 16288 upgd conss, 70730 impls, 275 clqs
1.00/1.10	c (round 11) 2205 del vars, 12123 del conss, 310 chg bounds, 43 chg sides, 90 chg coeffs, 16288 upgd conss, 70730 impls, 275 clqs
1.10/1.16	c (round 12) 2205 del vars, 12128 del conss, 310 chg bounds, 45 chg sides, 90 chg coeffs, 16288 upgd conss, 70730 impls, 275 clqs
1.10/1.18	c (round 13) 2207 del vars, 12130 del conss, 310 chg bounds, 45 chg sides, 90 chg coeffs, 16329 upgd conss, 70730 impls, 275 clqs
1.19/1.22	c (round 14) 2207 del vars, 12131 del conss, 310 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 70730 impls, 275 clqs
2.09/2.11	c (round 15) 2257 del vars, 12131 del conss, 310 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 88653 impls, 270 clqs
2.09/2.12	c (round 16) 2261 del vars, 12251 del conss, 310 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 88830 impls, 270 clqs
2.09/2.16	c (round 17) 2265 del vars, 12273 del conss, 310 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 88830 impls, 270 clqs
2.09/2.19	c (round 18) 2265 del vars, 12325 del conss, 310 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 88830 impls, 270 clqs
3.19/3.25	c (round 19) 2315 del vars, 12325 del conss, 310 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 91898 impls, 269 clqs
3.19/3.27	c (round 20) 2319 del vars, 12398 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 91947 impls, 269 clqs
3.19/3.30	c (round 21) 2320 del vars, 12406 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 91947 impls, 269 clqs
3.29/3.33	c (round 22) 2320 del vars, 12450 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 91947 impls, 269 clqs
4.19/4.28	c (round 23) 2370 del vars, 12450 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 98909 impls, 268 clqs
4.19/4.30	c (round 24) 2373 del vars, 12515 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 98935 impls, 268 clqs
4.29/4.34	c (round 25) 2373 del vars, 12522 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 98935 impls, 268 clqs
4.29/4.37	c (round 26) 2373 del vars, 12566 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 98935 impls, 268 clqs
5.19/5.26	c (round 27) 2423 del vars, 12566 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 101351 impls, 268 clqs
5.19/5.29	c (round 28) 2425 del vars, 12617 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 101355 impls, 268 clqs
5.29/5.32	c (round 29) 2425 del vars, 12619 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 101355 impls, 268 clqs
5.29/5.37	c (round 30) 2425 del vars, 12675 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 101355 impls, 268 clqs
5.39/5.42	c (round 31) 2425 del vars, 12690 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 101355 impls, 268 clqs
5.69/5.76	c    (5.3s) probing: 1000/4584 (21.8%) - 23 fixings, 186 aggregations, 7515 implications, 0 bound changes
6.29/6.32	c (round 32) 2475 del vars, 12690 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 103981 impls, 266 clqs
6.29/6.34	c (round 33) 2478 del vars, 12750 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 104057 impls, 266 clqs
6.29/6.38	c (round 34) 2478 del vars, 12758 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 104057 impls, 266 clqs
6.39/6.41	c (round 35) 2478 del vars, 12810 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 104057 impls, 266 clqs
7.28/7.38	c (round 36) 2528 del vars, 12810 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 106716 impls, 266 clqs
7.38/7.41	c (round 37) 2528 del vars, 12862 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 106716 impls, 266 clqs
7.38/7.46	c (round 38) 2528 del vars, 12909 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 106716 impls, 266 clqs
7.48/7.51	c (round 39) 2528 del vars, 12911 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 106716 impls, 266 clqs
7.48/7.59	c (round 40) 2528 del vars, 12914 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 106716 impls, 266 clqs
8.28/8.38	c (round 41) 2578 del vars, 12914 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 107810 impls, 265 clqs
8.28/8.39	c (round 42) 2583 del vars, 12980 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 107942 impls, 265 clqs
8.38/8.45	c (round 43) 2583 del vars, 12993 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 107942 impls, 265 clqs
8.38/8.48	c (round 44) 2583 del vars, 13029 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 107942 impls, 265 clqs
9.08/9.19	c (round 45) 2633 del vars, 13029 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 109277 impls, 265 clqs
9.18/9.22	c (round 46) 2637 del vars, 13088 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 109323 impls, 265 clqs
9.18/9.25	c (round 47) 2637 del vars, 13093 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 109323 impls, 265 clqs
9.28/9.34	c (round 48) 2637 del vars, 13136 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 109323 impls, 265 clqs
9.49/9.58	c    (9.1s) probing: 2000/4584 (43.6%) - 47 fixings, 363 aggregations, 10358 implications, 0 bound changes
9.99/10.04	c (round 49) 2687 del vars, 13136 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 110338 impls, 264 clqs
9.99/10.08	c (round 50) 2689 del vars, 13194 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 110344 impls, 264 clqs
10.09/10.11	c (round 51) 2689 del vars, 13197 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 110344 impls, 264 clqs
10.09/10.18	c (round 52) 2689 del vars, 13241 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 110344 impls, 264 clqs
10.79/10.84	c (round 53) 2739 del vars, 13241 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 110916 impls, 264 clqs
10.79/10.88	c (round 54) 2740 del vars, 13302 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 110920 impls, 264 clqs
11.39/11.42	c (round 55) 2790 del vars, 13303 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 111418 impls, 263 clqs
11.39/11.45	c (round 56) 2790 del vars, 13358 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 111418 impls, 263 clqs
11.49/11.50	c (round 57) 2790 del vars, 13456 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 111418 impls, 263 clqs
11.89/11.99	c (round 58) 2840 del vars, 13456 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112033 impls, 263 clqs
12.00/12.02	c (round 59) 2842 del vars, 13509 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112105 impls, 263 clqs
12.00/12.06	c (round 60) 2842 del vars, 13515 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112105 impls, 263 clqs
12.10/12.10	c (round 61) 2842 del vars, 13560 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112105 impls, 263 clqs
12.59/12.64	c (round 62) 2892 del vars, 13560 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112453 impls, 263 clqs
12.59/12.67	c (round 63) 2894 del vars, 13623 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112503 impls, 263 clqs
12.69/12.72	c (round 64) 2894 del vars, 13627 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112503 impls, 263 clqs
12.69/12.76	c (round 65) 2894 del vars, 13670 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112503 impls, 263 clqs
12.79/12.83	c (round 66) 2894 del vars, 13681 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112503 impls, 263 clqs
12.89/12.92	c (round 67) 2894 del vars, 13773 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112503 impls, 263 clqs
13.10/13.14	c    (12.7s) probing: 3000/4584 (65.4%) - 66 fixings, 613 aggregations, 11778 implications, 0 bound changes
13.20/13.27	c (round 68) 2944 del vars, 13773 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112673 impls, 263 clqs
13.29/13.32	c (round 69) 2946 del vars, 13840 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112679 impls, 263 clqs
13.29/13.36	c (round 70) 2946 del vars, 13843 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112679 impls, 263 clqs
13.29/13.39	c (round 71) 2946 del vars, 13889 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 112679 impls, 263 clqs
13.79/13.88	c (round 72) 2996 del vars, 13889 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 113099 impls, 263 clqs
14.30/14.32	c (round 73) 2997 del vars, 14074 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 113101 impls, 263 clqs
14.89/14.96	c (round 74) 3047 del vars, 14075 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 113765 impls, 263 clqs
14.89/14.99	c (round 75) 3048 del vars, 14137 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 113787 impls, 263 clqs
15.59/15.66	c (round 76) 3098 del vars, 14138 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 114729 impls, 263 clqs
15.59/15.69	c (round 77) 3102 del vars, 14213 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 114749 impls, 263 clqs
15.69/15.73	c (round 78) 3102 del vars, 14221 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 114749 impls, 263 clqs
15.69/15.76	c (round 79) 3102 del vars, 14337 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 114749 impls, 263 clqs
15.79/15.84	c (round 80) 3102 del vars, 14347 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 114749 impls, 263 clqs
16.50/16.50	c (round 81) 3152 del vars, 14347 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 116907 impls, 263 clqs
16.50/16.56	c (round 82) 3155 del vars, 14473 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 116975 impls, 263 clqs
16.50/16.60	c (round 83) 3155 del vars, 14478 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 116975 impls, 263 clqs
16.59/16.63	c (round 84) 3155 del vars, 14489 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 116975 impls, 263 clqs
16.69/16.74	c (round 85) 3155 del vars, 14545 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 116975 impls, 263 clqs
16.69/16.79	c    (16.4s) probing: 4000/4584 (87.3%) - 115 fixings, 785 aggregations, 14459 implications, 0 bound changes
17.69/17.75	c (round 86) 3205 del vars, 14545 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 120205 impls, 263 clqs
17.69/17.78	c (round 87) 3245 del vars, 14649 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 120523 impls, 263 clqs
17.79/17.84	c (round 88) 3245 del vars, 14706 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 120523 impls, 263 clqs
17.89/17.91	c (round 89) 3245 del vars, 14721 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 120523 impls, 263 clqs
18.39/18.40	c (round 90) 3282 del vars, 14721 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 123399 impls, 263 clqs
18.39/18.47	c (round 91) 3323 del vars, 14805 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 124145 impls, 263 clqs
18.49/18.50	c (round 92) 3323 del vars, 14849 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 124145 impls, 263 clqs
18.49/18.60	c (round 93) 3323 del vars, 14944 del conss, 311 chg bounds, 45 chg sides, 90 chg coeffs, 16330 upgd conss, 124145 impls, 263 clqs
18.60/18.63	c presolving (94 rounds):
18.60/18.63	c  3323 deleted vars, 14944 deleted constraints, 311 tightened bounds, 0 added holes, 45 changed sides, 90 changed coefficients
18.60/18.63	c  124145 implications, 263 cliques
18.60/18.63	c presolved problem has 3468 variables (3468 bin, 0 int, 0 impl, 0 cont) and 13514 constraints
18.60/18.63	c    5901 constraints of type <setppc>
18.60/18.63	c    7613 constraints of type <logicor>
18.60/18.63	c transformed objective value is always integral (scale: 1)
18.60/18.63	c Presolving Time: 18.11
18.60/18.63	c - non default parameters ----------------------------------------------------------------------
18.60/18.63	c # SCIP version 1.2.1.3
18.60/18.63	c 
18.60/18.63	c # frequency for displaying node information lines
18.60/18.63	c # [type: int, range: [-1,2147483647], default: 100]
18.60/18.63	c display/freq = 10000
18.60/18.63	c 
18.60/18.63	c # maximal time in seconds to run
18.60/18.63	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.60/18.63	c limits/time = 1789.57
18.60/18.63	c 
18.60/18.63	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.60/18.63	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.60/18.63	c limits/memory = 1620
18.60/18.63	c 
18.60/18.63	c # default clock type (1: CPU user seconds, 2: wall clock time)
18.60/18.63	c # [type: int, range: [1,2], default: 1]
18.60/18.63	c timing/clocktype = 2
18.60/18.63	c 
18.60/18.63	c # should presolving try to simplify inequalities
18.60/18.63	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.60/18.63	c constraints/linear/simplifyinequalities = TRUE
18.60/18.63	c 
18.60/18.63	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
18.60/18.63	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.60/18.63	c constraints/indicator/addCouplingCons = TRUE
18.60/18.63	c 
18.60/18.63	c # should presolving try to simplify knapsacks
18.60/18.63	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.60/18.63	c constraints/knapsack/simplifyinequalities = TRUE
18.60/18.63	c 
18.60/18.63	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
18.60/18.63	c # [type: int, range: [-1,2147483647], default: -1]
18.60/18.63	c separating/rapidlearning/freq = 0
18.60/18.63	c 
18.60/18.63	c -----------------------------------------------------------------------------------------------
18.60/18.63	c start solving
18.60/18.64	c 
18.89/18.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.89/18.90	c  18.5s|     1 |     0 |  1090 |     - |  39M|   0 | 424 |3468 |  13k|3468 |  11k|   0 |   0 |   0 | 4.172331e+09 |      --      |    Inf 
18.89/18.92	o -2147483648
18.89/18.92	c s18.5s|     1 |     0 |  1090 |     - |  39M|   0 | 424 |3468 |  13k|3468 |  11k|   0 |   0 |   0 | 4.172331e+09 | 1.643622e+11 |3839.34%
19.69/19.77	c  19.3s|     1 |     0 |  1341 |     - |  40M|   0 |  42 |3468 |  13k|3468 |  11k| 423 |   0 |   0 | 4.230226e+09 | 1.643622e+11 |3785.42%
19.69/19.79	o -2147483648
19.69/19.79	c b19.4s|     1 |     0 |  1341 |     - |  40M|   0 |  42 |3468 |  13k|3468 |  11k| 423 |   0 |   0 | 4.230226e+09 | 1.643572e+11 |3785.31%
19.69/19.80	o -2147483648
19.69/19.80	c s19.4s|     1 |     0 |  1341 |     - |  40M|   0 |  42 |3468 |  13k|3468 |  11k| 423 |   0 |   0 | 4.230226e+09 | 4.241574e+09 |   0.27%
20.49/20.56	c  20.1s|     1 |     0 |  1359 |     - |  39M|   0 |   9 |3468 |  11k|3468 |  10k| 439 |   0 |   0 | 4.240313e+09 | 4.241574e+09 |   0.03%
20.49/20.57	o -2147483648
20.49/20.57	c R20.1s|     1 |     0 |  1359 |     - |  39M|   0 |   9 |3468 |  11k|3468 |  10k| 439 |   0 |   0 | 4.240313e+09 | 4.241574e+09 |   0.03%
21.49/21.58	c  21.1s|     1 |     0 |  1364 |     - |  33M|   0 |   - |3468 |3063 |3468 |2103 | 445 |   0 |   0 | 4.241574e+09 | 4.241574e+09 |   0.00%
21.49/21.58	c  21.1s|     1 |     0 |  1364 |     - |  33M|   0 |   - |3468 |3063 |3468 |2103 | 445 |   0 |   0 | 4.241574e+09 | 4.241574e+09 |   0.00%
21.49/21.58	c 
21.49/21.58	c SCIP Status        : problem is solved [optimal solution found]
21.49/21.58	c Solving Time (sec) : 21.15
21.49/21.58	c Solving Nodes      : 1
21.49/21.58	c Primal Bound       : +4.24157375800000e+09 (4 solutions)
21.49/21.58	c Dual Bound         : +4.24157375800000e+09
21.49/21.58	c Gap                : 0.00 %
21.59/21.62	s OPTIMUM FOUND
21.59/21.62	v -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 
21.59/21.62	v -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 x3586 -x3585 -x3584 -x3583 
21.59/21.62	v -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 
21.59/21.62	v -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 
21.59/21.62	v -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 
21.59/21.62	v -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 
21.59/21.62	v -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 
21.59/21.62	v -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 
21.59/21.62	v -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 
21.59/21.62	v -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 
21.59/21.62	v -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 
21.59/21.62	v -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 
21.59/21.62	v -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 
21.59/21.62	v -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 
21.59/21.62	v -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 
21.59/21.62	v -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 
21.59/21.62	v -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 
21.59/21.62	v -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 
21.59/21.62	v -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 
21.59/21.62	v -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 
21.59/21.62	v -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 
21.59/21.62	v -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 
21.59/21.62	v -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 
21.59/21.62	v -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 
21.59/21.62	v -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 
21.59/21.62	v -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 
21.59/21.62	v -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 
21.59/21.62	v -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 
21.59/21.62	v -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 
21.59/21.62	v -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 
21.59/21.62	v -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 x3067 x3066 -x3065 
21.59/21.62	v -x3064 -x3063 x3062 -x3061 -x3060 x3059 -x3058 x3057 -x3056 x3055 -x3054 -x3053 -x3052 x3051 -x3050 x3049 -x3048 -x3047 x3046 
21.59/21.62	v -x3045 x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 
21.59/21.62	v x3027 x3026 -x3025 -x3024 -x3023 -x3022 x3021 -x3020 -x3019 x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 x3010 
21.59/21.62	v x3009 x3008 -x3007 -x3006 -x3005 x3004 -x3003 x3002 -x3001 -x3000 x2999 x2998 x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 
21.59/21.62	v x2990 x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 
21.59/21.62	v x2972 -x2971 -x2970 x2969 x2968 -x2967 x2966 x2965 -x2964 x2963 -x2962 x2961 -x2960 x2959 -x2958 -x2957 -x2956 x2955 x2954 x2953 
21.59/21.62	v x2952 -x2951 x2950 -x2949 x2948 -x2947 x2946 -x2945 -x2944 -x2943 -x2942 -x2941 x2940 -x2939 -x2938 -x2937 x2936 -x2935 x2934 
21.59/21.62	v -x2933 -x2932 -x2931 -x2930 x2929 -x2928 -x2927 -x2926 -x2925 x2924 -x2923 -x2922 x2921 -x2920 x2919 -x2918 -x2917 -x2916 
21.59/21.62	v x2915 x2914 -x2913 -x2912 x2911 -x2910 x2909 -x2908 -x2907 x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 x2899 -x2898 -x2897 
21.59/21.62	v -x2896 x2895 -x2894 -x2893 -x2892 -x2891 x2890 x2889 -x2888 -x2887 -x2886 x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 
21.59/21.62	v x2878 -x2877 x2876 -x2875 -x2874 x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 x2866 -x2865 x2864 -x2863 -x2862 x2861 x2860 
21.59/21.62	v -x2859 -x2858 -x2857 -x2856 x2855 -x2854 -x2853 x2852 -x2851 -x2850 -x2849 x2848 -x2847 -x2846 -x2845 -x2844 -x2843 x2842 x2841 
21.59/21.62	v x2840 x2839 -x2838 -x2837 -x2836 x2835 -x2834 -x2833 x2832 -x2831 x2830 -x2829 -x2828 x2827 -x2826 -x2825 -x2824 -x2823 
21.59/21.62	v -x2822 -x2821 -x2820 x2819 x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 
21.59/21.62	v -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 x2797 -x2796 -x2795 -x2794 x2793 -x2792 x2791 -x2790 x2789 -x2788 x2787 -x2786 
21.59/21.62	v -x2785 x2784 x2783 x2782 -x2781 -x2780 x2779 -x2778 -x2777 -x2776 x2775 -x2774 x2773 -x2772 -x2771 -x2770 x2769 x2768 -x2767 
21.59/21.62	v x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 x2759 -x2758 -x2757 -x2756 x2755 -x2754 x2753 -x2752 -x2751 x2750 -x2749 -x2748 
21.59/21.62	v x2747 -x2746 -x2745 -x2744 x2743 -x2742 -x2741 x2740 -x2739 -x2738 -x2737 -x2736 -x2735 x2734 -x2733 -x2732 -x2731 x2730 
21.59/21.62	v -x2729 x2728 x2727 -x2726 -x2725 x2724 x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 x2716 -x2715 -x2714 -x2713 -x2712 x2711 
21.59/21.62	v -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 
21.59/21.62	v -x2692 -x2691 -x2690 -x2689 -x2688 x2687 -x2686 -x2685 x2684 -x2683 -x2682 x2681 x2680 -x2679 -x2678 -x2677 x2676 -x2675 -x2674 
21.59/21.62	v -x2673 x2672 -x2671 -x2670 -x2669 x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 
21.59/21.62	v x2655 -x2654 x2653 -x2652 -x2651 x2650 -x2649 x2648 -x2647 x2646 x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 
21.59/21.62	v -x2637 -x2636 x2635 -x2634 x2633 -x2632 x2631 -x2630 -x2629 x2628 -x2627 x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 
21.59/21.62	v -x2618 x2617 -x2616 x2615 -x2614 x2613 -x2612 -x2611 x2610 x2609 -x2608 x2607 -x2606 -x2605 x2604 -x2603 x2602 x2601 -x2600 
21.59/21.62	v -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 x2590 x2589 x2588 -x2587 -x2586 -x2585 -x2584 x2583 -x2582 x2581 
21.59/21.62	v x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 x2573 -x2572 x2571 -x2570 -x2569 x2568 -x2567 -x2566 x2565 -x2564 x2563 
21.59/21.62	v x2562 x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 x2553 x2552 -x2551 -x2550 -x2549 x2548 -x2547 x2546 -x2545 x2544 
21.59/21.62	v -x2543 x2542 -x2541 x2540 -x2539 x2538 -x2537 x2536 -x2535 -x2534 x2533 -x2532 -x2531 -x2530 -x2529 -x2528 x2527 -x2526 -x2525 
21.59/21.62	v -x2524 -x2523 -x2522 -x2521 -x2520 x2519 -x2518 -x2517 -x2516 -x2515 -x2514 x2513 x2512 -x2511 -x2510 -x2509 -x2508 -x2507 
21.59/21.62	v x2506 x2505 x2504 x2503 -x2502 -x2501 x2500 -x2499 -x2498 -x2497 x2496 -x2495 -x2494 x2493 -x2492 -x2491 -x2490 -x2489 -x2488 
21.59/21.62	v x2487 -x2486 x2485 -x2484 -x2483 -x2482 x2481 x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 x2472 x2471 x2470 -x2469 
21.59/21.62	v -x2468 -x2467 -x2466 x2465 -x2464 x2463 -x2462 -x2461 -x2460 -x2459 x2458 x2457 -x2456 -x2455 -x2454 x2453 -x2452 x2451 -x2450 
21.59/21.62	v -x2449 -x2448 -x2447 -x2446 x2445 x2444 -x2443 x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 
21.59/21.62	v x2431 x2430 -x2429 -x2428 x2427 -x2426 -x2425 x2424 -x2423 x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 x2413 
21.59/21.62	v -x2412 x2411 x2410 -x2409 x2408 -x2407 x2406 x2405 -x2404 -x2403 x2402 -x2401 -x2400 -x2399 x2398 -x2397 -x2396 -x2395 x2394 
21.59/21.62	v -x2393 -x2392 -x2391 -x2390 -x2389 x2388 -x2387 -x2386 x2385 -x2384 -x2383 -x2382 -x2381 x2380 -x2379 -x2378 x2377 -x2376 
21.59/21.62	v -x2375 -x2374 -x2373 x2372 -x2371 -x2370 -x2369 x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 x2360 -x2359 -x2358 
21.59/21.62	v -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 x2350 x2349 -x2348 -x2347 -x2346 x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 
21.59/21.62	v -x2338 -x2337 -x2336 -x2335 -x2334 x2333 -x2332 x2331 x2330 -x2329 -x2328 x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 
21.59/21.62	v x2320 x2319 x2318 -x2317 -x2316 x2315 -x2314 x2313 -x2312 x2311 -x2310 -x2309 x2308 -x2307 x2306 x2305 -x2304 -x2303 -x2302 
21.59/21.62	v x2301 x2300 x2299 -x2298 x2297 -x2296 -x2295 -x2294 -x2293 x2292 -x2291 x2290 -x2289 -x2288 -x2287 x2286 x2285 -x2284 x2283 
21.59/21.62	v -x2282 -x2281 -x2280 x2279 -x2278 -x2277 x2276 -x2275 -x2274 x2273 x2272 -x2271 -x2270 x2269 -x2268 x2267 -x2266 x2265 -x2264 
21.59/21.62	v x2263 -x2262 -x2261 x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 x2251 -x2250 x2249 -x2248 -x2247 -x2246 -x2245 
21.59/21.62	v -x2244 -x2243 -x2242 x2241 -x2240 x2239 -x2238 x2237 x2236 x2235 x2234 x2233 x2232 -x2231 -x2230 x2229 x2228 -x2227 x2226 
21.59/21.62	v -x2225 x2224 -x2223 x2222 -x2221 x2220 -x2219 x2218 -x2217 -x2216 x2215 -x2214 x2213 -x2212 -x2211 -x2210 x2209 -x2208 -x2207 
21.59/21.62	v -x2206 -x2205 -x2204 x2203 -x2202 x2201 -x2200 x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 x2191 -x2190 x2189 -x2188 
21.59/21.62	v -x2187 -x2186 -x2185 -x2184 x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 x2176 -x2175 -x2174 x2173 x2172 -x2171 -x2170 
21.59/21.62	v -x2169 x2168 -x2166 -x2167 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 x2159 -x2158 -x2157 -x2156 -x2155 x2154 -x2153 -x2152 
21.59/21.62	v -x2151 -x2150 -x2149 -x2148 x2147 x2146 -x2145 -x2144 x2143 x2142 -x2141 x2140 x2139 x2138 -x2137 -x2136 -x2135 -x2134 x2133 
21.59/21.62	v x2132 x2131 -x2130 x2129 -x2128 -x2127 x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 x2116 -x2115 -x2114 
21.59/21.62	v x2113 -x2112 x2111 -x2110 -x2109 -x2108 x2107 -x2106 -x2105 -x2104 -x2103 -x2102 x2101 x2100 -x2099 x2098 x2097 -x2096 x2095 
21.59/21.62	v x2094 -x2093 x2092 x2091 -x2090 x2089 -x2088 -x2087 x2086 x2085 x2084 -x2083 x2082 -x2081 -x2080 -x2079 -x2078 -x2077 x2076 
21.59/21.62	v -x2075 -x2074 x2073 x2072 -x2071 x2070 -x2069 -x2068 -x2067 -x2066 x2065 -x2064 -x2063 -x2062 -x2061 x2060 x2059 -x2058 x2057 
21.59/21.62	v -x2056 x2055 x2054 -x2053 -x2052 x2051 x2050 -x2049 -x2048 -x2047 -x2046 x2045 -x2044 -x2043 -x2042 -x2041 x2040 -x2039 -x2038 
21.59/21.62	v -x2037 -x2036 -x2035 x2034 -x2033 x2032 x2031 -x2030 -x2029 x2028 -x2027 x2026 -x2025 x2024 -x2023 x2022 -x2021 x2020 -x2019 
21.59/21.62	v -x2018 -x2017 -x2016 x2015 -x2014 -x2013 x2012 -x2011 x2010 -x2009 x2008 x2007 -x2006 -x2005 x2004 -x2003 x2002 -x2001 
21.59/21.62	v x2000 -x1999 x1998 -x1997 -x1996 x1995 x1994 x1993 x1992 -x1991 -x1990 x1989 -x1988 x1987 x1986 -x1985 x1984 -x1983 -x1982 x1981 
21.59/21.62	v -x1980 x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 x1969 -x1968 -x1967 x1966 -x1965 x1964 x1963 
21.59/21.62	v -x1962 -x1961 -x1960 x1959 -x1958 -x1957 -x1956 x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 x1948 x1947 -x1946 -x1945 x1944 
21.59/21.62	v x1943 -x1942 x1941 -x1940 -x1939 -x1938 x1937 x1936 -x1935 -x1934 -x1933 -x1932 x1931 x1930 -x1929 x1928 x1927 -x1926 x1925 
21.59/21.62	v -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 x1913 -x1912 -x1911 -x1910 x1909 x1908 -x1907 
21.59/21.62	v -x1906 -x1905 -x1904 x1903 -x1902 x1901 x1900 x1899 x1898 x1897 x1896 x1895 x1894 x1893 -x1892 x1891 -x1890 -x1889 x1888 -x1887 
21.59/21.62	v x1886 -x1885 x1884 x1883 -x1882 -x1881 x1880 -x1879 x1878 x1877 x1876 x1875 x1874 -x1873 x1872 x1871 -x1870 -x1869 x1868 -x1867 
21.59/21.62	v -x1866 x1865 -x1864 x1863 -x1862 x1861 x1860 -x1859 -x1858 x1857 -x1856 x1855 x1854 -x1853 x1852 x1851 x1850 -x1849 x1848 
21.59/21.62	v -x1847 -x1846 x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 x1834 x1833 -x1832 -x1831 x1830 
21.59/21.62	v -x1829 -x1828 x1827 -x1826 -x1825 -x1824 -x1823 x1822 x1821 -x1820 -x1819 -x1818 -x1817 x1816 -x1815 -x1814 -x1813 -x1812 -x1811 
21.59/21.62	v -x1810 -x1809 x1808 -x1807 x1806 x1805 -x1804 -x1803 -x1802 x1801 x1800 x1799 x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 
21.59/21.62	v -x1791 -x1790 -x1789 x1788 -x1787 -x1786 -x1785 x1784 -x1783 -x1782 -x1781 -x1780 x1779 x1778 -x1777 -x1776 x1775 -x1774 
21.59/21.62	v x1773 -x1772 x1771 x1770 x1769 -x1768 -x1767 x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 x1759 -x1758 x1757 -x1756 -x1755 
21.59/21.62	v -x1754 -x1753 x1752 -x1751 x1750 -x1749 x1748 -x1747 x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 x1739 x1738 -x1737 -x1736 
21.59/21.62	v x1735 x1734 -x1733 -x1732 -x1731 -x1730 -x1729 x1728 -x1727 x1726 x1725 -x1724 x1723 -x1722 -x1721 -x1720 x1719 -x1718 -x1717 
21.59/21.62	v x1716 x1715 x1714 x1713 x1712 -x1711 x1710 -x1709 -x1708 x1707 x1706 -x1705 x1704 -x1703 x1702 -x1701 -x1700 -x1699 -x1698 
21.59/21.62	v -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 x1691 -x1690 -x1689 -x1688 x1687 -x1686 -x1685 x1684 -x1683 -x1682 -x1681 -x1680 
21.59/21.62	v -x1679 x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 x1671 x1670 x1669 -x1668 -x1667 x1666 -x1665 -x1664 -x1663 x1662 -x1661 
21.59/21.62	v -x1660 -x1659 x1658 -x1657 -x1656 -x1655 -x1654 x1653 -x1652 -x1651 -x1650 x1649 -x1648 x1647 x1646 -x1645 -x1644 -x1643 -x1642 
21.59/21.62	v -x1641 x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 
21.59/21.62	v -x1623 x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 x1607 -x1606 
21.59/21.62	v -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 
21.59/21.62	v -x1587 -x1586 -x1585 -x1584 -x1583 x1582 -x1581 -x1580 x1579 -x1578 -x1577 -x1576 x1575 -x1574 -x1573 -x1572 x1571 -x1570 
21.59/21.62	v -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 
21.59/21.62	v -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 x1544 -x1543 x1542 -x1541 x1540 x1539 -x1538 -x1537 -x1536 x1535 -x1534 x1533 
21.59/21.62	v -x1532 -x1531 x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 x1523 -x1522 x1521 -x1520 -x1519 -x1518 -x1517 -x1516 x1515 
21.59/21.62	v x1514 -x1513 -x1512 x1511 -x1510 -x1509 x1508 -x1507 x1506 -x1505 -x1504 x1503 -x1502 -x1501 -x1500 -x1499 -x1498 x1497 -x1496 
21.59/21.62	v -x1495 -x1494 -x1493 x1492 -x1491 x1490 -x1489 -x1488 -x1487 x1486 -x1485 x1484 -x1483 -x1482 x1481 x1480 -x1479 x1478 -x1477 
21.59/21.62	v x1476 -x1475 x1474 x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 
21.59/21.62	v -x1458 -x1457 x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 x1448 -x1447 x1446 -x1445 x1444 -x1443 -x1442 x1441 -x1440 
21.59/21.62	v x1439 x1438 x1437 -x1436 x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 x1428 -x1427 -x1426 -x1425 -x1424 -x1423 x1422 
21.59/21.62	v x1421 x1420 -x1419 -x1418 -x1417 -x1416 -x1415 x1414 x1413 -x1412 -x1411 -x1410 -x1409 x1408 -x1407 -x1406 -x1405 x1404 -x1403 
21.59/21.62	v -x1402 -x1401 x1400 -x1399 x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 x1387 -x1386 -x1385 
21.59/21.62	v -x1384 -x1383 -x1382 x1381 -x1380 -x1379 x1378 -x1377 x1376 -x1375 -x1374 x1373 -x1372 x1371 -x1370 -x1369 -x1368 x1367 x1366 
21.59/21.62	v -x1365 x1364 x1363 -x1362 -x1361 -x1360 x1359 x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 x1351 x1350 x1349 -x1348 x1347 
21.59/21.62	v -x1346 -x1345 -x1344 x1343 x1342 x1341 x1340 -x1339 -x1338 x1337 -x1336 x1335 -x1334 x1333 x1332 -x1331 -x1330 x1329 -x1328 
21.59/21.62	v -x1327 x1326 -x1325 x1324 -x1323 x1322 x1321 -x1320 x1319 x1318 x1317 -x1316 x1315 x1314 -x1313 x1312 x1311 -x1310 -x1309 -x1308 
21.59/21.62	v -x1307 x1306 -x1305 -x1304 x1303 -x1302 x1301 -x1300 -x1299 x1298 -x1297 -x1296 x1295 x1294 -x1293 -x1292 -x1291 x1290 -x1289 
21.59/21.62	v x1288 -x1287 -x1286 x1285 x1284 -x1283 -x1282 -x1281 -x1280 x1279 -x1278 x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 
21.59/21.62	v -x1270 -x1269 x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 
21.59/21.62	v -x1252 x1251 x1250 -x1249 x1248 -x1247 x1246 -x1245 x1244 x1243 x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 x1235 x1234 
21.59/21.62	v x1233 -x1232 x1231 -x1230 x1229 x1228 -x1227 -x1226 -x1225 -x1224 -x1223 x1222 -x1221 x1220 -x1219 -x1218 -x1217 -x1216 -x1215 
21.59/21.62	v -x1214 -x1213 -x1212 x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 x1199 x1198 x1197 -x1196 
21.59/21.62	v -x1195 -x1194 x1193 -x1192 -x1191 x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 
21.59/21.62	v -x1177 -x1176 -x1175 x1174 -x1173 x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 x1163 x1162 x1161 -x1160 
21.59/21.62	v -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 
21.59/21.62	v -x1141 -x1140 x1139 -x1138 -x1137 x1136 x1135 -x1134 x1133 -x1132 x1131 -x1130 -x1129 x1128 -x1127 -x1126 -x1125 -x1124 -x1123 
21.59/21.62	v -x1122 -x1121 x1120 x1119 -x1118 -x1117 x1116 -x1115 -x1114 x1113 x1112 x1111 x1110 x1109 -x1108 -x1107 -x1106 -x1105 x1104 
21.59/21.62	v -x1103 x1102 x1101 -x1100 -x1099 -x1098 -x1097 x1096 x1095 x1094 -x1093 x1092 -x1091 -x1090 -x1089 x1088 -x1087 x1086 -x1085 
21.59/21.62	v -x1084 -x1083 -x1082 -x1081 -x1080 x1079 x1078 -x1077 -x1076 -x1075 -x1074 x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 
21.59/21.62	v x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 
21.59/21.62	v -x1047 -x1046 x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 
21.59/21.62	v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 
21.59/21.62	v -x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 x996 -x995 -x994 
21.59/21.62	v -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 x983 -x982 -x981 x980 -x979 -x978 x977 x976 -x975 -x974 x973 -x972 
21.59/21.62	v -x971 -x970 -x969 x968 -x967 x966 x965 -x964 -x963 x962 -x961 x960 -x959 x958 -x957 x956 -x955 -x954 x953 -x952 -x951 -x950 
21.59/21.62	v -x949 -x948 -x947 x946 x945 -x944 x943 -x942 -x941 x940 x939 -x938 -x937 x936 -x935 -x934 -x933 x932 -x931 -x930 x929 x928 -x927 
21.59/21.62	v x926 -x925 x924 -x923 x922 -x921 x920 -x919 -x918 x917 -x916 -x915 -x914 -x913 x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 
21.59/21.62	v -x904 -x903 x902 x901 -x900 -x899 x898 -x897 x896 x895 -x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885 x884 -x883 
21.59/21.62	v -x882 x881 -x880 x879 -x878 -x877 -x876 x875 -x874 -x873 -x872 -x871 x870 x869 -x868 -x867 x866 -x865 x864 -x863 x862 -x861 
21.59/21.62	v -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 x851 -x850 -x849 -x848 -x847 x846 -x845 -x844 -x843 -x842 -x841 x840 
21.59/21.62	v x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 x828 -x827 -x826 x825 -x824 -x823 x822 -x821 x820 -x819 -x818 
21.59/21.62	v x817 x816 -x815 -x814 -x813 x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 x804 -x803 x802 -x801 -x800 x799 -x798 -x797 x796 -x795 
21.59/21.62	v -x794 -x793 -x792 x791 -x790 x789 -x788 -x787 x786 x785 -x784 x783 -x782 -x781 x780 -x779 x778 x777 -x776 -x775 x774 x773 
21.59/21.62	v -x772 -x771 -x770 x769 -x768 x767 -x766 -x765 x764 -x763 x762 -x761 -x760 -x759 x758 x757 -x756 x755 -x754 -x753 -x752 x751 
21.59/21.62	v -x750 x749 -x748 -x747 x746 -x745 -x744 x743 -x742 -x741 -x740 x739 x738 -x737 x736 x735 x734 -x733 -x732 -x731 -x730 x729 -x728 
21.59/21.62	v -x727 x726 x725 -x724 -x723 -x722 -x721 x720 -x719 x718 -x717 -x716 x715 -x714 x713 -x712 -x711 x710 x709 -x708 -x707 -x706 
21.59/21.62	v -x705 x704 -x703 -x702 -x701 -x700 x699 x698 x697 -x696 x695 x694 x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 
21.59/21.62	v x683 x682 -x681 -x680 -x679 -x678 x677 -x676 -x675 -x674 -x673 x672 -x671 x670 -x669 x668 -x667 -x666 x665 -x664 -x663 -x662 
21.59/21.62	v -x661 -x660 x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 -x642 -x641 
21.59/21.62	v -x640 -x639 x638 x637 -x636 -x635 -x634 x633 -x632 x631 -x630 -x629 -x628 -x627 x626 x625 -x624 x623 -x622 -x621 x620 -x619 
21.59/21.62	v -x618 x617 x616 -x615 -x614 -x613 x612 -x611 x610 -x609 x608 x607 -x606 -x605 x604 -x603 x602 -x601 x600 -x599 -x598 -x597 -x596 
21.59/21.62	v -x595 x594 -x593 -x592 -x591 x590 -x589 x588 -x587 x586 -x585 -x584 -x583 x582 -x581 -x580 x579 -x578 -x577 -x576 -x575 
21.59/21.62	v -x574 x573 -x572 -x571 -x570 -x569 x568 x567 -x566 -x565 x564 -x563 -x562 -x561 x560 -x559 -x558 x557 -x556 -x555 x554 -x553 
21.59/21.62	v -x552 -x551 -x550 -x549 -x548 x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535 -x534 -x533 -x532 x531 
21.59/21.62	v -x530 -x529 -x528 -x527 x526 x525 -x524 x523 -x522 x521 -x520 x519 -x518 -x517 x516 -x515 x514 x513 -x512 -x511 -x510 -x509 
21.59/21.62	v x508 -x507 x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 
21.59/21.62	v -x487 -x486 x485 -x484 x483 -x482 -x481 x480 -x479 -x478 x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 
21.59/21.62	v x465 -x464 x463 -x462 x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 
21.59/21.62	v -x443 -x442 x441 -x440 -x439 -x438 x437 x436 -x435 -x434 -x433 -x432 x431 -x430 x429 -x428 -x427 -x426 x425 x424 -x423 -x422 
21.59/21.62	v -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 x404 x403 x402 x401 x400 
21.59/21.62	v x399 -x398 -x397 x396 -x395 x394 -x393 -x392 -x391 -x390 x389 x388 x387 x386 x385 x384 -x383 -x382 -x381 -x380 x379 -x378 
21.59/21.62	v -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 
21.59/21.62	v -x356 -x355 x354 x353 x352 -x351 -x350 x349 -x348 x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 
21.59/21.62	v -x334 -x333 -x332 -x331 -x330 x329 -x328 -x327 x326 x325 x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 x316 -x315 x314 -x313 
21.59/21.62	v -x312 x311 -x310 -x309 -x308 x307 x306 -x305 -x304 x303 x302 -x301 -x300 -x299 x298 x297 -x296 -x295 x294 x293 -x292 x291 -x290 
21.59/21.62	v x289 x288 -x287 -x286 -x285 x284 -x283 x282 x281 -x280 x279 -x278 -x277 -x276 -x275 x274 x273 -x272 x271 x270 -x269 x268 
21.59/21.62	v x267 -x266 -x265 x264 -x263 -x262 -x261 x260 -x259 x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 
21.59/21.62	v -x245 x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 
21.59/21.62	v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 
21.59/21.62	v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 
21.59/21.62	v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 
21.59/21.62	v -x161 -x160 x159 -x158 -x157 x156 -x155 -x154 x153 x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 x141 -x140 
21.59/21.62	v -x139 x138 -x137 x136 x135 -x134 -x133 x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 x122 -x121 -x120 -x119 -x118 
21.59/21.62	v -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 
21.59/21.62	v -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 
21.59/21.62	v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 
21.59/21.62	v -x44 -x43 -x42 x41 -x40 x39 -x38 -x37 x36 x35 -x34 x33 -x32 x31 x30 -x29 x28 -x27 x26 -x25 x24 -x23 -x22 x21 x20 -x19 -x18 
21.59/21.62	v x17 -x16 x15 -x14 -x13 x12 x11 -x10 -x9 x8 -x7 -x6 x5 x4 -x3 -x2 -x1 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 
21.59/21.62	v -x6783 x6782 x6781 x6780 -x6779 -x6778 -x6777 x6776 x6775 x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 
21.59/21.62	v -x6764 -x6763 -x6762 -x6761 -x6760 x6759 x6758 x6757 x6756 x6755 -x6754 x6753 x6752 x6751 x6750 x6749 x6748 x6747 -x6746 -x6745 
21.59/21.62	v x6744 -x6743 -x6742 x6741 x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 
21.59/21.62	v x6726 x6725 -x6724 x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 x6710 x6709 
21.59/21.62	v x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 x6695 x6694 x6693 -x6692 x6691 -x6690 
21.59/21.62	v -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 x6680 x6679 -x6678 -x6677 x6676 -x6675 -x6674 -x6673 -x6672 
21.59/21.62	v -x6671 -x6670 x6669 -x6668 -x6667 -x6666 -x6665 -x6664 x6663 x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 x6653 
21.59/21.62	v -x6652 -x6651 x6650 -x6649 -x6648 -x6647 -x6646 x6645 x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 
21.59/21.62	v -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 
21.59/21.62	v -x6616 x6615 -x6614 -x6613 -x6612 -x6611 -x6610 x6609 -x6608 x6607 -x6606 x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 
21.59/21.62	v -x6598 x6597 -x6596 -x6595 x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 x6584 x6583 -x6582 -x6581 -x6580 
21.59/21.62	v -x6579 -x6578 -x6577 -x6576 x6575 x6574 x6573 -x6572 x6571 -x6570 -x6569 x6568 -x6567 -x6566 x6565 x6564 x6563 x6562 x6561 
21.59/21.62	v -x6560 x6559 x6558 x6557 x6556 -x6555 x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 x6546 x6545 x6544 x6543 x6542 
21.59/21.62	v x6541 x6540 x6539 x6538 x6537 x6536 x6535 x6534 -x6533 -x6532 -x6531 x6530 x6529 x6528 x6527 x6526 x6525 x6524 x6523 x6522 -x6521 
21.59/21.62	v x6520 x6519 x6518 x6517 -x6516 -x6515 -x6514 x6513 -x6512 x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 x6504 -x6503 
21.59/21.62	v -x6502 x6501 x6500 -x6499 x6498 -x6497 -x6496 x6495 x6494 x6493 x6492 x6491 -x6490 -x6489 -x6488 x6487 -x6486 -x6485 -x6484 x6483 
21.59/21.62	v x6482 x6481 -x6480 x6479 -x6478 -x6477 -x6476 -x6475 -x6474 x6473 -x6472 -x6471 -x6470 -x6469 x6468 -x6467 x6466 -x6465 
21.59/21.62	v -x6464 x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 x6456 -x6455 x6454 x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 
21.59/21.62	v -x6445 x6444 x6443 x6442 -x6441 -x6440 -x6439 -x6438 -x6437 x6436 x6435 -x6434 -x6433 -x6432 x6431 -x6430 -x6429 -x6428 -x6427 
21.59/21.62	v -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 x6412 x6411 -x6410 -x6409 
21.59/21.62	v x6408 x6407 x6406 -x6405 x6404 x6403 -x6402 -x6401 x6400 -x6399 -x6398 x6397 x6396 x6395 x6394 -x6393 x6392 x6391 -x6390 
21.59/21.62	v -x6389 x6388 -x6387 -x6386 -x6385 x6384 -x6383 -x6382 x6381 x6380 x6379 -x6378 x6377 x6376 -x6375 x6374 x6373 x6372 -x6371 -x6370 
21.59/21.62	v -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 x6359 x6358 -x6357 x6356 x6355 x6354 -x6353 -x6352 
21.59/21.62	v -x6351 -x6350 -x6349 x6348 x6347 x6346 x6345 x6344 x6343 -x6342 -x6341 -x6340 x6339 -x6338 -x6337 -x6336 -x6335 x6334 x6333 
21.59/21.62	v -x6332 x6331 -x6330 -x6329 -x6328 x6327 -x6326 x6325 x6324 x6323 x6322 -x6321 x6320 x6319 -x6318 -x6317 x6316 -x6315 x6314 x6313 
21.59/21.62	v x6312 x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 x6304 x6303 x6302 x6301 x6300 x6299 -x6298 x6297 x6296 -x6295 x6294 
21.59/21.62	v -x6293 x6292 x6291 -x6290 x6289 -x6288 x6287 -x6286 x6285 -x6284 -x6283 -x6282 x6281 x6280 -x6279 -x6278 x6277 x6276 -x6275 
21.59/21.62	v -x6274 -x6273 x6272 x6271 x6270 x6269 x6268 -x6267 -x6266 -x6265 x6264 -x6263 -x6262 x6261 -x6260 x6259 x6258 -x6257 -x6256 
21.59/21.62	v -x6255 -x6254 -x6253 -x6252 x6251 -x6250 -x6249 x6248 x6247 x6246 x6245 x6244 -x6243 -x6242 x6241 x6240 x6239 -x6238 -x6237 x6236 
21.59/21.62	v x6235 x6234 -x6233 -x6232 x6231 x6230 -x6229 x6228 x6227 -x6226 x6225 x6224 x6223 x6222 x6221 x6220 x6219 -x6218 x6217 x6216 
21.59/21.62	v x6215 -x6214 -x6213 -x6212 -x6211 x6210 -x6209 -x6208 -x6207 x6206 x6205 x6204 -x6203 -x6202 -x6201 x6200 -x6199 -x6198 
21.59/21.62	v -x6197 -x6196 x6195 -x6194 -x6193 -x6192 -x6191 -x6190 x6189 -x6188 -x6187 -x6186 x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 
21.59/21.62	v x6178 -x6177 -x6176 -x6175 x6174 -x6173 -x6172 -x6171 x6170 x6169 x6168 -x6167 -x6166 -x6165 -x6164 x6163 -x6162 x6161 x6160 
21.59/21.62	v x6159 x6158 x6157 x6156 -x6155 -x6154 -x6153 x6152 x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 x6143 -x6142 -x6141 
21.59/21.62	v -x6140 -x6139 x6138 -x6137 -x6136 -x6135 x6134 x6133 x6132 x6131 -x6130 -x6129 x6128 -x6127 x6126 x6125 x6124 x6123 -x6122 
21.59/21.62	v x6121 -x6120 -x6119 x6118 -x6117 -x6116 -x6115 -x6114 -x6113 x6112 -x6111 x6110 -x6109 -x6108 x6107 -x6106 -x6105 x6104 x6103 
21.59/21.62	v x6102 x6101 -x6100 -x6099 -x6098 x6097 x6096 x6095 x6094 -x6093 -x6092 x6091 x6090 -x6089 -x6088 -x6087 x6086 x6085 -x6084 
21.59/21.62	v -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 x6077 -x6076 x6075 -x6074 -x6073 -x6072 x6071 -x6070 -x6069 -x6068 -x6067 x6066 
21.59/21.62	v x6065 x6064 x6063 x6062 x6061 x6060 -x6059 x6058 x6057 x6056 x6055 -x6054 x6053 -x6052 -x6051 x6050 x6049 x6048 x6047 x6046 x6045 
21.59/21.62	v -x6044 x6043 -x6042 x6041 x6040 x6039 x6038 x6037 -x6036 x6035 x6034 -x6033 -x6032 -x6031 x6030 x6029 x6028 -x6027 x6026 
21.59/21.62	v -x6025 x6024 x6023 x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 x6012 -x6011 -x6010 -x6009 -x6008 -x6007 
21.59/21.62	v -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 x6000 x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 x5991 x5990 -x5989 
21.59/21.62	v -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 
21.59/21.62	v x5970 -x5969 x5968 x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 x5956 -x5955 x5954 -x5953 -x5952 
21.59/21.62	v -x5951 -x5950 x5949 x5948 -x5947 x5946 x5945 -x5944 -x5943 -x5942 -x5941 x5940 x5939 x5938 -x5937 -x5936 -x5935 -x5934 
21.59/21.62	v -x5933 -x5932 x5931 x5930 -x5929 x5928 x5927 -x5926 x5925 -x5924 -x5923 x5922 x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 
21.59/21.62	v -x5914 x5913 -x5912 -x5911 -x5910 x5909 -x5908 x5907 x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 x5899 -x5898 -x5897 -x5896 
21.59/21.62	v -x5895 -x5894 -x5893 -x5892 x5891 -x5890 -x5889 -x5888 -x5887 x5886 x5885 -x5884 -x5883 -x5882 -x5881 x5880 -x5879 -x5878 
21.59/21.62	v -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 
21.59/21.62	v -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 
21.59/21.62	v -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 
21.59/21.62	v x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 x5816 x5815 x5814 -x5813 -x5812 x5811 x5810 -x5809 x5808 -x5807 -x5806 -x5805 
21.59/21.62	v -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 
21.59/21.62	v -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 
21.59/21.62	v x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 
21.59/21.62	v -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 x5738 -x5737 -x5736 -x5735 -x5734 
21.59/21.62	v -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 
21.59/21.62	v -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 
21.59/21.62	v -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 x5687 x5686 x5685 x5684 -x5683 -x5682 -x5681 -x5680 -x5679 
21.59/21.62	v -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 x5663 -x5662 -x5661 
21.59/21.62	v -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 x5649 x5648 x5647 -x5646 -x5645 -x5644 -x5643 
21.59/21.62	v -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 
21.59/21.62	v -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 x5615 -x5614 -x5613 -x5612 x5611 -x5610 -x5609 -x5608 -x5607 
21.59/21.62	v -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 x5592 -x5591 -x5590 -x5589 
21.59/21.62	v -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 x5579 -x5578 -x5577 x5576 -x5575 -x5574 -x5573 -x5572 x5571 
21.59/21.62	v x5570 -x5569 -x5568 x5567 x5566 -x5565 -x5564 -x5563 -x5562 x5561 -x5560 -x5559 -x5558 -x5557 -x5556 x5555 x5554 -x5553 -x5552 
21.59/21.62	v -x5551 x5550 x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 
21.59/21.62	v -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 
21.59/21.62	v -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 x5506 x5505 x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 
21.59/21.62	v -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 x5480 
21.59/21.62	v x5479 x5478 x5477 x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 
21.59/21.62	v -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 
21.59/21.62	v -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 
21.59/21.62	v -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 
21.59/21.62	v -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 x5392 -x5391 -x5390 
21.59/21.62	v -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 
21.59/21.62	v -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 
21.59/21.62	v -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 
21.59/21.62	v -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 
21.59/21.62	v -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 
21.59/21.62	v -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 
21.59/21.62	v -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 x5268 -x5267 -x5266 -x5265 
21.59/21.62	v -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 x5247 
21.59/21.62	v x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 x5233 -x5232 -x5231 -x5230 -x5229 -x5228 
21.59/21.62	v -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 
21.59/21.62	v -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 
21.59/21.62	v -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 
21.59/21.62	v -x5174 x5173 x5172 x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 
21.59/21.62	v -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 
21.59/21.62	v -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 
21.59/21.62	v -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 
21.59/21.62	v -x5102 -x5101 x5100 -x5099 -x5098 -x5097 -x5096 x5095 x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 
21.59/21.62	v -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 
21.59/21.62	v -x5065 -x5064 -x5063 -x5062 x5061 x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 
21.59/21.62	v x5047 -x5046 -x5045 -x5044 -x5043 x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 
21.59/21.62	v -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 
21.59/21.62	v -x5011 x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 
21.59/21.62	v -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 x4981 -x4980 -x4979 -x4978 -x4977 -x4976 
21.59/21.62	v -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 
21.59/21.62	v -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 
21.59/21.62	v -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 x4926 -x4925 -x4924 -x4923 
21.59/21.62	v -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 x4906 -x4905 
21.59/21.62	v -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 
21.59/21.62	v -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 
21.59/21.62	v -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 
21.59/21.62	v -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 
21.59/21.62	v -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 
21.59/21.62	v -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 
21.59/21.62	v -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 
21.59/21.62	v -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 x4762 -x4761 
21.59/21.62	v -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 x4748 x4747 -x4746 -x4745 -x4744 -x4743 
21.59/21.62	v -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 x4728 x4727 x4726 -x4725 
21.59/21.62	v -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 x4715 x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 
21.59/21.62	v -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 x4697 -x4696 x4695 x4694 -x4693 -x4692 -x4691 -x4690 -x4689 
21.59/21.62	v -x4688 x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 x4679 x4678 -x4677 -x4676 -x4675 -x4674 x4673 -x4672 -x4671 -x4670 
21.59/21.62	v -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 
21.59/21.62	v -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 
21.59/21.62	v -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 
21.59/21.62	v -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 
21.59/21.62	v -x4598 x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 
21.59/21.62	v -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 
21.59/21.62	v x4562 -x4561 -x4560 -x4559 -x4558 x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 x4546 -x4545 -x4544 
21.59/21.62	v -x4543 x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 
21.59/21.62	v -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 
21.59/21.62	v -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 
21.59/21.62	v -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 
21.59/21.62	v -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 
21.59/21.62	v -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 
21.59/21.62	v -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 x4423 x4422 -x4421 -x4420 -x4419 
21.59/21.62	v -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 
21.59/21.62	v -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 x4389 x4388 -x4387 -x4386 -x4385 -x4384 -x4383 
21.59/21.62	v -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 
21.59/21.62	v -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 
21.59/21.62	v -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 
21.59/21.62	v -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 
21.59/21.62	v -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 
21.59/21.62	v -x4293 -x4292 -x4291 -x4290 x4289 x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 
21.59/21.62	v -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 x4259 -x4258 -x4257 
21.59/21.62	v x4256 -x4255 -x4254 -x4253 -x4252 -x4251 x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 
21.59/21.62	v -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 
21.59/21.62	v -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 
21.59/21.62	v -x4202 -x4201 x4200 -x4199 -x4198 -x4197 x4196 x4195 x4194 x4193 x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 
21.59/21.62	v -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 x4172 -x4171 -x4170 -x4169 -x4168 -x4167 
21.59/21.62	v -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 
21.59/21.62	v -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 
21.59/21.62	v -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 
21.59/21.62	v -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 
21.59/21.62	v -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 
21.59/21.62	v -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 
21.59/21.62	v -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 
21.59/21.62	v -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 
21.59/21.62	v -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 
21.59/21.62	v -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 
21.59/21.62	v -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 
21.59/21.62	v -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 
21.59/21.62	v -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 
21.59/21.62	v -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 
21.59/21.62	v -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 
21.59/21.62	v -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 
21.59/21.62	v -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 
21.59/21.62	v -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 
21.59/21.62	v -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 
21.59/21.62	v -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 
21.59/21.62	v -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 
21.59/21.62	v -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 
21.59/21.62	v -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 
21.59/21.62	v -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 
21.59/21.62	v -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 
21.59/21.62	v -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 
21.59/21.62	v -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 
21.59/21.62	v -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 
21.59/21.62	v -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 
21.59/21.62	v -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 
21.59/21.62	v -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 
21.59/21.62	c SCIP Status        : problem is solved [optimal solution found]
21.59/21.62	c Solving Time       :      21.15
21.59/21.62	c Original Problem   :
21.59/21.62	c   Problem name     : HOME/instance-2704840-1278580116.opb
21.59/21.62	c   Variables        : 6791 (6791 binary, 0 integer, 0 implicit integer, 0 continuous)
21.59/21.62	c   Constraints      : 28455 initial, 28455 maximal
21.59/21.62	c Presolved Problem  :
21.59/21.62	c   Problem name     : t_HOME/instance-2704840-1278580116.opb
21.59/21.62	c   Variables        : 3468 (3468 binary, 0 integer, 0 implicit integer, 0 continuous)
21.59/21.62	c   Constraints      : 13514 initial, 13514 maximal
21.59/21.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
21.59/21.62	c   trivial          :       0.07         28          0          0          0          0          0          0          0
21.59/21.62	c   dualfix          :       0.05       1089          0          0          0          0          0          0          0
21.59/21.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
21.59/21.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
21.59/21.62	c   implics          :       0.13          0        247          0          0          0          0          0          0
21.59/21.62	c   probing          :      13.65        198        789          0          0          0          0          0          0
21.59/21.62	c   setppc           :       0.76          0          2          0          0          0       2224          0          0
21.59/21.62	c   linear           :       0.36        287        683          0        310          0      12125         45         90
21.59/21.62	c   logicor          :       2.93          0          0          0          1          0        595          0          0
21.59/21.62	c   root node        :          -       2898          -          -       2898          -          -          -          -
21.59/21.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
21.59/21.62	c   integral         :          0          0          0          0          0          0          0          0          0          0
21.59/21.62	c   setppc           :       5901          3      12720          0          0         75         85          0          0          0
21.59/21.62	c   logicor          :       7613          3      10636          0          0        106        260          0          0          0
21.59/21.62	c   countsols        :          0          0          0          0          0          0          0          0          0          0
21.59/21.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
21.59/21.62	c   integral         :       0.00       0.00       0.00       0.00       0.00
21.59/21.62	c   setppc           :       9.80       0.00       9.80       0.00       0.00
21.59/21.62	c   logicor          :       0.38       0.02       0.36       0.00       0.00
21.59/21.62	c   countsols        :       0.00       0.00       0.00       0.00       0.00
21.59/21.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
21.59/21.62	c   vbounds          :       0.01          2          0          0
21.59/21.62	c   rootredcost      :       0.01          0          0          0
21.59/21.62	c   pseudoobj        :       0.01         10          1          0
21.59/21.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
21.59/21.62	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
21.59/21.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
21.59/21.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
21.59/21.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
21.59/21.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
21.59/21.62	c   applied globally :          -          -          -          0        0.0          -          -          -
21.59/21.62	c   applied locally  :          -          -          -          0        0.0          -          -          -
21.59/21.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
21.59/21.62	c   cut pool         :       0.00          2          -          -          1          -    (maximal pool size: 519)
21.59/21.62	c   redcost          :       0.02          3          0       1267          0          0
21.59/21.62	c   impliedbounds    :       0.00          3          0          0        410          0
21.59/21.62	c   intobj           :       0.00          0          0          0          0          0
21.59/21.62	c   cgmip            :       0.00          0          0          0          0          0
21.59/21.62	c   gomory           :       0.18          3          0          0        764          0
21.59/21.62	c   strongcg         :       0.18          3          0          0        764          0
21.59/21.62	c   cmir             :       0.48          3          0          0          0          0
21.59/21.62	c   flowcover        :       0.87          3          0          0          0          0
21.59/21.62	c   clique           :       0.10          3          0          0         19          0
21.59/21.62	c   zerohalf         :       0.00          0          0          0          0          0
21.59/21.62	c   mcf              :       0.04          1          0          0          0          0
21.59/21.62	c   rapidlearning    :       0.43          1          0       1286          0          0
21.59/21.62	c Pricers            :       Time      Calls       Vars
21.59/21.62	c   problem variables:       0.00          0          0
21.59/21.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
21.59/21.62	c   pscost           :       0.00          0          0          0          0          0          0
21.59/21.62	c   inference        :       0.00          0          0          0          0          0          0
21.59/21.62	c   mostinf          :       0.00          0          0          0          0          0          0
21.59/21.62	c   leastinf         :       0.00          0          0          0          0          0          0
21.59/21.62	c   fullstrong       :       0.00          0          0          0          0          0          0
21.59/21.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
21.59/21.62	c   random           :       0.00          0          0          0          0          0          0
21.59/21.62	c   relpscost        :       0.00          0          0          0          0          0          0
21.59/21.62	c Primal Heuristics  :       Time      Calls      Found
21.59/21.62	c   LP solutions     :       0.00          -          0
21.59/21.62	c   pseudo solutions :       0.00          -          0
21.59/21.62	c   trivial          :       0.02          2          0
21.59/21.62	c   simplerounding   :       0.00          2          0
21.59/21.62	c   zirounding       :       0.00          0          0
21.59/21.62	c   rounding         :       0.01          3          1
21.59/21.62	c   shifting         :       0.04          3          2
21.59/21.62	c   intshifting      :       0.00          0          0
21.59/21.62	c   oneopt           :       0.02          2          1
21.59/21.62	c   twoopt           :       0.00          0          0
21.59/21.62	c   fixandinfer      :       0.00          0          0
21.59/21.62	c   feaspump         :       0.00          0          0
21.59/21.62	c   coefdiving       :       0.00          0          0
21.59/21.62	c   pscostdiving     :       0.00          0          0
21.59/21.62	c   fracdiving       :       0.00          0          0
21.59/21.62	c   veclendiving     :       0.00          0          0
21.59/21.62	c   intdiving        :       0.00          0          0
21.59/21.62	c   actconsdiving    :       0.00          0          0
21.59/21.62	c   objpscostdiving  :       0.00          0          0
21.59/21.62	c   rootsoldiving    :       0.00          0          0
21.59/21.62	c   linesearchdiving :       0.00          0          0
21.59/21.62	c   guideddiving     :       0.00          0          0
21.59/21.62	c   octane           :       0.00          0          0
21.59/21.62	c   rens             :       0.00          0          0
21.59/21.62	c   rins             :       0.00          0          0
21.59/21.62	c   localbranching   :       0.00          0          0
21.59/21.62	c   mutation         :       0.00          0          0
21.59/21.62	c   crossover        :       0.00          0          0
21.59/21.62	c   dins             :       0.00          0          0
21.59/21.62	c   undercover       :       0.00          0          0
21.59/21.62	c   nlp              :       0.00          0          0
21.59/21.62	c   trysol           :       0.00          0          0
21.59/21.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
21.59/21.62	c   primal LP        :       0.00          0          0       0.00          -
21.59/21.62	c   dual LP          :       0.35          5       1364     272.80    3913.96
21.59/21.62	c   lex dual LP      :       0.00          0          0       0.00          -
21.59/21.62	c   barrier LP       :       0.00          0          0       0.00          -
21.59/21.62	c   diving/probing LP:       0.00          0          0       0.00          -
21.59/21.62	c   strong branching :       0.00          0          0       0.00          -
21.59/21.62	c     (at root node) :          -          0          0       0.00          -
21.59/21.62	c   conflict analysis:       0.00          0          0       0.00          -
21.59/21.62	c B&B Tree           :
21.59/21.62	c   number of runs   :          1
21.59/21.62	c   nodes            :          1
21.59/21.62	c   nodes (total)    :          1
21.59/21.62	c   nodes left       :          0
21.59/21.62	c   max depth        :          0
21.59/21.62	c   max depth (total):          0
21.59/21.62	c   backtracks       :          0 (0.0%)
21.59/21.62	c   delayed cutoffs  :          0
21.59/21.62	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
21.59/21.62	c   avg switch length:       2.00
21.59/21.62	c   switching time   :       0.00
21.59/21.62	c Solution           :
21.59/21.62	c   Solutions found  :          4 (4 improvements)
21.59/21.62	c   First Solution   : +1.64362230823000e+11   (in run 1, after 1 nodes, 18.47 seconds, depth 0, found by <shifting>)
21.59/21.62	c   Primal Bound     : +4.24157375800000e+09   (in run 1, after 1 nodes, 20.13 seconds, depth 0, found by <rounding>)
21.59/21.62	c   Dual Bound       : +4.24157375800000e+09
21.59/21.62	c   Gap              :       0.00 %
21.59/21.62	c   Root Dual Bound  : +4.24157375800000e+09
21.59/21.62	c   Root Iterations  :       1364
21.68/21.70	c Time complete: 21.69.

Verifier Data 

OK	4241573758

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704840-1278580116/watcher-2704840-1278580116 -o /tmp/evaluation-result-2704840-1278580116/solver-2704840-1278580116 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704840-1278580116.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.94 1.06 1.00 3/105 32156
/proc/meminfo: memFree=1598404/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=7904 CPUtime=0
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 1152 0 0 0 0 0 0 0 25 0 1 0 26219857 8093696 1064 1992294400 4194304 8395647 140735952511296 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32156/statm: 1976 1073 365 1026 0 946 0

[startup+0.0434549 s]
/proc/loadavg: 0.94 1.06 1.00 3/105 32156
/proc/meminfo: memFree=1598404/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=14548 CPUtime=0.04
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 2931 0 0 0 3 1 0 0 25 0 1 0 26219857 14897152 2842 1992294400 4194304 8395647 140735952511296 18446744073709551615 7382016 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32156/statm: 3637 2842 393 1026 0 2607 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14548

[startup+0.10146 s]
/proc/loadavg: 0.94 1.06 1.00 3/105 32156
/proc/meminfo: memFree=1598404/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=18384 CPUtime=0.09
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 3769 0 0 0 8 1 0 0 25 0 1 0 26219857 18825216 3680 1992294400 4194304 8395647 140735952511296 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32156/statm: 4596 3692 393 1026 0 3566 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18384

[startup+0.301481 s]
/proc/loadavg: 0.94 1.06 1.00 3/105 32156
/proc/meminfo: memFree=1598404/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=23168 CPUtime=0.3
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 5084 0 0 0 28 2 0 0 25 0 1 0 26219857 23724032 4995 1992294400 4194304 8395647 140735952511296 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32156/statm: 5792 4995 393 1026 0 4762 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 23168

[startup+0.701526 s]
/proc/loadavg: 0.94 1.06 1.00 3/105 32156
/proc/meminfo: memFree=1598404/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=56668 CPUtime=0.69
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 13439 0 0 0 65 4 0 0 18 0 1 0 26219857 58028032 12996 1992294400 4194304 8395647 140735952511296 18446744073709551615 4985966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32156/statm: 14167 12996 475 1026 0 13137 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56668

[startup+1.50161 s]
/proc/loadavg: 0.94 1.06 1.00 2/106 32157
/proc/meminfo: memFree=1540488/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=65200 CPUtime=1.49
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 15637 0 0 0 145 4 0 0 19 0 1 0 26219857 66764800 15192 1992294400 4194304 8395647 140735952511296 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32156/statm: 16300 15192 498 1026 0 15270 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65200

[startup+3.10079 s]
/proc/loadavg: 0.94 1.06 1.00 2/106 32157
/proc/meminfo: memFree=1539248/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=65548 CPUtime=3.09
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 15724 0 0 0 305 4 0 0 23 0 1 0 26219857 67121152 15279 1992294400 4194304 8395647 140735952511296 18446744073709551615 4277735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32156/statm: 16387 15279 498 1026 0 15357 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65548

[startup+6.30115 s]
/proc/loadavg: 1.11 1.09 1.01 2/106 32157
/proc/meminfo: memFree=1537016/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=67084 CPUtime=6.29
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 16114 0 0 0 625 4 0 0 25 0 1 0 26219857 68694016 15669 1992294400 4194304 8395647 140735952511296 18446744073709551615 5215872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32156/statm: 16771 15669 504 1026 0 15741 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67084

[startup+12.7009 s]
/proc/loadavg: 1.10 1.09 1.01 2/106 32157
/proc/meminfo: memFree=1536892/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=68368 CPUtime=12.69
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 16435 0 0 0 1264 5 0 0 25 0 1 0 26219857 70008832 15990 1992294400 4194304 8395647 140735952511296 18446744073709551615 5093733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32156/statm: 17092 15990 504 1026 0 16062 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68368

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

[startup+15.9012 s]
/proc/loadavg: 1.09 1.08 1.01 2/106 32157
/proc/meminfo: memFree=1534784/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=69392 CPUtime=15.89
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 16691 0 0 0 1584 5 0 0 25 0 1 0 26219857 71057408 16246 1992294400 4194304 8395647 140735952511296 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32156/statm: 17348 16246 504 1026 0 16318 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 69392

[startup+19.1016 s]
/proc/loadavg: 1.09 1.08 1.01 2/106 32159
/proc/meminfo: memFree=1534536/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=85940 CPUtime=19.09
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 20809 0 0 0 1903 6 0 0 25 0 1 0 26219857 88002560 20215 1992294400 4194304 8395647 140735952511296 18446744073709551615 6124432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32156/statm: 21485 20215 634 1026 0 20455 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 85940

[startup+20.7007 s]
/proc/loadavg: 1.09 1.08 1.01 2/106 32159
/proc/meminfo: memFree=1517548/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=88916 CPUtime=20.69
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 21667 0 0 0 2062 7 0 0 25 0 1 0 26219857 91049984 20989 1992294400 4194304 8395647 140735952511296 18446744073709551615 5827831 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32156/statm: 22229 20989 624 1026 0 21199 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 88916

[startup+21.5008 s]
/proc/loadavg: 1.08 1.08 1.01 2/106 32159
/proc/meminfo: memFree=1516184/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=113748 CPUtime=21.49
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 27752 0 0 0 2136 13 0 0 25 0 1 0 26219857 116477952 27064 1992294400 4194304 8395647 140735952511296 18446744073709551615 4684129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32156/statm: 28437 27064 622 1026 0 27407 0
Current children cumulated CPU time (s) 21.49
Current children cumulated vsize (KiB) 113748

[startup+21.7008 s]
/proc/loadavg: 1.08 1.08 1.01 2/106 32159
/proc/meminfo: memFree=1516184/2059040 swapFree=4136400/4192956
[pid=32156] ppid=32154 vsize=68576 CPUtime=21.68
/proc/32156/stat : 32156 (pbscip.linux.x8) R 32154 32156 31635 0 -1 4202496 27761 0 0 0 2155 13 0 0 18 0 1 0 26219857 70221824 16071 1992294400 4194304 8395647 140735952511296 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32156/statm: 17144 16071 631 1026 0 16114 0
Current children cumulated CPU time (s) 21.68
Current children cumulated vsize (KiB) 68576

Child status: 0
Real time (s): 21.7087
CPU time (s): 21.7027
CPU user time (s): 21.5597
CPU system time (s): 0.142978
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 113748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.5597
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27764
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= 274

runsolver used 0.043993 second user time and 0.113982 second system time

The end

Launcher Data 

Begin job on node087 at 2010-07-08 11:08:36
IDJOB=2704840
IDBENCH=72317
IDSOLVER=1213
FILE ID=node087/2704840-1278580116
PBS_JOBID= 11240061
Free space on /tmp= 62548 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc5fe62.cudf.trendy.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704840-1278580116/watcher-2704840-1278580116 -o /tmp/evaluation-result-2704840-1278580116/solver-2704840-1278580116 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704840-1278580116.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 43875142ae1c220985d6e8b2ab6ecef8
RANDOM SEED=1561198102

node087.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1598932 kB
Buffers:        103888 kB
Cached:         255584 kB
SwapCached:      12768 kB
Active:         157368 kB
Inactive:       219296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1598932 kB
SwapTotal:     4192956 kB
SwapFree:      4136400 kB
Dirty:           11416 kB
Writeback:           0 kB
AnonPages:       11976 kB
Mapped:           8576 kB
Slab:            61716 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182084 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62536 MiB
End job on node087 at 2010-07-08 11:08:58