Trace number 4493419

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 NameAnswerCPU timeWall clock time
SCIP 2025-06-13SAT 31.6853 31.7788

General information on the benchmark

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

Verifier Data 

OK	0

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: 63708 MiB (62186 MiB free)
  memory of node 1: 64465 MiB (62669 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493419-1751147193/watcher-4493419-1751147193 -o /tmp/evaluation-result-4493419-1751147193/solver-4493419-1751147193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751144566-13225 --watchdog 3760 pbsolver -f HOME/instance-4493419-1751147193.opb -t 3600 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=13726, runsolver pid=13723
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.17 4.12 4.09 5/264 13727
/proc/meminfo: memFree=127823104/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=73472 memory=61612 CPUtime=0.1 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 13137 0 0 0 8 2 0 0 20 0 1 0 30397833 75235328 15403 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 18368 15403 2560 2575 0 15275 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 73472 KiB
Current children cumulated memory: 61612 KiB

[startup+0.205398 s]*
/proc/loadavg: 4.17 4.12 4.09 5/264 13727
/proc/meminfo: memFree=127799036/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=105380 memory=86988 CPUtime=0.19 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 16887 0 0 0 17 2 0 0 20 0 1 0 30397833 107909120 21747 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 26345 21747 2592 2575 0 23252 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 105380 KiB
Current children cumulated memory: 86988 KiB

[startup+0.305312 s]*
/proc/loadavg: 4.17 4.12 4.09 7/264 13727
/proc/meminfo: memFree=127774844/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=133396 memory=107724 CPUtime=0.3 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 22077 0 0 0 27 3 0 0 20 0 1 0 30397833 136597504 26931 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 33349 26931 2592 2575 0 30256 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 133396 KiB
Current children cumulated memory: 107724 KiB

[startup+0.700134 s]
/proc/loadavg: 4.17 4.12 4.09 5/264 13727
/proc/meminfo: memFree=127774844/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=133904 memory=107980 CPUtime=0.69 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 22157 0 0 0 66 3 0 0 20 0 1 0 30397833 137117696 26995 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 33476 26995 2592 2575 0 30383 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133904 KiB
Current children cumulated memory: 107980 KiB

[startup+1.50017 s]
/proc/loadavg: 4.17 4.12 4.09 5/264 13727
/proc/meminfo: memFree=127774844/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=136876 memory=110924 CPUtime=1.48 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 22898 0 0 0 145 3 0 0 20 0 1 0 30397833 140161024 27731 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 34219 27731 2592 2575 0 31126 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 136876 KiB
Current children cumulated memory: 110924 KiB

[startup+3.10531 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 13727
/proc/meminfo: memFree=127758716/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=150236 memory=124236 CPUtime=3.08 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 26140 0 0 0 304 4 0 0 20 0 1 0 30397833 153841664 31059 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 37559 31059 2656 2575 0 34466 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150236 KiB
Current children cumulated memory: 124236 KiB

[startup+6.30018 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 13727
/proc/meminfo: memFree=127734532/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=174248 memory=146208 CPUtime=6.27 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 32381 0 0 0 622 5 0 0 20 0 1 0 30397833 178429952 36552 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 43562 36552 2688 2575 0 40469 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 174248 KiB
Current children cumulated memory: 146208 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 13727
/proc/meminfo: memFree=127734772/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=175676 memory=149272 CPUtime=12.66 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 33892 0 0 0 1260 6 0 0 20 0 1 0 30397833 179892224 37318 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 43919 37318 2688 2575 0 40826 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 175676 KiB
Current children cumulated memory: 149272 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 13727
/proc/meminfo: memFree=127724960/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=180000 memory=153560 CPUtime=25.41 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 35807 0 0 0 2535 6 0 0 20 0 1 0 30397833 184320000 38390 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 45000 38390 2688 2575 0 41907 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 180000 KiB
Current children cumulated memory: 153560 KiB

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

# cumulated CPU time of all completed processes:  user=31.6105 s, system=0.074773 s

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

[startup+25.6002 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 13727
/proc/meminfo: memFree=127724960/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=180000 memory=153560 CPUtime=25.51 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 35807 0 0 0 2545 6 0 0 20 0 1 0 30397833 184320000 38390 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 45000 38390 2688 2575 0 41907 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 180000 KiB
Current children cumulated memory: 153560 KiB

[startup+28.8002 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 13727
/proc/meminfo: memFree=127724968/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=180000 memory=153560 CPUtime=28.7 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 35835 0 0 0 2864 6 0 0 20 0 1 0 30397833 184320000 38390 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 45000 38390 2688 2575 0 41907 0
Current children cumulated CPU time: 28.7 s
Current children cumulated vsize: 180000 KiB
Current children cumulated memory: 153560 KiB

[startup+30.4002 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 13727
/proc/meminfo: memFree=127724976/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=180000 memory=153688 CPUtime=30.3 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 35841 0 0 0 3024 6 0 0 20 0 1 0 30397833 184320000 38422 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 45000 38422 2688 2575 0 41907 0
Current children cumulated CPU time: 30.3 s
Current children cumulated vsize: 180000 KiB
Current children cumulated memory: 153688 KiB

[startup+31.2001 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 13727
/proc/meminfo: memFree=127724976/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=180000 memory=153688 CPUtime=31.09 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 35842 0 0 0 3103 6 0 0 20 0 1 0 30397833 184320000 38422 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 45000 38422 2688 2575 0 41907 0
Current children cumulated CPU time: 31.09 s
Current children cumulated vsize: 180000 KiB
Current children cumulated memory: 153688 KiB

[startup+31.6002 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 13727
/proc/meminfo: memFree=127724976/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=180000 memory=153688 CPUtime=31.49 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 35842 0 0 0 3143 6 0 0 20 0 1 0 30397833 184320000 38422 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 45000 38422 2688 2575 0 41907 0
Current children cumulated CPU time: 31.49 s
Current children cumulated vsize: 180000 KiB
Current children cumulated memory: 153688 KiB

[startup+31.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 13727
/proc/meminfo: memFree=127724976/131249988 swapFree=33010684/33010684
[pid=13726] ppid=13723 vsize=180000 memory=153688 CPUtime=31.59 cores=0,2
/proc/13726/stat : 13726 (pbsolver) R 13723 13726 13215 0 -1 4194304 35842 0 0 0 3153 6 0 0 20 0 1 0 30397833 184320000 38422 18446744073709551615 4198400 14743177 140725926917968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24670208 140725926922634 140725926922730 140725926922730 140725926928332 0
/proc/13726/statm: 45000 38422 2688 2575 0 41907 0
Current children cumulated CPU time: 31.59 s
Current children cumulated vsize: 180000 KiB
Current children cumulated memory: 153688 KiB

Child status: 0

Real time (s): 31.7788
CPU time (s): 31.6853
CPU user time (s): 31.6105
CPU system time (s): 0.074773
CPU usage (%): 99.7057
Max. virtual memory (cumulated for all children) (KiB): 180000
Max. memory (cumulated for all children) (KiB): 153688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.6105
system time used= 0.074773
maximum resident set size= 156952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35842
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= 79


# summary of solver processes directly reported to runsolver:
#   pid: 13726
#   total CPU time (s): 31.6853
#   total CPU user time (s): 31.6105
#   total CPU system time (s): 0.074773

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057204 second user time and 0.177297 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-06-28 23:46:33
IDJOB=4493419
IDBENCH=147862
IDSOLVER=3366
FILE ID=nodeC031/4493419-1751147193
RUNJOBID= nodeC031-1751144566-13225
SLURM_JOB_ID= 9587441
Free space on /tmp= 433008 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin12.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493419-1751147193/watcher-4493419-1751147193 -o /tmp/evaluation-result-4493419-1751147193/solver-4493419-1751147193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751144566-13225 --watchdog 3760  pbsolver -f HOME/instance-4493419-1751147193.opb -t 3600 -m 31000

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

MD5SUM BENCH= e3014e41fec9c16977639004d85b0b7a
RANDOM SEED=1833586510

nodeC031 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		: 3601.140
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.78
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.903
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.78
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.635
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.78
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		: 3601.281
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.78
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.742
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.78
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.775
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.78
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		: 3601.289
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.78
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		: 3567.252
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        127852084 kB
MemAvailable:   127474680 kB
Buffers:            3280 kB
Cached:           410988 kB
SwapCached:            0 kB
Active:          2625400 kB
Inactive:         204396 kB
Active(anon):    2433592 kB
Inactive(anon):        0 kB
Active(file):     191808 kB
Inactive(file):   204396 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15456 kB
Writeback:           132 kB
AnonPages:       2418172 kB
Mapped:           134896 kB
Shmem:             18064 kB
KReclaimable:      84340 kB
Slab:             166700 kB
SReclaimable:      84340 kB
SUnreclaim:        82360 kB
KernelStack:        4236 kB
PageTables:         8032 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    2936856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1974272 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC031 at 2025-06-28 23:47:05