Trace number 4446481

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 3610.8

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K134.opb
MD5SUM963edb3c79c326322e0bda3e585d3232
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 variables15946
Total number of constraints16216
Number of constraints which are clauses16082
Number of constraints which are cardinality constraints (but not clauses)134
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134
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 135
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.48/1.56	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.48/1.56	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.02/3610.80	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 (58942 MiB free)
  memory of node 1: 64473 MiB (61344 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446481-1721330503/watcher-4446481-1721330503 -o /tmp/evaluation-result-4446481-1721330503/solver-4446481-1721330503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721330486-978201 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4446481-1721330503.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=978313, runsolver pid=978310

[startup+0.100103 s]*
/proc/loadavg: 2.35 1.41 1.47 5/243 978314
/proc/meminfo: memFree=123154864/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=41660 memory=22756 CPUtime=0.1 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 5139 0 0 0 10 0 0 0 20 0 1 0 185209042 42659840 5689 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 10415 5689 750 2417 0 7517 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41660 KiB
Current children cumulated memory: 22756 KiB

[startup+0.212728 s]*
/proc/loadavg: 2.35 1.41 1.47 5/243 978314
/proc/meminfo: memFree=123137136/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=57880 memory=41020 CPUtime=0.21 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 9624 0 0 0 20 1 0 0 20 0 1 0 185209042 59269120 10255 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 14470 10255 782 2417 0 11572 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57880 KiB
Current children cumulated memory: 41020 KiB

[startup+0.312603 s]*
/proc/loadavg: 2.35 1.41 1.47 5/243 978314
/proc/meminfo: memFree=123132620/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=57236 memory=42080 CPUtime=0.31 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 10325 0 0 0 30 1 0 0 20 0 1 0 185209042 58609664 10520 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 14309 10520 782 2417 0 11411 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57236 KiB
Current children cumulated memory: 42080 KiB

[startup+0.700338 s]
/proc/loadavg: 2.35 1.41 1.47 5/243 978314
/proc/meminfo: memFree=123118092/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=58912 memory=42424 CPUtime=0.69 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 10384 0 0 0 68 1 0 0 20 0 1 0 185209042 60325888 10606 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 14728 10606 814 2417 0 11830 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58912 KiB
Current children cumulated memory: 42424 KiB

[startup+1.50033 s]
/proc/loadavg: 2.35 1.41 1.47 5/243 978314
/proc/meminfo: memFree=123115044/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=61632 memory=45060 CPUtime=1.48 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 11067 0 0 0 147 1 0 0 20 0 1 0 185209042 63111168 11265 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 15408 11265 814 2417 0 12510 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61632 KiB
Current children cumulated memory: 45060 KiB

[startup+3.11253 s]
/proc/loadavg: 2.35 1.41 1.47 5/244 978315
/proc/meminfo: memFree=123107240/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=66052 memory=49660 CPUtime=3.09 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 12273 0 0 0 307 2 0 0 20 0 1 0 185209042 67637248 12415 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 16513 12415 814 2417 0 13615 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 66052 KiB
Current children cumulated memory: 49660 KiB

[startup+6.30032 s]
/proc/loadavg: 2.48 1.46 1.48 5/244 978315
/proc/meminfo: memFree=123087808/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=84728 memory=58072 CPUtime=6.27 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 13403 0 0 0 624 3 0 0 20 0 1 0 185209042 86761472 14518 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 21182 14518 814 2417 0 18284 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 84728 KiB
Current children cumulated memory: 58072 KiB

[startup+12.7003 s]
/proc/loadavg: 2.60 1.50 1.49 5/244 978316
/proc/meminfo: memFree=123050612/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=103584 memory=82864 CPUtime=12.66 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 14382 0 0 0 1262 4 0 0 20 0 1 0 185209042 106070016 20716 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 25896 20716 814 2417 0 22998 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 103584 KiB
Current children cumulated memory: 82864 KiB

[startup+25.5004 s]
/proc/loadavg: 2.91 1.62 1.54 5/244 978318
/proc/meminfo: memFree=123043796/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=103584 memory=88820 CPUtime=25.41 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 15351 0 0 0 2537 4 0 0 20 0 1 0 185209042 106070016 22205 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 25896 22205 814 2417 0 22998 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 103584 KiB
Current children cumulated memory: 88820 KiB

[startup+51.1128 s]
/proc/loadavg: 3.34 1.83 1.61 5/244 978414
/proc/meminfo: memFree=123369732/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=115624 memory=100860 CPUtime=50.94 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 18950 0 0 0 5085 9 0 0 20 0 1 0 185209042 118398976 25215 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 28906 25215 814 2417 0 26008 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 115624 KiB
Current children cumulated memory: 100860 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 2.18 1.74 5/244 978423
/proc/meminfo: memFree=123301632/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=164944 memory=133424 CPUtime=101.96 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 24337 0 0 0 10176 20 0 0 20 0 1 0 185209042 168902656 33356 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 41236 33356 814 2417 0 38338 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 164944 KiB
Current children cumulated memory: 133424 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.53 1.89 5/244 978435
/proc/meminfo: memFree=123259932/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=115624 memory=100860 CPUtime=161.76 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 30494 0 0 0 16145 31 0 0 20 0 1 0 185209042 118398976 25215 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 28906 25215 814 2417 0 26008 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 115624 KiB
Current children cumulated memory: 100860 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.82 2.03 5/244 978536
/proc/meminfo: memFree=124140376/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=115624 memory=101292 CPUtime=221.58 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 37031 0 0 0 22116 42 0 0 20 0 1 0 185209042 118398976 25323 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 28906 25323 814 2417 0 26008 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 115624 KiB
Current children cumulated memory: 101292 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.06 2.17 5/244 978929
/proc/meminfo: memFree=123895656/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=164944 memory=148192 CPUtime=281.44 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 43623 0 0 0 28089 55 0 0 20 0 1 0 185209042 168902656 37048 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 41236 37048 814 2417 0 38338 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 164944 KiB
Current children cumulated memory: 148192 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.27 2.29 5/243 978985
/proc/meminfo: memFree=124049184/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=164944 memory=144096 CPUtime=341.29 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 49716 0 0 0 34062 67 0 0 20 0 1 0 185209042 168902656 36024 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 41236 36024 814 2417 0 38338 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 164944 KiB
Current children cumulated memory: 144096 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 3.40 2.40 5/243 978995
/proc/meminfo: memFree=123911352/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=195764 memory=166992 CPUtime=401.15 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 55464 0 0 0 40035 80 0 0 20 0 1 0 185209042 200462336 41748 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 48941 41748 814 2417 0 46043 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 195764 KiB
Current children cumulated memory: 166992 KiB

[startup+462.3 s]
/proc/loadavg: 4.56 3.65 2.55 5/244 979174
/proc/meminfo: memFree=124011936/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=164944 memory=133856 CPUtime=461 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 62135 0 0 0 46007 93 0 0 20 0 1 0 185209042 168902656 33464 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 41236 33464 814 2417 0 38338 0

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

Current children cumulated memory: 167180 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.18 4.09 5/242 980231
/proc/meminfo: memFree=123702264/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=200564 memory=160972 CPUtime=2853.79 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 261731 0 0 0 284768 611 0 0 20 0 1 0 185209042 205377536 40243 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 50141 40243 814 2417 0 47243 0
Current children cumulated CPU time: 2853.79 s
Current children cumulated vsize: 200564 KiB
Current children cumulated memory: 160972 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.18 4.09 5/242 980241
/proc/meminfo: memFree=123721280/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=201644 memory=184464 CPUtime=2913.61 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 264196 0 0 0 290737 624 0 0 20 0 1 0 185209042 206483456 46116 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 50411 46116 814 2417 0 47513 0
Current children cumulated CPU time: 2913.61 s
Current children cumulated vsize: 201644 KiB
Current children cumulated memory: 184464 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.16 4.09 5/243 980255
/proc/meminfo: memFree=123800184/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=201644 memory=166144 CPUtime=2973.43 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 268879 0 0 0 296704 639 0 0 20 0 1 0 185209042 206483456 41536 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 50411 41536 814 2417 0 47513 0
Current children cumulated CPU time: 2973.43 s
Current children cumulated vsize: 201644 KiB
Current children cumulated memory: 166144 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/243 980266
/proc/meminfo: memFree=123753496/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=201644 memory=172288 CPUtime=3033.23 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 273714 0 0 0 302672 651 0 0 20 0 1 0 185209042 206483456 43072 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 50411 43072 814 2417 0 47513 0
Current children cumulated CPU time: 3033.23 s
Current children cumulated vsize: 201644 KiB
Current children cumulated memory: 172288 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/243 980276
/proc/meminfo: memFree=123731248/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=170824 memory=153644 CPUtime=3093.03 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 279076 0 0 0 308640 663 0 0 20 0 1 0 185209042 174923776 38411 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 42706 38411 814 2417 0 39808 0
Current children cumulated CPU time: 3093.03 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 153644 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/243 980287
/proc/meminfo: memFree=123726892/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=252476 memory=200912 CPUtime=3152.86 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 283385 0 0 0 314608 678 0 0 20 0 1 0 185209042 258535424 50228 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 63119 50228 814 2417 0 60221 0
Current children cumulated CPU time: 3152.86 s
Current children cumulated vsize: 252476 KiB
Current children cumulated memory: 200912 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/243 980297
/proc/meminfo: memFree=123756292/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=203972 memory=182960 CPUtime=3212.71 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 286052 0 0 0 320578 693 0 0 20 0 1 0 185209042 208867328 45740 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 50993 45740 814 2417 0 48095 0
Current children cumulated CPU time: 3212.71 s
Current children cumulated vsize: 203972 KiB
Current children cumulated memory: 182960 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/242 980309
/proc/meminfo: memFree=123741616/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=254724 memory=196720 CPUtime=3272.55 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 288673 0 0 0 326549 706 0 0 20 0 1 0 185209042 260837376 49180 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 63681 49180 814 2417 0 60783 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 254724 KiB
Current children cumulated memory: 196720 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/242 980319
/proc/meminfo: memFree=123723736/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=205404 memory=169988 CPUtime=3332.37 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 293552 0 0 0 332520 717 0 0 20 0 1 0 185209042 210333696 42497 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 51351 42497 814 2417 0 48453 0
Current children cumulated CPU time: 3332.37 s
Current children cumulated vsize: 205404 KiB
Current children cumulated memory: 169988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/242 980329
/proc/meminfo: memFree=123769016/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=205404 memory=176132 CPUtime=3392.17 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 298395 0 0 0 338486 731 0 0 20 0 1 0 185209042 210333696 44033 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 51351 44033 814 2417 0 48453 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 205404 KiB
Current children cumulated memory: 176132 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/242 980340
/proc/meminfo: memFree=123773912/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=205404 memory=176132 CPUtime=3451.98 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 303239 0 0 0 344455 743 0 0 20 0 1 0 185209042 210333696 44033 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 51351 44033 814 2417 0 48453 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 205404 KiB
Current children cumulated memory: 176132 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/242 980350
/proc/meminfo: memFree=123694148/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=255772 memory=199532 CPUtime=3511.78 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 308423 0 0 0 350423 755 0 0 20 0 1 0 185209042 261910528 49883 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 63943 49883 814 2417 0 61045 0
Current children cumulated CPU time: 3511.78 s
Current children cumulated vsize: 255772 KiB
Current children cumulated memory: 199532 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/244 980365
/proc/meminfo: memFree=123734556/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=257564 memory=201612 CPUtime=3571.6 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 311392 0 0 0 356390 770 0 0 20 0 1 0 185209042 263745536 50403 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 64391 50403 814 2417 0 61493 0
Current children cumulated CPU time: 3571.6 s
Current children cumulated vsize: 257564 KiB
Current children cumulated memory: 201612 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.16 4.13 4.09 5/244 980371
/proc/meminfo: memFree=123704580/131655788 swapFree=131071996/131071996
[pid=978313] ppid=978310 vsize=207932 memory=184428 CPUtime=3600.02 cores=4,6
/proc/978313/stat : 978313 (CASHWMaxSAT-Dis) R 978310 978313 978190 0 -1 4194304 312604 0 0 0 359225 777 0 0 20 0 1 0 185209042 212922368 46107 134679101440 4194304 14093885 140732746982928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 52244480 140732746990564 140732746990679 140732746990679 140732746997695 0
/proc/978313/statm: 51983 46107 814 2417 0 49085 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 207932 KiB
Current children cumulated memory: 184428 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.25 s, system=7.77911 s

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

Child status: 0

Real time (s): 3610.8
CPU time (s): 3600.03
CPU user time (s): 3592.25
CPU system time (s): 7.77911
CPU usage (%): 99.7017
Max. virtual memory (cumulated for all children) (KiB): 338160
Max. memory (cumulated for all children) (KiB): 281764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.25
system time used= 7.77911
maximum resident set size= 282072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312604
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= 31
involuntary context switches= 4737


# summary of solver processes directly reported to runsolver:
#   pid: 978313
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3592.25
#   total CPU system time (s): 7.77911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9226 second user time and 35.3937 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-18 21:21:54
IDJOB=4446481
IDBENCH=158262
IDSOLVER=3077
FILE ID=nodeC005/4446481-1721330503
RUNJOBID= nodeC005-1721330486-978201
SLURM_JOB_ID= 7542708
Free space on /tmp= 723696 MiB

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

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

MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232
RANDOM SEED=1426643910

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		: 3659.072
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		: 3664.567
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.382
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.422
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		: 3608.160
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		: 3646.050
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.276
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:        123173960 kB
MemAvailable:   128553376 kB
Buffers:          496588 kB
Cached:          5665836 kB
SwapCached:            0 kB
Active:          1111936 kB
Inactive:        6676524 kB
Active(anon):       3448 kB
Inactive(anon):  1668476 kB
Active(file):    1108488 kB
Inactive(file):  5008048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            102716 kB
Writeback:            20 kB
AnonPages:       1625320 kB
Mapped:           116892 kB
Shmem:             45896 kB
KReclaimable:     206156 kB
Slab:             323836 kB
SReclaimable:     206156 kB
SUnreclaim:       117680 kB
KernelStack:        3920 kB
PageTables:        12316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2093208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58784 kB
HardwareCorrupted:     0 kB
AnonHugePages:    360448 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 22:22:05