Trace number 4446709

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
NaPS 1.03? (TO) 3600.1 3610.5

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K162.opb
MD5SUM3691972eca5819945d0aaf6ae8165cd0
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 benchmark3001.01
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19278
Total number of constraints19604
Number of constraints which are clauses19442
Number of constraints which are cardinality constraints (but not clauses)162
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint162
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 163
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 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4446709-1721332917.opb
3600.08/3610.50	c 
3600.08/3610.50	c *** TERMINATED *** by signal 15
3600.08/3610.50	s UNKNOWN
3600.08/3610.50	c _____________________________________________________________________________
3600.08/3610.50	c std/band forms        : 162,0
3600.08/3610.50	c 2cl/3cl ITE-codings   : 0,0
3600.08/3610.50	c BDD/srt/adr Max costs : 0,2726,0
3600.08/3610.50	c BDDraw/bin/mul/srt/adr: 0,0,0,162,0
3600.08/3610.50	c BDD nodes             : 0
3600.08/3610.50	c Es1/CC detections     : 0,0
3600.08/3610.50	c CC sort               : 162
3600.08/3610.50	c SAT/UNSAT calls       : 0,0
3600.08/3610.50	c regenrated variables  : 0
3600.08/3610.50	c eliminated fixed lits : 0
3600.08/3610.50	c goal lit flips        : 0
3600.08/3610.50	c goal stages           : 0
3600.08/3610.50	c goal shrink           : 0
3600.08/3610.50	c goal coeff separations: 0
3600.08/3610.50	c restarts              : 0
3600.08/3610.50	c conflicts             : 0              (0 /sec)
3600.08/3610.50	c decisions             : 0              (0 /sec)
3600.08/3610.50	c propagations          : 0              (0 /sec)
3600.08/3610.50	c inspects              : 0              (0 /sec)
3600.08/3610.50	c CPU time (solving tm) : 3599 s        (3599 s, SAT 0 s, UNSAT 0 s)
3600.08/3610.50	c Time for Opt-base     : 0.003388 s
3600.08/3610.50	c Steps for Opt-base    : 0
3600.08/3610.50	c Time for BDD coding   : 0 s
3600.08/3610.50	c Time for srt coding   : 0.06009 s
3600.08/3610.50	c _____________________________________________________________________________

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: 63968 MiB (62669 MiB free)
  memory of node 1: 64473 MiB (61629 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446709-1721332917/watcher-4446709-1721332917 -o /tmp/evaluation-result-4446709-1721332917/solver-4446709-1721332917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721329286-969444 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4446709-1721332917.opb 

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=971854, runsolver pid=971851

[startup+0.100086 s]*
/proc/loadavg: 4.14 4.10 4.05 5/261 971861
/proc/meminfo: memFree=127276704/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=10228 memory=6980 CPUtime=0.09 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 1808 0 0 0 9 0 0 0 20 0 1 0 185455221 10473472 1745 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 2557 1745 500 659 0 1761 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20160 KiB
Current children cumulated memory: 9648 KiB

[startup+0.205565 s]*
/proc/loadavg: 4.14 4.10 4.05 5/261 971861
/proc/meminfo: memFree=127274692/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=11768 memory=8532 CPUtime=0.2 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 2168 0 0 0 20 0 0 0 20 0 1 0 185455221 12050432 2133 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 2942 2133 500 659 0 2146 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21700 KiB
Current children cumulated memory: 11200 KiB

[startup+0.305575 s]*
/proc/loadavg: 4.14 4.10 4.05 5/261 971861
/proc/meminfo: memFree=127245944/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=42644 memory=37404 CPUtime=0.3 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 7121 0 0 0 29 1 0 0 20 0 1 0 185455221 43667456 9351 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 10661 9351 532 659 0 9865 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52576 KiB
Current children cumulated memory: 40072 KiB

[startup+0.700258 s]
/proc/loadavg: 4.14 4.10 4.05 5/261 971861
/proc/meminfo: memFree=127190860/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=113776 memory=92880 CPUtime=0.69 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 17098 0 0 0 66 3 0 0 20 0 1 0 185455221 116506624 23220 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 28444 23220 532 659 0 27648 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 123708 KiB
Current children cumulated memory: 95548 KiB

[startup+1.50027 s]
/proc/loadavg: 4.14 4.10 4.05 5/261 971861
/proc/meminfo: memFree=127180616/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=124352 memory=104692 CPUtime=1.48 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 19538 0 0 0 145 3 0 0 20 0 1 0 185455221 127336448 26173 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 31088 26173 532 659 0 30292 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 134284 KiB
Current children cumulated memory: 107360 KiB

[startup+3.1055 s]
/proc/loadavg: 4.14 4.10 4.05 5/261 971861
/proc/meminfo: memFree=127173408/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=132544 memory=105192 CPUtime=3.08 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 19679 0 0 0 305 3 0 0 20 0 1 0 185455221 135725056 26298 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 33136 26298 532 659 0 32340 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 142476 KiB
Current children cumulated memory: 107860 KiB

[startup+6.30021 s]
/proc/loadavg: 4.13 4.10 4.05 5/261 971861
/proc/meminfo: memFree=127159900/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=140736 memory=120320 CPUtime=6.27 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 20386 0 0 0 623 4 0 0 20 0 1 0 185455221 144113664 30080 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 35184 30080 532 659 0 34388 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 150668 KiB
Current children cumulated memory: 122988 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.10 4.05 5/261 971862
/proc/meminfo: memFree=127168568/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=123540 memory=107400 CPUtime=12.65 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 21722 0 0 0 1261 4 0 0 20 0 1 0 185455221 126504960 26850 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 30885 26850 532 659 0 30089 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 133472 KiB
Current children cumulated memory: 110068 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.05 5/261 971864
/proc/meminfo: memFree=127164404/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=123540 memory=105072 CPUtime=25.42 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 22173 0 0 0 2537 5 0 0 20 0 1 0 185455221 126504960 26268 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 30885 26268 532 659 0 30089 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 133472 KiB
Current children cumulated memory: 107740 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.10 4.05 5/261 971868
/proc/meminfo: memFree=127173736/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=114552 memory=105044 CPUtime=50.96 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 23159 0 0 0 5091 5 0 0 20 0 1 0 185455221 117301248 26261 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 28638 26261 532 659 0 27842 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 124484 KiB
Current children cumulated memory: 107712 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/261 971927
/proc/meminfo: memFree=127189504/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=154528 memory=138272 CPUtime=102.01 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 25457 0 0 0 10194 7 0 0 20 0 1 0 185455221 158236672 34568 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 38632 34568 532 659 0 37836 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 164460 KiB
Current children cumulated memory: 140940 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/259 971989
/proc/meminfo: memFree=127189824/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=154528 memory=138336 CPUtime=161.84 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 26616 0 0 0 16176 8 0 0 20 0 1 0 185455221 158236672 34584 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 38632 34584 532 659 0 37836 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 164460 KiB
Current children cumulated memory: 141004 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.11 4.06 5/258 971999
/proc/meminfo: memFree=127160448/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=154528 memory=145192 CPUtime=221.68 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 28358 0 0 0 22158 10 0 0 20 0 1 0 185455221 158236672 36298 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 38632 36298 532 659 0 37836 0
Current children cumulated CPU time: 221.68 s

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

/proc/loadavg: 4.15 4.10 4.09 5/261 973328
/proc/meminfo: memFree=127221032/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=199552 memory=181676 CPUtime=3093.34 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 96511 0 0 0 309263 71 0 0 20 0 1 0 185455221 204341248 45419 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 49888 45419 532 659 0 49092 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 209484 KiB
Current children cumulated memory: 184344 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/261 973340
/proc/meminfo: memFree=127205548/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=232320 memory=198060 CPUtime=3153.15 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 97078 0 0 0 315243 72 0 0 20 0 1 0 185455221 237895680 49515 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 58080 49515 532 659 0 57284 0
Current children cumulated CPU time: 3153.15 s
Current children cumulated vsize: 242252 KiB
Current children cumulated memory: 200728 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/261 973732
/proc/meminfo: memFree=127208132/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=232320 memory=193912 CPUtime=3212.96 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 98237 0 0 0 321224 72 0 0 20 0 1 0 185455221 237895680 48478 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 58080 48478 532 659 0 57284 0
Current children cumulated CPU time: 3212.96 s
Current children cumulated vsize: 242252 KiB
Current children cumulated memory: 196580 KiB

[startup+3282.3 s]
/proc/loadavg: 4.50 4.20 4.12 5/259 973742
/proc/meminfo: memFree=127197140/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=232320 memory=206252 CPUtime=3272.78 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 98295 0 0 0 327205 73 0 0 20 0 1 0 185455221 237895680 51563 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 58080 51563 532 659 0 57284 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 242252 KiB
Current children cumulated memory: 208920 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.18 4.12 5/259 973753
/proc/meminfo: memFree=127185972/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=232320 memory=208300 CPUtime=3332.58 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 98905 0 0 0 333185 73 0 0 20 0 1 0 185455221 237895680 52075 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 58080 52075 532 659 0 57284 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 242252 KiB
Current children cumulated memory: 210968 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/261 973933
/proc/meminfo: memFree=127201620/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=232320 memory=193788 CPUtime=3392.41 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 101076 0 0 0 339166 75 0 0 20 0 1 0 185455221 237895680 48447 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 58080 48447 532 659 0 57284 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 242252 KiB
Current children cumulated memory: 196456 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/261 973943
/proc/meminfo: memFree=127166352/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=232320 memory=208300 CPUtime=3452.26 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 101690 0 0 0 345150 76 0 0 20 0 1 0 185455221 237895680 52075 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 58080 52075 532 659 0 57284 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 242252 KiB
Current children cumulated memory: 210968 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/262 973957
/proc/meminfo: memFree=127173480/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=232320 memory=210348 CPUtime=3512.1 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 102299 0 0 0 351134 76 0 0 20 0 1 0 185455221 237895680 52587 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 58080 52587 532 659 0 57284 0
Current children cumulated CPU time: 3512.1 s
Current children cumulated vsize: 242252 KiB
Current children cumulated memory: 213016 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/261 973978
/proc/meminfo: memFree=127159392/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=232320 memory=208300 CPUtime=3571.95 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 102908 0 0 0 357118 77 0 0 20 0 1 0 185455221 237895680 52075 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 58080 52075 532 659 0 57284 0
Current children cumulated CPU time: 3571.95 s
Current children cumulated vsize: 242252 KiB
Current children cumulated memory: 210968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.12 4.12 4.10 5/261 973981
/proc/meminfo: memFree=127185064/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=199552 memory=187736 CPUtime=3600.08 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 102937 0 0 0 359931 77 0 0 20 0 1 0 185455221 204341248 46934 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 49888 46934 532 659 0 49092 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 209484 KiB
Current children cumulated memory: 190404 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.5 s]
# the end of solver process 971854 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.32 s, system=0.778943 s

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

[startup+3610.5 s]
/proc/loadavg: 4.12 4.12 4.10 5/261 973981
/proc/meminfo: memFree=127185064/131524600 swapFree=131071996/131071996
[pid=971854] ppid=971851 vsize=9932 memory=2668 CPUtime=0 cores=1,3
/proc/971854/stat : 971854 (naps-1.03.sh) S 971851 971854 969432 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 185455221 10170368 667 134679101440 94194814914560 94194815993880 140723005027456 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194818092336 94194818139524 94194835066880 140723005031395 140723005031520 140723005031520 140723005038536 0
/proc/971854/statm: 2483 667 588 264 0 134 0
[pid=971859] ppid=971854 vsize=199552 memory=187736 CPUtime=3600.08 cores=1,3
/proc/971859/stat : 971859 (naps-1.03) R 971854 971854 969432 0 -1 4194304 102937 0 0 0 359931 77 0 0 20 0 1 0 185455221 204341248 46934 134679101440 4194304 6891213 140727807346000 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37519360 140727807353844 140727807353956 140727807353956 140727807360971 0
/proc/971859/statm: 49888 46934 532 659 0 49092 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 209484 KiB
Current children cumulated memory: 190404 KiB

Child status: 10

Real time (s): 3610.5
CPU time (s): 3600.1
CPU user time (s): 3599.32
CPU system time (s): 0.778943
CPU usage (%): 99.7118
Max. virtual memory (cumulated for all children) (KiB): 243768
Max. memory (cumulated for all children) (KiB): 217112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.32
system time used= 0.778943
maximum resident set size= 216492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103415
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= 45
involuntary context switches= 2567


# summary of solver processes directly reported to runsolver:
#   pid: 971854
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.32
#   total CPU system time (s): 0.778943

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.86808 second user time and 16.3049 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-18 22:02:10
IDJOB=4446709
IDBENCH=158293
IDSOLVER=3063
FILE ID=nodeC020/4446709-1721332917
RUNJOBID= nodeC020-1721329286-969444
SLURM_JOB_ID= 7542697
Free space on /tmp= 890056 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K162.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446709-1721332917/watcher-4446709-1721332917 -o /tmp/evaluation-result-4446709-1721332917/solver-4446709-1721332917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721329286-969444 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4446709-1721332917.opb

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

MD5SUM BENCH= 3691972eca5819945d0aaf6ae8165cd0
RANDOM SEED=763830563

nodeC020.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		: 3658.883
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	: 7000.05
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		: 3665.015
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	: 7005.84
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.216
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	: 7000.05
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		: 3657.920
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	: 7005.84
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		: 3658.985
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	: 7000.05
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		: 3664.058
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	: 7005.84
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		: 3600.287
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	: 7000.05
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.196
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	: 7005.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127282096 kB
MemAvailable:   129233968 kB
Buffers:          509760 kB
Cached:          2261260 kB
SwapCached:            0 kB
Active:           859192 kB
Inactive:        2737040 kB
Active(anon):       1624 kB
Inactive(anon):   861300 kB
Active(file):     857568 kB
Inactive(file):  1875740 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6524 kB
Writeback:             0 kB
AnonPages:        814236 kB
Mapped:           112316 kB
Shmem:             37720 kB
KReclaimable:     116772 kB
Slab:             231268 kB
SReclaimable:     116772 kB
SUnreclaim:       114496 kB
KernelStack:        4120 kB
PageTables:        10480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1350816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67040 kB
HardwareCorrupted:     0 kB
AnonHugePages:    706560 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:      211668 kB
DirectMap2M:    22630400 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC020 at 2024-07-18 23:02:21