Trace number 4499223

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2025-06-13OPT9 11.1429 11.1855

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb
MD5SUM8416d641e22e8376ddac92bbd41682d6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark0.59499
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7164
Total number of constraints7824
Number of constraints which are clauses7155
Number of constraints which are cardinality constraints (but not clauses)93
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1132
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	9

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62290 MiB free)
  memory of node 1: 64507 MiB (57110 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499223-1751406510/watcher-4499223-1751406510 -o /tmp/evaluation-result-4499223-1751406510/solver-4499223-1751406510 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62870 --watchdog 3760 pbsolver -f HOME/instance-4499223-1751406510.opb -t 3600 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=63471, runsolver pid=63468

[startup+0.100065 s]*
/proc/loadavg: 4.01 3.46 3.37 5/267 63472
/proc/meminfo: memFree=122235204/131249996 swapFree=33010684/33010684
[pid=63471] ppid=63468 vsize=62420 memory=51328 CPUtime=0.09 cores=5,7
/proc/63471/stat : 63471 (pbsolver) R 63468 63471 62857 0 -1 4194304 10650 0 0 0 7 2 0 0 20 0 1 0 56328875 63918080 12832 18446744073709551615 4198400 14743177 140729138375168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 23113728 140729138383242 140729138383338 140729138383338 140729138388940 0
/proc/63471/statm: 15605 12832 2464 2575 0 12512 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62420 KiB
Current children cumulated memory: 51328 KiB

[startup+0.205493 s]*
/proc/loadavg: 4.01 3.46 3.37 5/267 63472
/proc/meminfo: memFree=122227140/131249996 swapFree=33010684/33010684
[pid=63471] ppid=63468 vsize=72228 memory=62576 CPUtime=0.19 cores=5,7
/proc/63471/stat : 63471 (pbsolver) R 63468 63471 62857 0 -1 4194304 16467 0 0 0 16 3 0 0 20 0 1 0 56328875 73961472 15644 18446744073709551615 4198400 14743177 140729138375168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23113728 140729138383242 140729138383338 140729138383338 140729138388940 0
/proc/63471/statm: 18057 15644 2560 2575 0 14964 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 72228 KiB
Current children cumulated memory: 62576 KiB

[startup+0.305469 s]*
/proc/loadavg: 4.01 3.46 3.37 5/267 63472
/proc/meminfo: memFree=122207168/131249996 swapFree=33010684/33010684
[pid=63471] ppid=63468 vsize=97152 memory=78952 CPUtime=0.29 cores=5,7
/proc/63471/stat : 63471 (pbsolver) R 63468 63471 62857 0 -1 4194304 19614 0 0 0 26 3 0 0 20 0 1 0 56328875 99483648 19738 18446744073709551615 4198400 14743177 140729138375168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23113728 140729138383242 140729138383338 140729138383338 140729138388940 0
/proc/63471/statm: 24288 19738 2560 2575 0 21195 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97152 KiB
Current children cumulated memory: 78952 KiB

[startup+0.700149 s]
/proc/loadavg: 4.01 3.46 3.37 5/267 63472
/proc/meminfo: memFree=122191040/131249996 swapFree=33010684/33010684
[pid=63471] ppid=63468 vsize=116840 memory=97896 CPUtime=0.68 cores=5,7
/proc/63471/stat : 63471 (pbsolver) R 63468 63471 62857 0 -1 4194304 24453 0 0 0 64 4 0 0 20 0 1 0 56328875 119644160 24474 18446744073709551615 4198400 14743177 140729138375168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23113728 140729138383242 140729138383338 140729138383338 140729138388940 0
/proc/63471/statm: 29210 24474 2560 2575 0 26117 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116840 KiB
Current children cumulated memory: 97896 KiB

[startup+1.50016 s]
/proc/loadavg: 4.01 3.46 3.37 5/267 63472
/proc/meminfo: memFree=122182976/131249996 swapFree=33010684/33010684
[pid=63471] ppid=63468 vsize=123888 memory=105320 CPUtime=1.47 cores=5,7
/proc/63471/stat : 63471 (pbsolver) R 63468 63471 62857 0 -1 4194304 26313 0 0 0 143 4 0 0 20 0 1 0 56328875 126861312 26330 18446744073709551615 4198400 14743177 140729138375168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23113728 140729138383242 140729138383338 140729138383338 140729138388940 0
/proc/63471/statm: 30972 26330 2560 2575 0 27879 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 123888 KiB
Current children cumulated memory: 105320 KiB

[startup+3.10538 s]
/proc/loadavg: 4.01 3.46 3.37 5/267 63472
/proc/meminfo: memFree=122143224/131249996 swapFree=33010684/33010684
[pid=63471] ppid=63468 vsize=162360 memory=144396 CPUtime=3.08 cores=5,7
/proc/63471/stat : 63471 (pbsolver) R 63468 63471 62857 0 -1 4194304 36429 0 0 0 302 6 0 0 20 0 1 0 56328875 166256640 36099 18446744073709551615 4198400 14743177 140729138375168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23113728 140729138383242 140729138383338 140729138383338 140729138388940 0
/proc/63471/statm: 40590 36099 2592 2575 0 37497 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 162360 KiB
Current children cumulated memory: 144396 KiB

[startup+6.30018 s]
/proc/loadavg: 4.01 3.47 3.38 5/267 63472
/proc/meminfo: memFree=122066960/131249996 swapFree=33010684/33010684
[pid=63471] ppid=63468 vsize=245648 memory=224328 CPUtime=6.26 cores=5,7
/proc/63471/stat : 63471 (pbsolver) R 63468 63471 62857 0 -1 4194304 59543 0 0 0 617 9 0 0 20 0 1 0 56328875 251543552 56082 18446744073709551615 4198400 14743177 140729138375168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23113728 140729138383242 140729138383338 140729138383338 140729138388940 0
/proc/63471/statm: 61412 56082 2656 2575 0 58319 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 245648 KiB
Current children cumulated memory: 224328 KiB

[startup+11.1855 s]
# the end of solver process 63471 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=11.0004 s, system=0.142575 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40021 s]
/proc/loadavg: 4.01 3.47 3.38 5/267 63472
/proc/meminfo: memFree=122066960/131249996 swapFree=33010684/33010684
[pid=63471] ppid=63468 vsize=252504 memory=229960 CPUtime=6.36 cores=5,7
/proc/63471/stat : 63471 (pbsolver) R 63468 63471 62857 0 -1 4194304 60966 0 0 0 626 10 0 0 20 0 1 0 56328875 258564096 57490 18446744073709551615 4198400 14743177 140729138375168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23113728 140729138383242 140729138383338 140729138383338 140729138388940 0
/proc/63471/statm: 63126 57490 2656 2575 0 60033 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 252504 KiB
Current children cumulated memory: 229960 KiB

[startup+9.60016 s]
/proc/loadavg: 4.09 3.49 3.39 5/267 63472
/proc/meminfo: memFree=122044388/131249996 swapFree=33010684/33010684
[pid=63471] ppid=63468 vsize=261304 memory=240324 CPUtime=9.55 cores=5,7
/proc/63471/stat : 63471 (pbsolver) R 63468 63471 62857 0 -1 4194304 70743 0 0 0 943 12 0 0 20 0 1 0 56328875 267575296 60081 18446744073709551615 4198400 14743177 140729138375168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23113728 140729138383242 140729138383338 140729138383338 140729138388940 0
/proc/63471/statm: 65326 60081 2656 2575 0 62233 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 261304 KiB
Current children cumulated memory: 240324 KiB

[startup+10.4001 s]
/proc/loadavg: 4.09 3.49 3.39 5/267 63472
/proc/meminfo: memFree=122044600/131249996 swapFree=33010684/33010684
[pid=63471] ppid=63468 vsize=261304 memory=240324 CPUtime=10.35 cores=5,7
/proc/63471/stat : 63471 (pbsolver) R 63468 63471 62857 0 -1 4194304 70743 0 0 0 1023 12 0 0 20 0 1 0 56328875 267575296 60081 18446744073709551615 4198400 14743177 140729138375168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23113728 140729138383242 140729138383338 140729138383338 140729138388940 0
/proc/63471/statm: 65326 60081 2656 2575 0 62233 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 261304 KiB
Current children cumulated memory: 240324 KiB

[startup+10.8001 s]
/proc/loadavg: 4.09 3.49 3.39 5/267 63472
/proc/meminfo: memFree=122044600/131249996 swapFree=33010684/33010684
[pid=63471] ppid=63468 vsize=261304 memory=240324 CPUtime=10.75 cores=5,7
/proc/63471/stat : 63471 (pbsolver) R 63468 63471 62857 0 -1 4194304 70743 0 0 0 1063 12 0 0 20 0 1 0 56328875 267575296 60081 18446744073709551615 4198400 14743177 140729138375168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23113728 140729138383242 140729138383338 140729138383338 140729138388940 0
/proc/63471/statm: 65326 60081 2656 2575 0 62233 0
Current children cumulated CPU time: 10.75 s
Current children cumulated vsize: 261304 KiB
Current children cumulated memory: 240324 KiB

[startup+11.0001 s]*
/proc/loadavg: 4.09 3.49 3.39 5/267 63472
/proc/meminfo: memFree=122044600/131249996 swapFree=33010684/33010684
[pid=63471] ppid=63468 vsize=261304 memory=240324 CPUtime=10.95 cores=5,7
/proc/63471/stat : 63471 (pbsolver) R 63468 63471 62857 0 -1 4194304 70743 0 0 0 1083 12 0 0 20 0 1 0 56328875 267575296 60081 18446744073709551615 4198400 14743177 140729138375168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23113728 140729138383242 140729138383338 140729138383338 140729138388940 0
/proc/63471/statm: 65326 60081 2656 2575 0 62233 0
Current children cumulated CPU time: 10.95 s
Current children cumulated vsize: 261304 KiB
Current children cumulated memory: 240324 KiB

[startup+11.1054 s]
/proc/loadavg: 4.09 3.49 3.39 5/267 63472
/proc/meminfo: memFree=122044600/131249996 swapFree=33010684/33010684
[pid=63471] ppid=63468 vsize=261304 memory=240324 CPUtime=11.05 cores=5,7
/proc/63471/stat : 63471 (pbsolver) R 63468 63471 62857 0 -1 4194304 70744 0 0 0 1093 12 0 0 20 0 1 0 56328875 267575296 60081 18446744073709551615 4198400 14743177 140729138375168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23113728 140729138383242 140729138383338 140729138383338 140729138388940 0
/proc/63471/statm: 65326 60081 2656 2575 0 62233 0
Current children cumulated CPU time: 11.05 s
Current children cumulated vsize: 261304 KiB
Current children cumulated memory: 240324 KiB

Child status: 0

Real time (s): 11.1855
CPU time (s): 11.1429
CPU user time (s): 11.0004
CPU system time (s): 0.142575
CPU usage (%): 99.6191
Max. virtual memory (cumulated for all children) (KiB): 270956
Max. memory (cumulated for all children) (KiB): 249440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.0004
system time used= 0.142575
maximum resident set size= 249440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70744
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 21


# summary of solver processes directly reported to runsolver:
#   pid: 63471
#   total CPU time (s): 11.1429
#   total CPU user time (s): 11.0004
#   total CPU system time (s): 0.142575

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038036 second user time and 0.074229 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-01 23:48:30
IDJOB=4499223
IDBENCH=148773
IDSOLVER=3366
FILE ID=nodeC024/4499223-1751406510
RUNJOBID= nodeC024-1751406326-62870
SLURM_JOB_ID= 9598297
Free space on /tmp= 432932 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx92.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499223-1751406510/watcher-4499223-1751406510 -o /tmp/evaluation-result-4499223-1751406510/solver-4499223-1751406510 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62870 --watchdog 3760  pbsolver -f HOME/instance-4499223-1751406510.opb -t 3600 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 8416d641e22e8376ddac92bbd41682d6
RANDOM SEED=848044300

nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.727
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.668
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.033
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3593.961
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.608
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3595.170
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3557.870
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.661
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122267144 kB
MemAvailable:   128987476 kB
Buffers:            3280 kB
Cached:          7489224 kB
SwapCached:            0 kB
Active:          1004420 kB
Inactive:        7232076 kB
Active(anon):     762056 kB
Inactive(anon):        0 kB
Active(file):     242364 kB
Inactive(file):  7232076 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15352 kB
Writeback:             0 kB
AnonPages:        747136 kB
Mapped:           136076 kB
Shmem:             18064 kB
KReclaimable:     169864 kB
Slab:             260180 kB
SReclaimable:     169864 kB
SUnreclaim:        90316 kB
KernelStack:        4320 kB
PageTables:         4624 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1136740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432916 MiB
End job on nodeC024 at 2025-07-01 23:48:41