Trace number 4442701

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
CASHWMaxSAT-DisjCom-S 2024-07-10? (TO) 3600.07 3608.9

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-85-80.opb
MD5SUM3286026fa526b314722ad26ad1e17070
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.084506
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6800
Total number of constraints165
Number of constraints which are clauses85
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint85
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.78/0.88	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.78/0.88	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.06/3608.90	s UNKNOWN

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442701-1721306124/watcher-4442701-1721306124 -o /tmp/evaluation-result-4442701-1721306124/solver-4442701-1721306124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721306137-959058 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4442701-1721306124.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=959116, runsolver pid=959110
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 1.30 1.88 2.70 7/258 959120
/proc/meminfo: memFree=127177260/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=28852 memory=13416 CPUtime=0.09 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 3177 0 0 0 9 0 0 0 20 0 1 0 182781375 29544448 3354 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 7213 3354 814 2417 0 4315 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28852 KiB
Current children cumulated memory: 13416 KiB

[startup+0.205627 s]*
/proc/loadavg: 1.30 1.88 2.70 6/258 959120
/proc/meminfo: memFree=127160656/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=30528 memory=15792 CPUtime=0.2 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 3765 0 0 0 19 1 0 0 20 0 1 0 182781375 31260672 3948 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 7632 3948 814 2417 0 4734 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30528 KiB
Current children cumulated memory: 15792 KiB

[startup+0.304481 s]*
/proc/loadavg: 1.30 1.88 2.70 6/258 959120
/proc/meminfo: memFree=127154188/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=33248 memory=17904 CPUtime=0.3 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 4306 0 0 0 29 1 0 0 20 0 1 0 182781375 34045952 4476 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 8312 4476 814 2417 0 5414 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 17904 KiB

[startup+0.700178 s]
/proc/loadavg: 1.30 1.88 2.70 5/258 959120
/proc/meminfo: memFree=127141452/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=46564 memory=27008 CPUtime=0.68 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 5563 0 0 0 67 1 0 0 20 0 1 0 182781375 47681536 6752 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 11641 6752 814 2417 0 8743 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 27008 KiB

[startup+1.50023 s]
/proc/loadavg: 1.30 1.88 2.70 7/258 959120
/proc/meminfo: memFree=127128324/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=49604 memory=33044 CPUtime=1.48 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 7357 0 0 0 146 2 0 0 20 0 1 0 182781375 50794496 8261 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 12401 8261 814 2417 0 9503 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 33044 KiB

[startup+3.1058 s]
/proc/loadavg: 1.52 1.92 2.70 7/258 959122
/proc/meminfo: memFree=127030748/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=84084 memory=65324 CPUtime=3.09 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 8786 0 0 0 306 3 0 0 20 0 1 0 182781375 86102016 16331 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 21021 16331 814 2417 0 18123 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 84084 KiB
Current children cumulated memory: 65324 KiB

[startup+6.30021 s]
/proc/loadavg: 1.52 1.92 2.70 7/258 959168
/proc/meminfo: memFree=126812804/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=115588 memory=94924 CPUtime=6.28 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 11467 0 0 0 622 6 0 0 20 0 1 0 182781375 118362112 23731 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 28897 23731 814 2417 0 25999 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 115588 KiB
Current children cumulated memory: 94924 KiB

[startup+12.7002 s]
/proc/loadavg: 1.90 1.99 2.72 7/258 959168
/proc/meminfo: memFree=126601576/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=146408 memory=123660 CPUtime=12.65 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 14291 0 0 0 1256 9 0 0 20 0 1 0 182781375 149921792 30915 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 36602 30915 814 2417 0 33704 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 146408 KiB
Current children cumulated memory: 123660 KiB

[startup+25.5002 s]
/proc/loadavg: 2.22 2.05 2.73 7/256 959171
/proc/meminfo: memFree=126572896/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=146408 memory=119708 CPUtime=25.42 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 19918 0 0 0 2524 18 0 0 20 0 1 0 182781375 149921792 29927 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 36602 29927 814 2417 0 33704 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 146408 KiB
Current children cumulated memory: 119708 KiB

[startup+51.1059 s]
/proc/loadavg: 2.90 2.23 2.77 7/256 959174
/proc/meminfo: memFree=126546820/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=116976 memory=98468 CPUtime=50.96 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 30732 0 0 0 5059 37 0 0 20 0 1 0 182781375 119783424 24617 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 29244 24617 814 2417 0 26346 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 116976 KiB
Current children cumulated memory: 98468 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 2.53 2.85 7/256 959183
/proc/meminfo: memFree=126397664/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=197452 memory=183072 CPUtime=102.03 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 52230 0 0 0 10133 70 0 0 20 0 1 0 182781375 202190848 45768 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 49363 45768 814 2417 0 46465 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 197452 KiB
Current children cumulated memory: 183072 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.81 2.93 7/256 959194
/proc/meminfo: memFree=126417792/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=184920 memory=164132 CPUtime=161.89 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 74171 0 0 0 16078 111 0 0 20 0 1 0 182781375 189358080 41033 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 46230 41033 814 2417 0 43332 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 184920 KiB
Current children cumulated memory: 164132 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.06 3.01 7/256 959205
/proc/meminfo: memFree=126206172/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=356664 memory=302224 CPUtime=221.74 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 90890 0 0 0 22029 145 0 0 20 0 1 0 182781375 365223936 75556 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 89166 75556 814 2417 0 86268 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 356664 KiB
Current children cumulated memory: 302224 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.25 3.08 7/256 959215
/proc/meminfo: memFree=126375596/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=204940 memory=173916 CPUtime=281.6 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 109249 0 0 0 27978 182 0 0 20 0 1 0 182781375 209858560 43479 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 51235 43479 814 2417 0 48337 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 204940 KiB
Current children cumulated memory: 173916 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.41 3.14 7/256 959230
/proc/meminfo: memFree=126230144/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=371428 memory=284232 CPUtime=341.46 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 125559 0 0 0 33933 213 0 0 20 0 1 0 182781375 380342272 71058 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 92857 71058 814 2417 0 89959 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 371428 KiB
Current children cumulated memory: 284232 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.55 3.21 7/256 959241
/proc/meminfo: memFree=126205572/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=252040 memory=223136 CPUtime=401.31 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 144933 0 0 0 39888 243 0 0 20 0 1 0 182781375 258088960 55784 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 63010 55784 814 2417 0 60112 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 252040 KiB
Current children cumulated memory: 223136 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.65 3.27 7/256 959252
/proc/meminfo: memFree=126080440/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=389100 memory=344940 CPUtime=461.16 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 158228 0 0 0 45841 275 0 0 20 0 1 0 182781375 398438400 86235 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 97275 86235 814 2417 0 94377 0

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

Current children cumulated memory: 361556 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.08 7/256 960278
/proc/meminfo: memFree=125712992/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=506704 memory=440316 CPUtime=2915.07 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 762547 0 0 0 289931 1576 0 0 20 0 1 0 182781375 518864896 110079 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 126676 110079 814 2417 0 123778 0
Current children cumulated CPU time: 2915.07 s
Current children cumulated vsize: 506704 KiB
Current children cumulated memory: 440316 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.08 7/256 960288
/proc/meminfo: memFree=125736908/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=506704 memory=442368 CPUtime=2974.93 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 768374 0 0 0 295890 1603 0 0 20 0 1 0 182781375 518864896 110592 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 126676 110592 814 2417 0 123778 0
Current children cumulated CPU time: 2974.93 s
Current children cumulated vsize: 506704 KiB
Current children cumulated memory: 442368 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.12 4.09 7/255 960681
/proc/meminfo: memFree=125837336/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=353816 memory=337208 CPUtime=3034.79 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 793824 0 0 0 301841 1638 0 0 20 0 1 0 182781375 362307584 84302 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 88454 84302 814 2417 0 85556 0
Current children cumulated CPU time: 3034.79 s
Current children cumulated vsize: 353816 KiB
Current children cumulated memory: 337208 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.13 4.09 7/255 960692
/proc/meminfo: memFree=125743456/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=384636 memory=368092 CPUtime=3094.65 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 820696 0 0 0 307797 1668 0 0 20 0 1 0 182781375 393867264 92023 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 96159 92023 814 2417 0 93261 0
Current children cumulated CPU time: 3094.65 s
Current children cumulated vsize: 384636 KiB
Current children cumulated memory: 368092 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.09 7/255 960703
/proc/meminfo: memFree=125671152/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=516112 memory=449464 CPUtime=3154.5 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 829373 0 0 0 313745 1705 0 0 20 0 1 0 182781375 528498688 112366 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 129028 112366 814 2417 0 126130 0
Current children cumulated CPU time: 3154.5 s
Current children cumulated vsize: 516112 KiB
Current children cumulated memory: 449464 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.10 4.09 7/258 960884
/proc/meminfo: memFree=125676584/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=516112 memory=423104 CPUtime=3214.36 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 839483 0 0 0 319694 1742 0 0 20 0 1 0 182781375 528498688 105776 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 129028 105776 814 2417 0 126130 0
Current children cumulated CPU time: 3214.36 s
Current children cumulated vsize: 516112 KiB
Current children cumulated memory: 423104 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 7/258 960895
/proc/meminfo: memFree=125849284/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=360664 memory=329720 CPUtime=3274.22 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 856231 0 0 0 325646 1776 0 0 20 0 1 0 182781375 369319936 82430 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 90166 82430 814 2417 0 87268 0
Current children cumulated CPU time: 3274.22 s
Current children cumulated vsize: 360664 KiB
Current children cumulated memory: 329720 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 7/259 960965
/proc/meminfo: memFree=125807472/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=391484 memory=346732 CPUtime=3334.08 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 882665 0 0 0 331603 1805 0 0 20 0 1 0 182781375 400879616 86683 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 97871 86683 814 2417 0 94973 0
Current children cumulated CPU time: 3334.08 s
Current children cumulated vsize: 391484 KiB
Current children cumulated memory: 346732 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 7/259 960976
/proc/meminfo: memFree=125490756/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=655220 memory=548424 CPUtime=3393.94 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 904786 0 0 0 337548 1846 0 0 20 0 1 0 182781375 670945280 137106 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 163805 137106 814 2417 0 160907 0
Current children cumulated CPU time: 3393.94 s
Current children cumulated vsize: 655220 KiB
Current children cumulated memory: 548424 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 7/259 960987
/proc/meminfo: memFree=125681012/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=522960 memory=456308 CPUtime=3453.81 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 910728 0 0 0 343493 1888 0 0 20 0 1 0 182781375 535511040 114077 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 130740 114077 814 2417 0 127842 0
Current children cumulated CPU time: 3453.81 s
Current children cumulated vsize: 522960 KiB
Current children cumulated memory: 456308 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 7/256 960998
/proc/meminfo: memFree=125649592/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=522960 memory=489220 CPUtime=3513.67 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 916926 0 0 0 349439 1928 0 0 20 0 1 0 182781375 535511040 122305 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 130740 122305 814 2417 0 127842 0
Current children cumulated CPU time: 3513.67 s
Current children cumulated vsize: 522960 KiB
Current children cumulated memory: 489220 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 7/256 961008
/proc/meminfo: memFree=125708252/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=522960 memory=478840 CPUtime=3573.52 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 923376 0 0 0 355375 1977 0 0 20 0 1 0 182781375 535511040 119710 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 130740 119710 814 2417 0 127842 0
Current children cumulated CPU time: 3573.52 s
Current children cumulated vsize: 522960 KiB
Current children cumulated memory: 478840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 4.12 4.10 4.09 7/257 961014
/proc/meminfo: memFree=125655040/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=522960 memory=502352 CPUtime=3600.06 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 925789 0 0 0 358012 1994 0 0 20 0 1 0 182781375 535511040 125588 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 130740 125588 814 2417 0 127842 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 522960 KiB
Current children cumulated memory: 502352 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.12 s, system=19.9517 s

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

[startup+3608.9 s]
/proc/loadavg: 4.12 4.10 4.09 7/257 961014
/proc/meminfo: memFree=125655040/131524600 swapFree=131071996/131071996
[pid=959116] ppid=959110 vsize=522960 memory=502352 CPUtime=3600.06 cores=5,7
/proc/959116/stat : 959116 (CASHWMaxSAT-Dis) R 959110 959116 959045 0 -1 4194304 925789 0 0 0 358012 1994 0 0 20 0 1 0 182781375 535511040 125588 134679101440 4194304 14093885 140736094039056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24477696 140736094045156 140736094045271 140736094045271 140736094052287 0
/proc/959116/statm: 130740 125588 814 2417 0 127842 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 522960 KiB
Current children cumulated memory: 502352 KiB

Child status: 0

Real time (s): 3608.9
CPU time (s): 3600.07
CPU user time (s): 3580.12
CPU system time (s): 19.9517
CPU usage (%): 99.7554
Max. virtual memory (cumulated for all children) (KiB): 866836
Max. memory (cumulated for all children) (KiB): 713744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.12
system time used= 19.9517
maximum resident set size= 805216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925789
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= 68
involuntary context switches= 4750


# summary of solver processes directly reported to runsolver:
#   pid: 959116
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3580.12
#   total CPU system time (s): 19.9517

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25147 second user time and 17.2786 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-18 14:35:37
IDJOB=4442701
IDBENCH=147841
IDSOLVER=3077
FILE ID=nodeC032/4442701-1721306124
RUNJOBID= nodeC032-1721306137-959058
SLURM_JOB_ID= 7542638
Free space on /tmp= 890084 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442701-1721306124/watcher-4442701-1721306124 -o /tmp/evaluation-result-4442701-1721306124/solver-4442701-1721306124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721306137-959058 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4442701-1721306124.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 3286026fa526b314722ad26ad1e17070
RANDOM SEED=1519464341

nodeC032.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	: 0xb00002a
cpu MHz		: 3590.866
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.33
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	: 0xb00002a
cpu MHz		: 3588.319
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.03
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	: 0xb00002a
cpu MHz		: 3634.928
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.33
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	: 0xb00002a
cpu MHz		: 3564.176
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.03
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	: 0xb00002a
cpu MHz		: 3637.400
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.33
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	: 0xb00002a
cpu MHz		: 3500.103
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.03
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	: 0xb00002a
cpu MHz		: 3621.407
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.33
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	: 0xb00002a
cpu MHz		: 3622.825
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127226800 kB
MemAvailable:   129690748 kB
Buffers:          496468 kB
Cached:          2783132 kB
SwapCached:            0 kB
Active:           933028 kB
Inactive:        2710968 kB
Active(anon):       1440 kB
Inactive(anon):   400668 kB
Active(file):     931588 kB
Inactive(file):  2310300 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             52660 kB
Writeback:             0 kB
AnonPages:        364348 kB
Mapped:           105740 kB
Shmem:             37720 kB
KReclaimable:     123764 kB
Slab:             239372 kB
SReclaimable:     123764 kB
SUnreclaim:       115608 kB
KernelStack:        3904 kB
PageTables:         9796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     708472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69344 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      226004 kB
DirectMap2M:    21567488 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC032 at 2024-07-18 15:35:46