Trace number 4449704

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 NameAnswerobjective functionCPU timeWall clock time
CASHWMaxSAT-DisjCad-S 2024-07-10OPT2 1810.33 1816.02

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=6.opb
MD5SUM452542b5617bc71813112a35665296a2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark4.31016
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables148
Total number of constraints1760
Number of constraints which are clauses1752
Number of constraints which are cardinality constraints (but not clauses)8
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint9
Number of terms in the objective function 8
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 8
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 10
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.02	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.02	o 8
0.00/0.02	c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.03	c Starting SCIP solver  (with time-limit = 1800s) ...
1794.36/1800.04	c SCIP timeout with lower and upper bounds: [0, 2]
1794.36/1800.04	o 2
1810.21/1816.00	s OPTIMUM FOUND
1810.21/1816.00	v -x29 -x30 -x31 -x32 -x33 -x34 x35 x36 -x37 -x45 x53 -x61 -x69 -x77 -x85 -x93 -x38 -x46 -x54 -x62 -x70 -x78 x86 -x94 -x39 -x47 -x55 -x63 x71 -x79 -x87 -x95 -x40 -x48 -x56 -x64 -x72 x80 -x88 -x96 -x41 -x49 -x57 -x65 -x73 -x81 -x89 x97 -x42 -x50 -x58 x66 -x74 -x82 -x90 -x98 -x43 -x51 -x59 -x67 -x75 -x83 -x91 -x99 -x44 -x52 -x60 -x68 -x76 -x84 -x92 -x100 x1 x2 -x3 x4 x5 x6 x7 x8 x9 -x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 -x101 -x102 -x103 -x104 x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148

Verifier Data 

OK	2

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 (60348 MiB free)
  memory of node 1: 64510 MiB (61530 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449704-1721399503/watcher-4449704-1721399503 -o /tmp/evaluation-result-4449704-1721399503/solver-4449704-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721399515-1015925 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4449704-1721399503.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
solver pid=1015974, runsolver pid=1015965
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 0.18 0.14 0.10 5/248 1015989
/proc/meminfo: memFree=124781024/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=30844 memory=22252 CPUtime=0.1 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 3247 0 0 0 9 1 0 0 20 0 1 0 192109043 31584256 5563 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 7711 5563 2638 2594 0 4604 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30844 KiB
Current children cumulated memory: 22252 KiB

[startup+0.214662 s]*
/proc/loadavg: 0.18 0.14 0.10 6/248 1015989
/proc/meminfo: memFree=124760136/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=36184 memory=27368 CPUtime=0.21 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 4969 0 0 0 20 1 0 0 20 0 1 0 192109043 37052416 6842 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 9046 6842 2670 2594 0 5939 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36184 KiB
Current children cumulated memory: 27368 KiB

[startup+0.313942 s]*
/proc/loadavg: 0.18 0.14 0.10 5/248 1015989
/proc/meminfo: memFree=124748752/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=36184 memory=27368 CPUtime=0.31 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 4973 0 0 0 30 1 0 0 20 0 1 0 192109043 37052416 6842 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 9046 6842 2670 2594 0 5939 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36184 KiB
Current children cumulated memory: 27368 KiB

[startup+0.700282 s]
/proc/loadavg: 0.18 0.14 0.10 5/248 1015989
/proc/meminfo: memFree=124720216/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=36184 memory=27368 CPUtime=0.68 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 4981 0 0 0 67 1 0 0 20 0 1 0 192109043 37052416 6842 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 9046 6842 2670 2594 0 5939 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36184 KiB
Current children cumulated memory: 27368 KiB

[startup+1.50033 s]
/proc/loadavg: 0.18 0.14 0.10 5/248 1015989
/proc/meminfo: memFree=124585864/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=46684 memory=37388 CPUtime=1.48 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 7483 0 0 0 146 2 0 0 20 0 1 0 192109043 47804416 9347 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 11671 9347 2670 2594 0 8564 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46684 KiB
Current children cumulated memory: 37388 KiB

[startup+3.11343 s]
/proc/loadavg: 0.18 0.14 0.10 5/248 1015989
/proc/meminfo: memFree=123926884/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=51980 memory=42140 CPUtime=3.09 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 8684 0 0 0 307 2 0 0 20 0 1 0 192109043 53227520 10535 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 12995 10535 2670 2594 0 9888 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51980 KiB
Current children cumulated memory: 42140 KiB

[startup+6.3003 s]
/proc/loadavg: 0.49 0.20 0.12 5/248 1016037
/proc/meminfo: memFree=123565784/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=63648 memory=53176 CPUtime=6.26 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 12124 0 0 0 623 3 0 0 20 0 1 0 192109043 65175552 13294 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 15912 13294 2670 2594 0 12805 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 53176 KiB

[startup+12.7003 s]
/proc/loadavg: 0.77 0.26 0.14 5/248 1016037
/proc/meminfo: memFree=123514520/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=81268 memory=71092 CPUtime=12.64 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 17784 0 0 0 1260 4 0 0 20 0 1 0 192109043 83218432 17773 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 20317 17773 2670 2594 0 17210 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 81268 KiB
Current children cumulated memory: 71092 KiB

[startup+25.5003 s]
/proc/loadavg: 1.48 0.45 0.20 5/248 1016040
/proc/meminfo: memFree=123466648/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=90608 memory=79636 CPUtime=25.38 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 20871 0 0 0 2534 4 0 0 20 0 1 0 192109043 92782592 19909 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 22652 19909 2670 2594 0 19545 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 90608 KiB
Current children cumulated memory: 79636 KiB

[startup+51.1127 s]
/proc/loadavg: 2.42 0.75 0.31 5/248 1016043
/proc/meminfo: memFree=123289608/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=117648 memory=105888 CPUtime=50.89 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 29831 0 0 0 5083 6 0 0 20 0 1 0 192109043 120471552 26472 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 29412 26472 2670 2594 0 26305 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 117648 KiB
Current children cumulated memory: 105888 KiB

[startup+102.3 s]
/proc/loadavg: 3.38 1.27 0.51 5/248 1016051
/proc/meminfo: memFree=122986860/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=163600 memory=147232 CPUtime=101.86 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 47885 0 0 0 10176 10 0 0 20 0 1 0 192109043 167526400 36808 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 40900 36808 2670 2594 0 37793 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 163600 KiB
Current children cumulated memory: 147232 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 1.81 0.75 5/246 1016063
/proc/meminfo: memFree=122703316/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=203076 memory=192448 CPUtime=161.62 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 64241 0 0 0 16149 13 0 0 20 0 1 0 192109043 207949824 48112 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 50769 48112 2938 2594 0 47662 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 203076 KiB
Current children cumulated memory: 192448 KiB

[startup+222.3 s]
/proc/loadavg: 4.43 2.33 0.99 5/246 1016074
/proc/meminfo: memFree=122498288/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=249104 memory=240440 CPUtime=221.42 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 77153 0 0 0 22127 15 0 0 20 0 1 0 192109043 255082496 60110 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 62276 60110 2938 2594 0 59169 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 249104 KiB
Current children cumulated memory: 240440 KiB

[startup+282.3 s]
/proc/loadavg: 4.55 2.76 1.23 5/243 1016085
/proc/meminfo: memFree=122272572/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=309524 memory=283764 CPUtime=281.24 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 86186 0 0 0 28106 18 0 0 20 0 1 0 192109043 316952576 70941 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 77381 70941 2938 2594 0 74274 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 309524 KiB
Current children cumulated memory: 283764 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 3.01 1.41 5/241 1016096
/proc/meminfo: memFree=122132716/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=336364 memory=322600 CPUtime=341.04 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 93380 0 0 0 34085 19 0 0 20 0 1 0 192109043 344436736 80650 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 84091 80650 2938 2594 0 80984 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 336364 KiB
Current children cumulated memory: 322600 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 3.22 1.58 5/242 1016107
/proc/meminfo: memFree=122012604/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=367996 memory=358620 CPUtime=400.84 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 99129 0 0 0 40064 20 0 0 20 0 1 0 192109043 376827904 89655 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 91999 89655 2938 2594 0 88892 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 367996 KiB
Current children cumulated memory: 358620 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.38 1.74 5/242 1016117
/proc/meminfo: memFree=121871924/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=423060 memory=393448 CPUtime=460.65 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 106921 0 0 0 46044 21 0 0 20 0 1 0 192109043 433213440 98362 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 105765 98362 2938 2594 0 102658 0

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

Current children cumulated memory: 1048496 KiB

[startup+1362.3 s]
/proc/loadavg: 4.11 4.08 3.25 5/243 1016286
/proc/meminfo: memFree=119593444/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=1243140 memory=1115348 CPUtime=1357.9 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 179962 0 0 0 135743 47 0 0 20 0 1 0 192109043 1272975360 278837 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 310785 278837 2938 2594 0 307678 0
Current children cumulated CPU time: 1357.9 s
Current children cumulated vsize: 1243140 KiB
Current children cumulated memory: 1115348 KiB

[startup+1422.3 s]
/proc/loadavg: 4.08 4.08 3.30 5/243 1016296
/proc/meminfo: memFree=119466664/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=1250900 memory=1180416 CPUtime=1417.72 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 183283 0 0 0 141724 48 0 0 20 0 1 0 192109043 1280921600 295104 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 312725 295104 2938 2594 0 309618 0
Current children cumulated CPU time: 1417.72 s
Current children cumulated vsize: 1250900 KiB
Current children cumulated memory: 1180416 KiB

[startup+1482.3 s]
/proc/loadavg: 4.38 4.16 3.38 5/244 1016691
/proc/meminfo: memFree=119264868/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=1311604 memory=1253876 CPUtime=1477.55 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 185923 0 0 0 147705 50 0 0 20 0 1 0 192109043 1343082496 313469 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 327901 313469 2938 2594 0 324794 0
Current children cumulated CPU time: 1477.55 s
Current children cumulated vsize: 1311604 KiB
Current children cumulated memory: 1253876 KiB

[startup+1542.3 s]
/proc/loadavg: 4.74 4.31 3.48 5/244 1016703
/proc/meminfo: memFree=119140176/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=1426588 memory=1308416 CPUtime=1537.38 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 188249 0 0 0 153685 53 0 0 20 0 1 0 192109043 1460826112 327104 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 356647 327104 2938 2594 0 353540 0
Current children cumulated CPU time: 1537.38 s
Current children cumulated vsize: 1426588 KiB
Current children cumulated memory: 1308416 KiB

[startup+1602.3 s]
/proc/loadavg: 4.99 4.47 3.59 5/245 1016714
/proc/meminfo: memFree=118970832/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=1434552 memory=1379852 CPUtime=1597.2 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 191445 0 0 0 159665 55 0 0 20 0 1 0 192109043 1468981248 344963 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 358638 344963 2938 2594 0 355531 0
Current children cumulated CPU time: 1597.2 s
Current children cumulated vsize: 1434552 KiB
Current children cumulated memory: 1379852 KiB

[startup+1662.3 s]
/proc/loadavg: 4.50 4.41 3.63 5/245 1016893
/proc/meminfo: memFree=118784460/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=1502992 memory=1432172 CPUtime=1657.03 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 193554 0 0 0 165646 57 0 0 20 0 1 0 192109043 1539063808 358043 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 375748 358043 2938 2594 0 372641 0
Current children cumulated CPU time: 1657.03 s
Current children cumulated vsize: 1502992 KiB
Current children cumulated memory: 1432172 KiB

[startup+1722.3 s]
/proc/loadavg: 4.74 4.50 3.71 5/245 1016905
/proc/meminfo: memFree=118636508/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=1645640 memory=1502104 CPUtime=1716.86 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 198000 0 0 0 171626 60 0 0 20 0 1 0 192109043 1685135360 375526 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 411410 375526 2938 2594 0 408303 0
Current children cumulated CPU time: 1716.86 s
Current children cumulated vsize: 1645640 KiB
Current children cumulated memory: 1502104 KiB

[startup+1782.3 s]
/proc/loadavg: 4.33 4.43 3.74 5/243 1016927
/proc/meminfo: memFree=118506200/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=1654832 memory=1566408 CPUtime=1776.69 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 200776 0 0 0 177607 62 0 0 20 0 1 0 192109043 1694547968 391602 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 413708 391602 2938 2594 0 410601 0
Current children cumulated CPU time: 1776.69 s
Current children cumulated vsize: 1654832 KiB
Current children cumulated memory: 1566408 KiB

[startup+1816.02 s]
# the end of solver process 1015974 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1809.66 s, system=0.665874 s

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

[startup+1792 s]*
/proc/loadavg: 4.28 4.41 3.74 5/243 1016929
/proc/meminfo: memFree=118497200/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=1654832 memory=1566648 CPUtime=1786.38 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 200900 0 0 0 178576 62 0 0 20 0 1 0 192109043 1694547968 391662 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 413708 391662 2938 2594 0 410601 0
Current children cumulated CPU time: 1786.38 s
Current children cumulated vsize: 1654832 KiB
Current children cumulated memory: 1566648 KiB

[startup+1804.8 s]
/proc/loadavg: 4.24 4.40 3.75 5/243 1016930
/proc/meminfo: memFree=120573036/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=395048 memory=387248 CPUtime=1799.13 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 200932 0 0 0 179848 65 0 0 20 0 1 0 192109043 404529152 96812 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 98762 96812 2938 2594 0 95655 0
Current children cumulated CPU time: 1799.13 s
Current children cumulated vsize: 395048 KiB
Current children cumulated memory: 387248 KiB

[startup+1811.2 s]
/proc/loadavg: 4.28 4.40 3.75 5/243 1016933
/proc/meminfo: memFree=121834332/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=395048 memory=387248 CPUtime=1805.52 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 200932 0 0 0 180487 65 0 0 20 0 1 0 192109043 404529152 96812 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 98762 96812 2938 2594 0 95655 0
Current children cumulated CPU time: 1805.52 s
Current children cumulated vsize: 395048 KiB
Current children cumulated memory: 387248 KiB

[startup+1814.4 s]
/proc/loadavg: 4.28 4.40 3.75 5/243 1016933
/proc/meminfo: memFree=121870020/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=395048 memory=387248 CPUtime=1808.71 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 200932 0 0 0 180806 65 0 0 20 0 1 0 192109043 404529152 96812 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 98762 96812 2938 2594 0 95655 0
Current children cumulated CPU time: 1808.71 s
Current children cumulated vsize: 395048 KiB
Current children cumulated memory: 387248 KiB

[startup+1815.2 s]
/proc/loadavg: 4.26 4.39 3.76 5/243 1016934
/proc/meminfo: memFree=121870020/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=395048 memory=387248 CPUtime=1809.51 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 200932 0 0 0 180886 65 0 0 20 0 1 0 192109043 404529152 96812 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 98762 96812 2938 2594 0 95655 0
Current children cumulated CPU time: 1809.51 s
Current children cumulated vsize: 395048 KiB
Current children cumulated memory: 387248 KiB

[startup+1815.6 s]
/proc/loadavg: 4.26 4.39 3.76 5/243 1016934
/proc/meminfo: memFree=121870020/131655788 swapFree=131071996/131071996
[pid=1015974] ppid=1015965 vsize=395048 memory=387248 CPUtime=1809.91 cores=4,6
/proc/1015974/stat : 1015974 (CASHWMaxSAT-Dis) R 1015965 1015974 1015914 0 -1 4194304 200932 0 0 0 180926 65 0 0 20 0 1 0 192109043 404529152 96812 134679101440 4194304 14817773 140725773508064 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22294528 140725773509603 140725773509718 140725773509718 140725773516735 0
/proc/1015974/statm: 98762 96812 2938 2594 0 95655 0
Current children cumulated CPU time: 1809.91 s
Current children cumulated vsize: 395048 KiB
Current children cumulated memory: 387248 KiB

[startup+1816 s]*
/proc/loadavg: 4.26 4.39 3.76 5/243 1016934
/proc/meminfo: memFree=121870004/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 30

Real time (s): 1816.02
CPU time (s): 1810.33
CPU user time (s): 1809.66
CPU system time (s): 0.665874
CPU usage (%): 99.6869
Max. virtual memory (cumulated for all children) (KiB): 1654832
Max. memory (cumulated for all children) (KiB): 1585080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1809.66
system time used= 0.665874
maximum resident set size= 1585080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200932
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= 50
involuntary context switches= 2149


# summary of solver processes directly reported to runsolver:
#   pid: 1015974
#   total CPU time (s): 1810.33
#   total CPU user time (s): 1809.66
#   total CPU system time (s): 0.665874

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.88303 second user time and 16.8385 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-19 16:31:55
IDJOB=4449704
IDBENCH=176095
IDSOLVER=3075
FILE ID=nodeC006/4449704-1721399503
RUNJOBID= nodeC006-1721399515-1015925
SLURM_JOB_ID= 7545435
Free space on /tmp= 723776 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=8-t=6.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449704-1721399503/watcher-4449704-1721399503 -o /tmp/evaluation-result-4449704-1721399503/solver-4449704-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721399515-1015925 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4449704-1721399503.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 452542b5617bc71813112a35665296a2
RANDOM SEED=1818638320

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		: 1203.762
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		: 1238.818
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		: 1254.545
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		: 1281.315
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		: 1200.087
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		: 1200.635
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		: 1266.812
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		: 1278.228
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:        124810792 kB
MemAvailable:   129857184 kB
Buffers:          540004 kB
Cached:          5292868 kB
SwapCached:            0 kB
Active:          1021588 kB
Inactive:        5136076 kB
Active(anon):       1364 kB
Inactive(anon):   369320 kB
Active(file):    1020224 kB
Inactive(file):  4766756 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             61624 kB
Writeback:             0 kB
AnonPages:        324860 kB
Mapped:           106176 kB
Shmem:             45896 kB
KReclaimable:     198888 kB
Slab:             314232 kB
SReclaimable:     198888 kB
SUnreclaim:       115344 kB
KernelStack:        3776 kB
PageTables:         9640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     747516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60736 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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= 723716 MiB
End job on nodeC006 at 2024-07-19 17:02:12