Trace number 4432735

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 2024-07-07SAT22 3584.98 3597.1

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

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: 64096 MiB (63070 MiB free)
  memory of node 1: 64473 MiB (60809 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432735-1721100852/watcher-4432735-1721100852 -o /tmp/evaluation-result-4432735-1721100852/solver-4432735-1721100852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721093664-830408 --watchdog 3760 pbscip -f HOME/instance-4432735-1721100852.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=834589, runsolver pid=834586

[startup+0.100068 s]*
/proc/loadavg: 4.09 4.11 4.14 5/244 834590
/proc/meminfo: memFree=126808020/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=102352 memory=61352 CPUtime=0.1 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 12144 0 0 0 9 1 0 0 20 0 1 0 162244038 104808448 15338 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 25588 15338 3594 3540 0 13845 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 102352 KiB
Current children cumulated memory: 61352 KiB

[startup+0.212903 s]*
/proc/loadavg: 4.09 4.11 4.14 5/244 834590
/proc/meminfo: memFree=126795988/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=112080 memory=71916 CPUtime=0.21 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 16899 0 0 0 19 2 0 0 20 0 1 0 162244038 114769920 17979 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 28020 17979 3769 3540 0 16277 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112080 KiB
Current children cumulated memory: 71916 KiB

[startup+0.312702 s]*
/proc/loadavg: 4.09 4.11 4.14 5/244 834590
/proc/meminfo: memFree=126779536/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=129144 memory=81804 CPUtime=0.31 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 19318 0 0 0 29 2 0 0 20 0 1 0 162244038 132243456 20451 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 32286 20451 3801 3540 0 20543 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 129144 KiB
Current children cumulated memory: 81804 KiB

[startup+0.700327 s]
/proc/loadavg: 4.09 4.11 4.14 5/244 834590
/proc/meminfo: memFree=126756012/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=187824 memory=139024 CPUtime=0.68 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 33509 0 0 0 64 4 0 0 20 0 1 0 162244038 192331776 34756 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 46956 34756 3961 3540 0 35213 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 187824 KiB
Current children cumulated memory: 139024 KiB

[startup+1.50026 s]
/proc/loadavg: 4.09 4.11 4.14 5/244 834590
/proc/meminfo: memFree=126716000/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=205164 memory=156232 CPUtime=1.48 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 37813 0 0 0 143 5 0 0 20 0 1 0 162244038 210087936 39058 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 51291 39058 4023 3540 0 39548 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 205164 KiB
Current children cumulated memory: 156232 KiB

[startup+3.11253 s]
/proc/loadavg: 4.09 4.11 4.14 5/244 834590
/proc/meminfo: memFree=126693656/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=208508 memory=160956 CPUtime=3.09 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 39005 0 0 0 304 5 0 0 20 0 1 0 162244038 213512192 40239 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 52127 40239 4023 3540 0 40384 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 208508 KiB
Current children cumulated memory: 160956 KiB

[startup+6.30029 s]
/proc/loadavg: 4.08 4.11 4.14 5/244 834591
/proc/meminfo: memFree=126627220/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=256888 memory=199496 CPUtime=6.27 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 48621 0 0 0 620 7 0 0 20 0 1 0 162244038 263053312 49874 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 64222 49874 4023 3540 0 52479 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 256888 KiB
Current children cumulated memory: 199496 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.13 4.14 5/244 834639
/proc/meminfo: memFree=127489476/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=264904 memory=202076 CPUtime=12.65 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 49270 0 0 0 1257 8 0 0 20 0 1 0 162244038 271261696 50519 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 66226 50519 4023 3540 0 54483 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 264904 KiB
Current children cumulated memory: 202076 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 834686
/proc/meminfo: memFree=127432596/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=320148 memory=255012 CPUtime=25.4 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 62532 0 0 0 2529 11 0 0 20 0 1 0 162244038 327831552 63753 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 80037 63753 4039 3540 0 68294 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 320148 KiB
Current children cumulated memory: 255012 KiB

[startup+51.1132 s]
/proc/loadavg: 4.08 4.11 4.14 5/244 834691
/proc/meminfo: memFree=127308320/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=318864 memory=256196 CPUtime=50.91 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 63643 0 0 0 5077 14 0 0 20 0 1 0 162244038 326516736 64049 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 79716 64049 4039 3540 0 67973 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 318864 KiB
Current children cumulated memory: 256196 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.14 4.14 5/241 834700
/proc/meminfo: memFree=127289944/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=318864 memory=256308 CPUtime=101.9 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 63898 0 0 0 10172 18 0 0 20 0 1 0 162244038 326516736 64077 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 79716 64077 4039 3540 0 67973 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 318864 KiB
Current children cumulated memory: 256308 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/241 834710
/proc/meminfo: memFree=127282372/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=318864 memory=257880 CPUtime=161.69 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 63944 0 0 0 16150 19 0 0 20 0 1 0 162244038 326516736 64470 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 79716 64470 4039 3540 0 67973 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 318864 KiB
Current children cumulated memory: 257880 KiB

[startup+222.3 s]
/proc/loadavg: 4.71 4.29 4.20 5/241 834720
/proc/meminfo: memFree=127276028/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=318864 memory=262040 CPUtime=221.48 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 64088 0 0 0 22129 19 0 0 20 0 1 0 162244038 326516736 65510 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 79716 65510 4039 3540 0 67973 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 318864 KiB
Current children cumulated memory: 262040 KiB

[startup+282.3 s]
/proc/loadavg: 4.36 4.26 4.19 5/241 834731
/proc/meminfo: memFree=127261156/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=318864 memory=275044 CPUtime=281.28 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 64462 0 0 0 28109 19 0 0 20 0 1 0 162244038 326516736 68761 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 79716 68761 4039 3540 0 67973 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 318864 KiB
Current children cumulated memory: 275044 KiB

[startup+342.3 s]
/proc/loadavg: 4.26 4.25 4.18 5/241 834741
/proc/meminfo: memFree=127230440/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=318864 memory=280476 CPUtime=341.09 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 64574 0 0 0 34090 19 0 0 20 0 1 0 162244038 326516736 70119 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 79716 70119 4039 3540 0 67973 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 318864 KiB
Current children cumulated memory: 280476 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.21 4.18 5/244 834756
/proc/meminfo: memFree=127223368/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=318864 memory=280476 CPUtime=400.91 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 64688 0 0 0 40072 19 0 0 20 0 1 0 162244038 326516736 70119 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 79716 70119 4039 3540 0 67973 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 318864 KiB
Current children cumulated memory: 280476 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.19 4.17 5/244 834766
/proc/meminfo: memFree=127173792/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=318864 memory=280476 CPUtime=460.72 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 64805 0 0 0 46053 19 0 0 20 0 1 0 162244038 326516736 70119 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 79716 70119 4039 3540 0 67973 0

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

/proc/loadavg: 4.19 4.18 4.18 5/242 836206
/proc/meminfo: memFree=125681908/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=841660 memory=776696 CPUtime=3151.53 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 124061 0 0 0 315122 31 0 0 20 0 1 0 162244038 861859840 194174 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 210415 194174 4039 3540 0 198672 0
Current children cumulated CPU time: 3151.53 s
Current children cumulated vsize: 841660 KiB
Current children cumulated memory: 776696 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/242 836216
/proc/meminfo: memFree=125638140/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=841660 memory=776696 CPUtime=3211.34 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 124236 0 0 0 321103 31 0 0 20 0 1 0 162244038 861859840 194174 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 210415 194174 4039 3540 0 198672 0
Current children cumulated CPU time: 3211.34 s
Current children cumulated vsize: 841660 KiB
Current children cumulated memory: 776696 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/244 836397
/proc/meminfo: memFree=125591052/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=841660 memory=776696 CPUtime=3271.15 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 124413 0 0 0 327084 31 0 0 20 0 1 0 162244038 861859840 194174 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 210415 194174 4039 3540 0 198672 0
Current children cumulated CPU time: 3271.15 s
Current children cumulated vsize: 841660 KiB
Current children cumulated memory: 776696 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/244 836407
/proc/meminfo: memFree=125525148/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=841660 memory=776696 CPUtime=3330.97 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 124587 0 0 0 333065 32 0 0 20 0 1 0 162244038 861859840 194174 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 210415 194174 4039 3540 0 198672 0
Current children cumulated CPU time: 3330.97 s
Current children cumulated vsize: 841660 KiB
Current children cumulated memory: 776696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/246 836475
/proc/meminfo: memFree=125427848/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=841660 memory=776696 CPUtime=3390.78 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 124674 0 0 0 339046 32 0 0 20 0 1 0 162244038 861859840 194174 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 210415 194174 4039 3540 0 198672 0
Current children cumulated CPU time: 3390.78 s
Current children cumulated vsize: 841660 KiB
Current children cumulated memory: 776696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/246 836485
/proc/meminfo: memFree=125405608/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=841660 memory=776696 CPUtime=3450.6 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 124752 0 0 0 345028 32 0 0 20 0 1 0 162244038 861859840 194174 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 210415 194174 4039 3540 0 198672 0
Current children cumulated CPU time: 3450.6 s
Current children cumulated vsize: 841660 KiB
Current children cumulated memory: 776696 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/246 836496
/proc/meminfo: memFree=125405300/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=841660 memory=776696 CPUtime=3510.41 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 124975 0 0 0 351009 32 0 0 20 0 1 0 162244038 861859840 194174 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 210415 194174 4039 3540 0 198672 0
Current children cumulated CPU time: 3510.41 s
Current children cumulated vsize: 841660 KiB
Current children cumulated memory: 776696 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/244 836506
/proc/meminfo: memFree=125377920/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=887876 memory=803448 CPUtime=3570.21 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 126745 0 0 0 356989 32 0 0 20 0 1 0 162244038 909185024 200862 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 221969 200862 4039 3540 0 210226 0
Current children cumulated CPU time: 3570.21 s
Current children cumulated vsize: 887876 KiB
Current children cumulated memory: 803448 KiB

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

# cumulated CPU time of all completed processes:  user=3584.64 s, system=0.339737 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.15 4.17 5/244 836506
/proc/meminfo: memFree=125377920/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=887876 memory=803448 CPUtime=3571.92 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 126745 0 0 0 357160 32 0 0 20 0 1 0 162244038 909185024 200862 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 221969 200862 4039 3540 0 210226 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 887876 KiB
Current children cumulated memory: 803448 KiB

[startup+3590.4 s]
/proc/loadavg: 4.20 4.16 4.17 5/244 836508
/proc/meminfo: memFree=125377892/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=887876 memory=803448 CPUtime=3578.29 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 126745 0 0 0 357797 32 0 0 20 0 1 0 162244038 909185024 200862 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 221969 200862 4039 3540 0 210226 0
Current children cumulated CPU time: 3578.29 s
Current children cumulated vsize: 887876 KiB
Current children cumulated memory: 803448 KiB

[startup+3593.6 s]
/proc/loadavg: 4.20 4.16 4.17 5/244 836508
/proc/meminfo: memFree=125373904/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=887876 memory=803448 CPUtime=3581.48 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 126746 0 0 0 358116 32 0 0 20 0 1 0 162244038 909185024 200862 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 221969 200862 4039 3540 0 210226 0
Current children cumulated CPU time: 3581.48 s
Current children cumulated vsize: 887876 KiB
Current children cumulated memory: 803448 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.14 4.17 4/237 836539
/proc/meminfo: memFree=126120168/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=887876 memory=803448 CPUtime=3583.07 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 126750 0 0 0 358275 32 0 0 20 0 1 0 162244038 909185024 200862 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 221969 200862 4039 3540 0 210226 0
Current children cumulated CPU time: 3583.07 s
Current children cumulated vsize: 887876 KiB
Current children cumulated memory: 803448 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.14 4.17 4/237 836539
/proc/meminfo: memFree=126120148/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=887876 memory=803448 CPUtime=3583.88 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 126750 0 0 0 358356 32 0 0 20 0 1 0 162244038 909185024 200862 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 221969 200862 4039 3540 0 210226 0
Current children cumulated CPU time: 3583.88 s
Current children cumulated vsize: 887876 KiB
Current children cumulated memory: 803448 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.14 4.17 4/237 836539
/proc/meminfo: memFree=126120148/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=887876 memory=803448 CPUtime=3584.67 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 126750 0 0 0 358435 32 0 0 20 0 1 0 162244038 909185024 200862 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 221969 200862 4039 3540 0 210226 0
Current children cumulated CPU time: 3584.67 s
Current children cumulated vsize: 887876 KiB
Current children cumulated memory: 803448 KiB

[startup+3597 s]*
/proc/loadavg: 4.10 4.14 4.17 4/237 836540
/proc/meminfo: memFree=126120120/131655788 swapFree=131071996/131071996
[pid=834589] ppid=834586 vsize=887876 memory=803448 CPUtime=3584.88 cores=0,2
/proc/834589/stat : 834589 (pbscip) R 834586 834589 830398 0 -1 4194304 126756 0 0 0 358456 32 0 0 20 0 1 0 162244038 909185024 200862 134679101440 4194304 18693293 140726353544880 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47661056 140726353552388 140726353552487 140726353552487 140726353559502 0
/proc/834589/statm: 221969 200862 4039 3540 0 210226 0
Current children cumulated CPU time: 3584.88 s
Current children cumulated vsize: 887876 KiB
Current children cumulated memory: 803448 KiB

Child status: 0

Real time (s): 3597.1
CPU time (s): 3584.98
CPU user time (s): 3584.64
CPU system time (s): 0.339737
CPU usage (%): 99.6631
Max. virtual memory (cumulated for all children) (KiB): 887876
Max. memory (cumulated for all children) (KiB): 803448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.64
system time used= 0.339737
maximum resident set size= 803448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126844
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= 53
involuntary context switches= 25088


# summary of solver processes directly reported to runsolver:
#   pid: 834589
#   total CPU time (s): 3584.98
#   total CPU user time (s): 3584.64
#   total CPU system time (s): 0.339737

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0265 second user time and 33.3266 second system time

The end

Launcher Data

Begin job on nodeC005 at 2024-07-16 05:34:24
IDJOB=4432735
IDBENCH=148192
IDSOLVER=3059
FILE ID=nodeC005/4432735-1721100852
RUNJOBID= nodeC005-1721093664-830408
SLURM_JOB_ID= 7505597
Free space on /tmp= 723724 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432735-1721100852/watcher-4432735-1721100852 -o /tmp/evaluation-result-4432735-1721100852/solver-4432735-1721100852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721093664-830408 --watchdog 3760  pbscip -f HOME/instance-4432735-1721100852.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=215479143

nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00001f
cpu MHz		: 3521.131
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
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	: 0xb00001f
cpu MHz		: 3628.532
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.177
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.325
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
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	: 0xb00001f
cpu MHz		: 3666.670
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
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	: 0xb00001f
cpu MHz		: 3662.810
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.375
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.353
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126854996 kB
MemAvailable:   128467708 kB
Buffers:          378812 kB
Cached:          2059468 kB
SwapCached:            0 kB
Active:           688780 kB
Inactive:        3542912 kB
Active(anon):       3464 kB
Inactive(anon):  1827648 kB
Active(file):     685316 kB
Inactive(file):  1715264 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19020 kB
Writeback:            28 kB
AnonPages:       1788292 kB
Mapped:           139920 kB
Shmem:             37704 kB
KReclaimable:     104660 kB
Slab:             206260 kB
SReclaimable:     104660 kB
SUnreclaim:       101600 kB
KernelStack:        3936 kB
PageTables:        12976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2160876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52736 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1339392 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723724 MiB
End job on nodeC005 at 2024-07-16 06:34:22