Trace number 4442700

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.06 3609.01

General information on the benchmark

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

Solver Data 

0.89/0.91	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.89/0.91	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.05/3609.00	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 (60395 MiB free)
  memory of node 1: 64510 MiB (59804 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442700-1721301187/watcher-4442700-1721301187 -o /tmp/evaluation-result-4442700-1721301187/solver-4442700-1721301187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721293776-967233 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4442700-1721301187.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=972782, runsolver pid=972779

[startup+0.100986 s]*
/proc/loadavg: 4.08 4.14 4.11 5/257 972783
/proc/meminfo: memFree=123071036/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=31844 memory=17196 CPUtime=0.09 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 4101 0 0 0 9 0 0 0 20 0 1 0 182288465 32608256 4299 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 7961 4299 986 2550 0 4916 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31844 KiB
Current children cumulated memory: 17196 KiB

[startup+0.20562 s]*
/proc/loadavg: 4.08 4.14 4.11 5/257 972783
/proc/meminfo: memFree=123066512/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=34548 memory=19308 CPUtime=0.19 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 4680 0 0 0 19 0 0 0 20 0 1 0 182288465 35377152 4827 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 8637 4827 986 2550 0 5592 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34548 KiB
Current children cumulated memory: 19308 KiB

[startup+0.305489 s]*
/proc/loadavg: 4.08 4.14 4.11 5/257 972783
/proc/meminfo: memFree=123063176/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=37268 memory=22412 CPUtime=0.29 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 4915 0 0 0 29 0 0 0 20 0 1 0 182288465 38162432 5603 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 9317 5603 986 2550 0 6272 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37268 KiB
Current children cumulated memory: 22412 KiB

[startup+0.700216 s]
/proc/loadavg: 4.08 4.14 4.11 5/257 972783
/proc/meminfo: memFree=123056560/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=50192 memory=32044 CPUtime=0.69 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 6298 0 0 0 68 1 0 0 20 0 1 0 182288465 51396608 8011 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 12548 8011 986 2550 0 9503 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50192 KiB
Current children cumulated memory: 32044 KiB

[startup+1.50021 s]
/proc/loadavg: 4.08 4.14 4.11 5/257 972783
/proc/meminfo: memFree=123042684/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=65172 memory=49584 CPUtime=1.48 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 7613 0 0 0 147 1 0 0 20 0 1 0 182288465 66736128 12396 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 16293 12396 986 2550 0 13248 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65172 KiB
Current children cumulated memory: 49584 KiB

[startup+3.10544 s]
/proc/loadavg: 4.08 4.14 4.11 5/257 972783
/proc/meminfo: memFree=122997660/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=87744 memory=69700 CPUtime=3.09 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 9720 0 0 0 306 3 0 0 20 0 1 0 182288465 89849856 17425 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 21936 17425 986 2550 0 18891 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 87744 KiB
Current children cumulated memory: 69700 KiB

[startup+6.30021 s]
/proc/loadavg: 4.08 4.14 4.11 5/257 972785
/proc/meminfo: memFree=123006228/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=119412 memory=97568 CPUtime=6.27 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 12014 0 0 0 621 6 0 0 20 0 1 0 182288465 122277888 24392 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 29853 24392 986 2550 0 26808 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 119412 KiB
Current children cumulated memory: 97568 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.14 4.11 5/257 972785
/proc/meminfo: memFree=122950248/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=150232 memory=126472 CPUtime=12.66 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 14227 0 0 0 1256 10 0 0 20 0 1 0 182288465 153837568 31618 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 37558 31618 986 2550 0 34513 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 150232 KiB
Current children cumulated memory: 126472 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.13 4.10 5/257 972832
/proc/meminfo: memFree=122919116/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=150232 memory=118280 CPUtime=25.43 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 19542 0 0 0 2523 20 0 0 20 0 1 0 182288465 153837568 29570 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 37558 29570 986 2550 0 34513 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 150232 KiB
Current children cumulated memory: 118280 KiB

[startup+51.1054 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 972838
/proc/meminfo: memFree=122827852/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=201440 memory=153188 CPUtime=50.97 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 31192 0 0 0 5059 38 0 0 20 0 1 0 182288465 206274560 38297 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 50360 38297 986 2550 0 47315 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 201440 KiB
Current children cumulated memory: 153188 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/258 972847
/proc/meminfo: memFree=122757076/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=201148 memory=171100 CPUtime=102.04 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 53965 0 0 0 10132 72 0 0 20 0 1 0 182288465 205975552 42775 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 50287 42775 986 2550 0 47242 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 201148 KiB
Current children cumulated memory: 171100 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/258 972857
/proc/meminfo: memFree=122774900/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=188656 memory=162540 CPUtime=161.9 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 76027 0 0 0 16078 112 0 0 20 0 1 0 182288465 193183744 40635 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 47164 40635 986 2550 0 44119 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 188656 KiB
Current children cumulated memory: 162540 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/255 972867
/proc/meminfo: memFree=122664516/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=279204 memory=259272 CPUtime=221.75 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 95285 0 0 0 22028 147 0 0 20 0 1 0 182288465 285904896 64818 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 69801 64818 986 2550 0 66756 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 279204 KiB
Current children cumulated memory: 259272 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 972883
/proc/meminfo: memFree=122499416/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=500176 memory=365760 CPUtime=281.61 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 111547 0 0 0 27980 181 0 0 20 0 1 0 182288465 512180224 91440 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 125044 91440 986 2550 0 121999 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 500176 KiB
Current children cumulated memory: 365760 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/257 972893
/proc/meminfo: memFree=122520512/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=374984 memory=320588 CPUtime=341.47 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 129831 0 0 0 33931 216 0 0 20 0 1 0 182288465 383983616 80147 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 93746 80147 986 2550 0 90701 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 374984 KiB
Current children cumulated memory: 320588 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 972903
/proc/meminfo: memFree=122669372/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=224784 memory=194792 CPUtime=401.3 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 146577 0 0 0 39883 247 0 0 20 0 1 0 182288465 230178816 48698 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 56196 48698 986 2550 0 53151 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 224784 KiB
Current children cumulated memory: 194792 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 972917
/proc/meminfo: memFree=122345316/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=525056 memory=388336 CPUtime=461.13 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 163118 0 0 0 45834 279 0 0 20 0 1 0 182288465 537657344 97084 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 131264 97084 986 2550 0 128219 0

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

Current children cumulated memory: 320224 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/259 974525
/proc/meminfo: memFree=122181516/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=428880 memory=390892 CPUtime=2855.21 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 779583 0 0 0 283946 1575 0 0 20 0 1 0 182288465 439173120 97723 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 107220 97723 986 2550 0 104175 0
Current children cumulated CPU time: 2855.21 s
Current children cumulated vsize: 428880 KiB
Current children cumulated memory: 390892 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/259 974535
/proc/meminfo: memFree=122248748/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=428880 memory=397036 CPUtime=2915.07 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 789859 0 0 0 289906 1601 0 0 20 0 1 0 182288465 439173120 99259 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 107220 99259 986 2550 0 104175 0
Current children cumulated CPU time: 2915.07 s
Current children cumulated vsize: 428880 KiB
Current children cumulated memory: 397036 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/259 974546
/proc/meminfo: memFree=122280892/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=428880 memory=382788 CPUtime=2974.92 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 801275 0 0 0 295863 1629 0 0 20 0 1 0 182288465 439173120 95697 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 107220 95697 986 2550 0 104175 0
Current children cumulated CPU time: 2974.92 s
Current children cumulated vsize: 428880 KiB
Current children cumulated memory: 382788 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/257 974556
/proc/meminfo: memFree=122235520/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=357100 memory=341640 CPUtime=3034.78 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 814271 0 0 0 301820 1658 0 0 20 0 1 0 182288465 365670400 85410 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 89275 85410 986 2550 0 86230 0
Current children cumulated CPU time: 3034.78 s
Current children cumulated vsize: 357100 KiB
Current children cumulated memory: 341640 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/257 974567
/proc/meminfo: memFree=122216712/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=357100 memory=333448 CPUtime=3094.65 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 834025 0 0 0 307775 1690 0 0 20 0 1 0 182288465 365670400 83362 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 89275 83362 986 2550 0 86230 0
Current children cumulated CPU time: 3094.65 s
Current children cumulated vsize: 357100 KiB
Current children cumulated memory: 333448 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/256 974577
/proc/meminfo: memFree=122204024/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=519396 memory=433544 CPUtime=3154.51 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 854046 0 0 0 313726 1725 0 0 20 0 1 0 182288465 531861504 108386 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 129849 108386 986 2550 0 126804 0
Current children cumulated CPU time: 3154.51 s
Current children cumulated vsize: 519396 KiB
Current children cumulated memory: 433544 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/254 974587
/proc/meminfo: memFree=122156068/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=438008 memory=410528 CPUtime=3214.37 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 869509 0 0 0 319671 1766 0 0 20 0 1 0 182288465 448520192 102632 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 109502 102632 986 2550 0 106457 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 438008 KiB
Current children cumulated memory: 410528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/254 974598
/proc/meminfo: memFree=122207132/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=519396 memory=427400 CPUtime=3274.23 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 885153 0 0 0 325623 1800 0 0 20 0 1 0 182288465 531861504 106850 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 129849 106850 986 2550 0 126804 0
Current children cumulated CPU time: 3274.23 s
Current children cumulated vsize: 519396 KiB
Current children cumulated memory: 427400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.45 4.22 4.13 5/254 974608
/proc/meminfo: memFree=122277428/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=394852 memory=352900 CPUtime=3334.08 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 904567 0 0 0 331576 1832 0 0 20 0 1 0 182288465 404328448 88225 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 98713 88225 986 2550 0 95668 0
Current children cumulated CPU time: 3334.08 s
Current children cumulated vsize: 394852 KiB
Current children cumulated memory: 352900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.45 4.27 4.16 5/254 974618
/proc/meminfo: memFree=122213472/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=364032 memory=348572 CPUtime=3393.91 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 923742 0 0 0 337528 1863 0 0 20 0 1 0 182288465 372768768 87143 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 91008 87143 986 2550 0 87963 0
Current children cumulated CPU time: 3393.91 s
Current children cumulated vsize: 364032 KiB
Current children cumulated memory: 348572 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.25 4.16 5/256 974633
/proc/meminfo: memFree=122042468/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=658588 memory=545392 CPUtime=3453.75 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 938499 0 0 0 343469 1906 0 0 20 0 1 0 182288465 674394112 136348 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 164647 136348 986 2550 0 161602 0
Current children cumulated CPU time: 3453.75 s
Current children cumulated vsize: 658588 KiB
Current children cumulated memory: 545392 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.22 4.15 5/256 974643
/proc/meminfo: memFree=122124844/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=526328 memory=474004 CPUtime=3513.58 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 946341 0 0 0 349407 1951 0 0 20 0 1 0 182288465 538959872 118501 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 131582 118501 986 2550 0 128537 0
Current children cumulated CPU time: 3513.58 s
Current children cumulated vsize: 526328 KiB
Current children cumulated memory: 474004 KiB

[startup+3582.3 s]
/proc/loadavg: 3.32 4.00 4.08 3/242 974715
/proc/meminfo: memFree=122650456/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=658588 memory=574168 CPUtime=3573.41 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 955684 0 0 0 355346 1995 0 0 20 0 1 0 182288465 674394112 143542 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 164647 143542 986 2550 0 161602 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 658588 KiB
Current children cumulated memory: 574168 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 2.87 3.84 4.03 3/242 974720
/proc/meminfo: memFree=122728224/131524600 swapFree=131071996/131071996
[pid=972782] ppid=972779 vsize=526328 memory=486292 CPUtime=3600.05 cores=4,6
/proc/972782/stat : 972782 (CASHWMaxSAT-Dis) R 972779 972782 967222 0 -1 4194304 959615 0 0 0 357989 2016 0 0 20 0 1 0 182288465 538959872 121573 134679101440 4194304 14636349 140732760958896 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 53501952 140732760962018 140732760962134 140732760962134 140732760969150 0
/proc/972782/statm: 131582 121573 986 2550 0 128537 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 526328 KiB
Current children cumulated memory: 486292 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.89 s, system=20.1668 s

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

Child status: 0

Real time (s): 3609.01
CPU time (s): 3600.06
CPU user time (s): 3579.89
CPU system time (s): 20.1668
CPU usage (%): 99.7521
Max. virtual memory (cumulated for all children) (KiB): 870204
Max. memory (cumulated for all children) (KiB): 747424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.89
system time used= 20.1668
maximum resident set size= 809636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 959615
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= 38
involuntary context switches= 4538


# summary of solver processes directly reported to runsolver:
#   pid: 972782
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3579.89
#   total CPU system time (s): 20.1668

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.548 second user time and 16.4117 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-18 13:13:20
IDJOB=4442700
IDBENCH=147841
IDSOLVER=3076
FILE ID=nodeC033/4442700-1721301187
RUNJOBID= nodeC033-1721293776-967233
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-85-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-4442700-1721301187/watcher-4442700-1721301187 -o /tmp/evaluation-result-4442700-1721301187/solver-4442700-1721301187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721293776-967233 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4442700-1721301187.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 3286026fa526b314722ad26ad1e17070
RANDOM SEED=1444660807

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		: 3656.710
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		: 3690.332
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		: 3600.970
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		: 3600.021
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		: 3657.546
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		: 3690.376
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		: 3652.828
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.027
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:        123084860 kB
MemAvailable:   128952656 kB
Buffers:          514804 kB
Cached:          6115912 kB
SwapCached:            0 kB
Active:           933072 kB
Inactive:        6736848 kB
Active(anon):       1588 kB
Inactive(anon):  1075036 kB
Active(file):     931484 kB
Inactive(file):  5661812 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             13488 kB
Writeback:             0 kB
AnonPages:       1033068 kB
Mapped:           118156 kB
Shmem:             37716 kB
KReclaimable:     228292 kB
Slab:             355248 kB
SReclaimable:     228292 kB
SUnreclaim:       126956 kB
KernelStack:        4156 kB
PageTables:        11280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1348260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    724992 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= 890048 MiB
End job on nodeC033 at 2024-07-18 14:13:29