Trace number 4463772

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-GM 1.03a2? (exit code) 384.589 392.556

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/pedigree/
normalized-sheep4nr_wcsp.wbo
MD5SUM4e6635c5c95c47c2cfb6034439056f8c
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark241.566
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables89900
Total number of constraints5924003
Number of soft constraints5915013
Number of constraints which are clauses5915013
Number of constraints which are cardinality constraints (but not clauses)8990
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Top cost 2482
Min constraint cost 1
Max constraint cost 2482
Sum of constraints costs 14625664017
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
Number of bits of the biggest sum of numbers4
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.03a2.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4463772-1722353915.wbo
0.00/0.00	c Initial goal by soft: 2481
81.32/81.56	c single stage optimization mode
281.57/282.27	c Found but not a solution: 8332275
380.85/381.72	terminate called after throwing an instance of 'GlueMiniSat::OutOfMemoryException'
0.00/392.55	HOME/naps-1.03.sh: line 6: 15756 Aborted                 (core dumped) ${self_dir}/naps-1.03a2 ${@}

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: 64059 MiB (41189 MiB free)
  memory of node 1: 64510 MiB (39713 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463772-1722353915/watcher-4463772-1722353915 -o /tmp/evaluation-result-4463772-1722353915/solver-4463772-1722353915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722352577-13563 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463772-1722353915.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=15751, runsolver pid=15748
Current StackSize limit: 8192 KiB


[startup+0.10074 s]*
/proc/loadavg: 4.16 4.15 3.65 5/245 15756
/proc/meminfo: memFree=82833356/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=18936 memory=12352 CPUtime=0.09 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 2866 0 0 0 9 0 0 0 20 0 1 0 1987372 19390464 3088 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 4734 3088 436 659 0 3938 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28868 KiB
Current children cumulated memory: 15032 KiB

[startup+0.206108 s]*
/proc/loadavg: 4.16 4.15 3.65 5/245 15756
/proc/meminfo: memFree=82827212/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=23132 memory=16156 CPUtime=0.19 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 3833 0 0 0 19 0 0 0 20 0 1 0 1987372 23687168 4039 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 5783 4039 436 659 0 4987 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 33064 KiB
Current children cumulated memory: 18836 KiB

[startup+0.305619 s]*
/proc/loadavg: 4.15 4.14 3.65 5/245 15756
/proc/meminfo: memFree=82823376/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=26928 memory=19944 CPUtime=0.3 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 4794 0 0 0 29 1 0 0 20 0 1 0 1987372 27574272 4986 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 6732 4986 436 659 0 5936 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36860 KiB
Current children cumulated memory: 22624 KiB

[startup+0.700268 s]
/proc/loadavg: 4.15 4.14 3.65 5/245 15756
/proc/meminfo: memFree=82814836/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=42716 memory=35076 CPUtime=0.68 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 8721 0 0 0 67 1 0 0 20 0 1 0 1987372 43741184 8769 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 10679 8769 436 659 0 9883 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52648 KiB
Current children cumulated memory: 37756 KiB

[startup+1.50041 s]
/proc/loadavg: 4.15 4.14 3.65 5/245 15756
/proc/meminfo: memFree=82789916/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=78932 memory=70604 CPUtime=1.48 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 17539 0 0 0 144 4 0 0 20 0 1 0 1987372 80826368 17651 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 19733 17651 436 659 0 18937 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 88864 KiB
Current children cumulated memory: 73284 KiB

[startup+3.11285 s]
/proc/loadavg: 4.15 4.14 3.65 5/245 15757
/proc/meminfo: memFree=82702612/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=163248 memory=143744 CPUtime=3.09 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 35593 0 0 0 301 8 0 0 20 0 1 0 1987372 167165952 35936 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 40812 35936 436 659 0 40016 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 173180 KiB
Current children cumulated memory: 146424 KiB

[startup+6.30039 s]
/proc/loadavg: 4.14 4.14 3.66 5/245 15757
/proc/meminfo: memFree=82530824/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=368076 memory=320656 CPUtime=6.27 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 66572 0 0 0 611 16 0 0 20 0 1 0 1987372 376909824 80164 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 92019 80164 436 659 0 91223 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 378008 KiB
Current children cumulated memory: 323336 KiB

[startup+12.7004 s]
/proc/loadavg: 4.21 4.16 3.66 5/245 15757
/proc/meminfo: memFree=82190096/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=715940 memory=668428 CPUtime=12.65 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 108673 0 0 0 1235 30 0 0 20 0 1 0 1987372 733122560 167107 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 178985 167107 436 659 0 178189 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 725872 KiB
Current children cumulated memory: 671108 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.15 3.67 5/245 15760
/proc/meminfo: memFree=81518824/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=1404416 memory=1333788 CPUtime=25.42 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 184875 0 0 0 2487 55 0 0 20 0 1 0 1987372 1438121984 333447 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 351104 333447 436 659 0 350308 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1414348 KiB
Current children cumulated memory: 1336468 KiB

[startup+51.1132 s]
/proc/loadavg: 4.11 4.14 3.68 5/246 15765
/proc/meminfo: memFree=79388528/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=3743620 memory=3471360 CPUtime=50.98 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 482297 0 0 0 4973 125 0 0 20 0 1 0 1987372 3833466880 867840 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 935905 867840 436 659 0 935109 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 3753552 KiB
Current children cumulated memory: 3474040 KiB

[startup+102.3 s]
/proc/loadavg: 4.31 4.18 3.72 5/246 15774
/proc/meminfo: memFree=78383436/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=4757244 memory=4443876 CPUtime=102.07 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 733333 0 0 0 10035 172 0 0 20 0 1 0 1987372 4871417856 1110969 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 1189311 1110969 468 659 0 1188515 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 4767176 KiB
Current children cumulated memory: 4446556 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.16 3.75 5/249 15790
/proc/meminfo: memFree=78396872/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=4757244 memory=4443932 CPUtime=161.94 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 733915 0 0 0 16021 173 0 0 20 0 1 0 1987372 4871417856 1110983 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 1189311 1110983 468 659 0 1188515 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 4767176 KiB
Current children cumulated memory: 4446612 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.13 3.76 5/249 15800
/proc/meminfo: memFree=78363168/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=4757244 memory=4443932 CPUtime=221.8 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 734522 0 0 0 22006 174 0 0 20 0 1 0 1987372 4871417856 1110983 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 1189311 1110983 468 659 0 1188515 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 4767176 KiB
Current children cumulated memory: 4446612 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.15 3.80 5/249 15811
/proc/meminfo: memFree=78336392/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=4757244 memory=4443932 CPUtime=281.67 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 735200 0 0 0 27992 175 0 0 20 0 1 0 1987372 4871417856 1110983 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 1189311 1110983 468 659 0 1188515 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 4767176 KiB
Current children cumulated memory: 4446612 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.15 3.82 5/249 15821
/proc/meminfo: memFree=66351284/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=17940480 memory=16586776 CPUtime=341.54 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 2121853 0 0 0 33614 540 0 0 20 0 1 0 1987372 18371051520 4146694 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 4485120 4146694 468 659 0 4484324 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 17950412 KiB
Current children cumulated memory: 16589456 KiB

[startup+392.556 s]
# the end of solver process 15751 was just reported to runsolver
# Child status: 134

# cumulated CPU time of all completed processes:  user=372.08 s, system=12.5082 s

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

[startup+358.4 s]
/proc/loadavg: 4.12 4.14 3.83 5/248 15824
/proc/meminfo: memFree=61736912/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=23525188 memory=21239968 CPUtime=357.6 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 2696728 0 0 0 35073 687 0 0 20 0 1 0 1987372 24089792512 5309992 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 5881297 5309992 468 659 0 5880501 0
Current children cumulated CPU time: 357.6 s
Current children cumulated vsize: 23535120 KiB
Current children cumulated memory: 21242648 KiB

[startup+371.2 s]
/proc/loadavg: 4.16 4.15 3.83 5/248 15827
/proc/meminfo: memFree=57765056/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=27775756 memory=25011416 CPUtime=370.38 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4194304 3158744 0 0 0 36239 799 0 0 20 0 1 0 1987372 28442374144 6252854 134679101440 4194304 6891597 140723226548128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 6943939 6252854 468 659 0 6943143 0
Current children cumulated CPU time: 370.38 s
Current children cumulated vsize: 27785688 KiB
Current children cumulated memory: 25014096 KiB

[startup+384.001 s]*
/proc/loadavg: 4.14 4.14 3.84 5/249 15832
/proc/meminfo: memFree=53088180/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=31634552 memory=27831292 CPUtime=382.88 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) R 15751 15751 13552 0 -1 4195840 3516198 0 0 0 37207 1081 0 0 20 0 1 0 1987372 32393781248 6957823 134679101440 4194304 6891597 140723226548128 140723226540304 6272956 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 7908638 6957823 511 659 0 7907842 0
Current children cumulated CPU time: 382.88 s
Current children cumulated vsize: 31644484 KiB
Current children cumulated memory: 27833972 KiB

[startup+387.2 s]
/proc/loadavg: 4.13 4.14 3.84 4/249 15832
/proc/meminfo: memFree=52140012/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=31634552 memory=27831292 CPUtime=383.25 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) S 15751 15751 13552 0 -1 4195840 3516198 0 0 0 37207 1118 0 0 20 0 1 0 1987372 32393781248 6957823 134679101440 4194304 6891597 140723226548128 140723226540304 6272956 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 7908638 6957823 511 659 0 7907842 0
Current children cumulated CPU time: 383.25 s
Current children cumulated vsize: 31644484 KiB
Current children cumulated memory: 27833972 KiB

[startup+390.4 s]
/proc/loadavg: 4.13 4.14 3.84 4/249 15832
/proc/meminfo: memFree=52135800/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=31634552 memory=27831292 CPUtime=383.25 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) S 15751 15751 13552 0 -1 4195840 3516198 0 0 0 37207 1118 0 0 20 0 1 0 1987372 32393781248 6957823 134679101440 4194304 6891597 140723226548128 140723226540304 6272956 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 7908638 6957823 511 659 0 7907842 0
Current children cumulated CPU time: 383.25 s
Current children cumulated vsize: 31644484 KiB
Current children cumulated memory: 27833972 KiB

[startup+391.2 s]
/proc/loadavg: 4.12 4.14 3.84 5/249 15832
/proc/meminfo: memFree=53708888/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
[pid=15756] ppid=15751 vsize=31634552 memory=27831292 CPUtime=383.25 cores=4,6
/proc/15756/stat : 15756 (naps-1.03a2) S 15751 15751 13552 0 -1 4195840 3516198 0 0 0 37207 1118 0 0 20 0 1 0 1987372 32393781248 6957823 134679101440 4194304 6891597 140723226548128 140723226540304 6272956 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 32608256 140723226555370 140723226555488 140723226555488 140723226562505 0
/proc/15756/statm: 7908638 6957823 511 659 0 7907842 0
Current children cumulated CPU time: 383.25 s
Current children cumulated vsize: 31644484 KiB
Current children cumulated memory: 27833972 KiB

[startup+392.001 s]*
/proc/loadavg: 4.12 4.14 3.84 6/250 15839
/proc/meminfo: memFree=66466220/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2680 KiB

[startup+392.4 s]
/proc/loadavg: 4.12 4.14 3.84 6/250 15839
/proc/meminfo: memFree=66466220/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2680 KiB

[startup+392.5 s]
/proc/loadavg: 4.12 4.14 3.84 6/250 15839
/proc/meminfo: memFree=66466220/131655788 swapFree=131071996/131071996
[pid=15751] ppid=15748 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/15751/stat : 15751 (naps-1.03.sh) S 15748 15751 13552 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 1987371 10170368 670 134679101440 94373127569408 94373128648728 140728401850096 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94373130747184 94373130794372 94373157486592 140728401855455 140728401855584 140728401855584 140728401862600 0
/proc/15751/statm: 2483 670 591 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2680 KiB

Child status: 134

Real time (s): 392.556
CPU time (s): 384.589
CPU user time (s): 372.08
CPU system time (s): 12.5082
CPU usage (%): 97.9703
Max. virtual memory (cumulated for all children) (KiB): 31644484
Max. memory (cumulated for all children) (KiB): 27833972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 372.08
system time used= 12.5082
maximum resident set size= 27831296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3516679
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= 25
involuntary context switches= 364


# summary of solver processes directly reported to runsolver:
#   pid: 15751
#   total CPU time (s): 384.589
#   total CPU user time (s): 372.08
#   total CPU system time (s): 12.5082

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.91773 second user time and 4.1949 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-30 17:38:38
IDJOB=4463772
IDBENCH=144107
IDSOLVER=3091
FILE ID=nodeC002/4463772-1722353915
RUNJOBID= nodeC002-1722352577-13563
SLURM_JOB_ID= 8249032
Free space on /tmp= 723508 MiB

SOLVER NAME= NaPS-GM 1.03a2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/pedigree/normalized-sheep4nr_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463772-1722353915/watcher-4463772-1722353915 -o /tmp/evaluation-result-4463772-1722353915/solver-4463772-1722353915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722352577-13563 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4463772-1722353915.wbo

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

MD5SUM BENCH= 4e6635c5c95c47c2cfb6034439056f8c
RANDOM SEED=2119274510

nodeC002.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	: 0xb00001f
cpu MHz		: 3491.828
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.828
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.289
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.341
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.596
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.828
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3492.085
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.346
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        82845012 kB
MemAvailable:   86678056 kB
Buffers:           67020 kB
Cached:          4568616 kB
SwapCached:            0 kB
Active:           201612 kB
Inactive:       48007156 kB
Active(anon):       1940 kB
Inactive(anon): 43600704 kB
Active(file):     199672 kB
Inactive(file):  4406452 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            263952 kB
Writeback:             0 kB
AnonPages:      43572264 kB
Mapped:            97216 kB
Shmem:             29512 kB
KReclaimable:     133900 kB
Slab:             214292 kB
SReclaimable:     133900 kB
SUnreclaim:        80392 kB
KernelStack:        3952 kB
PageTables:        94680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   49784976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6400 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13047808 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:      179016 kB
DirectMap2M:    13357056 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 723504 MiB
End job on nodeC002 at 2024-07-30 17:45:10