Trace number 4492053

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a1SAT 499.679 501.215

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
MD5SUMb71388011e4b80d0b0325c4a241ada38
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.121569
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4644
Total number of constraints31254
Number of constraints which are clauses30228
Number of constraints which are cardinality constraints (but not clauses)948
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 104
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

498.65/500.22	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4492053-1751145247.opb
498.65/500.22	c Solving mode: decision
498.65/500.22	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
498.65/500.22	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
498.65/500.22	c original problem has 4644 variables (4644 bin, 0 int, 0 impl, 0 cont) and 31254 constraints
498.65/500.22	c presolving:
498.65/500.22	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 31254 upgd conss, 0 impls, 2376 clqs
498.65/500.22	c    (0.3s) probing: 51/4644 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
498.65/500.22	c    (0.3s) probing aborted: 50/50 successive totally useless probings
498.65/500.22	c    (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
498.65/500.22	c    (0.5s) symmetry computation finished: 35 generators found (max: 1500, log10 of symmetry group size: 20.0) (symcode time: 0.20)
498.65/500.22	c dynamic symmetry handling statistics:
498.65/500.22	c    orbitopal reduction:       no components
498.65/500.22	c    orbital reduction:          1 components of sizes 35
498.65/500.22	c    lexicographic reduction:   35 permutations with support sizes 324, 348, 348, 348, 348, 348, 468, 1548, 468, 480, 1548, 480, 480, 480, 480, 480, 480, 480, 1548, 480, 1548, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 1548, 348
498.65/500.22	c handled 1 out of 1 symmetry components
498.65/500.22	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
498.65/500.22	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 294 changed coefficients
498.65/500.22	c  0 implications, 2376 cliques
498.65/500.22	c presolved problem has 4644 variables (4644 bin, 0 int, 0 impl, 0 cont) and 31254 constraints
498.65/500.22	c      78 constraints of type <knapsack>
498.65/500.22	c     948 constraints of type <setppc>
498.65/500.22	c   30228 constraints of type <logicor>
498.65/500.22	c transformed objective value is always integral (scale: 1)
498.65/500.22	c Presolving Time: 0.50
498.65/500.22	c 
498.65/500.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.65/500.22	c  10.4s|     1 |     0 | 14720 |     - |   144M |   0 |4644 |  31k|  31k|   0 |  0 |  35 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.65/500.22	c  27.2s|     1 |     0 | 46283 |     - |   150M |   0 |4644 |  31k|  31k|  64 |  1 |  36 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.65/500.22	c  35.4s|     1 |     0 | 56634 |     - |   156M |   0 |4644 |  31k|  31k| 112 |  2 |  36 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.65/500.22	c  46.9s|     1 |     0 | 68602 |     - |   159M |   0 |4644 |  31k|  31k| 167 |  3 |  37 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.65/500.22	c  60.9s|     1 |     0 | 82296 |     - |   164M |   0 |4644 |  31k|  31k| 219 |  4 |  37 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.65/500.22	c  72.8s|     1 |     0 | 94649 |     - |   167M |   0 |4644 |  31k|  31k| 268 |  5 |  38 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.65/500.22	c  84.0s|     1 |     0 |106273 |     - |   170M |   0 |4644 |  31k|  31k| 322 |  6 |  39 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.65/500.22	c  94.5s|     1 |     0 |117498 |     - |   175M |   0 |4644 |  31k|  31k| 368 |  7 |  40 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.65/500.22	c   106s|     1 |     0 |129620 |     - |   178M |   0 |4644 |  31k|  31k| 412 |  8 |  40 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.65/500.22	c   118s|     1 |     0 |141745 |     - |   181M |   0 |4644 |  31k|  31k| 457 |  9 |  46 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.65/500.22	c   135s|     1 |     0 |156908 |     - |   185M |   0 |4644 |  31k|  31k| 498 | 10 |  52 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.65/500.22	c   145s|     1 |     0 |169516 |     - |   188M |   0 |4644 |  31k|  31k| 536 | 11 |  61 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.65/500.22	c   158s|     1 |     2 |182913 |     - |   188M |   0 |4644 |  31k|  31k| 536 | 11 |  82 |  20 | 0.000000e+00 |      --      |    Inf | unknown
498.65/500.22	c 
498.65/500.22	c SCIP Status        : solving was interrupted [time limit reached]
498.65/500.22	c Solving Time (sec) : 500.00
498.65/500.22	c Solving Nodes      : 23
498.65/500.22	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.65/500.22	c Dual Bound         : +0.00000000000000e+00
498.65/500.22	c Gap                : infinite
498.65/500.22	c ----------------------------------------------------------------------
498.65/500.22	c dual bound: 0.0 -> 0
498.65/500.22	c primal bound: 1e+20 -> 100000000000000000000
498.65/500.22	c scip-goal-lb: 0
498.65/500.22	c scip-goal-ub: 100000000000000000000
498.65/500.22	c writing output to: HOME/tmpfxin38a3.opb
498.65/500.22	c appending fixed variable constraints
498.65/500.22	c scip-fixed vars: 0.00% (0/4644)
498.65/500.22	c ----------------------------------------------------------------------
498.65/500.22	c executing external solver: HOME/naps-1.03a6
498.65/500.22	c ----------------------------------------------------------------------
498.65/500.22	c command: HOME/naps-1.03a6 HOME/tmpfxin38a3.opb
498.65/500.22	c NaPS 1.03a6.
498.65/500.22	c Input file name: HOME/tmpfxin38a3.opb
499.55/501.12	c _____________________________________________________________________________
499.55/501.12	c std/band forms        : 1026,0
499.55/501.12	c 2cl/3cl ITE-codings   : 6642,0
499.55/501.12	c BDD/srt/adr Max costs : 155,96,0
499.55/501.12	c BDDraw/bin/mul/srt/adr: 18,0,60,948,0
499.55/501.12	c BDD nodes             : 9594
499.55/501.12	c Es1/CC detections     : 0,0
499.55/501.12	c CC sort               : 948
499.55/501.12	c SAT/UNSAT calls       : 1,0
499.55/501.12	c regenrated variables  : 0
499.55/501.12	c eliminated fixed lits : 0
499.55/501.12	c goal lit flips        : 0
499.55/501.12	c goal stages           : 0
499.55/501.12	c goal shrink           : 0
499.55/501.12	c goal coeff separations: 0
499.55/501.12	c restarts              : 497
499.55/501.12	c conflicts             : 10537          (12041 /sec)
499.55/501.12	c decisions             : 88743          (101413 /sec)
499.55/501.12	c propagations          : 3665959        (4189337 /sec)
499.55/501.12	c inspects              : 0              (0 /sec)
499.55/501.12	c CPU time (solving tm) : 0.8751 s        (0.6081 s, SAT 0.6081 s, UNSAT 0 s)
499.55/501.12	c Time for Opt-base     : 0.005784 s
499.55/501.12	c Steps for Opt-base    : 10440
499.55/501.12	c Time for BDD coding   : 0.02888 s
499.55/501.12	c Time for srt coding   : 0.003609 s
499.55/501.12	c _____________________________________________________________________________
499.55/501.12	s SATISFIABLE
499.55/501.12	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 -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 -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 -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 -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 -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 -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
499.55/501.12	v -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 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 -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 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 -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 -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 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 -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
499.55/501.12	v -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 -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 -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

Verifier Data 

OK	0

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492053-1751145247/watcher-4492053-1751145247 -o /tmp/evaluation-result-4492053-1751145247/solver-4492053-1751145247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19820 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4492053-1751145247.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=20091, runsolver pid=20088

[startup+0.10006 s]*
/proc/loadavg: 4.01 5.59 6.93 5/270 20096
/proc/meminfo: memFree=129436088/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1187600 memory=32428 CPUtime=0.07 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 3835 0 0 0 7 0 0 0 20 0 1 0 30203479 1216102400 8107 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 296900 8107 4907 1 0 268922 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191792 KiB
Current children cumulated memory: 35500 KiB

[startup+0.205546 s]*
/proc/loadavg: 4.01 5.59 6.93 5/270 20096
/proc/meminfo: memFree=129412148/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1223248 memory=75052 CPUtime=0.17 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 11858 0 0 0 15 2 0 0 20 0 1 0 30203479 1252605952 18763 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 305812 18763 7787 1 0 277170 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1227440 KiB
Current children cumulated memory: 78124 KiB

[startup+0.305541 s]*
/proc/loadavg: 4.01 5.59 6.93 5/270 20096
/proc/meminfo: memFree=129379892/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1256264 memory=107820 CPUtime=0.27 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 19960 0 0 0 24 3 0 0 20 0 1 0 30203479 1286414336 26955 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 314066 26955 7883 1 0 285424 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1260456 KiB
Current children cumulated memory: 110892 KiB

[startup+0.700194 s]
/proc/loadavg: 4.01 5.59 6.93 5/270 20096
/proc/meminfo: memFree=129351604/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1305016 memory=146584 CPUtime=0.67 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 29060 0 0 0 62 5 0 0 20 0 1 0 30203479 1336336384 36646 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 326254 36646 8011 1 0 297612 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 1309208 KiB
Current children cumulated memory: 149656 KiB

[startup+1.5002 s]
/proc/loadavg: 4.01 5.56 6.92 5/270 20096
/proc/meminfo: memFree=129287344/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1360076 memory=200968 CPUtime=1.46 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 42692 0 0 0 139 7 0 0 20 0 1 0 30203479 1392717824 50242 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 340019 50242 8139 1 0 311377 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1364268 KiB
Current children cumulated memory: 204040 KiB

[startup+3.10536 s]
/proc/loadavg: 4.01 5.56 6.92 5/270 20096
/proc/meminfo: memFree=129275256/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1362604 memory=203656 CPUtime=3.06 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 43369 0 0 0 299 7 0 0 20 0 1 0 30203479 1395306496 50914 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 340651 50914 8139 1 0 312009 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1366796 KiB
Current children cumulated memory: 206728 KiB

[startup+6.30017 s]
/proc/loadavg: 4.01 5.54 6.90 5/270 20096
/proc/meminfo: memFree=129275280/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1362604 memory=203656 CPUtime=6.24 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 43379 0 0 0 617 7 0 0 20 0 1 0 30203479 1395306496 50914 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 340651 50914 8139 1 0 312009 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1366796 KiB
Current children cumulated memory: 206728 KiB

[startup+12.7002 s]
/proc/loadavg: 4.01 5.51 6.89 5/270 20096
/proc/meminfo: memFree=129266964/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1362604 memory=203656 CPUtime=12.63 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 43380 0 0 0 1256 7 0 0 20 0 1 0 30203479 1395306496 50914 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 340651 50914 8139 1 0 312009 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1366796 KiB
Current children cumulated memory: 206728 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 5.48 6.86 5/270 20097
/proc/meminfo: memFree=129232040/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1377216 memory=215588 CPUtime=25.39 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 45315 0 0 0 2532 7 0 0 20 0 1 0 30203479 1410269184 53897 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 344304 53897 8139 1 0 315662 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1381408 KiB
Current children cumulated memory: 218660 KiB

[startup+51.1054 s]
/proc/loadavg: 4.05 5.33 6.77 5/270 20146
/proc/meminfo: memFree=129400972/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1390232 memory=222012 CPUtime=50.93 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 46433 0 0 0 5085 8 0 0 20 0 1 0 30203479 1423597568 55503 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 347558 55503 8139 1 0 318916 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1394424 KiB
Current children cumulated memory: 225084 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 5.14 6.62 5/269 20147
/proc/meminfo: memFree=129299772/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1406592 memory=225596 CPUtime=101.98 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 47315 0 0 0 10190 8 0 0 20 0 1 0 30203479 1440350208 56399 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 351648 56399 8139 1 0 323006 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1410784 KiB
Current children cumulated memory: 228668 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.96 6.47 5/270 20150
/proc/meminfo: memFree=129205620/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1463440 memory=272444 CPUtime=161.81 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 59033 0 0 0 16171 10 0 0 20 0 1 0 30203479 1498562560 68111 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 365860 68111 8139 1 0 337218 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1467632 KiB
Current children cumulated memory: 275516 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.80 6.32 5/270 20152
/proc/meminfo: memFree=129140828/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1463440 memory=273596 CPUtime=221.64 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 59322 0 0 0 22154 10 0 0 20 0 1 0 30203479 1498562560 68399 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 365860 68399 8139 1 0 337218 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1467632 KiB
Current children cumulated memory: 276668 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.68 6.18 5/269 20159
/proc/meminfo: memFree=129085008/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1463440 memory=273596 CPUtime=281.45 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 59333 0 0 0 28135 10 0 0 20 0 1 0 30203479 1498562560 68399 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 365860 68399 8139 1 0 337218 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 1467632 KiB
Current children cumulated memory: 276668 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.57 6.05 5/268 20163
/proc/meminfo: memFree=129103308/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1463440 memory=273724 CPUtime=341.26 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 59357 0 0 0 34116 10 0 0 20 0 1 0 30203479 1498562560 68431 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 365860 68431 8139 1 0 337218 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 1467632 KiB
Current children cumulated memory: 276796 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.48 5.92 5/268 20165
/proc/meminfo: memFree=129060352/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1463440 memory=273724 CPUtime=401.06 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 59357 0 0 0 40096 10 0 0 20 0 1 0 30203479 1498562560 68431 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 365860 68431 8139 1 0 337218 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 1467632 KiB
Current children cumulated memory: 276796 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.42 5.81 5/272 20279
/proc/meminfo: memFree=129306000/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1463440 memory=277180 CPUtime=460.86 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 59361 0 0 0 46075 11 0 0 20 0 1 0 30203479 1498562560 69295 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 365860 69295 8139 1 0 337218 0
Current children cumulated CPU time: 460.86 s
Current children cumulated vsize: 1467632 KiB
Current children cumulated memory: 280252 KiB

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

# cumulated CPU time of all completed processes:  user=499.52 s, system=0.158358 s

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

[startup+486.4 s]
/proc/loadavg: 4.08 4.38 5.76 5/269 20280
/proc/meminfo: memFree=129234184/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1463440 memory=278588 CPUtime=484.89 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 59362 0 0 0 48478 11 0 0 20 0 1 0 30203479 1498562560 69647 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 365860 69647 8139 1 0 337218 0
Current children cumulated CPU time: 484.89 s
Current children cumulated vsize: 1467632 KiB
Current children cumulated memory: 281660 KiB

[startup+492.8 s]
/proc/loadavg: 4.16 4.39 5.75 5/269 20280
/proc/meminfo: memFree=129224888/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1463440 memory=279228 CPUtime=491.27 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 59362 0 0 0 49116 11 0 0 20 0 1 0 30203479 1498562560 69807 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 365860 69807 8139 1 0 337218 0
Current children cumulated CPU time: 491.27 s
Current children cumulated vsize: 1467632 KiB
Current children cumulated memory: 282300 KiB

[startup+496 s]*
/proc/loadavg: 4.14 4.39 5.74 5/269 20280
/proc/meminfo: memFree=129225140/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1463440 memory=279228 CPUtime=494.47 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 59362 0 0 0 49436 11 0 0 20 0 1 0 30203479 1498562560 69807 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 365860 69807 8139 1 0 337218 0
Current children cumulated CPU time: 494.47 s
Current children cumulated vsize: 1467632 KiB
Current children cumulated memory: 282300 KiB

[startup+499.2 s]
/proc/loadavg: 4.14 4.39 5.74 5/269 20280
/proc/meminfo: memFree=129222416/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1463440 memory=282556 CPUtime=497.66 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 59362 0 0 0 49755 11 0 0 20 0 1 0 30203479 1498562560 70639 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 365860 70639 8139 1 0 337218 0
Current children cumulated CPU time: 497.66 s
Current children cumulated vsize: 1467632 KiB
Current children cumulated memory: 285628 KiB

[startup+500 s]*
/proc/loadavg: 4.14 4.39 5.74 5/269 20280
/proc/meminfo: memFree=129222416/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1463440 memory=282556 CPUtime=498.46 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 59362 0 0 0 49835 11 0 0 20 0 1 0 30203479 1498562560 70639 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 365860 70639 8139 1 0 337218 0
Current children cumulated CPU time: 498.46 s
Current children cumulated vsize: 1467632 KiB
Current children cumulated memory: 285628 KiB

[startup+500.8 s]
/proc/loadavg: 4.14 4.39 5.74 5/269 20280
/proc/meminfo: memFree=129222416/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1466000 memory=285244 CPUtime=498.69 cores=0,2
/proc/20096/stat : 20096 (python3) S 20091 20091 19810 0 -1 4194304 60203 0 0 0 49857 12 0 0 20 0 1 0 30203479 1501184000 71311 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 366500 71311 8171 1 0 337858 0
Current children cumulated CPU time: 498.69 s
Current children cumulated vsize: 1470192 KiB
Current children cumulated memory: 288316 KiB

[startup+501.2 s]
/proc/loadavg: 4.13 4.38 5.73 5/270 20281
/proc/meminfo: memFree=129214352/131249992 swapFree=33010684/33010684
[pid=20091] ppid=20088 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20091/stat : 20091 (scip-naps-1.00.) S 20088 20091 19810 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 30203477 4292608 768 18446744073709551615 94084358471680 94084359366213 140727003206480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94084359605264 94084359653008 94084374749184 140727003212193 140727003212290 140727003212290 140727003217892 0
/proc/20091/statm: 1048 768 704 219 0 110 0
[pid=20096] ppid=20091 vsize=1456688 memory=277020 CPUtime=499.63 cores=0,2
/proc/20096/stat : 20096 (python3) R 20091 20091 19810 0 -1 4194304 71518 6643 0 0 49863 12 87 1 20 0 1 0 30203479 1491648512 69255 18446744073709551615 94051281563648 94051281564025 140732123375760 0 0 0 0 16781312 0 0 0 0 17 2 0 0 0 0 0 94051281575320 94051281575940 94051292635136 140732123380056 140732123380258 140732123380258 140732123385831 0
/proc/20096/statm: 364172 69255 8171 1 0 335530 0
Current children cumulated CPU time: 499.63 s
Current children cumulated vsize: 1460880 KiB
Current children cumulated memory: 280092 KiB

Child status: 0

Real time (s): 501.215
CPU time (s): 499.679
CPU user time (s): 499.52
CPU system time (s): 0.158358
CPU usage (%): 99.6935
Max. virtual memory (cumulated for all children) (KiB): 1496880
Max. memory (cumulated for all children) (KiB): 309936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 499.52
system time used= 0.158358
maximum resident set size= 285244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 364
involuntary context switches= 663


# summary of solver processes directly reported to runsolver:
#   pid: 20091
#   total CPU time (s): 499.679
#   total CPU user time (s): 499.52
#   total CPU system time (s): 0.158358

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.968222 second user time and 2.20596 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-28 23:14:07
IDJOB=4492053
IDBENCH=147757
IDSOLVER=3368
FILE ID=nodeC025/4492053-1751145247
RUNJOBID= nodeC025-1751145166-19820
SLURM_JOB_ID= 9587446
Free space on /tmp= 433044 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492053-1751145247/watcher-4492053-1751145247 -o /tmp/evaluation-result-4492053-1751145247/solver-4492053-1751145247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19820 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4492053-1751145247.opb

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

MD5SUM BENCH= b71388011e4b80d0b0325c4a241ada38
RANDOM SEED=1470234730

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        129435932 kB
MemAvailable:   129075988 kB
Buffers:            3280 kB
Cached:           443928 kB
SwapCached:            0 kB
Active:          1037532 kB
Inactive:         186068 kB
Active(anon):     794476 kB
Inactive(anon):        0 kB
Active(file):     243056 kB
Inactive(file):   186068 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6512 kB
Writeback:            20 kB
AnonPages:        779492 kB
Mapped:           124748 kB
Shmem:             18084 kB
KReclaimable:      86344 kB
Slab:             169536 kB
SReclaimable:      86344 kB
SUnreclaim:        83192 kB
KernelStack:        4352 kB
PageTables:         5108 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4387080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC025 at 2025-06-28 23:22:29