Trace number 4448961

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-PB16 1.02b5? 2928.38 2938.42

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-dec.opb.negationfix.opb
MD5SUM44a06b858026053c767643b45aaff47c
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 benchmark0.390987
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables163584
Total number of constraints2812
Number of constraints which are clauses1277
Number of constraints which are cardinality constraints (but not clauses)1277
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1278
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 451455
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1069739
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.00	c NaPS 1.02b5.
0.00/0.00	c Input file name: HOME/instance-4448961-1721358703.opb
2927.95/2938.03	c OutOfMemory in glueminisat
2927.95/2938.03	c Out of Memory in adding a clause to glueminisat
2927.95/2938.03	c 
2927.95/2938.03	c *** TERMINATED *** by signal 15
2927.95/2938.03	s UNKNOWN
2927.95/2938.03	c _____________________________________________________________________________
2927.95/2938.03	c 
2927.95/2938.03	c std/band forms        : 1789,0
2927.95/2938.03	c 2cl/3cl ITE-codings   : 6762,0
2927.95/2938.03	c BDD/srt/adr Max costs : 630414,550770,0
2927.95/2938.03	c BDDraw/bin/mul/srt/adr: 1535,0,0,254,0
2927.95/2938.03	c BDD nodes             : 290346151
2927.95/2938.03	c Es1/CC detections     : 0,0
2927.95/2938.03	c SAT/UNSAT calls       : 0,0
2927.95/2938.03	c regenrated variables  : 0
2927.95/2938.03	c restarts              : 0
2927.95/2938.03	c conflicts             : 0              (0 /sec)
2927.95/2938.03	c decisions             : 0              (0 /sec)
2927.95/2938.03	c propagations          : 0              (0 /sec)
2927.95/2938.03	c inspects              : 0              (0 /sec)
2927.95/2938.03	c CPU time (solving tm) : 2920 s        (0 s)
2927.95/2938.03	c Time for Opt-base     : 124.8 s
2927.95/2938.03	c _____________________________________________________________________________

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61131 MiB free)
  memory of node 1: 64473 MiB (61507 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448961-1721358703/watcher-4448961-1721358703 -o /tmp/evaluation-result-4448961-1721358703/solver-4448961-1721358703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721351488-989672 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4448961-1721358703.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=996441, runsolver pid=996438

[startup+0.100091 s]*
/proc/loadavg: 4.09 4.16 4.11 5/261 996446
/proc/meminfo: memFree=125568472/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=22152 memory=14956 CPUtime=0.09 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 3543 0 0 0 9 0 0 0 20 0 1 0 188039279 22683648 3739 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 5538 3739 405 379 0 5072 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32084 KiB
Current children cumulated memory: 17812 KiB

[startup+0.205747 s]*
/proc/loadavg: 4.09 4.16 4.11 5/261 996446
/proc/meminfo: memFree=125554892/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=36360 memory=28572 CPUtime=0.2 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 7106 0 0 0 19 1 0 0 20 0 1 0 188039279 37232640 7143 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 9090 7143 405 379 0 8624 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46292 KiB
Current children cumulated memory: 31428 KiB

[startup+0.305671 s]*
/proc/loadavg: 4.09 4.16 4.11 5/261 996446
/proc/meminfo: memFree=125540948/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=50808 memory=41460 CPUtime=0.3 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 10700 0 0 0 28 2 0 0 20 0 1 0 188039279 52027392 10365 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 12702 10365 405 379 0 12236 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60740 KiB
Current children cumulated memory: 44316 KiB

[startup+0.700272 s]
/proc/loadavg: 4.09 4.16 4.11 5/261 996446
/proc/meminfo: memFree=125516444/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=85552 memory=74536 CPUtime=0.68 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 18980 0 0 0 65 3 0 0 20 0 1 0 188039279 87605248 18634 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 21388 18634 405 379 0 20922 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 95484 KiB
Current children cumulated memory: 77392 KiB

[startup+1.50027 s]
/proc/loadavg: 4.09 4.16 4.11 5/261 996446
/proc/meminfo: memFree=125488220/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=122200 memory=104632 CPUtime=1.48 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 26536 0 0 0 143 5 0 0 20 0 1 0 188039279 125132800 26158 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 30550 26158 405 379 0 30084 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 132132 KiB
Current children cumulated memory: 107488 KiB

[startup+3.10597 s]
/proc/loadavg: 4.09 4.16 4.11 5/261 996446
/proc/meminfo: memFree=125318204/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=281668 memory=262956 CPUtime=3.08 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 64286 0 0 0 296 12 0 0 20 0 1 0 188039279 288428032 65739 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 70417 65739 421 379 0 69951 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 291600 KiB
Current children cumulated memory: 265812 KiB

[startup+6.30026 s]
/proc/loadavg: 4.08 4.16 4.11 5/261 996447
/proc/meminfo: memFree=125002504/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=605076 memory=585100 CPUtime=6.27 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 140068 0 0 0 601 26 0 0 20 0 1 0 188039279 619597824 146275 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 151269 146275 421 379 0 150803 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 615008 KiB
Current children cumulated memory: 587956 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.17 4.12 5/261 996447
/proc/meminfo: memFree=124771860/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=780848 memory=759300 CPUtime=12.65 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 183156 0 0 0 1231 34 0 0 20 0 1 0 188039279 799588352 189825 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 195212 189825 421 379 0 194746 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 790780 KiB
Current children cumulated memory: 762156 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.16 4.12 5/261 996450
/proc/meminfo: memFree=124697980/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=820008 memory=794892 CPUtime=25.4 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 186624 0 0 0 2505 35 0 0 20 0 1 0 188039279 839688192 198723 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 205002 198723 421 379 0 204536 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 829940 KiB
Current children cumulated memory: 797748 KiB

[startup+51.1059 s]
/proc/loadavg: 4.22 4.18 4.12 5/261 996454
/proc/meminfo: memFree=124419388/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=860248 memory=832456 CPUtime=50.93 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 193512 0 0 0 5055 38 0 0 20 0 1 0 188039279 880893952 208114 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 215062 208114 421 379 0 214596 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 870180 KiB
Current children cumulated memory: 835312 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/261 996463
/proc/meminfo: memFree=124283696/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=966492 memory=941764 CPUtime=101.95 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 204948 0 0 0 10151 44 0 0 20 0 1 0 188039279 989687808 235441 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 241623 235441 421 379 0 241157 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 976424 KiB
Current children cumulated memory: 944620 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/261 996474
/proc/meminfo: memFree=124056576/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=1135060 memory=1113624 CPUtime=161.75 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 220004 0 0 0 16124 51 0 0 20 0 1 0 188039279 1162301440 278406 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 283765 278406 421 379 0 283299 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1144992 KiB
Current children cumulated memory: 1116480 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/261 996485
/proc/meminfo: memFree=123953176/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=1234444 memory=1190604 CPUtime=221.52 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 233974 0 0 0 22097 55 0 0 20 0 1 0 188039279 1264070656 297651 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 308611 297651 421 379 0 308145 0
Current children cumulated CPU time: 221.52 s

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

/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=7521720 memory=7165420 CPUtime=2613.27 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 880290 0 0 0 261014 313 0 0 20 0 1 0 188039279 7702241280 1791355 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 1880430 1791355 421 379 0 1879964 0
Current children cumulated CPU time: 2613.27 s
Current children cumulated vsize: 7531652 KiB
Current children cumulated memory: 7168276 KiB

[startup+2682.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/259 998085
/proc/meminfo: memFree=104341348/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=7574124 memory=7242588 CPUtime=2673.07 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 896519 0 0 0 266988 319 0 0 20 0 1 0 188039279 7755902976 1810647 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 1893531 1810647 421 379 0 1893065 0
Current children cumulated CPU time: 2673.07 s
Current children cumulated vsize: 7584056 KiB
Current children cumulated memory: 7245444 KiB

[startup+2742.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/259 998097
/proc/meminfo: memFree=103974276/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=7639728 memory=7340700 CPUtime=2732.87 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 916137 0 0 0 272963 324 0 0 20 0 1 0 188039279 7823081472 1835175 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 1909932 1835175 421 379 0 1909466 0
Current children cumulated CPU time: 2732.87 s
Current children cumulated vsize: 7649660 KiB
Current children cumulated memory: 7343556 KiB

[startup+2802.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 998107
/proc/meminfo: memFree=103631668/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=7691604 memory=7423564 CPUtime=2792.67 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 931991 0 0 0 278939 328 0 0 20 0 1 0 188039279 7876202496 1855891 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 1922901 1855891 421 379 0 1922435 0
Current children cumulated CPU time: 2792.67 s
Current children cumulated vsize: 7701536 KiB
Current children cumulated memory: 7426420 KiB

[startup+2862.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/259 998285
/proc/meminfo: memFree=103292136/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=7757076 memory=7517680 CPUtime=2852.47 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 951746 0 0 0 284914 333 0 0 20 0 1 0 188039279 7943245824 1879420 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 1939269 1879420 421 379 0 1938803 0
Current children cumulated CPU time: 2852.47 s
Current children cumulated vsize: 7767008 KiB
Current children cumulated memory: 7520536 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/259 998295
/proc/meminfo: memFree=90230732/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=23748568 memory=20420256 CPUtime=2912.29 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 1765121 0 0 0 290568 661 0 0 20 0 1 0 188039279 24318533632 5105064 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 5937142 5105064 421 379 0 5936676 0
Current children cumulated CPU time: 2912.29 s
Current children cumulated vsize: 23758500 KiB
Current children cumulated memory: 20423112 KiB

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

# cumulated CPU time of all completed processes:  user=2919.81 s, system=8.57173 s

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

[startup+2931.2 s]
/proc/loadavg: 4.18 4.14 4.10 5/259 998297
/proc/meminfo: memFree=86714324/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=27566268 memory=23846648 CPUtime=2921.16 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 2019789 0 0 0 291369 747 0 0 20 0 1 0 188039279 28227858432 5961662 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 6891567 5961662 421 379 0 6891101 0
Current children cumulated CPU time: 2921.16 s
Current children cumulated vsize: 27576200 KiB
Current children cumulated memory: 23849504 KiB

[startup+2934.4 s]
/proc/loadavg: 4.17 4.14 4.10 5/259 998299
/proc/meminfo: memFree=85563200/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=27934152 memory=25064400 CPUtime=2924.35 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 2112213 0 0 0 291660 775 0 0 20 0 1 0 188039279 28604571648 6266100 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 6983538 6266100 421 379 0 6983072 0
Current children cumulated CPU time: 2924.35 s
Current children cumulated vsize: 27944084 KiB
Current children cumulated memory: 25067256 KiB

[startup+2936 s]*
/proc/loadavg: 4.17 4.14 4.10 5/259 998300
/proc/meminfo: memFree=84658516/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=30256704 memory=25789848 CPUtime=2925.96 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 2157896 0 0 0 291796 800 0 0 20 0 1 0 188039279 30982864896 6447462 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 7564176 6447462 421 379 0 7563710 0
Current children cumulated CPU time: 2925.96 s
Current children cumulated vsize: 30266636 KiB
Current children cumulated memory: 25792704 KiB

[startup+2937.6 s]
/proc/loadavg: 4.17 4.14 4.10 5/259 998300
/proc/meminfo: memFree=84282048/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=30439788 memory=26398860 CPUtime=2927.54 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 2203901 0 0 0 291940 814 0 0 20 0 1 0 188039279 31170342912 6599715 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 7609947 6599715 421 379 0 7609481 0
Current children cumulated CPU time: 2927.54 s
Current children cumulated vsize: 30449720 KiB
Current children cumulated memory: 26401716 KiB

[startup+2938 s]*
/proc/loadavg: 4.17 4.14 4.10 5/259 998300
/proc/meminfo: memFree=83887772/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
[pid=996446] ppid=996441 vsize=30487308 memory=26559044 CPUtime=2927.95 cores=0,2
/proc/996446/stat : 996446 (naps-1.02b5) R 996441 996441 989662 0 -1 4194304 2215857 0 0 0 291977 818 0 0 20 0 1 0 188039279 31219003392 6639761 134679101440 4194304 5746509 140737148165248 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 38993920 140737148171246 140737148171360 140737148171360 140737148178377 0
/proc/996446/statm: 7621827 6639761 421 379 0 7621361 0
Current children cumulated CPU time: 2927.95 s
Current children cumulated vsize: 30497240 KiB
Current children cumulated memory: 26561900 KiB

[startup+2938.4 s]
/proc/loadavg: 4.17 4.14 4.10 5/259 998300
/proc/meminfo: memFree=83887772/131524600 swapFree=131071996/131071996
[pid=996441] ppid=996438 vsize=9932 memory=2856 CPUtime=0 cores=0,2
/proc/996441/stat : 996441 (naps-1.02b5.sh) S 996438 996441 989662 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 188039278 10170368 714 134679101440 94497529479168 94497530558488 140727523791936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94497532656944 94497532704132 94497563254784 140727523800031 140727523800158 140727523800158 140727523807174 0
/proc/996441/statm: 2483 714 638 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2856 KiB

Child status: 0

Real time (s): 2938.42
CPU time (s): 2928.38
CPU user time (s): 2919.81
CPU system time (s): 8.57173
CPU usage (%): 99.6582
Max. virtual memory (cumulated for all children) (KiB): 30497240
Max. memory (cumulated for all children) (KiB): 26561900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2919.81
system time used= 8.57173
maximum resident set size= 26565400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2217373
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= 657
involuntary context switches= 20501


# summary of solver processes directly reported to runsolver:
#   pid: 996441
#   total CPU time (s): 2928.38
#   total CPU user time (s): 2919.81
#   total CPU system time (s): 8.57173

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.16182 second user time and 14.5728 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-19 05:11:56
IDJOB=4448961
IDBENCH=160472
IDSOLVER=3065
FILE ID=nodeC032/4448961-1721358703
RUNJOBID= nodeC032-1721351488-989672
SLURM_JOB_ID= 7542756
Free space on /tmp= 890056 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm90p-dec.opb.negationfix.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448961-1721358703/watcher-4448961-1721358703 -o /tmp/evaluation-result-4448961-1721358703/solver-4448961-1721358703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721351488-989672 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4448961-1721358703.opb

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

MD5SUM BENCH= 44a06b858026053c767643b45aaff47c
RANDOM SEED=670487027

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125582208 kB
MemAvailable:   128135456 kB
Buffers:          517872 kB
Cached:          2849792 kB
SwapCached:            0 kB
Active:           989404 kB
Inactive:        4290540 kB
Active(anon):       1588 kB
Inactive(anon):  1948404 kB
Active(file):     987816 kB
Inactive(file):  2342136 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             11112 kB
Writeback:             0 kB
AnonPages:       1911612 kB
Mapped:           111344 kB
Shmem:             37720 kB
KReclaimable:     126236 kB
Slab:             241948 kB
SReclaimable:     126236 kB
SUnreclaim:       115712 kB
KernelStack:        4192 kB
PageTables:        13084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2303028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70976 kB
HardwareCorrupted:     0 kB
AnonHugePages:    792576 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      226004 kB
DirectMap2M:    21567488 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC032 at 2024-07-19 06:00:54