Trace number 4442580

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-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-81-80.opb
MD5SUM4dac1be18bf2e6916470dc211755e049
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.072674
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6480
Total number of constraints161
Number of constraints which are clauses81
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint81
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 82
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.79/0.81	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.79/0.81	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: 63931 MiB (60303 MiB free)
  memory of node 1: 64510 MiB (60226 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100097 s]*
/proc/loadavg: 4.15 4.14 4.09 5/257 970775
/proc/meminfo: memFree=123405320/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=31316 memory=16684 CPUtime=0.09 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 3965 0 0 0 9 0 0 0 20 0 1 0 181929643 32067584 4171 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 7829 4171 986 2550 0 4784 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31316 KiB
Current children cumulated memory: 16684 KiB

[startup+0.205522 s]*
/proc/loadavg: 4.15 4.14 4.09 5/257 970775
/proc/meminfo: memFree=123398844/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=34020 memory=19060 CPUtime=0.2 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 4562 0 0 0 20 0 0 0 20 0 1 0 181929643 34836480 4765 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 8505 4765 986 2550 0 5460 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34020 KiB
Current children cumulated memory: 19060 KiB

[startup+0.305376 s]*
/proc/loadavg: 4.15 4.14 4.09 5/257 970775
/proc/meminfo: memFree=123395760/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=36740 memory=21172 CPUtime=0.3 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 5086 0 0 0 30 0 0 0 20 0 1 0 181929643 37621760 5293 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 9185 5293 986 2550 0 6140 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36740 KiB
Current children cumulated memory: 21172 KiB

[startup+0.70019 s]
/proc/loadavg: 4.15 4.14 4.09 5/257 970775
/proc/meminfo: memFree=123386596/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=49528 memory=30804 CPUtime=0.69 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 6463 0 0 0 68 1 0 0 20 0 1 0 181929643 50716672 7701 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 12382 7701 986 2550 0 9337 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49528 KiB
Current children cumulated memory: 30804 KiB

[startup+1.50024 s]
/proc/loadavg: 4.15 4.14 4.09 5/257 970775
/proc/meminfo: memFree=123363444/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=52040 memory=37512 CPUtime=1.49 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 8151 0 0 0 147 2 0 0 20 0 1 0 181929643 53288960 9378 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 13010 9378 986 2550 0 9965 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 52040 KiB
Current children cumulated memory: 37512 KiB

[startup+3.10539 s]
/proc/loadavg: 4.14 4.14 4.09 5/257 970775
/proc/meminfo: memFree=123363516/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=67816 memory=51116 CPUtime=3.09 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 10453 0 0 0 306 3 0 0 20 0 1 0 181929643 69443584 12779 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 16954 12779 986 2550 0 13909 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 67816 KiB
Current children cumulated memory: 51116 KiB

[startup+6.30023 s]
/proc/loadavg: 4.14 4.14 4.09 5/257 970777
/proc/meminfo: memFree=123266684/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=178572 memory=141452 CPUtime=6.28 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 13115 0 0 0 621 7 0 0 20 0 1 0 181929643 182857728 35363 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 44643 35363 986 2550 0 41598 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 178572 KiB
Current children cumulated memory: 141452 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.09 5/257 970777
/proc/meminfo: memFree=123207612/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=228660 memory=167128 CPUtime=12.66 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 16596 0 0 0 1253 13 0 0 20 0 1 0 181929643 234147840 41782 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 57165 41782 986 2550 0 54120 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 228660 KiB
Current children cumulated memory: 167128 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.15 4.10 5/257 970780
/proc/meminfo: memFree=123243836/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=178572 memory=147596 CPUtime=25.43 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 23544 0 0 0 2519 24 0 0 20 0 1 0 181929643 182857728 36899 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 44643 36899 986 2550 0 41598 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 178572 KiB
Current children cumulated memory: 147596 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 970784
/proc/meminfo: memFree=123194184/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=182920 memory=151944 CPUtime=50.97 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 35408 0 0 0 5054 43 0 0 20 0 1 0 181929643 187310080 37986 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 45730 37986 986 2550 0 42685 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 182920 KiB
Current children cumulated memory: 151944 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/255 970792
/proc/meminfo: memFree=123125172/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=194228 memory=173160 CPUtime=102.05 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 57282 0 0 0 10126 79 0 0 20 0 1 0 181929643 198889472 43290 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 48557 43290 986 2550 0 45512 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 194228 KiB
Current children cumulated memory: 173160 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/254 970802
/proc/meminfo: memFree=122967740/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=275136 memory=227932 CPUtime=161.91 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 75370 0 0 0 16077 114 0 0 20 0 1 0 181929643 281739264 56983 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 68784 56983 986 2550 0 65739 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 275136 KiB
Current children cumulated memory: 227932 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/254 970812
/proc/meminfo: memFree=123011592/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=203404 memory=189012 CPUtime=221.75 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 94724 0 0 0 22026 149 0 0 20 0 1 0 181929643 208285696 47253 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 50851 47253 986 2550 0 47806 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 203404 KiB
Current children cumulated memory: 189012 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/254 970823
/proc/meminfo: memFree=122900024/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=295200 memory=276988 CPUtime=281.61 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 112636 0 0 0 27978 183 0 0 20 0 1 0 181929643 302284800 69247 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 73800 69247 986 2550 0 70755 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 295200 KiB
Current children cumulated memory: 276988 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 970833
/proc/meminfo: memFree=122720472/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=384428 memory=303724 CPUtime=341.47 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 131521 0 0 0 33925 222 0 0 20 0 1 0 181929643 393654272 75931 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 96107 75931 986 2550 0 93062 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 384428 KiB
Current children cumulated memory: 303724 KiB

[startup+402.3 s]
/proc/loadavg: 4.24 4.15 4.10 5/254 970843
/proc/meminfo: memFree=122867208/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=231764 memory=211236 CPUtime=401.33 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 149846 0 0 0 39876 257 0 0 20 0 1 0 181929643 237326336 52809 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 57941 52809 986 2550 0 54896 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 231764 KiB
Current children cumulated memory: 211236 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/256 970858
/proc/meminfo: memFree=122679156/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=319236 memory=258080 CPUtime=461.18 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 163084 0 0 0 45830 288 0 0 20 0 1 0 181929643 326897664 64520 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 79809 64520 986 2550 0 76764 0

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

Current children cumulated memory: 313636 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 972468
/proc/meminfo: memFree=122220804/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=457764 memory=439288 CPUtime=2855.32 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 778341 0 0 0 283884 1648 0 0 20 0 1 0 181929643 468750336 109822 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 114441 109822 986 2550 0 111396 0
Current children cumulated CPU time: 2855.32 s
Current children cumulated vsize: 457764 KiB
Current children cumulated memory: 439288 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 972478
/proc/meminfo: memFree=122176512/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=539152 memory=509592 CPUtime=2915.17 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 784599 0 0 0 289836 1681 0 0 20 0 1 0 181929643 552091648 127398 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 134788 127398 986 2550 0 131743 0
Current children cumulated CPU time: 2915.17 s
Current children cumulated vsize: 539152 KiB
Current children cumulated memory: 509592 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/257 972489
/proc/meminfo: memFree=122165748/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=457764 memory=441336 CPUtime=2975.03 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 788078 0 0 0 295790 1713 0 0 20 0 1 0 181929643 468750336 110334 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 114441 110334 986 2550 0 111396 0
Current children cumulated CPU time: 2975.03 s
Current children cumulated vsize: 457764 KiB
Current children cumulated memory: 441336 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 972500
/proc/meminfo: memFree=122091268/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=539152 memory=462292 CPUtime=3034.89 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 791064 0 0 0 301750 1739 0 0 20 0 1 0 181929643 552091648 115573 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 134788 115573 986 2550 0 131743 0
Current children cumulated CPU time: 3034.89 s
Current children cumulated vsize: 539152 KiB
Current children cumulated memory: 462292 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 972510
/proc/meminfo: memFree=122035016/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=393240 memory=376656 CPUtime=3094.74 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 801966 0 0 0 307707 1767 0 0 20 0 1 0 181929643 402677760 94164 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 98310 94164 986 2550 0 95265 0
Current children cumulated CPU time: 3094.74 s
Current children cumulated vsize: 393240 KiB
Current children cumulated memory: 376656 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/256 972521
/proc/meminfo: memFree=122236120/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=424060 memory=379860 CPUtime=3154.6 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 827981 0 0 0 313656 1804 0 0 20 0 1 0 181929643 434237440 94965 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 106015 94965 986 2550 0 102970 0
Current children cumulated CPU time: 3154.6 s
Current children cumulated vsize: 424060 KiB
Current children cumulated memory: 379860 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 972531
/proc/meminfo: memFree=122217164/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=474148 memory=455940 CPUtime=3214.46 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 845093 0 0 0 319611 1835 0 0 20 0 1 0 181929643 485527552 113985 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 118537 113985 986 2550 0 115492 0
Current children cumulated CPU time: 3214.46 s
Current children cumulated vsize: 474148 KiB
Current children cumulated memory: 455940 KiB

[startup+3282.3 s]
/proc/loadavg: 4.48 4.20 4.12 5/255 972542
/proc/meminfo: memFree=122111160/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=474148 memory=443384 CPUtime=3274.31 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 849672 0 0 0 325559 1872 0 0 20 0 1 0 181929643 485527552 110846 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 118537 110846 986 2550 0 115492 0
Current children cumulated CPU time: 3274.31 s
Current children cumulated vsize: 474148 KiB
Current children cumulated memory: 443384 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.19 4.12 5/255 972552
/proc/meminfo: memFree=122172080/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=474148 memory=416828 CPUtime=3334.16 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 858287 0 0 0 331512 1904 0 0 20 0 1 0 181929643 485527552 104207 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 118537 104207 986 2550 0 115492 0
Current children cumulated CPU time: 3334.16 s
Current children cumulated vsize: 474148 KiB
Current children cumulated memory: 416828 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/255 972562
/proc/meminfo: memFree=122176344/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=401864 memory=379132 CPUtime=3394.01 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 869082 0 0 0 337466 1935 0 0 20 0 1 0 181929643 411508736 94783 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 100466 94783 986 2550 0 97421 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 401864 KiB
Current children cumulated memory: 379132 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/257 972578
/proc/meminfo: memFree=122240164/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=352544 memory=338640 CPUtime=3453.88 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 895681 0 0 0 343415 1973 0 0 20 0 1 0 181929643 361005056 84660 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 88136 84660 986 2550 0 85091 0
Current children cumulated CPU time: 3453.88 s
Current children cumulated vsize: 352544 KiB
Current children cumulated memory: 338640 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/257 972634
/proc/meminfo: memFree=122519716/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=432684 memory=412156 CPUtime=3513.73 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 920253 0 0 0 349365 2008 0 0 20 0 1 0 181929643 443068416 103039 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 108171 103039 986 2550 0 105126 0
Current children cumulated CPU time: 3513.73 s
Current children cumulated vsize: 432684 KiB
Current children cumulated memory: 412156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/257 972690
/proc/meminfo: memFree=122500568/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=482772 memory=435688 CPUtime=3573.57 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 926607 0 0 0 355320 2037 0 0 20 0 1 0 181929643 494358528 108922 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 120693 108922 986 2550 0 117648 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 482772 KiB
Current children cumulated memory: 435688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.07 4.14 4.11 5/257 972786
/proc/meminfo: memFree=122904052/131524600 swapFree=131071996/131071996
[pid=970774] ppid=970771 vsize=482772 memory=462512 CPUtime=3600 cores=1,3
/proc/970774/stat : 970774 (CASHWMaxSAT-Dis) R 970771 970774 967222 0 -1 4194304 929923 0 0 0 357951 2049 0 0 20 0 1 0 181929643 494358528 115628 134679101440 4194304 14636349 140731879214592 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 53157888 140731879216098 140731879216214 140731879216214 140731879223230 0
/proc/970774/statm: 120693 115628 986 2550 0 117648 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 482772 KiB
Current children cumulated memory: 462512 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.52 s, system=20.4934 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): 3579.52
CPU system time (s): 20.4934
CPU usage (%): 99.7563
Max. virtual memory (cumulated for all children) (KiB): 810892
Max. memory (cumulated for all children) (KiB): 656296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.52
system time used= 20.4934
maximum resident set size= 713028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 929923
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= 32
involuntary context switches= 4551


# summary of solver processes directly reported to runsolver:
#   pid: 970774
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3579.52
#   total CPU system time (s): 20.4934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86087 second user time and 17.2494 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-18 12:13:31
IDJOB=4442580
IDBENCH=147824
IDSOLVER=3076
FILE ID=nodeC033/4442580-1721297599
RUNJOBID= nodeC033-1721293776-967234
SLURM_JOB_ID= 7542605
Free space on /tmp= 890044 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.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-4442580-1721297599/watcher-4442580-1721297599 -o /tmp/evaluation-result-4442580-1721297599/solver-4442580-1721297599 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721293776-967234 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4442580-1721297599.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 4dac1be18bf2e6916470dc211755e049
RANDOM SEED=1806639934

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3667.603
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3663.064
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.980
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3668.351
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3667.647
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3667.046
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.127
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.002
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123422812 kB
MemAvailable:   129262200 kB
Buffers:          512328 kB
Cached:          6090288 kB
SwapCached:            0 kB
Active:           929404 kB
Inactive:        6403476 kB
Active(anon):       1556 kB
Inactive(anon):   766416 kB
Active(file):     927848 kB
Inactive(file):  5637060 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             27088 kB
Writeback:            12 kB
AnonPages:        727596 kB
Mapped:           118296 kB
Shmem:             37716 kB
KReclaimable:     228256 kB
Slab:             355220 kB
SReclaimable:     228256 kB
SUnreclaim:       126964 kB
KernelStack:        4124 kB
PageTables:        10472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1102220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67552 kB
HardwareCorrupted:     0 kB
AnonHugePages:    466944 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:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC033 at 2024-07-18 13:13:40