Trace number 4515285

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2025-06-13SAT 35.3229 35.4212

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-777800.0.s.opb
MD5SUM582689c3cf73d4c20a9f41c5c43c97bc
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.140047
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6400
Total number of constraints476
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)472
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint6400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 6480
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	0

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61279 MiB free)
  memory of node 1: 64465 MiB (48542 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515285-1751234018/watcher-4515285-1751234018 -o /tmp/evaluation-result-4515285-1751234018/solver-4515285-1751234018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751233442-41919 --watchdog 3760 pbsolver -f HOME/instance-4515285-1751234018.opb -t 3600 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=42182, runsolver pid=42179
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.11 4.14 4.09 5/264 42183
/proc/meminfo: memFree=112434960/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=47416 memory=37692 CPUtime=0.1 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 8524 0 0 0 9 1 0 0 20 0 1 0 39080578 48553984 9423 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 11854 9423 2528 2575 0 8761 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47416 KiB
Current children cumulated memory: 37692 KiB

[startup+0.205438 s]*
/proc/loadavg: 4.11 4.14 4.09 5/264 42183
/proc/meminfo: memFree=112403208/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=100068 memory=70952 CPUtime=0.19 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 17295 0 0 0 17 2 0 0 20 0 1 0 39080578 102469632 17738 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 25017 17738 2560 2575 0 21924 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100068 KiB
Current children cumulated memory: 70952 KiB

[startup+0.305411 s]*
/proc/loadavg: 4.11 4.14 4.09 5/264 42183
/proc/meminfo: memFree=112403208/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=100068 memory=70952 CPUtime=0.29 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 17295 0 0 0 27 2 0 0 20 0 1 0 39080578 102469632 17738 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 25017 17738 2560 2575 0 21924 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100068 KiB
Current children cumulated memory: 70952 KiB

[startup+0.700182 s]
/proc/loadavg: 4.11 4.14 4.09 5/264 42183
/proc/meminfo: memFree=112403208/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=112444 memory=83368 CPUtime=0.69 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 20333 0 0 0 66 3 0 0 20 0 1 0 39080578 115142656 20842 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 28111 20842 2624 2575 0 25018 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112444 KiB
Current children cumulated memory: 83368 KiB

[startup+1.50016 s]
/proc/loadavg: 4.11 4.14 4.09 5/264 42183
/proc/meminfo: memFree=112387080/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=126380 memory=95016 CPUtime=1.48 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 23226 0 0 0 145 3 0 0 20 0 1 0 39080578 129413120 23754 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 31595 23754 2688 2575 0 28502 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126380 KiB
Current children cumulated memory: 95016 KiB

[startup+3.10525 s]
/proc/loadavg: 4.10 4.14 4.09 5/264 42183
/proc/meminfo: memFree=112386984/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=127436 memory=95912 CPUtime=3.08 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 23452 0 0 0 305 3 0 0 20 0 1 0 39080578 130494464 23978 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 31859 23978 2688 2575 0 28766 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127436 KiB
Current children cumulated memory: 95912 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.14 4.09 5/264 42183
/proc/meminfo: memFree=112347948/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=163952 memory=129072 CPUtime=6.28 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 31868 0 0 0 623 5 0 0 20 0 1 0 39080578 167886848 32268 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 40988 32268 2688 2575 0 37895 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 163952 KiB
Current children cumulated memory: 129072 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.14 4.09 5/264 42183
/proc/meminfo: memFree=112351388/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=163952 memory=129584 CPUtime=12.66 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 32008 0 0 0 1261 5 0 0 20 0 1 0 39080578 167886848 32396 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 40988 32396 2688 2575 0 37895 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 163952 KiB
Current children cumulated memory: 129584 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.13 4.09 5/263 42184
/proc/meminfo: memFree=109728784/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=163952 memory=131260 CPUtime=25.42 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 37760 0 0 0 2536 6 0 0 20 0 1 0 39080578 167886848 32815 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 40988 32815 2688 2575 0 37895 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 163952 KiB
Current children cumulated memory: 131260 KiB

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

# cumulated CPU time of all completed processes:  user=35.2301 s, system=0.092718 s

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

[startup+25.6001 s]
/proc/loadavg: 4.07 4.13 4.09 5/263 42184
/proc/meminfo: memFree=109728784/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=163952 memory=131260 CPUtime=25.52 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 37760 0 0 0 2546 6 0 0 20 0 1 0 39080578 167886848 32815 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 40988 32815 2688 2575 0 37895 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 163952 KiB
Current children cumulated memory: 131260 KiB

[startup+32.0001 s]*
/proc/loadavg: 4.15 4.14 4.09 5/263 42184
/proc/meminfo: memFree=109629964/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=172220 memory=138140 CPUtime=31.9 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 41190 0 0 0 3184 6 0 0 20 0 1 0 39080578 176353280 34535 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 43055 34535 2688 2575 0 39962 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 172220 KiB
Current children cumulated memory: 138140 KiB

[startup+33.6001 s]
/proc/loadavg: 4.14 4.14 4.09 5/263 42184
/proc/meminfo: memFree=109606276/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=200480 memory=167524 CPUtime=33.5 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 52187 0 0 0 3342 8 0 0 20 0 1 0 39080578 205291520 41881 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 50120 41881 2688 2575 0 47027 0
Current children cumulated CPU time: 33.5 s
Current children cumulated vsize: 200480 KiB
Current children cumulated memory: 167524 KiB

[startup+34.4001 s]
/proc/loadavg: 4.14 4.14 4.09 5/263 42184
/proc/meminfo: memFree=109606276/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=200480 memory=167524 CPUtime=34.29 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 52187 0 0 0 3421 8 0 0 20 0 1 0 39080578 205291520 41881 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 50120 41881 2688 2575 0 47027 0
Current children cumulated CPU time: 34.29 s
Current children cumulated vsize: 200480 KiB
Current children cumulated memory: 167524 KiB

[startup+35.2001 s]
/proc/loadavg: 4.14 4.14 4.09 5/263 42184
/proc/meminfo: memFree=109606528/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=200480 memory=167524 CPUtime=35.09 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 52187 0 0 0 3501 8 0 0 20 0 1 0 39080578 205291520 41881 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 50120 41881 2688 2575 0 47027 0
Current children cumulated CPU time: 35.09 s
Current children cumulated vsize: 200480 KiB
Current children cumulated memory: 167524 KiB

[startup+35.4001 s]
/proc/loadavg: 4.14 4.14 4.09 5/263 42184
/proc/meminfo: memFree=109606528/131249992 swapFree=33010684/33010684
[pid=42182] ppid=42179 vsize=196224 memory=162700 CPUtime=35.29 cores=4,6
/proc/42182/stat : 42182 (pbsolver) R 42179 42182 41475 0 -1 4194304 52207 0 0 0 3521 8 0 0 20 0 1 0 39080578 200933376 40675 18446744073709551615 4198400 14743177 140722298799968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48156672 140722298804618 140722298804714 140722298804714 140722298810316 0
/proc/42182/statm: 49056 40675 2688 2575 0 45963 0
Current children cumulated CPU time: 35.29 s
Current children cumulated vsize: 196224 KiB
Current children cumulated memory: 162700 KiB

Child status: 0

Real time (s): 35.4212
CPU time (s): 35.3229
CPU user time (s): 35.2301
CPU system time (s): 0.092718
CPU usage (%): 99.7225
Max. virtual memory (cumulated for all children) (KiB): 200480
Max. memory (cumulated for all children) (KiB): 167524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.2301
system time used= 0.092718
maximum resident set size= 167652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52207
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 225


# summary of solver processes directly reported to runsolver:
#   pid: 42182
#   total CPU time (s): 35.3229
#   total CPU user time (s): 35.2301
#   total CPU system time (s): 0.092718

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06209 second user time and 0.185474 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-29 23:53:38
IDJOB=4515285
IDBENCH=164385
IDSOLVER=3366
FILE ID=nodeC025/4515285-1751234018
RUNJOBID= nodeC025-1751233442-41919
SLURM_JOB_ID= 9587699
Free space on /tmp= 432584 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-777800.0.s.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515285-1751234018/watcher-4515285-1751234018 -o /tmp/evaluation-result-4515285-1751234018/solver-4515285-1751234018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751233442-41919 --watchdog 3760  pbsolver -f HOME/instance-4515285-1751234018.opb -t 3600 -m 31000

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

MD5SUM BENCH= 582689c3cf73d4c20a9f41c5c43c97bc
RANDOM SEED=1820648347

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.858
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.850
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.862
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3620.526
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.802
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.837
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.864
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3642.711
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        112458396 kB
MemAvailable:   115305988 kB
Buffers:            3280 kB
Cached:          3647968 kB
SwapCached:            0 kB
Active:         14769520 kB
Inactive:        3343732 kB
Active(anon):   14480088 kB
Inactive(anon):        0 kB
Active(file):     289432 kB
Inactive(file):  3343732 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15320 kB
Writeback:             0 kB
AnonPages:      14464024 kB
Mapped:           134580 kB
Shmem:             18084 kB
KReclaimable:     107332 kB
Slab:             194660 kB
SReclaimable:     107332 kB
SUnreclaim:        87328 kB
KernelStack:        4288 kB
PageTables:        32232 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   16381888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2238464 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432568 MiB
End job on nodeC025 at 2025-06-29 23:54:14