Trace number 4427161

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? 158.046 158.452

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
graphs/normalized-graph11reduc_wcsp.wbo
MD5SUM4f9f31b2d576e76fab744cedabc86032
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1810
Best CPU time to get the best result obtained on this benchmark3128.81
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5855
Total number of constraints283196
Number of soft constraints282856
Number of constraints which are clauses282856
Number of constraints which are cardinality constraints (but not clauses)340
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 3080
Min constraint cost 1
Max constraint cost 3080
Sum of constraints costs 64455868
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
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-4427161-1720909288.wbo
157.59/158.03	c OutOfMemory in glueminisat
157.59/158.03	c Out of Memory in adding a clause to glueminisat
157.59/158.03	c 
157.59/158.03	c *** TERMINATED *** by signal 15
157.59/158.03	s UNKNOWN
157.59/158.03	c _____________________________________________________________________________
157.59/158.03	c 
157.59/158.03	c std/band forms        : 227,0
157.59/158.03	c 2cl/3cl ITE-codings   : 5283,0
157.59/158.03	c BDD/srt/adr Max costs : 85,105805444,0
157.59/158.03	c BDDraw/bin/mul/srt/adr: 226,0,0,1,0
157.59/158.03	c BDD nodes             : 11018
157.59/158.03	c Es1/CC detections     : 0,0
157.59/158.03	c SAT/UNSAT calls       : 0,0
157.59/158.03	c regenrated variables  : 0
157.59/158.03	c restarts              : 0
157.59/158.03	c conflicts             : 0              (0 /sec)
157.59/158.03	c decisions             : 0              (0 /sec)
157.59/158.03	c propagations          : 0              (0 /sec)
157.59/158.03	c inspects              : 0              (0 /sec)
157.59/158.03	c CPU time (solving tm) : 149.8 s        (0 s)
157.59/158.03	c Time for Opt-base     : 24.59 s
157.59/158.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 (55310 MiB free)
  memory of node 1: 64473 MiB (44806 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4427161-1720909288/watcher-4427161-1720909288 -o /tmp/evaluation-result-4427161-1720909288/solver-4427161-1720909288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1720905520-740086 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427161-1720909288.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10097 s]*
/proc/loadavg: 4.15 4.16 4.11 5/259 744060
/proc/meminfo: memFree=102504792/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=15520 memory=9864 CPUtime=0.09 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 2220 0 0 0 9 0 0 0 20 0 1 0 143091235 15892480 2466 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 3880 2466 405 379 0 3414 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25452 KiB
Current children cumulated memory: 12636 KiB

[startup+0.205659 s]*
/proc/loadavg: 4.15 4.16 4.11 5/259 744060
/proc/meminfo: memFree=102440716/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=21356 memory=16436 CPUtime=0.19 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 3915 0 0 0 19 0 0 0 20 0 1 0 143091235 21868544 4109 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 5339 4109 405 379 0 4873 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 31288 KiB
Current children cumulated memory: 19208 KiB

[startup+0.305613 s]*
/proc/loadavg: 4.15 4.16 4.11 5/259 744060
/proc/meminfo: memFree=102356864/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=28392 memory=23452 CPUtime=0.3 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 5844 0 0 0 29 1 0 0 20 0 1 0 143091235 29073408 5863 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 7098 5863 405 379 0 6632 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38324 KiB
Current children cumulated memory: 26224 KiB

[startup+0.700253 s]
/proc/loadavg: 4.15 4.16 4.11 5/259 744060
/proc/meminfo: memFree=102224160/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=54276 memory=50536 CPUtime=0.69 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 11962 0 0 0 67 2 0 0 20 0 1 0 143091235 55578624 12634 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 13569 12634 405 379 0 13103 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 64208 KiB
Current children cumulated memory: 53308 KiB

[startup+1.50023 s]
/proc/loadavg: 4.15 4.16 4.11 5/259 744060
/proc/meminfo: memFree=102194896/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=112760 memory=104080 CPUtime=1.48 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 25077 0 0 0 144 4 0 0 20 0 1 0 143091235 115466240 26020 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 28190 26020 405 379 0 27724 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 122692 KiB
Current children cumulated memory: 106852 KiB

[startup+3.10544 s]
/proc/loadavg: 4.15 4.16 4.11 5/259 744060
/proc/meminfo: memFree=101971968/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=315832 memory=302824 CPUtime=3.08 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 69975 0 0 0 296 12 0 0 20 0 1 0 143091235 323411968 75706 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 78958 75706 421 379 0 78492 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 325764 KiB
Current children cumulated memory: 305596 KiB

[startup+6.30025 s]
/proc/loadavg: 4.22 4.18 4.12 5/259 744060
/proc/meminfo: memFree=101971980/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=315832 memory=302824 CPUtime=6.27 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 69977 0 0 0 615 12 0 0 20 0 1 0 143091235 323411968 75706 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 78958 75706 421 379 0 78492 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 325764 KiB
Current children cumulated memory: 305596 KiB

[startup+12.7003 s]
/proc/loadavg: 4.20 4.18 4.11 5/259 744062
/proc/meminfo: memFree=101971924/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=315832 memory=302824 CPUtime=12.65 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 69979 0 0 0 1253 12 0 0 20 0 1 0 143091235 323411968 75706 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 78958 75706 421 379 0 78492 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 325764 KiB
Current children cumulated memory: 305596 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.17 4.11 5/259 744063
/proc/meminfo: memFree=101164168/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=315832 memory=302824 CPUtime=25.42 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 69982 0 0 0 2530 12 0 0 20 0 1 0 143091235 323411968 75706 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 78958 75706 421 379 0 78492 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 325764 KiB
Current children cumulated memory: 305596 KiB

[startup+51.1055 s]
/proc/loadavg: 4.17 4.17 4.11 5/258 744068
/proc/meminfo: memFree=95527400/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=3408632 memory=3205232 CPUtime=50.96 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 337472 0 0 0 4979 117 0 0 20 0 1 0 143091235 3490439168 801308 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 852158 801308 421 379 0 851692 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3418564 KiB
Current children cumulated memory: 3208004 KiB

[startup+102.3 s]
/proc/loadavg: 4.36 4.21 4.13 5/258 744077
/proc/meminfo: memFree=80072044/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=10745652 memory=9534372 CPUtime=102.02 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 812693 0 0 0 9893 309 0 0 20 0 1 0 143091235 11003547648 2383593 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 2686413 2383593 421 379 0 2685947 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 10755584 KiB
Current children cumulated memory: 9537144 KiB

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

# cumulated CPU time of all completed processes:  user=149.802 s, system=8.24339 s

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

[startup+102.4 s]
/proc/loadavg: 4.36 4.21 4.13 5/258 744077
/proc/meminfo: memFree=80072044/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=10757004 memory=9566956 CPUtime=102.12 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 815734 0 0 0 9902 310 0 0 20 0 1 0 143091235 11015172096 2391739 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 2689251 2391739 421 379 0 2688785 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 10766936 KiB
Current children cumulated memory: 9569728 KiB

[startup+128 s]*
/proc/loadavg: 4.42 4.24 4.14 5/258 744082
/proc/meminfo: memFree=63882612/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=19283200 memory=17564040 CPUtime=127.66 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 1387802 0 0 0 12239 527 0 0 20 0 1 0 143091235 19745996800 4391010 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 4820800 4391010 421 379 0 4820334 0
Current children cumulated CPU time: 127.66 s
Current children cumulated vsize: 19293132 KiB
Current children cumulated memory: 17566812 KiB

[startup+140.8 s]
/proc/loadavg: 4.40 4.24 4.14 6/258 744087
/proc/meminfo: memFree=56767700/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=24535336 memory=21615900 CPUtime=140.42 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 1691305 0 0 0 13400 642 0 0 20 0 1 0 143091235 25124184064 5403975 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 6133834 5403975 421 379 0 6133368 0
Current children cumulated CPU time: 140.42 s
Current children cumulated vsize: 24545268 KiB
Current children cumulated memory: 21618672 KiB

[startup+147.2 s]
/proc/loadavg: 4.36 4.24 4.14 5/257 744087
/proc/meminfo: memFree=62089468/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=27870180 memory=23347448 CPUtime=146.81 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 1824342 0 0 0 13989 692 0 0 20 0 1 0 143091235 28539064320 5836862 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 6967545 5836862 421 379 0 6967079 0
Current children cumulated CPU time: 146.81 s
Current children cumulated vsize: 27880112 KiB
Current children cumulated memory: 23350220 KiB

[startup+153.6 s]
/proc/loadavg: 4.26 4.22 4.13 4/250 744119
/proc/meminfo: memFree=77875284/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=28399764 memory=25064936 CPUtime=153.19 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 1958865 0 0 0 14581 738 0 0 20 0 1 0 143091235 29081358336 6266234 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 7099941 6266234 421 379 0 7099475 0
Current children cumulated CPU time: 153.19 s
Current children cumulated vsize: 28409696 KiB
Current children cumulated memory: 25067708 KiB

[startup+156.8 s]
/proc/loadavg: 4.15 4.20 4.13 4/250 744119
/proc/meminfo: memFree=76866012/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=30574936 memory=26147804 CPUtime=156.38 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 2032646 0 0 0 14865 773 0 0 20 0 1 0 143091235 31308734464 6536951 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 7643734 6536951 421 379 0 7643268 0
Current children cumulated CPU time: 156.38 s
Current children cumulated vsize: 30584868 KiB
Current children cumulated memory: 26150576 KiB

[startup+157.6 s]
/proc/loadavg: 4.15 4.20 4.13 4/250 744119
/proc/meminfo: memFree=76579744/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=30635788 memory=26349824 CPUtime=157.19 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 2047932 0 0 0 14940 779 0 0 20 0 1 0 143091235 31371046912 6587456 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 7658947 6587456 421 379 0 7658481 0
Current children cumulated CPU time: 157.19 s
Current children cumulated vsize: 30645720 KiB
Current children cumulated memory: 26352596 KiB

[startup+158 s]*
/proc/loadavg: 4.15 4.20 4.13 4/250 744121
/proc/meminfo: memFree=76332228/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
[pid=744060] ppid=744055 vsize=30666412 memory=26445112 CPUtime=157.59 cores=1,3
/proc/744060/stat : 744060 (naps-1.02b5) R 744055 744055 737802 0 -1 4194304 2055867 0 0 0 14977 782 0 0 20 0 1 0 143091235 31402405888 6611278 134679101440 4194304 5746509 140726392207792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15446016 140726392210367 140726392210481 140726392210481 140726392217545 0
/proc/744060/statm: 7666603 6611278 421 379 0 7666137 0
Current children cumulated CPU time: 157.59 s
Current children cumulated vsize: 30676344 KiB
Current children cumulated memory: 26447884 KiB

[startup+158.4 s]
/proc/loadavg: 4.15 4.20 4.13 4/250 744121
/proc/meminfo: memFree=76332228/131524600 swapFree=131071996/131071996
[pid=744055] ppid=744052 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/744055/stat : 744055 (naps-1.02b5.sh) S 744052 744055 737802 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 143091235 10170368 693 134679101440 94605756989440 94605758068760 140730591720400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94605760167216 94605760214404 94605762961408 140730591724464 140730591724591 140730591724591 140730591731654 0
/proc/744055/statm: 2483 693 616 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2772 KiB

Child status: 0

Real time (s): 158.452
CPU time (s): 158.046
CPU user time (s): 149.802
CPU system time (s): 8.24339
CPU usage (%): 99.7437
Max. virtual memory (cumulated for all children) (KiB): 30684840
Max. memory (cumulated for all children) (KiB): 26447884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.802
system time used= 8.24339
maximum resident set size= 26454160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2057043
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= 12
involuntary context switches= 194


# summary of solver processes directly reported to runsolver:
#   pid: 744055
#   total CPU time (s): 158.046
#   total CPU user time (s): 149.802
#   total CPU system time (s): 8.24339

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.360814 second user time and 0.724251 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-14 00:21:40
IDJOB=4427161
IDBENCH=144141
IDSOLVER=3045
FILE ID=nodeC018/4427161-1720909288
RUNJOBID= nodeC018-1720905520-740086
SLURM_JOB_ID= 7486067
Free space on /tmp= 890044 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph11reduc_wcsp.wbo
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4427161-1720909288/watcher-4427161-1720909288 -o /tmp/evaluation-result-4427161-1720909288/solver-4427161-1720909288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1720905520-740086 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4427161-1720909288.wbo

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

MD5SUM BENCH= 4f9f31b2d576e76fab744cedabc86032
RANDOM SEED=746888347

nodeC018.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		: 3667.487
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.52
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		: 3652.657
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.30
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.914
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.52
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		: 3671.696
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.30
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		: 3667.557
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.52
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		: 3669.974
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.30
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.913
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.52
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		: 3630.580
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        102512696 kB
MemAvailable:   102431828 kB
Buffers:          327928 kB
Cached:           437572 kB
SwapCached:            0 kB
Active:           494268 kB
Inactive:       27900268 kB
Active(anon):       1604 kB
Inactive(anon): 27665460 kB
Active(file):     492664 kB
Inactive(file):   234808 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             32288 kB
Writeback:            36 kB
AnonPages:      27627236 kB
Mapped:           108624 kB
Shmem:             37712 kB
KReclaimable:      62968 kB
Slab:             163968 kB
SReclaimable:      62968 kB
SUnreclaim:       101000 kB
KernelStack:        4144 kB
PageTables:        63356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   30845732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55264 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12302336 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:      209620 kB
DirectMap2M:    10049536 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC018 at 2024-07-14 00:24:19