Trace number 4448159

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-DisjCad-S 2024-07-10UNSAT 2675.86 2685.14

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
MD5SUMab4f361084eaa55350d5ce36089ad752
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 benchmark79.3495
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables701
Total number of constraints2802
Number of constraints which are clauses2802
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

2675.83/2685.13	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
2675.83/2685.13	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: 64059 MiB (59906 MiB free)
  memory of node 1: 64510 MiB (61360 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448159-1721353365/watcher-4448159-1721353365 -o /tmp/evaluation-result-4448159-1721353365/solver-4448159-1721353365 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721353376-979958 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4448159-1721353365.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=980114, runsolver pid=980111

[startup+0.100283 s]*
/proc/loadavg: 1.17 1.93 3.15 5/247 980115
/proc/meminfo: memFree=124172888/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=21404 memory=7564 CPUtime=0.1 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 1106 0 0 0 10 0 0 0 20 0 1 0 187492653 21917696 1891 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 5351 1891 990 2594 0 2244 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21404 KiB
Current children cumulated memory: 7564 KiB

[startup+0.213474 s]*
/proc/loadavg: 1.17 1.93 3.15 5/247 980115
/proc/meminfo: memFree=124172140/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=21616 memory=7748 CPUtime=0.21 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 1263 0 0 0 21 0 0 0 20 0 1 0 187492653 22134784 1937 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 5404 1937 1006 2594 0 2297 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21616 KiB
Current children cumulated memory: 7748 KiB

[startup+0.312452 s]*
/proc/loadavg: 1.17 1.93 3.15 5/247 980115
/proc/meminfo: memFree=124170896/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=21704 memory=7856 CPUtime=0.3 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 1469 0 0 0 30 0 0 0 20 0 1 0 187492653 22224896 1964 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 5426 1964 1006 2594 0 2319 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21704 KiB
Current children cumulated memory: 7856 KiB

[startup+0.700267 s]
/proc/loadavg: 1.17 1.93 3.15 5/247 980115
/proc/meminfo: memFree=124171364/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=22072 memory=8208 CPUtime=0.69 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 2024 0 0 0 68 1 0 0 20 0 1 0 187492653 22601728 2052 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 5518 2052 1006 2594 0 2411 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22072 KiB
Current children cumulated memory: 8208 KiB

[startup+1.50029 s]
/proc/loadavg: 1.17 1.93 3.15 5/247 980115
/proc/meminfo: memFree=124166820/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=22648 memory=8844 CPUtime=1.48 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 3686 0 0 0 147 1 0 0 20 0 1 0 187492653 23191552 2211 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 5662 2211 1006 2594 0 2555 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 22648 KiB
Current children cumulated memory: 8844 KiB

[startup+3.11239 s]
/proc/loadavg: 1.17 1.93 3.15 5/247 980115
/proc/meminfo: memFree=124153364/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=25752 memory=11896 CPUtime=3.08 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 6847 0 0 0 307 1 0 0 20 0 1 0 187492653 26370048 2974 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 6438 2974 1006 2594 0 3331 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 25752 KiB
Current children cumulated memory: 11896 KiB

[startup+6.3003 s]
/proc/loadavg: 1.39 1.96 3.16 5/247 980115
/proc/meminfo: memFree=124134400/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=31384 memory=17640 CPUtime=6.26 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 11750 0 0 0 624 2 0 0 20 0 1 0 187492653 32137216 4410 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 7846 4410 1006 2594 0 4739 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 31384 KiB
Current children cumulated memory: 17640 KiB

[startup+12.7003 s]
/proc/loadavg: 1.60 1.99 3.16 5/247 980117
/proc/meminfo: memFree=124121504/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=31000 memory=17368 CPUtime=12.64 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 20614 0 0 0 1260 4 0 0 20 0 1 0 187492653 31744000 4342 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 7750 4342 1006 2594 0 4643 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 31000 KiB
Current children cumulated memory: 17368 KiB

[startup+25.5003 s]
/proc/loadavg: 2.13 2.09 3.18 5/247 980118
/proc/meminfo: memFree=124079616/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=44524 memory=30288 CPUtime=25.4 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 32799 0 0 0 2533 7 0 0 20 0 1 0 187492653 45592576 7572 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 11131 7572 1006 2594 0 8024 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 44524 KiB
Current children cumulated memory: 30288 KiB

[startup+51.1129 s]
/proc/loadavg: 2.83 2.26 3.20 5/247 980123
/proc/meminfo: memFree=124050860/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=52436 memory=38128 CPUtime=50.92 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 46035 0 0 0 5082 10 0 0 20 0 1 0 187492653 53694464 9532 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 13109 9532 1006 2594 0 10002 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 52436 KiB
Current children cumulated memory: 38128 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.55 3.25 5/247 980131
/proc/meminfo: memFree=123965384/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=66932 memory=52160 CPUtime=101.94 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 68446 0 0 0 10176 18 0 0 20 0 1 0 187492653 68538368 13040 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 16733 13040 1006 2594 0 13626 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 66932 KiB
Current children cumulated memory: 52160 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.85 3.31 5/244 980142
/proc/meminfo: memFree=123934136/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=77080 memory=62792 CPUtime=161.73 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 80776 0 0 0 16148 25 0 0 20 0 1 0 187492653 78929920 15698 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 19270 15698 1006 2594 0 16163 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 77080 KiB
Current children cumulated memory: 62792 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.07 3.37 5/244 980153
/proc/meminfo: memFree=123925788/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=84028 memory=69272 CPUtime=221.51 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 92251 0 0 0 22119 32 0 0 20 0 1 0 187492653 86044672 17318 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 21007 17318 1006 2594 0 17900 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 84028 KiB
Current children cumulated memory: 69272 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.26 3.41 5/244 980163
/proc/meminfo: memFree=123899372/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=98328 memory=84504 CPUtime=281.29 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 98205 0 0 0 28093 36 0 0 20 0 1 0 187492653 100687872 21126 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 24582 21126 1006 2594 0 21475 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 98328 KiB
Current children cumulated memory: 84504 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 3.44 3.47 5/242 980173
/proc/meminfo: memFree=123871380/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=95680 memory=74572 CPUtime=341.08 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 114474 0 0 0 34063 45 0 0 20 0 1 0 187492653 97976320 18643 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 23920 18643 1006 2594 0 20813 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 95680 KiB
Current children cumulated memory: 74572 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.56 3.51 5/242 980184
/proc/meminfo: memFree=123855820/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=90824 memory=76876 CPUtime=400.84 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 124047 0 0 0 40035 49 0 0 20 0 1 0 187492653 93003776 19219 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 22706 19219 1006 2594 0 19599 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 90824 KiB
Current children cumulated memory: 76876 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.68 3.55 5/245 980199
/proc/meminfo: memFree=123781784/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=116576 memory=102816 CPUtime=460.65 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 132169 0 0 0 46011 54 0 0 20 0 1 0 187492653 119373824 25704 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 29144 25704 1006 2594 0 26037 0

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

/proc/loadavg: 4.09 4.11 4.03 5/242 981079
/proc/meminfo: memFree=123595288/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=121640 memory=107884 CPUtime=2134.8 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 282293 0 0 0 213325 155 0 0 20 0 1 0 187492653 124559360 26971 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 30410 26971 1006 2594 0 27303 0
Current children cumulated CPU time: 2134.8 s
Current children cumulated vsize: 121640 KiB
Current children cumulated memory: 107884 KiB

[startup+2202.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/242 981090
/proc/meminfo: memFree=123668148/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=159516 memory=145112 CPUtime=2194.6 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 284730 0 0 0 219301 159 0 0 20 0 1 0 187492653 163344384 36278 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 39879 36278 1006 2594 0 36772 0
Current children cumulated CPU time: 2194.6 s
Current children cumulated vsize: 159516 KiB
Current children cumulated memory: 145112 KiB

[startup+2262.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/245 981105
/proc/meminfo: memFree=123557228/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=158636 memory=144268 CPUtime=2254.39 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 286061 0 0 0 225278 161 0 0 20 0 1 0 187492653 162443264 36067 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 39659 36067 1006 2594 0 36552 0
Current children cumulated CPU time: 2254.39 s
Current children cumulated vsize: 158636 KiB
Current children cumulated memory: 144268 KiB

[startup+2322.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/245 981115
/proc/meminfo: memFree=123563272/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=159616 memory=145048 CPUtime=2314.19 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 290235 0 0 0 231252 167 0 0 20 0 1 0 187492653 163446784 36262 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 39904 36262 1006 2594 0 36797 0
Current children cumulated CPU time: 2314.19 s
Current children cumulated vsize: 159616 KiB
Current children cumulated memory: 145048 KiB

[startup+2382.3 s]
/proc/loadavg: 4.70 4.27 4.10 5/245 981126
/proc/meminfo: memFree=123552868/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=160620 memory=146796 CPUtime=2374 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 292922 0 0 0 237228 172 0 0 20 0 1 0 187492653 164474880 36699 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 40155 36699 1006 2594 0 37048 0
Current children cumulated CPU time: 2374 s
Current children cumulated vsize: 160620 KiB
Current children cumulated memory: 146796 KiB

[startup+2442.3 s]
/proc/loadavg: 4.44 4.29 4.11 5/245 981136
/proc/meminfo: memFree=123549224/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=159220 memory=145396 CPUtime=2433.8 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 296831 0 0 0 243203 177 0 0 20 0 1 0 187492653 163041280 36349 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 39805 36349 1006 2594 0 36698 0
Current children cumulated CPU time: 2433.8 s
Current children cumulated vsize: 159220 KiB
Current children cumulated memory: 145396 KiB

[startup+2502.3 s]
/proc/loadavg: 4.33 4.28 4.12 5/245 981146
/proc/meminfo: memFree=123574396/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=159460 memory=145636 CPUtime=2493.6 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 300829 0 0 0 249177 183 0 0 20 0 1 0 187492653 163287040 36409 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 39865 36409 1006 2594 0 36758 0
Current children cumulated CPU time: 2493.6 s
Current children cumulated vsize: 159460 KiB
Current children cumulated memory: 145636 KiB

[startup+2562.3 s]
/proc/loadavg: 4.17 4.24 4.11 5/244 981541
/proc/meminfo: memFree=123529900/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=161604 memory=147780 CPUtime=2553.42 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 303916 0 0 0 255153 189 0 0 20 0 1 0 187492653 165482496 36945 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 40401 36945 1006 2594 0 37294 0
Current children cumulated CPU time: 2553.42 s
Current children cumulated vsize: 161604 KiB
Current children cumulated memory: 147780 KiB

[startup+2622.3 s]
/proc/loadavg: 4.14 4.21 4.11 5/245 981553
/proc/meminfo: memFree=123544432/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=162120 memory=148296 CPUtime=2613.22 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 306856 0 0 0 261129 193 0 0 20 0 1 0 187492653 166010880 37074 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 40530 37074 1006 2594 0 37423 0
Current children cumulated CPU time: 2613.22 s
Current children cumulated vsize: 162120 KiB
Current children cumulated memory: 148296 KiB

[startup+2682.3 s]
/proc/loadavg: 4.10 4.19 4.10 5/245 981563
/proc/meminfo: memFree=123500316/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=159420 memory=145596 CPUtime=2673.03 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 309801 0 0 0 267106 197 0 0 20 0 1 0 187492653 163246080 36399 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 39855 36399 1006 2594 0 36748 0
Current children cumulated CPU time: 2673.03 s
Current children cumulated vsize: 159420 KiB
Current children cumulated memory: 145596 KiB

[startup+2685.14 s]
# the end of solver process 980114 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=2673.89 s, system=1.97224 s

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

[startup+2683.2 s]
/proc/loadavg: 4.10 4.19 4.10 5/245 981563
/proc/meminfo: memFree=123500324/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=159420 memory=145596 CPUtime=2673.93 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 309801 0 0 0 267196 197 0 0 20 0 1 0 187492653 163246080 36399 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 39855 36399 1006 2594 0 36748 0
Current children cumulated CPU time: 2673.93 s
Current children cumulated vsize: 159420 KiB
Current children cumulated memory: 145596 KiB

[startup+2684 s]*
/proc/loadavg: 4.10 4.18 4.10 5/245 981563
/proc/meminfo: memFree=123500324/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=159420 memory=145596 CPUtime=2674.74 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 309801 0 0 0 267277 197 0 0 20 0 1 0 187492653 163246080 36399 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 39855 36399 1006 2594 0 36748 0
Current children cumulated CPU time: 2674.74 s
Current children cumulated vsize: 159420 KiB
Current children cumulated memory: 145596 KiB

[startup+2684.8 s]
/proc/loadavg: 4.10 4.18 4.10 5/245 981563
/proc/meminfo: memFree=123500324/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=159420 memory=145596 CPUtime=2675.52 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 309801 0 0 0 267355 197 0 0 20 0 1 0 187492653 163246080 36399 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 39855 36399 1006 2594 0 36748 0
Current children cumulated CPU time: 2675.52 s
Current children cumulated vsize: 159420 KiB
Current children cumulated memory: 145596 KiB

[startup+2685 s]*
/proc/loadavg: 4.10 4.18 4.10 5/245 981563
/proc/meminfo: memFree=123500324/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=159420 memory=145596 CPUtime=2675.73 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 309801 0 0 0 267376 197 0 0 20 0 1 0 187492653 163246080 36399 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 39855 36399 1006 2594 0 36748 0
Current children cumulated CPU time: 2675.73 s
Current children cumulated vsize: 159420 KiB
Current children cumulated memory: 145596 KiB

[startup+2685.11 s]
/proc/loadavg: 4.10 4.18 4.10 5/245 981563
/proc/meminfo: memFree=123500324/131655788 swapFree=131071996/131071996
[pid=980114] ppid=980111 vsize=159420 memory=145596 CPUtime=2675.83 cores=0,2
/proc/980114/stat : 980114 (CASHWMaxSAT-Dis) R 980111 980114 979948 0 -1 4194304 309801 0 0 0 267386 197 0 0 20 0 1 0 187492653 163246080 36399 134679101440 4194304 14817773 140726627930624 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 22355968 140726627935204 140726627935319 140726627935319 140726627942335 0
/proc/980114/statm: 39855 36399 1006 2594 0 36748 0
Current children cumulated CPU time: 2675.83 s
Current children cumulated vsize: 159420 KiB
Current children cumulated memory: 145596 KiB

Child status: 20

Real time (s): 2685.14
CPU time (s): 2675.86
CPU user time (s): 2673.89
CPU system time (s): 1.97224
CPU usage (%): 99.6546
Max. virtual memory (cumulated for all children) (KiB): 214372
Max. memory (cumulated for all children) (KiB): 200568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2673.89
system time used= 1.97224
maximum resident set size= 200568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309801
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= 45
involuntary context switches= 18740


# summary of solver processes directly reported to runsolver:
#   pid: 980114
#   total CPU time (s): 2675.86
#   total CPU user time (s): 2673.89
#   total CPU system time (s): 1.97224

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4967 second user time and 27.8218 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-19 03:42:57
IDJOB=4448159
IDBENCH=160366
IDSOLVER=3075
FILE ID=nodeC003/4448159-1721353365
RUNJOBID= nodeC003-1721353376-979958
SLURM_JOB_ID= 7542767
Free space on /tmp= 723740 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448159-1721353365/watcher-4448159-1721353365 -o /tmp/evaluation-result-4448159-1721353365/solver-4448159-1721353365 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721353376-979958 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4448159-1721353365.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= ab4f361084eaa55350d5ce36089ad752
RANDOM SEED=117828706

nodeC003.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		: 1396.755
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.76
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		: 1795.824
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.30
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.225
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.76
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.333
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.30
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		: 1396.752
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.76
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.216
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.30
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.408
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.76
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.238
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124178308 kB
MemAvailable:   129829092 kB
Buffers:          524820 kB
Cached:          5902260 kB
SwapCached:            0 kB
Active:           948780 kB
Inactive:        5844652 kB
Active(anon):       1440 kB
Inactive(anon):   402616 kB
Active(file):     947340 kB
Inactive(file):  5442036 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             55836 kB
Writeback:            20 kB
AnonPages:        366512 kB
Mapped:           117992 kB
Shmem:             37704 kB
KReclaimable:     202880 kB
Slab:             318160 kB
SReclaimable:     202880 kB
SUnreclaim:       115280 kB
KernelStack:        3968 kB
PageTables:         9716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     668664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59008 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723728 MiB
End job on nodeC003 at 2024-07-19 04:27:43