Trace number 4464219

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-30OPT5900212 20.5738 20.6658

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464219-1722382560/watcher-4464219-1722382560 -o /tmp/evaluation-result-4464219-1722382560/solver-4464219-1722382560 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28009 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464219-1722382560.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
Current StackSize limit: 8192 KiB

solver pid=30582, runsolver pid=30579

[startup+0.100102 s]*
/proc/loadavg: 4.05 4.11 4.09 5/247 30583
/proc/meminfo: memFree=128176824/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=56708 memory=46212 CPUtime=0.1 cores=1,3
/proc/30582/stat : 30582 (fscip) R 30579 30582 27997 0 -1 4194304 10395 0 0 0 9 1 0 0 20 0 1 0 4626359 58068992 11553 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 14177 11553 2758 3035 0 10573 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56708 KiB
Current children cumulated memory: 46212 KiB

[startup+0.213588 s]*
/proc/loadavg: 4.05 4.11 4.09 5/249 30585
/proc/meminfo: memFree=128155208/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=152000 memory=65648 CPUtime=0.2 cores=1,3
/proc/30582/stat : 30582 (fscip) S 30579 30582 27997 0 -1 1077936128 15685 0 0 0 18 2 0 0 20 0 3 0 4626359 155648000 16412 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 38000 16412 2806 3035 0 20695 0
[pid=30582/tid=30584] ppid=30579 vsize=152000 memory=8505393642823811203 CPUtime=0.03 cores=1,3
/proc/30582/task/30584/stat : 30584 (fscip) R 30579 30582 27997 0 -1 4194368 3155 0 0 0 3 0 0 0 20 0 3 0 4626375 155648000 16412 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
[pid=30582/tid=30585] ppid=30579 vsize=152000 memory=1633 CPUtime=0 cores=1,3
/proc/30582/task/30585/stat : 30585 (fscip) S 30579 30582 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4626377 155648000 16412 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 152000 KiB
Current children cumulated memory: 65648 KiB

[startup+0.313577 s]*
/proc/loadavg: 4.05 4.11 4.09 5/249 30585
/proc/meminfo: memFree=128144472/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=154048 memory=76372 CPUtime=0.29 cores=1,3
/proc/30582/stat : 30582 (fscip) S 30579 30582 27997 0 -1 1077936128 18302 0 0 0 26 3 0 0 20 0 3 0 4626359 157745152 19093 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 38512 19093 2854 3035 0 23358 0
[pid=30582/tid=30584] ppid=30579 vsize=154048 memory=-5155625786873244549 CPUtime=0.11 cores=1,3
/proc/30582/task/30584/stat : 30584 (fscip) R 30579 30582 27997 0 -1 4194368 5772 0 0 0 10 1 0 0 20 0 3 0 4626375 157745152 19093 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
[pid=30582/tid=30585] ppid=30579 vsize=154048 memory=0 CPUtime=0 cores=1,3
/proc/30582/task/30585/stat : 30585 (fscip) S 30579 30582 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4626377 157745152 19093 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 154048 KiB
Current children cumulated memory: 76372 KiB

[startup+0.700355 s]
/proc/loadavg: 4.05 4.11 4.09 5/249 30585
/proc/meminfo: memFree=128126856/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=154048 memory=96180 CPUtime=0.66 cores=1,3
/proc/30582/stat : 30582 (fscip) S 30579 30582 27997 0 -1 1077936128 24425 0 0 0 62 4 0 0 20 0 3 0 4626359 157745152 24045 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 38512 24045 2950 3035 0 29092 0
[pid=30582/tid=30584] ppid=30579 vsize=154048 memory=0 CPUtime=0.48 cores=1,3
/proc/30582/task/30584/stat : 30584 (fscip) R 30579 30582 27997 0 -1 4194368 11895 0 0 0 46 2 0 0 20 0 3 0 4626375 157745152 24045 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
[pid=30582/tid=30585] ppid=30579 vsize=154048 memory=0 CPUtime=0 cores=1,3
/proc/30582/task/30585/stat : 30585 (fscip) S 30579 30582 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4626377 157745152 24045 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 154048 KiB
Current children cumulated memory: 96180 KiB

[startup+1.50042 s]
/proc/loadavg: 4.05 4.11 4.09 5/249 30585
/proc/meminfo: memFree=128124684/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=154048 memory=103800 CPUtime=1.46 cores=1,3
/proc/30582/stat : 30582 (fscip) S 30579 30582 27997 0 -1 1077936128 32792 0 0 0 141 5 0 0 20 0 3 0 4626359 157745152 25950 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 38512 25950 2950 3035 0 30670 0
[pid=30582/tid=30584] ppid=30579 vsize=154048 memory=0 CPUtime=1.29 cores=1,3
/proc/30582/task/30584/stat : 30584 (fscip) R 30579 30582 27997 0 -1 4194368 20262 0 0 0 126 3 0 0 20 0 3 0 4626375 157745152 25950 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
[pid=30582/tid=30585] ppid=30579 vsize=154048 memory=0 CPUtime=0 cores=1,3
/proc/30582/task/30585/stat : 30585 (fscip) S 30579 30582 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4626377 157745152 25950 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 154048 KiB
Current children cumulated memory: 103800 KiB

[startup+3.11287 s]
/proc/loadavg: 4.05 4.11 4.09 5/249 30585
/proc/meminfo: memFree=128089968/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=219584 memory=130300 CPUtime=3.07 cores=1,3
/proc/30582/stat : 30582 (fscip) S 30579 30582 27997 0 -1 1077936128 40075 0 0 0 301 6 0 0 20 0 3 0 4626359 224854016 32575 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 54896 32575 2950 3035 0 38202 0
[pid=30582/tid=30584] ppid=30579 vsize=219584 memory=0 CPUtime=2.89 cores=1,3
/proc/30582/task/30584/stat : 30584 (fscip) R 30579 30582 27997 0 -1 4194368 27518 0 0 0 285 4 0 0 20 0 3 0 4626375 224854016 32575 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
[pid=30582/tid=30585] ppid=30579 vsize=219584 memory=2209 CPUtime=0 cores=1,3
/proc/30582/task/30585/stat : 30585 (fscip) S 30579 30582 27997 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4626377 224854016 32575 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 219584 KiB
Current children cumulated memory: 130300 KiB

[startup+6.30038 s]
/proc/loadavg: 4.05 4.11 4.09 5/249 30585
/proc/meminfo: memFree=128088316/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=219584 memory=131104 CPUtime=6.25 cores=1,3
/proc/30582/stat : 30582 (fscip) S 30579 30582 27997 0 -1 1077936128 46081 0 0 0 618 7 0 0 20 0 3 0 4626359 224854016 32776 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 54896 32776 2998 3035 0 38202 0
[pid=30582/tid=30584] ppid=30579 vsize=219584 memory=0 CPUtime=6.08 cores=1,3
/proc/30582/task/30584/stat : 30584 (fscip) R 30579 30582 27997 0 -1 4194368 33109 0 0 0 603 5 0 0 20 0 3 0 4626375 224854016 32776 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
[pid=30582/tid=30585] ppid=30579 vsize=219584 memory=0 CPUtime=0 cores=1,3
/proc/30582/task/30585/stat : 30585 (fscip) S 30579 30582 27997 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4626377 224854016 32776 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 219584 KiB
Current children cumulated memory: 131104 KiB

[startup+12.7004 s]
/proc/loadavg: 4.04 4.10 4.08 5/249 30587
/proc/meminfo: memFree=128069908/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=219584 memory=157336 CPUtime=12.63 cores=1,3
/proc/30582/stat : 30582 (fscip) S 30579 30582 27997 0 -1 1077936128 79094 0 0 0 1254 9 0 0 20 0 3 0 4626359 224854016 39334 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 54896 39334 2998 3035 0 49322 0
[pid=30582/tid=30584] ppid=30579 vsize=219584 memory=139960 CPUtime=12.45 cores=1,3
/proc/30582/task/30584/stat : 30584 (fscip) R 30579 30582 27997 0 -1 4194368 65474 0 0 0 1238 7 0 0 20 0 3 0 4626375 224854016 39334 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
[pid=30582/tid=30585] ppid=30579 vsize=219584 memory=11536 CPUtime=0 cores=1,3
/proc/30582/task/30585/stat : 30585 (fscip) S 30579 30582 27997 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4626377 224854016 39334 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 219584 KiB
Current children cumulated memory: 157336 KiB

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

# cumulated CPU time of all completed processes:  user=20.4086 s, system=0.165207 s

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

[startup+12.8005 s]
/proc/loadavg: 4.04 4.10 4.08 5/249 30587
/proc/meminfo: memFree=128069908/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=219584 memory=157336 CPUtime=12.72 cores=1,3
/proc/30582/stat : 30582 (fscip) S 30579 30582 27997 0 -1 1077936128 79145 0 0 0 1263 9 0 0 20 0 3 0 4626359 224854016 39334 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 54896 39334 2998 3035 0 49322 0
[pid=30582/tid=30584] ppid=30579 vsize=219584 memory=0 CPUtime=12.55 cores=1,3
/proc/30582/task/30584/stat : 30584 (fscip) R 30579 30582 27997 0 -1 4194368 65525 0 0 0 1248 7 0 0 20 0 3 0 4626375 224854016 39334 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
[pid=30582/tid=30585] ppid=30579 vsize=219584 memory=0 CPUtime=0 cores=1,3
/proc/30582/task/30585/stat : 30585 (fscip) S 30579 30582 27997 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4626377 224854016 39334 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
Current children cumulated CPU time: 12.72 s
Current children cumulated vsize: 219584 KiB
Current children cumulated memory: 157336 KiB

[startup+16.0004 s]*
/proc/loadavg: 4.12 4.12 4.09 5/249 30587
/proc/meminfo: memFree=128043676/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=285120 memory=171200 CPUtime=15.93 cores=1,3
/proc/30582/stat : 30582 (fscip) S 30579 30582 27997 0 -1 1077936128 93645 0 0 0 1581 12 0 0 20 0 3 0 4626359 291962880 42800 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 71280 42800 2998 3035 0 53679 0
[pid=30582/tid=30584] ppid=30579 vsize=285120 memory=-7308334511900679545 CPUtime=15.75 cores=1,3
/proc/30582/task/30584/stat : 30584 (fscip) R 30579 30582 27997 0 -1 4194368 79620 0 0 0 1565 10 0 0 20 0 3 0 4626375 291962880 42800 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
[pid=30582/tid=30585] ppid=30579 vsize=285120 memory=428480 CPUtime=0 cores=1,3
/proc/30582/task/30585/stat : 30585 (fscip) S 30579 30582 27997 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4626377 291962880 42800 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 285120 KiB
Current children cumulated memory: 171200 KiB

[startup+19.2004 s]
/proc/loadavg: 4.12 4.12 4.09 5/249 30588
/proc/meminfo: memFree=128043092/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=285120 memory=171204 CPUtime=19.11 cores=1,3
/proc/30582/stat : 30582 (fscip) S 30579 30582 27997 0 -1 1077936128 94510 0 0 0 1899 12 0 0 20 0 3 0 4626359 291962880 42801 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 71280 42801 2998 3035 0 53679 0
[pid=30582/tid=30584] ppid=30579 vsize=285120 memory=0 CPUtime=18.93 cores=1,3
/proc/30582/task/30584/stat : 30584 (fscip) R 30579 30582 27997 0 -1 4194368 80485 0 0 0 1883 10 0 0 20 0 3 0 4626375 291962880 42801 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
[pid=30582/tid=30585] ppid=30579 vsize=285120 memory=137292 CPUtime=0 cores=1,3
/proc/30582/task/30585/stat : 30585 (fscip) S 30579 30582 27997 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4626377 291962880 42801 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
Current children cumulated CPU time: 19.11 s
Current children cumulated vsize: 285120 KiB
Current children cumulated memory: 171204 KiB

[startup+20.0004 s]*
/proc/loadavg: 4.12 4.12 4.09 5/249 30588
/proc/meminfo: memFree=128041188/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=285120 memory=172888 CPUtime=19.92 cores=1,3
/proc/30582/stat : 30582 (fscip) S 30579 30582 27997 0 -1 1077936128 104615 0 0 0 1979 13 0 0 20 0 3 0 4626359 291962880 43222 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 71280 43222 2998 3035 0 54100 0
[pid=30582/tid=30584] ppid=30579 vsize=285120 memory=-7308334511900679545 CPUtime=19.74 cores=1,3
/proc/30582/task/30584/stat : 30584 (fscip) R 30579 30582 27997 0 -1 4194368 90562 0 0 0 1963 11 0 0 20 0 3 0 4626375 291962880 43222 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
[pid=30582/tid=30585] ppid=30579 vsize=285120 memory=4592 CPUtime=0 cores=1,3
/proc/30582/task/30585/stat : 30585 (fscip) S 30579 30582 27997 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4626377 291962880 43222 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
Current children cumulated CPU time: 19.92 s
Current children cumulated vsize: 285120 KiB
Current children cumulated memory: 172888 KiB

[startup+20.4004 s]
/proc/loadavg: 4.12 4.12 4.09 5/249 30588
/proc/meminfo: memFree=128041188/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=285120 memory=172888 CPUtime=20.3 cores=1,3
/proc/30582/stat : 30582 (fscip) S 30579 30582 27997 0 -1 1077936128 105015 0 0 0 2017 13 0 0 20 0 3 0 4626359 291962880 43222 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 71280 43222 2998 3035 0 54100 0
[pid=30582/tid=30584] ppid=30579 vsize=285120 memory=172888 CPUtime=20.12 cores=1,3
/proc/30582/task/30584/stat : 30584 (fscip) R 30579 30582 27997 0 -1 4194368 90960 0 0 0 2001 11 0 0 20 0 3 0 4626375 291962880 43222 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
[pid=30582/tid=30585] ppid=30579 vsize=285120 memory=12856 CPUtime=0 cores=1,3
/proc/30582/task/30585/stat : 30585 (fscip) S 30579 30582 27997 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4626377 291962880 43222 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
Current children cumulated CPU time: 20.3 s
Current children cumulated vsize: 285120 KiB
Current children cumulated memory: 172888 KiB

[startup+20.6004 s]
/proc/loadavg: 4.12 4.12 4.09 5/249 30588
/proc/meminfo: memFree=128041188/131655788 swapFree=131071728/131071996
[pid=30582] ppid=30579 vsize=285120 memory=172888 CPUtime=20.5 cores=1,3
/proc/30582/stat : 30582 (fscip) S 30579 30582 27997 0 -1 1077936128 106493 0 0 0 2037 13 0 0 20 0 3 0 4626359 291962880 43222 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
/proc/30582/statm: 71280 43222 2998 3035 0 54100 0
[pid=30582/tid=30584] ppid=30579 vsize=285120 memory=16320 CPUtime=20.32 cores=1,3
/proc/30582/task/30584/stat : 30584 (fscip) R 30579 30582 27997 0 -1 4194368 92425 0 0 0 2021 11 0 0 20 0 3 0 4626375 291962880 43222 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
[pid=30582/tid=30585] ppid=30579 vsize=285120 memory=12856 CPUtime=0 cores=1,3
/proc/30582/task/30585/stat : 30585 (fscip) S 30579 30582 27997 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4626377 291962880 43222 134679101440 4194304 16623229 140734755623504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 48017408 140734755628054 140734755628170 140734755628170 140734755635184 0
Current children cumulated CPU time: 20.5 s
Current children cumulated vsize: 285120 KiB
Current children cumulated memory: 172888 KiB

Child status: 0

Real time (s): 20.6658
CPU time (s): 20.5738
CPU user time (s): 20.4086
CPU system time (s): 0.165207
CPU usage (%): 99.5546
Max. virtual memory (cumulated for all children) (KiB): 285120
Max. memory (cumulated for all children) (KiB): 172888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.4086
system time used= 0.165207
maximum resident set size= 172888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115164
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= 111
involuntary context switches= 39


# summary of solver processes directly reported to runsolver:
#   pid: 30582
#   total CPU time (s): 20.5738
#   total CPU user time (s): 20.4086
#   total CPU system time (s): 0.165207

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.141596 second user time and 0.248295 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-31 01:36:00
IDJOB=4464219
IDBENCH=155731
IDSOLVER=3092
FILE ID=nodeC011/4464219-1722382560
RUNJOBID= nodeC011-1722378594-28009
SLURM_JOB_ID= 8249841
Free space on /tmp= 723700 MiB

SOLVER NAME= FiberSCIP 2024-07-30
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-4464219-1722382560/watcher-4464219-1722382560 -o /tmp/evaluation-result-4464219-1722382560/solver-4464219-1722382560 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28009 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464219-1722382560.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= e9221fba7963ffffb3bf7b90cd42a338
RANDOM SEED=1765878430

nodeC011.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		: 3661.552
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.28
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		: 3574.490
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.29
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.256
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.28
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.134
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.29
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		: 3652.913
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.28
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		: 3633.096
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.29
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.329
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.28
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.232
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128211132 kB
MemAvailable:   129225776 kB
Buffers:           91852 kB
Cached:          1767192 kB
SwapCached:           12 kB
Active:           260212 kB
Inactive:        2752860 kB
Active(anon):       1948 kB
Inactive(anon):  1181584 kB
Active(file):     258264 kB
Inactive(file):  1571276 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             28060 kB
Writeback:             0 kB
AnonPages:       1151892 kB
Mapped:           128624 kB
Shmem:             29468 kB
KReclaimable:      50604 kB
Slab:             126900 kB
SReclaimable:      50604 kB
SUnreclaim:        76296 kB
KernelStack:        4012 kB
PageTables:        11352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1054904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6784 kB
HardwareCorrupted:     0 kB
AnonHugePages:    798720 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:      156488 kB
DirectMap2M:     9185280 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723672 MiB
End job on nodeC011 at 2024-07-31 01:36:21