Trace number 4497847

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2025-06-13SAT26 3586.48 3597.1

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM529ae296d86301d65a8fd4e36abb4ed9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark24.4815
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	26

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497847-1751403142/watcher-4497847-1751403142 -o /tmp/evaluation-result-4497847-1751403142/solver-4497847-1751403142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751403142-62243 --watchdog 3760 pbsolver -f HOME/instance-4497847-1751403142.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
Current StackSize limit: 8192 KiB

solver pid=62294, runsolver pid=62284

[startup+0.100059 s]*
/proc/loadavg: 0.50 0.97 1.67 6/265 62303
/proc/meminfo: memFree=121784604/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=67016 memory=56960 CPUtime=0.1 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 12048 0 0 0 8 2 0 0 20 0 1 0 55992057 68624384 14240 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 16754 14240 2432 2575 0 13661 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 67016 KiB
Current children cumulated memory: 56960 KiB

[startup+0.205393 s]*
/proc/loadavg: 0.50 0.97 1.67 6/265 62303
/proc/meminfo: memFree=121716328/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=79700 memory=69412 CPUtime=0.2 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 19723 0 0 0 17 3 0 0 20 0 1 0 55992057 81612800 17353 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 19925 17353 2592 2575 0 16832 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79700 KiB
Current children cumulated memory: 69412 KiB

[startup+0.305829 s]*
/proc/loadavg: 0.50 0.97 1.67 6/265 62303
/proc/meminfo: memFree=121684496/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=86308 memory=75684 CPUtime=0.3 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 21263 0 0 0 27 3 0 0 20 0 1 0 55992057 88379392 18921 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 21577 18921 2624 2575 0 18484 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 86308 KiB
Current children cumulated memory: 75684 KiB

[startup+0.700148 s]
/proc/loadavg: 0.50 0.97 1.67 6/265 62303
/proc/meminfo: memFree=121589492/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=128092 memory=108800 CPUtime=0.68 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 30954 0 0 0 64 4 0 0 20 0 1 0 55992057 131166208 27200 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 32023 27200 2688 2575 0 28930 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 128092 KiB
Current children cumulated memory: 108800 KiB

[startup+1.50013 s]
/proc/loadavg: 0.50 0.97 1.67 6/265 62303
/proc/meminfo: memFree=121441320/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=194584 memory=173056 CPUtime=1.48 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 47086 0 0 0 141 7 0 0 20 0 1 0 55992057 199254016 43264 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 48646 43264 2688 2575 0 45553 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 194584 KiB
Current children cumulated memory: 173056 KiB

[startup+3.10512 s]
/proc/loadavg: 0.78 1.02 1.69 6/265 62303
/proc/meminfo: memFree=121284744/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=194584 memory=174848 CPUtime=3.09 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 47539 0 0 0 301 8 0 0 20 0 1 0 55992057 199254016 43712 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 48646 43712 2688 2575 0 45553 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 194584 KiB
Current children cumulated memory: 174848 KiB

[startup+6.30011 s]
/proc/loadavg: 0.78 1.02 1.69 6/267 62305
/proc/meminfo: memFree=121188128/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=244172 memory=213888 CPUtime=6.27 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 57307 0 0 0 618 9 0 0 20 0 1 0 55992057 250032128 53472 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 61043 53472 2688 2575 0 57950 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 244172 KiB
Current children cumulated memory: 213888 KiB

[startup+12.7001 s]
/proc/loadavg: 1.27 1.12 1.71 6/267 62305
/proc/meminfo: memFree=121132548/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=254788 memory=218752 CPUtime=12.65 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 58524 0 0 0 1255 10 0 0 20 0 1 0 55992057 260902912 54688 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 63697 54688 2688 2575 0 60604 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 254788 KiB
Current children cumulated memory: 218752 KiB

[startup+25.5001 s]
/proc/loadavg: 1.69 1.21 1.74 6/267 62305
/proc/meminfo: memFree=121020984/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=312860 memory=276864 CPUtime=25.41 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 73073 0 0 0 2529 12 0 0 20 0 1 0 55992057 320368640 69216 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 78215 69216 2688 2575 0 75122 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 312860 KiB
Current children cumulated memory: 276864 KiB

[startup+51.1052 s]
/proc/loadavg: 2.48 1.44 1.80 6/267 62305
/proc/meminfo: memFree=120957408/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=312860 memory=276992 CPUtime=50.94 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 73115 0 0 0 5081 13 0 0 20 0 1 0 55992057 320368640 69248 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 78215 69248 2688 2575 0 75122 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 312860 KiB
Current children cumulated memory: 276992 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 1.90 1.94 6/267 62308
/proc/meminfo: memFree=120907464/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=312860 memory=277248 CPUtime=101.98 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 73155 0 0 0 10185 13 0 0 20 0 1 0 55992057 320368640 69312 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 78215 69312 2688 2575 0 75122 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 312860 KiB
Current children cumulated memory: 277248 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.30 2.07 6/268 62315
/proc/meminfo: memFree=120883564/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=312860 memory=277248 CPUtime=161.82 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 73181 0 0 0 16168 14 0 0 20 0 1 0 55992057 320368640 69312 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 78215 69312 2688 2575 0 75122 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 312860 KiB
Current children cumulated memory: 277248 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.63 2.20 6/268 62317
/proc/meminfo: memFree=120818700/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=312860 memory=279680 CPUtime=221.64 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 73241 0 0 0 22150 14 0 0 20 0 1 0 55992057 320368640 69920 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 78215 69920 2688 2575 0 75122 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 312860 KiB
Current children cumulated memory: 279680 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.90 2.32 6/268 62319
/proc/meminfo: memFree=120786356/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=312860 memory=282240 CPUtime=281.46 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 73332 0 0 0 28132 14 0 0 20 0 1 0 55992057 320368640 70560 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 78215 70560 2688 2575 0 75122 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 312860 KiB
Current children cumulated memory: 282240 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.11 2.44 6/265 62321
/proc/meminfo: memFree=120759876/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=320948 memory=303872 CPUtime=341.29 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 75181 0 0 0 34115 14 0 0 20 0 1 0 55992057 328650752 75968 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 80237 75968 2688 2575 0 77144 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 320948 KiB
Current children cumulated memory: 303872 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.31 2.55 6/265 62323
/proc/meminfo: memFree=120744376/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=320948 memory=311168 CPUtime=401.13 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 75341 0 0 0 40099 14 0 0 20 0 1 0 55992057 328650752 77792 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 80237 77792 2688 2575 0 77144 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 320948 KiB
Current children cumulated memory: 311168 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.44 2.64 6/264 62326
/proc/meminfo: memFree=120742164/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=320948 memory=311168 CPUtime=460.96 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 75574 0 0 0 46082 14 0 0 20 0 1 0 55992057 328650752 77792 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 80237 77792 2688 2575 0 77144 0
Current children cumulated CPU time: 460.96 s

################
# More data... #
################

/proc/loadavg: 4.14 4.20 4.10 6/264 62489
/proc/meminfo: memFree=119637208/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=536196 memory=523008 CPUtime=3152.87 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 115990 0 0 0 315266 21 0 0 20 0 1 0 55992057 549064704 130752 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 134049 130752 2688 2575 0 130956 0
Current children cumulated CPU time: 3152.87 s
Current children cumulated vsize: 536196 KiB
Current children cumulated memory: 523008 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.18 4.10 6/264 62491
/proc/meminfo: memFree=119583200/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=551220 memory=538624 CPUtime=3212.71 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 119922 0 0 0 321249 22 0 0 20 0 1 0 55992057 564449280 134656 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 137805 134656 2688 2575 0 134712 0
Current children cumulated CPU time: 3212.71 s
Current children cumulated vsize: 551220 KiB
Current children cumulated memory: 538624 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.16 4.09 6/264 62493
/proc/meminfo: memFree=119598936/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=551220 memory=538624 CPUtime=3272.54 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 119935 0 0 0 327232 22 0 0 20 0 1 0 55992057 564449280 134656 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 137805 134656 2688 2575 0 134712 0
Current children cumulated CPU time: 3272.54 s
Current children cumulated vsize: 551220 KiB
Current children cumulated memory: 538624 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.09 6/264 62495
/proc/meminfo: memFree=119599404/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=551220 memory=538880 CPUtime=3332.38 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 120154 0 0 0 333216 22 0 0 20 0 1 0 55992057 564449280 134720 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 137805 134720 2688 2575 0 134712 0
Current children cumulated CPU time: 3332.38 s
Current children cumulated vsize: 551220 KiB
Current children cumulated memory: 538880 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.09 6/264 62498
/proc/meminfo: memFree=119598396/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=551312 memory=538880 CPUtime=3392.21 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 120166 0 0 0 339199 22 0 0 20 0 1 0 55992057 564543488 134720 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 137828 134720 2688 2575 0 134735 0
Current children cumulated CPU time: 3392.21 s
Current children cumulated vsize: 551312 KiB
Current children cumulated memory: 538880 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.09 6/264 62500
/proc/meminfo: memFree=119590116/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=551312 memory=538880 CPUtime=3452.05 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 120343 0 0 0 345183 22 0 0 20 0 1 0 55992057 564543488 134720 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 137828 134720 2688 2575 0 134735 0
Current children cumulated CPU time: 3452.05 s
Current children cumulated vsize: 551312 KiB
Current children cumulated memory: 538880 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.11 4.09 6/264 62503
/proc/meminfo: memFree=119581640/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=551312 memory=538880 CPUtime=3511.88 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 120458 0 0 0 351166 22 0 0 20 0 1 0 55992057 564543488 134720 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 137828 134720 2688 2575 0 134735 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 551312 KiB
Current children cumulated memory: 538880 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/264 62505
/proc/meminfo: memFree=119582372/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=552308 memory=538880 CPUtime=3571.72 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 120517 0 0 0 357150 22 0 0 20 0 1 0 55992057 565563392 134720 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 138077 134720 2688 2575 0 134984 0
Current children cumulated CPU time: 3571.72 s
Current children cumulated vsize: 552308 KiB
Current children cumulated memory: 538880 KiB

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

# cumulated CPU time of all completed processes:  user=3586.25 s, system=0.232188 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.09 6/264 62505
/proc/meminfo: memFree=119582372/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=552308 memory=538880 CPUtime=3573.42 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 120517 0 0 0 357320 22 0 0 20 0 1 0 55992057 565563392 134720 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 138077 134720 2688 2575 0 134984 0
Current children cumulated CPU time: 3573.42 s
Current children cumulated vsize: 552308 KiB
Current children cumulated memory: 538880 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.11 4.09 6/264 62505
/proc/meminfo: memFree=119582468/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=552308 memory=538880 CPUtime=3579.79 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 120517 0 0 0 357957 22 0 0 20 0 1 0 55992057 565563392 134720 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 138077 134720 2688 2575 0 134984 0
Current children cumulated CPU time: 3579.79 s
Current children cumulated vsize: 552308 KiB
Current children cumulated memory: 538880 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.11 4.09 6/264 62505
/proc/meminfo: memFree=119582236/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=552308 memory=538880 CPUtime=3582.99 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 120517 0 0 0 358277 22 0 0 20 0 1 0 55992057 565563392 134720 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 138077 134720 2688 2575 0 134984 0
Current children cumulated CPU time: 3582.99 s
Current children cumulated vsize: 552308 KiB
Current children cumulated memory: 538880 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.11 4.09 6/264 62505
/proc/meminfo: memFree=119582268/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=552308 memory=538880 CPUtime=3584.58 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 120517 0 0 0 358436 22 0 0 20 0 1 0 55992057 565563392 134720 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 138077 134720 2688 2575 0 134984 0
Current children cumulated CPU time: 3584.58 s
Current children cumulated vsize: 552308 KiB
Current children cumulated memory: 538880 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.11 4.09 6/264 62505
/proc/meminfo: memFree=119582268/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=552308 memory=538880 CPUtime=3585.38 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 120517 0 0 0 358516 22 0 0 20 0 1 0 55992057 565563392 134720 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 138077 134720 2688 2575 0 134984 0
Current children cumulated CPU time: 3585.38 s
Current children cumulated vsize: 552308 KiB
Current children cumulated memory: 538880 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.11 4.09 6/264 62505
/proc/meminfo: memFree=119582268/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=552308 memory=538880 CPUtime=3586.18 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 120517 0 0 0 358596 22 0 0 20 0 1 0 55992057 565563392 134720 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 138077 134720 2688 2575 0 134984 0
Current children cumulated CPU time: 3586.18 s
Current children cumulated vsize: 552308 KiB
Current children cumulated memory: 538880 KiB

[startup+3597 s]*
/proc/loadavg: 4.11 4.11 4.09 6/264 62505
/proc/meminfo: memFree=119582068/131250000 swapFree=33010416/33010684
[pid=62294] ppid=62284 vsize=552308 memory=538880 CPUtime=3586.38 cores=0,2
/proc/62294/stat : 62294 (pbsolver) R 62284 62294 62230 0 -1 4194304 120520 0 0 0 358616 22 0 0 20 0 1 0 55992057 565563392 134720 18446744073709551615 4198400 14743177 140722736048768 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37552128 140722736056714 140722736056810 140722736056810 140722736062412 0
/proc/62294/statm: 138077 134720 2688 2575 0 134984 0
Current children cumulated CPU time: 3586.38 s
Current children cumulated vsize: 552308 KiB
Current children cumulated memory: 538880 KiB

Child status: 0

Real time (s): 3597.1
CPU time (s): 3586.48
CPU user time (s): 3586.25
CPU system time (s): 0.232188
CPU usage (%): 99.705
Max. virtual memory (cumulated for all children) (KiB): 552308
Max. memory (cumulated for all children) (KiB): 538880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.25
system time used= 0.232188
maximum resident set size= 538880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120570
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= 44
involuntary context switches= 22012


# summary of solver processes directly reported to runsolver:
#   pid: 62294
#   total CPU time (s): 3586.48
#   total CPU user time (s): 3586.25
#   total CPU system time (s): 0.232188

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.90455 second user time and 13.815 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-01 22:52:22
IDJOB=4497847
IDBENCH=148194
IDSOLVER=3366
FILE ID=nodeC018/4497847-1751403142
RUNJOBID= nodeC018-1751403142-62243
SLURM_JOB_ID= 9598290
Free space on /tmp= 432932 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497847-1751403142/watcher-4497847-1751403142 -o /tmp/evaluation-result-4497847-1751403142/solver-4497847-1751403142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751403142-62243 --watchdog 3760  pbsolver -f HOME/instance-4497847-1751403142.opb -t 3600 -m 31000

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=732315552

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.825
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.66
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.853
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.66
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.538
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.66
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		: 3599.032
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.66
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.855
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.66
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		: 3604.288
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.66
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		: 3602.356
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.800
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121949264 kB
MemAvailable:   129720744 kB
Buffers:            2128 kB
Cached:          8538228 kB
SwapCached:           32 kB
Active:           403756 kB
Inactive:        8201708 kB
Active(anon):      82864 kB
Inactive(anon):      288 kB
Active(file):     320892 kB
Inactive(file):  8201420 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61236 kB
Writeback:             0 kB
AnonPages:         68772 kB
Mapped:           103588 kB
Shmem:             18044 kB
KReclaimable:     176412 kB
Slab:             266572 kB
SReclaimable:     176412 kB
SUnreclaim:        90160 kB
KernelStack:        4008 kB
PageTables:         2700 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     329852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432872 MiB
End job on nodeC018 at 2025-07-01 23:52:19