Trace number 4452822

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-18UNSAT 43.7822 43.8986

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP065.shuf-3.opb
MD5SUMff63d464810e05f4e638d683112dc5a7
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.4335
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11055
Total number of constraints2212
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints2209
Minimum length of a constraint5
Maximum length of a constraint15
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 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 29
Number of bits of the biggest sum of numbers5
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-4452822-1721446664.opb (Picat 3.6#12)
43.67/43.89	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452822-1721446664/watcher-4452822-1721446664 -o /tmp/evaluation-result-4452822-1721446664/solver-4452822-1721446664 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721445404-1048953 --watchdog 3760 pb_picat HOME/instance-4452822-1721446664.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=1049897, runsolver pid=1049894

[startup+0.100324 s]*
/proc/loadavg: 4.18 4.11 3.68 6/242 1049898
/proc/meminfo: memFree=121923076/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2033608 memory=27316 CPUtime=0.09 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 903 0 0 0 9 0 0 0 20 0 1 0 196825115 2082414592 6829 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 508402 6829 1524 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 27316 KiB

[startup+0.21124 s]*
/proc/loadavg: 4.18 4.11 3.68 5/242 1049898
/proc/meminfo: memFree=121910536/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2033608 memory=35740 CPUtime=0.2 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 980 0 0 0 20 0 0 0 20 0 1 0 196825115 2082414592 8935 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 508402 8935 1524 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 35740 KiB

[startup+0.311067 s]*
/proc/loadavg: 4.18 4.11 3.68 5/242 1049898
/proc/meminfo: memFree=121903652/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2033608 memory=43932 CPUtime=0.31 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 984 0 0 0 30 1 0 0 20 0 1 0 196825115 2082414592 10983 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 508402 10983 1524 439 0 503831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 43932 KiB

[startup+0.700333 s]
/proc/loadavg: 4.18 4.11 3.68 5/242 1049898
/proc/meminfo: memFree=121878908/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2037500 memory=82800 CPUtime=0.69 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 1878 0 0 0 67 2 0 0 20 0 1 0 196825115 2086400000 20700 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 509375 20700 1730 439 0 504804 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2037500 KiB
Current children cumulated memory: 82800 KiB

[startup+1.50033 s]
/proc/loadavg: 4.18 4.11 3.68 5/242 1049898
/proc/meminfo: memFree=121820980/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2078528 memory=120636 CPUtime=1.48 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 8380 0 0 0 138 10 0 0 20 0 1 0 196825115 2128412672 30159 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 519632 30159 1730 439 0 515061 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2078528 KiB
Current children cumulated memory: 120636 KiB

[startup+3.11248 s]
/proc/loadavg: 4.16 4.11 3.69 5/242 1049898
/proc/meminfo: memFree=121761584/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2115520 memory=136516 CPUtime=3.09 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 15050 0 0 0 297 12 0 0 20 0 1 0 196825115 2166292480 34129 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 528880 34129 1746 439 0 524309 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2115520 KiB
Current children cumulated memory: 136516 KiB

[startup+6.30033 s]
/proc/loadavg: 4.16 4.11 3.69 5/242 1049900
/proc/meminfo: memFree=121720424/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2117920 memory=139224 CPUtime=6.27 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 20087 0 0 0 614 13 0 0 20 0 1 0 196825115 2168750080 34806 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 529480 34806 1746 439 0 524909 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2117920 KiB
Current children cumulated memory: 139224 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.12 3.69 5/242 1049900
/proc/meminfo: memFree=121725292/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2098644 memory=128720 CPUtime=12.65 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 29770 0 0 0 1248 17 0 0 20 0 1 0 196825115 2149011456 32180 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 524661 32180 1746 439 0 520090 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2098644 KiB
Current children cumulated memory: 128720 KiB

[startup+25.5003 s]
/proc/loadavg: 4.25 4.13 3.70 5/242 1049901
/proc/meminfo: memFree=121712628/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2098296 memory=126596 CPUtime=25.42 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 46504 0 0 0 2520 22 0 0 20 0 1 0 196825115 2148655104 31649 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 524574 31649 1746 439 0 520003 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2098296 KiB
Current children cumulated memory: 126596 KiB

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

# cumulated CPU time of all completed processes:  user=43.49 s, system=0.292189 s

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

[startup+25.6003 s]
/proc/loadavg: 4.25 4.13 3.70 5/242 1049901
/proc/meminfo: memFree=121712628/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2098296 memory=128644 CPUtime=25.52 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 46505 0 0 0 2530 22 0 0 20 0 1 0 196825115 2148655104 32161 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 524574 32161 1746 439 0 520003 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 2098296 KiB
Current children cumulated memory: 128644 KiB

[startup+32.0003 s]*
/proc/loadavg: 4.23 4.13 3.71 5/242 1049903
/proc/meminfo: memFree=121757900/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2114680 memory=132504 CPUtime=31.92 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 53375 0 0 0 3168 24 0 0 20 0 1 0 196825115 2165432320 33126 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 528670 33126 1746 439 0 524099 0
Current children cumulated CPU time: 31.92 s
Current children cumulated vsize: 2114680 KiB
Current children cumulated memory: 132504 KiB

[startup+38.4003 s]
/proc/loadavg: 4.34 4.16 3.72 5/242 1049904
/proc/meminfo: memFree=121717820/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2114680 memory=132528 CPUtime=38.28 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 61184 0 0 0 3802 26 0 0 20 0 1 0 196825115 2165432320 33132 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 528670 33132 1746 439 0 524099 0
Current children cumulated CPU time: 38.28 s
Current children cumulated vsize: 2114680 KiB
Current children cumulated memory: 132528 KiB

[startup+41.6003 s]
/proc/loadavg: 4.34 4.16 3.72 5/242 1049904
/proc/meminfo: memFree=121719232/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2114680 memory=134572 CPUtime=41.48 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 63165 0 0 0 4121 27 0 0 20 0 1 0 196825115 2165432320 33643 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 528670 33643 1746 439 0 524099 0
Current children cumulated CPU time: 41.48 s
Current children cumulated vsize: 2114680 KiB
Current children cumulated memory: 134572 KiB

[startup+43.2003 s]
/proc/loadavg: 4.32 4.16 3.72 5/242 1049904
/proc/meminfo: memFree=121713688/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2114680 memory=134576 CPUtime=43.08 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 65138 0 0 0 4280 28 0 0 20 0 1 0 196825115 2165432320 33644 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 528670 33644 1746 439 0 524099 0
Current children cumulated CPU time: 43.08 s
Current children cumulated vsize: 2114680 KiB
Current children cumulated memory: 134576 KiB

[startup+43.6003 s]
/proc/loadavg: 4.32 4.16 3.72 5/242 1049904
/proc/meminfo: memFree=121713688/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2090104 memory=116700 CPUtime=43.47 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 65150 0 0 0 4319 28 0 0 20 0 1 0 196825115 2140266496 29175 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 522526 29175 1746 439 0 517955 0
Current children cumulated CPU time: 43.47 s
Current children cumulated vsize: 2090104 KiB
Current children cumulated memory: 116700 KiB

[startup+43.8003 s]
/proc/loadavg: 4.32 4.16 3.72 5/242 1049904
/proc/meminfo: memFree=121713688/131655788 swapFree=131071996/131071996
[pid=1049897] ppid=1049894 vsize=2098296 memory=128580 CPUtime=43.67 cores=4,6
/proc/1049897/stat : 1049897 (pb_picat) R 1049894 1049897 1048942 0 -1 4194304 66085 0 0 0 4339 28 0 0 20 0 1 0 196825115 2148655104 32145 134679101440 4194304 5989780 140728068947520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 41009152 140728068953111 140728068953187 140728068953187 140728068960204 0
/proc/1049897/statm: 524574 32145 1746 439 0 520003 0
Current children cumulated CPU time: 43.67 s
Current children cumulated vsize: 2098296 KiB
Current children cumulated memory: 128580 KiB

Child status: 0

Real time (s): 43.8986
CPU time (s): 43.7822
CPU user time (s): 43.49
CPU system time (s): 0.292189
CPU usage (%): 99.735
Max. virtual memory (cumulated for all children) (KiB): 2117920
Max. memory (cumulated for all children) (KiB): 139224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.49
system time used= 0.292189
maximum resident set size= 139224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66229
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= 3
involuntary context switches= 61


# summary of solver processes directly reported to runsolver:
#   pid: 1049897
#   total CPU time (s): 43.7822
#   total CPU user time (s): 43.49
#   total CPU system time (s): 0.292189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.368812 second user time and 0.318832 second system time

The end

Launcher Data

Begin job on nodeC005 at 2024-07-20 05:37:55
IDJOB=4452822
IDBENCH=165322
IDSOLVER=3068
FILE ID=nodeC005/4452822-1721446664
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/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP065.shuf-3.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452822-1721446664/watcher-4452822-1721446664 -o /tmp/evaluation-result-4452822-1721446664/solver-4452822-1721446664 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721445404-1048953 --watchdog 3760  pb_picat HOME/instance-4452822-1721446664.opb

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

MD5SUM BENCH= ff63d464810e05f4e638d683112dc5a7
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		: 3673.743
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		: 3503.578
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.333
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.212
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.782
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.765
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.186
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.309
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:        121986240 kB
MemAvailable:   127601752 kB
Buffers:          554452 kB
Cached:          5841008 kB
SwapCached:            0 kB
Active:          1170100 kB
Inactive:        7790748 kB
Active(anon):       3440 kB
Inactive(anon):  2607872 kB
Active(file):    1166660 kB
Inactive(file):  5182876 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3768 kB
Writeback:             0 kB
AnonPages:       2555296 kB
Mapped:           118724 kB
Shmem:             45896 kB
KReclaimable:     212348 kB
Slab:             332760 kB
SReclaimable:     212348 kB
SUnreclaim:       120412 kB
KernelStack:        3904 kB
PageTables:        14572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8746856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62016 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2086912 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= 723764 MiB
End job on nodeC005 at 2024-07-20 05:38:39