Trace number 4511871

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? 934.947 937.576

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
MD5SUMb7a2e8144dd82d545640c8e4101e7ef6
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 benchmark2.58733
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables607488
Total number of constraints5258
Number of constraints which are clauses2372
Number of constraints which are cardinality constraints (but not clauses)2372
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2373
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 855779
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2070814
Number of bits of the biggest sum of numbers21
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.01	c NaPS 1.03a6.
0.00/0.01	c Input file name: HOME/instance-4511871-1751199867.opb
934.55/937.25	c malloc failed in xmalloc
934.55/937.25	c 
934.55/937.25	c *** TERMINATED *** by signal 15
934.55/937.25	s UNKNOWN
934.55/937.25	c _____________________________________________________________________________
934.55/937.25	c std/band forms        : 384,0
934.55/937.25	c 2cl/3cl ITE-codings   : 0,0
934.55/937.25	c BDD/srt/adr Max costs : 2136433,1120985,0
934.55/937.25	c BDDraw/bin/mul/srt/adr: 29,0,0,354,0
934.55/937.25	c BDD nodes             : 55398922
934.55/937.25	c Es1/CC detections     : 0,0
934.55/937.25	c CC sort               : 0
934.55/937.25	c SAT/UNSAT calls       : 0,0
934.55/937.25	c regenrated variables  : 0
934.55/937.25	c eliminated fixed lits : 2692
934.55/937.25	c goal lit flips        : 0
934.55/937.25	c goal stages           : 0
934.55/937.25	c goal shrink           : 0
934.55/937.25	c goal coeff separations: 0
934.55/937.25	c restarts              : 0
934.55/937.25	c conflicts             : 0              (0 /sec)
934.55/937.25	c decisions             : 0              (0 /sec)
934.55/937.25	c propagations          : 0              (0 /sec)
934.55/937.25	c inspects              : 0              (0 /sec)
934.55/937.25	c CPU time (solving tm) : 927.5 s        (0 s, SAT 0 s, UNSAT 0 s)
934.55/937.25	c Time for Opt-base     : 118.5 s
934.55/937.25	c Steps for Opt-base    : 659017295
934.55/937.25	c Time for BDD coding   : 340.1 s
934.55/937.25	c Time for srt coding   : 410.9 s
934.55/937.25	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: 63708 MiB (49066 MiB free)
  memory of node 1: 64465 MiB (33892 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4511871-1751199867/watcher-4511871-1751199867 -o /tmp/evaluation-result-4511871-1751199867/solver-4511871-1751199867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751195806-25272 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4511871-1751199867.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Starting watchdog thread
solver pid=26218, runsolver pid=26215
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.11 4.10 4.09 5/267 26222
/proc/meminfo: memFree=84938132/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=13216 memory=10752 CPUtime=0.08 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 2292 0 0 0 8 0 0 0 20 0 1 0 35663293 13533184 2688 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 3304 2688 480 696 0 2465 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 17408 KiB
Current children cumulated memory: 13696 KiB

[startup+0.205528 s]*
/proc/loadavg: 4.11 4.10 4.09 5/267 26222
/proc/meminfo: memFree=84938048/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=23200 memory=17268 CPUtime=0.18 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 4084 0 0 0 18 0 0 0 20 0 1 0 35663293 23756800 4317 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 5800 4317 480 696 0 4961 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 27392 KiB
Current children cumulated memory: 20212 KiB

[startup+0.305506 s]*
/proc/loadavg: 4.11 4.10 4.09 5/267 26222
/proc/meminfo: memFree=84938048/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=32972 memory=23764 CPUtime=0.28 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 6054 0 0 0 28 0 0 0 20 0 1 0 35663293 33763328 5941 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 8243 5941 480 696 0 7404 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 37164 KiB
Current children cumulated memory: 26708 KiB

[startup+0.700213 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 26222
/proc/meminfo: memFree=84929984/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=69580 memory=48024 CPUtime=0.67 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 11763 0 0 0 66 1 0 0 20 0 1 0 35663293 71249920 12006 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 17395 12006 480 696 0 16556 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 73772 KiB
Current children cumulated memory: 50968 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 26222
/proc/meminfo: memFree=84901948/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=148080 memory=101376 CPUtime=1.47 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 23842 0 0 0 143 4 0 0 20 0 1 0 35663293 151633920 25344 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 37020 25344 480 696 0 36181 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 152272 KiB
Current children cumulated memory: 104320 KiB

[startup+3.10536 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 26222
/proc/meminfo: memFree=84702876/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=247904 memory=181808 CPUtime=3.07 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 42949 0 0 0 300 7 0 0 20 0 1 0 35663293 253853696 45452 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 61976 45452 480 696 0 61137 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 252096 KiB
Current children cumulated memory: 184752 KiB

[startup+6.3002 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 26222
/proc/meminfo: memFree=84379044/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=506908 memory=374864 CPUtime=6.26 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 76489 0 0 0 610 16 0 0 20 0 1 0 35663293 519073792 93716 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 126727 93716 512 696 0 125888 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 511100 KiB
Current children cumulated memory: 377808 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.12 4.10 5/268 26223
/proc/meminfo: memFree=83668756/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=1000868 memory=847760 CPUtime=12.64 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 128538 0 0 0 1231 33 0 0 20 0 1 0 35663293 1024888832 211940 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 250217 211940 544 696 0 249378 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1005060 KiB
Current children cumulated memory: 850704 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.13 4.10 5/267 26223
/proc/meminfo: memFree=81483816/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=2060488 memory=1918572 CPUtime=25.41 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 225897 0 0 0 2468 73 0 0 20 0 1 0 35663293 2109939712 479643 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 515122 479643 544 696 0 514283 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2064680 KiB
Current children cumulated memory: 1921516 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 26224
/proc/meminfo: memFree=79422400/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=3808500 memory=3603776 CPUtime=50.95 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 398774 0 0 0 4962 133 0 0 20 0 1 0 35663293 3899904000 900944 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 952125 900944 544 696 0 951286 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3812692 KiB
Current children cumulated memory: 3606720 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 26225
/proc/meminfo: memFree=75554000/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=7072412 memory=6484572 CPUtime=102.02 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 658912 0 0 0 9961 241 0 0 20 0 1 0 35663293 7242149888 1621143 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 1768103 1621143 544 696 0 1767264 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 7076604 KiB
Current children cumulated memory: 6487516 KiB

[startup+162.3 s]
/proc/loadavg: 4.42 4.20 4.12 5/267 26227
/proc/meminfo: memFree=72247284/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=9148252 memory=8387832 CPUtime=161.86 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 980822 0 0 0 15875 311 0 0 20 0 1 0 35663293 9367810048 2096958 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 2287063 2096958 544 696 0 2286224 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 9152444 KiB
Current children cumulated memory: 8390776 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/267 26229
/proc/meminfo: memFree=64575032/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=15545244 memory=15044920 CPUtime=221.7 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 1235013 0 0 0 21704 466 0 0 20 0 1 0 35663293 15918329856 3761230 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 3886311 3761230 544 696 0 3885472 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 15549436 KiB

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

/proc/loadavg: 4.12 4.11 4.09 5/268 26401
/proc/meminfo: memFree=73245220/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=19083872 memory=17268068 CPUtime=760.13 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 2090694 0 0 0 75358 655 0 0 20 0 1 0 35663293 19541884928 4317017 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 4770968 4317017 544 696 0 4770129 0
Current children cumulated CPU time: 760.13 s
Current children cumulated vsize: 19088064 KiB
Current children cumulated memory: 17271012 KiB

[startup+822.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 26403
/proc/meminfo: memFree=70890384/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=19590752 memory=17912800 CPUtime=819.97 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 2222801 0 0 0 81317 680 0 0 20 0 1 0 35663293 20060930048 4478200 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 4897688 4478200 544 696 0 4896849 0
Current children cumulated CPU time: 819.97 s
Current children cumulated vsize: 19594944 KiB
Current children cumulated memory: 17915744 KiB

[startup+882.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 26405
/proc/meminfo: memFree=64410300/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=19834292 memory=18353996 CPUtime=879.81 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 2289105 0 0 0 87286 695 0 0 20 0 1 0 35663293 20310315008 4588499 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 4958573 4588499 544 696 0 4957734 0
Current children cumulated CPU time: 879.81 s
Current children cumulated vsize: 19838484 KiB
Current children cumulated memory: 18356940 KiB

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

# cumulated CPU time of all completed processes:  user=927.518 s, system=7.42899 s

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

[startup+896 s]*
/proc/loadavg: 4.06 4.09 4.09 5/268 26405
/proc/meminfo: memFree=63472776/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=19834292 memory=18368332 CPUtime=893.48 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 2289701 0 0 0 88653 695 0 0 20 0 1 0 35663293 20310315008 4592083 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 4958573 4592083 544 696 0 4957734 0
Current children cumulated CPU time: 893.48 s
Current children cumulated vsize: 19838484 KiB
Current children cumulated memory: 18371276 KiB

[startup+921.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 26407
/proc/meminfo: memFree=61613424/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=20020148 memory=18629996 CPUtime=919 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 2339446 0 0 0 91194 706 0 0 20 0 1 0 35663293 20500631552 4657499 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 5005037 4657499 544 696 0 5004198 0
Current children cumulated CPU time: 919 s
Current children cumulated vsize: 20024340 KiB
Current children cumulated memory: 18632940 KiB

[startup+928 s]*
/proc/loadavg: 4.11 4.10 4.09 5/268 26408
/proc/meminfo: memFree=61167392/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=20020148 memory=18636140 CPUtime=925.39 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 2339452 0 0 0 91833 706 0 0 20 0 1 0 35663293 20500631552 4659035 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 5005037 4659035 544 696 0 5004198 0
Current children cumulated CPU time: 925.39 s
Current children cumulated vsize: 20024340 KiB
Current children cumulated memory: 18639084 KiB

[startup+934.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 26408
/proc/meminfo: memFree=60768748/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=20020148 memory=18642284 CPUtime=931.77 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 2339769 0 0 0 92469 708 0 0 20 0 1 0 35663293 20500631552 4660571 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 5005037 4660571 544 696 0 5004198 0
Current children cumulated CPU time: 931.77 s
Current children cumulated vsize: 20024340 KiB
Current children cumulated memory: 18645228 KiB

[startup+936 s]*
/proc/loadavg: 4.09 4.10 4.09 5/268 26408
/proc/meminfo: memFree=60663404/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=20020148 memory=18646380 CPUtime=933.36 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 2340028 0 0 0 92628 708 0 0 20 0 1 0 35663293 20500631552 4661595 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 5005037 4661595 544 696 0 5004198 0
Current children cumulated CPU time: 933.36 s
Current children cumulated vsize: 20024340 KiB
Current children cumulated memory: 18649324 KiB

[startup+936.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 26408
/proc/meminfo: memFree=60663404/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=20024768 memory=18653036 CPUtime=934.16 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 2341319 0 0 0 92708 708 0 0 20 0 1 0 35663293 20505362432 4663259 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 5006192 4663259 544 696 0 5005353 0
Current children cumulated CPU time: 934.16 s
Current children cumulated vsize: 20028960 KiB
Current children cumulated memory: 18655980 KiB

[startup+937.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 26408
/proc/meminfo: memFree=60574316/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
[pid=26222] ppid=26218 vsize=20054864 memory=18682988 CPUtime=934.55 cores=0,2
/proc/26222/stat : 26222 (naps-1.03a6) R 26218 26218 25262 0 -1 4194304 2348828 0 0 0 92746 709 0 0 20 0 1 0 35663293 20536180736 4670747 18446744073709551615 4198400 7047149 140726952250624 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8265728 140726952253812 140726952253926 140726952253926 140726952259529 0
/proc/26222/statm: 5013716 4670747 544 696 0 5012877 0
Current children cumulated CPU time: 934.55 s
Current children cumulated vsize: 20059056 KiB
Current children cumulated memory: 18685932 KiB

[startup+937.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 26408
/proc/meminfo: memFree=60574316/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+937.5 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 26408
/proc/meminfo: memFree=60574316/131250000 swapFree=33010684/33010684
[pid=26218] ppid=26215 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/26218/stat : 26218 (naps-1.03a6.sh) S 26215 26218 25262 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 35663292 4292608 736 18446744073709551615 93858014203904 93858015098437 140720675551616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93858015337488 93858015385232 93858026201088 140720675559847 140720675559941 140720675559941 140720675565543 0
/proc/26218/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 10

Real time (s): 937.576
CPU time (s): 934.947
CPU user time (s): 927.518
CPU system time (s): 7.42899
CPU usage (%): 99.7196
Max. virtual memory (cumulated for all children) (KiB): 20059056
Max. memory (cumulated for all children) (KiB): 18685932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 927.518
system time used= 7.42899
maximum resident set size= 18689476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2350379
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= 163
involuntary context switches= 1226


# summary of solver processes directly reported to runsolver:
#   pid: 26218
#   total CPU time (s): 934.947
#   total CPU user time (s): 927.518
#   total CPU system time (s): 7.42899

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.88814 second user time and 4.23038 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-06-29 14:24:27
IDJOB=4511871
IDBENCH=160486
IDSOLVER=3341
FILE ID=nodeC014/4511871-1751199867
RUNJOBID= nodeC014-1751195806-25272
SLURM_JOB_ID= 9587606
Free space on /tmp= 432892 MiB

SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4511871-1751199867/watcher-4511871-1751199867 -o /tmp/evaluation-result-4511871-1751199867/solver-4511871-1751199867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751195806-25272 --watchdog 3760  ./naps-1.03a6.sh HOME/instance-4511871-1751199867.opb

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

MD5SUM BENCH= b7a2e8144dd82d545640c8e4101e7ef6
RANDOM SEED=550213673

nodeC014 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	: 0xb00002a
cpu MHz		: 3600.079
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 pti ibrs ibpb stibp 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	: 7000.23
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		: 3600.190
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 pti ibrs ibpb stibp 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	: 7000.23
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		: 3599.785
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 pti ibrs ibpb stibp 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	: 7000.23
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		: 3577.496
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 pti ibrs ibpb stibp 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	: 7000.23
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		: 3600.081
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 pti ibrs ibpb stibp 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	: 7000.23
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		: 3599.927
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 pti ibrs ibpb stibp 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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.738
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 pti ibrs ibpb stibp 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	: 7000.23
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		: 3700.000
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 pti ibrs ibpb stibp 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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        84950280 kB
MemAvailable:   85058340 kB
Buffers:            3280 kB
Cached:           917268 kB
SwapCached:            0 kB
Active:         44828644 kB
Inactive:         707800 kB
Active(anon):   44633964 kB
Inactive(anon):        0 kB
Active(file):     194680 kB
Inactive(file):   707800 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             33348 kB
Writeback:             0 kB
AnonPages:      44619108 kB
Mapped:           110360 kB
Shmem:             18068 kB
KReclaimable:      89640 kB
Slab:             175648 kB
SReclaimable:      89640 kB
SUnreclaim:        86008 kB
KernelStack:        4288 kB
PageTables:        90600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   47388880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20582400 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432604 MiB
End job on nodeC014 at 2025-06-29 14:40:05