Trace number 4458475

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
Exact_veripb2_no_SoPlex 2024-07-05SAT (TO)-32 3557.88 3700.06

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb
MD5SUM678da6339402b89815c46f6042afd950
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 benchmark-32
Best CPU time to get the best result obtained on this benchmark506.649
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1056
Total number of constraints488
Number of constraints which are clauses416
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints32
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 640
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 640
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 640
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.04	o -31
0.00/0.05	o -32
3557.87/3700.01	c Program interrupted by user.
3557.87/3700.01	s SATISFIABLE
3557.87/3700.01	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 x773 x774 x775 x776 -x777 -x778 x779 -x780 -x781 x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 x1045 x1046 x1047 -x1048 x1049 x1050 -x1051 -x1052 x1053 -x1054 x1055 -x1056

Verifier Data 

OK	-32

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 (46960 MiB free)
  memory of node 1: 64473 MiB (30046 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458475-1721890565/watcher-4458475-1721890565 -o /tmp/evaluation-result-4458475-1721890565/solver-4458475-1721890565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721886882-210611 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4458475-1721890565 --seed=834372024 HOME/instance-4458475-1721890565.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=212984, runsolver pid=212981

[startup+0.100094 s]*
/proc/loadavg: 4.16 4.22 4.19 5/250 212985
/proc/meminfo: memFree=78851184/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=27652 memory=6068 CPUtime=0.07 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 831 0 0 0 7 0 0 0 20 0 1 0 25045743 28315648 1517 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 6913 1517 850 747 0 5976 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 27652 KiB
Current children cumulated memory: 6068 KiB

[startup+0.213187 s]*
/proc/loadavg: 4.16 4.22 4.19 5/250 212985
/proc/meminfo: memFree=78848636/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=27780 memory=6960 CPUtime=0.18 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 1039 0 0 0 18 0 0 0 20 0 1 0 25045743 28446720 1740 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 6945 1740 850 747 0 6008 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 27780 KiB
Current children cumulated memory: 6960 KiB

[startup+0.312812 s]*
/proc/loadavg: 4.16 4.22 4.19 5/250 212985
/proc/meminfo: memFree=78847012/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=27916 memory=7488 CPUtime=0.28 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 1147 0 0 0 28 0 0 0 20 0 1 0 25045743 28585984 1872 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 6979 1872 850 747 0 6042 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 27916 KiB
Current children cumulated memory: 7488 KiB

[startup+0.700292 s]
/proc/loadavg: 4.16 4.22 4.19 5/250 212985
/proc/meminfo: memFree=78842648/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=28436 memory=10396 CPUtime=0.65 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 1368 0 0 0 65 0 0 0 20 0 1 0 25045743 29118464 2599 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 7109 2599 850 747 0 6172 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 28436 KiB
Current children cumulated memory: 10396 KiB

[startup+1.50028 s]
/proc/loadavg: 4.16 4.22 4.19 9/250 212985
/proc/meminfo: memFree=78834068/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=31376 memory=17396 CPUtime=1.45 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 2071 0 0 0 145 0 0 0 20 0 1 0 25045743 32129024 4349 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 7844 4349 850 747 0 6907 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 31376 KiB
Current children cumulated memory: 17396 KiB

[startup+3.11262 s]
/proc/loadavg: 4.14 4.21 4.19 9/250 212985
/proc/meminfo: memFree=78806992/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=33152 memory=23060 CPUtime=3.06 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 2529 0 0 0 305 1 0 0 20 0 1 0 25045743 33947648 5765 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 8288 5765 850 747 0 7351 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 23060 KiB

[startup+6.30027 s]
/proc/loadavg: 4.14 4.21 4.19 9/250 212985
/proc/meminfo: memFree=78764924/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=53628 memory=36092 CPUtime=6.24 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 4962 0 0 0 622 2 0 0 20 0 1 0 25045743 54915072 9023 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 13407 9023 850 747 0 12470 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 53628 KiB
Current children cumulated memory: 36092 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.21 4.19 8/250 212987
/proc/meminfo: memFree=78668868/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=58000 memory=48148 CPUtime=12.62 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 5948 0 0 0 1257 5 0 0 20 0 1 0 25045743 59392000 12037 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 14500 12037 850 747 0 13563 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 58000 KiB
Current children cumulated memory: 48148 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.21 4.19 5/250 213126
/proc/meminfo: memFree=126325220/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=60792 memory=50540 CPUtime=25.38 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 6561 0 0 0 2530 8 0 0 20 0 1 0 25045743 62251008 12635 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 15198 12635 850 747 0 14261 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 60792 KiB
Current children cumulated memory: 50540 KiB

[startup+51.1131 s]
/proc/loadavg: 4.11 4.19 4.18 5/250 213131
/proc/meminfo: memFree=124829752/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=65888 memory=56700 CPUtime=48.39 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 7633 0 0 0 4823 16 0 0 20 0 1 0 25045743 67469312 14175 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 253 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 16472 14175 850 747 0 15535 0
Current children cumulated CPU time: 48.39 s
Current children cumulated vsize: 65888 KiB
Current children cumulated memory: 56700 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/255 213146
/proc/meminfo: memFree=123222040/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=100012 memory=82608 CPUtime=99.27 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 10975 0 0 0 9892 35 0 0 20 0 1 0 25045743 102412288 20652 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 271 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 25003 20652 850 747 0 24066 0
Current children cumulated CPU time: 99.27 s
Current children cumulated vsize: 100012 KiB
Current children cumulated memory: 82608 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.20 4.18 5/253 213325
/proc/meminfo: memFree=121135880/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=103632 memory=85840 CPUtime=158.98 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 11837 0 0 0 15841 57 0 0 20 0 1 0 25045743 106119168 21460 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 285 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 25908 21460 850 747 0 24971 0
Current children cumulated CPU time: 158.98 s
Current children cumulated vsize: 103632 KiB
Current children cumulated memory: 85840 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/254 213336
/proc/meminfo: memFree=119575212/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=105040 memory=87592 CPUtime=218.36 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 12286 0 0 0 21759 77 0 0 20 0 1 0 25045743 107560960 21898 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 331 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 26260 21898 850 747 0 25323 0
Current children cumulated CPU time: 218.36 s
Current children cumulated vsize: 105040 KiB
Current children cumulated memory: 87592 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.18 4.18 4/255 213350
/proc/meminfo: memFree=117755128/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=107892 memory=89820 CPUtime=277.81 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 12916 0 0 0 27686 95 0 0 20 0 1 0 25045743 110481408 22455 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 370 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 26973 22455 850 747 0 26036 0
Current children cumulated CPU time: 277.81 s
Current children cumulated vsize: 107892 KiB
Current children cumulated memory: 89820 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/255 213374
/proc/meminfo: memFree=116234100/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=113292 memory=94752 CPUtime=337.54 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 14169 0 0 0 33638 116 0 0 20 0 1 0 25045743 116011008 23688 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 382 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 28323 23688 850 747 0 27386 0
Current children cumulated CPU time: 337.54 s
Current children cumulated vsize: 113292 KiB
Current children cumulated memory: 94752 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/253 213385
/proc/meminfo: memFree=114514604/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=114960 memory=96232 CPUtime=397.23 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 14551 0 0 0 39591 132 0 0 20 0 1 0 25045743 117719040 24058 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 396 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 28740 24058 850 747 0 27803 0
Current children cumulated CPU time: 397.23 s
Current children cumulated vsize: 114960 KiB
Current children cumulated memory: 96232 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/253 213396
/proc/meminfo: memFree=113200392/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=115248 memory=96656 CPUtime=456.96 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 14648 0 0 0 45550 146 0 0 20 0 1 0 25045743 118013952 24164 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 407 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 28812 24164 850 747 0 27875 0

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

Current children cumulated memory: 114496 KiB

[startup+2922.3 s]
/proc/loadavg: 4.66 4.39 4.30 5/254 214486
/proc/meminfo: memFree=54640756/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=132404 memory=114864 CPUtime=2784.56 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 19649 0 0 0 277686 770 0 0 20 0 1 0 25045743 135581696 28716 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13029 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 33101 28716 850 747 0 32164 0
Current children cumulated CPU time: 2784.56 s
Current children cumulated vsize: 132404 KiB
Current children cumulated memory: 114864 KiB

[startup+2982.3 s]
/proc/loadavg: 4.29 4.33 4.29 5/252 214499
/proc/meminfo: memFree=53736456/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=132596 memory=115124 CPUtime=2843.97 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 19729 0 0 0 283606 791 0 0 20 0 1 0 25045743 135778304 28781 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13075 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 33149 28781 850 747 0 32212 0
Current children cumulated CPU time: 2843.97 s
Current children cumulated vsize: 132596 KiB
Current children cumulated memory: 115124 KiB

[startup+3042.3 s]
/proc/loadavg: 4.25 4.31 4.28 5/251 214511
/proc/meminfo: memFree=52876836/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=139188 memory=124000 CPUtime=2903.7 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 21022 0 0 0 289566 804 0 0 20 0 1 0 25045743 142528512 31000 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13086 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 34797 31000 850 747 0 33860 0
Current children cumulated CPU time: 2903.7 s
Current children cumulated vsize: 139188 KiB
Current children cumulated memory: 124000 KiB

[startup+3102.3 s]
/proc/loadavg: 4.25 4.30 4.28 5/251 214521
/proc/meminfo: memFree=51680668/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=141172 memory=125748 CPUtime=2963.42 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 21443 0 0 0 295523 819 0 0 20 0 1 0 25045743 144560128 31437 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13101 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 35293 31437 850 747 0 34356 0
Current children cumulated CPU time: 2963.42 s
Current children cumulated vsize: 141172 KiB
Current children cumulated memory: 125748 KiB

[startup+3162.3 s]
/proc/loadavg: 4.62 4.37 4.30 5/251 214531
/proc/meminfo: memFree=50051940/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=141304 memory=125940 CPUtime=3023.16 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 21539 0 0 0 301480 836 0 0 20 0 1 0 25045743 144695296 31485 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13113 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 35326 31485 850 747 0 34389 0
Current children cumulated CPU time: 3023.16 s
Current children cumulated vsize: 141304 KiB
Current children cumulated memory: 125940 KiB

[startup+3222.3 s]
/proc/loadavg: 4.37 4.33 4.29 5/253 214545
/proc/meminfo: memFree=48381796/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=141304 memory=126060 CPUtime=3082.79 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 21603 0 0 0 307430 849 0 0 20 0 1 0 25045743 144695296 31515 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13135 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 35326 31515 850 747 0 34389 0
Current children cumulated CPU time: 3082.79 s
Current children cumulated vsize: 141304 KiB
Current children cumulated memory: 126060 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.27 4.26 5/254 214560
/proc/meminfo: memFree=47082996/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=141496 memory=126148 CPUtime=3142.38 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 21667 0 0 0 313371 867 0 0 20 0 1 0 25045743 144891904 31537 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13160 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 35374 31537 850 747 0 34437 0
Current children cumulated CPU time: 3142.38 s
Current children cumulated vsize: 141496 KiB
Current children cumulated memory: 126148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.25 4.26 5/254 214572
/proc/meminfo: memFree=45852236/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=141496 memory=126148 CPUtime=3202.07 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 21703 0 0 0 319324 883 0 0 20 0 1 0 25045743 144891904 31537 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13176 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 35374 31537 850 747 0 34437 0
Current children cumulated CPU time: 3202.07 s
Current children cumulated vsize: 141496 KiB
Current children cumulated memory: 126148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.74 4.40 4.31 5/253 214584
/proc/meminfo: memFree=43914152/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=141496 memory=126148 CPUtime=3261.74 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 21753 0 0 0 325277 897 0 0 20 0 1 0 25045743 144891904 31537 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13194 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 35374 31537 850 747 0 34437 0
Current children cumulated CPU time: 3261.74 s
Current children cumulated vsize: 141496 KiB
Current children cumulated memory: 126148 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.36 4.30 5/253 214594
/proc/meminfo: memFree=42776736/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=141688 memory=126220 CPUtime=3321.44 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 21826 0 0 0 331234 910 0 0 20 0 1 0 25045743 145088512 31555 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13209 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 35422 31555 850 747 0 34485 0
Current children cumulated CPU time: 3321.44 s
Current children cumulated vsize: 141688 KiB
Current children cumulated memory: 126220 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.31 4.28 5/256 214609
/proc/meminfo: memFree=41554808/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=141688 memory=130932 CPUtime=3381.11 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 21919 0 0 0 337185 926 0 0 20 0 1 0 25045743 145088512 32733 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13226 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 35422 32733 850 747 0 34485 0
Current children cumulated CPU time: 3381.11 s
Current children cumulated vsize: 141688 KiB
Current children cumulated memory: 130932 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.28 4.27 5/254 215002
/proc/meminfo: memFree=40113936/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=142456 memory=131572 CPUtime=3440.78 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 22134 0 0 0 343132 946 0 0 20 0 1 0 25045743 145874944 32893 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13244 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 35614 32893 850 747 0 34677 0
Current children cumulated CPU time: 3440.78 s
Current children cumulated vsize: 142456 KiB
Current children cumulated memory: 131572 KiB

[startup+3642.3 s]
/proc/loadavg: 4.21 4.27 4.27 5/255 215013
/proc/meminfo: memFree=38757224/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=142456 memory=131572 CPUtime=3500.45 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 22180 0 0 0 349083 962 0 0 20 0 1 0 25045743 145874944 32893 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13262 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 35614 32893 850 747 0 34677 0
Current children cumulated CPU time: 3500.45 s
Current children cumulated vsize: 142456 KiB
Current children cumulated memory: 131572 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.07 4.22 4.25 5/255 215023
/proc/meminfo: memFree=38015468/131655788 swapFree=131056320/131071996
[pid=212984] ppid=212981 vsize=142456 memory=131572 CPUtime=3557.87 cores=4,6
/proc/212984/stat : 212984 (Exact_veripb2_n) R 212981 212984 210600 0 -1 4194304 22224 0 0 0 354808 979 0 0 20 0 1 0 25045743 145874944 32893 134679101440 4194304 7250417 140729761854592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 13277 0 0 7950792 8015128 12394496 140729761858359 140729761858647 140729761858647 140729761865662 0
/proc/212984/statm: 35614 32893 850 747 0 34677 0
Current children cumulated CPU time: 3557.87 s
Current children cumulated vsize: 142456 KiB
Current children cumulated memory: 131572 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3700.06 s]
# the end of solver process 212984 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3548.08 s, system=9.79839 s

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

Child status: 10

Real time (s): 3700.06
CPU time (s): 3557.88
CPU user time (s): 3548.08
CPU system time (s): 9.79839
CPU usage (%): 96.1574
Max. virtual memory (cumulated for all children) (KiB): 142456
Max. memory (cumulated for all children) (KiB): 131572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3548.08
system time used= 9.79839
maximum resident set size= 131572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22225
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19916712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 589
involuntary context switches= 4996


# summary of solver processes directly reported to runsolver:
#   pid: 212984
#   total CPU time (s): 3557.88
#   total CPU user time (s): 3548.08
#   total CPU system time (s): 9.79839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9252 second user time and 36.9895 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-25 08:56:05
IDJOB=4458475
IDBENCH=177485
IDSOLVER=3080
FILE ID=nodeC006/4458475-1721890565
RUNJOBID= nodeC006-1721886882-210611
SLURM_JOB_ID= 8089290
Free space on /tmp= 723768 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458475-1721890565/watcher-4458475-1721890565 -o /tmp/evaluation-result-4458475-1721890565/solver-4458475-1721890565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721886882-210611 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4458475-1721890565 --seed=834372024 HOME/instance-4458475-1721890565.opb

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

MD5SUM BENCH= 678da6339402b89815c46f6042afd950
RANDOM SEED=834372024

nodeC006.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		: 3652.156
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.06
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		: 3653.919
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.40
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.252
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.06
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.171
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.40
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		: 2094.925
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.06
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		: 3654.092
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.40
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.103
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.06
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.311
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.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        78855844 kB
MemAvailable:   129370652 kB
Buffers:          312508 kB
Cached:         50713196 kB
SwapCached:          244 kB
Active:          2000952 kB
Inactive:       49770948 kB
Active(anon):       1736 kB
Inactive(anon):   789760 kB
Active(file):    1999216 kB
Inactive(file): 48981188 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:            198372 kB
Writeback:             0 kB
AnonPages:        744008 kB
Mapped:           102692 kB
Shmem:             45244 kB
KReclaimable:     596312 kB
Slab:             713696 kB
SReclaimable:     596312 kB
SUnreclaim:       117384 kB
KernelStack:        4016 kB
PageTables:        10712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1334280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    610304 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:      420680 kB
DirectMap2M:    57155584 kB
DirectMap1G:    78643200 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC006 at 2024-07-25 09:57:45