Trace number 4434080

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 NameAnswerobjective functionCPU timeWall clock time
NaPS-GM 1.03? (exit code) 406.58 429.499

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
MD5SUM21308a801a9cbe43fb5a50efc40ff8ff
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5141383
Best CPU time to get the best result obtained on this benchmark66218.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 169112377
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 146273936801
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 169112377
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 146273936801
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c NaPS 1.03.
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-4434080-1721132777.opb
1.89/1.97	c single stage optimization mode
6.86/6.99	o 250536229
222.54/223.36	o 78269511
319.39/320.55	o 28951735
404.00/405.44	terminate called after throwing an instance of 'GlueMiniSat::OutOfMemoryException'
0.00/429.49	HOME/naps-1.03.sh: line 6: 853940 Aborted                 (core dumped) ${self_dir}/naps-1.03 ${@}

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 (42065 MiB free)
  memory of node 1: 64473 MiB (49327 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434080-1721132777/watcher-4434080-1721132777 -o /tmp/evaluation-result-4434080-1721132777/solver-4434080-1721132777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721128778-851259 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4434080-1721132777.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=853935, runsolver pid=853932

[startup+0.100081 s]*
/proc/loadavg: 4.75 4.26 4.10 6/262 853940
/proc/meminfo: memFree=93577732/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=17304 memory=10544 CPUtime=0.09 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 2367 0 0 0 9 0 0 0 20 0 1 0 165442679 17719296 2636 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 4326 2636 436 659 0 3530 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27236 KiB
Current children cumulated memory: 13296 KiB

[startup+0.204682 s]*
/proc/loadavg: 4.75 4.26 4.10 5/262 853940
/proc/meminfo: memFree=93571544/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=23068 memory=16380 CPUtime=0.19 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 3822 0 0 0 19 0 0 0 20 0 1 0 165442679 23621632 4095 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 5767 4095 436 659 0 4971 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 33000 KiB
Current children cumulated memory: 19132 KiB

[startup+0.305497 s]*
/proc/loadavg: 4.75 4.26 4.10 5/262 853940
/proc/meminfo: memFree=93564232/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=27608 memory=23332 CPUtime=0.29 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 5052 0 0 0 29 0 0 0 20 0 1 0 165442679 28270592 5833 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 6902 5833 436 659 0 6106 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37540 KiB
Current children cumulated memory: 26084 KiB

[startup+0.700234 s]
/proc/loadavg: 4.75 4.26 4.10 5/262 853940
/proc/meminfo: memFree=93561068/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=34508 memory=30404 CPUtime=0.69 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 7373 0 0 0 68 1 0 0 20 0 1 0 165442679 35336192 7601 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 8627 7601 468 659 0 7831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44440 KiB
Current children cumulated memory: 33156 KiB

[startup+1.50022 s]
/proc/loadavg: 4.75 4.26 4.10 5/262 853940
/proc/meminfo: memFree=93552152/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=211964 memory=194880 CPUtime=1.48 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 36783 0 0 0 141 7 0 0 20 0 1 0 165442679 217051136 48720 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 52991 48720 468 659 0 52195 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 221896 KiB
Current children cumulated memory: 197632 KiB

[startup+3.10548 s]
/proc/loadavg: 4.75 4.26 4.10 6/262 853940
/proc/meminfo: memFree=93171428/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=465928 memory=419708 CPUtime=3.08 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 55763 0 0 0 294 14 0 0 20 0 1 0 165442679 477110272 104927 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 116482 104927 468 659 0 115686 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 475860 KiB
Current children cumulated memory: 422460 KiB

[startup+6.30026 s]
/proc/loadavg: 4.69 4.26 4.10 5/262 853942
/proc/meminfo: memFree=93149184/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=466348 memory=430812 CPUtime=6.27 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 58767 0 0 0 611 16 0 0 20 0 1 0 165442679 477540352 107703 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 116587 107703 468 659 0 115791 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 476280 KiB
Current children cumulated memory: 433564 KiB

[startup+12.7002 s]
/proc/loadavg: 4.63 4.25 4.10 5/262 853942
/proc/meminfo: memFree=93143684/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=468040 memory=434064 CPUtime=12.64 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 59099 0 0 0 1248 16 0 0 20 0 1 0 165442679 479272960 108516 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 117010 108516 468 659 0 116214 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 477972 KiB
Current children cumulated memory: 436816 KiB

[startup+25.5002 s]
/proc/loadavg: 4.57 4.25 4.11 5/262 853943
/proc/meminfo: memFree=89431352/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=468576 memory=434564 CPUtime=25.41 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 59321 0 0 0 2524 17 0 0 20 0 1 0 165442679 479821824 108641 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 117144 108641 468 659 0 116348 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 478508 KiB
Current children cumulated memory: 437316 KiB

[startup+51.1056 s]
/proc/loadavg: 4.37 4.23 4.10 5/262 853948
/proc/meminfo: memFree=81569532/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=5370988 memory=4876552 CPUtime=50.93 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 405863 0 0 0 4945 148 0 0 20 0 1 0 165442679 5499891712 1219138 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 1342747 1219138 468 659 0 1341951 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 5380920 KiB
Current children cumulated memory: 4879304 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.21 4.10 5/263 854126
/proc/meminfo: memFree=72854740/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=13965880 memory=12517120 CPUtime=101.96 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 1187710 0 0 0 9819 377 0 0 20 0 1 0 165442679 14301061120 3129280 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 3491470 3129280 468 659 0 3490674 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 13975812 KiB
Current children cumulated memory: 12519872 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.22 4.10 5/262 854137
/proc/meminfo: memFree=69371248/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=14171676 memory=12685272 CPUtime=161.75 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 1258546 0 0 0 15744 431 0 0 20 0 1 0 165442679 14511796224 3171318 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 3542919 3171318 468 659 0 3542123 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 14181608 KiB
Current children cumulated memory: 12688024 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.19 4.10 5/262 854147
/proc/meminfo: memFree=68721912/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=13637004 memory=12470732 CPUtime=221.54 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 1264063 0 0 0 21701 453 0 0 20 0 1 0 165442679 13964292096 3117683 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 3409251 3117683 468 659 0 3408455 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 13646936 KiB
Current children cumulated memory: 12473484 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.18 4.10 5/263 854217
/proc/meminfo: memFree=58408816/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=22187588 memory=19428444 CPUtime=281.32 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 1983830 0 0 0 27466 666 0 0 20 0 1 0 165442679 22720090112 4857111 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 5546897 4857111 468 659 0 5546101 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 22197520 KiB
Current children cumulated memory: 19431196 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.09 5/262 854227
/proc/meminfo: memFree=50797512/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=26008520 memory=22993564 CPUtime=341.13 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 2360277 0 0 0 33282 831 0 0 20 0 1 0 165442679 26632724480 5748391 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 6502130 5748391 468 659 0 6501334 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 26018452 KiB
Current children cumulated memory: 22996316 KiB

[startup+402.3 s]
/proc/loadavg: 4.35 4.24 4.12 5/262 854238
/proc/meminfo: memFree=47369832/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=30971456 memory=26817856 CPUtime=400.92 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) R 853935 853935 851249 0 -1 4194304 2789159 0 0 0 39132 960 0 0 20 0 1 0 165442679 31714770944 6704464 134679101440 4194304 6891213 140735209351504 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 7742864 6704464 468 659 0 7742068 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 30981388 KiB
Current children cumulated memory: 26820608 KiB

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

# cumulated CPU time of all completed processes:  user=394.444 s, system=12.1358 s

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

[startup+409.6 s]
/proc/loadavg: 4.40 4.25 4.13 6/263 854242
/proc/meminfo: memFree=44764728/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=30972136 memory=26822544 CPUtime=406.03 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) S 853935 853935 851249 0 -1 4195840 2789515 0 0 0 39444 1159 0 0 20 0 1 0 165442679 31715467264 6705636 134679101440 4194304 6891213 140735209351504 140735209348896 6272572 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 7743034 6705636 468 659 0 7742238 0
Current children cumulated CPU time: 406.03 s
Current children cumulated vsize: 30982068 KiB
Current children cumulated memory: 26825296 KiB

[startup+422.4 s]
/proc/loadavg: 4.46 4.27 4.13 4/264 854245
/proc/meminfo: memFree=44308060/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=30972136 memory=26822544 CPUtime=406.03 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) S 853935 853935 851249 0 -1 4195840 2789515 0 0 0 39444 1159 0 0 20 0 1 0 165442679 31715467264 6705636 134679101440 4194304 6891213 140735209351504 140735209348896 6272572 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 7743034 6705636 468 659 0 7742238 0
Current children cumulated CPU time: 406.03 s
Current children cumulated vsize: 30982068 KiB
Current children cumulated memory: 26825296 KiB

[startup+425.6 s]
/proc/loadavg: 4.51 4.28 4.14 5/264 854245
/proc/meminfo: memFree=44303964/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=30972136 memory=26822544 CPUtime=406.03 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) S 853935 853935 851249 0 -1 4195840 2789515 0 0 0 39444 1159 0 0 20 0 1 0 165442679 31715467264 6705636 134679101440 4194304 6891213 140735209351504 140735209348896 6272572 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 7743034 6705636 468 659 0 7742238 0
Current children cumulated CPU time: 406.03 s
Current children cumulated vsize: 30982068 KiB
Current children cumulated memory: 26825296 KiB

[startup+427.2 s]
/proc/loadavg: 4.51 4.28 4.14 4/264 854247
/proc/meminfo: memFree=44301972/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=30972136 memory=26822544 CPUtime=406.03 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) S 853935 853935 851249 0 -1 4195840 2789515 0 0 0 39444 1159 0 0 20 0 1 0 165442679 31715467264 6705636 134679101440 4194304 6891213 140735209351504 140735209348896 6272572 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 7743034 6705636 468 659 0 7742238 0
Current children cumulated CPU time: 406.03 s
Current children cumulated vsize: 30982068 KiB
Current children cumulated memory: 26825296 KiB

[startup+428.8 s]
/proc/loadavg: 4.51 4.28 4.14 4/264 854247
/proc/meminfo: memFree=44301972/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
[pid=853940] ppid=853935 vsize=30972136 memory=26822544 CPUtime=406.03 cores=0,2
/proc/853940/stat : 853940 (naps-1.03) S 853935 853935 851249 0 -1 4195840 2789515 0 0 0 39444 1159 0 0 20 0 1 0 165442679 31715467264 6705636 134679101440 4194304 6891213 140735209351504 140735209348896 6272572 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 12357632 140735209358321 140735209358437 140735209358437 140735209365451 0
/proc/853940/statm: 7743034 6705636 468 659 0 7742238 0
Current children cumulated CPU time: 406.03 s
Current children cumulated vsize: 30982068 KiB
Current children cumulated memory: 26825296 KiB

[startup+429.2 s]
/proc/loadavg: 4.51 4.28 4.14 5/264 854247
/proc/meminfo: memFree=48120764/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2752 KiB

[startup+429.4 s]
/proc/loadavg: 4.51 4.28 4.14 5/264 854247
/proc/meminfo: memFree=48120764/131524600 swapFree=131071996/131071996
[pid=853935] ppid=853932 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/853935/stat : 853935 (naps-1.03.sh) S 853932 853935 851249 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 165442678 10170368 688 134679101440 94034873962496 94034875041816 140732047819872 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94034877140272 94034877187460 94034904559616 140732047823840 140732047823969 140732047823969 140732047830984 0
/proc/853935/statm: 2483 688 610 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2752 KiB

Child status: 134

Real time (s): 429.499
CPU time (s): 406.58
CPU user time (s): 394.444
CPU system time (s): 12.1358
CPU usage (%): 94.6638
Max. virtual memory (cumulated for all children) (KiB): 30982068
Max. memory (cumulated for all children) (KiB): 26825296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 394.444
system time used= 12.1358
maximum resident set size= 26822800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2789991
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= 109
involuntary context switches= 2895


# summary of solver processes directly reported to runsolver:
#   pid: 853935
#   total CPU time (s): 406.58
#   total CPU user time (s): 394.444
#   total CPU system time (s): 12.1358

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.912351 second user time and 1.87001 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-16 14:26:30
IDJOB=4434080
IDBENCH=155628
IDSOLVER=3062
FILE ID=nodeC023/4434080-1721132777
RUNJOBID= nodeC023-1721128778-851259
SLURM_JOB_ID= 7505692
Free space on /tmp= 890064 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_4.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434080-1721132777/watcher-4434080-1721132777 -o /tmp/evaluation-result-4434080-1721132777/solver-4434080-1721132777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721128778-851259 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4434080-1721132777.opb

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

MD5SUM BENCH= 21308a801a9cbe43fb5a50efc40ff8ff
RANDOM SEED=1025849877

nodeC023.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		: 3664.615
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.61
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		: 3683.252
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.48
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		: 3652.995
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.61
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		: 3600.199
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.48
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		: 3670.134
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.61
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		: 3683.310
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.48
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.237
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.61
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.936
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        93586980 kB
MemAvailable:   95845952 kB
Buffers:          432960 kB
Cached:          2640780 kB
SwapCached:            0 kB
Active:           773180 kB
Inactive:       36451788 kB
Active(anon):       1596 kB
Inactive(anon): 34187344 kB
Active(file):     771584 kB
Inactive(file):  2264444 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6484 kB
Writeback:             0 kB
AnonPages:      34151244 kB
Mapped:           109616 kB
Shmem:             37720 kB
KReclaimable:     125532 kB
Slab:             236380 kB
SReclaimable:     125532 kB
SUnreclaim:       110848 kB
KernelStack:        4208 kB
PageTables:        76340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   37867768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62528 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10209280 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:      238292 kB
DirectMap2M:    26798080 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC023 at 2024-07-16 14:33:39