Trace number 4442521

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.04 3609.2

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-61-60.opb
MD5SUM5c8918c3cb918142421b1796e9d625e3
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.043503
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3660
Total number of constraints121
Number of constraints which are clauses61
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint61
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 62
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.50/0.59	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.50/0.59	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.03/3609.20	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 (61492 MiB free)
  memory of node 1: 64510 MiB (62778 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442521-1721304966/watcher-4442521-1721304966 -o /tmp/evaluation-result-4442521-1721304966/solver-4442521-1721304966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721304979-953388 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4442521-1721304966.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=953575, runsolver pid=953572
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 3.58 3.98 4.05 5/256 953588
/proc/meminfo: memFree=127222404/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=24712 memory=10380 CPUtime=0.1 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 2199 0 0 0 10 0 0 0 20 0 1 0 182661565 25305088 2595 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 6178 2595 814 2417 0 3280 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24712 KiB
Current children cumulated memory: 10380 KiB

[startup+0.205583 s]*
/proc/loadavg: 3.58 3.98 4.05 5/256 953588
/proc/meminfo: memFree=127217968/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=29108 memory=12492 CPUtime=0.2 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 2710 0 0 0 20 0 0 0 20 0 1 0 182661565 29806592 3123 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 7277 3123 814 2417 0 4379 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29108 KiB
Current children cumulated memory: 12492 KiB

[startup+0.305417 s]*
/proc/loadavg: 3.58 3.98 4.05 5/256 953588
/proc/meminfo: memFree=127207504/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=33660 memory=15396 CPUtime=0.3 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 3418 0 0 0 30 0 0 0 20 0 1 0 182661565 34467840 3849 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 8415 3849 814 2417 0 5517 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33660 KiB
Current children cumulated memory: 15396 KiB

[startup+0.700229 s]
/proc/loadavg: 3.58 3.98 4.05 5/256 953588
/proc/meminfo: memFree=127196512/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=42976 memory=26544 CPUtime=0.69 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 4673 0 0 0 69 0 0 0 20 0 1 0 182661565 44007424 6636 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 10744 6636 814 2417 0 7846 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 26544 KiB

[startup+1.50024 s]
/proc/loadavg: 3.58 3.98 4.05 5/256 953588
/proc/meminfo: memFree=127167100/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=57692 memory=37080 CPUtime=1.49 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 7291 0 0 0 148 1 0 0 20 0 1 0 182661565 59076608 9270 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 14423 9270 814 2417 0 11525 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 57692 KiB
Current children cumulated memory: 37080 KiB

[startup+3.10553 s]
/proc/loadavg: 3.58 3.98 4.05 5/256 953588
/proc/meminfo: memFree=127028748/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=127944 memory=101916 CPUtime=3.08 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 9499 0 0 0 305 3 0 0 20 0 1 0 182661565 131014656 25479 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 31986 25479 814 2417 0 29088 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127944 KiB
Current children cumulated memory: 101916 KiB

[startup+6.30023 s]
/proc/loadavg: 3.61 3.98 4.05 5/256 953590
/proc/meminfo: memFree=126868340/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=78624 memory=64744 CPUtime=6.28 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 10638 0 0 0 622 6 0 0 20 0 1 0 182661565 80510976 16186 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 19656 16186 814 2417 0 16758 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 78624 KiB
Current children cumulated memory: 64744 KiB

[startup+12.7002 s]
/proc/loadavg: 3.64 3.98 4.05 5/256 953590
/proc/meminfo: memFree=126852624/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=127944 memory=99812 CPUtime=12.66 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 12833 0 0 0 1256 10 0 0 20 0 1 0 182661565 131014656 24953 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 31986 24953 814 2417 0 29088 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 127944 KiB
Current children cumulated memory: 99812 KiB

[startup+25.5003 s]
/proc/loadavg: 3.79 4.00 4.05 5/256 953593
/proc/meminfo: memFree=126791344/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=189352 memory=153100 CPUtime=25.43 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 18852 0 0 0 2523 20 0 0 20 0 1 0 182661565 193896448 38275 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 47338 38275 814 2417 0 44440 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 189352 KiB
Current children cumulated memory: 153100 KiB

[startup+51.1056 s]
/proc/loadavg: 3.86 4.00 4.05 5/256 953596
/proc/meminfo: memFree=126748728/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=158532 memory=130392 CPUtime=50.98 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 27236 0 0 0 5060 38 0 0 20 0 1 0 182661565 162336768 32598 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 39633 32598 814 2417 0 36735 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 158532 KiB
Current children cumulated memory: 130392 KiB

[startup+102.3 s]
/proc/loadavg: 3.98 4.01 4.05 5/256 953604
/proc/meminfo: memFree=126658600/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=221040 memory=180680 CPUtime=102.03 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 42104 0 0 0 10131 72 0 0 20 0 1 0 182661565 226344960 45170 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 55260 45170 814 2417 0 52362 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 221040 KiB
Current children cumulated memory: 180680 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.02 4.05 5/256 953614
/proc/meminfo: memFree=126481440/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=271128 memory=226320 CPUtime=161.87 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 57614 0 0 0 16078 109 0 0 20 0 1 0 182661565 277635072 56580 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 67782 56580 814 2417 0 64884 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 271128 KiB
Current children cumulated memory: 226320 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.03 4.05 5/256 953625
/proc/meminfo: memFree=126598028/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=221040 memory=191044 CPUtime=221.72 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 72390 0 0 0 22027 145 0 0 20 0 1 0 182661565 226344960 47761 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 55260 47761 814 2417 0 52362 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 221040 KiB
Current children cumulated memory: 191044 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.05 4.06 5/258 953639
/proc/meminfo: memFree=126436952/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=220868 memory=205240 CPUtime=281.56 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 85488 0 0 0 27980 176 0 0 20 0 1 0 182661565 226168832 51310 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 55217 51310 814 2417 0 52319 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 220868 KiB
Current children cumulated memory: 205240 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.04 4.05 5/256 953649
/proc/meminfo: memFree=126341116/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=301776 memory=261760 CPUtime=341.42 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 99241 0 0 0 33933 209 0 0 20 0 1 0 182661565 309018624 65440 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 75444 65440 814 2417 0 72546 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 301776 KiB
Current children cumulated memory: 261760 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.06 4.06 5/256 953660
/proc/meminfo: memFree=126319456/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=220868 memory=190804 CPUtime=401.27 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 111563 0 0 0 39885 242 0 0 20 0 1 0 182661565 226168832 47701 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 55217 47701 814 2417 0 52319 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 220868 KiB
Current children cumulated memory: 190804 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.07 4.06 5/257 953672
/proc/meminfo: memFree=126427240/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=251688 memory=221688 CPUtime=461.13 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 121217 0 0 0 45838 275 0 0 20 0 1 0 182661565 257728512 55422 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 62922 55422 814 2417 0 60024 0

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

Current children cumulated memory: 367276 KiB

[startup+2862.3 s]
/proc/loadavg: 4.22 4.16 4.16 5/255 955279
/proc/meminfo: memFree=125713040/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=391104 memory=367444 CPUtime=2855.11 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 589851 0 0 0 283933 1578 0 0 20 0 1 0 182661565 400490496 91861 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 97776 91861 814 2417 0 94878 0
Current children cumulated CPU time: 2855.11 s
Current children cumulated vsize: 391104 KiB
Current children cumulated memory: 367444 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/255 955290
/proc/meminfo: memFree=125674840/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=391104 memory=349024 CPUtime=2914.97 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 609252 0 0 0 289890 1607 0 0 20 0 1 0 182661565 400490496 87256 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 97776 87256 814 2417 0 94878 0
Current children cumulated CPU time: 2914.97 s
Current children cumulated vsize: 391104 KiB
Current children cumulated memory: 349024 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/255 955301
/proc/meminfo: memFree=125712728/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=360840 memory=343224 CPUtime=2974.82 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 620101 0 0 0 295855 1627 0 0 20 0 1 0 182661565 369500160 85806 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 90210 85806 814 2417 0 87312 0
Current children cumulated CPU time: 2974.82 s
Current children cumulated vsize: 360840 KiB
Current children cumulated memory: 343224 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/255 955311
/proc/meminfo: memFree=125610700/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=392424 memory=360408 CPUtime=3034.68 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 631526 0 0 0 301819 1649 0 0 20 0 1 0 182661565 401842176 90102 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 98106 90102 814 2417 0 95208 0
Current children cumulated CPU time: 3034.68 s
Current children cumulated vsize: 392424 KiB
Current children cumulated memory: 360408 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/255 955322
/proc/meminfo: memFree=125730388/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=392424 memory=362356 CPUtime=3094.53 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 636584 0 0 0 307776 1677 0 0 20 0 1 0 182661565 401842176 90589 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 98106 90589 814 2417 0 95208 0
Current children cumulated CPU time: 3094.53 s
Current children cumulated vsize: 392424 KiB
Current children cumulated memory: 362356 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/255 955333
/proc/meminfo: memFree=125611060/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=473332 memory=416928 CPUtime=3154.36 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 653058 0 0 0 313730 1706 0 0 20 0 1 0 182661565 484691968 104232 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 118333 104232 814 2417 0 115435 0
Current children cumulated CPU time: 3154.36 s
Current children cumulated vsize: 473332 KiB
Current children cumulated memory: 416928 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/255 955343
/proc/meminfo: memFree=125700364/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=473332 memory=443552 CPUtime=3214.19 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 669673 0 0 0 319676 1743 0 0 20 0 1 0 182661565 484691968 110888 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 118333 110888 814 2417 0 115435 0
Current children cumulated CPU time: 3214.19 s
Current children cumulated vsize: 473332 KiB
Current children cumulated memory: 443552 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/258 955359
/proc/meminfo: memFree=125689352/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=473332 memory=414880 CPUtime=3274.02 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 682650 0 0 0 325626 1776 0 0 20 0 1 0 182661565 484691968 103720 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 118333 103720 814 2417 0 115435 0
Current children cumulated CPU time: 3274.02 s
Current children cumulated vsize: 473332 KiB
Current children cumulated memory: 414880 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.14 4.14 5/258 955370
/proc/meminfo: memFree=125649020/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=423244 memory=383000 CPUtime=3333.85 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 695165 0 0 0 331584 1801 0 0 20 0 1 0 182661565 433401856 95750 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 105811 95750 814 2417 0 102913 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 423244 KiB
Current children cumulated memory: 383000 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/258 955380
/proc/meminfo: memFree=125690836/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=392424 memory=377656 CPUtime=3393.69 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 704843 0 0 0 337544 1825 0 0 20 0 1 0 182661565 401842176 94414 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 98106 94414 814 2417 0 95208 0
Current children cumulated CPU time: 3393.69 s
Current children cumulated vsize: 392424 KiB
Current children cumulated memory: 377656 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/258 955391
/proc/meminfo: memFree=125684256/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=343104 memory=329328 CPUtime=3453.52 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 711975 0 0 0 343500 1852 0 0 20 0 1 0 182661565 351338496 82332 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 85776 82332 814 2417 0 82878 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 343104 KiB
Current children cumulated memory: 329328 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/258 955402
/proc/meminfo: memFree=125745772/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=392424 memory=376864 CPUtime=3513.36 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 722954 0 0 0 349457 1879 0 0 20 0 1 0 182661565 401842176 94216 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 98106 94216 814 2417 0 95208 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 392424 KiB
Current children cumulated memory: 376864 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/255 955412
/proc/meminfo: memFree=125738888/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=392424 memory=366452 CPUtime=3573.2 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 736096 0 0 0 355415 1905 0 0 20 0 1 0 182661565 401842176 91613 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 98106 91613 814 2417 0 95208 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 392424 KiB
Current children cumulated memory: 366452 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.05 4.10 4.11 5/255 955464
/proc/meminfo: memFree=125997924/131524600 swapFree=131071996/131071996
[pid=953575] ppid=953572 vsize=343104 memory=329328 CPUtime=3600.03 cores=5,7
/proc/953575/stat : 953575 (CASHWMaxSAT-Dis) R 953572 953575 953375 0 -1 4194304 742256 0 0 0 358086 1917 0 0 20 0 1 0 182661565 351338496 82332 134679101440 4194304 14093885 140726327930272 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38445056 140726327931876 140726327931991 140726327931991 140726327939007 0
/proc/953575/statm: 85776 82332 814 2417 0 82878 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 343104 KiB
Current children cumulated memory: 329328 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.86 s, system=19.1731 s

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

Child status: 0

Real time (s): 3609.2
CPU time (s): 3600.04
CPU user time (s): 3580.86
CPU system time (s): 19.1731
CPU usage (%): 99.746
Max. virtual memory (cumulated for all children) (KiB): 570920
Max. memory (cumulated for all children) (KiB): 515672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.86
system time used= 19.1731
maximum resident set size= 519768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 742256
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= 17
involuntary context switches= 4532


# summary of solver processes directly reported to runsolver:
#   pid: 953575
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3580.86
#   total CPU system time (s): 19.1731

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03094 second user time and 16.9831 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-18 14:16:20
IDJOB=4442521
IDBENCH=147819
IDSOLVER=3077
FILE ID=nodeC024/4442521-1721304966
RUNJOBID= nodeC024-1721304979-953388
SLURM_JOB_ID= 7542630
Free space on /tmp= 890072 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.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-4442521-1721304966/watcher-4442521-1721304966 -o /tmp/evaluation-result-4442521-1721304966/solver-4442521-1721304966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721304979-953388 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4442521-1721304966.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 5c8918c3cb918142421b1796e9d625e3
RANDOM SEED=26028678

nodeC024.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		: 3650.361
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.60
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		: 3641.670
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	: 7007.08
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.875
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.60
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		: 3617.766
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	: 7007.08
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		: 3638.765
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.60
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		: 3613.047
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	: 7007.08
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		: 3649.744
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.60
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		: 3612.579
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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127261132 kB
MemAvailable:   129684840 kB
Buffers:          486892 kB
Cached:          2749352 kB
SwapCached:            0 kB
Active:           918816 kB
Inactive:        2688156 kB
Active(anon):       1456 kB
Inactive(anon):   406012 kB
Active(file):     917360 kB
Inactive(file):  2282144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             50928 kB
Writeback:             0 kB
AnonPages:        369784 kB
Mapped:           109248 kB
Shmem:             37720 kB
KReclaimable:     127700 kB
Slab:             243832 kB
SReclaimable:     127700 kB
SUnreclaim:       116132 kB
KernelStack:        4096 kB
PageTables:         9780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     663028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67008 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      299732 kB
DirectMap2M:    36173824 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890032 MiB
End job on nodeC024 at 2024-07-18 15:16:29