Trace number 4451622

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Picat 2024-06-18? (TO) 3600.06 3608.7

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v101-n3.opb
MD5SUMff2431c9aac399448d9270c6fef4de20
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.378551
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables303
Total number of constraints101
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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.01	c solving HOME/instance-4451622-1721433915.opb (Picat 3.6#12)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (59856 MiB free)
  memory of node 1: 64510 MiB (61314 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451622-1721433915/watcher-4451622-1721433915 -o /tmp/evaluation-result-4451622-1721433915/solver-4451622-1721433915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721426180-1042497 --watchdog 3760 pb_picat HOME/instance-4451622-1721433915.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=1047948, runsolver pid=1047945

[startup+0.100274 s]*
/proc/loadavg: 4.16 4.15 4.17 5/241 1047949
/proc/meminfo: memFree=124064628/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2034692 memory=20508 CPUtime=0.09 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 1208 0 0 0 9 0 0 0 20 0 1 0 195547594 2083524608 5127 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 508673 5127 1723 439 0 504102 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2034692 KiB
Current children cumulated memory: 20508 KiB

[startup+0.212589 s]*
/proc/loadavg: 4.16 4.15 4.17 5/241 1047949
/proc/meminfo: memFree=124092308/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2035196 memory=20824 CPUtime=0.2 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 1686 0 0 0 20 0 0 0 20 0 1 0 195547594 2084040704 5206 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 508799 5206 1723 439 0 504228 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2035196 KiB
Current children cumulated memory: 20824 KiB

[startup+0.311406 s]*
/proc/loadavg: 4.16 4.15 4.17 5/241 1047949
/proc/meminfo: memFree=124091496/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2035452 memory=20964 CPUtime=0.31 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 1918 0 0 0 30 1 0 0 20 0 1 0 195547594 2084302848 5241 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 508863 5241 1723 439 0 504292 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2035452 KiB
Current children cumulated memory: 20964 KiB

[startup+0.70025 s]
/proc/loadavg: 4.16 4.15 4.17 5/241 1047949
/proc/meminfo: memFree=124085584/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2037244 memory=22208 CPUtime=0.69 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 3173 0 0 0 68 1 0 0 20 0 1 0 195547594 2086137856 5552 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 509311 5552 1723 439 0 504740 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2037244 KiB
Current children cumulated memory: 22208 KiB

[startup+1.50028 s]
/proc/loadavg: 4.16 4.15 4.17 5/241 1047949
/proc/meminfo: memFree=124081244/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2036236 memory=21792 CPUtime=1.48 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 6225 0 0 0 147 1 0 0 20 0 1 0 195547594 2085105664 5448 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 509059 5448 1723 439 0 504488 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2036236 KiB
Current children cumulated memory: 21792 KiB

[startup+3.11206 s]
/proc/loadavg: 4.16 4.15 4.17 5/241 1047949
/proc/meminfo: memFree=124042300/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2036112 memory=21688 CPUtime=3.09 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 11923 0 0 0 307 2 0 0 20 0 1 0 195547594 2084978688 5422 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 509028 5422 1723 439 0 504457 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2036112 KiB
Current children cumulated memory: 21688 KiB

[startup+6.30026 s]
/proc/loadavg: 4.22 4.16 4.18 5/241 1047949
/proc/meminfo: memFree=124024716/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2036636 memory=21888 CPUtime=6.27 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 27079 0 0 0 622 5 0 0 20 0 1 0 195547594 2085515264 5472 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 509159 5472 1723 439 0 504588 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2036636 KiB
Current children cumulated memory: 21888 KiB

[startup+12.7003 s]
/proc/loadavg: 4.21 4.16 4.17 5/241 1047950
/proc/meminfo: memFree=124038312/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2039324 memory=24868 CPUtime=12.66 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 51800 0 0 0 1256 10 0 0 20 0 1 0 195547594 2088267776 6217 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 509831 6217 1723 439 0 505260 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2039324 KiB
Current children cumulated memory: 24868 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.15 4.17 5/241 1047953
/proc/meminfo: memFree=124033048/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2043452 memory=27712 CPUtime=25.43 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 88800 0 0 0 2524 19 0 0 20 0 1 0 195547594 2092494848 6928 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 510863 6928 1723 439 0 506292 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2043452 KiB
Current children cumulated memory: 27712 KiB

[startup+51.1123 s]
/proc/loadavg: 4.18 4.16 4.17 5/241 1047957
/proc/meminfo: memFree=124011540/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2037308 memory=22544 CPUtime=50.98 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 168016 0 0 0 5060 38 0 0 20 0 1 0 195547594 2086203392 5636 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 509327 5636 1723 439 0 504756 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2037308 KiB
Current children cumulated memory: 22544 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/241 1047966
/proc/meminfo: memFree=124037580/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2042068 memory=27152 CPUtime=102.06 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 373289 0 0 0 10129 77 0 0 20 0 1 0 195547594 2091077632 6788 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 510517 6788 1723 439 0 505946 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 2042068 KiB
Current children cumulated memory: 27152 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/241 1047976
/proc/meminfo: memFree=124049956/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2054492 memory=34736 CPUtime=161.92 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 492815 0 0 0 16084 108 0 0 20 0 1 0 195547594 2103799808 8684 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 513623 8684 1723 439 0 509052 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 2054492 KiB
Current children cumulated memory: 34736 KiB

[startup+222.3 s]
/proc/loadavg: 4.26 4.18 4.18 5/241 1047986
/proc/meminfo: memFree=124006444/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2054632 memory=32080 CPUtime=221.77 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 677039 0 0 0 22029 148 0 0 20 0 1 0 195547594 2103943168 8020 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 513658 8020 1723 439 0 509087 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 2054632 KiB
Current children cumulated memory: 32080 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/241 1047997
/proc/meminfo: memFree=124043392/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2056776 memory=38236 CPUtime=281.63 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 823654 0 0 0 27981 182 0 0 20 0 1 0 195547594 2106138624 9559 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 514194 9559 1723 439 0 509623 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 2056776 KiB
Current children cumulated memory: 38236 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/243 1048057
/proc/meminfo: memFree=124071544/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2042572 memory=26308 CPUtime=341.48 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 947263 0 0 0 33939 209 0 0 20 0 1 0 195547594 2091593728 6577 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 510643 6577 1723 439 0 506072 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 2042572 KiB
Current children cumulated memory: 26308 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.17 5/243 1048067
/proc/meminfo: memFree=124034764/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2047892 memory=33440 CPUtime=401.34 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 1094859 0 0 0 39890 244 0 0 20 0 1 0 195547594 2097041408 8360 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 511973 8360 1723 439 0 507402 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 2047892 KiB
Current children cumulated memory: 33440 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/243 1048078
/proc/meminfo: memFree=124029788/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2058132 memory=37612 CPUtime=461.2 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 1177701 0 0 0 45853 267 0 0 20 0 1 0 195547594 2107527168 9403 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 514533 9403 1723 439 0 509962 0

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

Current children cumulated memory: 54716 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.12 4.13 5/243 1049222
/proc/meminfo: memFree=124013188/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2090628 memory=68088 CPUtime=2915.3 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 3937300 0 0 0 290501 1029 0 0 20 0 1 0 195547594 2140803072 17022 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 522657 17022 1723 439 0 518086 0
Current children cumulated CPU time: 2915.3 s
Current children cumulated vsize: 2090628 KiB
Current children cumulated memory: 68088 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.14 4.14 5/243 1049233
/proc/meminfo: memFree=124013780/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2082436 memory=68112 CPUtime=2975.16 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 4095450 0 0 0 296449 1067 0 0 20 0 1 0 195547594 2132414464 17028 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 520609 17028 1723 439 0 516038 0
Current children cumulated CPU time: 2975.16 s
Current children cumulated vsize: 2082436 KiB
Current children cumulated memory: 68112 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.13 6/243 1049627
/proc/meminfo: memFree=124020976/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2053764 memory=41928 CPUtime=3035.01 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 4174064 0 0 0 302411 1090 0 0 20 0 1 0 195547594 2103054336 10482 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 513441 10482 1723 439 0 508870 0
Current children cumulated CPU time: 3035.01 s
Current children cumulated vsize: 2053764 KiB
Current children cumulated memory: 41928 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/243 1049637
/proc/meminfo: memFree=124017512/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2082436 memory=68384 CPUtime=3094.87 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 4194903 0 0 0 308389 1098 0 0 20 0 1 0 195547594 2132414464 17096 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 520609 17096 1723 439 0 516038 0
Current children cumulated CPU time: 3094.87 s
Current children cumulated vsize: 2082436 KiB
Current children cumulated memory: 68384 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/243 1049647
/proc/meminfo: memFree=124008940/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2082436 memory=62352 CPUtime=3154.72 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 4220077 0 0 0 314365 1107 0 0 20 0 1 0 195547594 2132414464 15588 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 520609 15588 1723 439 0 516038 0
Current children cumulated CPU time: 3154.72 s
Current children cumulated vsize: 2082436 KiB
Current children cumulated memory: 62352 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/245 1049827
/proc/meminfo: memFree=124019944/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2066052 memory=49232 CPUtime=3214.58 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 4266198 0 0 0 320337 1121 0 0 20 0 1 0 195547594 2115637248 12308 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 516513 12308 1723 439 0 511942 0
Current children cumulated CPU time: 3214.58 s
Current children cumulated vsize: 2066052 KiB
Current children cumulated memory: 49232 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/245 1049838
/proc/meminfo: memFree=124029928/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2066052 memory=52212 CPUtime=3274.44 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 4342040 0 0 0 326304 1140 0 0 20 0 1 0 195547594 2115637248 13053 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 516513 13053 1723 439 0 511942 0
Current children cumulated CPU time: 3274.44 s
Current children cumulated vsize: 2066052 KiB
Current children cumulated memory: 52212 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.11 5/244 1049863
/proc/meminfo: memFree=124016816/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2062116 memory=45148 CPUtime=3334.29 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 4364844 0 0 0 332280 1149 0 0 20 0 1 0 195547594 2111606784 11287 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 515529 11287 1723 439 0 510958 0
Current children cumulated CPU time: 3334.29 s
Current children cumulated vsize: 2062116 KiB
Current children cumulated memory: 45148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/244 1049873
/proc/meminfo: memFree=124012328/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2066212 memory=55192 CPUtime=3394.15 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 4387371 0 0 0 338257 1158 0 0 20 0 1 0 195547594 2115801088 13798 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 516553 13798 1723 439 0 511982 0
Current children cumulated CPU time: 3394.15 s
Current children cumulated vsize: 2066212 KiB
Current children cumulated memory: 55192 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.11 5/244 1049886
/proc/meminfo: memFree=124006132/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2066212 memory=51856 CPUtime=3454.01 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 4444241 0 0 0 344224 1177 0 0 20 0 1 0 195547594 2115801088 12964 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 516553 12964 1723 439 0 511982 0
Current children cumulated CPU time: 3454.01 s
Current children cumulated vsize: 2066212 KiB
Current children cumulated memory: 51856 KiB

[startup+3522.3 s]
/proc/loadavg: 4.41 4.18 4.13 5/243 1049896
/proc/meminfo: memFree=123977684/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2082596 memory=66932 CPUtime=3513.86 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 4491118 0 0 0 350196 1190 0 0 20 0 1 0 195547594 2132578304 16733 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 520649 16733 1723 439 0 516078 0
Current children cumulated CPU time: 3513.86 s
Current children cumulated vsize: 2082596 KiB
Current children cumulated memory: 66932 KiB

[startup+3582.3 s]
/proc/loadavg: 4.69 4.31 4.18 5/243 1049907
/proc/meminfo: memFree=124011692/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2082596 memory=54892 CPUtime=3573.72 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 4630904 0 0 0 356144 1228 0 0 20 0 1 0 195547594 2132578304 13723 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 520649 13723 1723 439 0 516078 0
Current children cumulated CPU time: 3573.72 s
Current children cumulated vsize: 2082596 KiB
Current children cumulated memory: 54892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.7 s]
/proc/loadavg: 4.45 4.29 4.17 5/242 1049911
/proc/meminfo: memFree=123974868/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2115364 memory=81016 CPUtime=3600.05 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 4639230 0 0 0 358774 1231 0 0 20 0 1 0 195547594 2166132736 20254 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 528841 20254 1723 439 0 524270 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2115364 KiB
Current children cumulated memory: 81016 KiB

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

[startup+3608.7 s]
# the end of solver process 1047948 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3587.75 s, system=12.3184 s

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

[startup+3608.7 s]
/proc/loadavg: 4.45 4.29 4.17 5/242 1049911
/proc/meminfo: memFree=123974868/131655788 swapFree=131071996/131071996
[pid=1047948] ppid=1047945 vsize=2115364 memory=81016 CPUtime=3600.05 cores=4,6
/proc/1047948/stat : 1047948 (pb_picat) R 1047945 1047948 1042486 0 -1 4194304 4639230 0 0 0 358774 1231 0 0 20 0 1 0 195547594 2166132736 20254 134679101440 4194304 5989780 140735062891424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28774400 140735062893591 140735062893667 140735062893667 140735062900684 0
/proc/1047948/statm: 528841 20254 1723 439 0 524270 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2115364 KiB
Current children cumulated memory: 81016 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3608.7
CPU time (s): 3600.06
CPU user time (s): 3587.75
CPU system time (s): 12.3184
CPU usage (%): 99.7606
Max. virtual memory (cumulated for all children) (KiB): 2123556
Max. memory (cumulated for all children) (KiB): 86952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.75
system time used= 12.3184
maximum resident set size= 86952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4639230
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= 12
involuntary context switches= 4753


# summary of solver processes directly reported to runsolver:
#   pid: 1047948
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3587.75
#   total CPU system time (s): 12.3184

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5009 second user time and 31.1456 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 02:05:27
IDJOB=4451622
IDBENCH=162590
IDSOLVER=3068
FILE ID=nodeC003/4451622-1721433915
RUNJOBID= nodeC003-1721426180-1042497
SLURM_JOB_ID= 7545618
Free space on /tmp= 723772 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/rand6reg/normalized-rand6reg-v101-n3.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451622-1721433915/watcher-4451622-1721433915 -o /tmp/evaluation-result-4451622-1721433915/solver-4451622-1721433915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721426180-1042497 --watchdog 3760  pb_picat HOME/instance-4451622-1721433915.opb

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

MD5SUM BENCH= ff2431c9aac399448d9270c6fef4de20
RANDOM SEED=1712094381

nodeC003.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		: 3647.659
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.76
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		: 3648.341
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.30
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.230
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.76
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.306
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.30
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		: 3498.694
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.76
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		: 3648.404
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.30
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.221
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.76
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.305
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124080192 kB
MemAvailable:   129720136 kB
Buffers:          553008 kB
Cached:          5869444 kB
SwapCached:            0 kB
Active:          1042184 kB
Inactive:        5845960 kB
Active(anon):       1452 kB
Inactive(anon):   510112 kB
Active(file):    1040732 kB
Inactive(file):  5335848 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3640 kB
Writeback:             0 kB
AnonPages:        463812 kB
Mapped:           117660 kB
Shmem:             45896 kB
KReclaimable:     206792 kB
Slab:             322224 kB
SReclaimable:     206792 kB
SUnreclaim:       115432 kB
KernelStack:        3888 kB
PageTables:        10356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    6924548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    284672 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:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC003 at 2024-07-20 03:05:36