Trace number 4425178

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
SCIP 2024-07-07Signal 106.347 110.668

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar6-sub4_wcsp.wbo
MD5SUM951d8ca9c19f6c1f8975ac3bbc5eec26
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark4559
Best CPU time to get the best result obtained on this benchmark3600.38
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables928
Total number of constraints353054
Number of soft constraints353032
Number of constraints which are clauses353032
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 69697
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 47779432
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
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 SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4425178-1720885234.wbo>
2.09/2.16	c original problem has 353960 variables (353960 bin, 0 int, 0 impl, 0 cont) and 706087 constraints
2.09/2.16	c problem read in 2.16
6.56/6.66	c presolving:
7.76/7.84	c (round 1, fast)       0 del vars, 0 del conss, 0 add conss, 353032 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 353054 clqs
18.92/19.05	c    (19.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425178-1720885234/watcher-4425178-1720885234 -o /tmp/evaluation-result-4425178-1720885234/solver-4425178-1720885234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703900 --watchdog 3760 pbscip -f HOME/instance-4425178-1720885234.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 4.18.0-301.1.el8.x
solver pid=703963, runsolver pid=703960
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 0.49 1.02 2.02 5/245 703964
/proc/meminfo: memFree=129851368/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=75212 memory=34040 CPUtime=0.11 cores=0,2
/proc/703963/stat : 703963 (pbscip) R 703960 703963 703890 0 -1 4194304 5563 0 0 0 9 2 0 0 20 0 1 0 140680602 77017088 8510 134679101440 4194304 18693293 140728776972384 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 18803 8510 3242 3540 0 7060 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 75212 KiB
Current children cumulated memory: 34040 KiB

[startup+0.213992 s]*
/proc/loadavg: 0.49 1.02 2.02 5/245 703966
/proc/meminfo: memFree=129778536/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=91184 memory=50792 CPUtime=0.21 cores=0,2
/proc/703963/stat : 703963 (pbscip) R 703960 703963 703890 0 -1 4194304 9758 0 0 0 18 3 0 0 20 0 1 0 140680602 93372416 12698 134679101440 4194304 18693293 140728776972384 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 22796 12698 3242 3540 0 11053 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 91184 KiB
Current children cumulated memory: 50792 KiB

[startup+0.313736 s]*
/proc/loadavg: 0.85 1.09 2.03 5/245 703966
/proc/meminfo: memFree=129715488/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=106788 memory=66260 CPUtime=0.31 cores=0,2
/proc/703963/stat : 703963 (pbscip) R 703960 703963 703890 0 -1 4194304 13686 0 0 0 27 4 0 0 20 0 1 0 140680602 109350912 16565 134679101440 4194304 18693293 140728776972384 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 26697 16565 3242 3540 0 14954 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 106788 KiB
Current children cumulated memory: 66260 KiB

[startup+0.70036 s]
/proc/loadavg: 0.85 1.09 2.03 5/245 703966
/proc/meminfo: memFree=129589976/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=176808 memory=136436 CPUtime=0.69 cores=0,2
/proc/703963/stat : 703963 (pbscip) R 703960 703963 703890 0 -1 4194304 31169 0 0 0 60 9 0 0 20 0 1 0 140680602 181051392 34043 134679101440 4194304 18693293 140728776972384 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 44427 34109 3242 3540 0 32684 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 176808 KiB
Current children cumulated memory: 136436 KiB

[startup+1.50036 s]
/proc/loadavg: 0.85 1.09 2.03 5/245 703966
/proc/meminfo: memFree=129174272/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=379560 memory=338744 CPUtime=1.48 cores=0,2
/proc/703963/stat : 703963 (pbscip) R 703960 703963 703890 0 -1 4194304 81255 0 0 0 129 19 0 0 20 0 1 0 140680602 388669440 84686 134679101440 4194304 18693293 140728776972384 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 94890 84686 3242 3540 0 83147 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 379560 KiB
Current children cumulated memory: 338744 KiB

[startup+3.11306 s]
/proc/loadavg: 0.85 1.09 2.03 5/245 703966
/proc/meminfo: memFree=125902784/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=1175936 memory=1131144 CPUtime=3.08 cores=0,2
/proc/703963/stat : 703963 (pbscip) R 703960 703963 703890 0 -1 4194304 271898 0 0 0 259 49 0 0 20 0 1 0 140680602 1204158464 282786 134679101440 4194304 18693293 140728776972384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 293984 282786 3561 3540 0 282241 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1175936 KiB
Current children cumulated memory: 1131144 KiB

[startup+6.30034 s]
/proc/loadavg: 1.11 1.14 2.04 5/245 703966
/proc/meminfo: memFree=122732028/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=2435436 memory=2377612 CPUtime=6.26 cores=0,2
/proc/703963/stat : 703963 (pbscip) R 703960 703963 703890 0 -1 4194304 573278 0 0 0 534 92 0 0 20 0 1 0 140680602 2493886464 594403 134679101440 4194304 18693293 140728776972384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 608859 594403 3593 3540 0 597116 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2435436 KiB
Current children cumulated memory: 2377612 KiB

[startup+12.7003 s]
/proc/loadavg: 1.34 1.19 2.05 5/245 703967
/proc/meminfo: memFree=121211436/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=2669168 memory=2597420 CPUtime=12.64 cores=0,2
/proc/703963/stat : 703963 (pbscip) R 703960 703963 703890 0 -1 4194304 606546 0 0 0 1165 99 0 0 20 0 1 0 140680602 2733228032 649355 134679101440 4194304 18693293 140728776972384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 667292 649355 3641 3540 0 655549 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2669168 KiB
Current children cumulated memory: 2597420 KiB

[startup+25.5004 s]
/proc/loadavg: 1.82 1.30 2.08 5/245 703969
/proc/meminfo: memFree=116201332/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=4584120 memory=4021032 CPUtime=25.39 cores=0,2
/proc/703963/stat : 703963 (pbscip) R 703960 703963 703890 0 -1 4194304 655391 0 0 0 2405 134 0 0 20 0 1 0 140680602 4694138880 1005192 134679101440 4194304 18693293 140728776972384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 1146030 1005192 3673 3540 0 1134287 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 4584120 KiB
Current children cumulated memory: 4021032 KiB

[startup+51.1131 s]
/proc/loadavg: 2.68 1.55 2.14 5/245 703973
/proc/meminfo: memFree=109788016/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=6652072 memory=6088860 CPUtime=50.9 cores=0,2
/proc/703963/stat : 703963 (pbscip) R 703960 703963 703890 0 -1 4194304 1172428 0 0 0 4865 225 0 0 20 0 1 0 140680602 6811721728 1522215 134679101440 4194304 18693293 140728776972384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 1663018 1522215 3673 3540 0 1651275 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 6652072 KiB
Current children cumulated memory: 6088860 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 1.98 2.26 5/248 704040
/proc/meminfo: memFree=104012996/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=11093296 memory=10530060 CPUtime=101.88 cores=0,2
/proc/703963/stat : 703963 (pbscip) R 703960 703963 703890 0 -1 4194304 2282818 0 0 0 9767 421 0 0 20 0 1 0 140680602 11359535104 2632515 134679101440 4194304 18693293 140728776972384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 2773324 2632515 3673 3540 0 2761581 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 11093296 KiB
Current children cumulated memory: 10530060 KiB

[startup+110.668 s]
# the end of solver process 703963 was just reported to runsolver
# Child ended because it received signal 11 (SIGSEGV)
Child dumped core

# cumulated CPU time of all completed processes:  user=99.2033 s, system=7.1441 s

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

[startup+102.4 s]
/proc/loadavg: 3.62 1.98 2.26 5/248 704040
/proc/meminfo: memFree=104012996/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=11102724 memory=10539564 CPUtime=101.99 cores=0,2
/proc/703963/stat : 703963 (pbscip) R 703960 703963 703890 0 -1 4194304 2285200 0 0 0 9777 422 0 0 20 0 1 0 140680602 11369189376 2634891 134679101440 4194304 18693293 140728776972384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 2775681 2634891 3673 3540 0 2763938 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 11102724 KiB
Current children cumulated memory: 10539564 KiB

[startup+105.6 s]
/proc/loadavg: 3.62 1.98 2.26 5/249 704042
/proc/meminfo: memFree=102864592/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=11243948 memory=10680804 CPUtime=104.96 cores=0,2
/proc/703963/stat : 703963 (pbscip) R 703960 703963 703890 0 -1 4195840 2320521 0 0 0 9920 576 0 0 20 0 1 0 140680602 11513802752 2670201 134679101440 4194304 18693293 140728776972384 140728768593928 14266023 0 0 0 2 0 0 0 17 2 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 2810987 2670201 3673 3540 0 2799244 0
Current children cumulated CPU time: 104.96 s
Current children cumulated vsize: 11243948 KiB
Current children cumulated memory: 10680804 KiB

[startup+108.8 s]
/proc/loadavg: 3.73 2.03 2.27 4/249 704042
/proc/meminfo: memFree=100769856/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=11243948 memory=10680804 CPUtime=105.87 cores=0,2
/proc/703963/stat : 703963 (pbscip) S 703960 703963 703890 0 -1 4195840 2320521 0 0 0 9920 667 0 0 20 0 1 0 140680602 11513802752 2670201 134679101440 4194304 18693293 140728776972384 140728768593928 14266023 0 0 0 2 0 0 0 17 2 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 2810987 2670201 3673 3540 0 2799244 0
Current children cumulated CPU time: 105.87 s
Current children cumulated vsize: 11243948 KiB
Current children cumulated memory: 10680804 KiB

[startup+109.6 s]
/proc/loadavg: 3.73 2.03 2.27 4/249 704042
/proc/meminfo: memFree=100663624/131655788 swapFree=131071996/131071996
[pid=703963] ppid=703960 vsize=11243948 memory=10680804 CPUtime=105.87 cores=0,2
/proc/703963/stat : 703963 (pbscip) S 703960 703963 703890 0 -1 4195840 2320521 0 0 0 9920 667 0 0 20 0 1 0 140680602 11513802752 2670201 134679101440 4194304 18693293 140728776972384 140728768593928 14266023 0 0 0 2 0 0 0 17 2 0 0 0 0 0 21375888 21430392 56483840 140728776975352 140728776975451 140728776975451 140728776982478 0
/proc/703963/statm: 2810987 2670201 3673 3540 0 2799244 0
Current children cumulated CPU time: 105.87 s
Current children cumulated vsize: 11243948 KiB
Current children cumulated memory: 10680804 KiB

[startup+110.4 s]
/proc/loadavg: 3.73 2.03 2.27 5/249 704043
/proc/meminfo: memFree=102893576/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+110.6 s]
/proc/loadavg: 3.73 2.03 2.27 5/249 704043
/proc/meminfo: memFree=102893576/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child ended because it received signal 11 (SIGSEGV)
Child dumped core

Real time (s): 110.668
CPU time (s): 106.347
CPU user time (s): 99.2033
CPU system time (s): 7.1441
CPU usage (%): 96.0958
Max. virtual memory (cumulated for all children) (KiB): 11243948
Max. memory (cumulated for all children) (KiB): 10680804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.2033
system time used= 7.1441
maximum resident set size= 10681008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2320521
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= 42
involuntary context switches= 768


# summary of solver processes directly reported to runsolver:
#   pid: 703963
#   total CPU time (s): 106.347
#   total CPU user time (s): 99.2033
#   total CPU system time (s): 7.1441

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.49064 second user time and 1.20574 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-13 17:40:47
IDJOB=4425178
IDBENCH=143888
IDSOLVER=3038
FILE ID=nodeC011/4425178-1720885234
RUNJOBID= nodeC011-1720885247-703900
SLURM_JOB_ID= 7485791
Free space on /tmp= 723696 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub4_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425178-1720885234/watcher-4425178-1720885234 -o /tmp/evaluation-result-4425178-1720885234/solver-4425178-1720885234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703900 --watchdog 3760  pbscip -f HOME/instance-4425178-1720885234.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 951d8ca9c19f6c1f8975ac3bbc5eec26
RANDOM SEED=582217038

nodeC011.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		: 1197.342
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.20
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		: 1197.151
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.31
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.120
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.20
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.120
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.31
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		: 1197.147
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.20
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		: 1197.117
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.31
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.121
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.20
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.129
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129953564 kB
MemAvailable:   130002132 kB
Buffers:          325324 kB
Cached:           572076 kB
SwapCached:            0 kB
Active:           501504 kB
Inactive:         703704 kB
Active(anon):       1348 kB
Inactive(anon):   344164 kB
Active(file):     500156 kB
Inactive(file):   359540 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            106140 kB
Writeback:             0 kB
AnonPages:        307652 kB
Mapped:           101308 kB
Shmem:             37704 kB
KReclaimable:      58836 kB
Slab:             148160 kB
SReclaimable:      58836 kB
SUnreclaim:        89324 kB
KernelStack:        3844 kB
PageTables:        10192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     644324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45824 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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:      160584 kB
DirectMap2M:    10229760 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 723684 MiB
End job on nodeC011 at 2024-07-13 17:42:38