Trace number 4499039

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-13OPT8 12.7508 12.7952

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx84.opb
MD5SUMd60e9860abd72f5860673673bfdb8c38
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 benchmark8
Best CPU time to get the best result obtained on this benchmark0.251803
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6088
Total number of constraints6677
Number of constraints which are clauses6080
Number of constraints which are cardinality constraints (but not clauses)85
Number of constraints which are nor clauses,nor cardinality constraints512
Minimum length of a constraint2
Maximum length of a constraint512
Number of terms in the objective function 8
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 8
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 1039
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-4499039-1751406369.opb>
0.00/0.02	c original problem has 6088 variables (6088 bin, 0 int, 0 cont) and 6677 constraints
0.00/0.02	c problem read in 0.025 seconds
0.00/0.05	c presolving:
0.00/0.07	c (round 1, fast)       8 del vars, 1 del conss, 0 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1364 clqs
0.00/0.08	c (round 2, fast)       8 del vars, 6081 del conss, 0 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1364 clqs
0.00/0.09	c    (0.1s) running MILP presolver
0.09/0.11	c    (0.1s) MILP presolver found nothing
0.09/0.13	c (round 3, exhaustive) 8 del vars, 6081 del conss, 0 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 596 upgd conss, 0 impls, 1364 clqs
0.20/0.23	c    (0.2s) probing: 51/6080 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.20/0.23	c    (0.2s) probing aborted: 50/50 successive totally useless probings
0.20/0.25	c    (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.09/1.11	c    (1.1s) symmetry computation finished: 573 generators found (max: 1500, log10 of symmetry group size: 194.33) (symcode time: 0.86)
1.09/1.14	c dynamic symmetry handling statistics:
1.09/1.14	c    orbitopal reduction:       no components
1.09/1.14	c    orbital reduction:         no components
1.09/1.14	c    lexicographic reduction:   no permutations
1.09/1.14	c handled 1 out of 1 symmetry components
1.09/1.15	c (round 4, exhaustive) 518 del vars, 6081 del conss, 510 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 596 upgd conss, 0 impls, 978 clqs
1.09/1.16	c (round 5, medium)     702 del vars, 6081 del conss, 510 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 596 upgd conss, 0 impls, 949 clqs
1.09/1.17	c (round 6, medium)     771 del vars, 6081 del conss, 510 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 596 upgd conss, 0 impls, 946 clqs
1.09/1.18	c (round 7, medium)     816 del vars, 6081 del conss, 510 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 596 upgd conss, 0 impls, 946 clqs
1.09/1.18	c (round 8, medium)     831 del vars, 6081 del conss, 510 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 596 upgd conss, 0 impls, 946 clqs
1.09/1.18	c (round 9, medium)     863 del vars, 6081 del conss, 510 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 596 upgd conss, 0 impls, 934 clqs
1.09/1.19	c (round 10, medium)     896 del vars, 6081 del conss, 510 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 596 upgd conss, 0 impls, 927 clqs
1.09/1.19	c (round 11, medium)     929 del vars, 6081 del conss, 510 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 596 upgd conss, 0 impls, 927 clqs
1.09/1.19	c (round 12, medium)     950 del vars, 6081 del conss, 510 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 596 upgd conss, 0 impls, 927 clqs
2.28/2.33	c    (2.3s) probing: 1000/6080 (16.4%) - 0 fixings, 0 aggregations, 75941 implications, 0 bound changes
2.78/2.85	c    (2.9s) probing: 1357/6080 (22.3%) - 0 fixings, 0 aggregations, 108686 implications, 0 bound changes
2.78/2.85	c    (2.9s) probing aborted: 1000/1000 successive useless probings
2.78/2.86	c presolving (13 rounds: 13 fast, 11 medium, 3 exhaustive):
2.78/2.86	c  950 deleted vars, 6081 deleted constraints, 510 added constraints, 8 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.78/2.86	c  0 implications, 57005 cliques
2.78/2.86	c presolved problem has 5138 variables (5138 bin, 0 int, 0 cont) and 1106 constraints
2.78/2.86	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2.78/2.86	c     512 constraints of type <knapsack>
2.78/2.86	c      84 constraints of type <setppc>
2.78/2.86	c     510 constraints of type <orbitope_pp>
2.78/2.86	c transformed objective value is always integral (scale: 1)
2.78/2.86	c Presolving Time: 2.82
2.78/2.86	c 
2.78/2.86	c - non default parameters ----------------------------------------------------------------------
2.78/2.86	c 
2.78/2.86	c # SCIP version 10.0.0
2.78/2.86	c 
2.78/2.86	c # maximal time in seconds to run
2.78/2.86	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.78/2.86	c limits/time = 3596.998217
2.78/2.86	c 
2.78/2.86	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.78/2.86	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.78/2.86	c limits/memory = 27900
2.78/2.86	c 
2.78/2.86	c # belongs reading time to solving time?
2.78/2.86	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.78/2.86	c timing/reading = TRUE
2.78/2.86	c 
2.78/2.86	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
2.78/2.86	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
2.78/2.86	c reading/opbreader/maxintsize = 47
2.78/2.86	c 
2.78/2.86	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
2.78/2.86	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
2.78/2.86	c propagating/genvbounds/timingmask = 0
2.78/2.86	c 
2.78/2.86	c -----------------------------------------------------------------------------------------------
2.78/2.86	c 
3.28/3.39	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.28/3.39	c   3.4s|     1 |     0 |   661 |     - |   138M |   0 |5138 |1202 | 596 |   0 |  0 |  95 |   0 | 8.000000e+00 |      --      |    Inf | unknown
3.78/3.80	c   3.8s|     1 |     0 |  1145 |     - |   144M |   0 |5138 |1202 | 622 |  26 |  1 |  95 |   0 | 8.000000e+00 |      --      |    Inf | unknown
3.78/3.88	c   3.9s|     1 |     0 |  1239 |     - |   146M |   0 |5138 |1203 | 651 |  55 |  2 |  96 |   0 | 8.000000e+00 |      --      |    Inf | unknown
3.88/3.95	c   4.0s|     1 |     0 |  1352 |     - |   150M |   0 |5138 |1204 | 677 |  81 |  3 |  97 |   0 | 8.000000e+00 |      --      |    Inf | unknown
3.98/4.05	c   4.0s|     1 |     0 |  1436 |     - |   151M |   0 |5138 |1204 | 703 | 107 |  4 |  97 |   0 | 8.000000e+00 |      --      |    Inf | unknown
4.08/4.13	c   4.1s|     1 |     0 |  1496 |     - |   152M |   0 |5138 |1205 | 730 | 134 |  5 |  98 |   0 | 8.000000e+00 |      --      |    Inf | unknown
4.18/4.22	c   4.2s|     1 |     0 |  1584 |     - |   153M |   0 |5138 |1205 | 758 | 162 |  6 |  98 |   0 | 8.000000e+00 |      --      |    Inf | unknown
4.28/4.33	c   4.3s|     1 |     0 |  1697 |     - |   156M |   0 |5138 |1205 | 786 | 190 |  7 |  98 |   0 | 8.000000e+00 |      --      |    Inf | unknown
4.38/4.46	c   4.5s|     1 |     0 |  1944 |     - |   157M |   0 |5138 |1212 | 812 | 216 |  8 | 105 |   0 | 8.000000e+00 |      --      |    Inf | unknown
4.48/4.57	c   4.6s|     1 |     0 |  2112 |     - |   161M |   0 |5138 |1212 | 839 | 243 |  9 | 105 |   0 | 8.000000e+00 |      --      |    Inf | unknown
4.58/4.68	c   4.7s|     1 |     0 |  2242 |     - |   162M |   0 |5138 |1212 | 866 | 270 | 10 | 105 |   0 | 8.000000e+00 |      --      |    Inf | unknown
4.68/4.79	c   4.8s|     1 |     0 |  2519 |     - |   162M |   0 |5138 |1213 | 891 | 295 | 11 | 106 |   0 | 8.000000e+00 |      --      |    Inf | unknown
5.27/5.36	c   5.4s|     1 |     2 |  4301 |     - |   164M |   0 |5138 |1276 | 891 | 295 | 11 | 169 |  11 | 8.000000e+00 |      --      |    Inf | unknown
10.86/10.92	c  10.9s|   100 |    95 | 29502 | 272.6 |   172M |  44 |5138 |1744 | 751 | 562 |  2 | 651 |  11 | 8.000000e+00 |      --      |    Inf | unknown
11.65/11.76	c  11.8s|   200 |   119 | 33417 | 155.3 |   176M |  68 |5138 |1873 | 755 | 637 |  0 | 783 |  11 | 8.000000e+00 |      --      |    Inf | unknown
12.35/12.43	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
12.35/12.43	c  12.4s|   300 |   120 | 36484 | 113.6 |   180M |  71 |5138 |2011 |   0 | 686 |  0 | 921 |  11 | 8.000000e+00 |      --      |    Inf | unknown
12.65/12.70	o 8
12.65/12.70	c *12.7s|   348 |     0 | 37025 |  99.4 |    LP  |  80 |5138 |2085 | 748 | 692 |  0 | 995 |  11 | 8.000000e+00 | 8.000000e+00 |   0.00%| 100.00%
12.65/12.71	c 
12.65/12.71	c SCIP Status        : problem is solved [optimal solution found]
12.65/12.71	c Solving Time (sec) : 12.71
12.65/12.71	c Solving Nodes      : 348
12.65/12.71	c Primal Bound       : +8.00000000000000e+00 (1 solutions)
12.65/12.71	c Dual Bound         : +8.00000000000000e+00
12.65/12.71	c Gap                : 0.00 %
12.65/12.71	s OPTIMUM FOUND
12.65/12.71	v x1 x2 x4 x5 x6 x8 x10 x12 x3241 -x3267 -x3286 -x3304 -x5676 -x5697 -x5621 -x5647 -x4618 -x4641 -x4860 -x4895 -x1247 -x1226 -x1294
12.65/12.71	v -x1272 -x538 -x514 -x673 -x650 -x2936 -x2908 -x3001 -x2971 -x2205 -x2232 -x2102 -x2063 -x1373 -x1398 -x1320 -x1345 -x614 x60 -x719
12.65/12.71	v -x1369 -x2207 -x3111 -x3872 -x4628 -x3602 -x3578 -x3657 -x3629 -x5922 -x5894 -x6083 -x6061 x5175 -x5139 -x5238 -x5208 -x871 -x889
12.65/12.71	v -x759 -x779 -x226 -x239 -x190 -x206 -x2428 -x2456 -x2483 -x2512 -x1554 -x1582 -x1495 -x1533 -x4419 -x4444 -x3931 -x3907 -x3919 -x3950
12.65/12.71	v x3969 -x3990 -x1613 -x1585 -x1557 -x1526 -x2488 -x2565 -x2541 -x2394 -x2662 -x235 -x219 -x207 -x487 -x408 -x426 -x856 -x1017 -x1043
12.65/12.71	v -x1071 -x1077 -x5516 -x5586 -x5563 -x5639 -x4671 -x4825 -x4801 -x4771 x3473 -x3500 -x3532 -x3563 -x3364 -x3389 -x3413 -x3441 -x1820
12.65/12.71	v -x1841 -x1866 -x1888 -x1710 -x1732 -x1759 -x1785 -x1376 -x1354 -x1647 -x1623 -x1681 -x1665 -x1544 -x1514 -x1604 -x1551 -x2747 -x2768
12.65/12.71	v -x2701 -x2723 -x2650 -x2679 -x2225 -x2197 -x2168 -x2132 -x2579 -x2554 -x2530 -x2508 -x2463 -x2433 -x2398 -x2369 -x302 -x325 -x348
12.65/12.71	v -x368 -x91 -x70 -x127 -x117 -x166 -x150 -x200 -x176 -x231 -x215 -x258 -x250 -x289 -x276 -x984 -x1002 -x751 -x732 -x711 -x694 -x828
12.65/12.71	v -x807 -x785 -x770 -x877 -x863 -x853 -x839 -x943 -x934 -x918 -x900 -x5031 -x5004 -x4851 -x4876 -x4903 -x4928 -x4754 -x4774 -x4804
12.65/12.71	v -x4829 -x4662 -x4686 -x4714 -x4730 -x4567 -x4587 -x5791 -x5766 -x5742 -x5718 -x5656 -x5683 -x5618 -x5641 -x5560 -x5585 -x5507 -x5536
12.65/12.71	v -x5478 -x5503 -x5404 -x5430 -x3449 -x3422 -x3495 -x3469 -x3546 -x3515 -x3214 -x3234 -x3248 -x3270 -x3299 -x3314 -x3335 -x3354 -x3018
12.65/12.71	v -x3061 -x3549 -x4222 -x5119 x5971 -x2375 -x1620 -x840 -x1113 -x5124 -x5149 -x5186 -x5217 -x5233 -x5249 -x5277 -x5294 -x833 -x847
12.65/12.71	v -x1120 -x1095 -x1072 -x1054 -x1023 -x1008 -x183 -x202 -x217 -x233 -x435 -x403 -x400 -x474 x2386 -x2419 -x2543 -x2573 -x2493 -x2521
12.65/12.71	v -x2656 -x2676 -x1507 -x1536 -x1576 -x1599 -x1630 -x1653 -x1668 -x1686 -x4463 -x4434 -x4291 -x4260 -x4355 -x4319 -x4175 -x4150 -x3674
12.65/12.71	v -x3649 -x3624 -x3600 -x3545 -x3518 -x3494 -x3464 -x5965 -x5935 -x6026 -x5991 -x6066 -x6042 -x5741 -x5722 -x2318 -x2293 -x2265 x2231
12.65/12.71	v -x1501 -x1489 -x1461 -x1442 -x2367 -x2450 -x2424 -x2299 -x189 -x292 -x280 -x265 -x842 -x888 -x870 -x914 -x1098 -x4694 -x4718 -x4646
12.65/12.71	v -x5209 -x5176 -x5142 -x5412 -x6044 -x5921 -x5893 -x5978 -x342 -x432 -x396 -x477 -x460 -x537 -x510 -x582 -x565 -x624 -x601 -x667
12.65/12.71	v -x647 -x21 -x40 -x56 -x84 -x111 -x135 -x155 -x168 -x182 -x197 -x210 -x234 -x245 -x256 -x267 -x281 -x2754 -x2732 -x2717 -x2729 -x2704
12.65/12.71	v -x2671 -x2641 -x2617 -x2598 -x2997 -x2966 -x2925 -x2896 -x2875 -x2851 -x2823 -x2786 -x2327 -x2349 -x2247 -x2280 -x2188 -x2212 -x2134
12.65/12.71	v -x2164 -x2550 -x2580 -x2498 -x2522 -x2441 -x2472 -x2382 -x2409 -x1832 -x1806 -x2718 -x2730 -x2705 -x2672 -x2642 -x2618 -x2599 -x2998
12.65/12.71	v -x2967 -x2926 -x2897 -x2876 -x2852 -x2824 -x2787 -x2328 -x2350 -x2248 -x2281 -x2189 -x2213 -x2135 -x2165 -x2551 -x2581 -x2499 -x2523
12.65/12.71	v -x2442 -x2473 -x2383 -x2410 -x1833 -x1807 -x1817 -x1878 -x1856 -x1746 -x1712 -x1793 -x1770 -x2031 -x2010 -x2106 -x2071 -x1924 -x1892
12.65/12.71	v -x1980 -x1953 -x1421 -x1425 -x1446 -x1475 -x1306 -x1335 -x1352 -x1386 -x1624 -x1648 -x1671 -x1689 -x1508 -x1539 -x1570 -x1595 -x1834
12.65/12.71	v -x1808 -x1818 -x1879 -x1857 -x1747 -x1713 -x1794 -x1771 -x2032 -x2011 -x2107 -x2072 -x1925 -x1893 -x1981 -x1954 -x1422 -x1426 -x1447
12.65/12.71	v -x1476 -x1307 -x1336 -x1353 -x1387 -x1625 -x1649 -x1672 -x1690 -x1509 -x1540 -x1571 -x1596 -x4429 -x4424 -x4451 -x4374 -x4394 -x4509
12.65/12.71	v -x4535 -x4468 -x4488 -x4215 -x4239 -x4161 -x4186 -x4336 -x4362 -x4277 -x4308 -x4056 -x4038 -x4019 -x3998 -x4137 -x4115 -x4093 -x4071
12.65/12.71	v -x3861 -x3835 -x3811 -x3787 -x3965 -x3937 -x1572 -x1597 -x4430 -x4425 -x4452 -x4375 -x4395 -x4510 -x4536 -x4469 -x4489 -x4216 -x4240
12.65/12.71	v -x4162 -x4187 -x4337 -x4363 -x4278 -x4309 -x4057 -x4039 -x4020 -x3999 -x4138 -x4116 -x4094 -x4072 -x3862 -x3836 -x3812 -x3788 -x3966
12.65/12.71	v -x3938 -x3914 -x3888 -x3896 -x3576 -x3603 -x3631 -x3659 -x3686 -x3712 -x3740 -x3760 -x3376 -x3406 -x3430 -x3457 -x3479 -x3507 -x3537
12.65/12.71	v -x3556 -x3230 -x3212 -x3273 -x3249 -x3316 -x3297 -x3352 -x3333 -x3044 -x3024 -x3091 -x3068 x3967 -x3939 -x3915 -x3889 -x3897 -x3577
12.65/12.71	v -x3604 -x3632 -x3660 -x3687 -x3713 -x3741 -x3761 -x3377 -x3407 -x3431 -x3458 -x3480 -x3508 -x3538 -x3557 -x3231 -x3213 -x3274 -x3250
12.65/12.71	v -x3317 -x3298 -x3353 -x3334 -x3045 -x3025 -x3092 -x3069 -x3135 -x3112 -x3182 -x3201 -x3174 -x6062 -x6084 -x6013 -x6037 -x5949 -x5979
12.65/12.71	v -x5897 -x5924 -x5840 -x5858 -x5794 -x5815 -x5754 -x5774 -x5712 -x5733 -x5693 -x5666 -x5642 -x5615 -x5583 -x5561 -x5540 -x5517 -x5499
12.65/12.71	v -x5474 -x3093 -x3070 -x3136 -x3113 -x3183 -x3202 -x3175 -x6063 -x6085 -x6014 -x6038 -x5950 -x5980 -x5898 -x5925 -x5841 -x5859 -x5795
12.65/12.71	v -x5816 -x5755 -x5775 -x5713 -x5734 -x5694 -x5667 -x5643 -x5616 -x5584 -x5562 -x5541 -x5518 -x5500 -x5475 -x5448 -x5422 -x5400 -x5384
12.65/12.71	v -x5366 -x5354 -x5337 -x5251 -x5272 -x5298 -x5316 -x5143 -x5172 -x5195 -x5225 -x5047 -x5067 -x5086 -x5105 -x4951 -x4989 -x5015 -x5035
12.65/12.71	v -x4873 -x4848 -x4926 -x4896 -x4775 -x4747 -x4826 -x4799 -x5501 -x5476 -x5449 -x5423 -x5401 -x5385 -x5367 -x5355 -x5338 -x5252 -x5273
12.65/12.71	v -x5299 -x5317 -x5144 -x5173 -x5196 -x5226 -x5048 -x5068 -x5087 -x5106 -x4952 -x4990 -x5016 -x5036 -x4874 -x4849 -x4927 -x4897 -x4776
12.65/12.71	v -x4748 -x4827 -x4800 -x4691 -x4670 -x4739 -x4717 -x4600 -x4594 -x4571 -x4640 -x4615 -x4518 -x4546 -x4479 -x4500 -x4433 -x4458 -x4378
12.65/12.71	v -x4400 -x4322 -x4350 -x4262 -x4300 -x4221 -x4246 -x4168 -x4193 -x4130 -x4106 -x4085 -x4061 -x4042 -x4023 -x4824 -x4798 -x4690 -x4669
12.65/12.71	v -x4738 -x4716 -x4599 -x4593 -x4570 -x4639 -x4614 -x4517 -x4545 -x4478 -x4499 -x4432 -x4457 -x4377 -x4399 -x4321 -x4349 -x4261 -x4299
12.65/12.71	v -x4220 -x4245 -x4167 -x4192 -x4129 -x4105 -x4084 -x4060 -x4041 -x4022 -x4006 -x3986 -x3981 -x3955 -x3928 -x3903 -x3887 -x3865 -x3842
12.65/12.71	v -x3816 -x3789 -x3698 -x3722 -x3755 -x3770 -x3599 -x3626 -x3650 -x3681 -x3467 -x3492 -x3522 -x3571 -x3370 -x3403 -x3426 -x3453 -x3306
12.65/12.71	v -x3288 -x3341 -x3321 -x3610 -x2319 -x1365 -x797 -x589 -x5837 -x5001 x4334 -x1896 -x1928 -x2070 -x2104 -x1999 -x2036 -x1772 -x1795
12.65/12.71	v -x1719 -x1741 -x1855 -x1882 -x1810 -x1830 -x1594 -x1569 -x1534 -x1511 -x1691 -x1669 -x1646 -x1627 -x1384 -x1359 -x1330 -x1305 -x1477
12.65/12.71	v -x1448 -x1462 -x1444 -x1420 -x2790 -x2813 -x2847 -x2878 -x2899 -x2935 -x2965 -x2995 -x2593 -x2614 -x2644 -x2675 -x2703 -x2715 -x2736
12.65/12.71	v -x2756 -x2418 -x2390 -x2471 -x2440 -x2525 -x2505 -x2577 -x2553 -x2163 -x2144 -x2219 -x2187 -x2277 -x2286 -x2255 -x2348 -x2326 -x2789
12.65/12.71	v -x2812 -x2846 -x2877 -x2898 -x2934 -x2964 -x2994 -x2592 -x2613 -x2643 -x2674 -x2702 -x2714 -x2735 -x2755 -x2417 -x2389 -x2470 -x2439
12.65/12.71	v -x2524 -x2504 -x2576 -x2552 -x2162 -x2143 -x2218 -x2186 -x2276 -x2285 -x2254 -x2347 -x2325 -x642 -x671 -x603 -x621 -x560 -x585 -x507
12.65/12.71	v -x534 -x456 -x472 -x399 -x434 -x362 -x384 -x315 -x336 -x283 -x270 -x255 -x244 -x228 -x212 -x199 -x178 -x172 -x153 -x132 -x115 -x97
12.65/12.71	v -x81 -x55 -x2346 -x2324 -x641 -x670 -x602 -x620 -x559 -x584 -x506 -x533 -x455 -x471 -x398 -x433 -x361 -x383 -x314 -x335 -x282 -x269
12.65/12.71	v -x254 -x243 -x227 -x211 -x198 -x177 -x171 -x152 -x131 -x114 -x96 -x80 -x54 -x39 -x16 -x1234 -x1258 -x1277 -x1291 -x1144 -x1166 -x1188
12.65/12.71	v -x1213 -x1026 -x1053 -x1079 -x1116 -x956 -x978 -x994 -x1016 -x912 -x896 -x937 -x923 -x850 -x836 -x883 -x862 -x791 -x774 -x825 -x822
12.65/12.71	v -x796 -x79 -x53 -x38 -x15 -x1233 -x1257 -x1276 -x1290 -x1143 -x1165 -x1187 -x1212 -x1025 -x1052 -x1078 -x1115 -x955 -x977 -x993
12.65/12.71	v -x1015 -x911 -x895 -x936 -x922 -x849 -x835 -x882 -x861 -x790 -x773 -x824 -x821 -x795 -x698 -x681 -x742 -x718 -x4582 -x4564 -x4634
12.65/12.71	v -x4611 -x4677 -x4651 -x4728 -x4696 -x4784 -x4760 -x4821 -x4796 -x4882 -x4856 -x4937 -x4911 -x4966 -x4986 -x5020 -x5040 -x5051 -x5074
12.65/12.71	v -x5093 -x5111 -x5134 -x5160 -x5166 -x820 x794 -x697 -x680 -x741 -x717 -x4581 -x4563 -x4633 -x4610 -x4676 -x4650 -x4727 -x4695 -x4783
12.65/12.71	v -x4759 -x4820 -x4795 -x4881 -x4855 -x4936 -x4910 -x4965 -x4985 -x5019 -x5039 -x5050 -x5073 -x5092 -x5110 -x5133 -x5159 -x5165 -x5199
12.65/12.71	v -x5230 -x5254 -x5284 -x5301 -x5324 -x5394 -x5373 -x5353 -x5332 -x5492 -x5464 -x5443 -x5421 -x5598 -x5572 -x5538 -x5510 -x5690 -x5658
12.65/12.71	v -x5638 -x5612 -x5770 -x5782 -x5716 -x5740 -x5854 -x5874 -x5810 -x5831 -x5939 -x5158 -x5164 -x5198 -x5229 -x5253 -x5283 -x5300 -x5323
12.65/12.71	v -x5393 -x5372 -x5352 -x5331 -x5491 -x5463 -x5442 -x5420 -x5597 -x5571 -x5537 -x5509 -x5689 -x5657 -x5637 -x5611 -x5769 -x5781 -x5715
12.65/12.71	v -x5739 -x5853 -x5873 -x5809 -x5830 -x5938 -x5954 -x5987 -x5902 -x5929 -x6054 -x6077 -x6008 -x6028 -x3153 -x3131 -x3197 -x3173 -x3053
12.65/12.71	v -x3028 -x3102 -x3078 -x3313 -x3295 -x3347 -x3329 -x3238 -x3218 -x3279 -x3257 -x3472 -x3499 -x3531 -x3562 -x3363 -x3388 -x3412 -x5829
12.65/12.71	v -x5937 -x5953 -x5986 -x5901 -x5928 -x6053 -x6076 -x6007 -x6027 -x3152 -x3130 -x3196 -x3172 -x3052 -x3027 -x3101 -x3077 -x3312 -x3294
12.65/12.71	v -x3346 -x3328 -x3237 -x3217 -x3278 -x3256 -x3471 -x3498 -x3530 -x3561 -x3362 -x3387 -x3411 -x3440 -x3460 -x3683 -x3707 -x3736 -x3759
12.65/12.71	v -x3581 -x3609 -x3639 -x3662 -x3975 -x3949 -x3918 -x3895 -x3879 -x3855 -x3829 -x3782 -x4144 -x4122 -x4097 -x4079 -x4050 -x4031 -x4016
12.65/12.71	v -x3997 -x4314 -x4343 -x4255 -x4285 -x4210 -x3386 -x3410 -x3439 -x3459 -x3682 -x3706 -x3735 -x3758 -x3580 -x3608 -x3638 -x3661 -x3974
12.65/12.71	v -x3948 -x3917 -x3894 -x3878 -x3854 -x3828 -x3781 -x4143 -x4121 -x4096 -x4078 -x4049 -x4030 -x4015 -x3996 -x4313 -x4342 -x4254 -x4284
12.65/12.71	v -x4209 -x4238 -x4155 -x4166 -x4188 -x4514 -x4540 -x4471 -x4492 -x4418 -x4443 -x4376 -x4398 -x1506 -x1532 -x1563 -x1586 -x1606 -x1636
12.65/12.71	v -x1667 -x1685 -x1302 -x1327 -x1348 -x1381 -x1407 -x1429 -x1445 -x1473 -x1940 -x1916 -x1996 -x3223 -x3573 -x3544 -x3512 -x3485 -x3451
12.65/12.71	v -x3427 -x3393 x4009 -x4029 -x4046 -x4304 -x4272 -x4360 -x4333 -x4191 -x4777 -x4916 -x4943 -x4867 -x4887 -x5024 -x5000 -x4978 -x5557
12.65/12.71	v -x5579 -x5601 -x5626 -x5650 -x5679 -x5698 -x5727 -x566 -x422 -x388 -x480 -x458 -x319 -x298 -x365 -x1184 -x1159 -x1137 -x1104 -x1076
12.65/12.71	v -x1060 -x1032 -x1005 -x1952 -x2042 -x2012 -x2105 -x2068 -x1739 -x1711 -x1792 -x2843 -x2822 -x2782 -x2991 -x2961 -x2924 -x2909 -x2668
12.65/12.71	v -x2497 -x2468 -x2426 -x2393 -x3445 -x3369 x3394 -x3543 -x3292 -x4145 -x4173 -x4200 -x4075 -x4142 -x4120 -x5097 -x4859 -x4819 -x4797
12.65/12.71	v -x4770 -x5609 -x5684 -x5662 -x5544 -x257 -x66 -x88 -x25 -x907 -x926 -x938 -x690 -x2568 x3167 -x3952 -x4923 -x5670 -x418 -x1065 -x1616
12.65/12.71	v -x4229 -x4258 -x4293 -x4325 -x4352 -x4010 -x4001 -x4053 -x3444 -x3368 x3398 -x3523 -x3548 -x3463 -x3493 -x3272 -x2636 -x2940 -x2911
12.65/12.71	v -x3007 -x2972 -x2833 -x2804 -x2888 -x1738 -x1724 -x1695 -x2123 -x2094 -x2055 -x2023 -x1993 -x1059 -x1029 -x1045 -x1122 -x1097 -x1147
12.65/12.71	v -x1127 -x1191 -x318 -x296 -x479 -x485 -x464 -x442 -x407 -x578 -x5678 -x5699 -x5625 -x5652 -x5636 -x5567 -x5590 -x5515 -x5726 -x5705
12.65/12.71	v -x4868 -x4890 -x4917 -x4912 -x4938 -x4745 -x2243 -x2334 -x2304 -x2420 -x105 -x92 -x68 -x41 -x760 -x812 -x809 -x713 -x1207 -x4811
12.65/12.71	v -x4843 -x4749 x5082 -x5062 -x5042 -x5523 -x5752 -x5822 -x5800 -x5862 -x3540 -x3514 -x3481 -x3454 -x4426 -x4302 -x4273 -x4356 x1720
12.65/12.71	v -x2611 -x337 -x979 -x925 -x4644 -x5502 -x3094 -x2869 -x2300 -x2266 -x2359 -x3127 -x3198 -x3180 -x3574 -x3805 -x3970 -x3944 -x3925
12.65/12.71	v -x4661 x4729 -x4697 -x4592 -x5530 -x5484 -x5465 -x5444 -x122 -x137 -x156 -x186 -x700 -x798 -x817 -x765 -x1438 -x1463 -x1492 -x1317
12.65/12.71	v -x552 x574 -x500 -x523 -x637 -x664 -x600 -x619 -x830 -x808 -x1131 -x1154 -x1177 -x1199 -x1217 -x1240 -x1377 -x1350 -x1334 -x1311
12.65/12.71	v -x2087 -x2117 -x2021 -x2052 -x2335 -x2305 -x2171 -x2133 -x2223 -x2194 -x2923 -x2953 -x4483 -x4507 -x4530 -x4557 -x4386 -x4410 -x4439
12.65/12.71	v -x4461 -x3367 -x3397 -x3746 -x3768 -x3697 -x3726 -x3646 -x3673 -x5804 -x5826 -x5850 -x5868 -x5885 -x5914 -x5933 -x5968 -x4963 -x4982
12.65/12.71	v -x5099 -x5117 -x5059 -x5077 -x5185 -x5222 -x1126 -x1911 -x2801 -x3601 -x4397 x5177 -x5923 -x5466 -x5818 x5799 -x5773 -x5749 -x5728
12.65/12.71	v -x5704 -x4865 -x4893 -x4922 -x4950 -x4755 -x4781 -x4805 -x4831 -x4658 -x4663 -x5066 -x5045 -x5102 -x5081 -x4977 -x4956 -x5025 -x5003
12.65/12.71	v -x737 -x721 -x702 -x684 -x818 -x801 -x781 -x763 -x1047 -x1055 -x1190 -x1214 -x1142 -x1167 -x1270 -x1292 -x1229 -x1259 -x33 -x17
12.65/12.71	v -x82 -x57 -x119 -x98 -x402 -x438 -x454 -x475 -x511 -x543 -x564 -x583 -x607 -x630 -x646 -x666 -x2344 -x2314 -x2284 -x2257 -x2687
12.65/12.71	v -x2716 -x2631 -x2677 -x2590 -x2615 -x2969 -x2996 -x2910 -x2937 -x2834 -x2879 -x2781 -x2814 -x1441 -x1423 -x1809 -x1835 -x1853 -x1875
12.65/12.71	v -x1717 -x1745 -x1769 -x1790 -x2002 -x2034 -x2066 -x2103 -x1900 -x1923 -x1948 -x1974 -x1575 -x1600 -x1836 -x1812 -x1871 -x1859 -x1737
12.65/12.71	v -x1714 -x1791 -x1766 -x2037 -x2004 -x2099 -x2076 -x1920 -x1894 -x2449 -x2477 -x2385 -x2421 -x2757 -x2737 -x2731 -x2706 -x2667 -x2637
12.65/12.71	v -x2616 -x2591 -x3002 -x2970 -x2928 -x2903 -x395 -x431 -x457 -x476 -x4838 -x4814 -x4886 -x4861 -x5600 -x5575 -x5552 -x5529 -x5801
12.65/12.71	v -x5820 -x3307 -x3289 -x3399 x3402 -x3428 -x3455 -x4292 -x4199 -x4218 -x4243 -x1912 -x1989 -x1964 -x1960 -x2686 -x2893 -x2862 -x2829
12.65/12.71	v -x334 -x323 -x300 -x364 -x1246 -x1223 -x1227 -x1010 -x1936 -x1907 -x1994 -x1984 -x2943 -x2915 -x2891 -x2858 -x3071 -x3089 -x3026
12.65/12.71	v -x3048 -x3719 -x3691 -x3785 -x3809 -x4504 -x4484 -x4558 -x4525 x5269 -x5244 -x5212 -x5181 -x4223 -x4248 x4274 -x4301 -x2384 -x2474
12.65/12.71	v -x2455 -x2425 -x1411 -x1591 -x1573 -x1559 -x692 -x753 -x734 -x909 -x108 -x87 -x67 -x44 -x5542 -x5568 -x5593 -x5610 -x5057 -x4802
12.65/12.71	v -x4828 -x4750 -x4146 -x4228 -x4201 -x4080 -x1949 -x1973 -x1439 -x1418 -x1490 -x1464 -x1342 -x1316 -x1390 -x1364 -x1643 -x1621 -x1682
12.65/12.71	v -x1662 -x1546 -x1518 -x1267 -x1296 -x1237 -x1261 -x743 -x723 -x699 -x679 -x819 -x804 -x789 -x771 -x878 -x864 -x851 -x837 -x561 -x586
12.65/12.71	v -x604 -x622 -x643 -x672 -x36 -x23 -x77 -x51 -x133 -x116 -x173 -x154 -x201 -x179 -x5861 -x5843 -x5821 -x5793 -x5778 -x5757 -x5730
12.65/12.71	v -x5708 -x5672 -x5696 -x5622 -x5646 -x5559 -x5582 -x5508 -x5535 -x5237 x5210 -x5063 -x5043 -x5104 -x5084 -x4975 -x4955 -x5023 -x4999
12.65/12.71	v -x4870 -x4894 -x4898 -x4930 -x4752 -x4773 -x4538 -x4511 -x4490 -x4467 -x4244 -x4214 -x4185 -x4164 -x4366 -x4335 -x4310 -x4279 -x4026
12.65/12.71	v -x4058 -x4000 -x4017 -x3658 -x3628 -x3710 -x3688 -x3767 -x3737 -x3409 -x3373 -x3456 -x3432 -x3506 -x3477 -x3566 -x3539 -x3210 -x3233
12.65/12.71	v -x2271 -x2301 -x2330 -x2356 -x2147 -x2175 -x2202 -x2235 -x2481 -x2511 -x2534 -x2558 -x2368 -x2399 -x2431 -x2462 -x3763 -x3733 -x3708
12.65/12.71	v -x3684 -x3667 -x3635 -x3611 -x3585 -x3909 -x3885 -x3911 -x3936 -x3961 -x3790 -x3818 -x3841 -x4249 -x4219 -x4495 -x4473 -x4539 -x4515
12.65/12.71	v -x4392 -x4369 -x4446 -x4417 -x4436 -x4623 -x4645 -x4579 -x4602 -x4712 -x5100 -x5079 -x5064 -x5046 -x5232 -x5201 -x5162 -x5138 -x5325
12.65/12.71	v -x5304 -x5280 -x5261 -x5239 -x5344 -x5361 -x5381 -x5772 -x5753 -x5819 -x5796 -x5857 -x5838 -x5927 -x5903 -x5990 -x5961 -x6029 -x6005
12.65/12.71	v -x5999 -x6067 -x6045 -x286 -x654 x677 -x610 -x632 -x558 -x591 -x516 -x544 -x451 -x469 -x389 -x425 -x344 -x358 -x378 -x308 -x747
12.65/12.71	v -x728 -x1225 -x1248 -x1273 -x1293 -x1139 -x1163 -x1180 -x1202 -x1034 -x1061 -x1085 -x1108 -x1109 -x961 -x1487 -x1457 -x1435 -x1412
12.65/12.71	v -x1955 -x1985 -x1905 -x1922 -x2075 -x2109 -x2009 -x2044 -x1761 -x1786 -x1708 -x1699 -x2233 -x2203 -x2294 -x2268 -x2355 -x2331 -x2778
12.65/12.71	v -x2806 -x2844 -x2874 -x2901 -x2930 -x2962 -x2993 -x2600 -x2623 -x4508 -x4198 -x4226 -x4149 -x4176 -x4317 -x4346 -x4250 -x1694 -x1778
12.65/12.71	v -x1750 -x2054 -x2026 -x2115 -x2079 -x1942 -x2684 -x2663 -x2630 -x2612 -x2589 -x3003 -x2985 -x2952 -x317 -x382 -x359 -x436 -x404
12.65/12.71	v -x488 -x465 -x528 -x284 -x1014 -x997 -x973 -x957 -x1117 -x1094 -x1073 -x898 -x897 -x913 -x4904 -x4941 -x4858 -x4878 -x4794 -x5026
12.65/12.71	v -x5002 -x5005 -x4983 -x4967 -x5614 -x5631 -x5665 -x5860 -x5842 x5729 -x5743 -x5717 -x5792 -x5771 -x3252 -x1082 -x1100 -x1030 x1058
12.65/12.71	v -x240 -x220 -x394 -x429 -x2561 -x2538 -x2514 -x2485 -x1588 -x1562 -x1635 -x1609 -x4268 -x4303 -x4328 -x4357 -x3593 -x3623 -x3541
12.65/12.71	v -x3572 -x5995 -x6020 -x6039 -x6080 -x5123 -x5150 -x5289 -x5313 x831 -x695 -x714 -x733 -x729 -x748 -x1252 -x1231 -x163 -x110 -x128
12.65/12.71	v -x69 -x93 -x71 -x11 -x30 -x2569 -x2145 -x2172 -x2198 -x2226 -x2244 -x2269 -x2295 -x1687 -x1631 -x1651 -x1351 -x1378 -x1298 -x1325
12.65/12.71	v -x1344 -x3940 -x3810 -x3784 -x3863 -x3839 -x4100 -x4077 -x4141 -x3161 -x3133 -x3114 -x3090 -x3067 -x3043 -x3023 -x3348 -x3619 -x5363
12.65/12.71	v -x5346 -x5403 -x5383 -x5447 -x5425 -x5498 -x6023 -x6049 -x6070 -x4642 -x4621 -x4601 -x4577 -x4741 -x2091 -x2127 x2861 -x2892 -x3547
12.65/12.71	v -x3519 -x4456 -x4435 -x5320 -x5288 -x5981 -x5945 -x2360 -x2392 -x1840 -x1815 -x279 -x2427 -x1883 -x2727 -x1748 -x1050 -x541 x5797
12.65/12.71	v -x1733 -x3798 -x3822 -x3849 -x3875 -x3901 -x3922 -x3945 -x4472 -x4542 -x4516 -x3083 -x3104 -x3037 -x3062 -x3179 -x3586 -x3756 -x3732
12.65/12.71	v -x3709 -x3685 -x5406 -x5431 -x5458 -x6000 -x6075 -x6055 -x5926 -x5899 -x5984 -x5957 -x4703 -x4970 x5308 -x5305 -x5281 -x5257 -x5228
12.65/12.71	v -x5202 -x5163 -x935 -x893 -x905 -x720 -x740 -x682 -x704 -x802 -x230 -x249 -x259 -x272 -x291 -x20 -x35 -x58 -x2574 -x2501 -x2528
12.65/12.71	v -x2437 -x2465 -x2371 -x2402 -x2311 -x2180 -x2315 -x2345 -x2258 -x3285 -x3338 -x3322 x3225 -x3801 -x4133 -x4111 -x4088 -x4649 -x4722
12.65/12.71	v -x4706 -x4778 -x5333 -x5496 -x5470 -x5433 -x1205 -x1146 -x1168 -x1268 -x761 -x508 -x535 -x562 -x101 -x161 -x145 -x2968 -x4857 -x4877
12.65/12.71	v -x4902 -x4939 -x5347 -x5364 -x5663 -x5685 -x3115 x3134 -x3155 -x3184 -x3791 -x3819 -x3941 -x3964 -x1644 -x1622 -x1683 -x1666 -x2582
12.65/12.71	v -x2604 -x2575 -x2549 -x415 -x447 -x467 -x490 -x963 -x982 -x1089 -x1114 x4124 -x4102 -x3103 -x3075 -x5488 -x5467 -x4635 -x4619 -x1230
12.65/12.71	v -x1255 -x28 -x9 -x2298 -x2267 -x1341 -x1321 -x3391 -x3358 -x5832 -x5805 -x5154 x5129 -x1041 -x1068 -x306 -x331 -x2699 -x2722 -x1519
12.65/12.71	v -x1496 -x4339 -x4367 -x2077 -x2110 -x1703 -x1734 -x1760 -x1784 -x1824 -x1827 -x2043 -x2013 -x2108 x2069 -x1731 -x1702 -x1788 -x1765
12.65/12.71	v -x2810 -x2783 -x2992 -x2963 -x2927 -x2902 -x2678 -x2649 -x631 -x606 -x668 -x644 -x547 -x519 -x590 -x569 -x48 -x74 -x1288 -x1279
12.65/12.71	v -x1256 -x1236 -x1204 -x1181 -x727 -x750 -x688 -x707 -x4954 -x4976 -x4997 -x5022 -x4845 -x4812 -x4891 -x4869 -x4942 -x4924 -x5756
12.65/12.71	v -x5776 -x5594 -x5574 -x5551 -x5524 -x5700 -x5680 -x5649 -x5623 -x5130 -x5155 -x5190 -x5218 -x5242 -x5265 -x5285 -x5310 -x5813 -x5834
12.65/12.71	v -x5934 -x5969 -x5878 -x5905 -x6050 -x6071 -x3378 -x3381 -x3415 -x3443 -x3699 -x3729 -x3751 -x3774 -x4276 -x4305 -x4204 -x4232 -x4160
12.65/12.71	v -x4181 -x4522 -x4547 -x1926 -x1895 -x1975 -x1972 -x2046 -x2015 -x2121 -x2082 -x2262 -x2292 -x2882 -x2850 -x2827 -x2797 -x3010 -x2981
12.65/12.71	v -x22 -x34 -x59 -x83 -x625 -x595 -x665 -x640 -x764 -x782 x722 -x738 -x685 -x703 -x1280 -x1262 x4440 -x4465 -x4383 -x4407 -x4320 -x4353
12.65/12.71	v -x4269 -x4294 -x3752 -x3773 -x3591 -x3614 -x3644 -x3678 -x3465 -x3491 -x2166 -x2136 -x2214 -x2190 -x2282 -x2249 -x2336 -x2307 -x2019
12.65/12.71	v -x2048 -x1389 -x1362 -x1329 -x1304 -x1478 -x1453 -x1135 -x1151 -x1173 -x1195 -x787 -x775 -x826 -x803 -x623 -x613 -x553 -x576 -x494
12.65/12.71	v -x526 -x170 -x151 -x5707 -x5777 -x5784 -x5758 -x5833 -x5814 -x5875 -x5855 -x5259 -x5021 -x4998 -x5017 -x4988 -x4971 -x5116 -x5088
12.65/12.71	v -x4289 -x3496 -x5825 -x5078 -x61 x735 -x1360 -x2195 -x437 -x1074 -x4715 -x5461 x3176 -x3946 -x4396 -x1816 -x5956 -x5817 -x5806 -x5876
12.65/12.71	v -x5856 -x5735 -x5714 -x5785 -x5759 -x5617 -x5640 -x5655 -x5681 -x5519 -x5539 -x5569 -x5592 -x5424 -x5417 -x5441 -x5462 -x5490 -x5334
12.65/12.71	v -x5348 -x5374 -x5390 -x5322 -x5306 -x5282 -x5258 -x5231 -x5203 -x5204 -x5168 -x5136 -x5112 -x5089 -x5075 -x5053 -x5041 -x5018 -x4987
12.65/12.71	v -x4972 -x4905 -x4940 -x4852 -x4875 -x4793 -x4822 -x4751 -x4772 -x4786 -x4702 -x4726 -x4647 -x4674 -x4612 -x4636 -x4574 -x4585 -x4390
12.65/12.71	v -x4370 -x4449 -x4412 -x4413 -x4494 -x4474 -x4541 -x4523 -x4177 -x4156 -x4235 -x4205 -x4288 -x4256 -x4340 -x4326 -x3992 -x4011 -x4032
12.65/12.71	v -x4052 -x4074 -x4095 -x4123 -x4101 -x4125 -x3803 -x3834 -x3856 -x3882 -x3891 -x3920 -x3954 -x3976 -x3666 -x3636 -x3637 -x3606 -x3579
12.65/12.71	v -x3762 -x3734 -x3730 -x3704 -x3434 -x3414 -x3382 -x3355 -x3558 -x3534 -x3497 -x3468 -x3258 -x3275 -x3219 -x3240 -x3330 -x3345 -x3344
12.65/12.71	v -x3287 -x3305 -x3076 -x3095 -x3036 -x3057 -x3170 -x3192 -x3124 -x3146 -x3147 x2700 -x2728 -x2744 -x2766 -x2602 -x2605 -x2628 -x2655
12.65/12.71	v -x2916 -x2955 -x2982 -x3011 -x2796 -x2830 -x2863 -x2894 -x2275 -x2242 -x2337 -x2306 -x2169 -x2176 -x2150 -x2229 -x2201 -x2513 -x2484
12.65/12.71	v -x2566 -x2542 -x2403 -x2372 -x2373 -x2457 -x2429 -x1867 -x1889 -x1821 -x1842 -x1751 -x1780 -x1701 -x1729 -x2085 -x2119 -x2016 -x2049
12.65/12.71	v -x1965 -x1990 -x1913 -x1938 -x1481 -x1454 -x1433 -x1409 -x1414 -x1400 -x1374 -x1343 -x1322 -x1673 -x1654 -x1637 -x1614 -x1615 -x1584
12.65/12.71	v -x1556 -x1520 -x1497 -x945 -x966 -x985 -x1021 -x1038 -x1066 -x1092 -x1110 -x1136 -x1156 -x1174 -x1192 -x1221 -x1244 -x1266 -x1283
12.65/12.71	v -x709 -x691 -x754 -x745 -x725 -x780 -x762 -x813 -x793 -x857 -x843 -x844 -x884 -x867 -x919 -x903 -x944 -x933 -x351 -x373 -x313 -x333
12.65/12.71	v -x468 -x491 -x414 -x445 -x550 -x577 -x505 -x532 -x633 -x657 -x593 -x612 -x89 -x63 -x50 -x27 -x3 -x162 -x144 -x125 -x103 -x2578 -x2555
12.65/12.71	v -x2159 -x2140 -x1661 -x1663 -x1645 -x1626 -x2363 -x2562 -x2572 -x2546 -x1502 -x1589 -x1560 -x1574 -x1880 -x940 -x930 -x916 -x1007
12.65/12.71	v -x950 -x970 -x266 -x481 -x297 -x321 -x343 -x5947 x5919 -x5896 -x6088 -x906 -x892 -x196 -x181 -x2527 -x2503 -x1709 x1726 -x953 -x974
12.65/12.71	v -x412 -x441 -x2588 -x2608 -x2027 -x2062 -x5132 -x5161 -x5877 -x5904 -x3589 -x3615 -x4387 x4408 -x1941 -x1915 -x2828 -x2799 -x525
12.65/12.71	v -x497 -x1158 -x1132 -x1852 -x1831 -x1805 -x1992 -x1963 -x1939 -x1914 -x2126 -x4548 -x4382 -x4402 -x4431 -x4453 -x4259 -x4290 -x4327
12.65/12.71	v -x3772 -x3705 -x3716 -x3652 -x3679 -x3595 -x3627 -x3520 -x5477 x5879 -x5906 -x5940 -x5974 -x5996 -x6016 -x6043 -x4713 -x4687 -x4665
12.65/12.71	v -x5189 -x5216 -x5122 -x5148 -x5291 -x522 -x636 -x663 -x599 -x618 -x90 -x62 -x42 -x1153 -x1176 -x1198 -x1216 -x1239 -x1264 -x1284
12.65/12.71	v -x710 -x1727 -x2086 -x2116 -x2020 -x2051 -x1969 -x1995 -x1906 -x4964 -x4984 -x4935 -x4909 -x4915 -x4889 -x4866 -x4836 -x4817 -x4785
12.65/12.71	v -x4761 -x4725 -x4704 -x4682 -x4659 -x4629 -x4608 -x4584 -x4559 -x5328 -x5286 -x5263 -x5240 -x5220 -x5194 -x5153 -x5128 -x5115 -x5096
12.65/12.71	v -x5076 -x5058 -x5028 -x5009 -x4981 -x4962 -x4901 -x4919 -x4946 -x4863 -x4885 -x4810 -x4842 -x4764 -x4791 -x4708 -x4733 -x4657 -x4679
12.65/12.71	v -x4607 -x4627 -x4566 -x4591 -x6022 -x5998 -x6069 -x6048 -x5908 -x5883 -x5967 -x5932 -x5824 -x5803 -x5867 -x5849 -x5027 -x5008 -x4980
12.65/12.71	v -x4961 -x4900 -x4918 -x4945 -x4862 -x4884 -x4809 -x4841 -x4763 -x4790 -x4707 -x4732 -x4656 x4678 -x4606 -x4626 -x4565 -x4590 -x6021
12.65/12.71	v -x5997 -x6068 -x6047 -x5907 -x5882 -x5966 -x5931 -x5823 -x5802 -x5866 -x5848 -x5748 -x5721 -x5790 -x5768 -x5751 -x5629 -x5654 -x5674
12.65/12.71	v -x5703 -x5522 -x5548 -x5578 -x5603 -x5410 -x5437 -x5455 -x5486 -x5342 -x5359 -x5379 -x5397 -x3671 -x3642 -x3618 -x3588 -x3776 -x3754
12.65/12.71	v -x3725 -x3696 -x3448 -x3421 -x5865 -x5847 -x5747 -x5720 -x5789 -x5767 -x5750 -x5628 -x5653 -x5673 -x5702 -x5521 -x5547 -x5577 -x5602
12.65/12.71	v -x5409 -x5436 -x5454 -x5485 -x5341 -x5358 -x5378 -x5396 -x3670 -x3641 -x3617 -x3587 -x3775 -x3753 -x3724 -x3695 -x3447 -x3420 -x3396
12.65/12.71	v -x3366 -x3552 -x3525 -x3488 -x3511 -x3484 -x3243 -x3262 -x3204 -x3222 -x3326 -x3340 -x3282 -x3303 -x3085 -x3110 -x3040 -x3060 -x3163
12.65/12.71	v -x3190 -x3118 -x3139 -x4406 -x4385 -x4460 -x4438 -x4502 -x4477 -x4556 -x4529 -x3446 -x3419 -x3395 -x3365 -x3551 -x3524 -x3487 -x3510
12.65/12.71	v -x3483 -x3242 -x3261 -x3203 -x3221 -x3325 -x3339 -x3281 -x3302 -x3084 -x3109 -x3039 -x3059 -x3162 -x3189 -x3117 -x3138 -x4405 -x4384
12.65/12.71	v -x4459 -x4437 -x4501 -x4476 -x4555 -x4528 -x4172 -x4148 -x4225 -x4196 -x4296 -x4267 -x4271 -x4359 -x4332 -x3989 -x4008 -x4028 -x4045
12.65/12.71	v -x4066 -x4090 -x4113 -x4132 -x3797 -x3821 -x3848 -x3874 -x3900 -x3913 -x3933 -x3960 -x1847 -x1870 -x1801 -x1826 -x1757 -x1777 -x4554
12.65/12.71	v -x4527 -x4171 -x4147 -x4224 -x4195 -x4295 -x4266 -x4270 -x4358 -x4331 -x3988 -x4007 -x4027 -x4044 -x4065 -x4089 -x4112 -x4131 -x3796
12.65/12.71	v -x3820 -x3847 -x3873 -x3899 -x3912 -x3932 -x3959 -x1846 -x1869 -x1800 -x1825 -x1756 -x1776 -x1693 -x1722 -x2090 -x2129 -x2025 -x2057
12.65/12.71	v -x1967 -x1958 -x1983 -x1903 -x1935 -x1486 -x1459 -x1437 -x1417 -x1396 -x1368 -x1340 -x1314 -x1680 -x1660 -x1642 -x1619 -x1603 -x1580
12.65/12.71	v -x1543 -x1516 -x2693 -x2721 -x2742 -x2762 -x1755 -x1775 -x1692 -x1721 -x2089 -x2128 -x2024 -x2056 -x1966 -x1957 -x1982 -x1902 -x1934
12.65/12.71	v -x1485 -x1458 -x1436 -x1416 -x1395 -x1367 -x1339 -x1313 -x1679 -x1659 -x1641 -x1618 -x1602 -x1579 -x1542 -x1515 -x2692 -x2720 -x2741
12.65/12.71	v -x2761 -x2587 -x2610 -x2633 -x2661 -x2914 -x2942 -x2974 -x3005 -x3000 -x2777 -x2808 -x2838 -x2867 -x2297 -x2264 -x2358 -x2317 -x2179
12.65/12.71	v -x2155 -x2237 -x2211 -x2510 -x2480 -x2557 -x2548 -x2408 -x2377 -x2461 -x2436 -x356 -x381 -x2740 -x2760 -x2586 -x2609 -x2632 -x2660
12.65/12.71	v -x2913 -x2941 -x2973 -x3004 -x2999 -x2776 -x2807 -x2837 -x2866 -x2296 -x2263 -x2357 -x2316 -x2178 -x2154 -x2236 -x2210 -x2509 -x2479
12.65/12.71	v -x2556 -x2547 -x2407 -x2376 -x2460 -x2435 -x355 -x380 -x310 -x339 -x462 -x483 -x411 -x440 -x557 -x580 -x502 -x513 -x540 -x649 -x676
12.65/12.71	v -x609 -x628 -x73 -x46 -x32 -x19 -x160 -x140 -x121 -x100 -x242 -x224 -x193 -x175 -x288 -x274 -x261 -x248 -x354 -x379 -x309 -x338
12.65/12.71	v -x461 -x482 -x410 -x439 -x556 -x579 -x501 -x512 -x539 -x648 -x675 -x608 -x627 -x72 -x45 -x31 -x18 -x159 -x139 -x120 -x99 -x241 -x223
12.65/12.71	v -x192 -x174 -x287 -x273 -x260 -x247 -x962 -x981 -x996 -x1018 -x1044 -x1070 -x1093 -x1119 -x1128 -x1149 -x1164 -x1189 -x1211 -x1224
12.65/12.71	v -x1251 -x1269 -x1289 -x706 -x686 -x739 -x716 -x784 -x766 -x816 -x799 -x854 -x838 -x879 -x860 -x908 -x891 -x661 -x1013 -x1876 -x2657
12.65/12.71	v -x3748 x3047 -x3813 -x4597 -x185 -x846 -x1318 -x2149 x3668 -x4442 -x3902 -x4569 -x2627 -x2652 -x2691 -x2719 -x1754 -x1782 -x1698
12.65/12.71	v -x1728 -x881 -x866 x1040 -x1069 -x225 -x214 -x195 -x180 -x5391 -x5408 -x5427 -x5450 -x4632 -x4560 -x4583 -x4603 -x4043 -x3906 -x3930
12.65/12.71	v -x3953 -x3266 -x3206 -x3224 -x3168 -x3634 -x4421 -x1531 x2391 -x209 -x855 -x1087 -x5227 -x3633 -x3677 -x3598 -x3625 x2864 -x2836
12.65/12.71	v -x2707 -x2685 -x1988 -x1961 -x1932 -x1910 -x1206 -x1186 -x1249 -x1232 -x581 -x563 -x536 -x509 -x102 -x124 -x5468 -x5497 -x5982 -x5952
12.65/12.71	v -x5916 -x5892 -x5314 -x5295 -x5179 -x5146 -x3082 -x3105 -x3123 -x3145 -x3169 -x3191 -x3186 -x4462 -x3846 -x3871 -x3795 x3824 -x3951
12.65/12.71	v -x3977 -x3908 -x3884 -x4806 -x4830 -x4660 -x4683 -x4705 -x4734 -x4562 -x4580 -x5573 -x5604 -x5531 -x5556 -x5460 -x5483 -x5407 -x5432
12.65/12.71	v -x1051 -x1022 -x1001 -x987 -x968 -x948 -x1297 -x1275 -x430 -x397 -x473 -x453 -x324 -x301 -x374 -x347 -x2491 -x2515 -x2673 -x2640
12.65/12.71	v -x2624 -x2601 -x2767 -x2746 -x1611 -x1633 -x1658 -x1677 -x1744 -x1704 -x1787 -x1763 -x147 -x123 -x104 -x75 -x47 -x29 -x14 -x290
12.65/12.71	v -x542 -x5528 -x5553 -x5576 -x5599 -x5627 -x5651 -x5671 -x5798 -x5863 -x5844 -x4818 -x4835 -x4766 -x4792 -x4913 -x4957 -x5101 -x5080
12.65/12.71	v -x5065 -x5044 -x4064 -x4081 -x4104 -x4265 -x4351 -x4330 -x4190 x4169 -x4247 -x4217 -x3327 -x3592 -x3555 -x3521 -x3509 -x3486 -x3452
12.65/12.71	v -x3425 -x3401 -x2338 -x2240 -x2272 -x2448 -x2453 -x2366 -x2396 -x2535 -x1379 -x1408 -x1432 -x1452 -x1480 -x1504 -x1525 -x1561 -x1121
12.65/12.71	v -x1099 -x1145 -x1169 -x484 -x409 x393 -x428 -x4744 -x4934 -x4908 -x4914 -x5514 -x5589 -x5566 -x5635 -x3392 -x3350 -x3331 -x3310
12.65/12.71	v -x4174 -x4197 -x4227 -x4098 -x1909 -x2130 -x2095 -x2058 -x2803 -x2890 -x2857 -x2944 -x5274 -x5250 -x5236 -x5206 -x5174 -x5141 -x5411
12.65/12.71	v -x5438 -x6034 -x6012 -x6082 -x6057 -x5918 -x5895 -x5977 -x5946 -x3505 -x3478 -x3656 -x3630 -x3605 -x3575 -x3766 -x3739 -x4307 -x4280
12.65/12.71	v -x4361 -x4329 -x4393 -x4373 -x4450 -x4420 -x2008 x2038 -x1951 -x1979 -x1904 -x1933 -x1858 -x1877 -x2895 -x2929 -x2959 -x2990 -x2785
12.65/12.71	v -x2805 -x2840 -x2871 -x118 -x94 -x568 -x588 -x515 -x546 -x651 -x674 -x783 -x767 -x815 -x800 -x1140 -x1162 -x1178 -x1209 -x587 -x387
12.65/12.71	v -x421 -x450 -x4568 -x4631 -x4609 -x4892 -x5405 -x5395 -x5377 -x5360 -x3038 -x3108 -x3081 -x3143 -x4493 -x3870 -x3845 -x3823 -x1700
12.65/12.71	v -x1789 -x1762 -x1617 x2690 -x2654 -x2647 -x2625 -x312 -x375 -x353 -x420 -x275 -x2406 -x1545 -x3793 -x3019 -x5506 x4753 -x4929 -x4551
12.65/12.71	v -x4524 -x3792 -x3817 -x3840 -x3866 -x3886 -x3910 -x3934 -x3962 -x3985 -x4005 -x4021 -x4040 -x4067 -x4087 -x3771 -x3747 -x3715 -x3703
12.65/12.71	v -x3066 -x3088 -x3017 -x3041 -x3160 -x3187 -x3119 -x3142 -x3246 -x3268 -x3205 -x3229 -x6065 -x6041 -x5915 -x5888 -x5970 -x5936 -x5429
12.65/12.71	v -x5453 -x5479 -x5505 -x5343 -x5362 -x5376 -x5392 -x5624 -x5648 -x5309 -x5290 -x5268 -x5243 -x5215 -x5188 -x5157 -x5131 -x4711 -x4735
12.65/12.71	v -x4668 -x4688 -x4622 -x4630 -x4561 -x4586 -x1265 -x1286 -x954 -x976 -x995 -x1012 -x1037 -x1067 -x1091 -x1112 -x852 -x834 -x880 -x865
12.65/12.71	v -x921 -x902 -x634 -x656 -x594 -x611 -x360 -x385 -x316 -x332 -x466 -x489 -x417 -x444 -x229 -x213 -x194 -x191 -x2977 -x3006 -x2800
12.65/12.71	v -x2831 -x2859 -x2889 -x2688 -x2712 x2743 -x2764 -x2583 -x2603 -x2626 -x2651 -x2526 -x2502 -x2101 -x2125 -x2030 -x2061 -x1962 -x1991
12.65/12.71	v -x1908 -x1937 -x1851 -x1868 -x1803 -x1828 -x1752 -x1781 -x1697 -x1725 -x3154 -x4036 -x4944 x5596 -x146 -x1210 -x2100 -x2865 -x5260
12.65/12.71	v -x4411 -x3122 -x2405 -x1650 x848 -x126 -x5944 -x1107 -x1036 -x1064 -x885 -x1887 -x1707 -x1730 -x1764 -x2773 -x2698 -x2726 x2648
12.65/12.71	v -x3757 -x3374 -x3408 -x3429 -x4534 -x4470 -x4491 -x4213 -x5318 -x5145 -x5171 -x5197 -x6079 -x6015 -x6035 -x5960 -x5329 -x320 -x295
12.65/12.71	v -x367 -x2454 -x2362 -x2397 -x2320 -x1674 -x1500 -x1529 -x1550 -x3852 -x3833 -x3808 -x3968 -x4487 -x3051 -x3031 -x3098 -x3711 -x3738
12.65/12.71	v -x3764 x5489 -x6036 -x5948 -x5976 -x5891 -x5271 -x5297 -x5315 -x5140 -x924 -x705 -x687 -x749 -x3513 -x3482 -x3570 -x3542 -x2906
12.65/12.71	v -x2933 -x2839 -x2870 -x2000 -x2035 -x2065 x2098 -x1028 -x1057 -x1185 -x1208 -x392 -x427 -x459 -x478 -x5695 -x5677 -x5550 -x5527
12.65/12.71	v -x4949 -x4925 -x4888 -x4864 -x4338 -x4365 -x4004 -x3987 -x216 -x232 -x184 -x203 -x2185 -x2227 -x2492 -x2520 -x1361 -x1393 -x1301
12.65/12.71	v -x1326 -x3731 -x3702 -x3672 -x3655 -x4496 -x4475 -x4549 -x4521 -x3843 -x3864 -x5219 -x5187 -x4709 -x4736 -x4664 x4684 -x5382 -x5398
12.65/12.71	v -x5426 -x5451 -x1250 -x5246 -x6011 -x3690 -x4466 x2064 -x2945 -x530 -x1171 -x1148 -x1125 -x811 -x814 -x758 -x778 -x726 -x746 -x689
12.65/12.71	v -x708 -x929 -x942 -x901 -x917 -x868 -x1968 -x2059 -x2029 -x2122 -x2093 -x1319 -x1346 -x1370 -x1399 -x1413 -x1434 -x1460 -x1488 -x1499
12.65/12.71	v -x1523 -x1549 -x2860 -x2832 -x2802 -x3009 -x2976 -x2939 -x2907 -x2204 -x2230 -x2148 -x2177 -x2329 -x2354 -x2270 -x2287 -x2432 -x1802
12.65/12.71	v -x1998 -x1971 -x1945 -x1918 -x2112 -x2083 -x2041 -x2005 -x1366 -x1394 -x1312 -x1338 -x1470 -x1493 -x1415 -x2694 -x2763 -x2738 -x2826
12.65/12.71	v -x2795 -x2887 -x2856 -x2951 -x2900 -x2987 -x2960 -x2151 -x2181 -x2206 -x2234 -x2259 -x406 -x377 -x357 -x330 -x307 -x662 -x635 -x617
12.65/12.71	v -x598 -x592 -x567 -x545 -x517 -x138 -x158 -x95 -x1042 -x1124 -x1088 -x983 -x959 -x1020 -x999 -x1242 -x1219 x1281 -x1274 -x1160 -x1141
12.65/12.71	v -x1200 -x1183 -x768 -x874 -x5184 -x5211 -x5127 -x5156 -x5287 -x5307 -x5241 -x5264 -x5013 -x5038 -x4953 -x4974 -x5085 -x5107 -x5049
12.65/12.71	v -x264 -x251 -x78 -x52 -x37 -x13 -x157 -x141 -x2395 -x2361 -x2459 -x2430 -x2283 -x2256 -x2343 -x2313 -x1634 -x1605 -x1587 -x1552
12.65/12.71	v -x1522 -x1498 -x1491 -x1466 -x3804 -x3832 -x3853 -x3877 -x3898 -x3929 -x3958 -x3978 -x4533 -x4512 -x3074 -x3100 -x3033 -x3063 -x3164
12.65/12.71	v -x3188 -x3765 -x3742 -x3714 -x3689 -x5419 -x5440 -x5459 -x5487 -x6078 -x6056 -x5920 -x5889 -x5983 -x5951 -x4701 -x4731 -x5319 -x5296
12.65/12.71	v -x5270 x5245 -x5235 -x5207 -x5178 -x5147 -x2713 -x2447 -x1565 -x2496 -x1629 -x777 x109 -x5632 -x5943 -x5975 -x5992 -x6019 -x6040
12.65/12.71	v -x6064 -x5719 -x5732 -x3745 -x3769 -x3694 -x3718 -x3651 -x3680 -x3594 -x3620 -x3054 -x3021 -x4482 -x4503 -x4526 -x4550 -x4381 -x4401
12.65/12.71	v -x3827 -x3802 -x3860 -x3837 -x1324 -x1300 -x1375 -x1347 -x1959 -x1986 -x2003 -x2060 -x2088 -x2124 -x2224 -x2199 -x2835 -x2868 -x2779
12.65/12.71	v -x2809 -x2975 -x3008 -x2912 -x2938 -x340 -x366 -x605 -x629 x653 -x655 -x504 -x531 -x992 -x1011 -x952 -x972 -x1271 -x1287 -x1220
12.65/12.71	v -x1243 -x3783 -x3717 x2200 -x1451 -x730 -x268 -x5399 -x4740 -x2921 -x2948 -x2629 -x2653 -x2014 -x2050 -x2081 -x2114 -x3087 -x3064
12.65/12.71	v -x3137 -x3116 -x3867 -x3844 -x3815 -x3794 -x5193 -x5221 x4689 -x4666 -x5959 -x5964 -x5884 -x5911 -x372 -x346 -x446 -x413 -x1004
12.65/12.71	v -x989 -x965 -x958 -x1899 -x1927 -x1863 -x1891 -x2780 -x2811 -x2845 -x2883 -x3400 -x3372 -x3565 -x3536 -x4194 -x4170 -x4241 -x4212
12.65/12.71	v -x4103 -x4128 -x5103 -x5083 -x4813 -x4837 -x4765 -x4787 -x5675 x5701 -x5520 -x5549 -x1049 -x1024 -x1101 -x1075 -x5706 -x5731 -x5738
12.65/12.71	v -x5762 -x5783 -x6001 -x6025 -x6046 -x3375 -x3405 -x3535 -x3533 -x3560 -x3470 -x3502 -x3643 -x4163 -x4184 -x4211 -x4242 -x4231 -x4257
12.65/12.71	v -x4287 -x4312 -x2745 -x2769 -x2401 -x2370 -x2458 -x2464 -x2438 -x2529 -x1865 -x1890 -x1822 -x1844 -x1583 -x1553 -x1577 -x1547 -x1083
12.65/12.71	v -x1103 -x947 -x964 -x988 -x1003 -x920 -x904 -x452 -x470 -x386 -x419 x345 -x371 -x305 -x328 -x5864 -x5839 -x5930 -x5900 -x5985 -x5958
12.65/12.71	v -x6032 -x6006 -x5262 -x5014 -x5032 -x4973 -x4979 -x5098 -x5118 -x5056 -x4409 -x4441 -x4464 -x4251 -x4283 -x4318 -x4354 -x4151 -x3723
12.65/12.71	v -x3645 -x3669 -x3590 -x3616 -x3528 -x3550 -x3466 -x2193 -x2167 -x2131 -x2339 -x2308 -x2278 -x2250 -x2478 -x2954 -x1331 -x1310 -x1388
12.65/12.71	v -x1363 -x1424 -x1401 -x1479 -x2067 -x2084 -x2118 -x827 -x806 -x788 -x772 -x755 -x1182 -x1203 -x1193 -x1134 -x1155 -x136 -x113 -x169
12.65/12.71	v -x645 -x669 -x518 -x498 x524 -x549 -x575 -x5558 -x3995 -x4018 -x4037 -x4059 -x4073 -x4068 -x4086 -x4114 -x4341 -x4311 -x3251 -x3271
12.65/12.71	v -x3211 -x3232 -x3226 -x3318 -x3559 -x3529 -x3501 -x3476 -x2279 -x2251 -x2340 -x2353 -x2980 -x3014 -x2798 -x2825 -x2855 -x2886 -x1474
12.65/12.71	v -x1449 -x2092 -x2120 -x2017 -x2045 -x1970 -x1997 -x1917 -x1943 -x1096 -x1123 -x1130 -x1157 -x1175 -x1194 -x1215 -x1241 -x463 -x486
12.65/12.71	v -x405 -x443 -x551 -x573 -x499 -x527 -x3042 -x3022 -x3185 -x3159 -x3141 x3121 -x3269 -x3247 -x1106 -x1031 -x1056 -x887 -x872 -x859
12.65/12.71	v -x845 -x941 -x928 -x927 -x910 -x894 -x752 -x731 -x712 -x693 -x829 -x805 -x786 -x769 -x2018 -x2053 -x2078 -x2113 -x1919 -x1921 -x1950
12.65/12.71	v -x1978 -x1819 -x1843 -x1864 -x1886 -x1706 -x1736 -x1774 -x1799 -x1640 -x1608 -x1676 -x1657 -x1528 -x1538 -x1513 -x1593 -x1568 -x1431
12.65/12.71	v -x1406 -x1484 -x1456 -x1333 -x1309 -x1383 -x1358 -x2984 -x3016 -x2920 -x2947 -x2842 -x2873 -x2794 -x2818 -x2749 -x2772 -x2697 -x1885
12.65/12.71	v -x1705 -x1735 -x1773 -x1798 -x1639 -x1607 -x1675 -x1656 -x1527 -x1537 -x1512 -x1592 -x1567 -x1430 -x1405 -x1483 -x1455 -x1332 -x1308
12.65/12.71	v -x1382 -x1357 -x2983 -x3015 -x2919 -x2946 -x2841 -x2872 -x2793 -x2817 -x2748 -x2771 -x2696 -x2725 -x2639 -x2666 -x2597 -x2622 -x2560
12.65/12.71	v -x2537 -x2519 -x2490 -x2495 -x2476 -x2446 -x2416 -x2388 -x2333 -x2303 -x2274 -x2246 -x2222 -x2192 -x2161 -x2142 -x5692 -x5669 -x5645
12.65/12.71	v -x5620 -x5606 -x5581 -x5555 -x5534 -x5482 -x2770 -x2695 -x2724 -x2638 -x2665 -x2596 -x2621 -x2559 -x2536 -x2518 -x2489 -x2494 -x2475
12.65/12.71	v -x2445 -x2415 -x2387 -x2332 -x2302 -x2273 -x2245 -x2221 -x2191 -x2160 -x2141 -x5691 -x5668 -x5644 -x5619 -x5605 -x5580 -x5554 -x5533
12.65/12.71	v -x5481 -x5457 -x5435 -x5414 -x5389 -x5371 -x5351 -x5336 -x6060 -x6087 -x6010 -x5994 -x6018 -x5942 -x5973 -x5887 -x5913 -x5846 -x5870
12.65/12.71	v -x5812 -x5836 -x5761 -x5780 -x5711 -x5737 -x4872 -x4847 -x4948 -x4921 -x4780 -x4758 -x4834 -x5532 -x5480 -x5456 -x5434 -x5413 -x5388
12.65/12.71	v -x5370 -x5350 -x5335 -x6059 -x6086 -x6009 -x5993 -x6017 -x5941 -x5972 -x5886 -x5912 -x5845 -x5869 -x5811 -x5835 -x5760 -x5779 -x5710
12.65/12.71	v -x5736 -x4871 -x4846 -x4947 -x4920 -x4779 -x4757 -x4833 -x4808 -x4681 -x4655 -x4720 -x4693 -x4596 -x4576 -x4638 -x4617 -x5248 -x5276
12.65/12.71	v -x5267 -x5293 -x5312 -x5121 -x5152 -x5183 -x5214 -x5061 -x5072 -x5095 -x5114 -x4969 -x4996 -x5012 -x5034 -x4055 -x4025 -x4003 -x3984
12.65/12.71	v -x4136 -x4756 x4832 -x4807 -x4680 -x4654 -x4719 -x4692 -x4595 -x4575 -x4637 -x4616 -x5247 -x5275 -x5266 -x5292 -x5311 -x5120 -x5151
12.65/12.71	v -x5182 -x5213 -x5060 -x5071 -x5094 -x5113 -x4968 -x4995 -x5011 -x5033 -x4054 -x4024 -x4002 -x3983 -x4135 -x4110 -x4092 -x4070 -x3869
12.65/12.71	v -x3858 -x3826 -x3800 -x3973 -x3943 -x3924 -x3893 -x4423 -x4428 -x4455 -x4380 -x4404 -x4532 -x4553 -x4486 -x4506 -x4203 -x4234 -x4159
12.65/12.71	v -x4183 -x4316 -x4345 -x4253 -x4282 -x3228 -x3209 -x3265 -x3982 -x4134 -x4109 -x4091 -x4069 -x3868 -x3857 -x3825 -x3799 -x3972 -x3942
12.65/12.71	v -x3923 -x3892 -x4422 -x4427 -x4454 -x4379 -x4403 -x4531 -x4552 -x4485 -x4505 -x4202 -x4233 -x4158 -x4182 -x4315 -x4344 -x4252 -x4281
12.65/12.71	v -x3227 -x3208 -x3264 -x3245 -x3301 -x3284 -x3337 -x3320 -x3056 -x3035 -x3097 -x3073 -x3151 -x3129 -x3200 -x3178 -x3158 -x3597 -x3622
12.65/12.71	v -x3654 -x3676 -x3693 -x3721 -x3744 -x3780 -x3357 -x3380 -x3418 -x3438 -x3475 -x3504 -x3527 -x3569 -x2323 -x3207 -x3263 -x3244 -x3300
12.65/12.71	v -x3283 -x3336 -x3319 -x3055 -x3034 -x3096 -x3072 -x3150 -x3128 -x3199 -x3177 -x3157 -x3596 -x3621 -x3653 -x3675 -x3692 -x3720 -x3743
12.65/12.71	v -x3779 -x3356 -x3379 -x3417 -x3437 -x3474 -x3503 -x3526 -x3568 -x2322 -x2352 -x2253 -x2291 -x2209 -x2239 -x2153 -x2174 -x2540 -x2564
12.65/12.71	v -x2487 -x2517 -x2423 -x2452 -x2365 -x2379 -x2414 -x2753 -x2734 -x2711 -x2683 -x2659 -x2635 -x2607 -x2585 -x3013 -x2979 -x2950 -x2918
12.65/12.71	v -x2885 -x2854 -x2820 -x3567 -x2321 -x2351 -x2252 -x2290 -x2208 -x2238 -x2152 -x2173 -x2539 -x2563 -x2486 -x2516 -x2422 -x2451 -x2364
12.65/12.71	v -x2378 -x2413 -x2752 -x2733 -x2710 -x2682 -x2658 -x2634 -x2606 -x2584 -x3012 -x2978 -x2949 -x2917 -x2884 -x2853 -x2819 -x2788 -x1419
12.65/12.71	v -x1443 -x1469 -x1494 -x1315 -x1337 -x1372 -x1397 -x1612 -x1638 -x1655 -x1678 -x1503 -x1524 -x1541 -x1566 -x1590 -x1829 -x1811 -x1874
12.65/12.71	v -x1850 -x1723 -x1696 -x1783 -x1753 -x2047 -x2022 -x2111 -x2080 -x1944 -x5709 x5788 -x5765 -x6024 -x5052 -x5037 -x5010 -x4991 -x4157
12.65/12.71	v -x4230 -x4206 -x4286 -x4139 -x3442 -x3416 -x3390 -x3351 -x3296 -x3315 -x2922 -x2312 -x2158 -x2139 -x2220 -x1465 -x1440 -x1404 -x1385
12.65/12.71	v -x932 -x701 -x683 -x757 -x832 -x810 -x792 -x776 -x875 -x886 -x873 -x858 -x841 -x939 -x931 -x915 -x899 -x986 -x1000 -x946 -x967 -x1086
12.65/12.71	v -x1105 -x1033 -x1062 -x1172 -x1196 -x1133 -x1152 -x1263 -x1282 -x1218 -x1238 -x43 -x24 -x86 -x65 -x130 -x107 -x165 -x149 -x143 -x205
12.65/12.71	v -x188 -x238 -x222 -x263 -x253 -x294 -x278 -x304 -x327 -x350 -x370 -x391 -x424 -x449 -x493 -x496 -x521 -x555 -x571 -x597 -x616 -x639
12.65/12.71	v -x660 -x5661 -x5688 -x85 -x64 -x129 -x106 -x164 -x148 -x142 -x204 -x187 -x237 -x221 -x262 -x252 -x293 -x277 -x303 -x326 -x349 -x369
12.65/12.71	v -x390 -x423 -x448 -x492 -x495 -x520 -x554 -x570 -x596 -x615 -x638 -x659 -x5660 -x5687 -x5608 -x5634 -x5565 -x5588 -x5513 -x5526
12.65/12.71	v -x5546 -x5472 -x5494 -x5416 -x5446 -x5369 -x5387 -x5340 -x5357 -x6073 -x6052 -x6031 -x6003 -x5989 -x5963 -x5910 -x5881 -x5872 -x5852
12.65/12.71	v -x5828 -x5808 -x5787 -x5764 -x5746 -x5725 -x5659 -x5686 -x5607 -x5633 -x5564 -x5587 -x5512 -x5525 -x5545 -x5471 -x5493 -x5415 -x5445
12.65/12.71	v -x5368 -x5386 -x5339 -x5356 -x6072 -x6051 -x6030 -x6002 -x5988 -x5962 -x5909 -x5880 -x5871 -x5851 -x5827 -x5807 -x5786 -x5763 -x5745
12.65/12.71	v -x5724 -x4854 -x4880 -x4907 -x4933 -x4743 -x4769 -x4789 -x4816 -x4840 -x4653 -x4673 -x4699 -x4724 -x4573 -x4589 -x4605 -x4625 -x5279
12.65/12.71	v -x5256 -x5327 -x5303 -x5170 -x5126 -x5224 -x5192 -x5070 -x5055 -x5109 -x5091 -x4994 -x4960 -x5744 -x5723 -x4853 -x4879 -x4906 -x4932
12.65/12.71	v -x4742 -x4768 -x4788 -x4815 -x4839 -x4652 -x4672 -x4698 -x4723 -x4572 -x4588 -x4604 -x4624 -x5278 -x5255 -x5326 -x5302 -x5169 -x5125
12.65/12.71	v -x5223 -x5191 -x5069 -x5054 -x5108 -x5090 -x4993 -x4959 -x5030 -x5007 -x4034 -x4048 -x3994 -x4014 -x4119 -x4108 -x4127 -x4063 -x4083
12.65/12.71	v -x3851 -x3881 -x3807 -x3831 -x3957 -x3980 -x3905 -x3927 -x4448 -x4415 -x4389 -x4372 -x4544 -x4520 -x4498 -x4481 -x4237 -x4208 -x4180
12.65/12.71	v -x4154 -x4992 -x4958 -x5029 -x5006 -x4033 -x4047 -x3993 -x4013 -x4118 -x4107 -x4126 -x4062 -x4082 -x3850 -x3880 -x3806 -x3830 -x3956
12.65/12.71	v -x3979 -x3904 -x3926 -x4447 -x4414 -x4388 -x4371 -x4543 -x4519 -x4497 -x4480 -x4236 -x4207 -x4179 -x4153 -x4348 -x4324 -x4298 -x4264
12.65/12.71	v -x3216 -x3236 -x3255 -x3277 -x3260 -x3291 -x3309 -x3324 -x3343 -x3030 -x3050 -x3080 -x3107 -x3126 -x3149 -x3166 -x3194 -x3613 -x3583
12.65/12.71	v -x3664 -x3648 -x3728 -x3701 -x3778 -x3750 -x3385 -x3361 -x4178 -x4152 -x4347 -x4323 -x4297 -x4263 -x3215 -x3235 -x3254 -x3276 -x3259
12.65/12.71	v -x3290 -x3308 -x3323 -x3342 -x3029 -x3049 -x3079 -x3106 -x3125 -x3148 -x3165 -x3193 -x3612 -x3582 -x3663 -x3647 -x3727 -x3700 -x3777
12.65/12.71	v -x3749 -x3384 -x3360 -x3436 -x3424 -x3490 -x3462 -x3554 -x3517 -x2709 -x2681 -x2759 -x2775 -x2751 -x2620 -x2595 -x2670 -x2646 -x2932
12.65/12.71	v -x2905 -x2989 -x2957 -x2816 -x2792 -x2881 -x2849 -x2261 -x2289 -x2310 -x2342 -x2138 -x2157 -x2184 -x2217 -x3383 -x3359 -x3435 -x3423
12.65/12.71	v -x3489 -x3461 -x3553 -x3516 -x2708 -x2680 -x2758 -x2774 -x2750 -x2619 -x2594 -x2669 -x2645 -x2931 -x2904 -x2988 -x2956 -x2815 -x2791
12.65/12.71	v -x2880 -x2848 -x2260 -x2288 -x2309 -x2341 -x2137 -x2156 -x2183 -x2216 -x2507 -x2532 -x2545 -x2571 -x2381 -x2412 -x2444 -x2467 -x1873
12.65/12.71	v -x1849 -x1862 -x1838 -x1814 -x1797 -x1768 -x1743 -x1716 -x2097 -x2074 -x2040 -x2007 -x1977 -x1947 -x1930 -x1898 -x1468 -x1472 -x1403
12.65/12.71	v -x1428 -x1356 -x1392 -x2182 -x2215 -x2506 -x2531 -x2544 -x2570 -x2380 -x2411 -x2443 -x2466 -x1872 -x1848 -x1861 -x1837 -x1813 -x1796
12.65/12.71	v -x1767 -x1742 -x1715 -x2096 -x2073 -x2039 -x2006 -x1976 -x1946 -x1929 -x1897 -x1467 -x1471 -x1402 -x1427 -x1355 x1391 -x1303 -x1328
12.65/12.71	v -x1664 -x1684 -x1632 -x1652 -x1564 -x1598 -x1510 -x1535 -x975 -x971 -x951 -x1006 -x990 -x1048 -x1027 -x1102 -x1080 -x1161 -x1138
12.65/12.71	v -x1201 -x1179 -x1260 -x1235 -x1295 -x1278 -x696 -x715 -x736 -x756 -x1956 -x1987 -x1901 -x1931 -x744 -x724 -x1228 -x1254 -x76 -x49
12.65/12.71	v -x26 -x7 -x5890 -x5917 -x6058 -x6081 -x5137 -x5180 -x5205 -x5234 -x4165 -x4189 -x4513 -x4537 -x3371 -x3404 -x3433 -x3450 -x2821
12.65/12.71	v -x2784 -x2986 x2958 -x1084 -x1063 -x1035 -x869 -x5321 -x5135 -x5167 -x5200 -x6074 -x6004 x6033 -x5955 -x3564 -x3584 -x3607 -x3640
12.65/12.71	v -x4364 -x4275 -x4306 -x4416 -x1610 -x1581 -x1555 -x1521 -x2482 -x2567 -x2533 -x2400 -x2664 -x236 -x218 -x208 -x890 -x998 -x1019
12.65/12.71	v -x960 -x980 -x1090 -x1111 -x1039 -x246 -x285 -x271 -x311 -x329 -x352 -x376 -x416 -x2500 -x2469 -x2434 -x2404 -x2374 -x2739 -x2765
12.65/12.71	v -x2689 -x1628 -x1688 -x1670 -x1548 -x1517 -x1601 -x1578 -x1804 -x4099 -x3838 -x3859 -x3786 -x3814 -x3935 -x3963 -x3883 -x3311 -x3332
12.65/12.71	v -x3349 -x3020 -x3046 -x3065 -x3086 -x3120 -x5630 -x5570 -x5591 -x5511 -x5543 -x5473 -x5504 -x5428 -x4883 -x4899 -x4931 -x4746 -x4767
12.65/12.71	v x4803 -x4823 -x4667 -x2241 -x2228 -x2196 -x2170 -x2146 -x2028 -x2001 -x2033 -x1410 -x1482 -x1450 -x1323 -x1299 -x1380 -x1349 -x1371
12.65/12.71	v -x3916 -x4035 -x4051 -x3991 -x4012 -x4117 -x4140 -x4076 -x3140 -x3156 -x3181 -x3220 -x3239 -x3253 -x3280 -x3293 -x5452 -x5380 -x5402
12.65/12.71	v -x5345 -x5365 -x5664 -x5682 -x5613 -x4685 -x4710 -x4737 -x4578 -x4598 -x4620 -x4643 -x4850 -x823 -x1150 -x1129 -x1197 -x1170 -x1245
12.65/12.71	v -x1222 -x1285 -x167 -x112 -x134 x572 -x548 -x529 -x503 -x658 -x1839 -x1854 -x1881 -x1718 -x1740 -x1749 -x1779 -x876 -x1253 -x991
12.65/12.71	v -x1009 -x949 -x969 -x1081 -x1118 -x1046 -x626 -x652 -x678 -x299 -x322 -x341 -x363 -x401 -x4613 -x4675 -x4648 -x4721 -x4700 -x4782
12.65/12.71	v -x4762 -x4844 -x5375 -x5349 -x5330 -x5495 -x5469 -x5439 -x5418 -x5595 -x3665 -x3144 -x3132 -x3195 -x3171 -x3058 -x3032 -x3099 -x4445
12.65/12.71	v -x4368 -x4391 -x3971 -x3947 x3921 -x3890 -x3876 -x1758 -x1845 -x1823 -x1884 -x1860 -x1505 -x1530 -x1558
12.65/12.71	c SCIP Status        : problem is solved [optimal solution found]
12.65/12.71	c Total Time         :      12.71
12.65/12.71	c   solving          :      12.71
12.65/12.71	c   presolving       :       2.82 (included in solving)
12.65/12.71	c   reading          :       0.03 (included in solving)
12.65/12.71	c   copying          :       0.08 (9 #copies) (minimal 0.01, maximal 0.01, average 0.01)
12.65/12.71	c Original Problem   :
12.65/12.71	c   Problem name     : HOME/instance-4499039-1751406369.opb
12.65/12.71	c   Variables        : 6088 (6088 binary, 0 integer, 0 continuous)
12.65/12.71	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
12.65/12.71	c   Constraints      : 6677 initial, 6677 maximal
12.65/12.71	c   Objective        : minimize, 8 non-zeros (abs.min = 1, abs.max = 1)
12.65/12.71	c Presolved Problem  :
12.65/12.71	c   Problem name     : t_HOME/instance-4499039-1751406369.opb
12.65/12.71	c   Variables        : 5138 (5138 binary, 0 integer, 0 continuous)
12.65/12.71	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
12.65/12.71	c   Constraints      : 1106 initial, 2085 maximal
12.65/12.72	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
12.65/12.72	c   Nonzeros         : 80130 constraint, 122531 clique table
12.65/12.72	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
12.65/12.72	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   domcol           :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
12.65/12.72	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   dualsparsify     :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
12.65/12.72	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   implics          :       0.00       0.00     11          0          0          0          0          0          0          0          0          0
12.65/12.72	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   milp             :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
12.65/12.72	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   sparsify         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
12.65/12.72	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   trivial          :       0.00       0.00     13          0          0          0          0          0          0          0          0          0
12.65/12.72	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   dualfix          :       0.00       0.00     13          0          0          0          0          0          0          0          0          0
12.65/12.72	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   probing          :       1.68       0.00      2          0          0          0          0          0          0          0          0          0
12.65/12.72	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   symmetry         :       0.90       0.00      1        510          0          0          0          0          0        510          0          0
12.65/12.72	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
12.65/12.72	c   knapsack         :       0.09       0.00     22          0          0          0          0          0          0          0          0          0
12.65/12.72	c   setppc           :       0.00       0.00     22          0          0          0          0          0          0          0          0          0
12.65/12.72	c   linear           :       0.04       0.01      4          8          0          0          8          0       6081          0          0          0
12.65/12.72	c   orbitope_pp      :       0.00       0.00      9        432          0          0          0          0          0          0          0          0
12.65/12.72	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
12.65/12.72	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
12.65/12.72	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
12.65/12.72	c   integral         :          0          0          0          0        242          0          0         59          0          0          0          0          0          0        484
12.65/12.72	c   knapsack         :        512+       516         11      10868          0          0          0         53      31792         53      13649       2207         15          0          0
12.65/12.72	c   setppc           :         84+       100         11      10815          0          0          0          2       7288         14       3767          0          0          0          0
12.65/12.72	c   linear           :          0+        19          0       4189          0          0          0          3        290         20        720          0          0          0          0
12.65/12.72	c   orbitope_pp      :        510        510          0      10681          0          0          0          1       8046         85       7469          0          0          0          0
12.65/12.72	c   logicor          :          0+       945         11        803          0          0          0          0        127          2         51          0          0          0          0
12.65/12.72	c   fixedvar         :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
12.65/12.72	c   countsols        :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
12.65/12.72	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
12.65/12.72	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
12.65/12.72	c   integral         :       0.30       0.00       0.00       0.00       0.30       0.00       0.00       0.00       0.00       0.00
12.65/12.72	c   knapsack         :       0.26       0.00       0.02       0.22       0.00       0.00       0.00       0.00       0.01       0.00
12.65/12.72	c   setppc           :       0.11       0.00       0.00       0.11       0.00       0.00       0.00       0.00       0.00       0.00
12.65/12.72	c   linear           :       0.02       0.01       0.00       0.01       0.00       0.00       0.00       0.00       0.01       0.00
12.65/12.72	c   orbitope_pp      :       2.27       0.00       0.00       2.26       0.00       0.00       0.00       0.00       0.00       0.01
12.65/12.72	c   logicor          :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
12.65/12.72	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
12.65/12.72	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
12.65/12.72	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
12.65/12.72	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
12.65/12.72	c   dualfix          :          1          0          0          0
12.65/12.72	c   genvbounds       :          0          0          0          0
12.65/12.72	c   nlobbt           :          0          0          0          0
12.65/12.72	c   obbt             :          0          0          0          0
12.65/12.72	c   probing          :          0          0          0          0
12.65/12.72	c   pseudoobj        :          0          0          0          0
12.65/12.72	c   redcost          :          0          0          0          0
12.65/12.72	c   rootredcost      :          0          0          0          0
12.65/12.72	c   symmetry         :          0          0          0          0
12.65/12.72	c   vbounds          :       2701          0          0          0
12.65/12.72	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
12.65/12.72	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
12.65/12.72	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
12.65/12.72	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
12.65/12.72	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
12.65/12.72	c   probing          :       1.68       0.00       1.68       0.00       0.00       0.00
12.65/12.72	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
12.65/12.72	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
12.65/12.72	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
12.65/12.72	c   symmetry         :       0.90       0.00       0.90       0.00       0.00       0.00
12.65/12.72	c   vbounds          :       0.02       0.00       0.00       0.02       0.00       0.00
12.65/12.72	c Symmetry           :
12.65/12.72	c   #affected vars   :       6080 (6080 bin, 0 int, 0 cont)
12.65/12.72	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
12.65/12.72	c   orbital reduction:          0 reductions applied,          0 cutoffs
12.65/12.72	c   lexicographic red:          0 reductions applied,          0 cutoffs
12.65/12.72	c   shadow tree time :       0.00 s
12.65/12.72	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
12.65/12.72	c   propagation      :       0.03        150        145          -       1380      174.5          6      210.0          -          -          -
12.65/12.72	c   infeasible LP    :       0.23         81         45          -       1470      539.6          0        0.0         24      415.5          0
12.65/12.72	c   bound exceed. LP :       0.00          1          1          -          0        0.0          0        0.0          0        0.0          0
12.65/12.72	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
12.65/12.72	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
12.65/12.72	c   applied globally :       0.04          -          -          0        972      116.0          -          -         23          -          -
12.65/12.72	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
12.65/12.72	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
12.65/12.72	c   cut pool         :       0.09          -         75         21          -          -       4771      20256          -          -          -          -          -    (maximal pool size:       4771)
12.65/12.72	c   aggregation      :       0.42       0.00         14         11          0          0       4345      18646         10        550        549          1          0
12.65/12.72	c   > cmir           :          -          -          -          -          -          -          -      17343          0        363        363          0          -
12.65/12.72	c   > flowcover      :          -          -          -          -          -          -          -       1095          0        171        171          0          -
12.65/12.72	c   > knapsackcover  :          -          -          -          -          -          -          -        208         10         16         15          1          -
12.65/12.72	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   clique           :       0.10       0.00         11         11          0          0         19         43          0         15         15          0          0
12.65/12.72	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   gomory           :       0.18       0.00         13         10          0          0        388       1459          0         99         99          0          0
12.65/12.72	c   > gomorymi       :          -          -          -          -          -          -          -        714          0         71         71          0          -
12.65/12.72	c   > strongcg       :          -          -          -          -          -          -          -        745          0         28         28          0          -
12.65/12.72	c   impliedbounds    :       0.02       0.00         14         11          0          0          4          7          0          5          5          0          0
12.65/12.72	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
12.65/12.72	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   multilinear      :       0.00       0.00         27         11          0          0          0          0          0          0          0          0          0
12.65/12.72	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
12.65/12.72	c   rapidlearning    :       0.68       0.00          5          1          0         11          0          0          0          0          0          0          2
12.65/12.72	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
12.65/12.72	c   zerohalf         :       0.03       0.00         14         11          0          0         40        101         15          8          8          0          0
12.65/12.72	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
12.65/12.72	c   hybrid           :       0.04       0.00         61         11        692          0      21796        295          0      12658
12.65/12.72	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c Pricers            :   ExecTime  SetupTime      Calls       Vars
12.65/12.72	c   problem variables:       0.00          -          0          0
12.65/12.72	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
12.65/12.72	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c   relpscost        :       0.30       0.00        242          0          0          0          0          0          0        484
12.65/12.72	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
12.65/12.72	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
12.65/12.72	c   LP solutions     :       0.00          -          -          0          0
12.65/12.72	c   relax solutions  :       0.00          -          -          0          0
12.65/12.72	c   pseudo solutions :       0.00          -          -          0          0
12.65/12.72	c   strong branching :       0.00          -          -          0          0
12.65/12.72	c   actconsdiving    :       0.00       0.00          0          0          0
12.65/12.72	c   adaptivediving   :       0.46       0.00          4          0          0
12.65/12.72	c   alns             :       0.47       0.00          3          0          0
12.65/12.72	c   bound            :       0.00       0.00          0          0          0
12.65/12.72	c   clique           :       0.05       0.00          1          0          0
12.65/12.72	c   coefdiving       :       0.00       0.00          0          0          0
12.65/12.72	c   completesol      :       0.00       0.00          0          0          0
12.65/12.72	c   conflictdiving   :       0.57       0.00          4          0          0
12.65/12.72	c   crossover        :       0.00       0.00          0          0          0
12.65/12.72	c   dins             :       0.00       0.00          0          0          0
12.65/12.72	c   distributiondivin:       0.52       0.00          2          0          0
12.65/12.72	c   dks              :       0.00       0.00          0          0          0
12.65/12.72	c   dps              :       0.00       0.00          0          0          0
12.65/12.72	c   dualval          :       0.00       0.00          0          0          0
12.65/12.72	c   farkasdiving     :       0.00       0.00          0          0          0
12.65/12.72	c   feaspump         :       0.13       0.00          2          0          0
12.65/12.72	c   fixandinfer      :       0.00       0.00          0          0          0
12.65/12.72	c   fracdiving       :       0.37       0.00          3          0          0
12.65/12.72	c   gins             :       0.00       0.00          0          0          0
12.65/12.72	c   guideddiving     :       0.00       0.00          0          0          0
12.65/12.72	c   indicator        :       0.00       0.00          0          0          0
12.65/12.72	c   indicatordiving  :       0.00       0.00          0          0          0
12.65/12.72	c   intdiving        :       0.00       0.00          0          0          0
12.65/12.72	c   intshifting      :       0.00       0.00          0          0          0
12.65/12.72	c   linesearchdiving :       0.35       0.00          4          0          0
12.65/12.72	c   localbranching   :       0.00       0.00          0          0          0
12.65/12.72	c   locks            :       0.03       0.00          1          0          0
12.65/12.72	c   lpface           :       0.00       0.00          0          0          0
12.65/12.72	c   mpec             :       0.00       0.00          0          0          0
12.65/12.72	c   multistart       :       0.00       0.00          0          0          0
12.65/12.72	c   mutation         :       0.00       0.00          0          0          0
12.65/12.72	c   nlpdiving        :       0.00       0.00          0          0          0
12.65/12.72	c   objpscostdiving  :       0.57       0.00          1          0          0
12.65/12.72	c   octane           :       0.00       0.00          0          0          0
12.65/12.72	c   ofins            :       0.00       0.00          0          0          0
12.65/12.72	c   oneopt           :       0.00       0.00          0          0          0
12.65/12.72	c   padm             :       0.00       0.00          0          0          0
12.65/12.72	c   proximity        :       0.00       0.00          0          0          0
12.65/12.72	c   pscostdiving     :       0.62       0.00          3          0          0
12.65/12.72	c   randrounding     :       0.20       0.00         57          0          0
12.65/12.72	c   rens             :       0.03       0.00          1          0          0
12.65/12.72	c   reoptsols        :       0.00       0.00          0          0          0
12.65/12.72	c   repair           :       0.00       0.00          0          0          0
12.65/12.72	c   rins             :       0.00       0.00          0          0          0
12.65/12.72	c   rootsoldiving    :       0.19       0.00          1          0          0
12.65/12.72	c   rounding         :       0.01       0.00        195          0          0
12.65/12.72	c   scheduler        :       0.00       0.00          0          0          0
12.65/12.72	c   shiftandpropagate:       0.10       0.00          1          0          0
12.65/12.72	c   shifting         :       0.14       0.00         87          0          0
12.65/12.72	c   simplerounding   :       0.00       0.00          0          0          0
12.65/12.72	c   subnlp           :       0.00       0.00          0          0          0
12.65/12.72	c   trivial          :       0.00       0.00          2          0          0
12.65/12.72	c   trivialnegation  :       0.00       0.00          0          0          0
12.65/12.72	c   trustregion      :       0.00       0.00          0          0          0
12.65/12.72	c   trysol           :       0.00       0.00          0          0          0
12.65/12.72	c   twoopt           :       0.00       0.00          0          0          0
12.65/12.72	c   undercover       :       0.00       0.00          0          0          0
12.65/12.72	c   vbounds          :       0.34       0.00          1          0          0
12.65/12.72	c   veclendiving     :       0.37       0.00          3          0          0
12.65/12.72	c   zeroobj          :       0.00       0.00          0          0          0
12.65/12.72	c   zirounding       :       0.01       0.00        242          0          0
12.65/12.72	c   other solutions  :          -          -          -          0          -
12.65/12.72	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
12.65/12.72	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
12.65/12.72	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
12.65/12.72	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
12.65/12.72	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
12.65/12.72	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
12.65/12.72	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
12.65/12.72	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
12.65/12.72	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
12.65/12.72	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
12.65/12.72	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
12.65/12.72	c   primal LP        :       0.02         23          0       0.00       0.00       0.02         23
12.65/12.72	c   dual LP          :       1.50        365      11655      32.02    7795.53       0.00          1
12.65/12.72	c   lex dual LP      :       0.00          0          0       0.00          -
12.65/12.72	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
12.65/12.72	c   resolve instable :       0.00          0          0       0.00          -
12.65/12.72	c   diving/probing LP:       2.39        622      25370      40.79   10599.03
12.65/12.72	c   strong branching :       0.24         11       1155     105.00    4727.89          -          -          0
12.65/12.72	c     (at root node) :          -         11       1155     105.00          -
12.65/12.72	c   conflict analysis:       0.00          0          0       0.00          -
12.65/12.72	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
12.65/12.72	c   benders          :       0.00          0          0          0       0.00          0          0          0
12.65/12.72	c B&B Tree           :
12.65/12.72	c   number of runs   :          1
12.65/12.72	c   nodes            :        348 (242 internal, 106 leaves)
12.65/12.72	c   feasible leaves  :          0
12.65/12.72	c   infeas. leaves   :        105
12.65/12.72	c   objective leaves :          1
12.65/12.72	c   nodes (total)    :        348 (242 internal, 106 leaves)
12.65/12.72	c   nodes left       :          0
12.65/12.72	c   max depth        :         80
12.65/12.72	c   max depth (total):         80
12.65/12.72	c   backtracks       :         60 (17.2%)
12.65/12.72	c   early backtracks :          0 (0.0%)
12.65/12.72	c   nodes exc. ref.  :          0 (0.0%)
12.65/12.72	c   delayed cutoffs  :          5
12.65/12.72	c   repropagations   :        155 (1159 domain reductions, 4 cutoffs)
12.65/12.72	c   avg switch length:       3.48
12.65/12.72	c   switching time   :       0.08
12.65/12.72	c Root Node          :
12.65/12.72	c   First LP value   : +8.00000000000000e+00
12.65/12.72	c   First LP Iters   :        661 (28313.20 Iter/sec)
12.65/12.72	c   First LP Time    :       0.02
12.65/12.72	c   Final Dual Bound :          -
12.65/12.72	c   Final Root Iters :       2519
12.65/12.72	c   Root LP Estimate : +8.00875528711608e+00
12.65/12.72	c Solution           :
12.65/12.72	c   Solutions found  :          1 (1 improvements)
12.65/12.72	c   First Solution   : +8.00000000000000e+00   (in run 1, after 348 nodes, 12.70 seconds, depth 80, found by <relaxation>)
12.65/12.72	c   Gap First Sol.   :       0.00 %
12.65/12.72	c   Gap Last Sol.    :       0.00 %
12.65/12.72	c   Primal Bound     : +8.00000000000000e+00   (in run 1, after 348 nodes, 12.70 seconds, depth 80, found by <relaxation>)
12.65/12.72	c   Dual Bound       : +8.00000000000000e+00
12.65/12.72	c   Gap              :       0.00 %
12.65/12.72	c Integrals          :      Total       Avg%
12.65/12.72	c   primal-dual      :    1269.83      99.90
12.65/12.72	c   primal-ref       :          -          - (not evaluated)
12.65/12.72	c   dual-ref         :          -          - (not evaluated)
12.65/12.78	c Time complete (sec):     12.742

Verifier Data 

OK	8

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 (40025 MiB free)
  memory of node 1: 64507 MiB (49077 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
solver pid=63287, runsolver pid=63284
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 3.36 3.06 3.25 5/269 63288
/proc/meminfo: memFree=91120848/131249996 swapFree=33010684/33010684
[pid=63287] ppid=63284 vsize=60996 memory=51388 CPUtime=0.09 cores=1,3
/proc/63287/stat : 63287 (pbsolver) R 63284 63287 62857 0 -1 4194304 11620 0 0 0 8 1 0 0 20 0 1 0 56314791 62459904 12847 18446744073709551615 4198400 14743177 140730074963184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 42397696 140730074970506 140730074970602 140730074970602 140730074976204 0
/proc/63287/statm: 15249 12847 2528 2575 0 12156 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60996 KiB
Current children cumulated memory: 51388 KiB

[startup+0.205654 s]*
/proc/loadavg: 3.36 3.06 3.25 5/269 63288
/proc/meminfo: memFree=91032396/131249996 swapFree=33010684/33010684
[pid=63287] ppid=63284 vsize=74156 memory=63488 CPUtime=0.2 cores=1,3
/proc/63287/stat : 63287 (pbsolver) R 63284 63287 62857 0 -1 4194304 15314 0 0 0 18 2 0 0 20 0 1 0 56314791 75935744 15872 18446744073709551615 4198400 14743177 140730074963184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 42397696 140730074970506 140730074970602 140730074970602 140730074976204 0
/proc/63287/statm: 18539 15872 2592 2575 0 15446 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 63488 KiB

[startup+0.30567 s]*
/proc/loadavg: 3.36 3.06 3.25 5/269 63288
/proc/meminfo: memFree=90943692/131249996 swapFree=33010684/33010684
[pid=63287] ppid=63284 vsize=99124 memory=77824 CPUtime=0.3 cores=1,3
/proc/63287/stat : 63287 (pbsolver) R 63284 63287 62857 0 -1 4194304 18969 0 0 0 27 3 0 0 20 0 1 0 56314791 101502976 19456 18446744073709551615 4198400 14743177 140730074963184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 42397696 140730074970506 140730074970602 140730074970602 140730074976204 0
/proc/63287/statm: 24781 19456 2592 2575 0 21688 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 99124 KiB
Current children cumulated memory: 77824 KiB

[startup+0.700182 s]
/proc/loadavg: 3.36 3.06 3.25 5/269 63288
/proc/meminfo: memFree=90806604/131249996 swapFree=33010684/33010684
[pid=63287] ppid=63284 vsize=106276 memory=84864 CPUtime=0.69 cores=1,3
/proc/63287/stat : 63287 (pbsolver) R 63284 63287 62857 0 -1 4194304 20747 0 0 0 66 3 0 0 20 0 1 0 56314791 108826624 21216 18446744073709551615 4198400 14743177 140730074963184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 42397696 140730074970506 140730074970602 140730074970602 140730074976204 0
/proc/63287/statm: 26569 21216 2592 2575 0 23476 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106276 KiB
Current children cumulated memory: 84864 KiB

[startup+1.50018 s]
/proc/loadavg: 3.36 3.06 3.25 5/269 63288
/proc/meminfo: memFree=90468300/131249996 swapFree=33010684/33010684
[pid=63287] ppid=63284 vsize=138648 memory=119076 CPUtime=1.49 cores=1,3
/proc/63287/stat : 63287 (pbsolver) R 63284 63287 62857 0 -1 4194304 29606 0 0 0 145 4 0 0 20 0 1 0 56314791 141975552 29769 18446744073709551615 4198400 14743177 140730074963184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 42397696 140730074970506 140730074970602 140730074970602 140730074976204 0
/proc/63287/statm: 34662 29769 2592 2575 0 31569 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 138648 KiB
Current children cumulated memory: 119076 KiB

[startup+3.10579 s]
/proc/loadavg: 3.36 3.06 3.25 5/269 63288
/proc/meminfo: memFree=90364112/131249996 swapFree=33010684/33010684
[pid=63287] ppid=63284 vsize=158732 memory=138404 CPUtime=3.09 cores=1,3
/proc/63287/stat : 63287 (pbsolver) R 63284 63287 62857 0 -1 4194304 34440 0 0 0 304 5 0 0 20 0 1 0 56314791 162541568 34601 18446744073709551615 4198400 14743177 140730074963184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 42397696 140730074970506 140730074970602 140730074970602 140730074976204 0
/proc/63287/statm: 39683 34601 2624 2575 0 36590 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 158732 KiB
Current children cumulated memory: 138404 KiB

[startup+6.30018 s]
/proc/loadavg: 3.41 3.08 3.25 5/269 63288
/proc/meminfo: memFree=89888420/131249996 swapFree=33010684/33010684
[pid=63287] ppid=63284 vsize=221936 memory=199064 CPUtime=6.27 cores=1,3
/proc/63287/stat : 63287 (pbsolver) R 63284 63287 62857 0 -1 4194304 56161 0 0 0 619 8 0 0 20 0 1 0 56314791 227262464 49766 18446744073709551615 4198400 14743177 140730074963184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 42397696 140730074970506 140730074970602 140730074970602 140730074976204 0
/proc/63287/statm: 55484 49766 2688 2575 0 52391 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 221936 KiB
Current children cumulated memory: 199064 KiB

[startup+12.7002 s]
/proc/loadavg: 3.46 3.10 3.25 5/269 63288
/proc/meminfo: memFree=89880368/131249996 swapFree=33010684/33010684
[pid=63287] ppid=63284 vsize=232824 memory=209488 CPUtime=12.65 cores=1,3
/proc/63287/stat : 63287 (pbsolver) R 63284 63287 62857 0 -1 4194304 63283 0 0 0 1255 10 0 0 20 0 1 0 56314791 238411776 52372 18446744073709551615 4198400 14743177 140730074963184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 42397696 140730074970506 140730074970602 140730074970602 140730074976204 0
/proc/63287/statm: 58206 52372 2688 2575 0 55113 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 232824 KiB
Current children cumulated memory: 209488 KiB

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

# cumulated CPU time of all completed processes:  user=12.6401 s, system=0.110669 s

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

[startup+12.7002 s]
/proc/loadavg: 3.46 3.10 3.25 5/269 63288
/proc/meminfo: memFree=89880368/131249996 swapFree=33010684/33010684
[pid=63287] ppid=63284 vsize=232824 memory=209488 CPUtime=12.65 cores=1,3
/proc/63287/stat : 63287 (pbsolver) R 63284 63287 62857 0 -1 4194304 63283 0 0 0 1255 10 0 0 20 0 1 0 56314791 238411776 52372 18446744073709551615 4198400 14743177 140730074963184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 42397696 140730074970506 140730074970602 140730074970602 140730074976204 0
/proc/63287/statm: 58206 52372 2688 2575 0 55113 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 232824 KiB
Current children cumulated memory: 209488 KiB

Child status: 0

Real time (s): 12.7952
CPU time (s): 12.7508
CPU user time (s): 12.6401
CPU system time (s): 0.110669
CPU usage (%): 99.6528
Max. virtual memory (cumulated for all children) (KiB): 236060
Max. memory (cumulated for all children) (KiB): 214556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.6401
system time used= 0.110669
maximum resident set size= 214556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63286
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= 22


# summary of solver processes directly reported to runsolver:
#   pid: 63287
#   total CPU time (s): 12.7508
#   total CPU user time (s): 12.6401
#   total CPU system time (s): 0.110669

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03721 second user time and 0.088306 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-01 23:46:09
IDJOB=4499039
IDBENCH=148769
IDSOLVER=3366
FILE ID=nodeC024/4499039-1751406369
RUNJOBID= nodeC024-1751406326-62869
SLURM_JOB_ID= 9598297
Free space on /tmp= 432308 MiB

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

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

MD5SUM BENCH= d60e9860abd72f5860673673bfdb8c38
RANDOM SEED=1980402445

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.673
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.954
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		: 3599.751
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		: 3580.505
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.872
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		: 3599.907
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		: 3599.905
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		: 3585.066
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:        91290884 kB
MemAvailable:   98648512 kB
Buffers:            3280 kB
Cached:          8126508 kB
SwapCached:            0 kB
Active:         30915504 kB
Inactive:        7869360 kB
Active(anon):   30673140 kB
Inactive(anon):        0 kB
Active(file):     242364 kB
Inactive(file):  7869360 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31368 kB
Writeback:             4 kB
AnonPages:      30658208 kB
Mapped:           133984 kB
Shmem:             18064 kB
KReclaimable:     169888 kB
Slab:             260248 kB
SReclaimable:     169888 kB
SUnreclaim:        90360 kB
KernelStack:        4336 kB
PageTables:        63440 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   31575004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2846720 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= 432292 MiB
End job on nodeC024 at 2025-07-01 23:46:22