Trace number 2704836

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 solverOPT12384786448 23.2965 23.3015

General information on the benchmark

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

Verifier Data 

OK	12384786448

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.31 1.08 0.98 3/106 1087
/proc/meminfo: memFree=1659528/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=5824 CPUtime=0
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 772 0 0 0 0 0 0 0 20 0 1 0 26216509 5963776 687 1992294400 4194304 8395647 140735652692672 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1087/statm: 1456 691 326 1026 0 426 0

[startup+0.0237581 s]
/proc/loadavg: 1.31 1.08 0.98 3/106 1087
/proc/meminfo: memFree=1659528/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=12760 CPUtime=0.01
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 2504 0 0 0 1 0 0 0 20 0 1 0 26216509 13066240 2415 1992294400 4194304 8395647 140735652692672 18446744073709551615 5755080 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1087/statm: 3190 2415 386 1026 0 2160 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12760

[startup+0.100716 s]
/proc/loadavg: 1.31 1.08 0.98 3/106 1087
/proc/meminfo: memFree=1659528/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=17392 CPUtime=0.09
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 3656 0 0 0 9 0 0 0 20 0 1 0 26216509 17809408 3567 1992294400 4194304 8395647 140735652692672 18446744073709551615 7370171 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1087/statm: 4348 3567 393 1026 0 3318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17392

[startup+0.300734 s]
/proc/loadavg: 1.31 1.08 0.98 3/106 1087
/proc/meminfo: memFree=1659528/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=23248 CPUtime=0.29
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 4956 0 0 0 28 1 0 0 20 0 1 0 26216509 23805952 4867 1992294400 4194304 8395647 140735652692672 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1087/statm: 5812 4880 393 1026 0 4782 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23248

[startup+0.700769 s]
/proc/loadavg: 1.31 1.08 0.98 3/106 1087
/proc/meminfo: memFree=1659528/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=55616 CPUtime=0.69
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 13188 0 0 0 65 4 0 0 20 0 1 0 26216509 56950784 12745 1992294400 4194304 8395647 140735652692672 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1087/statm: 13904 12745 469 1026 0 12874 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55616

[startup+1.50084 s]
/proc/loadavg: 1.31 1.08 0.98 2/107 1088
/proc/meminfo: memFree=1605828/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=65604 CPUtime=1.49
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 15736 0 0 0 145 4 0 0 23 0 1 0 26216509 67178496 15291 1992294400 4194304 8395647 140735652692672 18446744073709551615 5608136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1087/statm: 16401 15291 498 1026 0 15371 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65604

[startup+3.10098 s]
/proc/loadavg: 1.28 1.08 0.98 2/107 1088
/proc/meminfo: memFree=1599628/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=66204 CPUtime=3.09
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 15886 0 0 0 305 4 0 0 25 0 1 0 26216509 67792896 15441 1992294400 4194304 8395647 140735652692672 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1087/statm: 16551 15441 498 1026 0 15521 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66204

[startup+6.30125 s]
/proc/loadavg: 1.28 1.08 0.98 2/107 1088
/proc/meminfo: memFree=1598388/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=67852 CPUtime=6.29
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 16304 0 0 0 625 4 0 0 25 0 1 0 26216509 69480448 15859 1992294400 4194304 8395647 140735652692672 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1087/statm: 16963 15859 504 1026 0 15933 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67852

[startup+12.7018 s]
/proc/loadavg: 1.24 1.08 0.98 2/107 1088
/proc/meminfo: memFree=1597396/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=67852 CPUtime=12.69
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 16304 0 0 0 1264 5 0 0 25 0 1 0 26216509 69480448 15859 1992294400 4194304 8395647 140735652692672 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1087/statm: 16963 15859 504 1026 0 15933 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67852

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

[startup+19.1014 s]
/proc/loadavg: 1.22 1.08 0.98 2/107 1088
/proc/meminfo: memFree=1597396/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=67852 CPUtime=19.09
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 16304 0 0 0 1904 5 0 0 25 0 1 0 26216509 69480448 15859 1992294400 4194304 8395647 140735652692672 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1087/statm: 16963 15859 504 1026 0 15933 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 67852

[startup+20.7015 s]
/proc/loadavg: 1.22 1.08 0.98 2/107 1088
/proc/meminfo: memFree=1596528/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=68876 CPUtime=20.69
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 16560 0 0 0 2064 5 0 0 25 0 1 0 26216509 70529024 16115 1992294400 4194304 8395647 140735652692672 18446744073709551615 5093790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1087/statm: 17219 16115 504 1026 0 16189 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 68876

[startup+22.3006 s]
/proc/loadavg: 1.22 1.08 0.98 2/107 1088
/proc/meminfo: memFree=1581648/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=84668 CPUtime=22.28
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 20795 0 0 0 2222 6 0 0 25 0 1 0 26216509 86700032 20053 1992294400 4194304 8395647 140735652692672 18446744073709551615 4530278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1087/statm: 21167 20053 615 1026 0 20137 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 84668

[startup+23.1087 s]
/proc/loadavg: 1.20 1.08 0.98 2/107 1088
/proc/meminfo: memFree=1556848/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=84668 CPUtime=23.1
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 26909 0 0 0 2298 12 0 0 25 0 1 0 26216509 86700032 20095 1992294400 4194304 8395647 140735652692672 18446744073709551615 6063850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1087/statm: 21167 20095 630 1026 0 20137 0
Current children cumulated CPU time (s) 23.1
Current children cumulated vsize (KiB) 84668

[startup+23.3007 s]
/proc/loadavg: 1.20 1.08 0.98 2/107 1088
/proc/meminfo: memFree=1556848/2059040 swapFree=4139856/4192956
[pid=1087] ppid=1085 vsize=17744 CPUtime=23.29
/proc/1087/stat : 1087 (pbscip.linux.x8) R 1085 1087 627 0 -1 4202496 26985 0 0 0 2316 13 0 0 25 0 1 0 26216509 18169856 2613 1992294400 4194304 8395647 140735652692672 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1087/statm: 3056 2613 628 1026 0 2026 0
Current children cumulated CPU time (s) 23.29
Current children cumulated vsize (KiB) 17744

Child status: 0
Real time (s): 23.3015
CPU time (s): 23.2965
CPU user time (s): 23.1635
CPU system time (s): 0.132979
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 109396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.1635
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26988
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= 1
involuntary context switches= 54

runsolver used 0.052991 second user time and 0.116982 second system time

The end

Launcher Data 

Begin job on node057 at 2010-07-08 11:08:22
IDJOB=2704836
IDBENCH=72308
IDSOLVER=1213
FILE ID=node057/2704836-1278580101
PBS_JOBID= 11240070
Free space on /tmp= 62528 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-rand5d20db.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-2704836-1278580101/watcher-2704836-1278580101 -o /tmp/evaluation-result-2704836-1278580101/solver-2704836-1278580101 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704836-1278580101.opb -t 1800 -m 1800

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

MD5SUM BENCH= c3c9c8cba6a8891768f571580c510036
RANDOM SEED=1793238206

node057.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.245
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.49
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.245
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1659932 kB
Buffers:         74608 kB
Cached:         223956 kB
SwapCached:       7508 kB
Active:         161032 kB
Inactive:       151988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1659932 kB
SwapTotal:     4192956 kB
SwapFree:      4139856 kB
Dirty:           11504 kB
Writeback:           0 kB
AnonPages:       11580 kB
Mapped:          12072 kB
Slab:            64120 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183292 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= 62520 MiB
End job on node057 at 2010-07-08 11:08:45