Trace number 4434887

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02OPT5900212 20.676 20.7515

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_3_ic.opb
MD5SUMe9221fba7963ffffb3bf7b90cd42a338
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5900212
Best CPU time to get the best result obtained on this benchmark3.24394
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3435
Total number of constraints6802
Number of constraints which are clauses2970
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints3825
Minimum length of a constraint2
Maximum length of a constraint105
Number of terms in the objective function 645
Biggest coefficient in the objective function 68921000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3268239507
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 68921000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3268239507
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.07	c Default LC presolving (default).
0.00/0.07	c ** Before presolving: virtualMemUsedAtLc = 41975808, getVmSize() = 41975808, SCIPgetMemUsed() = 15526859, SCIPgetMemTotal() = 19956643, SCIPgetMemExternEstim() = 9741873
0.00/0.07	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.31/0.38	c ** Estimated virtualMemUsedAtSolver = 35605162, getVmSize() = 64839680, SCIPgetMemUsed() = 19906881, SCIPgetMemTotal() = 40131785, SCIPgetMemExternEstim() = 9741873
0.31/0.38	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.31/0.38	c Original Problem   :
0.31/0.38	c   Problem name     : instance-4434887-1721142910
0.31/0.38	c   Variables        : 3435 (3435 binary, 0 integer, 0 implicit integer, 0 continuous)
0.31/0.38	c   Constraints      : 6802
0.31/0.38	c   Objective sense  : minimize
0.31/0.38	c Presolved Problem  :
0.31/0.38	c   Variables        : 1710 (1710 binary, 0 integer, 0 implicit integer, 0 continuous)
0.31/0.38	c   Constraints      : 1759
0.31/0.38	c Constraints        : Number
0.31/0.38	c   knapsack         : 150 
0.31/0.38	c   setppc           : 16 
0.31/0.38	c   and              : 1470 
0.31/0.38	c   linear           : 3 
0.31/0.38	c   logicor          : 120 
0.31/0.38	c ** Instance transfer method used: 0
0.31/0.40	c ** ParaScipInstance copy does not increase the number of variables. **
0.31/0.43	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.31/0.43	c                                Nodes    Active                                            
0.31/0.43	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.58/0.63	c *       1              0           1         1   236031854.0000                -          -
5.56/5.66	c         6             13          12         1   236031854.0000     5123683.5385          -
5.97/6.01	c *       6             13          12         1     6853600.0000     5123683.5385     33.76%
7.16/7.27	c *       7             17          13         1     6585088.0000     5141567.0000     28.08%
7.35/7.45	c *       7             26          20         1     6451466.0000     5141567.0000     25.48%
7.65/7.79	c *       8             26          20         1     6445308.0000     5141567.0000     25.36%
8.07/8.18	c *       8             26          20         1     6321518.0000     5141567.0000     22.95%
8.35/8.44	c *       8             49          25         1     6280622.0000     5141567.0000     22.15%
8.66/8.78	c *       9             49          25         1     6081388.0000     5141567.0000     18.28%
8.97/9.03	c *       9             49          25         1     6081004.0000     5141567.0000     18.27%
8.97/9.10	c *       9             49          25         1     6071730.0000     5141567.0000     18.09%
9.07/9.14	c *       9             49          25         1     6049194.0000     5141567.0000     17.65%
10.55/10.61	c *      11             90          22         1     5955644.0000     5142132.5611     15.82%
10.55/10.67	c        11            132          22         1     5955644.0000     5142132.5611     15.82%
10.55/10.68	c *      11            132          22         1     5920016.0000     5142132.5611     15.13%
16.05/16.17	c *      16            318          13         1     5900212.0000     5216416.6667     13.11%
16.05/16.17	c        16            318          13         1     5900212.0000     5216416.6667     13.11%
20.52/20.66	c        21            527           0         0     5900212.0000     5900212.0000      0.00%
20.62/20.70	c        21            527           0         0     5900212.0000     5900212.0000          -
20.62/20.70	c SCIP Status        : c problem is solved
20.62/20.70	c Total Time         : 20.7000
20.62/20.70	c   solving          : 20.7000
20.62/20.70	c   presolving       : 0.3088 (included in solving)
20.62/20.70	c B&B Tree           :
20.62/20.70	c   nodes (total)    : 527
20.62/20.70	c Solution           :
20.62/20.70	c   Solutions found  : 14
20.62/20.70	c   Primal Bound     : +5.90021200000000e+06
20.62/20.70	c   Dual Bound       : +5.90021200000000e+06
20.62/20.70	c Gap                : 0.00000 %
20.62/20.70	o 5900212
20.62/20.70	s OPTIMUM FOUND
20.62/20.70	v -x2835 -x2819 -x2803 -x2787 -x2771 -x2755 -x2964 -x2948 -x2932 -x2916 -x2900 -x2884 -x2868 -x2852 -x2836 -x990 -x989 -x988 -x987 
20.62/20.70	v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 
20.62/20.70	v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 
20.62/20.70	v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x1107 
20.62/20.70	v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 
20.62/20.70	v -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 
20.62/20.70	v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 
20.62/20.70	v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
20.62/20.70	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 
20.62/20.70	v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 
20.62/20.70	v -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 
20.62/20.70	v -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 
20.62/20.70	v -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 -x760 -x759 -x758 -x757 -x756 -x755 
20.62/20.70	v -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 x917 -x916 
20.62/20.70	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
20.62/20.70	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 
20.62/20.70	v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 
20.62/20.70	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 
20.62/20.70	v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 
20.62/20.70	v -x810 -x809 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 
20.62/20.70	v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 
20.62/20.70	v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 
20.62/20.70	v -x566 -x565 -x564 -x563 -x562 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 
20.62/20.70	v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 
20.62/20.70	v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 
20.62/20.70	v -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 
20.62/20.70	v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 
20.62/20.70	v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x444 -x443 -x442 
20.62/20.70	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 
20.62/20.70	v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 
20.62/20.70	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x561 
20.62/20.70	v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 
20.62/20.70	v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 
20.62/20.70	v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 
20.62/20.70	v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 
20.62/20.70	v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 
20.62/20.70	v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 
20.62/20.70	v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 
20.62/20.70	v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 
20.62/20.70	v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x379 -x378 -x377 -x376 -x375 -x374 
20.62/20.70	v -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 
20.62/20.70	v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 
20.62/20.70	v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 
20.62/20.70	v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 
20.62/20.70	v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 
20.62/20.70	v -x268 -x267 -x266 -x265 -x264 -x263 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 
20.62/20.70	v -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 
20.62/20.70	v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x197 -x196 
20.62/20.70	v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 
20.62/20.70	v -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 
20.62/20.70	v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 
20.62/20.70	v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 
20.62/20.70	v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 
20.62/20.70	v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 
20.62/20.70	v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 
20.62/20.70	v -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 
20.62/20.70	v -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 x2581 -x2580 -x2579 -x2578 -x2577 
20.62/20.70	v -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2745 -x2744 -x2743 -x2742 -x2741 
20.62/20.70	v -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 
20.62/20.70	v -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 
20.62/20.70	v -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 
20.62/20.70	v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 
20.62/20.70	v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 
20.62/20.70	v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 
20.62/20.70	v -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 
20.62/20.70	v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 
20.62/20.70	v -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 
20.62/20.70	v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2563 -x2562 
20.62/20.70	v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 
20.62/20.70	v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 
20.62/20.70	v -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 
20.62/20.70	v -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 
20.62/20.70	v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 
20.62/20.70	v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2277 -x2276 -x2275 -x2274 -x2273 
20.62/20.70	v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 
20.62/20.70	v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 
20.62/20.70	v -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 
20.62/20.70	v -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 
20.62/20.70	v -x2201 -x2200 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 
20.62/20.70	v -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 
20.62/20.70	v -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 
20.62/20.70	v -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 
20.62/20.70	v -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 
20.62/20.70	v -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2095 -x2094 
20.62/20.70	v -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 
20.62/20.70	v -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 
20.62/20.70	v -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 
20.62/20.70	v -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 
20.62/20.70	v -x2022 -x2021 -x2020 -x2019 -x2018 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 
20.62/20.70	v -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 
20.62/20.70	v -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 
20.62/20.70	v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 x2137 -x2136 -x2135 -x2134 -x2133 
20.62/20.70	v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 
20.62/20.70	v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 
20.62/20.70	v x2097 -x2096 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 
20.62/20.70	v -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 
20.62/20.70	v -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 
20.62/20.70	v -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 
20.62/20.70	v -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 
20.62/20.70	v -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 
20.62/20.70	v -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 
20.62/20.70	v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 
20.62/20.70	v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 
20.62/20.70	v -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 
20.62/20.70	v -x1918 -x1917 -x1916 -x1915 -x1914 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 
20.62/20.70	v -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 
20.62/20.70	v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 
20.62/20.70	v -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 
20.62/20.70	v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 
20.62/20.70	v -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 
20.62/20.70	v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 
20.62/20.70	v -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 
20.62/20.70	v -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 
20.62/20.70	v -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 
20.62/20.70	v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 x1733 -x1732 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 
20.62/20.70	v -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 
20.62/20.70	v -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 
20.62/20.70	v -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 
20.62/20.70	v -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1653 -x1652 -x1651 
20.62/20.70	v -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 
20.62/20.70	v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 
20.62/20.70	v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 
20.62/20.70	v -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 
20.62/20.70	v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 
20.62/20.70	v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 
20.62/20.70	v x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 
20.62/20.70	v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 
20.62/20.70	v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 
20.62/20.70	v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 
20.62/20.70	v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 
20.62/20.70	v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 
20.62/20.70	v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 
20.62/20.70	v -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 
20.62/20.70	v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 
20.62/20.70	v -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1185 -x1184 -x1183 
20.62/20.70	v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 
20.62/20.70	v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 
20.62/20.70	v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 
20.62/20.70	v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 
20.62/20.70	v -x1111 -x1110 -x1109 -x1108 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 
20.62/20.70	v -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 
20.62/20.70	v -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 
20.62/20.70	v x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 
20.62/20.70	v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 
20.62/20.70	v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 
20.62/20.70	v -x3300 -x3284 -x3268 -x3252 -x3236 -x3220 -x3429 -x3413 -x3397 -x3381 -x3365 -x3349 -x3333 -x3317 -x3301 -x3060 -x3044 -x3028 
20.62/20.70	v -x3012 -x2996 -x2980 -x3189 -x3173 -x3157 -x3141 -x3125 -x3109 -x3093 -x3077 -x3061 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 
20.62/20.70	v -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 
20.62/20.70	v -x3285 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 x3267 -x3266 
20.62/20.70	v -x3265 -x3264 x3263 -x3262 -x3261 x3260 -x3259 x3258 -x3257 -x3256 -x3255 -x3254 x3253 -x3251 -x3250 -x3249 x3248 -x3247 -x3246 
20.62/20.70	v -x3245 -x3244 x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 
20.62/20.70	v -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3435 -x3434 -x3433 
20.62/20.70	v -x3432 -x3431 -x3430 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 x3418 x3417 -x3416 -x3415 -x3414 
20.62/20.70	v -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3396 -x3395 -x3394 
20.62/20.70	v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3380 -x3379 -x3378 -x3377 -x3376 
20.62/20.70	v -x3375 -x3374 x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3364 x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 
20.62/20.70	v -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3348 -x3347 -x3346 -x3345 -x3344 x3343 x3342 -x3341 -x3340 -x3339 -x3338 -x3337 
20.62/20.70	v -x3336 x3335 -x3334 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 
20.62/20.70	v -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3210 -x3209 -x3208 
20.62/20.70	v x3207 -x3206 -x3205 -x3204 x3203 -x3202 -x3201 x3200 -x3199 x3198 -x3197 -x3196 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 
20.62/20.73	v -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 x2822 -x2821 -x2820 -x2818 -x2817 x2816 -x2815 x2814 -x2813 -x2812 -x2811 -x2810 
20.62/20.73	v -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 
20.62/20.73	v -x2790 -x2789 -x2788 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 x2774 -x2773 -x2772 
20.62/20.73	v -x2770 x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2754 -x2753 x2752 
20.62/20.73	v -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2970 x2969 -x2968 -x2967 x2966 -x2965 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 
20.62/20.73	v -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 
20.62/20.73	v -x2938 -x2937 -x2936 x2935 -x2934 -x2933 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 
20.62/20.73	v -x2919 -x2918 -x2917 -x2915 x2914 -x2913 -x2912 x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 
20.62/20.73	v -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 x2886 -x2885 -x2883 -x2882 x2881 -x2880 
20.62/20.73	v -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2867 -x2866 x2865 -x2864 -x2863 -x2862 -x2861 
20.62/20.73	v -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 
20.62/20.73	v -x2842 x2841 -x2840 x2839 -x2838 -x2837 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 
20.62/20.73	v -x3046 -x3045 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3027 
20.62/20.73	v -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3011 x3010 -x3009 -x3008 
20.62/20.73	v x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2995 -x2994 -x2993 -x2992 -x2991 x2990 -x2989 
20.62/20.73	v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 x2982 -x2981 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x3195 
20.62/20.73	v -x3194 -x3193 -x3192 -x3191 -x3190 -x3188 -x3187 -x3186 x3185 -x3184 -x3183 -x3182 -x3181 x3180 -x3179 -x3178 -x3177 -x3176 
20.62/20.73	v -x3175 -x3174 -x3172 -x3171 -x3170 -x3169 -x3168 x3167 -x3166 -x3165 -x3164 -x3163 x3162 -x3161 -x3160 -x3159 -x3158 -x3156 
20.62/20.73	v -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3140 -x3139 x3138 -x3137 
20.62/20.73	v -x3136 -x3135 x3134 -x3133 -x3132 x3131 -x3130 x3129 -x3128 -x3127 -x3126 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 
20.62/20.73	v -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 
20.62/20.73	v -x3098 -x3097 x3096 -x3095 x3094 -x3092 x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 x3083 -x3082 -x3081 -x3080 -x3079 
20.62/20.73	v -x3078 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 x3063 -x3062

Verifier Data 

OK	5900212

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: 64059 MiB (63074 MiB free)
  memory of node 1: 64510 MiB (63491 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434887-1721142910/watcher-4434887-1721142910 -o /tmp/evaluation-result-4434887-1721142910/solver-4434887-1721142910 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721142923-851678 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434887-1721142910.opb -qsol -t 3600 -sth 1 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=851713, runsolver pid=851709
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 1.09 1.39 2.05 5/233 851720
/proc/meminfo: memFree=129499720/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=45356 memory=34232 CPUtime=0.1 cores=1,3
/proc/851713/stat : 851713 (fscip) R 851709 851713 851666 0 -1 4194304 6163 0 0 0 9 1 0 0 20 0 1 0 166447503 46444544 8500 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 11339 8500 2622 3032 0 7739 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45356 KiB
Current children cumulated memory: 34232 KiB

[startup+0.214598 s]*
/proc/loadavg: 1.09 1.39 2.05 6/233 851720
/proc/meminfo: memFree=129482912/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=53784 memory=43200 CPUtime=0.22 cores=1,3
/proc/851713/stat : 851713 (fscip) R 851709 851713 851666 0 -1 4194304 9659 0 0 0 19 3 0 0 20 0 1 0 166447503 55074816 10800 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 13446 10800 2734 3032 0 9846 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 53784 KiB
Current children cumulated memory: 43200 KiB

[startup+0.314444 s]*
/proc/loadavg: 1.09 1.39 2.05 5/245 851740
/proc/meminfo: memFree=129449148/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=59348 memory=47748 CPUtime=0.31 cores=1,3
/proc/851713/stat : 851713 (fscip) R 851709 851713 851666 0 -1 4194304 10802 0 0 0 28 3 0 0 20 0 1 0 166447503 60772352 11937 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 14837 11937 2750 3032 0 11237 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 59348 KiB
Current children cumulated memory: 47748 KiB

[startup+0.700383 s]
/proc/loadavg: 1.09 1.39 2.05 6/249 851744
/proc/meminfo: memFree=129323044/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=154028 memory=80784 CPUtime=0.67 cores=1,3
/proc/851713/stat : 851713 (fscip) S 851709 851713 851666 0 -1 1077936128 19371 0 0 0 61 6 0 0 20 0 3 0 166447503 157724672 20196 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 38507 20196 2910 3032 0 24451 0
[pid=851713/tid=851741] ppid=851709 vsize=154028 memory=41456 CPUtime=0.27 cores=1,3
/proc/851713/task/851741/stat : 851741 (fscip) R 851709 851713 851666 0 -1 4194368 6845 0 0 0 25 2 0 0 20 0 3 0 166447542 157724672 20196 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
[pid=851713/tid=851743] ppid=851709 vsize=154028 memory=11600 CPUtime=0 cores=1,3
/proc/851713/task/851743/stat : 851743 (fscip) S 851709 851713 851666 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 166447546 157724672 20196 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 154028 KiB
Current children cumulated memory: 80784 KiB

[startup+1.50044 s]
/proc/loadavg: 1.09 1.39 2.05 5/249 851744
/proc/meminfo: memFree=129043224/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=154028 memory=96120 CPUtime=1.47 cores=1,3
/proc/851713/stat : 851713 (fscip) S 851709 851713 851666 0 -1 1077936128 29803 0 0 0 139 8 0 0 20 0 3 0 166447503 157724672 24030 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 38507 24030 2926 3032 0 29093 0
[pid=851713/tid=851741] ppid=851709 vsize=154028 memory=11600 CPUtime=1.07 cores=1,3
/proc/851713/task/851741/stat : 851741 (fscip) R 851709 851713 851666 0 -1 4194368 17269 0 0 0 104 3 0 0 20 0 3 0 166447542 157724672 24030 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
[pid=851713/tid=851743] ppid=851709 vsize=154028 memory=41456 CPUtime=0 cores=1,3
/proc/851713/task/851743/stat : 851743 (fscip) S 851709 851713 851666 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 166447546 157724672 24030 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 154028 KiB
Current children cumulated memory: 96120 KiB

[startup+3.114 s]
/proc/loadavg: 1.33 1.43 2.06 5/249 851746
/proc/meminfo: memFree=127915220/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=219564 memory=129900 CPUtime=3.08 cores=1,3
/proc/851713/stat : 851713 (fscip) S 851709 851713 851666 0 -1 1077936128 39988 0 0 0 299 9 0 0 20 0 3 0 166447503 224833536 32475 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 54891 32475 2926 3032 0 38203 0
[pid=851713/tid=851741] ppid=851709 vsize=219564 memory=0 CPUtime=2.68 cores=1,3
/proc/851713/task/851741/stat : 851741 (fscip) R 851709 851713 851666 0 -1 4194368 27454 0 0 0 263 5 0 0 20 0 3 0 166447542 224833536 32475 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
[pid=851713/tid=851743] ppid=851709 vsize=219564 memory=11600 CPUtime=0 cores=1,3
/proc/851713/task/851743/stat : 851743 (fscip) S 851709 851713 851666 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 166447546 224833536 32475 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 219564 KiB
Current children cumulated memory: 129900 KiB

[startup+6.30041 s]
/proc/loadavg: 1.33 1.43 2.06 5/249 851746
/proc/meminfo: memFree=127230552/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=219564 memory=130904 CPUtime=6.26 cores=1,3
/proc/851713/stat : 851713 (fscip) S 851709 851713 851666 0 -1 1077936128 45773 0 0 0 616 10 0 0 20 0 3 0 166447503 224833536 32726 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 54891 32726 2974 3032 0 38203 0
[pid=851713/tid=851741] ppid=851709 vsize=219564 memory=0 CPUtime=5.85 cores=1,3
/proc/851713/task/851741/stat : 851741 (fscip) R 851709 851713 851666 0 -1 4194368 32798 0 0 0 580 5 0 0 20 0 3 0 166447542 224833536 32726 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
[pid=851713/tid=851743] ppid=851709 vsize=219564 memory=6363677977156740717 CPUtime=0 cores=1,3
/proc/851713/task/851743/stat : 851743 (fscip) S 851709 851713 851666 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 166447546 224833536 32726 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 219564 KiB
Current children cumulated memory: 130904 KiB

[startup+12.7004 s]
/proc/loadavg: 1.54 1.48 2.07 5/251 851797
/proc/meminfo: memFree=124811700/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=219564 memory=155892 CPUtime=12.65 cores=1,3
/proc/851713/stat : 851713 (fscip) S 851709 851713 851666 0 -1 1077936128 78693 0 0 0 1252 13 0 0 20 0 3 0 166447503 224833536 38973 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 54891 38973 2974 3032 0 48699 0
[pid=851713/tid=851741] ppid=851709 vsize=219564 memory=0 CPUtime=12.24 cores=1,3
/proc/851713/task/851741/stat : 851741 (fscip) R 851709 851713 851666 0 -1 4194368 65070 0 0 0 1216 8 0 0 20 0 3 0 166447542 224833536 38973 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
[pid=851713/tid=851743] ppid=851709 vsize=219564 memory=117680 CPUtime=0 cores=1,3
/proc/851713/task/851743/stat : 851743 (fscip) S 851709 851713 851666 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 166447546 224833536 38973 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 219564 KiB
Current children cumulated memory: 155892 KiB

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

# cumulated CPU time of all completed processes:  user=20.5028 s, system=0.173175 s

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

[startup+12.8005 s]
/proc/loadavg: 1.54 1.48 2.07 5/251 851797
/proc/meminfo: memFree=124811700/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=219564 memory=156068 CPUtime=12.75 cores=1,3
/proc/851713/stat : 851713 (fscip) S 851709 851713 851666 0 -1 1077936128 78787 0 0 0 1262 13 0 0 20 0 3 0 166447503 224833536 39017 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 54891 39017 2974 3032 0 48699 0
[pid=851713/tid=851741] ppid=851709 vsize=219564 memory=130904 CPUtime=12.34 cores=1,3
/proc/851713/task/851741/stat : 851741 (fscip) R 851709 851713 851666 0 -1 4194368 65164 0 0 0 1226 8 0 0 20 0 3 0 166447542 224833536 39017 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
[pid=851713/tid=851743] ppid=851709 vsize=219564 memory=11600 CPUtime=0 cores=1,3
/proc/851713/task/851743/stat : 851743 (fscip) S 851709 851713 851666 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 166447546 224833536 39017 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 219564 KiB
Current children cumulated memory: 156068 KiB

[startup+16.0004 s]*
/proc/loadavg: 1.82 1.54 2.09 5/251 851797
/proc/meminfo: memFree=122632560/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=285100 memory=170604 CPUtime=15.94 cores=1,3
/proc/851713/stat : 851713 (fscip) S 851709 851713 851666 0 -1 1077936128 92564 0 0 0 1580 14 0 0 20 0 3 0 166447503 291942400 42651 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 71275 42651 2974 3032 0 53681 0
[pid=851713/tid=851741] ppid=851709 vsize=285100 memory=-8598888376513700540 CPUtime=15.54 cores=1,3
/proc/851713/task/851741/stat : 851741 (fscip) R 851709 851713 851666 0 -1 4194368 78921 0 0 0 1545 9 0 0 20 0 3 0 166447542 291942400 42651 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
[pid=851713/tid=851743] ppid=851709 vsize=285100 memory=5551 CPUtime=0 cores=1,3
/proc/851713/task/851743/stat : 851743 (fscip) S 851709 851713 851666 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 166447546 291942400 42651 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
Current children cumulated CPU time: 15.94 s
Current children cumulated vsize: 285100 KiB
Current children cumulated memory: 170604 KiB

[startup+19.2004 s]
/proc/loadavg: 1.99 1.58 2.10 5/251 851797
/proc/meminfo: memFree=122055480/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=285100 memory=171312 CPUtime=19.12 cores=1,3
/proc/851713/stat : 851713 (fscip) S 851709 851713 851666 0 -1 1077936128 94099 0 0 0 1898 14 0 0 20 0 3 0 166447503 291942400 42828 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 71275 42828 2974 3032 0 53681 0
[pid=851713/tid=851741] ppid=851709 vsize=285100 memory=130904 CPUtime=18.71 cores=1,3
/proc/851713/task/851741/stat : 851741 (fscip) R 851709 851713 851666 0 -1 4194368 80069 0 0 0 1862 9 0 0 20 0 3 0 166447542 291942400 42828 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
[pid=851713/tid=851743] ppid=851709 vsize=285100 memory=117680 CPUtime=0 cores=1,3
/proc/851713/task/851743/stat : 851743 (fscip) S 851709 851713 851666 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 166447546 291942400 42828 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
Current children cumulated CPU time: 19.12 s
Current children cumulated vsize: 285100 KiB
Current children cumulated memory: 171312 KiB

[startup+20.0004 s]*
/proc/loadavg: 1.99 1.58 2.10 5/251 851797
/proc/meminfo: memFree=121894616/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=285100 memory=172592 CPUtime=19.93 cores=1,3
/proc/851713/stat : 851713 (fscip) S 851709 851713 851666 0 -1 1077936128 103094 0 0 0 1979 14 0 0 20 0 3 0 166447503 291942400 43148 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 71275 43148 3294 3032 0 53681 0
[pid=851713/tid=851741] ppid=851709 vsize=285100 memory=4376 CPUtime=19.52 cores=1,3
/proc/851713/task/851741/stat : 851741 (fscip) R 851709 851713 851666 0 -1 4194368 89045 0 0 0 1943 9 0 0 20 0 3 0 166447542 291942400 43148 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
[pid=851713/tid=851743] ppid=851709 vsize=285100 memory=4448 CPUtime=0 cores=1,3
/proc/851713/task/851743/stat : 851743 (fscip) S 851709 851713 851666 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 166447546 291942400 43148 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
Current children cumulated CPU time: 19.93 s
Current children cumulated vsize: 285100 KiB
Current children cumulated memory: 172592 KiB

[startup+20.4003 s]
/proc/loadavg: 1.99 1.58 2.10 5/251 851797
/proc/meminfo: memFree=121894616/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=285100 memory=172592 CPUtime=20.32 cores=1,3
/proc/851713/stat : 851713 (fscip) S 851709 851713 851666 0 -1 1077936128 103502 0 0 0 2017 15 0 0 20 0 3 0 166447503 291942400 43148 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 71275 43148 3294 3032 0 53681 0
[pid=851713/tid=851741] ppid=851709 vsize=285100 memory=41456 CPUtime=19.9 cores=1,3
/proc/851713/task/851741/stat : 851741 (fscip) R 851709 851713 851666 0 -1 4194368 89452 0 0 0 1981 9 0 0 20 0 3 0 166447542 291942400 43148 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
[pid=851713/tid=851743] ppid=851709 vsize=285100 memory=11992 CPUtime=0 cores=1,3
/proc/851713/task/851743/stat : 851743 (fscip) S 851709 851713 851666 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 166447546 291942400 43148 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
Current children cumulated CPU time: 20.32 s
Current children cumulated vsize: 285100 KiB
Current children cumulated memory: 172592 KiB

[startup+20.6004 s]
/proc/loadavg: 1.99 1.58 2.10 5/251 851797
/proc/meminfo: memFree=121894616/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=285100 memory=172592 CPUtime=20.52 cores=1,3
/proc/851713/stat : 851713 (fscip) S 851709 851713 851666 0 -1 1077936128 103814 0 0 0 2037 15 0 0 20 0 3 0 166447503 291942400 43148 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 71275 43148 3294 3032 0 53681 0
[pid=851713/tid=851741] ppid=851709 vsize=285100 memory=2648 CPUtime=20.1 cores=1,3
/proc/851713/task/851741/stat : 851741 (fscip) R 851709 851713 851666 0 -1 4194368 89761 0 0 0 2001 9 0 0 20 0 3 0 166447542 291942400 43148 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
[pid=851713/tid=851743] ppid=851709 vsize=285100 memory=2312 CPUtime=0 cores=1,3
/proc/851713/task/851743/stat : 851743 (fscip) S 851709 851713 851666 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 166447546 291942400 43148 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
Current children cumulated CPU time: 20.52 s
Current children cumulated vsize: 285100 KiB
Current children cumulated memory: 172592 KiB

[startup+20.7004 s]
/proc/loadavg: 1.99 1.58 2.10 5/251 851797
/proc/meminfo: memFree=121894616/131655788 swapFree=131071996/131071996
[pid=851713] ppid=851709 vsize=280996 memory=168492 CPUtime=20.62 cores=1,3
/proc/851713/stat : 851713 (fscip) S 851709 851713 851666 0 -1 1077936128 107043 0 0 0 2047 15 0 0 20 0 3 0 166447503 287739904 42123 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
/proc/851713/statm: 70249 42123 3294 3032 0 52655 0
[pid=851713/tid=851741] ppid=851709 vsize=280996 memory=0 CPUtime=20.21 cores=1,3
/proc/851713/task/851741/stat : 851741 (fscip) R 851709 851713 851666 0 -1 4194368 93076 0 0 0 2011 10 0 0 20 0 3 0 166447542 287739904 42123 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
[pid=851713/tid=851743] ppid=851709 vsize=280996 memory=158596 CPUtime=0 cores=1,3
/proc/851713/task/851743/stat : 851743 (fscip) S 851709 851713 851666 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 166447546 287739904 42123 134679101440 4194304 16613245 140721577930592 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27365376 140721577931797 140721577931913 140721577931913 140721577938928 0
Current children cumulated CPU time: 20.62 s
Current children cumulated vsize: 280996 KiB
Current children cumulated memory: 168492 KiB

Child status: 0

Real time (s): 20.7515
CPU time (s): 20.676
CPU user time (s): 20.5028
CPU system time (s): 0.173175
CPU usage (%): 99.6362
Max. virtual memory (cumulated for all children) (KiB): 285100
Max. memory (cumulated for all children) (KiB): 172592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.5028
system time used= 0.173175
maximum resident set size= 172592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113
involuntary context switches= 29


# summary of solver processes directly reported to runsolver:
#   pid: 851713
#   total CPU time (s): 20.676
#   total CPU user time (s): 20.5028
#   total CPU system time (s): 0.173175

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.158079 second user time and 0.270121 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-16 17:15:23
IDJOB=4434887
IDBENCH=155731
IDSOLVER=3064
FILE ID=nodeC008/4434887-1721142910
RUNJOBID= nodeC008-1721142923-851678
SLURM_JOB_ID= 7505729
Free space on /tmp= 723768 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat15_5_3_3_ic.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434887-1721142910/watcher-4434887-1721142910 -o /tmp/evaluation-result-4434887-1721142910/solver-4434887-1721142910 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721142923-851678 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434887-1721142910.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= e9221fba7963ffffb3bf7b90cd42a338
RANDOM SEED=1339028750

nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00001f
cpu MHz		: 1197.245
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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	: 0xb00001f
cpu MHz		: 3411.226
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.257
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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	: 0xb00001f
cpu MHz		: 1197.238
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.280
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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	: 0xb00001f
cpu MHz		: 1197.264
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.242
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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	: 0xb00001f
cpu MHz		: 1197.242
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129604384 kB
MemAvailable:   129986944 kB
Buffers:          439100 kB
Cached:           786256 kB
SwapCached:            0 kB
Active:           699612 kB
Inactive:         828340 kB
Active(anon):       1384 kB
Inactive(anon):   338916 kB
Active(file):     698228 kB
Inactive(file):   489424 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             80992 kB
Writeback:             0 kB
AnonPages:        302700 kB
Mapped:           103956 kB
Shmem:             37704 kB
KReclaimable:      69880 kB
Slab:             164004 kB
SReclaimable:      69880 kB
SUnreclaim:        94124 kB
KernelStack:        3680 kB
PageTables:         9176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     682116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52864 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723420 MiB
End job on nodeC008 at 2024-07-16 17:15:44