Trace number 4497755

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-13SAT22 3588.31 3597.11

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM2f5de9b63d0a2988dce846045b262c40
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 benchmark20
Best CPU time to get the best result obtained on this benchmark5.76415
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
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

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-4497755-1751403142.opb>
0.00/0.03	c original problem has 5499 variables (5499 bin, 0 int, 0 cont) and 19319 constraints
0.00/0.03	c problem read in 0.035 seconds
0.00/0.06	c presolving:
0.00/0.09	c (round 1, fast)       547 del vars, 1089 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 0 upgd conss, 0 impls, 13880 clqs
0.10/0.12	c    (0.1s) running MILP presolver
0.10/0.13	c    (0.1s) MILP presolver (2 rounds): 6 aggregations, 0 fixings, 0 bound changes
0.10/0.14	c (round 2, medium)     553 del vars, 1089 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 0 upgd conss, 0 impls, 13868 clqs
0.10/0.14	c (round 3, fast)       553 del vars, 1107 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 0 upgd conss, 0 impls, 13868 clqs
0.10/0.18	c (round 4, exhaustive) 553 del vars, 1107 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 18212 upgd conss, 0 impls, 13868 clqs
0.20/0.24	c (round 5, exhaustive) 553 del vars, 18771 del conss, 4338 add conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 18212 upgd conss, 0 impls, 13868 clqs
0.20/0.26	c (round 6, exhaustive) 626 del vars, 18844 del conss, 4338 add conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 18212 upgd conss, 0 impls, 13720 clqs
0.20/0.30	c    (0.3s) probing: 51/4873 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.20/0.30	c    (0.3s) probing aborted: 50/50 successive totally useless probings
0.20/0.30	c    (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.29/0.32	c    (0.3s) no symmetry present (symcode time: 0.02)
0.29/0.33	c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
0.29/0.33	c  626 deleted vars, 18844 deleted constraints, 4338 added constraints, 5 tightened bounds, 0 added holes, 6 changed sides, 6 changed coefficients
0.29/0.33	c  0 implications, 13720 cliques
0.29/0.33	c presolved problem has 4873 variables (4873 bin, 0 int, 0 cont) and 4813 constraints
0.29/0.33	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.29/0.33	c       1 constraints of type <knapsack>
0.29/0.33	c     542 constraints of type <setppc>
0.29/0.33	c    4265 constraints of type <and>
0.29/0.33	c       5 constraints of type <logicor>
0.29/0.33	c transformed objective value is always integral (scale: 1)
0.29/0.33	c Presolving Time: 0.26
0.29/0.33	c 
0.29/0.33	c - non default parameters ----------------------------------------------------------------------
0.29/0.33	c 
0.29/0.33	c # SCIP version 10.0.0
0.29/0.33	c 
0.29/0.33	c # maximal time in seconds to run
0.29/0.33	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.33	c limits/time = 3596.998359
0.29/0.33	c 
0.29/0.33	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.33	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.33	c limits/memory = 27900
0.29/0.33	c 
0.29/0.33	c # belongs reading time to solving time?
0.29/0.33	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.33	c timing/reading = TRUE
0.29/0.33	c 
0.29/0.33	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.29/0.33	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.29/0.33	c reading/opbreader/maxintsize = 47
0.29/0.33	c 
0.29/0.33	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.29/0.33	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.29/0.33	c propagating/genvbounds/timingmask = 0
0.29/0.33	c 
0.29/0.33	c -----------------------------------------------------------------------------------------------
0.29/0.33	c 
0.39/0.48	o 22
0.39/0.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.39/0.48	c p 0.5s|     1 |     0 |     0 |     - | vbounds|   0 |4873 |4857 |9077 |   0 |  0 |  44 |   0 | 5.000000e+00 | 2.200000e+01 | 340.00%| unknown
0.58/0.60	c   0.6s|     1 |     0 |   426 |     - |    90M |   0 |4873 |4955 |9077 |   0 |  0 | 142 |   0 | 7.750000e+00 | 2.200000e+01 | 183.87%| unknown
1.18/1.29	c   1.3s|     1 |     0 |   602 |     - |   102M |   0 |4873 |5155 |9107 |  30 |  1 | 142 |   0 | 8.250000e+00 | 2.200000e+01 | 166.67%| unknown
1.58/1.65	c   1.6s|     1 |     0 |  1085 |     - |   111M |   0 |4873 |5155 |9156 |  79 |  2 | 142 |   0 | 9.500000e+00 | 2.200000e+01 | 131.58%| unknown
1.78/1.83	c   1.8s|     1 |     0 |  1261 |     - |   114M |   0 |4873 |5155 |9216 | 139 |  3 | 142 |   0 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
2.18/2.25	c   2.3s|     1 |     0 |  1941 |     - |   121M |   0 |4873 |5154 |9281 | 204 |  4 | 142 |   0 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
2.48/2.51	c   2.5s|     1 |     0 |  2524 |     - |   122M |   0 |4873 |5155 |9372 | 295 |  5 | 143 |   0 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
2.68/2.72	c   2.7s|     1 |     0 |  3090 |     - |   127M |   0 |4873 |5155 |9440 | 363 |  6 | 143 |   0 | 1.023611e+01 | 2.200000e+01 | 114.93%| unknown
2.98/3.08	c   3.1s|     1 |     0 |  3858 |     - |   137M |   0 |4873 |5165 |9528 | 451 |  7 | 153 |   0 | 1.048615e+01 | 2.200000e+01 | 109.80%| unknown
3.38/3.41	c   3.4s|     1 |     0 |  4543 |     - |   149M |   0 |4873 |5175 |9682 | 605 |  8 | 163 |   0 | 1.096176e+01 | 2.200000e+01 | 100.70%| unknown
3.87/3.90	c   3.9s|     1 |     0 |  5268 |     - |   157M |   0 |4873 |5176 |9794 | 717 |  9 | 164 |   0 | 1.107711e+01 | 2.200000e+01 |  98.61%| unknown
4.38/4.49	c   4.5s|     1 |     0 |  6066 |     - |   167M |   0 |4873 |5186 |9959 | 882 | 10 | 174 |   0 | 1.117081e+01 | 2.200000e+01 |  96.94%| unknown
4.58/4.64	c   4.6s|     1 |     0 |  6739 |     - |   168M |   0 |4873 |5193 |  10k|1039 | 11 | 181 |   0 | 1.120273e+01 | 2.200000e+01 |  96.38%| unknown
4.77/4.82	c   4.8s|     1 |     0 |  7559 |     - |   170M |   0 |4873 |5201 |  10k|1181 | 12 | 191 |   0 | 1.122709e+01 | 2.200000e+01 |  95.95%| unknown
4.87/5.00	c   5.0s|     1 |     0 |  8401 |     - |   171M |   0 |4873 |5202 |  10k|1311 | 13 | 192 |   0 | 1.127292e+01 | 2.200000e+01 |  95.16%| unknown
5.17/5.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
5.17/5.23	c   5.2s|     1 |     0 |  9620 |     - |   172M |   0 |4873 |5204 |  10k|1450 | 14 | 194 |   0 | 1.129602e+01 | 2.200000e+01 |  94.76%| unknown
5.47/5.51	c   5.5s|     1 |     0 | 10940 |     - |   173M |   0 |4873 |5214 |  10k|1593 | 15 | 204 |   0 | 1.133340e+01 | 2.200000e+01 |  94.12%| unknown
5.77/5.84	c   5.8s|     1 |     0 | 12400 |     - |   174M |   0 |4873 |5218 |  10k|1735 | 16 | 208 |   0 | 1.141539e+01 | 2.200000e+01 |  92.72%| unknown
6.08/6.14	c   6.1s|     1 |     0 | 13719 |     - |   176M |   0 |4873 |5228 |  10k|1858 | 17 | 218 |   0 | 1.143074e+01 | 2.200000e+01 |  92.46%| unknown
6.37/6.44	c   6.4s|     1 |     0 | 14895 |     - |   177M |   0 |4873 |5236 |  10k|2008 | 18 | 228 |   0 | 1.145028e+01 | 2.200000e+01 |  92.14%| unknown
6.67/6.75	c   6.8s|     1 |     0 | 16074 |     - |   178M |   0 |4873 |5246 |  11k|2143 | 19 | 238 |   0 | 1.146244e+01 | 2.200000e+01 |  91.93%| unknown
7.07/7.15	c   7.1s|     1 |     0 | 17482 |     - |   180M |   0 |4873 |5256 |  11k|2270 | 20 | 248 |   0 | 1.147769e+01 | 2.200000e+01 |  91.68%| unknown
7.47/7.51	c   7.5s|     1 |     0 | 18786 |     - |   180M |   0 |4873 |5265 |  11k|2394 | 21 | 258 |   0 | 1.148827e+01 | 2.200000e+01 |  91.50%| unknown
7.66/7.78	c   7.8s|     1 |     0 | 19695 |     - |   180M |   0 |4873 |5269 |  11k|2488 | 22 | 262 |   0 | 1.149949e+01 | 2.200000e+01 |  91.31%| unknown
7.97/8.02	c   8.0s|     1 |     0 | 20424 |     - |   180M |   0 |4873 |5268 |  11k|2583 | 23 | 263 |   0 | 1.150541e+01 | 2.200000e+01 |  91.21%| unknown
8.07/8.13	c   8.1s|     1 |     0 | 20675 |     - |   180M |   0 |4873 |5265 |  11k|2642 | 24 | 264 |   0 | 1.150622e+01 | 2.200000e+01 |  91.20%| unknown
8.16/8.25	c   8.2s|     1 |     0 | 20906 |     - |   180M |   0 |4873 |5275 |  11k|2708 | 25 | 274 |   0 | 1.150665e+01 | 2.200000e+01 |  91.19%| unknown
8.26/8.37	c   8.4s|     1 |     0 | 21197 |     - |   180M |   0 |4873 |5278 |  11k|2744 | 26 | 278 |   0 | 1.150742e+01 | 2.200000e+01 |  91.18%| unknown
8.36/8.46	c   8.5s|     1 |     0 | 21307 |     - |   181M |   0 |4873 |5286 |  11k|2777 | 27 | 288 |   0 | 1.150760e+01 | 2.200000e+01 |  91.18%| unknown
8.46/8.55	c   8.6s|     1 |     0 | 21440 |     - |   181M |   0 |4873 |5292 |  11k|2808 | 28 | 295 |   0 | 1.150779e+01 | 2.200000e+01 |  91.17%| unknown
8.56/8.64	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
8.56/8.64	c   8.6s|     1 |     0 | 21519 |     - |   181M |   0 |4873 |5295 |  11k|2829 | 29 | 298 |   0 | 1.150793e+01 | 2.200000e+01 |  91.17%| unknown
8.66/8.70	c   8.7s|     1 |     0 | 21569 |     - |   181M |   0 |4873 |5304 |  11k|2852 | 30 | 308 |   0 | 1.150797e+01 | 2.200000e+01 |  91.17%| unknown
8.66/8.77	c   8.8s|     1 |     0 | 21572 |     - |   181M |   0 |4873 |5305 |  11k|2858 | 31 | 309 |   0 | 1.150797e+01 | 2.200000e+01 |  91.17%| unknown
8.76/8.85	c   8.8s|     1 |     0 | 21696 |     - |   181M |   0 |4873 |5309 |  11k|2860 | 32 | 316 |   0 | 1.150835e+01 | 2.200000e+01 |  91.17%| unknown
8.86/8.95	c   9.0s|     1 |     0 | 21810 |     - |   181M |   0 |4873 |5317 |  11k|2891 | 33 | 326 |   0 | 1.150847e+01 | 2.200000e+01 |  91.16%| unknown
8.97/9.05	c   9.0s|     1 |     0 | 21906 |     - |   181M |   0 |4873 |5316 |  11k|2923 | 34 | 327 |   0 | 1.150852e+01 | 2.200000e+01 |  91.16%| unknown
9.07/9.15	c   9.1s|     1 |     0 | 21990 |     - |   181M |   0 |4873 |5318 |  11k|2941 | 35 | 329 |   0 | 1.150863e+01 | 2.200000e+01 |  91.16%| unknown
9.16/9.26	c   9.3s|     1 |     0 | 22197 |     - |   181M |   0 |4873 |5323 |  11k|2959 | 36 | 334 |   0 | 1.150921e+01 | 2.200000e+01 |  91.15%| unknown
17.74/17.89	c  17.9s|     1 |     2 | 36871 |     - |   183M |   0 |4873 |5341 |  11k|2959 | 36 | 354 |  11 | 1.153145e+01 | 2.200000e+01 |  90.78%| unknown
495.43/496.78	c   497s|   100 |   101 |  1476k|14687.2 |   266M |  21 |4873 |7488 |  13k|  26k|  5 |2532 | 918 | 1.193334e+01 | 2.200000e+01 |  84.36%| unknown
996.62/999.19	c   999s|   200 |   201 |  2982k|14876.3 |   341M |  21 |4873 |7492 |  14k|  43k|  2 |2566 |1828 | 1.193334e+01 | 2.200000e+01 |  84.36%| unknown
1519.84/1523.63	c  1524s|   300 |   301 |  4525k|15061.5 |   406M |  21 |4873 |7575 |  14k|  59k|  2 |2682 |2862 | 1.212982e+01 | 2.200000e+01 |  81.37%| unknown
2036.08/2041.13	c  2041s|   400 |   401 |  6075k|15171.2 |   461M |  31 |4873 |8501 |  14k|  75k|  2 |3663 |3865 | 1.217341e+01 | 2.200000e+01 |  80.72%| unknown
2619.65/2626.14	c  2626s|   500 |   501 |  7924k|15836.5 |   528M |  31 |4873 |8773 |  14k|  92k|  2 |3991 |4719 | 1.240185e+01 | 2.200000e+01 |  77.39%| unknown
3227.77/3235.76	c  3236s|   600 |   601 | 10509k|17508.3 |   579M |  31 |4873 |  10k|  14k| 111k|  2 |5495 |4865 | 1.250111e+01 | 2.200000e+01 |  75.98%| unknown
3588.09/3597.00	c 
3588.09/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3588.09/3597.00	c Solving Time (sec) : 3597.00
3588.09/3597.00	c Solving Nodes      : 675
3588.09/3597.00	c Primal Bound       : +2.20000000000000e+01 (14 solutions)
3588.09/3597.00	c Dual Bound         : +1.26034099139821e+01
3588.09/3597.00	c Gap                : 74.56 %
3588.20/3597.00	s SATISFIABLE
3588.20/3597.00	v x1 x177 x350 x700 x857 -x926 -x953 -x980 -x1007 -x1034 x1061 -x1088 x10 -x1115 -x13 -x1127 -x16 -x1139 -x19 -x1151 -x22 -x1163 -x25
3588.20/3597.00	v -x1175 -x28 -x1187 -x31 -x1199 -x34 -x1211 -x37 -x1223 -x40 -x1235 -x43 -x1247 -x46 -x1259 -x49 -x1271 -x52 -x1283 -x55 -x1295 -x58
3588.20/3597.00	v -x1307 -x61 -x1319 -x64 -x1331 x67 -x1343 -x70 -x1355 -x1367 -x1369 -x1374 -x1376 -x1381 -x1383 -x1388 x1390 -x1395 -x1397 -x1402
3588.20/3597.00	v -x1404 -x1409 -x1411 -x1416 -x1418 -x1423 -x1425 -x1430 -x1432 -x1437 -x1439 -x1444 -x1446 -x1451 -x1453 -x1458 -x1460 -x1465 -x1467
3588.20/3597.00	v -x1472 -x1474 -x1479 -x1481 -x1486 -x1488 -x1493 -x1495 -x1500 -x1502 -x1507 -x1509 -x1514 -x1516 -x1521 -x1523 -x1528 -x1530 -x1535
3588.20/3597.00	v -x1537 -x1542 -x1544 -x1549 -x1551 -x1556 -x1558 -x1563 -x1565 -x1570 -x1572 -x1577 -x1579 -x1584 -x1586 x1591 -x1593 -x1598 -x1600
3588.20/3597.00	v -x1605 -x1607 -x1612 -x1639 -x1666 -x1693 -x1720 -x1747 x1774 -x186 -x1801 -x189 -x1813 -x192 -x1825 -x195 -x1837 -x198 -x1849 -x201
3588.20/3597.00	v -x1861 -x204 -x1873 -x207 -x1885 -x1897 -x212 -x1909 -x215 -x1921 -x1933 -x220 -x1945 -x223 -x1957 -x226 -x1969 -x229 -x1981 x232
3588.20/3597.00	v -x1993 -x2005 -x237 -x2017 -x240 -x2029 -x243 -x2041 -x2053 -x2055 -x2060 -x2062 -x2067 -x2069 -x2074 -x2076 -x2081 -x2083 -x2088
3588.20/3597.00	v -x2090 -x2095 -x2097 -x2102 -x2104 -x2109 -x2111 -x2116 -x2118 -x2123 -x2125 -x2130 -x2132 -x2137 -x2139 -x2144 -x2146 -x2151 -x2153
3588.20/3597.00	v -x2158 -x2160 -x2165 -x2167 -x2172 -x2174 -x2179 -x2181 -x2186 -x2188 -x2193 -x2195 -x2200 -x2202 -x2207 -x2209 -x2214 x2216 -x2221
3588.20/3597.00	v -x2223 -x2228 -x2230 x2235 -x2237 -x2242 -x2244 -x2249 -x2251 -x2256 -x2258 -x2263 -x2265 -x2270 -x2272 -x2277 -x2279 -x2284 -x2286
3588.20/3597.00	v -x2291 -x2293 -x2298 -x2356 -x2414 -x2472 -x2530 -x2588 -x2646 -x2704 -x2762 x362 -x2789 -x365 -x2816 -x368 -x2843 -x2870 -x373
3588.20/3597.00	v -x2897 -x2924 -x378 -x2951 -x2978 -x3005 -x3032 -x387 -x3059 -x390 -x3086 -x3113 -x395 -x3140 -x3167 -x400 -x3194 -x3221 -x3248
3588.20/3597.00	v -x3275 -x409 -x3302 -x412 -x3329 -x3356 -x3383 -x419 -x3410 -x422 -x3437 -x3464 -x427 -x3491 -x3518 -x3520 -x3532 -x3534 -x3546
3588.20/3597.00	v -x3548 -x3560 -x3572 -x3574 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684
3588.20/3597.00	v -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812
3588.20/3597.00	v -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 -x3880 -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950
3588.20/3597.00	v -x3952 -x3964 -x3966 -x3978 -x3980 -x3992 -x3994 -x4006 -x4008 -x4020 -x4022 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088
3588.20/3597.00	v -x4090 -x4102 -x4104 -x4116 -x4118 -x4130 -x4132 -x4144 -x4146 -x4158 -x4160 -x4172 -x4174 -x4186 -x4188 -x4200 -x4202 -x4214 -x4216
3588.20/3597.00	v -x4228 -x4230 -x4242 -x4244 -x4256 -x4258 -x4270 -x4272 -x4284 -x4286 -x4298 -x4303 -x4308 -x4313 -x4318 -x4323 -x4328 -x4333 -x4338
3588.20/3597.00	v -x4343 -x4348 -x4353 -x4358 -x4363 -x4368 -x4373 -x4378 -x4383 -x4388 -x4393 -x4398 -x4403 -x4408 -x4413 -x4418 -x4423 -x4428 -x4433
3588.20/3597.00	v -x4438 -x4443 -x4448 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513 -x4518 -x4523 x4528
3588.20/3597.00	v x4533 -x4538 -x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4593 -x4598 -x4603 -x4608 -x4613 -x4618 -x4623
3588.20/3597.00	v -x4628 -x4633 -x4638 -x4643 -x4648 x4675 -x4702 -x4729 -x4756 -x4783 -x4810 -x709 -x4837 -x4849 -x714 -x4861 -x4873 -x719 -x4885
3588.20/3597.00	v -x722 -x4897 -x4909 -x4921 -x4933 -x4945 -x4957 -x735 -x4969 -x4981 -x4993 -x5005 -x744 -x5017 -x747 -x5029 -x5041 -x5053 -x754
3588.20/3597.00	v -x5065 -x5077 -x5089 -x5091 -x5096 -x5098 -x5103 -x5105 -x5110 -x5112 -x5117 -x5119 -x5124 -x5126 -x5131 -x5133 -x5138 -x5140 -x5145
3588.20/3597.00	v -x5147 -x5152 -x5154 -x5156 -x5161 -x5163 -x5168 -x5170 -x5175 -x5177 -x5182 -x5184 -x5189 -x5191 -x5196 -x5198 -x5203 -x5208 -x5213
3588.20/3597.00	v -x5215 -x5220 -x5222 -x5227 x5229 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 x5272 -x5274 -x5279 -x5281
3588.20/3597.00	v -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 -x5331 x5343 -x5355 -x5367 -x5379 -x5391 -x5396 -x5401 -x5406
3588.20/3597.00	v -x5411 -x875 x5416 -x5421 -x880 -x5426 -x5431 -x885 -x5436 -x888 -x5441 -x891 -x5446 -x5451 -x5456 -x5461 -x5466 -x5468 -x5470 -x5472
3588.20/3597.00	v -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20
3588.20/3597.00	v -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59
3588.20/3597.00	v -x60 -x62 -x63 -x65 -x66 -x68 -x69 -x71 -x73 -x72 -x74 -x76 -x75 -x77 -x79 -x78 -x80 -x82 -x81 x83 -x85 -x84 -x86 -x88 -x87 -x89
3588.20/3597.00	v -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111
3588.20/3597.00	v -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134
3588.20/3597.00	v -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157
3588.20/3597.00	v -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x2 -x3 -x4
3588.20/3597.00	v -x5 -x6 x7 -x8 -x185 -x187 -x188 -x190 -x191 -x193 -x194 -x196 -x197 -x199 -x200 -x202 -x203 -x205 -x206 -x208 -x209 -x210 -x211
3588.20/3597.00	v -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x224 -x225 -x227 -x228 -x230 -x231 -x233 -x234 -x235 -x236 -x238 -x239 -x241 -x242
3588.20/3597.00	v -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265
3588.20/3597.00	v -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288
3588.20/3597.00	v -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308
3588.20/3597.00	v -x310 -x312 -x311 -x313 -x315 -x314 x316 -x318 -x317 -x319 -x321 -x320 -x322 x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331
3588.20/3597.00	v -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x178 -x179 -x180 -x181
3588.20/3597.00	v -x182 -x183 x184 -x359 -x360 -x361 -x363 -x364 -x366 -x367 -x369 -x370 -x371 -x372 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382
3588.20/3597.00	v -x383 -x384 -x385 -x386 -x388 -x389 -x391 -x392 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408
3588.20/3597.00	v -x410 -x411 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x421 -x423 -x424 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436
3588.20/3597.00	v -x435 -x437 -x438 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457
3588.20/3597.00	v -x459 -x458 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480
3588.20/3597.00	v -x479 -x481 -x483 -x482 -x484 -x486 -x485 -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500
3588.20/3597.00	v -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523
3588.20/3597.00	v -x525 -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x539 -x540 -x542 -x541 -x543 -x545 -x544
3588.20/3597.00	v -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567
3588.20/3597.00	v -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590
3588.20/3597.00	v -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610
3588.20/3597.00	v -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633
3588.20/3597.00	v -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656
3588.20/3597.00	v -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 x665 x664 x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676
3588.20/3597.00	v -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 -x698 -x697 -x699
3588.20/3597.00	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x708 -x710 -x711 -x712 -x713 -x715 -x716 -x717 -x718 -x720 -x721 -x723 -x724 -x725
3588.20/3597.00	v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x745 -x746 -x748 -x749 -x750
3588.20/3597.00	v -x751 -x752 -x753 -x755 -x756 -x757 -x759 -x758 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774
3588.20/3597.00	v -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x788 -x787 -x789 -x791 -x790 -x792 -x794 -x793 -x795
3588.20/3597.00	v -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x808 -x809 -x810 -x811 -x813 -x812 -x814 -x816 -x815 -x817
3588.20/3597.00	v -x819 -x818 x820 -x821 -x822 -x824 -x823 -x825 -x826 -x827 -x829 -x828 -x830 -x832 -x831 -x833 -x835 -x834 -x836 x838 -x837 -x839
3588.20/3597.00	v -x841 -x840 -x842 -x843 -x844 -x846 -x845 -x847 -x849 -x848 -x850 -x852 -x851 -x853 -x855 -x854 -x856 -x701 x702 -x703 -x704 -x705
3588.20/3597.00	v -x706 -x707 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x886
3588.20/3597.00	v -x887 -x889 -x890 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x900 -x899 -x902 -x901 -x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911
3588.20/3597.00	v -x910 -x912 -x914 -x913 -x916 -x915 -x917 -x919 -x918 -x920 -x921 -x922 -x924 -x923 -x925 -x858 -x859 x860 -x861 -x862 -x863 -x927
3588.20/3597.00	v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949
3588.20/3597.00	v -x950 -x951 -x952 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972
3588.20/3597.00	v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995
3588.20/3597.00	v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015
3588.20/3597.00	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1035
3588.20/3597.00	v -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054
3588.20/3597.00	v -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
3588.20/3597.00	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094
3588.20/3597.00	v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113
3588.20/3597.00	v -x1114 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134
3588.20/3597.00	v -x1135 -x1136 -x1137 -x1138 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1152 -x1153 -x1154 -x1155
3588.20/3597.00	v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1176
3588.20/3597.00	v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196
3588.20/3597.00	v -x1197 -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217
3588.20/3597.00	v -x1218 -x1219 -x1220 -x1221 -x1222 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1236 -x1237 -x1238
3588.20/3597.00	v -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258
3588.20/3597.00	v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279
3588.20/3597.00	v -x1280 -x1281 -x1282 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1296 -x1297 -x1298 -x1299 -x1300
3588.20/3597.00	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1320 -x1321
3588.20/3597.00	v -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341
3588.20/3597.00	v -x1342 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362
3588.20/3597.00	v -x1363 -x1364 -x1365 -x1366 x1368 x1370 -x1371 -x1372 -x1373 x1375 -x1377 -x1378 -x1379 -x1380 x1382 -x1384 -x1385 -x1386 -x1387
3588.20/3597.00	v x1389 x1391 -x1392 -x1393 -x1394 x1396 -x1398 -x1399 -x1400 -x1401 -x1403 -x1405 -x1406 -x1407 -x1408 -x1410 -x1412 -x1413 -x1414
3588.20/3597.00	v -x1415 -x1417 x1419 -x1420 -x1421 -x1422 -x1424 -x1426 -x1427 -x1428 -x1429 -x1431 -x1433 -x1434 -x1435 -x1436 -x1438 -x1440 -x1441
3588.20/3597.00	v -x1442 -x1443 -x1445 -x1447 -x1448 -x1449 -x1450 -x1452 -x1454 -x1455 -x1456 -x1457 x1459 -x1461 -x1462 -x1463 -x1464 -x1466 -x1468
3588.20/3597.00	v -x1469 -x1470 -x1471 -x1473 -x1475 -x1476 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 -x1485 -x1487 x1489 -x1490 -x1491 -x1492 -x1494
3588.20/3597.00	v -x1496 -x1497 -x1498 -x1499 -x1501 -x1503 -x1504 -x1505 -x1506 -x1508 -x1510 -x1511 -x1512 -x1513 -x1515 -x1517 -x1518 -x1519 -x1520
3588.20/3597.00	v -x1522 -x1524 -x1525 -x1526 -x1527 x1529 -x1531 -x1532 -x1533 -x1534 -x1536 -x1538 -x1539 -x1540 -x1541 -x1543 -x1545 -x1546 -x1547
3588.20/3597.00	v -x1548 -x1550 x1552 x1553 -x1554 -x1555 -x1557 -x1559 -x1560 -x1561 -x1562 -x1564 -x1566 -x1567 -x1568 -x1569 x1571 -x1573 -x1574
3588.20/3597.00	v -x1575 -x1576 -x1578 -x1580 -x1581 -x1582 -x1583 -x1585 -x1587 -x1588 -x1589 -x1590 x1592 -x1594 -x1595 -x1596 -x1597 -x1599 -x1601
3588.20/3597.00	v -x1602 -x1603 -x1604 x1606 -x1608 -x1609 -x1610 -x1611 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623
3588.20/3597.00	v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1640 -x1641 -x1642 -x1643
3588.20/3597.00	v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662
3588.20/3597.00	v -x1663 -x1664 -x1665 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682
3588.20/3597.00	v -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702
3588.20/3597.00	v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1721 -x1722
3588.20/3597.00	v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741
3588.20/3597.00	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761
3588.20/3597.00	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781
3588.20/3597.00	v -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
3588.20/3597.00	v -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
3588.20/3597.00	v -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1838 -x1839 -x1840 -x1841 -x1842
3588.20/3597.00	v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1862 -x1863
3588.20/3597.00	v -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883
3588.20/3597.00	v -x1884 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904
3588.20/3597.00	v -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1922 -x1923 -x1924 -x1925
3588.20/3597.00	v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1946
3588.20/3597.00	v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966
3588.20/3597.00	v -x1967 -x1968 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987
3588.20/3597.00	v -x1988 -x1989 -x1990 -x1991 -x1992 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2006 -x2007 -x2008
3588.20/3597.00	v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028
3588.20/3597.00	v x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049
3588.20/3597.00	v -x2050 -x2051 -x2052 -x2054 -x2056 -x2057 -x2058 -x2059 -x2061 -x2063 -x2064 -x2065 -x2066 x2068 x2070 -x2071 -x2072 -x2073 -x2075
3588.20/3597.00	v -x2077 -x2078 -x2079 -x2080 -x2082 x2084 -x2085 -x2086 -x2087 -x2089 -x2091 -x2092 -x2093 -x2094 -x2096 -x2098 -x2099 -x2100 -x2101
3588.20/3597.00	v -x2103 -x2105 -x2106 -x2107 -x2108 -x2110 x2112 -x2113 x2114 -x2115 -x2117 -x2119 -x2120 -x2121 -x2122 x2124 -x2126 -x2127 -x2128
3588.20/3597.00	v -x2129 -x2131 -x2133 -x2134 -x2135 -x2136 -x2138 -x2140 -x2141 -x2142 -x2143 -x2145 x2147 -x2148 -x2149 -x2150 -x2152 -x2154 -x2155
3588.20/3597.00	v -x2156 -x2157 -x2159 -x2161 -x2162 -x2163 -x2164 x2166 -x2168 -x2169 -x2170 -x2171 -x2173 -x2175 -x2176 -x2177 -x2178 -x2180 -x2182
3588.20/3597.00	v -x2183 -x2184 -x2185 x2187 -x2189 -x2190 -x2191 -x2192 x2194 -x2196 -x2197 -x2198 -x2199 -x2201 -x2203 -x2204 -x2205 -x2206 x2208
3588.20/3597.00	v -x2210 -x2211 -x2212 -x2213 x2215 x2217 -x2218 -x2219 -x2220 -x2222 -x2224 -x2225 -x2226 -x2227 -x2229 -x2231 -x2232 -x2233 -x2234
3588.20/3597.00	v x2236 -x2238 -x2239 -x2240 -x2241 -x2243 -x2245 -x2246 -x2247 -x2248 -x2250 -x2252 -x2253 -x2254 -x2255 -x2257 -x2259 -x2260 -x2261
3588.20/3597.00	v -x2262 -x2264 -x2266 -x2267 -x2268 -x2269 x2271 -x2273 -x2274 -x2275 -x2276 -x2278 -x2280 -x2281 -x2282 -x2283 x2285 -x2287 -x2288
3588.20/3597.00	v -x2289 -x2290 -x2292 -x2294 -x2295 -x2296 -x2297 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
3588.20/3597.00	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329
3588.20/3597.00	v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348
3588.20/3597.00	v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368
3588.20/3597.00	v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387
3588.20/3597.00	v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406
3588.20/3597.00	v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426
3588.20/3597.00	v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445
3588.20/3597.00	v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464
3588.20/3597.00	v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484
3588.20/3597.00	v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503
3588.20/3597.00	v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522
3588.20/3597.00	v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542
3588.20/3597.00	v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561
3588.20/3597.00	v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
3588.20/3597.00	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
3588.20/3597.00	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619
3588.20/3597.00	v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638
3588.20/3597.00	v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658
3588.20/3597.00	v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677
3588.20/3597.00	v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696
3588.20/3597.00	v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716
3588.20/3597.00	v -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735
3588.20/3597.00	v -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754
3588.20/3597.00	v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774
3588.20/3597.00	v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2790 -x2791 -x2792 -x2793 -x2794
3588.20/3597.00	v -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813
3588.20/3597.00	v -x2814 -x2815 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833
3588.20/3597.00	v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853
3588.20/3597.00	v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2871 -x2872 -x2873
3588.20/3597.00	v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892
3588.20/3597.00	v -x2893 -x2894 -x2895 -x2896 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912
3588.20/3597.00	v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932
3588.20/3597.00	v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2952
3588.20/3597.00	v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971
3588.20/3597.00	v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991
3588.20/3597.00	v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011
3588.20/3597.00	v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
3588.20/3597.00	v -x3031 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
3588.20/3597.00	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
3588.20/3597.00	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3087 -x3088 -x3089 -x3090
3588.20/3597.00	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109
3588.20/3597.00	v -x3110 -x3111 -x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129
3588.20/3597.00	v -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149
3588.20/3597.00	v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169
3588.20/3597.00	v -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188
3588.20/3597.00	v -x3189 -x3190 -x3191 -x3192 -x3193 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208
3588.20/3597.00	v -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228
3588.20/3597.00	v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247
3588.20/3597.00	v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267
3588.20/3597.00	v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287
3588.20/3597.00	v -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3307
3588.20/3597.00	v -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326
3588.20/3597.00	v -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346
3588.20/3597.00	v -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366
3588.20/3597.00	v -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3384 -x3385 -x3386
3588.20/3597.00	v -x3387 -x3388 -x3389 -x3390 x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405
3588.20/3597.00	v -x3406 -x3407 -x3408 -x3409 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425
3588.20/3597.00	v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445
3588.20/3597.00	v -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 x3465
3588.20/3597.00	v -x3466 x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484
3588.20/3597.00	v -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504
3588.20/3597.00	v -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 x3519 -x3521 -x3522 -x3523 -x3524 -x3525
3588.20/3597.00	v -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3533 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3547
3588.20/3597.00	v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568
3588.20/3597.00	v -x3569 -x3570 -x3571 x3573 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3587 -x3589 -x3590 -x3591
3588.20/3597.00	v -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612
3588.20/3597.00	v -x3613 x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3629 x3631 -x3632 -x3633 -x3634 -x3635
3588.20/3597.00	v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3657
3588.20/3597.00	v x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3671 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679
3588.20/3597.00	v -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3699 -x3701 -x3702
3588.20/3597.00	v -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723
3588.20/3597.00	v -x3724 -x3725 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3741 -x3743 -x3744 -x3745 -x3746
3588.20/3597.00	v -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767
3588.20/3597.00	v -x3769 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 x3783 x3785 -x3786 -x3787 -x3788 -x3789 -x3790
3588.20/3597.00	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3811 -x3813
3588.20/3597.00	v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834
3588.20/3597.00	v -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857
3588.20/3597.00	v -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878
3588.20/3597.00	v -x3879 x3881 x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 x3895 -x3897 -x3898 -x3899 -x3900 -x3901
3588.20/3597.00	v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 x3909 x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 x3923
3588.20/3597.00	v -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945
3588.20/3597.00	v -x3946 -x3947 -x3948 -x3949 x3951 x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3965 -x3967 -x3968
3588.20/3597.00	v -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989
3588.20/3597.00	v -x3990 -x3991 x3993 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4007 -x4009 -x4010 -x4011 -x4012
3588.20/3597.00	v -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 x4021 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033
3588.20/3597.00	v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 x4047 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055
3588.20/3597.00	v -x4056 -x4057 -x4058 -x4059 x4061 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4075 -x4077 -x4078
3588.20/3597.00	v -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099
3588.20/3597.00	v -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4117 -x4119 -x4120 -x4121 -x4122
3588.20/3597.00	v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4131 x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143
3588.20/3597.00	v -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166
3588.20/3597.00	v -x4167 -x4168 -x4169 -x4170 -x4171 x4173 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4187 -x4189
3588.20/3597.00	v -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4201 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210
3588.20/3597.00	v -x4211 -x4212 -x4213 x4215 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4229 -x4231 -x4232 -x4233
3588.20/3597.00	v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 x4243 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254
3588.20/3597.00	v -x4255 x4257 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4271 -x4273 -x4274 -x4275 -x4276 -x4277
3588.20/3597.00	v -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 x4285 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 x4299
3588.20/3597.00	v x4300 x4301 -x4302 x4304 -x4305 x4306 -x4307 -x4309 -x4310 -x4311 -x4312 -x4314 -x4315 -x4316 -x4317 -x4319 -x4320 -x4321 -x4322
3588.20/3597.00	v -x4324 -x4325 -x4326 -x4327 -x4329 -x4330 -x4331 -x4332 -x4334 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346
3588.20/3597.00	v -x4347 -x4349 -x4350 -x4351 -x4352 -x4354 -x4355 -x4356 -x4357 -x4359 -x4360 -x4361 -x4362 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370
3588.20/3597.00	v -x4371 -x4372 -x4374 -x4375 -x4376 -x4377 -x4379 -x4380 -x4381 -x4382 -x4384 -x4385 -x4386 -x4387 -x4389 -x4390 -x4391 -x4392 -x4394
3588.20/3597.00	v -x4395 -x4396 -x4397 x4399 x4400 -x4401 -x4402 x4404 x4405 -x4406 -x4407 -x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417
3588.20/3597.00	v -x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 x4429 x4430 -x4431 -x4432 x4434 x4435 -x4436 -x4437 -x4439 -x4440 -x4441
3588.20/3597.00	v -x4442 -x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461 -x4462 -x4464 -x4465
3588.20/3597.00	v -x4466 -x4467 -x4469 -x4470 -x4471 -x4472 -x4474 -x4475 -x4476 -x4477 -x4479 -x4480 -x4481 -x4482 -x4484 -x4485 -x4486 -x4487 -x4489
3588.20/3597.00	v -x4490 -x4491 -x4492 -x4494 -x4495 -x4496 -x4497 x4499 x4500 -x4501 -x4502 x4504 x4505 -x4506 -x4507 -x4509 -x4510 -x4511 -x4512
3588.20/3597.00	v -x4514 -x4515 -x4516 -x4517 -x4519 -x4520 -x4521 -x4522 -x4524 -x4525 -x4526 -x4527 x4529 x4530 -x4531 -x4532 x4534 x4535 -x4536
3588.20/3597.00	v -x4537 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4549 -x4550 -x4551 -x4552 -x4554 -x4555 -x4556 -x4557 -x4559 -x4560
3588.20/3597.00	v -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4579 -x4580 -x4581 -x4582 -x4584
3588.20/3597.00	v -x4585 -x4586 -x4587 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4604 -x4605 -x4606 -x4607
3588.20/3597.00	v -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626 -x4627 -x4629 -x4630 -x4631
3588.20/3597.00	v -x4632 -x4634 -x4635 -x4636 -x4637 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654
3588.20/3597.00	v -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673
3588.20/3597.00	v -x4674 x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 x4688 -x4689 -x4690 -x4691 -x4692 -x4693
3588.20/3597.00	v -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713
3588.20/3597.00	v -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4730 -x4731 -x4732 -x4733
3588.20/3597.00	v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752
3588.20/3597.00	v -x4753 -x4754 -x4755 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772
3588.20/3597.00	v -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792
3588.20/3597.00	v -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4811 -x4812
3588.20/3597.00	v -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831
3588.20/3597.00	v -x4832 -x4833 -x4834 -x4835 -x4836 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 x4845 -x4846 -x4847 -x4848 -x4850 -x4851 -x4852
3588.20/3597.00	v -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872
3588.20/3597.00	v -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893
3588.20/3597.00	v -x4894 -x4895 -x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914
3588.20/3597.00	v -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4934 -x4935
3588.20/3597.00	v -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955
3588.20/3597.00	v -x4956 x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976
3588.20/3597.00	v -x4977 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4994 -x4995 -x4996 -x4997
3588.20/3597.00	v -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5018
3588.20/3597.00	v -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038
3588.20/3597.00	v -x5039 -x5040 x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059
3588.20/3597.00	v -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080
3588.20/3597.00	v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 -x5092 -x5093 -x5094 -x5095 -x5097 x5099 -x5100 -x5101 -x5102 -x5104
3588.20/3597.00	v x5106 -x5107 x5108 -x5109 -x5111 -x5113 -x5114 -x5115 -x5116 -x5118 x5120 -x5121 -x5122 -x5123 -x5125 -x5127 -x5128 -x5129 -x5130
3588.20/3597.00	v -x5132 -x5134 -x5135 -x5136 -x5137 x5139 -x5141 -x5142 -x5143 -x5144 -x5146 -x5148 -x5149 -x5150 -x5151 -x5153 -x5155 -x5157 -x5158
3588.20/3597.00	v -x5159 -x5160 x5162 x5164 -x5165 -x5166 -x5167 -x5169 -x5171 -x5172 -x5173 -x5174 -x5176 -x5178 -x5179 -x5180 -x5181 -x5183 -x5185
3588.20/3597.00	v -x5186 -x5187 -x5188 -x5190 -x5192 -x5193 -x5194 -x5195 -x5197 -x5199 -x5200 -x5201 -x5202 -x5204 -x5205 -x5206 -x5207 -x5209 -x5210
3588.20/3597.00	v -x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5223 -x5224 -x5225 -x5226 x5228 x5230 -x5231 -x5232 -x5233 -x5235 -x5236
3588.20/3597.00	v -x5237 -x5238 -x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5254 -x5255 -x5256 -x5257 x5259 -x5261 -x5262
3588.20/3597.00	v -x5263 -x5264 x5266 -x5268 -x5269 -x5270 -x5271 x5273 -x5275 -x5276 -x5277 -x5278 -x5280 -x5282 -x5283 -x5284 -x5285 -x5287 -x5288
3588.20/3597.00	v -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 x5299 -x5301 -x5302 -x5303 -x5304 x5306 -x5308 -x5309 -x5310 -x5311 -x5313 -x5315
3588.20/3597.00	v -x5316 -x5317 -x5318 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5332 -x5333 -x5334 -x5335 -x5336
3588.20/3597.00	v -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5356 -x5357
3588.20/3597.00	v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377
3588.20/3597.00	v -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5392 -x5393 -x5394 -x5395 x5397 -x5398 -x5399
3588.20/3597.00	v -x5400 -x5402 -x5403 -x5404 -x5405 -x5407 -x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 x5417 -x5418 -x5419 -x5420 -x5422 -x5423
3588.20/3597.00	v -x5424 -x5425 -x5427 -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 -x5437 -x5438 -x5439 -x5440 -x5442 -x5443 -x5444 -x5445 -x5447
3588.20/3597.00	v -x5448 -x5449 -x5450 -x5452 -x5453 -x5454 -x5455 -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 -x5464 -x5465 -x5467 -x5469 -x5471 -x5473
3588.20/3597.00	v x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499
3588.20/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3588.20/3597.00	c Total Time         :    3597.00
3588.20/3597.00	c   solving          :    3597.00
3588.20/3597.00	c   presolving       :       0.26 (included in solving)
3588.20/3597.00	c   reading          :       0.03 (included in solving)
3588.20/3597.00	c   copying          :       0.18 (11 #copies) (minimal 0.01, maximal 0.02, average 0.02)
3588.20/3597.00	c Original Problem   :
3588.20/3597.00	c   Problem name     : HOME/instance-4497755-1751403142.opb
3588.20/3597.00	c   Variables        : 5499 (5499 binary, 0 integer, 0 continuous)
3588.20/3597.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3588.20/3597.00	c   Constraints      : 19319 initial, 19319 maximal
3588.20/3597.00	c   Objective        : minimize, 613 non-zeros (abs.min = 1, abs.max = 1)
3588.20/3597.00	c Presolved Problem  :
3588.20/3597.00	c   Problem name     : t_HOME/instance-4497755-1751403142.opb
3588.20/3597.00	c   Variables        : 4873 (4873 binary, 0 integer, 0 continuous)
3588.20/3597.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3588.20/3597.00	c   Constraints      : 4813 initial, 10329 maximal
3588.20/3597.00	c   Objective        : minimize, 608 non-zeros (abs.min = 1, abs.max = 1)
3588.20/3597.00	c   Nonzeros         : 19482 constraint, 27440 clique table
3588.20/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3588.20/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   gateextraction   :       0.04       0.00      3          0          0          0          0          0      17664       4338          0          0
3588.20/3597.00	c   implics          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   milp             :       0.04       0.00      1          0          6          0          0          0          0          0          0          0
3588.20/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   trivial          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   dualfix          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   probing          :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   symmetry         :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   knapsack         :       0.01       0.00      8          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   setppc           :       0.02       0.00      8          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   and              :       0.02       0.00      4          0         73          0          0          0         73          0          0          0
3588.20/3597.00	c   linear           :       0.06       0.01      5          5        542          0          5          0       1107          0          6          6
3588.20/3597.00	c   logicor          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3588.20/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3588.20/3597.00	c   integral         :          0          0          0          0        675          0          0        213          0          0          1          0          0          0       1348
3588.20/3597.00	c   knapsack         :          1+         2          0      52535          0          0          0        207       1459        310          0          0          0          0          0
3588.20/3597.00	c   setppc           :        542        542         36      52233          0          0          0        132       7515         37        605          0          0          0          0
3588.20/3597.00	c   and              :       4265       4265       2319      52200          0          0          0         21      67105        288      28720     265562      90244          0          0
3588.20/3597.00	c   linear           :          0+       204         36      48016          0          0          0          3         26          9          0         65         14          0          0
3588.20/3597.00	c   logicor          :          5+      5326         36      13686          0          0          0         15        334         47         29        212         35          0          0
3588.20/3597.00	c   fixedvar         :          0          0          0          0          0          0          0         16          0          0          0          0          0          0          0
3588.20/3597.00	c   countsols        :          0          0          0          0          0          0          0         16          0          0          0          0          0          0          0
3588.20/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.20/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3588.20/3597.00	c   integral         :     983.04       0.00       0.00       0.00     983.03       0.00       0.00       0.00       0.00       0.00
3588.20/3597.00	c   knapsack         :       0.21       0.00       0.00       0.19       0.00       0.00       0.00       0.00       0.01       0.01
3588.20/3597.00	c   setppc           :       0.13       0.00       0.00       0.10       0.00       0.00       0.00       0.01       0.00       0.03
3588.20/3597.00	c   and              :       6.62       0.00       2.69       1.43       0.00       0.00       0.00       0.01       0.02       2.48
3588.20/3597.00	c   linear           :       0.31       0.01       0.20       0.05       0.00       0.00       0.00       0.00       0.00       0.04
3588.20/3597.00	c   logicor          :       0.24       0.00       0.01       0.19       0.00       0.00       0.00       0.00       0.00       0.04
3588.20/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.20/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.20/3597.00	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.20/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3588.20/3597.00	c   dualfix          :          2          0          0          0
3588.20/3597.00	c   genvbounds       :          0          0          0          0
3588.20/3597.00	c   nlobbt           :          0          0          0          0
3588.20/3597.00	c   obbt             :          0          0          0          0
3588.20/3597.00	c   probing          :          0          0          0          0
3588.20/3597.00	c   pseudoobj        :       3178          0          0          0
3588.20/3597.00	c   redcost          :       4322          0          0          0
3588.20/3597.00	c   rootredcost      :          1          0          0          0
3588.20/3597.00	c   symmetry         :          0          0          0          0
3588.20/3597.00	c   vbounds          :      33606          0          0          0
3588.20/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3588.20/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3588.20/3597.00	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3588.20/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3588.20/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3588.20/3597.00	c   probing          :       0.03       0.00       0.03       0.00       0.00       0.00
3588.20/3597.00	c   pseudoobj        :       0.02       0.00       0.00       0.01       0.00       0.00
3588.20/3597.00	c   redcost          :       0.35       0.00       0.00       0.35       0.00       0.00
3588.20/3597.00	c   rootredcost      :       0.01       0.00       0.00       0.00       0.00       0.00
3588.20/3597.00	c   symmetry         :       0.04       0.00       0.03       0.00       0.00       0.01
3588.20/3597.00	c   vbounds          :       0.04       0.00       0.00       0.02       0.00       0.01
3588.20/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3588.20/3597.00	c   propagation      :       0.15        686        686          -       9384      159.1         39       99.6          -          -          -
3588.20/3597.00	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3588.20/3597.01	c   bound exceed. LP :       0.34         79         14          -        443     1013.2          2       35.0         10      594.0        720
3588.20/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3588.20/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3588.20/3597.01	c   applied globally :       0.05          -          -          0       5807       42.5          -          -         10          -          -
3588.20/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3588.20/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3588.20/3597.01	c   cut pool         :       0.80          -       1160         71          -          -      20259      73520          -          -          -          -          -    (maximal pool size:       7183)
3588.20/3597.01	c   aggregation      :       1.19       0.00        410         36          0          0         25        186          0         24         24          0          0
3588.20/3597.01	c   > cmir           :          -          -          -          -          -          -          -        167          0         20         20          0          -
3588.20/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.20/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -         19          0          4          4          0          -
3588.20/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   clique           :       0.36       0.00         36         36          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   gomory           :     209.13       0.00        278         10          0          0       2940       7937          0        493        493          0          0
3588.20/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -       4741          0        403        403          0          -
3588.20/3597.01	c   > strongcg       :          -          -          -          -          -          -          -       3196          0         90         90          0          -
3588.20/3597.01	c   impliedbounds    :       0.27       0.00        411         36          0          0      16663      54751          0      30506      30506          0          0
3588.20/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   multilinear      :       0.01       0.00        181         36          0          0         26        149          0         82         82          0          0
3588.20/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   rapidlearning    :       0.29       0.00          1          1          0          0          0          0          0          0          0          0        200
3588.20/3597.01	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
3588.20/3597.01	c   zerohalf         :       6.19       0.00        287         20          0          0        605      10497          0       2110       2110          0          0
3588.20/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3588.20/3597.01	c   hybrid           :       0.50       0.00       2301         36     123529          0     215830       2959          0       9922
3588.20/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3588.20/3597.01	c   problem variables:       0.00          -          0          0
3588.20/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3588.20/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c   relpscost        :     983.03       0.00        675          0          0          0          1          0          0       1348
3588.20/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3588.20/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3588.20/3597.01	c   LP solutions     :       0.00          -          -          0          0
3588.20/3597.01	c   relax solutions  :       0.00          -          -          0          0
3588.20/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3588.20/3597.01	c   strong branching :       0.01          -          -          0          0
3588.20/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3588.20/3597.01	c   adaptivediving   :      27.29       0.00          7          0          0
3588.20/3597.01	c   alns             :       0.65       0.00          3          0          0
3588.20/3597.01	c   bound            :       0.00       0.00          0          0          0
3588.20/3597.01	c   clique           :       0.04       0.00          1          0          0
3588.20/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3588.20/3597.01	c   completesol      :       0.00       0.00          0          0          0
3588.20/3597.01	c   conflictdiving   :       6.96       0.00          6          0          0
3588.20/3597.01	c   crossover        :       0.12       0.00          2          1          0
3588.20/3597.01	c   dins             :       0.00       0.00          0          0          0
3588.20/3597.01	c   distributiondivin:      26.25       0.00          6          0          0
3588.20/3597.01	c   dks              :       0.00       0.00          0          0          0
3588.20/3597.01	c   dps              :       0.00       0.00          0          0          0
3588.20/3597.01	c   dualval          :       0.00       0.00          0          0          0
3588.20/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3588.20/3597.01	c   feaspump         :       2.44       0.00          1          0          0
3588.20/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3588.20/3597.01	c   fracdiving       :      15.69       0.00          6          0          0
3588.20/3597.01	c   gins             :       0.00       0.00          0          0          0
3588.20/3597.01	c   guideddiving     :      11.16       0.00          6          0          0
3588.20/3597.01	c   indicator        :       0.00       0.00          0          0          0
3588.20/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3588.20/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3588.20/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3588.20/3597.01	c   linesearchdiving :       8.73       0.00          6          0          0
3588.20/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3588.20/3597.01	c   locks            :       0.02       0.00          1          0          0
3588.20/3597.01	c   lpface           :       0.00       0.00          0          0          0
3588.20/3597.01	c   mpec             :       0.00       0.00          0          0          0
3588.20/3597.01	c   multistart       :       0.00       0.00          0          0          0
3588.20/3597.01	c   mutation         :       0.00       0.00          0          0          0
3588.20/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3588.20/3597.01	c   objpscostdiving  :     138.48       0.00          3          0          0
3588.20/3597.01	c   octane           :       0.00       0.00          0          0          0
3588.20/3597.01	c   ofins            :       0.00       0.00          0          0          0
3588.20/3597.01	c   oneopt           :       0.00       0.00          1          0          0
3588.20/3597.01	c   padm             :       0.00       0.00          0          0          0
3588.20/3597.01	c   proximity        :       0.00       0.00          0          0          0
3588.20/3597.01	c   pscostdiving     :      40.16       0.00          6          0          0
3588.20/3597.01	c   randrounding     :       0.64       0.00        148          0          0
3588.20/3597.01	c   rens             :       2.93       0.00          1          1          0
3588.20/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3588.20/3597.01	c   repair           :       0.00       0.00          0          0          0
3588.20/3597.01	c   rins             :       6.46       0.00          4          1          0
3588.20/3597.01	c   rootsoldiving    :       8.13       0.00          3          0          0
3588.20/3597.01	c   rounding         :       0.61       0.00        718          0          0
3588.20/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3588.20/3597.01	c   shiftandpropagate:       0.00       0.00          0          0          0
3588.20/3597.01	c   shifting         :       1.99       0.00        827         10          0
3588.20/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3588.20/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3588.20/3597.01	c   trivial          :       0.00       0.00          2          0          0
3588.20/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3588.20/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3588.20/3597.01	c   trysol           :       0.00       0.00          0          0          0
3588.20/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3588.20/3597.01	c   undercover       :       0.07       0.00          1          0          0
3588.20/3597.01	c   vbounds          :       0.19       0.00          1          1          1
3588.20/3597.01	c   veclendiving     :       0.46       0.00          6          0          0
3588.20/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3588.20/3597.01	c   zirounding       :       0.58       0.00        674          0          0
3588.20/3597.01	c   other solutions  :          -          -          -          0          -
3588.20/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
3588.20/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
3588.20/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
3588.20/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
3588.20/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
3588.20/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
3588.20/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
3588.20/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
3588.20/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
3588.20/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
3588.20/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3588.20/3597.01	c   primal LP        :       1.06        194          0       0.00       0.00       1.06        194
3588.20/3597.01	c   dual LP          :    2083.19       2976   10043211    3374.73    4821.08       0.00          0
3588.20/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3588.20/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3588.20/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3588.20/3597.01	c   diving/probing LP:     310.46       1738    1713103     985.67    5518.02
3588.20/3597.01	c   strong branching :     938.44       5289    4077934     771.02    4345.43          -          -       7492
3588.20/3597.01	c     (at root node) :          -         11       9973     906.64          -
3588.20/3597.01	c   conflict analysis:       0.17         72        720      10.00    4240.26
3588.20/3597.01	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3588.20/3597.01	c   benders          :       0.00          0          0          0       0.00          0          0          0
3588.20/3597.01	c B&B Tree           :
3588.20/3597.01	c   number of runs   :          1
3588.20/3597.01	c   nodes            :        675 (674 internal, 1 leaves)
3588.20/3597.01	c   feasible leaves  :          0
3588.20/3597.01	c   infeas. leaves   :          0
3588.20/3597.01	c   objective leaves :          0
3588.20/3597.01	c   nodes (total)    :        675 (674 internal, 1 leaves)
3588.20/3597.01	c   nodes left       :        675
3588.20/3597.01	c   max depth        :         31
3588.20/3597.01	c   max depth (total):         31
3588.20/3597.01	c   backtracks       :        110 (16.3%)
3588.20/3597.01	c   early backtracks :          0 (0.0%)
3588.20/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3588.20/3597.01	c   delayed cutoffs  :          0
3588.20/3597.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3588.20/3597.01	c   avg switch length:       4.12
3588.20/3597.01	c   switching time   :       0.82
3588.20/3597.01	c Root Node          :
3588.20/3597.01	c   First LP value   : +7.75000000000000e+00
3588.20/3597.01	c   First LP Iters   :        426 (22565.95 Iter/sec)
3588.20/3597.01	c   First LP Time    :       0.02
3588.20/3597.01	c   Final Dual Bound : +1.15314495214169e+01
3588.20/3597.01	c   Final Root Iters :      22197
3588.20/3597.01	c   Root LP Estimate : +1.48519347632222e+01
3588.20/3597.01	c Solution           :
3588.20/3597.01	c   Solutions found  :         14 (1 improvements)
3588.20/3597.01	c   First Solution   : +2.20000000000000e+01   (in run 1, after 1 nodes, 0.48 seconds, depth 2924, found by <vbounds>)
3588.20/3597.01	c   Gap First Sol.   :     340.00 %
3588.20/3597.01	c   Gap Last Sol.    :     340.00 %
3588.20/3597.01	c   Primal Bound     : +2.20000000000000e+01   (in run 1, after 1 nodes, 0.48 seconds, depth 2924, found by <vbounds>)
3588.20/3597.01	c   Dual Bound       : +1.26034099139821e+01
3588.20/3597.01	c   Gap              :      74.56 %
3588.20/3597.01	c Integrals          :      Total       Avg%
3588.20/3597.01	c   primal-dual      :  160824.82      44.71
3588.20/3597.01	c   primal-ref       :          -          - (not evaluated)
3588.20/3597.01	c   dual-ref         :          -          - (not evaluated)
3588.20/3597.10	c Time complete (sec):   3588.308

Verifier Data 

OK	22

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-4497755-1751403142/watcher-4497755-1751403142 -o /tmp/evaluation-result-4497755-1751403142/solver-4497755-1751403142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751403142-62244 --watchdog 3760 pbsolver -f HOME/instance-4497755-1751403142.opb -t 3600 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=62290, runsolver pid=62285

[startup+0.100063 s]*
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121784604/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=65688 memory=54132 CPUtime=0.1 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 11418 0 0 0 8 2 0 0 20 0 1 0 55992057 67264512 13533 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 16422 13533 2432 2575 0 13329 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 65688 KiB
Current children cumulated memory: 54132 KiB

[startup+0.205827 s]*
/proc/loadavg: 0.50 0.97 1.67 6/265 62303
/proc/meminfo: memFree=121716328/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=73296 memory=63660 CPUtime=0.2 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 16058 0 0 0 18 2 0 0 20 0 1 0 55992057 75055104 15915 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 18324 15915 2560 2575 0 15231 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 73296 KiB
Current children cumulated memory: 63660 KiB

[startup+0.305832 s]*
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121684496/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=95776 memory=78696 CPUtime=0.29 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 19291 0 0 0 27 2 0 0 20 0 1 0 55992057 98074624 19674 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 23944 19674 2592 2575 0 20851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 95776 KiB
Current children cumulated memory: 78696 KiB

[startup+0.700152 s]
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121589492/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=153260 memory=135596 CPUtime=0.68 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 35475 0 0 0 63 5 0 0 20 0 1 0 55992057 156938240 33899 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 38315 33899 2688 2575 0 35222 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 153260 KiB
Current children cumulated memory: 135596 KiB

[startup+1.50016 s]
/proc/loadavg: 0.50 0.97 1.67 5/265 62303
/proc/meminfo: memFree=121441320/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=173916 memory=155820 CPUtime=1.48 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 40558 0 0 0 142 6 0 0 20 0 1 0 55992057 178089984 38955 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 43479 38955 2688 2575 0 40386 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 173916 KiB
Current children cumulated memory: 155820 KiB

[startup+3.10554 s]
/proc/loadavg: 0.78 1.02 1.69 5/265 62303
/proc/meminfo: memFree=121284744/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=173916 memory=158252 CPUtime=3.08 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 41164 0 0 0 302 6 0 0 20 0 1 0 55992057 178089984 39563 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 43479 39563 2688 2575 0 40386 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 173916 KiB
Current children cumulated memory: 158252 KiB

[startup+6.30018 s]
/proc/loadavg: 0.78 1.02 1.69 5/267 62305
/proc/meminfo: memFree=121188128/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=215580 memory=187436 CPUtime=6.27 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 48479 0 0 0 619 8 0 0 20 0 1 0 55992057 220753920 46859 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 53895 46859 2688 2575 0 50802 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 215580 KiB
Current children cumulated memory: 187436 KiB

[startup+12.7002 s]
/proc/loadavg: 1.27 1.12 1.71 5/267 62305
/proc/meminfo: memFree=121132548/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=258140 memory=226988 CPUtime=12.65 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 58379 0 0 0 1255 10 0 0 20 0 1 0 55992057 264335360 56747 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 64535 56747 2688 2575 0 61442 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 258140 KiB
Current children cumulated memory: 226988 KiB

[startup+25.5002 s]
/proc/loadavg: 1.69 1.21 1.74 5/267 62305
/proc/meminfo: memFree=121020984/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=262220 memory=232620 CPUtime=25.42 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 59794 0 0 0 2532 10 0 0 20 0 1 0 55992057 268513280 58155 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 65555 58155 2688 2575 0 62462 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 262220 KiB
Current children cumulated memory: 232620 KiB

[startup+51.1056 s]
/proc/loadavg: 2.48 1.44 1.80 5/267 62305
/proc/meminfo: memFree=120957408/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=262220 memory=234156 CPUtime=50.95 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 59987 0 0 0 5085 10 0 0 20 0 1 0 55992057 268513280 58539 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 65555 58539 2688 2575 0 62462 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 262220 KiB
Current children cumulated memory: 234156 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 1.90 1.94 5/267 62308
/proc/meminfo: memFree=120907464/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=262220 memory=236076 CPUtime=102.02 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 60111 0 0 0 10191 11 0 0 20 0 1 0 55992057 268513280 59019 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 65555 59019 2688 2575 0 62462 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 262220 KiB
Current children cumulated memory: 236076 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.30 2.07 5/268 62315
/proc/meminfo: memFree=120883564/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=262220 memory=249132 CPUtime=161.86 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 60248 0 0 0 16175 11 0 0 20 0 1 0 55992057 268513280 62283 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 65555 62283 2688 2575 0 62462 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 262220 KiB
Current children cumulated memory: 249132 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.63 2.20 5/268 62317
/proc/meminfo: memFree=120818700/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=265588 memory=257196 CPUtime=221.71 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 60932 0 0 0 22160 11 0 0 20 0 1 0 55992057 271962112 64299 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 66397 64299 2688 2575 0 63304 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 265588 KiB
Current children cumulated memory: 257196 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.90 2.32 5/268 62319
/proc/meminfo: memFree=120786356/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=280396 memory=261420 CPUtime=281.56 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 62086 0 0 0 28145 11 0 0 20 0 1 0 55992057 287125504 65355 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 70099 65355 2688 2575 0 67006 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 280396 KiB
Current children cumulated memory: 261420 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.11 2.44 5/265 62321
/proc/meminfo: memFree=120759876/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=287432 memory=262188 CPUtime=341.42 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 62409 0 0 0 34130 12 0 0 20 0 1 0 55992057 294330368 65547 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 71858 65547 2688 2575 0 68765 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 287432 KiB
Current children cumulated memory: 262188 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.31 2.55 5/265 62323
/proc/meminfo: memFree=120744376/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=295340 memory=265260 CPUtime=401.26 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 63272 0 0 0 40114 12 0 0 20 0 1 0 55992057 302428160 66315 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 73835 66315 2688 2575 0 70742 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 295340 KiB
Current children cumulated memory: 265260 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.44 2.64 5/264 62326
/proc/meminfo: memFree=120742164/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=303080 memory=267052 CPUtime=461.13 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 63837 0 0 0 46100 13 0 0 20 0 1 0 55992057 310353920 66763 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 75770 66763 2688 2575 0 72677 0
Current children cumulated CPU time: 461.13 s

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

/proc/loadavg: 4.14 4.20 4.10 5/264 62489
/proc/meminfo: memFree=119637208/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=607672 memory=594456 CPUtime=3154.54 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 118547 0 0 0 315411 43 0 0 20 0 1 0 55992057 622256128 148614 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 151918 148614 2688 2575 0 148825 0
Current children cumulated CPU time: 3154.54 s
Current children cumulated vsize: 607672 KiB
Current children cumulated memory: 594456 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.18 4.10 5/264 62491
/proc/meminfo: memFree=119583200/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=614296 memory=594456 CPUtime=3214.4 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 118574 0 0 0 321396 44 0 0 20 0 1 0 55992057 629039104 148614 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 153574 148614 2688 2575 0 150481 0
Current children cumulated CPU time: 3214.4 s
Current children cumulated vsize: 614296 KiB
Current children cumulated memory: 594456 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.16 4.09 5/264 62493
/proc/meminfo: memFree=119598936/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=614296 memory=594456 CPUtime=3274.25 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 118586 0 0 0 327381 44 0 0 20 0 1 0 55992057 629039104 148614 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 153574 148614 2688 2575 0 150481 0
Current children cumulated CPU time: 3274.25 s
Current children cumulated vsize: 614296 KiB
Current children cumulated memory: 594456 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/264 62495
/proc/meminfo: memFree=119599404/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=620028 memory=594584 CPUtime=3334.11 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 118596 0 0 0 333366 45 0 0 20 0 1 0 55992057 634908672 148646 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 155007 148646 2688 2575 0 151914 0
Current children cumulated CPU time: 3334.11 s
Current children cumulated vsize: 620028 KiB
Current children cumulated memory: 594584 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/264 62498
/proc/meminfo: memFree=119598396/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=632148 memory=594584 CPUtime=3393.97 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 118712 0 0 0 339351 46 0 0 20 0 1 0 55992057 647319552 148646 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 158037 148646 2688 2575 0 154944 0
Current children cumulated CPU time: 3393.97 s
Current children cumulated vsize: 632148 KiB
Current children cumulated memory: 594584 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 62500
/proc/meminfo: memFree=119590116/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=638044 memory=596760 CPUtime=3453.82 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 119330 0 0 0 345336 46 0 0 20 0 1 0 55992057 653357056 149190 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 159511 149190 2688 2575 0 156418 0
Current children cumulated CPU time: 3453.82 s
Current children cumulated vsize: 638044 KiB
Current children cumulated memory: 596760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/264 62503
/proc/meminfo: memFree=119581640/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=643216 memory=600216 CPUtime=3513.68 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 120321 0 0 0 351321 47 0 0 20 0 1 0 55992057 658653184 150054 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 160804 150054 2688 2575 0 157711 0
Current children cumulated CPU time: 3513.68 s
Current children cumulated vsize: 643216 KiB
Current children cumulated memory: 600216 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 62505
/proc/meminfo: memFree=119582372/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=651472 memory=601880 CPUtime=3573.53 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 120832 0 0 0 357306 47 0 0 20 0 1 0 55992057 667107328 150470 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 162868 150470 2688 2575 0 159775 0
Current children cumulated CPU time: 3573.53 s
Current children cumulated vsize: 651472 KiB
Current children cumulated memory: 601880 KiB

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

# cumulated CPU time of all completed processes:  user=3587.83 s, system=0.482432 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 5/264 62505
/proc/meminfo: memFree=119582372/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=651472 memory=601880 CPUtime=3575.23 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 120832 0 0 0 357476 47 0 0 20 0 1 0 55992057 667107328 150470 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 162868 150470 2688 2575 0 159775 0
Current children cumulated CPU time: 3575.23 s
Current children cumulated vsize: 651472 KiB
Current children cumulated memory: 601880 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582468/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=651472 memory=601880 CPUtime=3581.61 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 120832 0 0 0 358114 47 0 0 20 0 1 0 55992057 667107328 150470 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 162868 150470 2688 2575 0 159775 0
Current children cumulated CPU time: 3581.61 s
Current children cumulated vsize: 651472 KiB
Current children cumulated memory: 601880 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582236/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=652816 memory=602264 CPUtime=3584.8 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 120916 0 0 0 358433 47 0 0 20 0 1 0 55992057 668483584 150566 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 163204 150566 2688 2575 0 160111 0
Current children cumulated CPU time: 3584.8 s
Current children cumulated vsize: 652816 KiB
Current children cumulated memory: 602264 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582268/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=652816 memory=602264 CPUtime=3586.39 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 120916 0 0 0 358592 47 0 0 20 0 1 0 55992057 668483584 150566 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 163204 150566 2688 2575 0 160111 0
Current children cumulated CPU time: 3586.39 s
Current children cumulated vsize: 652816 KiB
Current children cumulated memory: 602264 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582268/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=654164 memory=602520 CPUtime=3587.2 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 120971 0 0 0 358673 47 0 0 20 0 1 0 55992057 669863936 150630 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 163541 150630 2688 2575 0 160448 0
Current children cumulated CPU time: 3587.2 s
Current children cumulated vsize: 654164 KiB
Current children cumulated memory: 602520 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582268/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=654164 memory=602520 CPUtime=3587.99 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 120973 0 0 0 358752 47 0 0 20 0 1 0 55992057 669863936 150630 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 163541 150630 2688 2575 0 160448 0
Current children cumulated CPU time: 3587.99 s
Current children cumulated vsize: 654164 KiB
Current children cumulated memory: 602520 KiB

[startup+3597 s]*
/proc/loadavg: 4.11 4.11 4.09 5/264 62505
/proc/meminfo: memFree=119582068/131250000 swapFree=33010416/33010684
[pid=62290] ppid=62285 vsize=654164 memory=602520 CPUtime=3588.2 cores=4,6
/proc/62290/stat : 62290 (pbsolver) R 62285 62290 62230 0 -1 4194304 120979 0 0 0 358773 47 0 0 20 0 1 0 55992057 669863936 150630 18446744073709551615 4198400 14743177 140730869504496 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50155520 140730869508490 140730869508586 140730869508586 140730869514188 0
/proc/62290/statm: 163541 150630 2688 2575 0 160448 0
Current children cumulated CPU time: 3588.2 s
Current children cumulated vsize: 654164 KiB
Current children cumulated memory: 602520 KiB

Child status: 0

Real time (s): 3597.11
CPU time (s): 3588.31
CPU user time (s): 3587.83
CPU system time (s): 0.482432
CPU usage (%): 99.7555
Max. virtual memory (cumulated for all children) (KiB): 654164
Max. memory (cumulated for all children) (KiB): 602520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.83
system time used= 0.482432
maximum resident set size= 602520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121075
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= 39
involuntary context switches= 2269


# summary of solver processes directly reported to runsolver:
#   pid: 62290
#   total CPU time (s): 3588.31
#   total CPU user time (s): 3587.83
#   total CPU system time (s): 0.482432

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.00624 second user time and 14.0407 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-01 22:52:22
IDJOB=4497755
IDBENCH=148192
IDSOLVER=3366
FILE ID=nodeC018/4497755-1751403142
RUNJOBID= nodeC018-1751403142-62244
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_5.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497755-1751403142/watcher-4497755-1751403142 -o /tmp/evaluation-result-4497755-1751403142/solver-4497755-1751403142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751403142-62244 --watchdog 3760  pbsolver -f HOME/instance-4497755-1751403142.opb -t 3600 -m 31000

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

MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
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.824
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.835
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:     330160 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