Trace number 4452530

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

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
MD5SUMc2f3e0c6154609bf2d3178c0d208b6f5
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 variables31248
Total number of constraints354
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints177
Minimum length of a constraint168
Maximum length of a constraint343
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 1050
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 27454
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

13.96/14.07	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
13.96/14.07	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.00/3608.80	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 (59934 MiB free)
  memory of node 1: 64510 MiB (61015 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452530-1721445269/watcher-4452530-1721445269 -o /tmp/evaluation-result-4452530-1721445269/solver-4452530-1721445269 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721444636-1041509 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4452530-1721445269.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1041780, runsolver pid=1041777

[startup+0.100355 s]*
/proc/loadavg: 4.08 4.10 4.12 5/243 1041781
/proc/meminfo: memFree=123844952/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=29984 memory=10464 CPUtime=0.09 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 2450 0 0 0 9 0 0 0 20 0 1 0 196685634 30703616 2616 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 7496 2616 794 2550 0 4451 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29984 KiB
Current children cumulated memory: 10464 KiB

[startup+0.212928 s]*
/proc/loadavg: 4.08 4.10 4.12 5/243 1041781
/proc/meminfo: memFree=123829208/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=47868 memory=28440 CPUtime=0.21 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 7515 0 0 0 20 1 0 0 20 0 1 0 196685634 49016832 7110 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 11967 7110 842 2550 0 8922 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 28440 KiB

[startup+0.312918 s]*
/proc/loadavg: 4.08 4.10 4.12 5/243 1041781
/proc/meminfo: memFree=123821896/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=51492 memory=31524 CPUtime=0.31 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 8825 0 0 0 29 2 0 0 20 0 1 0 196685634 52727808 7881 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 12873 7881 906 2550 0 9828 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51492 KiB
Current children cumulated memory: 31524 KiB

[startup+0.700321 s]
/proc/loadavg: 4.08 4.10 4.12 5/243 1041781
/proc/meminfo: memFree=123818600/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=65124 memory=39300 CPUtime=0.68 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 10750 0 0 0 66 2 0 0 20 0 1 0 196685634 66686976 9825 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 16281 9825 938 2550 0 13236 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65124 KiB
Current children cumulated memory: 39300 KiB

[startup+1.50033 s]
/proc/loadavg: 4.08 4.10 4.12 5/243 1041781
/proc/meminfo: memFree=123773496/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=106376 memory=80032 CPUtime=1.48 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 19036 0 0 0 143 5 0 0 20 0 1 0 196685634 108929024 20008 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 26594 20008 1226 2550 0 23549 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106376 KiB
Current children cumulated memory: 80032 KiB

[startup+3.11262 s]
/proc/loadavg: 4.08 4.10 4.12 5/243 1041781
/proc/meminfo: memFree=123753836/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=113320 memory=83296 CPUtime=3.09 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 19339 0 0 0 304 5 0 0 20 0 1 0 196685634 116039680 20824 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 28330 20824 1226 2550 0 25285 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 113320 KiB
Current children cumulated memory: 83296 KiB

[startup+6.30032 s]
/proc/loadavg: 4.08 4.10 4.12 5/243 1041781
/proc/meminfo: memFree=123717168/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=125452 memory=95440 CPUtime=6.27 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 20419 0 0 0 622 5 0 0 20 0 1 0 196685634 128462848 23860 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 31363 23860 1226 2550 0 28318 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 125452 KiB
Current children cumulated memory: 95440 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.10 4.12 5/243 1041783
/proc/meminfo: memFree=123422632/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=407124 memory=370620 CPUtime=12.66 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 49552 0 0 0 1252 14 0 0 20 0 1 0 196685634 416894976 92655 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 101781 92655 1226 2550 0 98736 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 407124 KiB
Current children cumulated memory: 370620 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.11 4.12 5/243 1041784
/proc/meminfo: memFree=123360232/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=396032 memory=358008 CPUtime=25.41 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 51619 0 0 0 2522 19 0 0 20 0 1 0 196685634 405536768 89502 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 99008 89502 1242 2550 0 95963 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 396032 KiB
Current children cumulated memory: 358008 KiB

[startup+51.1127 s]
/proc/loadavg: 4.09 4.10 4.12 5/243 1041789
/proc/meminfo: memFree=123423044/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=446120 memory=382032 CPUtime=50.94 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 56556 0 0 0 5063 31 0 0 20 0 1 0 196685634 456826880 95508 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 111530 95508 1242 2550 0 108485 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 446120 KiB
Current children cumulated memory: 382032 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/241 1041799
/proc/meminfo: memFree=123337376/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=454168 memory=388216 CPUtime=101.98 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 68468 0 0 0 10136 62 0 0 20 0 1 0 196685634 465068032 97054 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 113542 97054 1242 2550 0 110497 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 454168 KiB
Current children cumulated memory: 388216 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/241 1041809
/proc/meminfo: memFree=123327656/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=473112 memory=411288 CPUtime=161.8 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 82059 0 0 0 16081 99 0 0 20 0 1 0 196685634 484466688 102822 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 118278 102822 1242 2550 0 115233 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 473112 KiB
Current children cumulated memory: 411288 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/241 1041819
/proc/meminfo: memFree=123312888/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=491852 memory=438672 CPUtime=221.67 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 93202 0 0 0 22031 136 0 0 20 0 1 0 196685634 503656448 109668 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 122963 109668 1242 2550 0 119918 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 491852 KiB
Current children cumulated memory: 438672 KiB

[startup+282.3 s]
/proc/loadavg: 4.36 4.16 4.12 5/241 1041830
/proc/meminfo: memFree=123264936/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=503936 memory=457860 CPUtime=281.52 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 98945 0 0 0 27989 163 0 0 20 0 1 0 196685634 516030464 114465 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 125984 114465 1242 2550 0 122939 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 503936 KiB
Current children cumulated memory: 457860 KiB

[startup+342.3 s]
/proc/loadavg: 4.71 4.31 4.18 5/241 1041840
/proc/meminfo: memFree=123317464/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=516704 memory=461088 CPUtime=341.38 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 105329 0 0 0 33946 192 0 0 20 0 1 0 196685634 529104896 115272 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 129176 115272 1242 2550 0 126131 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 516704 KiB
Current children cumulated memory: 461088 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 4.25 4.17 5/242 1041853
/proc/meminfo: memFree=123187152/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=528696 memory=481772 CPUtime=401.24 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 112152 0 0 0 39903 221 0 0 20 0 1 0 196685634 541384704 120443 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 132174 120443 1242 2550 0 129129 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 528696 KiB
Current children cumulated memory: 481772 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.24 4.17 5/242 1041863
/proc/meminfo: memFree=123253876/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=535708 memory=482068 CPUtime=461.1 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 117995 0 0 0 45861 249 0 0 20 0 1 0 196685634 548564992 120517 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 133927 120517 1242 2550 0 130882 0

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

Current children cumulated memory: 755044 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.35 4.27 5/245 1043563
/proc/meminfo: memFree=123269956/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=814160 memory=768348 CPUtime=2855.35 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 335150 0 0 0 284204 1331 0 0 20 0 1 0 196685634 833699840 192087 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 203540 192087 1242 2550 0 200495 0
Current children cumulated CPU time: 2855.35 s
Current children cumulated vsize: 814160 KiB
Current children cumulated memory: 768348 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.31 4.26 5/245 1043574
/proc/meminfo: memFree=123305236/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=815400 memory=749064 CPUtime=2915.21 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 337716 0 0 0 290167 1354 0 0 20 0 1 0 196685634 834969600 187266 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 203850 187266 1242 2550 0 200805 0
Current children cumulated CPU time: 2915.21 s
Current children cumulated vsize: 815400 KiB
Current children cumulated memory: 749064 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.27 4.25 6/243 1043906
/proc/meminfo: memFree=123374948/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=816464 memory=763124 CPUtime=2975.07 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 339156 0 0 0 296140 1367 0 0 20 0 1 0 196685634 836059136 190781 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 204116 190781 1242 2550 0 201071 0
Current children cumulated CPU time: 2975.07 s
Current children cumulated vsize: 816464 KiB
Current children cumulated memory: 763124 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.23 4.24 5/244 1044147
/proc/meminfo: memFree=123515936/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=817396 memory=773564 CPUtime=3034.95 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 340920 0 0 0 302116 1379 0 0 20 0 1 0 196685634 837013504 193391 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 204349 193391 1242 2550 0 201304 0
Current children cumulated CPU time: 3034.95 s
Current children cumulated vsize: 817396 KiB
Current children cumulated memory: 773564 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.22 4.23 5/242 1044250
/proc/meminfo: memFree=123804460/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=818324 memory=773100 CPUtime=3094.8 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 342229 0 0 0 308091 1389 0 0 20 0 1 0 196685634 837963776 193275 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 204581 193275 1242 2550 0 201536 0
Current children cumulated CPU time: 3094.8 s
Current children cumulated vsize: 818324 KiB
Current children cumulated memory: 773100 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.19 4.22 5/242 1044260
/proc/meminfo: memFree=123787932/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=825480 memory=764396 CPUtime=3154.67 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 347305 0 0 0 314043 1424 0 0 20 0 1 0 196685634 845291520 191099 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 206370 191099 1242 2550 0 203325 0
Current children cumulated CPU time: 3154.67 s
Current children cumulated vsize: 825480 KiB
Current children cumulated memory: 764396 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.17 4.21 5/242 1044270
/proc/meminfo: memFree=123753476/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=828804 memory=777296 CPUtime=3214.54 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 351423 0 0 0 319991 1463 0 0 20 0 1 0 196685634 848695296 194324 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 207201 194324 1242 2550 0 204156 0
Current children cumulated CPU time: 3214.54 s
Current children cumulated vsize: 828804 KiB
Current children cumulated memory: 777296 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.18 4.21 5/242 1044281
/proc/meminfo: memFree=123759748/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=830496 memory=772024 CPUtime=3274.39 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 356757 0 0 0 325938 1501 0 0 20 0 1 0 196685634 850427904 193006 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 207624 193006 1242 2550 0 204579 0
Current children cumulated CPU time: 3274.39 s
Current children cumulated vsize: 830496 KiB
Current children cumulated memory: 772024 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.18 4.20 5/241 1044291
/proc/meminfo: memFree=123761440/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=831472 memory=766724 CPUtime=3334.23 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 358686 0 0 0 331905 1518 0 0 20 0 1 0 196685634 851427328 191681 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 207868 191681 1242 2550 0 204823 0
Current children cumulated CPU time: 3334.23 s
Current children cumulated vsize: 831472 KiB
Current children cumulated memory: 766724 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.17 4.20 5/246 1044310
/proc/meminfo: memFree=123746560/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=832416 memory=768328 CPUtime=3394.06 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 360145 0 0 0 337877 1529 0 0 20 0 1 0 196685634 852393984 192082 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 208104 192082 1242 2550 0 205059 0
Current children cumulated CPU time: 3394.06 s
Current children cumulated vsize: 832416 KiB
Current children cumulated memory: 768328 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.14 4.18 5/246 1044320
/proc/meminfo: memFree=123732544/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=833616 memory=779088 CPUtime=3453.9 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 361894 0 0 0 343849 1541 0 0 20 0 1 0 196685634 853622784 194772 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 208404 194772 1242 2550 0 205359 0
Current children cumulated CPU time: 3453.9 s
Current children cumulated vsize: 833616 KiB
Current children cumulated memory: 779088 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.18 6/246 1044331
/proc/meminfo: memFree=123723608/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=834680 memory=780876 CPUtime=3513.73 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 363242 0 0 0 349821 1552 0 0 20 0 1 0 196685634 854712320 195219 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 208670 195219 1242 2550 0 205625 0
Current children cumulated CPU time: 3513.73 s
Current children cumulated vsize: 834680 KiB
Current children cumulated memory: 780876 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/246 1044341
/proc/meminfo: memFree=123677808/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=840660 memory=798508 CPUtime=3573.56 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 366918 0 0 0 355783 1573 0 0 20 0 1 0 196685634 860835840 199627 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 210165 199627 1242 2550 0 207120 0
Current children cumulated CPU time: 3573.56 s
Current children cumulated vsize: 840660 KiB
Current children cumulated memory: 798508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.12 4.13 4.17 5/246 1044346
/proc/meminfo: memFree=123657540/131655788 swapFree=131071996/131071996
[pid=1041780] ppid=1041777 vsize=1054000 memory=982112 CPUtime=3600 cores=4,6
/proc/1041780/stat : 1041780 (CASHWMaxSAT-Dis) R 1041777 1041780 1041498 0 -1 4194304 368799 0 0 0 358410 1590 0 0 20 0 1 0 196685634 1079296000 245528 134679101440 4194304 14636349 140726486582352 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 43012096 140726486590433 140726486590549 140726486590549 140726486597566 0
/proc/1041780/statm: 263500 245528 1242 2550 0 260455 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1054000 KiB
Current children cumulated memory: 982112 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.1 s, system=15.9074 s

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

Child status: 0

Real time (s): 3608.8
CPU time (s): 3600.01
CPU user time (s): 3584.1
CPU system time (s): 15.9074
CPU usage (%): 99.7563
Max. virtual memory (cumulated for all children) (KiB): 1181196
Max. memory (cumulated for all children) (KiB): 984308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.1
system time used= 15.9074
maximum resident set size= 984308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368799
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= 151
involuntary context switches= 4684


# summary of solver processes directly reported to runsolver:
#   pid: 1041780
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3584.1
#   total CPU system time (s): 15.9074

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9955 second user time and 34.3098 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-20 05:14:41
IDJOB=4452530
IDBENCH=164400
IDSOLVER=3076
FILE ID=nodeC006/4452530-1721445269
RUNJOBID= nodeC006-1721444636-1041509
SLURM_JOB_ID= 7545655
Free space on /tmp= 723736 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452530-1721445269/watcher-4452530-1721445269 -o /tmp/evaluation-result-4452530-1721445269/solver-4452530-1721445269 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721444636-1041509 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4452530-1721445269.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=1180119823

nodeC006.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		: 3535.725
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.94
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		: 3658.753
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.26
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.391
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.94
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.303
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.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.976
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.94
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		: 3493.628
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.26
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.255
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.94
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.432
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.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123853096 kB
MemAvailable:   128964264 kB
Buffers:          552416 kB
Cached:          5344476 kB
SwapCached:            0 kB
Active:          1036236 kB
Inactive:        6074496 kB
Active(anon):       1476 kB
Inactive(anon):  1257972 kB
Active(file):    1034760 kB
Inactive(file):  4816524 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14076 kB
Writeback:             0 kB
AnonPages:       1211936 kB
Mapped:           119804 kB
Shmem:             45896 kB
KReclaimable:     199828 kB
Slab:             315884 kB
SReclaimable:     199828 kB
SUnreclaim:       116056 kB
KernelStack:        3916 kB
PageTables:        11932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1770784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1011712 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:      316232 kB
DirectMap2M:    40482816 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723724 MiB
End job on nodeC006 at 2024-07-20 06:14:50