Trace number 4503027

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.00a1OPT36 316.761 317.861

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.18/317.39	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4503027-1751418344.opb
316.18/317.39	c Solving mode: optimization
316.18/317.39	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
316.18/317.39	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
316.18/317.39	c original problem has 5048 variables (5048 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
316.18/317.39	c feasible solution found by trivial heuristic after 0.5 seconds, objective value 5.048000e+03
316.18/317.39	c presolving:
316.18/317.39	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.18/317.39	c    (2.5s) probing: 51/5048 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
316.18/317.39	c    (2.5s) probing aborted: 50/50 successive totally useless probings
316.18/317.39	c    (5.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
316.18/317.39	c    (7.2s) symmetry computation finished: 9 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 1.11)
316.18/317.39	c dynamic symmetry handling statistics:
316.18/317.39	c    orbitopal reduction:       no components
316.18/317.39	c    orbital reduction:          1 components of sizes 9
316.18/317.39	c    lexicographic reduction:    9 permutations with support sizes 4568, 4820, 4680, 4332, 5004, 4128, 4624, 4860, 5036
316.18/317.39	c handled 1 out of 1 symmetry components
316.18/317.39	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
316.18/317.39	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
316.18/317.39	c  0 implications, 0 cliques
316.18/317.39	c presolved problem has 5048 variables (5048 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
316.18/317.39	c   65280 constraints of type <logicor>
316.18/317.39	c transformed objective value is always integral (scale: 1)
316.18/317.39	c Presolving Time: 7.94
316.18/317.39	c transformed 1/1 original solutions to the transformed problem space
316.18/317.39	c 
316.18/317.39	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
316.18/317.39	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.18/317.39	c   153s|     1 |     0 | 20685 |     - |  2012M |   0 |5048 |  65k|  65k|   0 |  0 |   0 |   0 | 3.200000e+01 | 4.000000e+01 |  25.00%| unknown
316.18/317.39	c   199s|     1 |     0 | 33108 |     - |  2028M |   0 |5048 |  65k|  65k|   7 |  1 |   0 |   0 | 3.330769e+01 | 4.000000e+01 |  20.09%| unknown
316.18/317.39	c   212s|     1 |     0 | 35676 |     - |  2036M |   0 |5048 |  65k|  65k|  15 |  2 |   0 |   0 | 3.376667e+01 | 4.000000e+01 |  18.46%| unknown
316.18/317.39	c   223s|     1 |     0 | 36771 |     - |  2042M |   0 |5048 |  65k|  65k|  17 |  3 |   0 |   0 | 3.396970e+01 | 4.000000e+01 |  17.75%| unknown
316.18/317.39	c   234s|     1 |     0 | 37567 |     - |  2049M |   0 |5048 |  65k|  65k|  20 |  4 |   0 |   0 | 3.409600e+01 | 4.000000e+01 |  17.32%| unknown
316.18/317.39	c   248s|     1 |     0 | 39335 |     - |  2056M |   0 |5048 |  65k|  65k|  24 |  5 |   0 |   0 | 3.461946e+01 | 4.000000e+01 |  15.54%| unknown
316.18/317.39	c   259s|     1 |     0 | 39475 |     - |  2062M |   0 |5048 |  65k|  65k|  25 |  6 |   0 |   0 | 3.462846e+01 | 4.000000e+01 |  15.51%| unknown
316.18/317.39	c   271s|     1 |     0 | 39647 |     - |  2069M |   0 |5048 |  65k|  65k|  28 |  7 |   0 |   0 | 3.464000e+01 | 4.000000e+01 |  15.47%| unknown
316.18/317.39	c   283s|     1 |     0 | 40214 |     - |  2076M |   0 |5048 |  65k|  65k|  29 |  8 |   0 |   0 | 3.472116e+01 | 4.000000e+01 |  15.20%| unknown
316.18/317.39	c   296s|     1 |     0 | 40982 |     - |  2083M |   0 |5048 |  65k|  65k|  32 |  9 |   0 |   0 | 3.499166e+01 | 4.000000e+01 |  14.31%| unknown
316.18/317.39	c   309s|     1 |     0 | 41693 |     - |  2090M |   0 |5048 |  65k|  65k|  36 | 10 |   0 |   0 | 3.513787e+01 | 4.000000e+01 |  13.84%| unknown
316.18/317.39	c   310s|     1 |     0 | 42076 |     - |  2097M |   0 |5048 |  65k|  65k|  38 | 11 |   0 |   0 | 3.528571e+01 | 4.000000e+01 |  13.36%| unknown
316.18/317.39	c   311s|     1 |     0 | 42487 |     - |  2103M |   0 |5048 |  65k|  65k|  40 | 12 |   0 |   0 | 3.533152e+01 | 4.000000e+01 |  13.21%| unknown
316.18/317.39	c   311s|     1 |     0 | 42532 |     - |  2110M |   0 |5048 |  65k|  65k|  41 | 13 |   0 |   0 | 3.533158e+01 | 4.000000e+01 |  13.21%| unknown
316.18/317.39	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
316.18/317.39	c   312s|     1 |     0 | 42535 |     - |  2117M |   0 |5048 |  65k|  65k|  42 | 14 |   0 |   0 | 3.533158e+01 | 4.000000e+01 |  13.21%| unknown
316.18/317.39	c   312s|     1 |     0 | 42705 |     - |  2124M |   0 |5048 |  65k|  65k|  43 | 15 |   0 |   0 | 3.533594e+01 | 4.000000e+01 |  13.20%| unknown
316.18/317.39	c   313s|     1 |     0 | 43104 |     - |  2131M |   0 |5048 |  65k|  65k|  45 | 16 |   0 |   0 | 3.537105e+01 | 4.000000e+01 |  13.09%| unknown
316.18/317.39	c   314s|     1 |     0 | 43484 |     - |  2138M |   0 |5048 |  65k|  65k|  46 | 17 |   0 |   0 | 3.541341e+01 | 4.000000e+01 |  12.95%| unknown
316.18/317.39	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.18/317.39	c   315s|     1 |     0 | 43722 |     - |  2138M |   0 |5048 |  65k|  65k|  47 | 18 |   0 |   0 | 3.543382e+01 | 3.900000e+01 |  10.06%| unknown
316.18/317.39	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.18/317.39	c   315s|     1 |     0 | 43722 |     - |  2138M |   0 |5048 |  65k|  65k|  47 | 18 |   0 |   0 | 3.600000e+01 | 3.600000e+01 |   0.00%| unknown
316.18/317.39	c 
316.18/317.39	c SCIP Status        : problem is solved [optimal solution found]
316.18/317.39	c Solving Time (sec) : 315.02
316.18/317.39	c Solving Nodes      : 1
316.18/317.39	c Primal Bound       : +3.60000000000000e+01 (22 solutions)
316.18/317.39	c Dual Bound         : +3.60000000000000e+01
316.18/317.39	c Gap                : 0.00 %
316.18/317.39	c All original constraints are satisfied.
316.18/317.39	c SCIP's best solution is verified feasible for the original problem.
316.18/317.39	c SCIP found an optimal solution.
316.18/317.39	o 36
316.18/317.39	s OPTIMUM FOUND
316.18/317.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 -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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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.18/317.39	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 (49143 MiB free)
  memory of node 1: 64465 MiB (63338 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503027-1751418344/watcher-4503027-1751418344 -o /tmp/evaluation-result-4503027-1751418344/solver-4503027-1751418344 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751413449-57556 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4503027-1751418344.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=60046, runsolver pid=60043

[startup+0.100064 s]*
/proc/loadavg: 4.09 4.10 4.09 5/274 60051
/proc/meminfo: memFree=115174504/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=1186920 memory=31892 CPUtime=0.06 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 3726 0 0 0 5 1 0 0 20 0 1 0 57456909 1215406080 7973 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 296730 7973 4901 1 0 268752 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34836 KiB

[startup+0.205918 s]*
/proc/loadavg: 4.09 4.10 4.09 5/274 60051
/proc/meminfo: memFree=115157380/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=1212880 memory=64788 CPUtime=0.17 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 9449 0 0 0 15 2 0 0 20 0 1 0 57456909 1241989120 16197 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 303220 16197 7621 1 0 274578 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1217072 KiB
Current children cumulated memory: 67732 KiB

[startup+0.305801 s]*
/proc/loadavg: 4.09 4.10 4.09 5/274 60051
/proc/meminfo: memFree=115141252/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=1228840 memory=80532 CPUtime=0.26 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 13409 0 0 0 24 2 0 0 20 0 1 0 57456909 1258332160 20133 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 307210 20133 7621 1 0 278568 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1233032 KiB
Current children cumulated memory: 83476 KiB

[startup+0.700203 s]
/proc/loadavg: 4.09 4.10 4.09 6/274 60051
/proc/meminfo: memFree=115117060/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=1278484 memory=129428 CPUtime=0.66 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 25628 0 0 0 61 5 0 0 20 0 1 0 57456909 1309167616 32357 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 319621 32357 7621 1 0 290979 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1282676 KiB
Current children cumulated memory: 132372 KiB

[startup+1.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/274 60051
/proc/meminfo: memFree=114923952/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=1614320 memory=459284 CPUtime=1.45 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 107863 0 0 0 128 17 0 0 20 0 1 0 57456909 1653063680 114821 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 403580 114821 7877 1 0 374938 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1618512 KiB
Current children cumulated memory: 462228 KiB

[startup+3.10579 s]
/proc/loadavg: 4.08 4.10 4.09 5/274 60051
/proc/meminfo: memFree=114503980/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=1882892 memory=720544 CPUtime=3.06 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 159385 0 0 0 278 28 0 0 20 0 1 0 57456909 1928081408 180136 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 470723 180136 7909 1 0 442081 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1887084 KiB
Current children cumulated memory: 723488 KiB

[startup+6.3002 s]
/proc/loadavg: 4.07 4.10 4.09 5/274 60051
/proc/meminfo: memFree=113929984/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=2746520 memory=1384660 CPUtime=6.24 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 170551 0 0 0 583 41 0 0 20 0 1 0 57456909 2812436480 346165 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 686630 346165 7941 1 0 657988 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2750712 KiB
Current children cumulated memory: 1387604 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.11 4.09 5/274 60052
/proc/meminfo: memFree=113046692/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3332376 memory=2039112 CPUtime=12.62 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 230393 0 0 0 1200 62 0 0 20 0 1 0 57456909 3412353024 509778 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 833094 509778 8133 1 0 804452 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 3336568 KiB
Current children cumulated memory: 2042056 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.09 4.09 5/273 60101
/proc/meminfo: memFree=112876636/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3332376 memory=2039112 CPUtime=25.39 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 230393 0 0 0 2477 62 0 0 20 0 1 0 57456909 3412353024 509778 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 833094 509778 8133 1 0 804452 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3336568 KiB
Current children cumulated memory: 2042056 KiB

[startup+51.1061 s]
/proc/loadavg: 4.03 4.08 4.08 5/272 60152
/proc/meminfo: memFree=116870164/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3332376 memory=2039112 CPUtime=50.91 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 230393 0 0 0 5029 62 0 0 20 0 1 0 57456909 3412353024 509778 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 833094 509778 8133 1 0 804452 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 3336568 KiB
Current children cumulated memory: 2042056 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/273 60154
/proc/meminfo: memFree=116997096/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3332376 memory=2039112 CPUtime=101.93 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 230442 0 0 0 10130 63 0 0 20 0 1 0 57456909 3412353024 509778 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 833094 509778 8133 1 0 804452 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 3336568 KiB
Current children cumulated memory: 2042056 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/273 60156
/proc/meminfo: memFree=116995072/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3349124 memory=2056092 CPUtime=161.72 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 231699 0 0 0 16107 65 0 0 20 0 1 0 57456909 3429502976 514023 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 837281 514023 8165 1 0 808639 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 3353316 KiB
Current children cumulated memory: 2059036 KiB

[startup+222.3 s]
/proc/loadavg: 4.31 4.17 4.11 5/270 60207
/proc/meminfo: memFree=117024984/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3349124 memory=2056092 CPUtime=221.52 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 231878 0 0 0 22085 67 0 0 20 0 1 0 57456909 3429502976 514023 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 837281 514023 8165 1 0 808639 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 3353316 KiB
Current children cumulated memory: 2059036 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/270 60214
/proc/meminfo: memFree=117001728/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3369320 memory=2060316 CPUtime=281.31 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 232014 0 0 0 28063 68 0 0 20 0 1 0 57456909 3450183680 515079 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 842330 515079 8165 1 0 813688 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 3373512 KiB
Current children cumulated memory: 2063260 KiB

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

# cumulated CPU time of all completed processes:  user=316.016 s, system=0.745025 s

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

[startup+294.4 s]
/proc/loadavg: 4.12 4.14 4.11 5/270 60214
/proc/meminfo: memFree=116998472/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3375444 memory=2062840 CPUtime=293.37 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 232156 0 0 0 29269 68 0 0 20 0 1 0 57456909 3456454656 515710 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 843861 515710 8165 1 0 815219 0
Current children cumulated CPU time: 293.37 s
Current children cumulated vsize: 3379636 KiB
Current children cumulated memory: 2065784 KiB

[startup+307.2 s]
/proc/loadavg: 4.17 4.15 4.11 5/270 60215
/proc/meminfo: memFree=117000264/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3382116 memory=2063480 CPUtime=306.12 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 232326 0 0 0 30544 68 0 0 20 0 1 0 57456909 3463286784 515870 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 845529 515870 8165 1 0 816887 0
Current children cumulated CPU time: 306.12 s
Current children cumulated vsize: 3386308 KiB
Current children cumulated memory: 2066424 KiB

[startup+313.6 s]
/proc/loadavg: 4.16 4.15 4.11 5/270 60215
/proc/meminfo: memFree=116997272/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3427812 memory=2066936 CPUtime=312.5 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 233212 0 0 0 31182 68 0 0 20 0 1 0 57456909 3510079488 516734 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 856953 516734 8165 1 0 828311 0
Current children cumulated CPU time: 312.5 s
Current children cumulated vsize: 3432004 KiB
Current children cumulated memory: 2069880 KiB

[startup+315.2 s]
/proc/loadavg: 4.16 4.15 4.11 5/270 60216
/proc/meminfo: memFree=116997524/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3435504 memory=2067704 CPUtime=314.09 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 233396 0 0 0 31341 68 0 0 20 0 1 0 57456909 3517956096 516926 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 858876 516926 8165 1 0 830234 0
Current children cumulated CPU time: 314.09 s
Current children cumulated vsize: 3439696 KiB
Current children cumulated memory: 2070648 KiB

[startup+316.8 s]
/proc/loadavg: 4.15 4.15 4.11 5/270 60216
/proc/meminfo: memFree=116993744/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3438576 memory=2071416 CPUtime=315.69 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 234335 0 0 0 31500 69 0 0 20 0 1 0 57456909 3521101824 517854 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 859644 517854 8197 1 0 831002 0
Current children cumulated CPU time: 315.69 s
Current children cumulated vsize: 3442768 KiB
Current children cumulated memory: 2074360 KiB

[startup+317.6 s]
/proc/loadavg: 4.15 4.15 4.11 5/270 60216
/proc/meminfo: memFree=116993744/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3438576 memory=2071416 CPUtime=316.48 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 234336 0 0 0 31579 69 0 0 20 0 1 0 57456909 3521101824 517854 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 859644 517854 8197 1 0 831002 0
Current children cumulated CPU time: 316.48 s
Current children cumulated vsize: 3442768 KiB
Current children cumulated memory: 2074360 KiB

[startup+317.8 s]
/proc/loadavg: 4.15 4.15 4.11 5/270 60216
/proc/meminfo: memFree=116993744/131250000 swapFree=33010684/33010684
[pid=60046] ppid=60043 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60046/stat : 60046 (scip-naps-1.00.) S 60043 60046 56841 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 57456907 4292608 736 18446744073709551615 94366206013440 94366206907973 140730972694944 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366207147024 94366207194768 94366231474176 140730972699041 140730972699138 140730972699138 140730972704740 0
/proc/60046/statm: 1048 736 672 219 0 110 0
[pid=60051] ppid=60046 vsize=3338076 memory=1971036 CPUtime=316.68 cores=1,3
/proc/60051/stat : 60051 (python3) R 60046 60046 56841 0 -1 4194304 234342 0 0 0 31599 69 0 0 20 0 1 0 57456909 3418189824 492759 18446744073709551615 94429248929792 94429248930169 140725744838016 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94429248941464 94429248942084 94429257764864 140725744843111 140725744843298 140725744843298 140725744848871 0
/proc/60051/statm: 834519 492759 8197 1 0 805877 0
Current children cumulated CPU time: 316.68 s
Current children cumulated vsize: 3342268 KiB
Current children cumulated memory: 1973980 KiB

Child status: 0

Real time (s): 317.861
CPU time (s): 316.761
CPU user time (s): 316.016
CPU system time (s): 0.745025
CPU usage (%): 99.6539
Max. virtual memory (cumulated for all children) (KiB): 3442768
Max. memory (cumulated for all children) (KiB): 2074360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 316.016
system time used= 0.745025
maximum resident set size= 2101324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234986
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= 494


# summary of solver processes directly reported to runsolver:
#   pid: 60046
#   total CPU time (s): 316.761
#   total CPU user time (s): 316.016
#   total CPU system time (s): 0.745025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.688511 second user time and 1.52418 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-02 03:05:44
IDJOB=4503027
IDBENCH=155403
IDSOLVER=3368
FILE ID=nodeC028/4503027-1751418344
RUNJOBID= nodeC028-1751413449-57556
SLURM_JOB_ID= 9598315
Free space on /tmp= 432616 MiB

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

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

MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=1960350266

nodeC028 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		: 3600.088
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	: 7000.16
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		: 3601.748
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	: 7000.16
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		: 3589.355
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	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        115181128 kB
MemAvailable:   115669280 kB
Buffers:            3280 kB
Cached:          1293804 kB
SwapCached:            0 kB
Active:         14388876 kB
Inactive:         984560 kB
Active(anon):   14094420 kB
Inactive(anon):        0 kB
Active(file):     294456 kB
Inactive(file):   984560 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26228 kB
Writeback:             0 kB
AnonPages:      14073612 kB
Mapped:           134616 kB
Shmem:             18068 kB
KReclaimable:      96752 kB
Slab:             184028 kB
SReclaimable:      96752 kB
SUnreclaim:        87276 kB
KernelStack:        4416 kB
PageTables:        31512 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   18808452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150728 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9396224 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= 432572 MiB
End job on nodeC028 at 2025-07-02 03:11:02