Trace number 4453092

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.08 3609.6

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_89.shuf-3.opb
MD5SUMbca3b64090d9c28929d1ba0e342c0a17
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 benchmark4.71714
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables712
Total number of constraints1425
Number of constraints which are clauses1424
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint712
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 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 732
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

Solver Data 

0.00/0.00	c solving HOME/instance-4453092-1721447631.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: 64096 MiB (60743 MiB free)
  memory of node 1: 64473 MiB (58129 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453092-1721447631/watcher-4453092-1721447631 -o /tmp/evaluation-result-4453092-1721447631/solver-4453092-1721447631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721445404-1048953 --watchdog 3760 pb_picat HOME/instance-4453092-1721447631.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
LinuxS4.18.0-301.1.el8.x86_64
LinuxS4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB

solver pid=1050170, runsolver pid=1050167

[startup+0.100099 s]*
/proc/loadavg: 4.24 4.17 4.03 5/243 1050171
/proc/meminfo: memFree=121707296/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2037544 memory=25372 CPUtime=0.1 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 1422 0 0 0 10 0 0 0 20 0 1 0 196921884 2086445056 6343 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 509386 6343 1770 439 0 504815 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2037544 KiB
Current children cumulated memory: 25372 KiB

[startup+0.212863 s]*
/proc/loadavg: 4.24 4.17 4.03 5/243 1050171
/proc/meminfo: memFree=121706776/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2037676 memory=25584 CPUtime=0.21 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 1648 0 0 0 21 0 0 0 20 0 1 0 196921884 2086580224 6396 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 509419 6396 1786 439 0 504848 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2037676 KiB
Current children cumulated memory: 25584 KiB

[startup+0.312802 s]*
/proc/loadavg: 4.24 4.17 4.03 5/243 1050171
/proc/meminfo: memFree=121706652/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2036652 memory=25424 CPUtime=0.31 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 1770 0 0 0 31 0 0 0 20 0 1 0 196921884 2085531648 6356 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 509163 6356 1786 439 0 504592 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036652 KiB
Current children cumulated memory: 25424 KiB

[startup+0.700334 s]
/proc/loadavg: 4.24 4.17 4.03 5/243 1050171
/proc/meminfo: memFree=121706188/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2036836 memory=25584 CPUtime=0.68 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2574 0 0 0 68 0 0 0 20 0 1 0 196921884 2085720064 6396 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 509209 6396 1786 439 0 504638 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2036836 KiB
Current children cumulated memory: 25584 KiB

[startup+1.50029 s]
/proc/loadavg: 4.24 4.17 4.03 5/243 1050171
/proc/meminfo: memFree=121720476/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2037860 memory=26276 CPUtime=1.49 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 4501 0 0 0 148 1 0 0 20 0 1 0 196921884 2086768640 6569 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 509465 6569 1786 439 0 504894 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2037860 KiB
Current children cumulated memory: 26276 KiB

[startup+3.11251 s]
/proc/loadavg: 4.24 4.17 4.03 5/243 1050171
/proc/meminfo: memFree=121715816/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2040932 memory=27480 CPUtime=3.09 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 8074 0 0 0 308 1 0 0 20 0 1 0 196921884 2089914368 6870 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 510233 6870 1786 439 0 505662 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2040932 KiB
Current children cumulated memory: 27480 KiB

[startup+6.3003 s]
/proc/loadavg: 4.22 4.17 4.03 5/243 1050171
/proc/meminfo: memFree=121705408/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2041132 memory=28292 CPUtime=6.27 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 17048 0 0 0 624 3 0 0 20 0 1 0 196921884 2090119168 7073 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 510283 7073 1786 439 0 505712 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2041132 KiB
Current children cumulated memory: 28292 KiB

[startup+12.7003 s]
/proc/loadavg: 4.20 4.17 4.03 5/243 1050173
/proc/meminfo: memFree=121705704/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2043604 memory=30592 CPUtime=12.66 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 34088 0 0 0 1260 6 0 0 20 0 1 0 196921884 2092650496 7648 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 510901 7648 1786 439 0 506330 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2043604 KiB
Current children cumulated memory: 30592 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.16 4.03 5/243 1050174
/proc/meminfo: memFree=121687684/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2048336 memory=33284 CPUtime=25.43 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 69162 0 0 0 2529 14 0 0 20 0 1 0 196921884 2097496064 8321 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 512084 8321 1786 439 0 507513 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2048336 KiB
Current children cumulated memory: 33284 KiB

[startup+51.1125 s]
/proc/loadavg: 4.10 4.14 4.03 5/243 1050180
/proc/meminfo: memFree=121697564/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2053156 memory=39864 CPUtime=50.98 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 127085 0 0 0 5071 27 0 0 20 0 1 0 196921884 2102431744 9966 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 513289 9966 1786 439 0 508718 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2053156 KiB
Current children cumulated memory: 39864 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.17 4.04 5/243 1050570
/proc/meminfo: memFree=121790156/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2049060 memory=37748 CPUtime=102.04 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 219377 0 0 0 10154 50 0 0 20 0 1 0 196921884 2098237440 9437 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 512265 9437 1786 439 0 507694 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2049060 KiB
Current children cumulated memory: 37748 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.04 5/243 1050582
/proc/meminfo: memFree=121697936/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2077732 memory=50044 CPUtime=161.88 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 318381 0 0 0 16108 80 0 0 20 0 1 0 196921884 2127597568 12511 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 519433 12511 1786 439 0 514862 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2077732 KiB
Current children cumulated memory: 50044 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.15 4.05 5/243 1050592
/proc/meminfo: memFree=121666796/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2054212 memory=41536 CPUtime=221.74 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 415614 0 0 0 22066 108 0 0 20 0 1 0 196921884 2103513088 10384 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 513553 10384 1786 439 0 508982 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 2054212 KiB
Current children cumulated memory: 41536 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.14 4.05 5/245 1050772
/proc/meminfo: memFree=121708140/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2070948 memory=46700 CPUtime=281.58 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 508985 0 0 0 28022 136 0 0 20 0 1 0 196921884 2120650752 11675 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 517737 11675 1786 439 0 513166 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 2070948 KiB
Current children cumulated memory: 46700 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.14 4.05 5/245 1050783
/proc/meminfo: memFree=121659752/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2062756 memory=44780 CPUtime=341.44 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 598129 0 0 0 33980 164 0 0 20 0 1 0 196921884 2112262144 11195 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 515689 11195 1786 439 0 511118 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 2062756 KiB
Current children cumulated memory: 44780 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.13 4.05 5/247 1050797
/proc/meminfo: memFree=121668440/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2070948 memory=51324 CPUtime=401.29 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 660060 0 0 0 39945 184 0 0 20 0 1 0 196921884 2120650752 12831 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 517737 12831 1786 439 0 513166 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 2070948 KiB
Current children cumulated memory: 51324 KiB

[startup+462.3 s]
/proc/loadavg: 4.62 4.26 4.10 5/245 1050818
/proc/meminfo: memFree=121736132/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2062756 memory=47424 CPUtime=461.14 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 721698 0 0 0 45907 207 0 0 20 0 1 0 196921884 2112262144 11856 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 515689 11856 1786 439 0 511118 0

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

Current children cumulated memory: 84512 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/244 1051998
/proc/meminfo: memFree=123967852/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2106828 memory=90912 CPUtime=2855.14 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2325322 0 0 0 284544 970 0 0 20 0 1 0 196921884 2157391872 22728 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 526707 22728 1786 439 0 522136 0
Current children cumulated CPU time: 2855.14 s
Current children cumulated vsize: 2106828 KiB
Current children cumulated memory: 90912 KiB

[startup+2922.3 s]
/proc/loadavg: 4.25 4.15 4.12 5/244 1052009
/proc/meminfo: memFree=123936588/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2146568 memory=116196 CPUtime=2914.95 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2348685 0 0 0 290512 983 0 0 20 0 1 0 196921884 2198085632 29049 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 536642 29049 1786 439 0 532071 0
Current children cumulated CPU time: 2914.95 s
Current children cumulated vsize: 2146568 KiB
Current children cumulated memory: 116196 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/244 1052019
/proc/meminfo: memFree=123977564/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2097416 memory=77296 CPUtime=2974.77 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2361178 0 0 0 296485 992 0 0 20 0 1 0 196921884 2147753984 19324 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 524354 19324 1786 439 0 519783 0
Current children cumulated CPU time: 2974.77 s
Current children cumulated vsize: 2097416 KiB
Current children cumulated memory: 77296 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/244 1052030
/proc/meminfo: memFree=123944784/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2146568 memory=103960 CPUtime=3034.6 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2378812 0 0 0 302455 1005 0 0 20 0 1 0 196921884 2198085632 25990 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 536642 25990 1786 439 0 532071 0
Current children cumulated CPU time: 3034.6 s
Current children cumulated vsize: 2146568 KiB
Current children cumulated memory: 103960 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/244 1052040
/proc/meminfo: memFree=123909824/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2146568 memory=106008 CPUtime=3094.41 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2391448 0 0 0 308427 1014 0 0 20 0 1 0 196921884 2198085632 26502 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 536642 26502 1786 439 0 532071 0
Current children cumulated CPU time: 3094.41 s
Current children cumulated vsize: 2146568 KiB
Current children cumulated memory: 106008 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/241 1052051
/proc/meminfo: memFree=123949172/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2097416 memory=81460 CPUtime=3154.22 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2409496 0 0 0 314395 1027 0 0 20 0 1 0 196921884 2147753984 20365 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 524354 20365 1786 439 0 519783 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 2097416 KiB
Current children cumulated memory: 81460 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/241 1052061
/proc/meminfo: memFree=123946848/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2113800 memory=93536 CPUtime=3214.01 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2446357 0 0 0 320354 1047 0 0 20 0 1 0 196921884 2164531200 23384 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 528450 23384 1786 439 0 523879 0
Current children cumulated CPU time: 3214.01 s
Current children cumulated vsize: 2113800 KiB
Current children cumulated memory: 93536 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/241 1052071
/proc/meminfo: memFree=123928068/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2113800 memory=93536 CPUtime=3273.82 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2489332 0 0 0 326307 1075 0 0 20 0 1 0 196921884 2164531200 23384 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 528450 23384 1786 439 0 523879 0
Current children cumulated CPU time: 3273.82 s
Current children cumulated vsize: 2113800 KiB
Current children cumulated memory: 93536 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/241 1052082
/proc/meminfo: memFree=123943072/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2146568 memory=96888 CPUtime=3333.63 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2525343 0 0 0 332266 1097 0 0 20 0 1 0 196921884 2198085632 24222 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 536642 24222 1786 439 0 532071 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 2146568 KiB
Current children cumulated memory: 96888 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/242 1052095
/proc/meminfo: memFree=123959632/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2146568 memory=101240 CPUtime=3393.44 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2567172 0 0 0 338221 1123 0 0 20 0 1 0 196921884 2198085632 25310 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 536642 25310 1786 439 0 532071 0
Current children cumulated CPU time: 3393.44 s
Current children cumulated vsize: 2146568 KiB
Current children cumulated memory: 101240 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/242 1052105
/proc/meminfo: memFree=123965840/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2097416 memory=77300 CPUtime=3453.24 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2578260 0 0 0 344194 1130 0 0 20 0 1 0 196921884 2147753984 19325 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 524354 19325 1786 439 0 519783 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 2097416 KiB
Current children cumulated memory: 77300 KiB

[startup+3522.3 s]
/proc/loadavg: 4.76 4.30 4.16 5/242 1052116
/proc/meminfo: memFree=123939288/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2146568 memory=118300 CPUtime=3513.05 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2588957 0 0 0 350165 1140 0 0 20 0 1 0 196921884 2198085632 29575 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 536642 29575 1786 439 0 532071 0
Current children cumulated CPU time: 3513.05 s
Current children cumulated vsize: 2146568 KiB
Current children cumulated memory: 118300 KiB

[startup+3582.3 s]
/proc/loadavg: 4.41 4.29 4.16 5/242 1052126
/proc/meminfo: memFree=123939428/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2081032 memory=72424 CPUtime=3572.85 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2600595 0 0 0 356136 1149 0 0 20 0 1 0 196921884 2130976768 18106 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 520258 18106 1786 439 0 515687 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 2081032 KiB
Current children cumulated memory: 72424 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.27 4.26 4.16 5/242 1052132
/proc/meminfo: memFree=123910404/131655788 swapFree=131071996/131071996
[pid=1050170] ppid=1050167 vsize=2146568 memory=103976 CPUtime=3600.07 cores=4,6
/proc/1050170/stat : 1050170 (pb_picat) R 1050167 1050170 1048942 0 -1 4194304 2604814 0 0 0 358854 1153 0 0 20 0 1 0 196921884 2198085632 25994 134679101440 4194304 5989780 140733587060048 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 27287552 140733587063831 140733587063907 140733587063907 140733587070924 0
/proc/1050170/statm: 536642 25994 1786 439 0 532071 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2146568 KiB
Current children cumulated memory: 103976 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.54 s, system=11.5344 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.6
CPU time (s): 3600.08
CPU user time (s): 3588.54
CPU system time (s): 11.5344
CPU usage (%): 99.7361
Max. virtual memory (cumulated for all children) (KiB): 2212104
Max. memory (cumulated for all children) (KiB): 140780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.54
system time used= 11.5344
maximum resident set size= 140780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2604814
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= 13
involuntary context switches= 4803


# summary of solver processes directly reported to runsolver:
#   pid: 1050170
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3588.54
#   total CPU system time (s): 11.5344

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.1276 second user time and 27.6771 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-20 05:54:03
IDJOB=4453092
IDBENCH=168597
IDSOLVER=3068
FILE ID=nodeC005/4453092-1721447631
RUNJOBID= nodeC005-1721445404-1048953
SLURM_JOB_ID= 7545666
Free space on /tmp= 723768 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v2_shuffle/normalized-grid8_89.shuf-3.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453092-1721447631/watcher-4453092-1721447631 -o /tmp/evaluation-result-4453092-1721447631/solver-4453092-1721447631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721445404-1048953 --watchdog 3760  pb_picat HOME/instance-4453092-1721447631.opb

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

MD5SUM BENCH= bca3b64090d9c28929d1ba0e342c0a17
RANDOM SEED=658288000

nodeC005.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		: 3654.905
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.53
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		: 3548.726
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.35
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.335
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.53
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.242
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.35
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		: 3491.786
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.53
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		: 3491.764
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.35
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.182
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.53
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.380
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121726172 kB
MemAvailable:   127346824 kB
Buffers:          554792 kB
Cached:          5845504 kB
SwapCached:            0 kB
Active:          1170480 kB
Inactive:        8050196 kB
Active(anon):       3448 kB
Inactive(anon):  2862536 kB
Active(file):    1167032 kB
Inactive(file):  5187660 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3832 kB
Writeback:             0 kB
AnonPages:       2809536 kB
Mapped:           118764 kB
Shmem:             45896 kB
KReclaimable:     212320 kB
Slab:             332772 kB
SReclaimable:     212320 kB
SUnreclaim:       120452 kB
KernelStack:        3904 kB
PageTables:        14992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9194816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62048 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2242560 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:      303944 kB
DirectMap2M:    40495104 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC005 at 2024-07-20 06:54:13