Trace number 4491981

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 501.339 502.856

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUM0255b3d891da2276599e5fcb43348962
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.08006
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4632
Total number of constraints30964
Number of constraints which are clauses29940
Number of constraints which are cardinality constraints (but not clauses)946
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.68/500.22	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4491981-1751145169.opb
498.68/500.22	c Solving mode: decision
498.68/500.22	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
498.68/500.22	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
498.68/500.22	c original problem has 4632 variables (4632 bin, 0 int, 0 impl, 0 cont) and 30964 constraints
498.68/500.22	c presolving:
498.68/500.22	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 30964 upgd conss, 0 impls, 2374 clqs
498.68/500.22	c    (0.3s) probing: 51/4632 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
498.68/500.22	c    (0.3s) probing aborted: 50/50 successive totally useless probings
498.68/500.22	c    (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
498.68/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.68/500.22	c dynamic symmetry handling statistics:
498.68/500.22	c    orbitopal reduction:       no components
498.68/500.22	c    orbital reduction:          1 components of sizes 35
498.68/500.22	c    lexicographic reduction:   35 permutations with support sizes 288, 348, 348, 348, 348, 348, 456, 1544, 456, 480, 1544, 480, 480, 480, 480, 480, 480, 480, 1544, 480, 1544, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 1544, 348
498.68/500.22	c handled 1 out of 1 symmetry components
498.68/500.22	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
498.68/500.22	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 12 changed sides, 372 changed coefficients
498.68/500.22	c  0 implications, 2374 cliques
498.68/500.22	c presolved problem has 4632 variables (4632 bin, 0 int, 0 impl, 0 cont) and 30964 constraints
498.68/500.22	c      78 constraints of type <knapsack>
498.68/500.22	c     946 constraints of type <setppc>
498.68/500.22	c   29940 constraints of type <logicor>
498.68/500.22	c transformed objective value is always integral (scale: 1)
498.68/500.22	c Presolving Time: 0.49
498.68/500.22	c 
498.68/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.68/500.22	c  12.4s|     1 |     0 | 16305 |     - |   145M |   0 |4632 |  30k|  30k|   0 |  0 |  18 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/500.22	c  28.8s|     1 |     0 | 48523 |     - |   152M |   0 |4632 |  30k|  31k|  51 |  1 |  26 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/500.22	c  39.6s|     1 |     0 | 60301 |     - |   155M |   0 |4632 |  30k|  31k| 109 |  2 |  26 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/500.22	c  50.4s|     1 |     0 | 72260 |     - |   160M |   0 |4632 |  30k|  31k| 164 |  3 |  26 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/500.22	c  61.1s|     1 |     0 | 83850 |     - |   163M |   0 |4632 |  31k|  31k| 209 |  4 |  36 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/500.22	c  86.2s|     1 |     0 |105744 |     - |   167M |   0 |4632 |  31k|  31k| 258 |  5 |  46 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/500.22	c  98.1s|     1 |     0 |118451 |     - |   170M |   0 |4632 |  31k|  31k| 301 |  6 |  46 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/500.22	c   108s|     1 |     0 |129162 |     - |   175M |   0 |4632 |  31k|  31k| 349 |  7 |  51 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/500.22	c   123s|     1 |     0 |143814 |     - |   178M |   0 |4632 |  31k|  31k| 392 |  8 |  51 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/500.22	c   135s|     1 |     0 |155998 |     - |   182M |   0 |4632 |  31k|  31k| 437 |  9 |  57 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/500.22	c   147s|     1 |     0 |168579 |     - |   185M |   0 |4632 |  31k|  31k| 484 | 10 |  58 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/500.22	c   180s|     1 |     0 |194363 |     - |   188M |   0 |4632 |  31k|  31k| 525 | 11 |  68 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/500.22	c   192s|     1 |     2 |207064 |     - |   188M |   0 |4632 |  31k|  31k| 525 | 11 |  99 |  19 | 0.000000e+00 |      --      |    Inf | unknown
498.68/500.22	c 
498.68/500.22	c SCIP Status        : solving was interrupted [time limit reached]
498.68/500.22	c Solving Time (sec) : 500.00
498.68/500.22	c Solving Nodes      : 22
498.68/500.22	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.68/500.22	c Dual Bound         : +0.00000000000000e+00
498.68/500.22	c Gap                : infinite
498.68/500.22	c ----------------------------------------------------------------------
498.68/500.22	c dual bound: 0.0 -> 0
498.68/500.22	c primal bound: 1e+20 -> 100000000000000000000
498.68/500.22	c scip-goal-lb: 0
498.68/500.22	c scip-goal-ub: 100000000000000000000
498.68/500.22	c writing output to: HOME/tmpzib_r1rm.opb
498.68/500.22	c appending fixed variable constraints
498.68/500.22	c scip-fixed vars: 0.00% (0/4632)
498.68/500.22	c ----------------------------------------------------------------------
498.68/500.22	c executing external solver: HOME/naps-1.03a6
498.68/500.22	c ----------------------------------------------------------------------
498.68/500.22	c command: HOME/naps-1.03a6 HOME/tmpzib_r1rm.opb
498.68/500.22	c NaPS 1.03a6.
498.68/500.22	c Input file name: HOME/tmpzib_r1rm.opb
501.16/502.77	c _____________________________________________________________________________
501.16/502.77	c std/band forms        : 1024,0
501.16/502.77	c 2cl/3cl ITE-codings   : 6684,0
501.16/502.77	c BDD/srt/adr Max costs : 155,96,0
501.16/502.77	c BDDraw/bin/mul/srt/adr: 18,0,60,946,0
501.16/502.77	c BDD nodes             : 9672
501.16/502.77	c Es1/CC detections     : 0,0
501.16/502.77	c CC sort               : 946
501.16/502.77	c SAT/UNSAT calls       : 1,0
501.16/502.77	c regenrated variables  : 0
501.16/502.77	c eliminated fixed lits : 0
501.16/502.77	c goal lit flips        : 0
501.16/502.77	c goal stages           : 0
501.16/502.77	c goal shrink           : 0
501.16/502.77	c goal coeff separations: 0
501.16/502.77	c restarts              : 2553
501.16/502.77	c conflicts             : 44765          (17744 /sec)
501.16/502.77	c decisions             : 501303         (198712 /sec)
501.16/502.77	c propagations          : 12965702       (5139479 /sec)
501.16/502.77	c inspects              : 0              (0 /sec)
501.16/502.77	c CPU time (solving tm) : 2.523 s        (2.256 s, SAT 2.256 s, UNSAT 0 s)
501.16/502.77	c Time for Opt-base     : 0.006415 s
501.16/502.77	c Steps for Opt-base    : 10440
501.16/502.77	c Time for BDD coding   : 0.02803 s
501.16/502.77	c Time for srt coding   : 0.005221 s
501.16/502.77	c _____________________________________________________________________________
501.16/502.77	s SATISFIABLE
501.16/502.77	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
501.16/502.77	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
501.16/502.77	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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100062 s]*
/proc/loadavg: 3.93 6.03 7.18 5/270 19996
/proc/meminfo: memFree=129889164/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1187848 memory=32640 CPUtime=0.07 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 3948 0 0 0 6 1 0 0 20 0 1 0 30195662 1216356352 8160 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 296962 8160 4864 1 0 268984 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192040 KiB
Current children cumulated memory: 35712 KiB

[startup+0.205663 s]*
/proc/loadavg: 3.93 6.03 7.18 4/267 19996
/proc/meminfo: memFree=129881240/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1225300 memory=77568 CPUtime=0.17 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 12519 0 0 0 14 3 0 0 20 0 1 0 30195662 1254707200 19392 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 306325 19392 7744 1 0 277683 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1229492 KiB
Current children cumulated memory: 80640 KiB

[startup+0.305658 s]*
/proc/loadavg: 3.93 6.03 7.18 4/266 19996
/proc/meminfo: memFree=129849304/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1258576 memory=109952 CPUtime=0.28 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 20542 0 0 0 23 5 0 0 20 0 1 0 30195662 1288781824 27488 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 314644 27488 7840 1 0 286002 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1262768 KiB
Current children cumulated memory: 113024 KiB

[startup+0.700215 s]
/proc/loadavg: 3.93 6.03 7.18 4/267 20010
/proc/meminfo: memFree=129828784/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1305900 memory=147916 CPUtime=0.66 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 29488 0 2 0 60 6 0 0 20 0 1 0 30195662 1337241600 36979 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 326475 36979 7936 1 0 297833 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1310092 KiB
Current children cumulated memory: 150988 KiB

[startup+1.50021 s]
/proc/loadavg: 3.93 6.03 7.18 5/270 20045
/proc/meminfo: memFree=129738304/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1359512 memory=201104 CPUtime=1.46 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 42784 0 2 0 138 8 0 0 20 0 1 0 30195662 1392140288 50276 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 339878 50276 8096 1 0 311236 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1363704 KiB
Current children cumulated memory: 204176 KiB

[startup+3.10553 s]
/proc/loadavg: 3.93 6.03 7.18 5/270 20045
/proc/meminfo: memFree=129605948/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1361652 memory=202896 CPUtime=3.06 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 43238 0 2 0 298 8 0 0 20 0 1 0 30195662 1394331648 50724 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 340413 50724 8096 1 0 311771 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1365844 KiB
Current children cumulated memory: 205968 KiB

[startup+6.30021 s]
/proc/loadavg: 3.94 6.00 7.16 5/270 20045
/proc/meminfo: memFree=129583648/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1362068 memory=203536 CPUtime=6.24 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 43393 0 2 0 616 8 0 0 20 0 1 0 30195662 1394757632 50884 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 340517 50884 8096 1 0 311875 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1366260 KiB
Current children cumulated memory: 206608 KiB

[startup+12.7002 s]
/proc/loadavg: 3.94 5.96 7.14 5/270 20045
/proc/meminfo: memFree=129423132/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1364972 memory=206096 CPUtime=12.62 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 44034 0 3 0 1254 8 0 0 20 0 1 0 30195662 1397731328 51524 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 341243 51524 8096 1 0 312601 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1369164 KiB
Current children cumulated memory: 209168 KiB

[startup+25.5002 s]
/proc/loadavg: 4.02 5.88 7.10 5/270 20045
/proc/meminfo: memFree=129308408/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1378092 memory=216180 CPUtime=25.38 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 46066 0 3 0 2530 8 0 0 20 0 1 0 30195662 1411166208 54045 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 344523 54045 8096 1 0 315881 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1382284 KiB
Current children cumulated memory: 219252 KiB

[startup+51.1056 s]
/proc/loadavg: 4.01 5.73 7.02 5/270 20046
/proc/meminfo: memFree=129176032/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1388332 memory=220276 CPUtime=50.91 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 47096 0 3 0 5083 8 0 0 20 0 1 0 30195662 1421651968 55069 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 347083 55069 8096 1 0 318441 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1392524 KiB
Current children cumulated memory: 223348 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 5.48 6.86 5/270 20097
/proc/meminfo: memFree=129240104/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1407200 memory=227680 CPUtime=101.96 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 48447 0 3 0 10187 9 0 0 20 0 1 0 30195662 1440972800 56920 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 351800 56920 8096 1 0 323158 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1411392 KiB
Current children cumulated memory: 230752 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 5.22 6.68 5/269 20147
/proc/meminfo: memFree=129362004/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1425652 memory=236896 CPUtime=161.77 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 49853 0 3 0 16168 9 0 0 20 0 1 0 30195662 1459867648 59224 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 356413 59224 8096 1 0 327771 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1429844 KiB
Current children cumulated memory: 239968 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 5.01 6.52 5/269 20149
/proc/meminfo: memFree=129246260/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1449588 memory=270300 CPUtime=221.6 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 60986 0 3 0 22149 11 0 0 20 0 1 0 30195662 1484378112 67575 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 362397 67575 8096 1 0 333755 0
Current children cumulated CPU time: 221.6 s

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

[startup+282.3 s]
/proc/loadavg: 4.13 4.86 6.37 5/270 20152
/proc/meminfo: memFree=129173220/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1449588 memory=296028 CPUtime=281.41 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 61169 0 3 0 28130 11 0 0 20 0 1 0 30195662 1484378112 74007 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 362397 74007 8096 1 0 333755 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1453780 KiB
Current children cumulated memory: 299100 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.71 6.22 5/269 20159
/proc/meminfo: memFree=129112000/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1449588 memory=296028 CPUtime=341.24 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 61429 0 3 0 34113 11 0 0 20 0 1 0 30195662 1484378112 74007 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 362397 74007 8096 1 0 333755 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 1453780 KiB
Current children cumulated memory: 299100 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.61 6.09 5/268 20163
/proc/meminfo: memFree=129100692/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1449588 memory=296028 CPUtime=401.06 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 61616 0 3 0 40095 11 0 0 20 0 1 0 30195662 1484378112 74007 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 362397 74007 8096 1 0 333755 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 1453780 KiB
Current children cumulated memory: 299100 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.51 5.96 5/268 20165
/proc/meminfo: memFree=129084804/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1449588 memory=296028 CPUtime=460.89 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 61714 0 3 0 46078 11 0 0 20 0 1 0 30195662 1484378112 74007 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 362397 74007 8096 1 0 333755 0
Current children cumulated CPU time: 460.89 s
Current children cumulated vsize: 1453780 KiB
Current children cumulated memory: 299100 KiB

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

# cumulated CPU time of all completed processes:  user=501.195 s, system=0.144613 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.47 5.91 5/268 20166
/proc/meminfo: memFree=129063912/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1449588 memory=296028 CPUtime=484.92 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 61718 0 3 0 48481 11 0 0 20 0 1 0 30195662 1484378112 74007 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 362397 74007 8096 1 0 333755 0
Current children cumulated CPU time: 484.92 s
Current children cumulated vsize: 1453780 KiB
Current children cumulated memory: 299100 KiB

[startup+492.8 s]
/proc/loadavg: 4.15 4.48 5.90 5/268 20166
/proc/meminfo: memFree=129078284/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1449588 memory=296028 CPUtime=491.3 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 61718 0 3 0 49119 11 0 0 20 0 1 0 30195662 1484378112 74007 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 362397 74007 8096 1 0 333755 0
Current children cumulated CPU time: 491.3 s
Current children cumulated vsize: 1453780 KiB
Current children cumulated memory: 299100 KiB

[startup+499.2 s]
/proc/loadavg: 4.13 4.46 5.88 5/268 20166
/proc/meminfo: memFree=129074188/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1449588 memory=296028 CPUtime=497.68 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 61718 0 3 0 49757 11 0 0 20 0 1 0 30195662 1484378112 74007 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 362397 74007 8096 1 0 333755 0
Current children cumulated CPU time: 497.68 s
Current children cumulated vsize: 1453780 KiB
Current children cumulated memory: 299100 KiB

[startup+500.8 s]
/proc/loadavg: 4.13 4.46 5.88 5/268 20166
/proc/meminfo: memFree=129074188/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1452148 memory=298716 CPUtime=498.7 cores=4,6
/proc/19996/stat : 19996 (python3) S 19991 19991 19810 0 -1 4194304 62562 0 4 0 49859 11 0 0 20 0 1 0 30195662 1486999552 74679 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 363037 74679 8128 1 0 334395 0
Current children cumulated CPU time: 498.7 s
Current children cumulated vsize: 1456340 KiB
Current children cumulated memory: 301788 KiB

[startup+501.6 s]
/proc/loadavg: 4.13 4.46 5.88 5/269 20167
/proc/meminfo: memFree=129074188/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1452148 memory=298716 CPUtime=498.7 cores=4,6
/proc/19996/stat : 19996 (python3) S 19991 19991 19810 0 -1 4194304 62562 0 4 0 49859 11 0 0 20 0 1 0 30195662 1486999552 74679 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 363037 74679 8128 1 0 334395 0
[pid=20167] ppid=19996 vsize=26360 memory=21888 CPUtime=1.36 cores=4,6
/proc/20167/stat : 20167 (naps-1.03a6) R 19996 20167 20167 0 -1 4194304 6662 0 0 0 135 1 0 0 20 0 1 0 30245682 26992640 5472 18446744073709551615 4198400 7047149 140727248738816 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 34074624 140727248746897 140727248746995 140727248746995 140727248752585 0
/proc/20167/statm: 6590 5472 544 696 0 5751 0
Current children cumulated CPU time: 500.06 s
Current children cumulated vsize: 1482700 KiB
Current children cumulated memory: 323676 KiB

[startup+502.4 s]
/proc/loadavg: 4.13 4.46 5.88 5/270 20168
/proc/meminfo: memFree=129062040/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1452148 memory=298716 CPUtime=498.7 cores=4,6
/proc/19996/stat : 19996 (python3) S 19991 19991 19810 0 -1 4194304 62562 0 4 0 49859 11 0 0 20 0 1 0 30195662 1486999552 74679 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 363037 74679 8128 1 0 334395 0
[pid=20167] ppid=19996 vsize=30456 memory=23296 CPUtime=2.16 cores=4,6
/proc/20167/stat : 20167 (naps-1.03a6) R 19996 20167 20167 0 -1 4194304 7018 0 0 0 215 1 0 0 20 0 1 0 30245682 31186944 5824 18446744073709551615 4198400 7047149 140727248738816 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 34074624 140727248746897 140727248746995 140727248746995 140727248752585 0
/proc/20167/statm: 7614 5824 544 696 0 6775 0
Current children cumulated CPU time: 500.86 s
Current children cumulated vsize: 1486796 KiB
Current children cumulated memory: 325084 KiB

[startup+502.8 s]
/proc/loadavg: 4.13 4.46 5.88 5/270 20168
/proc/meminfo: memFree=129062040/131249992 swapFree=33010684/33010684
[pid=19991] ppid=19980 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19991/stat : 19991 (scip-naps-1.00.) S 19980 19991 19810 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 30195660 4292608 768 18446744073709551615 94640145616896 94640146511429 140721630265904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640146750480 94640146798224 94640173850624 140721630267809 140721630267906 140721630267906 140721630273508 0
/proc/19991/statm: 1048 768 704 219 0 110 0
[pid=19996] ppid=19991 vsize=1452148 memory=298716 CPUtime=501.26 cores=4,6
/proc/19996/stat : 19996 (python3) R 19991 19991 19810 0 -1 4194304 64032 7082 4 0 49862 11 252 1 20 0 1 0 30195662 1486999552 74679 18446744073709551615 94039217397760 94039217398137 140730707050368 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94039217409432 94039217410052 94039246409728 140730707056984 140730707057186 140730707057186 140730707062759 0
/proc/19996/statm: 363037 74679 8128 1 0 334395 0
Current children cumulated CPU time: 501.26 s
Current children cumulated vsize: 1456340 KiB
Current children cumulated memory: 301788 KiB

Child status: 0

Real time (s): 502.856
CPU time (s): 501.339
CPU user time (s): 501.195
CPU system time (s): 0.144613
CPU usage (%): 99.6984
Max. virtual memory (cumulated for all children) (KiB): 1486796
Max. memory (cumulated for all children) (KiB): 325340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 501.195
system time used= 0.144613
maximum resident set size= 298716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75348
page faults= 4
swaps= 0
block input operations= 104
block output operations= 2168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 375
involuntary context switches= 2845


# summary of solver processes directly reported to runsolver:
#   pid: 19991
#   total CPU time (s): 501.339
#   total CPU user time (s): 501.195
#   total CPU system time (s): 0.144613

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.914698 second user time and 2.3042 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-28 23:12:49
IDJOB=4491981
IDBENCH=147755
IDSOLVER=3368
FILE ID=nodeC025/4491981-1751145169
RUNJOBID= nodeC025-1751145166-19821
SLURM_JOB_ID= 9587446
Free space on /tmp= 433048 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:1-13.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491981-1751145169/watcher-4491981-1751145169 -o /tmp/evaluation-result-4491981-1751145169/solver-4491981-1751145169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19821 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4491981-1751145169.opb

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

MD5SUM BENCH= 0255b3d891da2276599e5fcb43348962
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.831
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		: 3603.044
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		: 3599.968
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		: 3599.914
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.818
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.910
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.184
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		: 3600.608
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:        129892720 kB
MemAvailable:   129531880 kB
Buffers:            3280 kB
Cached:           442148 kB
SwapCached:            0 kB
Active:           525312 kB
Inactive:         184332 kB
Active(anon):     282304 kB
Inactive(anon):        0 kB
Active(file):     243008 kB
Inactive(file):   184332 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25108 kB
Writeback:             0 kB
AnonPages:        267424 kB
Mapped:           123564 kB
Shmem:             18084 kB
KReclaimable:      86332 kB
Slab:             169752 kB
SReclaimable:      86332 kB
SUnreclaim:        83420 kB
KernelStack:        4272 kB
PageTables:         3840 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2708456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:21:12