Trace number 4453122

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.1 3610.6

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_55.shuf-1.opb
MD5SUMadd936bb86ecdde22f6655365824bd6d
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 benchmark1.88567
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables440
Total number of constraints881
Number of constraints which are clauses880
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 constraint440
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 460
Number of bits of the biggest sum of numbers9
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-4453122-1721449004.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 (60681 MiB free)
  memory of node 1: 64473 MiB (58989 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453122-1721449004/watcher-4453122-1721449004 -o /tmp/evaluation-result-4453122-1721449004/solver-4453122-1721449004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721445404-1048954 --watchdog 3760 pb_picat HOME/instance-4453122-1721449004.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1051026, runsolver pid=1051023

[startup+0.100291 s]*
/proc/loadavg: 4.16 4.15 4.11 5/242 1051027
/proc/meminfo: memFree=122527568/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2035932 memory=21668 CPUtime=0.1 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 1290 0 0 0 10 0 0 0 20 0 1 0 197059113 2084794368 5417 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 508983 5417 1751 439 0 504412 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2035932 KiB
Current children cumulated memory: 21668 KiB

[startup+0.212757 s]*
/proc/loadavg: 4.16 4.15 4.11 5/242 1051027
/proc/meminfo: memFree=122527008/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2035868 memory=21780 CPUtime=0.21 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 1374 0 0 0 21 0 0 0 20 0 1 0 197059113 2084728832 5445 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 508967 5445 1751 439 0 504396 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2035868 KiB
Current children cumulated memory: 21780 KiB

[startup+0.312744 s]*
/proc/loadavg: 4.16 4.15 4.11 4/240 1051027
/proc/meminfo: memFree=124080280/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2036380 memory=22096 CPUtime=0.31 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 1406 0 0 0 31 0 0 0 20 0 1 0 197059113 2085253120 5524 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 509095 5524 1766 439 0 504524 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036380 KiB
Current children cumulated memory: 22096 KiB

[startup+0.700261 s]
/proc/loadavg: 4.16 4.15 4.11 5/238 1051036
/proc/meminfo: memFree=124080952/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2036408 memory=21736 CPUtime=0.68 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 1569 0 0 0 68 0 0 0 20 0 1 0 197059113 2085281792 5434 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 509102 5434 1766 439 0 504531 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2036408 KiB
Current children cumulated memory: 21736 KiB

[startup+1.50026 s]
/proc/loadavg: 4.16 4.15 4.11 6/239 1051077
/proc/meminfo: memFree=124135552/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2036408 memory=22376 CPUtime=1.48 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2155 0 0 0 148 0 0 0 20 0 1 0 197059113 2085281792 5594 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 509102 5594 1766 439 0 504531 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2036408 KiB
Current children cumulated memory: 22376 KiB

[startup+3.11173 s]
/proc/loadavg: 4.15 4.14 4.10 5/242 1051119
/proc/meminfo: memFree=124105676/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2036804 memory=22536 CPUtime=3.09 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 5972 0 0 0 308 1 0 0 20 0 1 0 197059113 2085687296 5634 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 509201 5634 1766 439 0 504630 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2036804 KiB
Current children cumulated memory: 22536 KiB

[startup+6.30025 s]
/proc/loadavg: 4.15 4.14 4.10 5/242 1051121
/proc/meminfo: memFree=124092948/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2039180 memory=24568 CPUtime=6.26 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 16136 0 0 0 625 1 0 0 20 0 1 0 197059113 2088120320 6142 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 509795 6142 1766 439 0 505224 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2039180 KiB
Current children cumulated memory: 24568 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.16 4.11 5/242 1051121
/proc/meminfo: memFree=124081132/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2043472 memory=26908 CPUtime=12.65 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 31753 0 0 0 1261 4 0 0 20 0 1 0 197059113 2092515328 6727 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 510868 6727 1766 439 0 506297 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2043472 KiB
Current children cumulated memory: 26908 KiB

[startup+25.5003 s]
/proc/loadavg: 4.24 4.17 4.11 5/242 1051122
/proc/meminfo: memFree=124098132/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2043912 memory=29256 CPUtime=25.42 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 68556 0 0 0 2531 11 0 0 20 0 1 0 197059113 2092965888 7314 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 510978 7314 1766 439 0 506407 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2043912 KiB
Current children cumulated memory: 29256 KiB

[startup+51.1128 s]
/proc/loadavg: 4.23 4.17 4.11 5/242 1051127
/proc/meminfo: memFree=124081380/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2048592 memory=31748 CPUtime=50.95 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 138012 0 0 0 5069 26 0 0 20 0 1 0 197059113 2097758208 7937 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 512148 7937 1766 439 0 507577 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2048592 KiB
Current children cumulated memory: 31748 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/242 1051135
/proc/meminfo: memFree=124087816/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2053048 memory=34440 CPUtime=101.98 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 244305 0 0 0 10149 49 0 0 20 0 1 0 197059113 2102321152 8610 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 513262 8610 1766 439 0 508691 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2053048 KiB
Current children cumulated memory: 34440 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/242 1051146
/proc/meminfo: memFree=124081272/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2044856 memory=29880 CPUtime=161.79 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 364151 0 0 0 16101 78 0 0 20 0 1 0 197059113 2093932544 7470 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 511214 7470 1766 439 0 506643 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2044856 KiB
Current children cumulated memory: 29880 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/241 1051156
/proc/meminfo: memFree=124057504/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2053048 memory=33728 CPUtime=221.6 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 461472 0 0 0 22057 103 0 0 20 0 1 0 197059113 2102321152 8432 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 513262 8432 1766 439 0 508691 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 2053048 KiB
Current children cumulated memory: 33728 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/243 1051170
/proc/meminfo: memFree=124053172/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2061240 memory=42212 CPUtime=281.41 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 567818 0 0 0 28009 132 0 0 20 0 1 0 197059113 2110709760 10553 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 515310 10553 1766 439 0 510739 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 2061240 KiB
Current children cumulated memory: 42212 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/243 1051182
/proc/meminfo: memFree=124051248/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2048952 memory=34736 CPUtime=341.2 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 655802 0 0 0 33964 156 0 0 20 0 1 0 197059113 2098126848 8684 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 512238 8684 1766 439 0 507667 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 2048952 KiB
Current children cumulated memory: 34736 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/243 1051192
/proc/meminfo: memFree=124038660/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2063980 memory=47812 CPUtime=401 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 750193 0 0 0 39914 186 0 0 20 0 1 0 197059113 2113515520 11953 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 515995 11953 1766 439 0 511424 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 2063980 KiB
Current children cumulated memory: 47812 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/243 1051203
/proc/meminfo: memFree=124030584/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2072172 memory=51736 CPUtime=460.8 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 809824 0 0 0 45874 206 0 0 20 0 1 0 197059113 2121904128 12934 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 518043 12934 1766 439 0 513472 0

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

Current children cumulated memory: 60372 KiB

[startup+2862.3 s]
/proc/loadavg: 4.19 4.16 4.15 5/242 1052854
/proc/meminfo: memFree=123952820/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2139184 memory=91604 CPUtime=2853.8 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2537839 0 0 0 284404 976 0 0 20 0 1 0 197059113 2190524416 22901 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 534796 22901 1766 439 0 530225 0
Current children cumulated CPU time: 2853.8 s
Current children cumulated vsize: 2139184 KiB
Current children cumulated memory: 91604 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/242 1052864
/proc/meminfo: memFree=123962116/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2090032 memory=79212 CPUtime=2913.63 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2560088 0 0 0 290375 988 0 0 20 0 1 0 197059113 2140192768 19803 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 522508 19803 1766 439 0 517937 0
Current children cumulated CPU time: 2913.63 s
Current children cumulated vsize: 2090032 KiB
Current children cumulated memory: 79212 KiB

[startup+2982.3 s]
/proc/loadavg: 4.20 4.16 4.15 5/244 1052879
/proc/meminfo: memFree=123958568/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2106416 memory=84100 CPUtime=2973.46 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2604627 0 0 0 296331 1015 0 0 20 0 1 0 197059113 2156969984 21025 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 526604 21025 1766 439 0 522033 0
Current children cumulated CPU time: 2973.46 s
Current children cumulated vsize: 2106416 KiB
Current children cumulated memory: 84100 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.16 4.15 5/244 1052889
/proc/meminfo: memFree=123939728/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2106416 memory=88196 CPUtime=3033.3 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2652597 0 0 0 302283 1047 0 0 20 0 1 0 197059113 2156969984 22049 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 526604 22049 1766 439 0 522033 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 2106416 KiB
Current children cumulated memory: 88196 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.16 4.15 5/244 1052899
/proc/meminfo: memFree=123981544/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2106416 memory=88196 CPUtime=3093.15 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2696346 0 0 0 308241 1074 0 0 20 0 1 0 197059113 2156969984 22049 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 526604 22049 1766 439 0 522033 0
Current children cumulated CPU time: 3093.15 s
Current children cumulated vsize: 2106416 KiB
Current children cumulated memory: 88196 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/244 1052910
/proc/meminfo: memFree=123917124/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2139184 memory=93672 CPUtime=3152.98 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2733322 0 0 0 314202 1096 0 0 20 0 1 0 197059113 2190524416 23418 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 534796 23418 1766 439 0 530225 0
Current children cumulated CPU time: 3152.98 s
Current children cumulated vsize: 2139184 KiB
Current children cumulated memory: 93672 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/244 1052920
/proc/meminfo: memFree=123942764/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2106652 memory=79472 CPUtime=3212.82 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2743933 0 0 0 320179 1103 0 0 20 0 1 0 197059113 2157211648 19868 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 526663 19868 1766 439 0 522092 0
Current children cumulated CPU time: 3212.82 s
Current children cumulated vsize: 2106652 KiB
Current children cumulated memory: 79472 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/242 1052932
/proc/meminfo: memFree=123931880/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2106652 memory=81504 CPUtime=3272.67 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2758499 0 0 0 326156 1111 0 0 20 0 1 0 197059113 2157211648 20376 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 526663 20376 1766 439 0 522092 0
Current children cumulated CPU time: 3272.67 s
Current children cumulated vsize: 2106652 KiB
Current children cumulated memory: 81504 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.13 5/242 1052943
/proc/meminfo: memFree=123941704/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2106652 memory=81536 CPUtime=3332.51 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2770094 0 0 0 332133 1118 0 0 20 0 1 0 197059113 2157211648 20384 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 526663 20384 1766 439 0 522092 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 2106652 KiB
Current children cumulated memory: 81536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.16 4.14 5/242 1052953
/proc/meminfo: memFree=123938892/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2106652 memory=79464 CPUtime=3392.34 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2783927 0 0 0 338108 1126 0 0 20 0 1 0 197059113 2157211648 19866 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 526663 19866 1766 439 0 522092 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 2106652 KiB
Current children cumulated memory: 79464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.18 4.14 5/242 1052964
/proc/meminfo: memFree=123947768/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2106652 memory=84172 CPUtime=3452.18 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2840329 0 0 0 344055 1163 0 0 20 0 1 0 197059113 2157211648 21043 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 526663 21043 1766 439 0 522092 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 2106652 KiB
Current children cumulated memory: 84172 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.17 4.14 5/242 1052974
/proc/meminfo: memFree=123928752/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2123036 memory=80156 CPUtime=3512.02 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2896376 0 0 0 350001 1201 0 0 20 0 1 0 197059113 2173988864 20039 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 530759 20039 1766 439 0 526188 0
Current children cumulated CPU time: 3512.02 s
Current children cumulated vsize: 2123036 KiB
Current children cumulated memory: 80156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.17 4.14 5/241 1052985
/proc/meminfo: memFree=123949496/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2139420 memory=83260 CPUtime=3571.86 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2950462 0 0 0 355945 1241 0 0 20 0 1 0 197059113 2190766080 20815 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 534855 20815 1766 439 0 530284 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 2139420 KiB
Current children cumulated memory: 83260 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.11 4.15 4.14 5/241 1052989
/proc/meminfo: memFree=123972156/131655788 swapFree=131071996/131071996
[pid=1051026] ppid=1051023 vsize=2139420 memory=87356 CPUtime=3600.08 cores=1,3
/proc/1051026/stat : 1051026 (pb_picat) R 1051023 1051026 1048942 0 -1 4194304 2980269 0 0 0 358748 1260 0 0 20 0 1 0 197059113 2190766080 21839 134679101440 4194304 5989780 140728829201984 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 17440768 140728829203479 140728829203555 140728829203555 140728829210572 0
/proc/1051026/statm: 534855 21839 1766 439 0 530284 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2139420 KiB
Current children cumulated memory: 87356 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.49 s, system=12.6109 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): 3610.6
CPU time (s): 3600.1
CPU user time (s): 3587.49
CPU system time (s): 12.6109
CPU usage (%): 99.7091
Max. virtual memory (cumulated for all children) (KiB): 2139420
Max. memory (cumulated for all children) (KiB): 106116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.49
system time used= 12.6109
maximum resident set size= 106116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2980269
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= 4554


# summary of solver processes directly reported to runsolver:
#   pid: 1051026
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3587.49
#   total CPU system time (s): 12.6109

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0174 second user time and 32.841 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-20 06:16:55
IDJOB=4453122
IDBENCH=168735
IDSOLVER=3068
FILE ID=nodeC005/4453122-1721449004
RUNJOBID= nodeC005-1721445404-1048954
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_55.shuf-1.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453122-1721449004/watcher-4453122-1721449004 -o /tmp/evaluation-result-4453122-1721449004/solver-4453122-1721449004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721445404-1048954 --watchdog 3760  pb_picat HOME/instance-4453122-1721449004.opb

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

MD5SUM BENCH= add936bb86ecdde22f6655365824bd6d
RANDOM SEED=1069759566

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		: 3671.153
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		: 3491.772
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.334
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.179
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		: 3671.650
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		: 3493.251
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.625
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.265
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:        122543008 kB
MemAvailable:   128170088 kB
Buffers:          555420 kB
Cached:          5851284 kB
SwapCached:            0 kB
Active:          1170384 kB
Inactive:        7234940 kB
Active(anon):       3448 kB
Inactive(anon):  2040744 kB
Active(file):    1166936 kB
Inactive(file):  5194196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3712 kB
Writeback:             0 kB
AnonPages:       1994524 kB
Mapped:           118624 kB
Shmem:             45896 kB
KReclaimable:     212296 kB
Slab:             332960 kB
SReclaimable:     212296 kB
SUnreclaim:       120664 kB
KernelStack:        3952 kB
PageTables:        13512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8331568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62080 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1830912 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 07:17:06