Trace number 4446661

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.03 3609.5

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K135.opb
MD5SUMa9d7c7f4b9c33e38d48644f753677e90
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16065
Total number of constraints16337
Number of constraints which are clauses16202
Number of constraints which are cardinality constraints (but not clauses)135
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint135
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 136
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.99/2.10	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.99/2.10	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.01/3609.50	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: 64096 MiB (59626 MiB free)
  memory of node 1: 64473 MiB (61334 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=980416, runsolver pid=980413

[startup+0.100098 s]*
/proc/loadavg: 4.15 4.12 4.09 5/244 980417
/proc/meminfo: memFree=123845408/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=39676 memory=20912 CPUtime=0.1 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 4659 0 0 0 10 0 0 0 20 0 1 0 185570187 40628224 5228 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 9919 5228 750 2417 0 7021 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39676 KiB
Current children cumulated memory: 20912 KiB

[startup+0.213567 s]*
/proc/loadavg: 4.15 4.12 4.09 5/244 980417
/proc/meminfo: memFree=123837848/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=46832 memory=28040 CPUtime=0.21 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 6437 0 0 0 21 0 0 0 20 0 1 0 185570187 47955968 7010 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 11708 7010 750 2417 0 8810 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46832 KiB
Current children cumulated memory: 28040 KiB

[startup+0.313452 s]*
/proc/loadavg: 4.15 4.12 4.09 5/244 980417
/proc/meminfo: memFree=123829980/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=56080 memory=37540 CPUtime=0.31 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 9270 0 0 0 30 1 0 0 20 0 1 0 185570187 57425920 9385 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 14020 9385 782 2417 0 11122 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 56080 KiB
Current children cumulated memory: 37540 KiB

[startup+0.700336 s]
/proc/loadavg: 4.15 4.12 4.09 5/244 980417
/proc/meminfo: memFree=123819264/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=57248 memory=41572 CPUtime=0.69 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 10823 0 0 0 67 2 0 0 20 0 1 0 185570187 58621952 10393 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 14312 10393 814 2417 0 11414 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57248 KiB
Current children cumulated memory: 41572 KiB

[startup+1.50034 s]
/proc/loadavg: 4.15 4.12 4.09 5/244 980417
/proc/meminfo: memFree=123854748/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=58924 memory=43264 CPUtime=1.49 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 11287 0 0 0 147 2 0 0 20 0 1 0 185570187 60338176 10816 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 14731 10816 814 2417 0 11833 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 58924 KiB
Current children cumulated memory: 43264 KiB

[startup+3.1137 s]
/proc/loadavg: 4.15 4.12 4.09 5/244 980417
/proc/meminfo: memFree=123861864/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=61644 memory=45620 CPUtime=3.09 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 12401 0 0 0 307 2 0 0 20 0 1 0 185570187 63123456 11405 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 15411 11405 814 2417 0 12513 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61644 KiB
Current children cumulated memory: 45620 KiB

[startup+6.30031 s]
/proc/loadavg: 4.14 4.12 4.09 5/244 980418
/proc/meminfo: memFree=123842136/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=84740 memory=53280 CPUtime=6.27 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 13974 0 0 0 624 3 0 0 20 0 1 0 185570187 86773760 13320 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 21185 13320 814 2417 0 18287 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 84740 KiB
Current children cumulated memory: 53280 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.12 4.09 5/244 980418
/proc/meminfo: memFree=123823148/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=103592 memory=83656 CPUtime=12.65 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 14919 0 0 0 1261 4 0 0 20 0 1 0 185570187 106078208 20914 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 25898 20914 814 2417 0 23000 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 103592 KiB
Current children cumulated memory: 83656 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.11 4.09 5/244 980422
/proc/meminfo: memFree=123810488/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=103592 memory=88864 CPUtime=25.41 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 15815 0 0 0 2536 5 0 0 20 0 1 0 185570187 106078208 22216 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 25898 22216 814 2417 0 23000 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 103592 KiB
Current children cumulated memory: 88864 KiB

[startup+51.1133 s]
/proc/loadavg: 4.06 4.10 4.09 5/244 980471
/proc/meminfo: memFree=123850380/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=165980 memory=141284 CPUtime=50.95 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 17480 0 0 0 5085 10 0 0 20 0 1 0 185570187 169963520 35321 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 41495 35321 814 2417 0 38597 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 165980 KiB
Current children cumulated memory: 141284 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/244 980480
/proc/meminfo: memFree=123851308/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=165980 memory=149644 CPUtime=101.99 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 19169 0 0 0 10179 20 0 0 20 0 1 0 185570187 169963520 37411 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 41495 37411 814 2417 0 38597 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 165980 KiB
Current children cumulated memory: 149644 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/244 980491
/proc/meminfo: memFree=123803340/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=165980 memory=134960 CPUtime=161.83 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 22870 0 0 0 16149 34 0 0 20 0 1 0 185570187 169963520 33740 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 41495 33740 814 2417 0 38597 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 165980 KiB
Current children cumulated memory: 134960 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.15 4.10 5/243 980929
/proc/meminfo: memFree=123901028/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=165980 memory=139056 CPUtime=221.66 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 26905 0 0 0 22121 45 0 0 20 0 1 0 185570187 169963520 34764 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 41495 34764 814 2417 0 38597 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 165980 KiB
Current children cumulated memory: 139056 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/243 980940
/proc/meminfo: memFree=123959948/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=116660 memory=102356 CPUtime=281.47 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 31675 0 0 0 28089 58 0 0 20 0 1 0 185570187 119459840 25589 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 29165 25589 814 2417 0 26267 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 116660 KiB
Current children cumulated memory: 102356 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/243 980996
/proc/meminfo: memFree=124000020/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=165980 memory=137428 CPUtime=341.33 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 37009 0 0 0 34062 71 0 0 20 0 1 0 185570187 169963520 34357 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 41495 34357 814 2417 0 38597 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 165980 KiB
Current children cumulated memory: 137428 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/244 981175
/proc/meminfo: memFree=123904744/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=196800 memory=166532 CPUtime=401.18 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 41444 0 0 0 40034 84 0 0 20 0 1 0 185570187 201523200 41633 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 49200 41633 814 2417 0 46302 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 196800 KiB
Current children cumulated memory: 166532 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/244 981186
/proc/meminfo: memFree=123884208/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=165980 memory=149900 CPUtime=461.04 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 46576 0 0 0 46005 99 0 0 20 0 1 0 185570187 169963520 37475 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 41495 37475 814 2417 0 38597 0

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

Current children cumulated memory: 181792 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/243 982346
/proc/meminfo: memFree=123727728/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=251980 memory=205188 CPUtime=2914.78 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 311586 0 0 0 290794 684 0 0 20 0 1 0 185570187 258027520 51297 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 62995 51297 814 2417 0 60097 0
Current children cumulated CPU time: 2914.78 s
Current children cumulated vsize: 251980 KiB
Current children cumulated memory: 205188 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/243 982356
/proc/meminfo: memFree=123774732/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=203352 memory=178764 CPUtime=2974.59 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 317140 0 0 0 296761 698 0 0 20 0 1 0 185570187 208232448 44691 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 50838 44691 814 2417 0 47940 0
Current children cumulated CPU time: 2974.59 s
Current children cumulated vsize: 203352 KiB
Current children cumulated memory: 178764 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/243 982367
/proc/meminfo: memFree=123756576/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=203352 memory=164576 CPUtime=3034.4 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 323578 0 0 0 302728 712 0 0 20 0 1 0 185570187 208232448 41144 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 50838 41144 814 2417 0 47940 0
Current children cumulated CPU time: 3034.4 s
Current children cumulated vsize: 203352 KiB
Current children cumulated memory: 164576 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/243 982377
/proc/meminfo: memFree=123745940/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=203352 memory=166624 CPUtime=3094.21 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 329394 0 0 0 308695 726 0 0 20 0 1 0 185570187 208232448 41656 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 50838 41656 814 2417 0 47940 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 203352 KiB
Current children cumulated memory: 166624 KiB

[startup+3162.3 s]
/proc/loadavg: 4.43 4.19 4.12 6/244 982388
/proc/meminfo: memFree=123799344/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=203352 memory=160508 CPUtime=3154.01 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 335236 0 0 0 314661 740 0 0 20 0 1 0 185570187 208232448 40127 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 50838 40127 814 2417 0 47940 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 203352 KiB
Current children cumulated memory: 160508 KiB

[startup+3222.3 s]
/proc/loadavg: 5.14 4.43 4.21 5/242 982397
/proc/meminfo: memFree=123747840/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=203912 memory=183572 CPUtime=3213.83 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 341167 0 0 0 320629 754 0 0 20 0 1 0 185570187 208805888 45893 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 50978 45893 814 2417 0 48080 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 203912 KiB
Current children cumulated memory: 183572 KiB

[startup+3282.3 s]
/proc/loadavg: 4.62 4.42 4.22 5/241 982409
/proc/meminfo: memFree=123757260/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=255704 memory=192092 CPUtime=3273.69 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 348905 0 0 0 326598 771 0 0 20 0 1 0 185570187 261840896 48023 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 63926 48023 814 2417 0 61028 0
Current children cumulated CPU time: 3273.69 s
Current children cumulated vsize: 255704 KiB
Current children cumulated memory: 192092 KiB

[startup+3342.3 s]
/proc/loadavg: 4.39 4.39 4.22 5/241 982419
/proc/meminfo: memFree=123769656/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=175952 memory=159488 CPUtime=3333.54 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 355517 0 0 0 332566 788 0 0 20 0 1 0 185570187 180174848 39872 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 43988 39872 814 2417 0 41090 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 175952 KiB
Current children cumulated memory: 159488 KiB

[startup+3402.3 s]
/proc/loadavg: 4.36 4.39 4.23 5/241 982429
/proc/meminfo: memFree=123778644/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=175952 memory=160804 CPUtime=3393.37 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 361734 0 0 0 338536 801 0 0 20 0 1 0 185570187 180174848 40201 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 43988 40201 814 2417 0 41090 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 175952 KiB
Current children cumulated memory: 160804 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.33 4.22 5/241 982440
/proc/meminfo: memFree=123799732/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=206772 memory=161260 CPUtime=3453.21 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 367636 0 0 0 344506 815 0 0 20 0 1 0 185570187 211734528 40315 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 51693 40315 814 2417 0 48795 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 206772 KiB
Current children cumulated memory: 161260 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.30 4.21 5/244 982455
/proc/meminfo: memFree=123743956/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=206772 memory=174124 CPUtime=3513.04 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 372891 0 0 0 350476 828 0 0 20 0 1 0 185570187 211734528 43531 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 51693 43531 814 2417 0 48795 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 206772 KiB
Current children cumulated memory: 174124 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.26 4.20 5/244 982465
/proc/meminfo: memFree=123672028/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=258716 memory=205448 CPUtime=3572.88 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 380659 0 0 0 356445 843 0 0 20 0 1 0 185570187 264925184 51362 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 64679 51362 814 2417 0 61781 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 258716 KiB
Current children cumulated memory: 205448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.15 4.25 4.20 5/244 982470
/proc/meminfo: memFree=123696624/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=259392 memory=195544 CPUtime=3600.01 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 383676 0 0 0 359152 849 0 0 20 0 1 0 185570187 265617408 48886 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 64848 48886 814 2417 0 61950 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 259392 KiB
Current children cumulated memory: 195544 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.53 s, system=8.49834 s

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

[startup+3609.5 s]
/proc/loadavg: 4.15 4.25 4.20 5/244 982470
/proc/meminfo: memFree=123696624/131655788 swapFree=131071996/131071996
[pid=980416] ppid=980413 vsize=259392 memory=195544 CPUtime=3600.01 cores=4,6
/proc/980416/stat : 980416 (CASHWMaxSAT-Dis) R 980413 980416 978190 0 -1 4194304 383676 0 0 0 359152 849 0 0 20 0 1 0 185570187 265617408 48886 134679101440 4194304 14093885 140730373833888 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41725952 140730373841892 140730373842007 140730373842007 140730373849023 0
/proc/980416/statm: 64848 48886 814 2417 0 61950 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 259392 KiB
Current children cumulated memory: 195544 KiB

Child status: 0

Real time (s): 3609.5
CPU time (s): 3600.03
CPU user time (s): 3591.53
CPU system time (s): 8.49834
CPU usage (%): 99.7374
Max. virtual memory (cumulated for all children) (KiB): 337552
Max. memory (cumulated for all children) (KiB): 309192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.53
system time used= 8.49834
maximum resident set size= 309736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383677
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= 23
involuntary context switches= 4752


# summary of solver processes directly reported to runsolver:
#   pid: 980416
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3591.53
#   total CPU system time (s): 8.49834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4406 second user time and 35.607 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-18 22:22:06
IDJOB=4446661
IDBENCH=158288
IDSOLVER=3077
FILE ID=nodeC005/4446661-1721334114
RUNJOBID= nodeC005-1721330486-978201
SLURM_JOB_ID= 7542708
Free space on /tmp= 723740 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K135.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-4446661-1721334114/watcher-4446661-1721334114 -o /tmp/evaluation-result-4446661-1721334114/solver-4446661-1721334114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721330486-978201 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4446661-1721334114.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= a9d7c7f4b9c33e38d48644f753677e90
RANDOM SEED=201095993

nodeC005.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		: 3621.886
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.53
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		: 3660.663
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.35
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		: 1197.355
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.53
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		: 1197.209
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.35
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		: 3491.790
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.53
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		: 3640.245
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.35
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		: 1197.178
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.53
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		: 1197.338
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123867392 kB
MemAvailable:   129219384 kB
Buffers:          498684 kB
Cached:          5636428 kB
SwapCached:            0 kB
Active:          1067424 kB
Inactive:        6028556 kB
Active(anon):       3448 kB
Inactive(anon):  1003360 kB
Active(file):    1063976 kB
Inactive(file):  5025196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             13724 kB
Writeback:             0 kB
AnonPages:        960104 kB
Mapped:           117060 kB
Shmem:             45896 kB
KReclaimable:     206040 kB
Slab:             323904 kB
SReclaimable:     206040 kB
SUnreclaim:       117864 kB
KernelStack:        3920 kB
PageTables:        11180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1325396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58880 kB
HardwareCorrupted:     0 kB
AnonHugePages:    724992 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      285512 kB
DirectMap2M:    36319232 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723728 MiB
End job on nodeC005 at 2024-07-18 23:22:16