Trace number 4446660

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-SP 2024-07-10? (TO) 3600.04 3610.3

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.69/1.73	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.69/1.73	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.03/3610.30	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 (60418 MiB free)
  memory of node 1: 64510 MiB (62877 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446660-1721331796/watcher-4446660-1721331796 -o /tmp/evaluation-result-4446660-1721331796/solver-4446660-1721331796 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721327894-990535 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4446660-1721331796.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=993544, runsolver pid=993541

[startup+0.100885 s]*
/proc/loadavg: 4.11 4.13 4.09 5/257 993545
/proc/meminfo: memFree=126230340/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=47000 memory=28156 CPUtime=0.09 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 6867 0 0 0 9 0 0 0 20 0 1 0 185343757 48128000 7039 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 11750 7039 842 2550 0 8705 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47000 KiB
Current children cumulated memory: 28156 KiB

[startup+0.205463 s]*
/proc/loadavg: 4.11 4.13 4.09 5/257 993545
/proc/meminfo: memFree=126225940/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=47000 memory=28156 CPUtime=0.19 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 6867 0 0 0 19 0 0 0 20 0 1 0 185343757 48128000 7039 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 11750 7039 842 2550 0 8705 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47000 KiB
Current children cumulated memory: 28156 KiB

[startup+0.305645 s]*
/proc/loadavg: 4.11 4.13 4.09 5/257 993545
/proc/meminfo: memFree=126216440/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=57692 memory=39032 CPUtime=0.3 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 10598 0 0 0 29 1 0 0 20 0 1 0 185343757 59076608 9758 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 14423 9758 922 2550 0 11378 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57692 KiB
Current children cumulated memory: 39032 KiB

[startup+0.700209 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 993545
/proc/meminfo: memFree=126191852/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=74940 memory=60116 CPUtime=0.69 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 15521 0 0 0 67 2 0 0 20 0 1 0 185343757 76738560 15029 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 18735 15029 970 2550 0 15690 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 74940 KiB
Current children cumulated memory: 60116 KiB

[startup+1.50022 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 993545
/proc/meminfo: memFree=126251876/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=79336 memory=62352 CPUtime=1.49 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 16098 0 0 0 147 2 0 0 20 0 1 0 185343757 81240064 15588 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 19834 15588 986 2550 0 16789 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79336 KiB
Current children cumulated memory: 62352 KiB

[startup+3.10554 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 993546
/proc/meminfo: memFree=126201476/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=83756 memory=64896 CPUtime=3.08 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 16956 0 0 0 306 2 0 0 20 0 1 0 185343757 85766144 16224 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 20939 16224 986 2550 0 17894 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83756 KiB
Current children cumulated memory: 64896 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.13 4.09 5/257 993546
/proc/meminfo: memFree=126232988/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=102432 memory=75432 CPUtime=6.27 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 18682 0 0 0 624 3 0 0 20 0 1 0 185343757 104890368 18858 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 25608 18858 986 2550 0 22563 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 102432 KiB
Current children cumulated memory: 75432 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.13 4.09 5/257 993546
/proc/meminfo: memFree=126183060/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=121284 memory=102436 CPUtime=12.66 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 19174 0 0 0 1262 4 0 0 20 0 1 0 185343757 124194816 25609 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 30321 25609 986 2550 0 27276 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 121284 KiB
Current children cumulated memory: 102436 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.09 5/257 993549
/proc/meminfo: memFree=126207968/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=121284 memory=106684 CPUtime=25.42 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 19766 0 0 0 2537 5 0 0 20 0 1 0 185343757 124194816 26671 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 30321 26671 986 2550 0 27276 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 121284 KiB
Current children cumulated memory: 106684 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 4.12 4.09 5/258 993555
/proc/meminfo: memFree=126165264/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=133428 memory=116780 CPUtime=50.95 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 20420 0 0 0 5086 9 0 0 20 0 1 0 185343757 136630272 29195 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 33357 29195 986 2550 0 30312 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 133428 KiB
Current children cumulated memory: 116780 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/258 993564
/proc/meminfo: memFree=126175920/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=133428 memory=118896 CPUtime=102.01 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 20938 0 0 0 10182 19 0 0 20 0 1 0 185343757 136630272 29724 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 33357 29724 986 2550 0 30312 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 133428 KiB
Current children cumulated memory: 118896 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 993574
/proc/meminfo: memFree=126098812/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=182748 memory=160864 CPUtime=161.84 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 21667 0 0 0 16152 32 0 0 20 0 1 0 185343757 187133952 40216 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 45687 40216 986 2550 0 42642 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 182748 KiB
Current children cumulated memory: 160864 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 993584
/proc/meminfo: memFree=126116176/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=213568 memory=173152 CPUtime=221.68 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 22265 0 0 0 22125 43 0 0 20 0 1 0 185343757 218693632 43288 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 53392 43288 986 2550 0 50347 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 213568 KiB
Current children cumulated memory: 173152 KiB

[startup+282.3 s]
/proc/loadavg: 4.48 4.20 4.12 5/255 993595
/proc/meminfo: memFree=126129364/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=182748 memory=166840 CPUtime=281.52 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 23541 0 0 0 28094 58 0 0 20 0 1 0 185343757 187133952 41710 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 45687 41710 986 2550 0 42642 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 182748 KiB
Current children cumulated memory: 166840 KiB

[startup+342.3 s]
/proc/loadavg: 4.27 4.19 4.12 5/255 993605
/proc/meminfo: memFree=126108788/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=182748 memory=162744 CPUtime=341.36 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 24658 0 0 0 34066 70 0 0 20 0 1 0 185343757 187133952 40686 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 45687 40686 986 2550 0 42642 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 182748 KiB
Current children cumulated memory: 162744 KiB

[startup+402.3 s]
/proc/loadavg: 4.52 4.29 4.16 5/255 993616
/proc/meminfo: memFree=126138556/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=133428 memory=119736 CPUtime=401.2 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 25646 0 0 0 40036 84 0 0 20 0 1 0 185343757 136630272 29934 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 33357 29934 986 2550 0 30312 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 133428 KiB
Current children cumulated memory: 119736 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 4.25 4.15 5/257 993631
/proc/meminfo: memFree=126057664/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=213568 memory=177244 CPUtime=461.04 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 26399 0 0 0 46007 97 0 0 20 0 1 0 185343757 218693632 44311 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 53392 44311 986 2550 0 50347 0

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

Current children cumulated memory: 180212 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/257 995345
/proc/meminfo: memFree=126414624/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=221056 memory=177960 CPUtime=2913.98 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 95252 0 0 0 290744 654 0 0 20 0 1 0 185343757 226361344 44490 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 55264 44490 986 2550 0 52219 0
Current children cumulated CPU time: 2913.98 s
Current children cumulated vsize: 221056 KiB
Current children cumulated memory: 177960 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/257 995355
/proc/meminfo: memFree=126414392/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=221056 memory=192808 CPUtime=2973.79 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 96127 0 0 0 296712 667 0 0 20 0 1 0 185343757 226361344 48202 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 55264 48202 986 2550 0 52219 0
Current children cumulated CPU time: 2973.79 s
Current children cumulated vsize: 221056 KiB
Current children cumulated memory: 192808 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/256 995366
/proc/meminfo: memFree=126448480/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=221056 memory=196904 CPUtime=3033.61 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 97022 0 0 0 302681 680 0 0 20 0 1 0 185343757 226361344 49226 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 55264 49226 986 2550 0 52219 0
Current children cumulated CPU time: 3033.61 s
Current children cumulated vsize: 221056 KiB
Current children cumulated memory: 196904 KiB

[startup+3102.3 s]
/proc/loadavg: 4.36 4.20 4.17 5/256 995377
/proc/meminfo: memFree=126433944/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=272524 memory=211636 CPUtime=3093.45 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 99937 0 0 0 308652 693 0 0 20 0 1 0 185343757 279064576 52909 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 68131 52909 986 2550 0 65086 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 272524 KiB
Current children cumulated memory: 211636 KiB

[startup+3162.3 s]
/proc/loadavg: 4.25 4.19 4.17 5/254 995387
/proc/meminfo: memFree=126386180/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=273968 memory=212592 CPUtime=3153.28 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 102539 0 0 0 314623 705 0 0 20 0 1 0 185343757 280543232 53148 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 68492 53148 986 2550 0 65447 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 273968 KiB
Current children cumulated memory: 212592 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/254 995397
/proc/meminfo: memFree=126413648/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=225096 memory=200664 CPUtime=3213.11 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 104408 0 0 0 320595 716 0 0 20 0 1 0 185343757 230498304 50166 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 56274 50166 986 2550 0 53229 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 225096 KiB
Current children cumulated memory: 200664 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/254 995408
/proc/meminfo: memFree=126434448/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=225096 memory=194360 CPUtime=3272.95 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 105858 0 0 0 326564 731 0 0 20 0 1 0 185343757 230498304 48590 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 56274 48590 986 2550 0 53229 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 225096 KiB
Current children cumulated memory: 194360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/254 995509
/proc/meminfo: memFree=126711748/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=225096 memory=188216 CPUtime=3332.78 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 106822 0 0 0 332534 744 0 0 20 0 1 0 185343757 230498304 47054 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 56274 47054 986 2550 0 53229 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 225096 KiB
Current children cumulated memory: 188216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/256 995523
/proc/meminfo: memFree=126605248/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=225096 memory=196764 CPUtime=3392.61 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 107710 0 0 0 338504 757 0 0 20 0 1 0 185343757 230498304 49191 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 56274 49191 986 2550 0 53229 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 225096 KiB
Current children cumulated memory: 196764 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/256 995534
/proc/meminfo: memFree=126642824/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=275320 memory=224592 CPUtime=3452.43 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 109483 0 0 0 344472 771 0 0 20 0 1 0 185343757 281927680 56148 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 68830 56148 986 2550 0 65785 0
Current children cumulated CPU time: 3452.43 s
Current children cumulated vsize: 275320 KiB
Current children cumulated memory: 224592 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/256 995589
/proc/meminfo: memFree=126678020/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=227760 memory=207312 CPUtime=3512.26 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 113542 0 0 0 350435 791 0 0 20 0 1 0 185343757 233226240 51828 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 56940 51828 986 2550 0 53895 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 227760 KiB
Current children cumulated memory: 207312 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/256 995599
/proc/meminfo: memFree=126603484/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=229212 memory=202628 CPUtime=3572.11 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 116804 0 0 0 356401 810 0 0 20 0 1 0 185343757 234713088 50657 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 57303 50657 986 2550 0 54258 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 229212 KiB
Current children cumulated memory: 202628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/256 995605
/proc/meminfo: memFree=126581456/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=229212 memory=204680 CPUtime=3600.03 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 117210 0 0 0 359188 815 0 0 20 0 1 0 185343757 234713088 51170 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 57303 51170 986 2550 0 54258 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 229212 KiB
Current children cumulated memory: 204680 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.88 s, system=8.16098 s

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

[startup+3610.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/256 995605
/proc/meminfo: memFree=126581456/131524600 swapFree=131071996/131071996
[pid=993544] ppid=993541 vsize=229212 memory=204680 CPUtime=3600.03 cores=1,3
/proc/993544/stat : 993544 (CASHWMaxSAT-Dis) R 993541 993544 990523 0 -1 4194304 117210 0 0 0 359188 815 0 0 20 0 1 0 185343757 234713088 51170 134679101440 4194304 14636349 140730043995168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 52338688 140730044003298 140730044003414 140730044003414 140730044010430 0
/proc/993544/statm: 57303 51170 986 2550 0 54258 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 229212 KiB
Current children cumulated memory: 204680 KiB

Child status: 0

Real time (s): 3610.3
CPU time (s): 3600.04
CPU user time (s): 3591.88
CPU system time (s): 8.16098
CPU usage (%): 99.7159
Max. virtual memory (cumulated for all children) (KiB): 358544
Max. memory (cumulated for all children) (KiB): 290640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.88
system time used= 8.16099
maximum resident set size= 305480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117210
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= 107
involuntary context switches= 4619


# summary of solver processes directly reported to runsolver:
#   pid: 993544
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3591.88
#   total CPU system time (s): 8.16098

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94572 second user time and 16.567 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-18 21:43:29
IDJOB=4446660
IDBENCH=158288
IDSOLVER=3076
FILE ID=nodeC022/4446660-1721331796
RUNJOBID= nodeC022-1721327894-990535
SLURM_JOB_ID= 7542686
Free space on /tmp= 890028 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K135.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446660-1721331796/watcher-4446660-1721331796 -o /tmp/evaluation-result-4446660-1721331796/solver-4446660-1721331796 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721327894-990535 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4446660-1721331796.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= a9d7c7f4b9c33e38d48644f753677e90
RANDOM SEED=44881598

nodeC022.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		: 3663.753
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.66
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		: 3666.391
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.96
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		: 3600.140
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.66
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		: 3664.176
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.96
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		: 3663.796
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.66
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		: 3668.496
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.96
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		: 3599.927
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.088
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126255840 kB
MemAvailable:   128762952 kB
Buffers:          484632 kB
Cached:          2848908 kB
SwapCached:            0 kB
Active:          1182964 kB
Inactive:        3436520 kB
Active(anon):       1572 kB
Inactive(anon):  1330276 kB
Active(file):    1181392 kB
Inactive(file):  2106244 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14332 kB
Writeback:             0 kB
AnonPages:       1285260 kB
Mapped:           118748 kB
Shmem:             45912 kB
KReclaimable:     118244 kB
Slab:             233552 kB
SReclaimable:     118244 kB
SUnreclaim:       115308 kB
KernelStack:        4140 kB
PageTables:        11784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1869672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    987136 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:      260820 kB
DirectMap2M:    28872704 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC022 at 2024-07-18 22:43:39