Trace number 4530342

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP-NaPS 1.00a2OPT36 316.803 317.764

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
MD5SUM9f3f50f555350d326304759fc873d478
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark46.5996
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5048
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint18
Maximum length of a constraint45
Number of terms in the objective function 5048
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5048
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5048
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 

316.22/317.29	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530342-1752254824.opb
316.22/317.29	c Solving mode: optimization
316.22/317.29	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
316.22/317.29	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
316.22/317.29	c original problem has 5048 variables (5048 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
316.22/317.29	c feasible solution found by trivial heuristic after 0.5 seconds, objective value 5.048000e+03
316.22/317.29	c presolving:
316.22/317.29	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 65280 upgd conss, 0 impls, 0 clqs
316.22/317.29	c    (2.5s) probing: 51/5048 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
316.22/317.29	c    (2.5s) probing aborted: 50/50 successive totally useless probings
316.22/317.29	c    (5.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
316.22/317.29	c    (7.2s) symmetry computation finished: 9 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 1.10)
316.22/317.29	c dynamic symmetry handling statistics:
316.22/317.29	c    orbitopal reduction:       no components
316.22/317.29	c    orbital reduction:          1 components of sizes 9
316.22/317.29	c    lexicographic reduction:    9 permutations with support sizes 4568, 4820, 4680, 4332, 5004, 4128, 4624, 4860, 5036
316.22/317.29	c handled 1 out of 1 symmetry components
316.22/317.29	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
316.22/317.29	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
316.22/317.29	c  0 implications, 0 cliques
316.22/317.29	c presolved problem has 5048 variables (5048 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
316.22/317.29	c   65280 constraints of type <logicor>
316.22/317.29	c transformed objective value is always integral (scale: 1)
316.22/317.29	c Presolving Time: 7.91
316.22/317.29	c transformed 1/1 original solutions to the transformed problem space
316.22/317.29	c 
316.22/317.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
316.22/317.29	c p 9.3s|     1 |     0 |     0 |     - |   locks|   0 |5048 |  65k|  65k|   0 |  0 |   0 |   0 | 0.000000e+00 | 4.000000e+01 |    Inf | unknown
316.22/317.29	c   153s|     1 |     0 | 20685 |     - |  2012M |   0 |5048 |  65k|  65k|   0 |  0 |   0 |   0 | 3.200000e+01 | 4.000000e+01 |  25.00%| unknown
316.22/317.29	c   200s|     1 |     0 | 33108 |     - |  2028M |   0 |5048 |  65k|  65k|   7 |  1 |   0 |   0 | 3.330769e+01 | 4.000000e+01 |  20.09%| unknown
316.22/317.29	c   212s|     1 |     0 | 35676 |     - |  2036M |   0 |5048 |  65k|  65k|  15 |  2 |   0 |   0 | 3.376667e+01 | 4.000000e+01 |  18.46%| unknown
316.22/317.29	c   223s|     1 |     0 | 36771 |     - |  2042M |   0 |5048 |  65k|  65k|  17 |  3 |   0 |   0 | 3.396970e+01 | 4.000000e+01 |  17.75%| unknown
316.22/317.29	c   234s|     1 |     0 | 37567 |     - |  2049M |   0 |5048 |  65k|  65k|  20 |  4 |   0 |   0 | 3.409600e+01 | 4.000000e+01 |  17.32%| unknown
316.22/317.29	c   248s|     1 |     0 | 39335 |     - |  2056M |   0 |5048 |  65k|  65k|  24 |  5 |   0 |   0 | 3.461946e+01 | 4.000000e+01 |  15.54%| unknown
316.22/317.29	c   259s|     1 |     0 | 39475 |     - |  2062M |   0 |5048 |  65k|  65k|  25 |  6 |   0 |   0 | 3.462846e+01 | 4.000000e+01 |  15.51%| unknown
316.22/317.29	c   271s|     1 |     0 | 39647 |     - |  2069M |   0 |5048 |  65k|  65k|  28 |  7 |   0 |   0 | 3.464000e+01 | 4.000000e+01 |  15.47%| unknown
316.22/317.29	c   283s|     1 |     0 | 40214 |     - |  2076M |   0 |5048 |  65k|  65k|  29 |  8 |   0 |   0 | 3.472116e+01 | 4.000000e+01 |  15.20%| unknown
316.22/317.29	c   296s|     1 |     0 | 40982 |     - |  2083M |   0 |5048 |  65k|  65k|  32 |  9 |   0 |   0 | 3.499166e+01 | 4.000000e+01 |  14.31%| unknown
316.22/317.29	c   309s|     1 |     0 | 41693 |     - |  2090M |   0 |5048 |  65k|  65k|  36 | 10 |   0 |   0 | 3.513787e+01 | 4.000000e+01 |  13.84%| unknown
316.22/317.29	c   310s|     1 |     0 | 42076 |     - |  2097M |   0 |5048 |  65k|  65k|  38 | 11 |   0 |   0 | 3.528571e+01 | 4.000000e+01 |  13.36%| unknown
316.22/317.29	c   311s|     1 |     0 | 42487 |     - |  2103M |   0 |5048 |  65k|  65k|  40 | 12 |   0 |   0 | 3.533152e+01 | 4.000000e+01 |  13.21%| unknown
316.22/317.29	c   311s|     1 |     0 | 42532 |     - |  2110M |   0 |5048 |  65k|  65k|  41 | 13 |   0 |   0 | 3.533158e+01 | 4.000000e+01 |  13.21%| unknown
316.22/317.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
316.22/317.29	c   312s|     1 |     0 | 42535 |     - |  2117M |   0 |5048 |  65k|  65k|  42 | 14 |   0 |   0 | 3.533158e+01 | 4.000000e+01 |  13.21%| unknown
316.22/317.29	c   312s|     1 |     0 | 42705 |     - |  2124M |   0 |5048 |  65k|  65k|  43 | 15 |   0 |   0 | 3.533594e+01 | 4.000000e+01 |  13.20%| unknown
316.22/317.29	c   313s|     1 |     0 | 43104 |     - |  2131M |   0 |5048 |  65k|  65k|  45 | 16 |   0 |   0 | 3.537105e+01 | 4.000000e+01 |  13.09%| unknown
316.22/317.29	c   314s|     1 |     0 | 43484 |     - |  2138M |   0 |5048 |  65k|  65k|  46 | 17 |   0 |   0 | 3.541341e+01 | 4.000000e+01 |  12.95%| unknown
316.22/317.29	c r 314s|     1 |     0 | 43484 |     - |rounding|   0 |5048 |  65k|  65k|  46 | 17 |   0 |   0 | 3.541341e+01 | 3.900000e+01 |  10.13%| unknown
316.22/317.29	c   315s|     1 |     0 | 43722 |     - |  2138M |   0 |5048 |  65k|  65k|  47 | 18 |   0 |   0 | 3.543382e+01 | 3.900000e+01 |  10.06%| unknown
316.22/317.29	c i 315s|     1 |     0 | 43722 |     - |  oneopt|   0 |5048 |  65k|  65k|  47 | 18 |   0 |   0 | 3.543382e+01 | 3.600000e+01 |   1.60%| unknown
316.22/317.29	c   315s|     1 |     0 | 43722 |     - |  2138M |   0 |5048 |  65k|  65k|  47 | 18 |   0 |   0 | 3.600000e+01 | 3.600000e+01 |   0.00%| unknown
316.22/317.29	c 
316.22/317.29	c SCIP Status        : problem is solved [optimal solution found]
316.22/317.29	c Solving Time (sec) : 314.92
316.22/317.29	c Solving Nodes      : 1
316.22/317.29	c Primal Bound       : +3.60000000000000e+01 (22 solutions)
316.22/317.29	c Dual Bound         : +3.60000000000000e+01
316.22/317.29	c Gap                : 0.00 %
316.22/317.29	c All original constraints are satisfied.
316.22/317.29	c SCIP's best solution is verified feasible for the original problem.
316.22/317.29	c SCIP found an optimal solution.
316.22/317.29	o 36
316.22/317.29	s OPTIMUM FOUND
316.22/317.29	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 -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 -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 -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 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
316.22/317.29	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688
316.22/317.29	v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018
316.22/317.29	v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303
316.22/317.29	v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
316.22/317.29	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873
316.22/317.29	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158
316.22/317.29	v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443
316.22/317.29	v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728
316.22/317.29	v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013
316.22/317.29	v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298
316.22/317.29	v -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 x3474 x3475 -x3476 x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584
316.22/317.29	v -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869
316.22/317.29	v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154
316.22/317.29	v -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 -x4262 -x4263 x4264 -x4265 x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440
316.22/317.29	v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725
316.22/317.29	v -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010
316.22/317.29	v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048

Verifier Data 

OK	36

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530342-1752254824/watcher-4530342-1752254824 -o /tmp/evaluation-result-4530342-1752254824/solver-4530342-1752254824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752253280-115091 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530342-1752254824.opb 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=116068, runsolver pid=116065
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.15 4.08 3.81 5/270 116073
/proc/meminfo: memFree=125991504/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=1187656 memory=32404 CPUtime=0.07 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 3847 0 0 0 6 1 0 0 20 0 1 0 141159970 1216159744 8101 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 296914 8101 4905 1 0 268936 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191848 KiB
Current children cumulated memory: 35476 KiB

[startup+0.205704 s]*
/proc/loadavg: 4.15 4.08 3.81 5/270 116073
/proc/meminfo: memFree=125975628/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=1213440 memory=65300 CPUtime=0.18 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 9573 0 0 0 15 3 0 0 20 0 1 0 141159970 1242562560 16325 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 303360 16325 7625 1 0 274718 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1217632 KiB
Current children cumulated memory: 68372 KiB

[startup+0.305662 s]*
/proc/loadavg: 4.15 4.08 3.81 5/270 116073
/proc/meminfo: memFree=125959500/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=1229476 memory=81300 CPUtime=0.27 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 13561 0 0 0 24 3 0 0 20 0 1 0 141159970 1258983424 20325 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 307369 20325 7625 1 0 278727 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1233668 KiB
Current children cumulated memory: 84372 KiB

[startup+0.700218 s]
/proc/loadavg: 4.15 4.08 3.81 5/270 116073
/proc/meminfo: memFree=125935308/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=1280176 memory=131092 CPUtime=0.67 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 26026 0 0 0 61 6 0 0 20 0 1 0 141159970 1310900224 32773 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 320044 32773 7625 1 0 291402 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 1284368 KiB
Current children cumulated memory: 134164 KiB

[startup+1.50021 s]
/proc/loadavg: 4.15 4.08 3.81 5/270 116073
/proc/meminfo: memFree=125733708/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=1614380 memory=459412 CPUtime=1.46 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 107856 0 0 0 127 19 0 0 20 0 1 0 141159970 1653125120 114853 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 403595 114853 7881 1 0 374953 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1618572 KiB
Current children cumulated memory: 462484 KiB

[startup+3.10547 s]
/proc/loadavg: 4.13 4.08 3.81 5/270 116073
/proc/meminfo: memFree=125321496/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=1883660 memory=720872 CPUtime=3.06 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 159435 0 0 0 278 28 0 0 20 0 1 0 141159970 1928867840 180218 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 470915 180218 7913 1 0 442273 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1887852 KiB
Current children cumulated memory: 723944 KiB

[startup+6.3002 s]
/proc/loadavg: 4.13 4.08 3.81 5/270 116074
/proc/meminfo: memFree=124748004/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=2747288 memory=1443568 CPUtime=6.24 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 170440 0 0 0 582 42 0 0 20 0 1 0 141159970 2813222912 360892 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 686822 360892 7945 1 0 658180 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2751480 KiB
Current children cumulated memory: 1446640 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.08 3.81 5/270 116074
/proc/meminfo: memFree=123947400/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3333136 memory=2046000 CPUtime=12.63 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 229062 0 0 0 1201 62 0 0 20 0 1 0 141159970 3413131264 511500 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 833284 511500 8105 1 0 804642 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 3337328 KiB
Current children cumulated memory: 2049072 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.08 3.82 5/270 116074
/proc/meminfo: memFree=123926936/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3333136 memory=2046000 CPUtime=25.39 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 229063 0 0 0 2477 62 0 0 20 0 1 0 141159970 3413131264 511500 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 833284 511500 8105 1 0 804642 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3337328 KiB
Current children cumulated memory: 2049072 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.09 3.83 5/269 116123
/proc/meminfo: memFree=121726692/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3333136 memory=2046000 CPUtime=50.93 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 229063 0 0 0 5031 62 0 0 20 0 1 0 141159970 3413131264 511500 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 833284 511500 8105 1 0 804642 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 3337328 KiB
Current children cumulated memory: 2049072 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 3.84 5/269 116125
/proc/meminfo: memFree=119976612/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3333136 memory=2046000 CPUtime=101.96 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 229110 0 0 0 10133 63 0 0 20 0 1 0 141159970 3413131264 511500 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 833284 511500 8105 1 0 804642 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 3337328 KiB
Current children cumulated memory: 2049072 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.08 3.86 5/269 116129
/proc/meminfo: memFree=120115260/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3349884 memory=2062976 CPUtime=161.76 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 230315 0 0 0 16110 66 0 0 20 0 1 0 141159970 3430281216 515744 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 837471 515744 8137 1 0 808829 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 3354076 KiB
Current children cumulated memory: 2066048 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 3.88 5/270 116132
/proc/meminfo: memFree=119993336/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3349884 memory=2062976 CPUtime=221.57 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 230494 0 0 0 22090 67 0 0 20 0 1 0 141159970 3430281216 515744 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 837471 515744 8137 1 0 808829 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 3354076 KiB
Current children cumulated memory: 2066048 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.09 3.90 5/270 116138
/proc/meminfo: memFree=119889832/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3368720 memory=2063360 CPUtime=281.42 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 230704 0 0 0 28073 69 0 0 20 0 1 0 141159970 3449569280 515840 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 842180 515840 8137 1 0 813538 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 3372912 KiB
Current children cumulated memory: 2066432 KiB

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

# cumulated CPU time of all completed processes:  user=316.042 s, system=0.760691 s

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

[startup+294.4 s]
/proc/loadavg: 4.16 4.10 3.91 5/270 116138
/proc/meminfo: memFree=119918088/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3375352 memory=2064000 CPUtime=293.49 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 230883 0 0 0 29280 69 0 0 20 0 1 0 141159970 3456360448 516000 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 843838 516000 8137 1 0 815196 0
Current children cumulated CPU time: 293.49 s
Current children cumulated vsize: 3379544 KiB
Current children cumulated memory: 2067072 KiB

[startup+307.2 s]
/proc/loadavg: 4.14 4.10 3.91 5/270 116138
/proc/meminfo: memFree=119918356/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3382028 memory=2064640 CPUtime=306.25 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 231076 0 0 0 30556 69 0 0 20 0 1 0 141159970 3463196672 516160 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 845507 516160 8137 1 0 816865 0
Current children cumulated CPU time: 306.25 s
Current children cumulated vsize: 3386220 KiB
Current children cumulated memory: 2067712 KiB

[startup+313.6 s]
/proc/loadavg: 4.12 4.10 3.91 5/270 116138
/proc/meminfo: memFree=119796384/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3427212 memory=2070604 CPUtime=312.64 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 232070 0 0 0 31194 70 0 0 20 0 1 0 141159970 3509465088 517651 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 856803 517651 8137 1 0 828161 0
Current children cumulated CPU time: 312.64 s
Current children cumulated vsize: 3431404 KiB
Current children cumulated memory: 2073676 KiB

[startup+315.2 s]
/proc/loadavg: 4.12 4.10 3.91 5/270 116139
/proc/meminfo: memFree=119907228/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3435416 memory=2072012 CPUtime=314.23 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 232404 0 0 0 31353 70 0 0 20 0 1 0 141159970 3517865984 518003 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 858854 518003 8137 1 0 830212 0
Current children cumulated CPU time: 314.23 s
Current children cumulated vsize: 3439608 KiB
Current children cumulated memory: 2075084 KiB

[startup+316.8 s]
/proc/loadavg: 4.12 4.10 3.91 5/270 116139
/proc/meminfo: memFree=119895068/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3438488 memory=2075340 CPUtime=315.83 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 233222 0 0 0 31513 70 0 0 20 0 1 0 141159970 3521011712 518835 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 859622 518835 8201 1 0 830980 0
Current children cumulated CPU time: 315.83 s
Current children cumulated vsize: 3442680 KiB
Current children cumulated memory: 2078412 KiB

[startup+317.2 s]
/proc/loadavg: 4.12 4.10 3.91 5/270 116139
/proc/meminfo: memFree=119895068/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3438488 memory=2075340 CPUtime=316.22 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 233222 0 0 0 31552 70 0 0 20 0 1 0 141159970 3521011712 518835 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 859622 518835 8201 1 0 830980 0
Current children cumulated CPU time: 316.22 s
Current children cumulated vsize: 3442680 KiB
Current children cumulated memory: 2078412 KiB

[startup+317.6 s]
/proc/loadavg: 4.12 4.10 3.91 5/270 116139
/proc/meminfo: memFree=119895068/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3438488 memory=2075340 CPUtime=316.62 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 233230 0 0 0 31592 70 0 0 20 0 1 0 141159970 3521011712 518835 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 859622 518835 8201 1 0 830980 0
Current children cumulated CPU time: 316.62 s
Current children cumulated vsize: 3442680 KiB
Current children cumulated memory: 2078412 KiB

[startup+317.7 s]
/proc/loadavg: 4.12 4.10 3.91 5/270 116139
/proc/meminfo: memFree=119895068/131249988 swapFree=33010160/33010684
[pid=116068] ppid=116065 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/116068/stat : 116068 (scip-naps-1.00a) S 116065 116068 113697 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 141159969 4292608 768 18446744073709551615 94431967322112 94431968216645 140723402592432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94431968455696 94431968503440 94431988391936 140723402598811 140723402598910 140723402598910 140723402604514 0
/proc/116068/statm: 1048 768 704 219 0 110 0
[pid=116073] ppid=116068 vsize=3337988 memory=1974936 CPUtime=316.72 cores=4,6
/proc/116073/stat : 116073 (python3) R 116068 116068 113697 0 -1 4194304 233231 0 0 0 31602 70 0 0 20 0 1 0 141159970 3418099712 493734 18446744073709551615 94004077572096 94004077572473 140721161582288 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94004077583768 94004077584388 94004095279104 140721161591134 140721161591328 140721161591328 140721161596903 0
/proc/116073/statm: 834497 493734 8201 1 0 805855 0
Current children cumulated CPU time: 316.72 s
Current children cumulated vsize: 3342180 KiB
Current children cumulated memory: 1978008 KiB

Child status: 0

Real time (s): 317.764
CPU time (s): 316.803
CPU user time (s): 316.042
CPU system time (s): 0.760691
CPU usage (%): 99.6975
Max. virtual memory (cumulated for all children) (KiB): 3442680
Max. memory (cumulated for all children) (KiB): 2090676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 316.042
system time used= 0.760691
maximum resident set size= 2108212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233878
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 350
involuntary context switches= 1714


# summary of solver processes directly reported to runsolver:
#   pid: 116068
#   total CPU time (s): 316.803
#   total CPU user time (s): 316.042
#   total CPU system time (s): 0.760691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.689497 second user time and 1.50361 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-11 19:27:04
IDJOB=4530342
IDBENCH=155403
IDSOLVER=3388
FILE ID=nodeC020/4530342-1752254824
RUNJOBID= nodeC020-1752253280-115091
SLURM_JOB_ID= 9682577
Free space on /tmp= 431452 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530342-1752254824/watcher-4530342-1752254824 -o /tmp/evaluation-result-4530342-1752254824/solver-4530342-1752254824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752253280-115091 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530342-1752254824.opb

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

MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=639590421

nodeC020 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.895
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.79
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.876
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        125991496 kB
MemAvailable:   126913816 kB
Buffers:            2128 kB
Cached:          1711396 kB
SwapCached:            8 kB
Active:          3454756 kB
Inactive:        1140060 kB
Active(anon):    2874788 kB
Inactive(anon):    24548 kB
Active(file):     579968 kB
Inactive(file):  1115512 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26228 kB
Writeback:            44 kB
AnonPages:       2880656 kB
Mapped:           135592 kB
Shmem:             18044 kB
KReclaimable:     132160 kB
Slab:             226484 kB
SReclaimable:     132160 kB
SUnreclaim:        94324 kB
KernelStack:        4352 kB
PageTables:         9508 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    6893424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    555008 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431400 MiB
End job on nodeC020 at 2025-07-11 19:32:22