Trace number 4454091

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-S 2024-07-10? (TO) 3600.07 3609.9

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-21arraycomm_teq_tvars_greater.opb
MD5SUMad731be7af81a11cebcddac40b738f1a
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.61995
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2688
Total number of constraints1408
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1408
Minimum length of a constraint2
Maximum length of a constraint84
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 2199023255552
Number of bits of the biggest number in a constraint 42
Biggest sum of numbers in a constraint 8796093022207
Number of bits of the biggest sum of numbers43
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.10/0.12	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.10/0.12	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.06/3609.90	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 (60697 MiB free)
  memory of node 1: 64510 MiB (61240 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454091-1721489202/watcher-4454091-1721489202 -o /tmp/evaluation-result-4454091-1721489202/solver-4454091-1721489202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721481985-1038726 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4454091-1721489202.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=1042938, runsolver pid=1042935
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 4.11 4.10 4.09 5/257 1042939
/proc/meminfo: memFree=124826380/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=25480 memory=10220 CPUtime=0.1 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 2411 0 0 0 10 0 0 0 20 0 1 0 201080752 26091520 2555 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 6370 2555 782 2417 0 3472 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25480 KiB
Current children cumulated memory: 10220 KiB

[startup+0.205588 s]*
/proc/loadavg: 4.11 4.10 4.09 5/257 1042939
/proc/meminfo: memFree=124823152/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=25612 memory=11396 CPUtime=0.2 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 2665 0 0 0 20 0 0 0 20 0 1 0 201080752 26226688 2849 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 6403 2849 814 2417 0 3505 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 25612 KiB
Current children cumulated memory: 11396 KiB

[startup+0.305477 s]*
/proc/loadavg: 4.11 4.10 4.09 5/257 1042939
/proc/meminfo: memFree=124816960/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=29972 memory=15356 CPUtime=0.3 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 3647 0 0 0 30 0 0 0 20 0 1 0 201080752 30691328 3839 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 7493 3839 814 2417 0 4595 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29972 KiB
Current children cumulated memory: 15356 KiB

[startup+0.700221 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1042939
/proc/meminfo: memFree=124811412/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=37028 memory=21096 CPUtime=0.69 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 4604 0 0 0 69 0 0 0 20 0 1 0 201080752 37916672 5274 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 9257 5274 814 2417 0 6359 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37028 KiB
Current children cumulated memory: 21096 KiB

[startup+1.50024 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1042939
/proc/meminfo: memFree=124798180/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=40004 memory=25256 CPUtime=1.49 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 5132 0 0 0 149 0 0 0 20 0 1 0 201080752 40964096 6314 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 10001 6314 814 2417 0 7103 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40004 KiB
Current children cumulated memory: 25256 KiB

[startup+3.10542 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1042939
/proc/meminfo: memFree=124828240/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=49896 memory=35360 CPUtime=3.08 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 6177 0 0 0 308 0 0 0 20 0 1 0 201080752 51093504 8840 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 12474 8840 814 2417 0 9576 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 49896 KiB
Current children cumulated memory: 35360 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 1042939
/proc/meminfo: memFree=124750128/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=54316 memory=40136 CPUtime=6.27 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 7388 0 0 0 626 1 0 0 20 0 1 0 201080752 55619584 10034 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 13579 10034 814 2417 0 10681 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54316 KiB
Current children cumulated memory: 40136 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 1042987
/proc/meminfo: memFree=125033332/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=65972 memory=49308 CPUtime=12.66 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 9704 0 0 0 1264 2 0 0 20 0 1 0 201080752 67555328 12327 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 16493 12327 814 2417 0 13595 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 65972 KiB
Current children cumulated memory: 49308 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 1042988
/proc/meminfo: memFree=124964608/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=80400 memory=64188 CPUtime=25.43 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 10980 0 0 0 2539 4 0 0 20 0 1 0 201080752 82329600 16047 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 20100 16047 814 2417 0 17202 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 80400 KiB
Current children cumulated memory: 64188 KiB

[startup+51.1054 s]
/proc/loadavg: 4.12 4.10 4.09 6/256 1042994
/proc/meminfo: memFree=124854028/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=110748 memory=88472 CPUtime=50.97 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 11871 0 0 0 5091 6 0 0 20 0 1 0 201080752 113405952 22118 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 27687 22118 814 2417 0 24789 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 110748 KiB
Current children cumulated memory: 88472 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/257 1043171
/proc/meminfo: memFree=124720840/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=141156 memory=125848 CPUtime=102.04 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 13134 0 0 0 10197 7 0 0 20 0 1 0 201080752 144543744 31462 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 35289 31462 814 2417 0 32391 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 141156 KiB
Current children cumulated memory: 125848 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1043182
/proc/meminfo: memFree=124659776/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=160124 memory=146248 CPUtime=161.88 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 14215 0 0 0 16181 7 0 0 20 0 1 0 201080752 163966976 36562 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 40031 36562 814 2417 0 37133 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 160124 KiB
Current children cumulated memory: 146248 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 1043248
/proc/meminfo: memFree=124575400/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=141400 memory=127516 CPUtime=221.74 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 20843 0 0 0 22156 18 0 0 20 0 1 0 201080752 144793600 31879 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 35350 31879 814 2417 0 32452 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 141400 KiB
Current children cumulated memory: 127516 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 1043260
/proc/meminfo: memFree=124567052/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=190720 memory=163852 CPUtime=281.58 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 26641 0 0 0 28130 28 0 0 20 0 1 0 201080752 195297280 40963 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 47680 40963 814 2417 0 44782 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 190720 KiB
Current children cumulated memory: 163852 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 1043271
/proc/meminfo: memFree=124569804/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=190720 memory=164024 CPUtime=341.44 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 33896 0 0 0 34100 44 0 0 20 0 1 0 201080752 195297280 41006 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 47680 41006 814 2417 0 44782 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 190720 KiB
Current children cumulated memory: 164024 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 1043284
/proc/meminfo: memFree=124563416/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=190720 memory=168120 CPUtime=401.28 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 38194 0 0 0 40075 53 0 0 20 0 1 0 201080752 195297280 42030 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 47680 42030 814 2417 0 44782 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 190720 KiB
Current children cumulated memory: 168120 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 1043296
/proc/meminfo: memFree=124554932/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=190720 memory=174100 CPUtime=461.12 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 48008 0 0 0 46044 68 0 0 20 0 1 0 201080752 195297280 43525 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 47680 43525 814 2417 0 44782 0

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

Current children cumulated memory: 257232 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 1044320
/proc/meminfo: memFree=124260692/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=305560 memory=274460 CPUtime=2914.42 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 181078 0 0 0 291017 425 0 0 20 0 1 0 201080752 312893440 68615 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 76390 68615 814 2417 0 73492 0
Current children cumulated CPU time: 2914.42 s
Current children cumulated vsize: 305560 KiB
Current children cumulated memory: 274460 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 1044330
/proc/meminfo: memFree=124278652/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=305728 memory=266360 CPUtime=2974.24 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 181896 0 0 0 296995 429 0 0 20 0 1 0 201080752 313065472 66590 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 76432 66590 814 2417 0 73534 0
Current children cumulated CPU time: 2974.24 s
Current children cumulated vsize: 305728 KiB
Current children cumulated memory: 266360 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/255 1044341
/proc/meminfo: memFree=124245940/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=306064 memory=260560 CPUtime=3034.07 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 182644 0 0 0 302973 434 0 0 20 0 1 0 201080752 313409536 65140 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 76516 65140 814 2417 0 73618 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 306064 KiB
Current children cumulated memory: 260560 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/255 1044352
/proc/meminfo: memFree=124217552/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=307476 memory=280020 CPUtime=3093.9 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 183720 0 0 0 308950 440 0 0 20 0 1 0 201080752 314855424 70005 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 76869 70005 814 2417 0 73971 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 307476 KiB
Current children cumulated memory: 280020 KiB

[startup+3162.3 s]
/proc/loadavg: 4.38 4.17 4.11 5/255 1044362
/proc/meminfo: memFree=124229468/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=308612 memory=278076 CPUtime=3153.75 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 186571 0 0 0 314920 455 0 0 20 0 1 0 201080752 316018688 69519 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 77153 69519 814 2417 0 74255 0
Current children cumulated CPU time: 3153.75 s
Current children cumulated vsize: 308612 KiB
Current children cumulated memory: 278076 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/256 1044376
/proc/meminfo: memFree=124237972/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=308612 memory=271932 CPUtime=3213.58 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 187289 0 0 0 320898 460 0 0 20 0 1 0 201080752 316018688 67983 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 77153 67983 814 2417 0 74255 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 308612 KiB
Current children cumulated memory: 271932 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/256 1044387
/proc/meminfo: memFree=124248484/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=309036 memory=261828 CPUtime=3273.41 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 188222 0 0 0 326876 465 0 0 20 0 1 0 201080752 316452864 65457 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 77259 65457 814 2417 0 74361 0
Current children cumulated CPU time: 3273.41 s
Current children cumulated vsize: 309036 KiB
Current children cumulated memory: 261828 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/256 1044397
/proc/meminfo: memFree=124189940/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=309708 memory=277768 CPUtime=3333.23 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 188729 0 0 0 332855 468 0 0 20 0 1 0 201080752 317140992 69442 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 77427 69442 814 2417 0 74529 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 309708 KiB
Current children cumulated memory: 277768 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/256 1044407
/proc/meminfo: memFree=124229640/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=310172 memory=265756 CPUtime=3393.06 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 189593 0 0 0 338833 473 0 0 20 0 1 0 201080752 317616128 66439 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 77543 66439 814 2417 0 74645 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 310172 KiB
Current children cumulated memory: 265756 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 1044419
/proc/meminfo: memFree=124187780/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=310424 memory=279356 CPUtime=3452.88 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 190264 0 0 0 344813 475 0 0 20 0 1 0 201080752 317874176 69839 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 77606 69839 814 2417 0 74708 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 310424 KiB
Current children cumulated memory: 279356 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 1044813
/proc/meminfo: memFree=124100632/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=310596 memory=267360 CPUtime=3512.7 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 191167 0 0 0 350790 480 0 0 20 0 1 0 201080752 318050304 66840 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 77649 66840 814 2417 0 74751 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 310596 KiB
Current children cumulated memory: 267360 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/256 1044824
/proc/meminfo: memFree=124188312/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=313272 memory=290364 CPUtime=3572.52 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 192806 0 0 0 356765 487 0 0 20 0 1 0 201080752 320790528 72591 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 78318 72591 814 2417 0 75420 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 313272 KiB
Current children cumulated memory: 290364 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 3.81 4.05 4.07 3/242 1044890
/proc/meminfo: memFree=124622840/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=313524 memory=294864 CPUtime=3600.06 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 194374 0 0 0 359510 496 0 0 20 0 1 0 201080752 321048576 73716 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 78381 73716 814 2417 0 75483 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 313524 KiB
Current children cumulated memory: 294864 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.1 s, system=4.96809 s

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

[startup+3609.9 s]
/proc/loadavg: 3.81 4.05 4.07 3/242 1044890
/proc/meminfo: memFree=124622840/131524600 swapFree=131071996/131071996
[pid=1042938] ppid=1042935 vsize=313524 memory=294864 CPUtime=3600.06 cores=1,3
/proc/1042938/stat : 1042938 (CASHWMaxSAT-Dis) R 1042935 1042938 1038714 0 -1 4194304 194374 0 0 0 359510 496 0 0 20 0 1 0 201080752 321048576 73716 134679101440 4194304 14093885 140735053745984 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22204416 140735053755363 140735053755478 140735053755478 140735053762495 0
/proc/1042938/statm: 78381 73716 814 2417 0 75483 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 313524 KiB
Current children cumulated memory: 294864 KiB

Child status: 0

Real time (s): 3609.9
CPU time (s): 3600.07
CPU user time (s): 3595.1
CPU system time (s): 4.96809
CPU usage (%): 99.7277
Max. virtual memory (cumulated for all children) (KiB): 525140
Max. memory (cumulated for all children) (KiB): 397572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.1
system time used= 4.96809
maximum resident set size= 404808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194374
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= 35
involuntary context switches= 4055


# summary of solver processes directly reported to runsolver:
#   pid: 1042938
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3595.1
#   total CPU system time (s): 4.96809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4635 second user time and 16.1441 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-20 17:26:53
IDJOB=4454091
IDBENCH=176041
IDSOLVER=3077
FILE ID=nodeC016/4454091-1721489202
RUNJOBID= nodeC016-1721481985-1038726
SLURM_JOB_ID= 7545766
Free space on /tmp= 890044 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-21arraycomm_teq_tvars_greater.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454091-1721489202/watcher-4454091-1721489202 -o /tmp/evaluation-result-4454091-1721489202/solver-4454091-1721489202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721481985-1038726 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4454091-1721489202.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= ad731be7af81a11cebcddac40b738f1a
RANDOM SEED=776070201

nodeC016.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		: 3659.536
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.70
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		: 3662.027
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.63
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.872
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.70
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		: 3666.218
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.63
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		: 3659.581
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.70
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		: 3665.710
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.63
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.056
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.70
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.290
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.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124864448 kB
MemAvailable:   129300792 kB
Buffers:          453724 kB
Cached:          4817564 kB
SwapCached:            0 kB
Active:           765152 kB
Inactive:        5255780 kB
Active(anon):       1568 kB
Inactive(anon):   794016 kB
Active(file):     763584 kB
Inactive(file):  4461764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             38972 kB
Writeback:             0 kB
AnonPages:        747256 kB
Mapped:           118044 kB
Shmem:             45912 kB
KReclaimable:     101284 kB
Slab:             215112 kB
SReclaimable:     101284 kB
SUnreclaim:       113828 kB
KernelStack:        4056 kB
PageTables:        10600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1172524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            75008 kB
HardwareCorrupted:     0 kB
AnonHugePages:    745472 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:      234196 kB
DirectMap2M:    20510720 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC016 at 2024-07-20 18:27:04