Trace number 4452288

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-SP 2024-07-10? (TO) 3600.12 3609.55

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-neos-948346.0.s.opb
MD5SUMfa44fc9c0c30a6a8030f0b23aafff6c8
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables57855
Total number of constraints1571
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)632
Number of constraints which are nor clauses,nor cardinality constraints894
Minimum length of a constraint5
Maximum length of a constraint57675
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 10000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 578713
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.07/3609.50	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: 64059 MiB (62641 MiB free)
  memory of node 1: 64510 MiB (61326 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452288-1721444789/watcher-4452288-1721444789 -o /tmp/evaluation-result-4452288-1721444789/solver-4452288-1721444789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721444801-1050031 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4452288-1721444789.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
Current StackSize limit: 8192 KiB

solver pid=1050090, runsolver pid=1050087

[startup+0.100538 s]*
/proc/loadavg: 3.87 4.06 4.09 5/242 1050091
/proc/meminfo: memFree=126915860/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=28992 memory=13228 CPUtime=0.1 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 2985 0 0 0 9 1 0 0 20 0 1 0 196635507 29687808 3307 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 7248 3307 922 2726 0 3996 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28992 KiB
Current children cumulated memory: 13228 KiB

[startup+0.213237 s]*
/proc/loadavg: 3.87 4.06 4.09 6/242 1050091
/proc/meminfo: memFree=126899476/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=33152 memory=17320 CPUtime=0.21 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 4027 0 0 0 19 2 0 0 20 0 1 0 196635507 33947648 4330 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 8288 4330 922 2726 0 5036 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 17320 KiB

[startup+0.312394 s]*
/proc/loadavg: 3.87 4.06 4.09 6/242 1050091
/proc/meminfo: memFree=126888440/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=37248 memory=21164 CPUtime=0.31 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 4458 0 0 0 29 2 0 0 20 0 1 0 196635507 38141952 5291 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 9312 5291 922 2726 0 6060 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 21164 KiB

[startup+0.700307 s]
/proc/loadavg: 3.87 4.06 4.09 5/242 1050091
/proc/meminfo: memFree=126849700/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=45440 memory=29376 CPUtime=0.68 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 4982 0 0 0 65 3 0 0 20 0 1 0 196635507 46530560 7344 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 11360 7344 922 2726 0 8108 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45440 KiB
Current children cumulated memory: 29376 KiB

[startup+1.50035 s]
/proc/loadavg: 3.87 4.06 4.09 5/242 1050091
/proc/meminfo: memFree=126647996/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=146540 memory=118260 CPUtime=1.48 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 14389 0 0 0 141 7 0 0 20 0 1 0 196635507 150056960 29565 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 36635 29565 1018 2726 0 33383 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 146540 KiB
Current children cumulated memory: 118260 KiB

[startup+3.11351 s]
/proc/loadavg: 3.87 4.06 4.09 5/242 1050091
/proc/meminfo: memFree=126440664/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=346448 memory=309692 CPUtime=3.09 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 40792 0 0 0 295 14 0 0 20 0 1 0 196635507 354762752 77423 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 86612 77423 1066 2726 0 83360 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 346448 KiB
Current children cumulated memory: 309692 KiB

[startup+6.3003 s]
/proc/loadavg: 3.88 4.05 4.09 5/242 1050093
/proc/meminfo: memFree=125505936/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=902496 memory=779072 CPUtime=6.26 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 88318 0 0 0 597 29 0 0 20 0 1 0 196635507 924155904 194768 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 225624 194768 1066 2726 0 222372 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 902496 KiB
Current children cumulated memory: 779072 KiB

[startup+12.7003 s]
/proc/loadavg: 3.89 4.05 4.09 5/242 1050093
/proc/meminfo: memFree=124402732/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=1394864 memory=1315704 CPUtime=12.65 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 130892 0 0 0 1216 49 0 0 20 0 1 0 196635507 1428340736 328926 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 348716 328926 1066 2726 0 345464 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1394864 KiB
Current children cumulated memory: 1315704 KiB

[startup+25.5004 s]
/proc/loadavg: 3.92 4.05 4.09 5/242 1050096
/proc/meminfo: memFree=118255144/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=5024696 memory=4676976 CPUtime=25.42 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 555506 0 0 0 2371 171 0 0 20 0 1 0 196635507 5145288704 1169244 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1256174 1169244 1114 2726 0 1252922 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 5024696 KiB
Current children cumulated memory: 4676976 KiB

[startup+51.1127 s]
/proc/loadavg: 4.07 4.08 4.09 5/242 1050099
/proc/meminfo: memFree=117488240/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=5759132 memory=5395960 CPUtime=50.96 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 571543 0 0 0 4896 200 0 0 20 0 1 0 196635507 5897351168 1348990 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1439783 1348990 1146 2726 0 1436531 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 5759132 KiB
Current children cumulated memory: 5395960 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/242 1050107
/proc/meminfo: memFree=117082272/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6056068 memory=5710296 CPUtime=102.03 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 585543 0 0 0 9918 285 0 0 20 0 1 0 196635507 6201413632 1427574 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1514017 1427574 1146 2726 0 1510765 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 6056068 KiB
Current children cumulated memory: 5710296 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.08 4.09 6/242 1050164
/proc/meminfo: memFree=117013628/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=5457176 memory=5092356 CPUtime=161.87 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 613696 0 0 0 15789 398 0 0 20 0 1 0 196635507 5588148224 1273089 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1364294 1273089 1146 2726 0 1361042 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 5457176 KiB
Current children cumulated memory: 5092356 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.08 4.09 6/245 1050179
/proc/meminfo: memFree=117430260/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=5452420 memory=5087600 CPUtime=221.71 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 626463 0 0 0 21697 474 0 0 20 0 1 0 196635507 5583278080 1271900 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1363105 1271900 1146 2726 0 1359853 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 5452420 KiB
Current children cumulated memory: 5087600 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/245 1050282
/proc/meminfo: memFree=117677908/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=5447260 memory=5094728 CPUtime=281.55 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 633485 0 0 0 27632 523 0 0 20 0 1 0 196635507 5577994240 1273682 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1361815 1273682 1146 2726 0 1358563 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 5447260 KiB
Current children cumulated memory: 5094728 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/245 1050292
/proc/meminfo: memFree=117661580/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=5322292 memory=5078140 CPUtime=341.39 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 638929 0 0 0 33580 559 0 0 20 0 1 0 196635507 5450027008 1269535 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1330573 1269535 1146 2726 0 1327321 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 5322292 KiB
Current children cumulated memory: 5078140 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/245 1050303
/proc/meminfo: memFree=117610052/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=5440116 memory=5081440 CPUtime=401.23 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 644440 0 0 0 39533 590 0 0 20 0 1 0 196635507 5570678784 1270360 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1360029 1270360 1146 2726 0 1356777 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 5440116 KiB
Current children cumulated memory: 5081440 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/246 1050314
/proc/meminfo: memFree=117675552/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=5429200 memory=5088956 CPUtime=461.07 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 652579 0 0 0 45469 638 0 0 20 0 1 0 196635507 5559500800 1272239 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1357300 1272239 1146 2726 0 1354048 0

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

Current children cumulated memory: 5386892 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.21 4.17 5/245 1051368
/proc/meminfo: memFree=117437860/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6007780 memory=5386892 CPUtime=2914.62 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 830662 0 0 0 290003 1459 0 0 20 0 1 0 196635507 6151966720 1346723 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1501945 1346723 1146 2726 0 1498693 0
Current children cumulated CPU time: 2914.62 s
Current children cumulated vsize: 6007780 KiB
Current children cumulated memory: 5386892 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.18 4.16 5/245 1051762
/proc/meminfo: memFree=117431336/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6007780 memory=5386892 CPUtime=2974.47 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 831425 0 0 0 295988 1459 0 0 20 0 1 0 196635507 6151966720 1346723 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1501945 1346723 1146 2726 0 1498693 0
Current children cumulated CPU time: 2974.47 s
Current children cumulated vsize: 6007780 KiB
Current children cumulated memory: 5386892 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/244 1051772
/proc/meminfo: memFree=116613040/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6824416 memory=6203528 CPUtime=3034.32 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 833437 0 0 0 301956 1476 0 0 20 0 1 0 196635507 6988201984 1550882 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1706104 1550882 1146 2726 0 1702852 0
Current children cumulated CPU time: 3034.32 s
Current children cumulated vsize: 6824416 KiB
Current children cumulated memory: 6203528 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/244 1051782
/proc/meminfo: memFree=117338252/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6007780 memory=5401228 CPUtime=3094.17 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 835209 0 0 0 307940 1477 0 0 20 0 1 0 196635507 6151966720 1350307 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1501945 1350307 1146 2726 0 1498693 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 6007780 KiB
Current children cumulated memory: 5401228 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/244 1051961
/proc/meminfo: memFree=116829948/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6514836 memory=5908284 CPUtime=3154.02 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 837576 0 0 0 313915 1487 0 0 20 0 1 0 196635507 6671192064 1477071 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1628709 1477071 1146 2726 0 1625457 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 6514836 KiB
Current children cumulated memory: 5908284 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/244 1051973
/proc/meminfo: memFree=116829444/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6514836 memory=5908284 CPUtime=3213.87 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 838649 0 0 0 319899 1488 0 0 20 0 1 0 196635507 6671192064 1477071 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1628709 1477071 1146 2726 0 1625457 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 6514836 KiB
Current children cumulated memory: 5908284 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/243 1051994
/proc/meminfo: memFree=116766296/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6677468 memory=6070916 CPUtime=3273.72 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 840850 0 0 0 325871 1501 0 0 20 0 1 0 196635507 6837727232 1517729 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1669367 1517729 1146 2726 0 1666115 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 6677468 KiB
Current children cumulated memory: 6070916 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/243 1052004
/proc/meminfo: memFree=116887184/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6528668 memory=5924248 CPUtime=3333.56 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 846977 0 0 0 331844 1512 0 0 20 0 1 0 196635507 6685356032 1481062 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1632167 1481062 1146 2726 0 1628915 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 6528668 KiB
Current children cumulated memory: 5924248 KiB

[startup+3402.3 s]
/proc/loadavg: 4.58 4.27 4.19 5/243 1052015
/proc/meminfo: memFree=117375220/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6041288 memory=5436868 CPUtime=3393.41 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 847988 0 0 0 337828 1513 0 0 20 0 1 0 196635507 6186278912 1359217 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1510322 1359217 1146 2726 0 1507070 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 6041288 KiB
Current children cumulated memory: 5436868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.69 4.36 4.22 5/243 1052025
/proc/meminfo: memFree=117322308/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6041288 memory=5459396 CPUtime=3453.26 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 849891 0 0 0 343802 1524 0 0 20 0 1 0 196635507 6186278912 1364849 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1510322 1364849 1146 2726 0 1507070 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 6041288 KiB
Current children cumulated memory: 5459396 KiB

[startup+3522.3 s]
/proc/loadavg: 4.37 4.32 4.22 5/243 1052036
/proc/meminfo: memFree=116849852/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6509308 memory=5927416 CPUtime=3513.09 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 851767 0 0 0 349775 1534 0 0 20 0 1 0 196635507 6665531392 1481854 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1627327 1481854 1146 2726 0 1624075 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 6509308 KiB
Current children cumulated memory: 5927416 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.28 4.20 5/242 1052047
/proc/meminfo: memFree=116699772/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6472044 memory=5890156 CPUtime=3572.93 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 854001 0 0 0 355751 1542 0 0 20 0 1 0 196635507 6627373056 1472539 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1618011 1472539 1146 2726 0 1614759 0
Current children cumulated CPU time: 3572.93 s
Current children cumulated vsize: 6472044 KiB
Current children cumulated memory: 5890156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.12 4.25 4.20 5/242 1052098
/proc/meminfo: memFree=120068332/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6632140 memory=5976344 CPUtime=3600.07 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 856541 0 0 0 358462 1545 0 0 20 0 1 0 196635507 6791311360 1494086 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1658035 1494086 1146 2726 0 1654783 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 6632140 KiB
Current children cumulated memory: 5976344 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.62 s, system=15.4998 s

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

[startup+3609.5 s]
/proc/loadavg: 4.12 4.25 4.20 5/242 1052098
/proc/meminfo: memFree=120068332/131655788 swapFree=131071996/131071996
[pid=1050090] ppid=1050087 vsize=6632140 memory=5976344 CPUtime=3600.07 cores=5,7
/proc/1050090/stat : 1050090 (CASHWMaxSAT-Dis) R 1050087 1050090 1050018 0 -1 4194304 856541 0 0 0 358462 1545 0 0 20 0 1 0 196635507 6791311360 1494086 134679101440 4194304 15356333 140722853505376 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 55201792 140722853512161 140722853512277 140722853512277 140722853519294 0
/proc/1050090/statm: 1658035 1494086 1146 2726 0 1654783 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 6632140 KiB
Current children cumulated memory: 5976344 KiB

Child status: 0

Real time (s): 3609.55
CPU time (s): 3600.12
CPU user time (s): 3584.62
CPU system time (s): 15.4998
CPU usage (%): 99.7389
Max. virtual memory (cumulated for all children) (KiB): 7280956
Max. memory (cumulated for all children) (KiB): 6986780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.62
system time used= 15.4998
maximum resident set size= 6986780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 856541
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= 67
involuntary context switches= 1695


# summary of solver processes directly reported to runsolver:
#   pid: 1050090
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3584.62
#   total CPU system time (s): 15.4998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5393 second user time and 36.0948 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-20 05:06:41
IDJOB=4452288
IDBENCH=164221
IDSOLVER=3074
FILE ID=nodeC007/4452288-1721444789
RUNJOBID= nodeC007-1721444801-1050031
SLURM_JOB_ID= 7545656
Free space on /tmp= 723732 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-neos-948346.0.s.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452288-1721444789/watcher-4452288-1721444789 -o /tmp/evaluation-result-4452288-1721444789/solver-4452288-1721444789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721444801-1050031 --watchdog 3760  CASHWMaxSAT-DisjCad-SP HOME/instance-4452288-1721444789.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= fa44fc9c0c30a6a8030f0b23aafff6c8
RANDOM SEED=2004541546

nodeC007.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		: 1848.849
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.25
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.136
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.168
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.25
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.132
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		: 1197.168
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.25
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.130
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.130
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.25
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.160
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:        126946744 kB
MemAvailable:   129887132 kB
Buffers:          540364 kB
Cached:          3235952 kB
SwapCached:            0 kB
Active:          1103792 kB
Inactive:        3031644 kB
Active(anon):       1360 kB
Inactive(anon):   403324 kB
Active(file):    1102432 kB
Inactive(file):  2628320 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             65524 kB
Writeback:             0 kB
AnonPages:        358964 kB
Mapped:           119516 kB
Shmem:             45896 kB
KReclaimable:      99336 kB
Slab:             202528 kB
SReclaimable:      99336 kB
SUnreclaim:       103192 kB
KernelStack:        3888 kB
PageTables:        10080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     720768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61344 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723720 MiB
End job on nodeC007 at 2024-07-20 06:06:51