Trace number 4514225

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 naps-1.03a6? (TO) 3600.05 3610.8

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v091-n3.opb
MD5SUMc981ca1603e2aa1abfaebeb08d0e93e7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.021723
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables273
Total number of constraints91
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)91
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
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 7
Number of bits of the biggest sum of numbers3
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.02	c NaPS 1.03a6.
0.00/0.02	c Input file name: HOME/instance-4514225-1751222340.opb
3600.03/3610.80	c 
3600.03/3610.80	c *** TERMINATED *** by signal 15
3600.03/3610.80	s UNKNOWN
3600.03/3610.80	c _____________________________________________________________________________
3600.03/3610.80	c std/band forms        : 91,0
3600.03/3610.80	c 2cl/3cl ITE-codings   : 0,0
3600.03/3610.80	c BDD/srt/adr Max costs : 0,24,0
3600.03/3610.80	c BDDraw/bin/mul/srt/adr: 0,0,0,91,0
3600.03/3610.80	c BDD nodes             : 0
3600.03/3610.80	c Es1/CC detections     : 0,0
3600.03/3610.80	c CC sort               : 91
3600.03/3610.80	c SAT/UNSAT calls       : 0,0
3600.03/3610.80	c regenrated variables  : 0
3600.03/3610.80	c eliminated fixed lits : 0
3600.03/3610.80	c goal lit flips        : 0
3600.03/3610.80	c goal stages           : 0
3600.03/3610.80	c goal shrink           : 0
3600.03/3610.80	c goal coeff separations: 0
3600.03/3610.80	c restarts              : 0
3600.03/3610.80	c conflicts             : 0              (0 /sec)
3600.03/3610.80	c decisions             : 0              (0 /sec)
3600.03/3610.80	c propagations          : 0              (0 /sec)
3600.03/3610.80	c inspects              : 0              (0 /sec)
3600.03/3610.80	c CPU time (solving tm) : 3589 s        (3589 s, SAT 0 s, UNSAT 0 s)
3600.03/3610.80	c Time for Opt-base     : 0.000644 s
3600.03/3610.80	c Steps for Opt-base    : 0
3600.03/3610.80	c Time for BDD coding   : 0 s
3600.03/3610.80	c Time for srt coding   : 0.001049 s
3600.03/3610.80	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: 63837 MiB (63269 MiB free)
  memory of node 1: 64465 MiB (63926 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514225-1751222340/watcher-4514225-1751222340 -o /tmp/evaluation-result-4514225-1751222340/solver-4514225-1751222340 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751218728-27149 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4514225-1751222340.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=27618, runsolver pid=27614
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 4.05 4.10 4.05 4/251 27627
/proc/meminfo: memFree=130239572/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=4696 memory=3200 CPUtime=0.06 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 338 0 0 0 6 0 0 0 20 0 1 0 37913141 4808704 800 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 1174 800 544 696 0 335 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 8888 KiB
Current children cumulated memory: 6144 KiB

[startup+0.216394 s]*
/proc/loadavg: 4.05 4.10 4.05 4/251 27632
/proc/meminfo: memFree=130230828/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=5656 memory=3692 CPUtime=0.18 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 552 0 0 0 17 1 0 0 20 0 1 0 37913141 5791744 923 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 1414 923 544 696 0 575 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 9848 KiB
Current children cumulated memory: 6636 KiB

[startup+0.315022 s]*
/proc/loadavg: 4.05 4.10 4.05 5/256 27639
/proc/meminfo: memFree=130230596/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=6548 memory=3756 CPUtime=0.27 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 734 0 0 0 26 1 0 0 20 0 1 0 37913141 6705152 939 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 1637 939 544 696 0 798 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10740 KiB
Current children cumulated memory: 6700 KiB

[startup+0.700342 s]
/proc/loadavg: 4.05 4.10 4.05 5/256 27639
/proc/meminfo: memFree=130230344/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=7060 memory=4908 CPUtime=0.64 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 1017 0 0 0 63 1 0 0 20 0 1 0 37913141 7229440 1227 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 1765 1227 544 696 0 926 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 11252 KiB
Current children cumulated memory: 7852 KiB

[startup+1.50032 s]
/proc/loadavg: 4.05 4.10 4.05 5/256 27639
/proc/meminfo: memFree=130229588/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=8600 memory=6148 CPUtime=1.43 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 3153 0 0 0 142 1 0 0 20 0 1 0 37913141 8806400 1537 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 2150 1537 544 696 0 1311 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 12792 KiB
Current children cumulated memory: 9092 KiB

[startup+3.11289 s]
/proc/loadavg: 4.05 4.10 4.05 5/256 27639
/proc/meminfo: memFree=130225252/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=11688 memory=8308 CPUtime=3.04 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 9285 0 0 0 302 2 0 0 20 0 1 0 37913141 11968512 2077 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 2922 2077 544 696 0 2083 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 15880 KiB
Current children cumulated memory: 11252 KiB

[startup+6.30031 s]
/proc/loadavg: 4.04 4.09 4.05 5/256 27639
/proc/meminfo: memFree=130210820/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=13732 memory=11440 CPUtime=6.22 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 29202 0 0 0 618 4 0 0 20 0 1 0 37913141 14061568 2860 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 3433 2860 544 696 0 2594 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 17924 KiB
Current children cumulated memory: 14384 KiB

[startup+12.7003 s]
/proc/loadavg: 4.04 4.09 4.05 5/256 27639
/proc/meminfo: memFree=130187128/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=26016 memory=16380 CPUtime=12.61 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 41037 0 0 0 1254 7 0 0 20 0 1 0 37913141 26640384 4095 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 6504 4095 544 696 0 5665 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 30208 KiB
Current children cumulated memory: 19324 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.10 4.05 5/256 27639
/proc/meminfo: memFree=130154236/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=30116 memory=23200 CPUtime=25.37 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 73159 0 0 0 2524 13 0 0 20 0 1 0 37913141 30838784 5800 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 7529 5800 544 696 0 6690 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 34308 KiB
Current children cumulated memory: 26144 KiB

[startup+51.113 s]
/proc/loadavg: 4.07 4.09 4.05 5/256 27640
/proc/meminfo: memFree=130123440/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=26016 memory=21428 CPUtime=50.91 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 113366 0 0 0 5071 20 0 0 20 0 1 0 37913141 26640384 5357 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 6504 5357 544 696 0 5665 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 30208 KiB
Current children cumulated memory: 24372 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/257 27643
/proc/meminfo: memFree=130053880/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=79268 memory=50500 CPUtime=101.95 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 165278 0 0 0 10164 31 0 0 20 0 1 0 37913141 81170432 12625 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 19817 12625 544 696 0 18978 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 83460 KiB
Current children cumulated memory: 53444 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.06 5/257 27644
/proc/meminfo: memFree=130057064/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=79268 memory=54856 CPUtime=161.79 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 187994 0 0 0 16144 35 0 0 20 0 1 0 37913141 81170432 13714 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 19817 13714 544 696 0 18978 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 83460 KiB
Current children cumulated memory: 57800 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/257 27646
/proc/meminfo: memFree=130082552/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=46496 memory=33284 CPUtime=221.62 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 247943 0 0 0 22116 46 0 0 20 0 1 0 37913141 47611904 8321 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 11624 8321 544 696 0 10785 0
Current children cumulated CPU time: 221.62 s

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

/proc/loadavg: 4.09 4.15 4.13 5/254 27983
/proc/meminfo: memFree=121569684/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=81820 memory=65000 CPUtime=3033.2 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 3702106 0 0 0 302376 944 0 0 20 0 1 0 37913141 83783680 16250 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 20455 16250 544 696 0 19616 0
Current children cumulated CPU time: 3033.2 s
Current children cumulated vsize: 86012 KiB
Current children cumulated memory: 67944 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/254 27986
/proc/meminfo: memFree=121539728/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=81820 memory=69992 CPUtime=3093.02 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 3773984 0 0 0 308338 964 0 0 20 0 1 0 37913141 83783680 17498 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 20455 17498 544 696 0 19616 0
Current children cumulated CPU time: 3093.02 s
Current children cumulated vsize: 86012 KiB
Current children cumulated memory: 72936 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/254 27988
/proc/meminfo: memFree=121496204/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=73628 memory=64232 CPUtime=3152.84 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 3810074 0 0 0 314307 977 0 0 20 0 1 0 37913141 75395072 16058 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 18407 16058 544 696 0 17568 0
Current children cumulated CPU time: 3152.84 s
Current children cumulated vsize: 77820 KiB
Current children cumulated memory: 67176 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/253 27990
/proc/meminfo: memFree=121493868/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=73628 memory=63848 CPUtime=3212.68 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 3840453 0 0 0 320282 986 0 0 20 0 1 0 37913141 75395072 15962 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 18407 15962 544 696 0 17568 0
Current children cumulated CPU time: 3212.68 s
Current children cumulated vsize: 77820 KiB
Current children cumulated memory: 66792 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.14 4.13 5/253 27992
/proc/meminfo: memFree=121482132/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=81820 memory=67944 CPUtime=3272.5 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 3912502 0 0 0 326246 1004 0 0 20 0 1 0 37913141 83783680 16986 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 20455 16986 544 696 0 19616 0
Current children cumulated CPU time: 3272.5 s
Current children cumulated vsize: 86012 KiB
Current children cumulated memory: 70888 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.15 4.13 5/253 27994
/proc/meminfo: memFree=121491984/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=65432 memory=56608 CPUtime=3332.33 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 3992548 0 0 0 332204 1029 0 0 20 0 1 0 37913141 67002368 14152 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 16358 14152 544 696 0 15519 0
Current children cumulated CPU time: 3332.33 s
Current children cumulated vsize: 69624 KiB
Current children cumulated memory: 59552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/253 27996
/proc/meminfo: memFree=121490916/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=73628 memory=63848 CPUtime=3392.17 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 3998391 0 0 0 338185 1032 0 0 20 0 1 0 37913141 75395072 15962 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 18407 15962 544 696 0 17568 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 77820 KiB
Current children cumulated memory: 66792 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/254 28001
/proc/meminfo: memFree=121638376/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=73628 memory=63848 CPUtime=3451.99 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 4175100 0 0 0 344124 1075 0 0 20 0 1 0 37913141 75395072 15962 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 18407 15962 544 696 0 17568 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 77820 KiB
Current children cumulated memory: 66792 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/254 28003
/proc/meminfo: memFree=123975388/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=65436 memory=55656 CPUtime=3511.81 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 4265622 0 0 0 350083 1098 0 0 20 0 1 0 37913141 67006464 13914 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 16359 13914 544 696 0 15520 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 69628 KiB
Current children cumulated memory: 58600 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/254 28007
/proc/meminfo: memFree=124555388/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=98204 memory=84328 CPUtime=3571.62 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 4311667 0 0 0 356052 1110 0 0 20 0 1 0 37913141 100560896 21082 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 24551 21082 544 696 0 23712 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 102396 KiB
Current children cumulated memory: 87272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.14 4.13 4.12 4/246 28020
/proc/meminfo: memFree=124705252/131382120 swapFree=33010684/33010684
[pid=27618] ppid=27614 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27618/stat : 27618 (naps-1.03a6.sh) S 27614 27618 27134 0 -1 4194304 227 204 0 0 0 0 0 0 20 0 1 0 37913139 4292608 736 18446744073709551615 94568647991296 94568648885829 140723186512480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94568649124880 94568649172624 94568666402816 140723186518439 140723186518533 140723186518533 140723186524135 0
/proc/27618/statm: 1048 736 672 219 0 110 0
[pid=27623] ppid=27618 vsize=81820 memory=63464 CPUtime=3600.03 cores=5,7
/proc/27623/stat : 27623 (naps-1.03a6) R 27618 27618 27134 0 -1 4194304 4351269 0 0 0 358883 1120 0 0 20 0 1 0 37913141 83783680 15866 18446744073709551615 4198400 7047149 140720545809344 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38322176 140720545810804 140720545810918 140720545810918 140720545816521 0
/proc/27623/statm: 20455 15866 544 696 0 19616 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 86012 KiB
Current children cumulated memory: 66408 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3588.84 s, system=11.2173 s

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

Child status: 10

Real time (s): 3610.8
CPU time (s): 3600.05
CPU user time (s): 3588.84
CPU system time (s): 11.2173
CPU usage (%): 99.7023
Max. virtual memory (cumulated for all children) (KiB): 167936
Max. memory (cumulated for all children) (KiB): 123184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.84
system time used= 11.2173
maximum resident set size= 120240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4351713
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= 178
involuntary context switches= 22110


# summary of solver processes directly reported to runsolver:
#   pid: 27618
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3588.84
#   total CPU system time (s): 11.2173

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.211 second user time and 35.8105 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-29 20:39:00
IDJOB=4514225
IDBENCH=162614
IDSOLVER=3341
FILE ID=nodeC008/4514225-1751222340
RUNJOBID= nodeC008-1751218728-27149
SLURM_JOB_ID= 9587669
Free space on /tmp= 433044 MiB

SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/rand6reg/normalized-rand6reg-v091-n3.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514225-1751222340/watcher-4514225-1751222340 -o /tmp/evaluation-result-4514225-1751222340/solver-4514225-1751222340 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751218728-27149 --watchdog 3760  ./naps-1.03a6.sh HOME/instance-4514225-1751222340.opb

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

MD5SUM BENCH= c981ca1603e2aa1abfaebeb08d0e93e7
RANDOM SEED=1838724745

nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.813
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2294.654
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.239
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.172
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.179
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.179
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.203
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.208
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130248156 kB
MemAvailable:   129989696 kB
Buffers:            3280 kB
Cached:           552196 kB
SwapCached:            0 kB
Active:           333612 kB
Inactive:         304224 kB
Active(anon):     100316 kB
Inactive(anon):        0 kB
Active(file):     233296 kB
Inactive(file):   304224 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22728 kB
Writeback:             0 kB
AnonPages:         85484 kB
Mapped:           106984 kB
Shmem:             17956 kB
KReclaimable:      87292 kB
Slab:             166932 kB
SReclaimable:      87292 kB
SUnreclaim:        79640 kB
KernelStack:        4080 kB
PageTables:         3044 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     389908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC008 at 2025-06-29 21:39:11