Trace number 4446630

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.09 3609.8

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K157.opb
MD5SUM1aa29222329f307e3e004dcb472df849
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2164.15
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18683
Total number of constraints18999
Number of constraints which are clauses18842
Number of constraints which are cardinality constraints (but not clauses)157
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint157
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 158
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 

2.08/2.18	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
2.08/2.18	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.08/3609.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: 63931 MiB (60850 MiB free)
  memory of node 1: 64510 MiB (60845 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100458 s]*
/proc/loadavg: 4.14 4.12 4.09 6/257 970850
/proc/meminfo: memFree=124586476/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=50476 memory=31428 CPUtime=0.09 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 7919 0 0 0 8 1 0 0 20 0 1 0 185327836 51687424 7857 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 12619 7857 842 2550 0 9574 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50476 KiB
Current children cumulated memory: 31428 KiB

[startup+0.205948 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 970850
/proc/meminfo: memFree=124586112/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=50476 memory=31428 CPUtime=0.2 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 7920 0 0 0 19 1 0 0 20 0 1 0 185327836 51687424 7857 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 12619 7857 842 2550 0 9574 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50476 KiB
Current children cumulated memory: 31428 KiB

[startup+0.305846 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 970850
/proc/meminfo: memFree=124589076/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=48392 memory=29128 CPUtime=0.29 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 8517 0 0 0 28 1 0 0 20 0 1 0 185327836 49553408 7282 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 12098 7282 922 2550 0 9053 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48392 KiB
Current children cumulated memory: 29128 KiB

[startup+0.700242 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 970850
/proc/meminfo: memFree=124551700/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=84688 memory=67148 CPUtime=0.68 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 17861 0 0 0 66 2 0 0 20 0 1 0 185327836 86720512 16787 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 21172 16787 970 2550 0 18127 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84688 KiB
Current children cumulated memory: 67148 KiB

[startup+1.50023 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 970850
/proc/meminfo: memFree=124543908/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=86364 memory=69108 CPUtime=1.48 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 18355 0 0 0 146 2 0 0 20 0 1 0 185327836 88436736 17277 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 21591 17277 986 2550 0 18546 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86364 KiB
Current children cumulated memory: 69108 KiB

[startup+3.10602 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 970852
/proc/meminfo: memFree=124557420/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=89084 memory=71692 CPUtime=3.09 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 19383 0 0 0 306 3 0 0 20 0 1 0 185327836 91222016 17923 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 22271 17923 986 2550 0 19226 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 89084 KiB
Current children cumulated memory: 71692 KiB

[startup+6.30023 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 970852
/proc/meminfo: memFree=124538896/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=92412 memory=76568 CPUtime=6.26 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 21047 0 0 0 623 3 0 0 20 0 1 0 185327836 94629888 19142 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 23103 19142 986 2550 0 20058 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 92412 KiB
Current children cumulated memory: 76568 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 970854
/proc/meminfo: memFree=124513644/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=111088 memory=95464 CPUtime=12.65 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 21956 0 0 0 1260 5 0 0 20 0 1 0 185327836 113754112 23866 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 27772 23866 986 2550 0 24727 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 111088 KiB
Current children cumulated memory: 95464 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 970856
/proc/meminfo: memFree=124530600/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=129944 memory=114136 CPUtime=25.41 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 22582 0 0 0 2536 5 0 0 20 0 1 0 185327836 133062656 28534 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 32486 28534 986 2550 0 29441 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 129944 KiB
Current children cumulated memory: 114136 KiB

[startup+51.1057 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 970859
/proc/meminfo: memFree=124505300/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=129944 memory=114388 CPUtime=50.95 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 25068 0 0 0 5085 10 0 0 20 0 1 0 185327836 133062656 28597 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 32486 28597 986 2550 0 29441 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 129944 KiB
Current children cumulated memory: 114388 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 970869
/proc/meminfo: memFree=124465384/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=179476 memory=150948 CPUtime=102.01 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 29668 0 0 0 10182 19 0 0 20 0 1 0 185327836 183783424 37737 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 44869 37737 986 2550 0 41824 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 179476 KiB
Current children cumulated memory: 150948 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 970881
/proc/meminfo: memFree=124490712/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=130156 memory=114600 CPUtime=161.84 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 36814 0 0 0 16154 30 0 0 20 0 1 0 185327836 133279744 28650 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 32539 28650 986 2550 0 29494 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 130156 KiB
Current children cumulated memory: 114600 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 970938
/proc/meminfo: memFree=126244712/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=210296 memory=181880 CPUtime=221.68 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 44774 0 0 0 22126 42 0 0 20 0 1 0 185327836 215343104 45470 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 52574 45470 986 2550 0 49529 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 210296 KiB
Current children cumulated memory: 181880 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 970948
/proc/meminfo: memFree=126292728/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=179476 memory=148900 CPUtime=281.53 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 52479 0 0 0 28098 55 0 0 20 0 1 0 185327836 183783424 37225 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 44869 37225 986 2550 0 41824 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 179476 KiB
Current children cumulated memory: 148900 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 970958
/proc/meminfo: memFree=126220772/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=179476 memory=161188 CPUtime=341.36 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 60149 0 0 0 34066 70 0 0 20 0 1 0 185327836 183783424 40297 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 44869 40297 986 2550 0 41824 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 179476 KiB
Current children cumulated memory: 161188 KiB

[startup+402.3 s]
/proc/loadavg: 4.30 4.18 4.12 5/255 970968
/proc/meminfo: memFree=126205164/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=210296 memory=167544 CPUtime=401.2 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 67554 0 0 0 40038 82 0 0 20 0 1 0 185327836 215343104 41886 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 52574 41886 986 2550 0 49529 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 210296 KiB
Current children cumulated memory: 167544 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/255 970981
/proc/meminfo: memFree=126176396/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=210296 memory=179832 CPUtime=461.04 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 71854 0 0 0 46011 93 0 0 20 0 1 0 185327836 215343104 44958 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 52574 44958 986 2550 0 49529 0

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

Current children cumulated memory: 202712 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/258 972631
/proc/meminfo: memFree=126589180/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=234028 memory=196388 CPUtime=2854.68 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 354708 0 0 0 284786 682 0 0 20 0 1 0 185327836 239644672 49097 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 58507 49097 986 2550 0 55462 0
Current children cumulated CPU time: 2854.68 s
Current children cumulated vsize: 234028 KiB
Current children cumulated memory: 196388 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/258 972641
/proc/meminfo: memFree=126483300/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=284384 memory=243484 CPUtime=2914.51 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 359007 0 0 0 290757 694 0 0 20 0 1 0 185327836 291209216 60871 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 71096 60871 986 2550 0 68051 0
Current children cumulated CPU time: 2914.51 s
Current children cumulated vsize: 284384 KiB
Current children cumulated memory: 243484 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/260 972711
/proc/meminfo: memFree=126424696/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=286368 memory=267672 CPUtime=2974.36 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 364401 0 0 0 296723 713 0 0 20 0 1 0 185327836 293240832 66918 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 71592 66918 986 2550 0 68547 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 286368 KiB
Current children cumulated memory: 267672 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/259 972722
/proc/meminfo: memFree=126469996/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=289172 memory=231460 CPUtime=3034.19 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 371436 0 0 0 302683 736 0 0 20 0 1 0 185327836 296112128 57865 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 72293 57865 986 2550 0 69248 0
Current children cumulated CPU time: 3034.19 s
Current children cumulated vsize: 289172 KiB
Current children cumulated memory: 231460 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/259 972732
/proc/meminfo: memFree=126501076/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=240212 memory=203116 CPUtime=3094.01 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 376451 0 0 0 308651 750 0 0 20 0 1 0 185327836 245977088 50779 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 60053 50779 986 2550 0 57008 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 240212 KiB
Current children cumulated memory: 203116 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/259 972743
/proc/meminfo: memFree=126439976/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=240212 memory=215472 CPUtime=3153.84 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 380383 0 0 0 314620 764 0 0 20 0 1 0 185327836 245977088 53868 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 60053 53868 986 2550 0 57008 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 240212 KiB
Current children cumulated memory: 215472 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/259 972754
/proc/meminfo: memFree=126479624/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=240348 memory=205100 CPUtime=3213.67 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 384770 0 0 0 320589 778 0 0 20 0 1 0 185327836 246116352 51275 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 60087 51275 986 2550 0 57042 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 240348 KiB
Current children cumulated memory: 205100 KiB

[startup+3282.3 s]
/proc/loadavg: 4.37 4.22 4.13 5/254 972764
/proc/meminfo: memFree=126322076/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=373172 memory=302096 CPUtime=3273.5 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 390151 0 0 0 326554 796 0 0 20 0 1 0 185327836 382128128 75524 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 93293 75524 986 2550 0 90248 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 373172 KiB
Current children cumulated memory: 302096 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.11 5/254 972774
/proc/meminfo: memFree=126314432/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=375512 memory=320572 CPUtime=3333.32 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 394301 0 0 0 332520 812 0 0 20 0 1 0 185327836 384524288 80143 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 93878 80143 986 2550 0 90833 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 375512 KiB
Current children cumulated memory: 320572 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.11 5/254 972784
/proc/meminfo: memFree=126288232/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=377492 memory=328636 CPUtime=3393.14 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 398448 0 0 0 338484 830 0 0 20 0 1 0 185327836 386551808 82159 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 94373 82159 986 2550 0 91328 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 377492 KiB
Current children cumulated memory: 328636 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/254 972795
/proc/meminfo: memFree=126421348/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=247552 memory=222776 CPUtime=3452.96 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 403505 0 0 0 344446 850 0 0 20 0 1 0 185327836 253493248 55694 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 61888 55694 986 2550 0 58843 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 247552 KiB
Current children cumulated memory: 222776 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/254 972805
/proc/meminfo: memFree=126456044/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=247688 memory=223092 CPUtime=3512.81 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 407950 0 0 0 350416 865 0 0 20 0 1 0 185327836 253632512 55773 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 61922 55773 986 2550 0 58877 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 247688 KiB
Current children cumulated memory: 223092 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/257 972820
/proc/meminfo: memFree=126469148/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=247688 memory=212664 CPUtime=3572.65 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 412339 0 0 0 356386 879 0 0 20 0 1 0 185327836 253632512 53166 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 61922 53166 986 2550 0 58877 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 247688 KiB
Current children cumulated memory: 212664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.12 4.13 4.10 5/257 972824
/proc/meminfo: memFree=126419752/131524600 swapFree=131071996/131071996
[pid=970849] ppid=970846 vsize=247824 memory=210664 CPUtime=3600.08 cores=5,7
/proc/970849/stat : 970849 (CASHWMaxSAT-Dis) R 970846 970849 968143 0 -1 4194304 414264 0 0 0 359122 886 0 0 20 0 1 0 185327836 253771776 52666 134679101440 4194304 14636349 140720632430512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 32202752 140720632439778 140720632439894 140720632439894 140720632446910 0
/proc/970849/statm: 61956 52666 986 2550 0 58911 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 247824 KiB
Current children cumulated memory: 210664 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.22 s, system=8.86447 s

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

Child status: 0

Real time (s): 3609.8
CPU time (s): 3600.09
CPU user time (s): 3591.22
CPU system time (s): 8.86447
CPU usage (%): 99.7309
Max. virtual memory (cumulated for all children) (KiB): 508148
Max. memory (cumulated for all children) (KiB): 436464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.22
system time used= 8.86447
maximum resident set size= 469152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 414264
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= 46
involuntary context switches= 4538


# summary of solver processes directly reported to runsolver:
#   pid: 970849
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3591.22
#   total CPU system time (s): 8.86447

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74606 second user time and 18.7879 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-18 21:40:42
IDJOB=4446630
IDBENCH=158283
IDSOLVER=3076
FILE ID=nodeC024/4446630-1721331629
RUNJOBID= nodeC024-1721327119-968156
SLURM_JOB_ID= 7542683
Free space on /tmp= 889984 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K157.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-4446630-1721331629/watcher-4446630-1721331629 -o /tmp/evaluation-result-4446630-1721331629/solver-4446630-1721331629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721327119-968156 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4446630-1721331629.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 1aa29222329f307e3e004dcb472df849
RANDOM SEED=1802294712

nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124617300 kB
MemAvailable:   127174300 kB
Buffers:          500892 kB
Cached:          2869064 kB
SwapCached:            0 kB
Active:          1007468 kB
Inactive:        5236424 kB
Active(anon):       1540 kB
Inactive(anon):  2910108 kB
Active(file):    1005928 kB
Inactive(file):  2326316 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14656 kB
Writeback:            84 kB
AnonPages:       2873864 kB
Mapped:           118028 kB
Shmem:             37720 kB
KReclaimable:     128804 kB
Slab:             244668 kB
SReclaimable:     128804 kB
SUnreclaim:       115864 kB
KernelStack:        4096 kB
PageTables:        14904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3415752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67840 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2676736 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      299732 kB
DirectMap2M:    36173824 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC024 at 2024-07-18 22:40:52