Trace number 4449288

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.03? 2475.43 2482.55

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm50p-dec.opb.negationfix.opb
MD5SUM2105f8bb71cd7b58626f31eda9524247
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3.57697
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1419264
Total number of constraints6568
Number of constraints which are clauses2771
Number of constraints which are cardinality constraints (but not clauses)2771
Number of constraints which are nor clauses,nor cardinality constraints1026
Minimum length of a constraint512
Maximum length of a constraint2772
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 999710
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 3467130
Number of bits of the biggest sum of numbers22
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.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-4449288-1721358789.opb
2475.07/2482.21	c malloc failed in xmalloc
2475.07/2482.21	c 
2475.07/2482.21	c *** TERMINATED *** by signal 15
2475.07/2482.21	s UNKNOWN
2475.07/2482.21	c _____________________________________________________________________________
2475.07/2482.21	c std/band forms        : 407,0
2475.07/2482.21	c 2cl/3cl ITE-codings   : 0,0
2475.07/2482.21	c BDD/srt/adr Max costs : 2516965,1009940,0
2475.07/2482.21	c BDDraw/bin/mul/srt/adr: 70,0,0,337,0
2475.07/2482.21	c BDD nodes             : 171474018
2475.07/2482.21	c Es1/CC detections     : 0,0
2475.07/2482.21	c CC sort               : 0
2475.07/2482.21	c SAT/UNSAT calls       : 0,0
2475.07/2482.21	c regenrated variables  : 0
2475.07/2482.21	c eliminated fixed lits : 4305
2475.07/2482.21	c goal lit flips        : 0
2475.07/2482.21	c goal stages           : 0
2475.07/2482.21	c goal shrink           : 0
2475.07/2482.21	c goal coeff separations: 0
2475.07/2482.21	c restarts              : 0
2475.07/2482.21	c conflicts             : 0              (0 /sec)
2475.07/2482.21	c decisions             : 0              (0 /sec)
2475.07/2482.21	c propagations          : 0              (0 /sec)
2475.07/2482.21	c inspects              : 0              (0 /sec)
2475.07/2482.21	c CPU time (solving tm) : 2466 s        (0 s, SAT 0 s, UNSAT 0 s)
2475.07/2482.21	c Time for Opt-base     : 129.8 s
2475.07/2482.21	c Steps for Opt-base    : 625787338
2475.07/2482.21	c Time for BDD coding   : 1736 s
2475.07/2482.21	c Time for srt coding   : 430.8 s
2475.07/2482.21	c _____________________________________________________________________________

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449288-1721358789/watcher-4449288-1721358789 -o /tmp/evaluation-result-4449288-1721358789/solver-4449288-1721358789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721351295-991222 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4449288-1721358789.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=998055, runsolver pid=998052

[startup+0.100096 s]*
/proc/loadavg: 4.14 4.13 4.14 5/261 998060
/proc/meminfo: memFree=85629380/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=22908 memory=15648 CPUtime=0.09 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 3540 0 0 0 9 0 0 0 20 0 1 0 188049470 23457792 3912 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 5727 3912 436 659 0 4931 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32840 KiB
Current children cumulated memory: 18312 KiB

[startup+0.206025 s]*
/proc/loadavg: 4.14 4.13 4.14 5/261 998060
/proc/meminfo: memFree=85613892/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=37732 memory=28312 CPUtime=0.2 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 6871 0 0 0 19 1 0 0 20 0 1 0 188049470 38637568 7078 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 9433 7078 436 659 0 8637 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47664 KiB
Current children cumulated memory: 30976 KiB

[startup+0.306012 s]*
/proc/loadavg: 4.14 4.13 4.14 5/261 998060
/proc/meminfo: memFree=85600424/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=52588 memory=41584 CPUtime=0.3 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 10528 0 0 0 29 1 0 0 20 0 1 0 188049470 53850112 10396 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 13147 10396 436 659 0 12351 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 62520 KiB
Current children cumulated memory: 44248 KiB

[startup+0.700266 s]
/proc/loadavg: 4.14 4.13 4.14 5/261 998060
/proc/meminfo: memFree=85571300/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=106268 memory=83084 CPUtime=0.68 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 20151 0 0 0 66 2 0 0 20 0 1 0 188049470 108818432 20771 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 26567 20771 436 659 0 25771 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116200 KiB
Current children cumulated memory: 85748 KiB

[startup+1.50026 s]
/proc/loadavg: 4.14 4.13 4.14 5/261 998060
/proc/meminfo: memFree=85514444/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=218320 memory=167148 CPUtime=1.48 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 38071 0 0 0 142 6 0 0 20 0 1 0 188049470 223559680 41787 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 54580 41787 436 659 0 53784 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 228252 KiB
Current children cumulated memory: 169812 KiB

[startup+3.10582 s]
/proc/loadavg: 4.13 4.13 4.14 5/261 998060
/proc/meminfo: memFree=85203872/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=458796 memory=338164 CPUtime=3.08 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 67864 0 0 0 296 12 0 0 20 0 1 0 188049470 469807104 84541 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 114699 84541 436 659 0 113903 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 468728 KiB
Current children cumulated memory: 340828 KiB

[startup+6.30025 s]
/proc/loadavg: 4.13 4.13 4.14 5/261 998060
/proc/meminfo: memFree=84800256/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=727916 memory=519756 CPUtime=6.28 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 100419 0 0 0 609 19 0 0 20 0 1 0 188049470 745385984 129939 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 181979 129939 436 659 0 181183 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 737848 KiB
Current children cumulated memory: 522420 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.12 4.14 5/261 998061
/proc/meminfo: memFree=84485692/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=990268 memory=671176 CPUtime=12.66 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 137908 0 0 0 1237 29 0 0 20 0 1 0 188049470 1014034432 167794 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 247567 167794 436 659 0 246771 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1000200 KiB
Current children cumulated memory: 673840 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.13 4.14 5/261 998063
/proc/meminfo: memFree=83845648/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=1664072 memory=1304740 CPUtime=25.43 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 282696 0 0 0 2486 57 0 0 20 0 1 0 188049470 1704009728 326185 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 416018 326185 468 659 0 415222 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1674004 KiB
Current children cumulated memory: 1307404 KiB

[startup+51.1062 s]
/proc/loadavg: 4.11 4.12 4.14 5/261 998069
/proc/meminfo: memFree=82621444/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=2472472 memory=2079428 CPUtime=50.97 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 441428 0 0 0 5011 86 0 0 20 0 1 0 188049470 2531811328 519857 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 618118 519857 468 659 0 617322 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2482404 KiB
Current children cumulated memory: 2082092 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/262 998078
/proc/meminfo: memFree=80907388/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=3105188 memory=2678788 CPUtime=102.02 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 515662 0 0 0 10094 108 0 0 20 0 1 0 188049470 3179712512 669697 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 776297 669697 468 659 0 775501 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 3115120 KiB
Current children cumulated memory: 2681452 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/259 998088
/proc/meminfo: memFree=77538860/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=3889376 memory=3446564 CPUtime=161.85 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 589729 0 0 0 16047 138 0 0 20 0 1 0 188049470 3982721024 861641 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 972344 861641 468 659 0 971548 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 3899308 KiB
Current children cumulated memory: 3449228 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/259 998099
/proc/meminfo: memFree=74918344/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=5041536 memory=4562976 CPUtime=221.66 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 652462 0 0 0 21987 179 0 0 20 0 1 0 188049470 5162532864 1140744 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 1260384 1140744 468 659 0 1259588 0

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

/proc/loadavg: 3.04 3.30 3.68 4/254 999228
/proc/meminfo: memFree=74354280/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=20346284 memory=18660284 CPUtime=2255.8 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 2458428 0 0 0 224774 806 0 0 20 0 1 0 188049470 20834594816 4665071 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 5086571 4665071 468 659 0 5085775 0
Current children cumulated CPU time: 2255.8 s
Current children cumulated vsize: 20356216 KiB
Current children cumulated memory: 18662948 KiB

[startup+2322.3 s]
/proc/loadavg: 3.11 3.27 3.65 4/254 999238
/proc/meminfo: memFree=73640548/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=20418092 memory=18780416 CPUtime=2315.64 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 2482768 0 0 0 230746 818 0 0 20 0 1 0 188049470 20908126208 4695104 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 5104523 4695104 468 659 0 5103727 0
Current children cumulated CPU time: 2315.64 s
Current children cumulated vsize: 20428024 KiB
Current children cumulated memory: 18783080 KiB

[startup+2382.3 s]
/proc/loadavg: 3.09 3.24 3.61 4/254 999249
/proc/meminfo: memFree=72686468/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=20638992 memory=19138384 CPUtime=2375.46 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 2544498 0 0 0 236708 838 0 0 20 0 1 0 188049470 21134327808 4784596 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 5159748 4784596 468 659 0 5158952 0
Current children cumulated CPU time: 2375.46 s
Current children cumulated vsize: 20648924 KiB
Current children cumulated memory: 19141048 KiB

[startup+2442.3 s]
/proc/loadavg: 3.07 3.21 3.58 4/254 999259
/proc/meminfo: memFree=71793888/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=20848980 memory=19416124 CPUtime=2435.29 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 2603795 0 0 0 242672 857 0 0 20 0 1 0 188049470 21349355520 4854031 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 5212245 4854031 468 659 0 5211449 0
Current children cumulated CPU time: 2435.29 s
Current children cumulated vsize: 20858912 KiB
Current children cumulated memory: 19418788 KiB

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

# cumulated CPU time of all completed processes:  user=2466.44 s, system=8.99166 s

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

[startup+2457.6 s]
/proc/loadavg: 3.06 3.20 3.57 4/254 999262
/proc/meminfo: memFree=71684988/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=20848980 memory=19428412 CPUtime=2450.54 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 2605328 0 0 0 244195 859 0 0 20 0 1 0 188049470 21349355520 4857103 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 5212245 4857103 468 659 0 5211449 0
Current children cumulated CPU time: 2450.54 s
Current children cumulated vsize: 20858912 KiB
Current children cumulated memory: 19431076 KiB

[startup+2470.4 s]
/proc/loadavg: 3.05 3.19 3.56 4/255 999266
/proc/meminfo: memFree=71538416/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=20896896 memory=19482476 CPUtime=2463.3 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 2619505 0 0 0 245468 862 0 0 20 0 1 0 188049470 21398421504 4870619 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 5224224 4870619 468 659 0 5223428 0
Current children cumulated CPU time: 2463.3 s
Current children cumulated vsize: 20906828 KiB
Current children cumulated memory: 19485140 KiB

[startup+2476.8 s]
/proc/loadavg: 3.04 3.19 3.56 4/255 999266
/proc/meminfo: memFree=71470224/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=20896896 memory=19498860 CPUtime=2469.69 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 2620553 0 0 0 246106 863 0 0 20 0 1 0 188049470 21398421504 4874715 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 5224224 4874715 468 659 0 5223428 0
Current children cumulated CPU time: 2469.69 s
Current children cumulated vsize: 20906828 KiB
Current children cumulated memory: 19501524 KiB

[startup+2480 s]*
/proc/loadavg: 3.04 3.18 3.55 4/255 999268
/proc/meminfo: memFree=71443584/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=20896896 memory=19515244 CPUtime=2472.88 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 2620651 0 0 0 246424 864 0 0 20 0 1 0 188049470 21398421504 4878811 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 5224224 4878811 468 659 0 5223428 0
Current children cumulated CPU time: 2472.88 s
Current children cumulated vsize: 20906828 KiB
Current children cumulated memory: 19517908 KiB

[startup+2481.6 s]
/proc/loadavg: 3.04 3.18 3.55 4/255 999268
/proc/meminfo: memFree=71436380/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=20906940 memory=19533436 CPUtime=2474.47 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 2623351 0 0 0 246582 865 0 0 20 0 1 0 188049470 21408706560 4883359 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 5226735 4883359 468 659 0 5225939 0
Current children cumulated CPU time: 2474.47 s
Current children cumulated vsize: 20916872 KiB
Current children cumulated memory: 19536100 KiB

[startup+2482 s]*
/proc/loadavg: 3.12 3.20 3.56 4/255 999268
/proc/meminfo: memFree=71405024/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
[pid=998060] ppid=998055 vsize=20906940 memory=19533436 CPUtime=2474.88 cores=1,3
/proc/998060/stat : 998060 (naps-1.03) R 998055 998055 991210 0 -1 4194304 2623351 0 0 0 246623 865 0 0 20 0 1 0 188049470 21408706560 4883359 134679101440 4194304 6891213 140723219450128 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9412608 140723219452912 140723219453028 140723219453028 140723219460043 0
/proc/998060/statm: 5226735 4883359 468 659 0 5225939 0
Current children cumulated CPU time: 2474.88 s
Current children cumulated vsize: 20916872 KiB
Current children cumulated memory: 19536100 KiB

[startup+2482.4 s]
/proc/loadavg: 3.12 3.20 3.56 4/255 999268
/proc/meminfo: memFree=71405024/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2664 KiB

[startup+2482.5 s]
/proc/loadavg: 3.12 3.20 3.56 4/255 999268
/proc/meminfo: memFree=71405024/131524596 swapFree=131071996/131071996
[pid=998055] ppid=998052 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/998055/stat : 998055 (naps-1.03.sh) S 998052 998055 991210 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 188049469 10170368 666 134679101440 94459938738176 94459939817496 140736064433488 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94459941915952 94459941963140 94459968102400 140736064439263 140736064439392 140736064439392 140736064446408 0
/proc/998055/statm: 2483 666 587 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2664 KiB

Child status: 10

Real time (s): 2482.55
CPU time (s): 2475.43
CPU user time (s): 2466.44
CPU system time (s): 8.99166
CPU usage (%): 99.7133
Max. virtual memory (cumulated for all children) (KiB): 20918588
Max. memory (cumulated for all children) (KiB): 19537624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2466.44
system time used= 8.99166
maximum resident set size= 19535304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2624398
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= 179
involuntary context switches= 2683


# summary of solver processes directly reported to runsolver:
#   pid: 998055
#   total CPU time (s): 2475.43
#   total CPU user time (s): 2466.44
#   total CPU system time (s): 8.99166

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5747 second user time and 13.2063 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-19 05:13:22
IDJOB=4449288
IDBENCH=160494
IDSOLVER=3062
FILE ID=nodeC034/4449288-1721358789
RUNJOBID= nodeC034-1721351295-991222
SLURM_JOB_ID= 7542752
Free space on /tmp= 889808 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm50p-dec.opb.negationfix.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449288-1721358789/watcher-4449288-1721358789 -o /tmp/evaluation-result-4449288-1721358789/solver-4449288-1721358789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721351295-991222 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4449288-1721358789.opb

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

MD5SUM BENCH= 2105f8bb71cd7b58626f31eda9524247
RANDOM SEED=1056051332

nodeC034.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		: 3674.324
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.99
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		: 3690.077
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.58
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		: 3600.022
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.99
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		: 3657.529
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.58
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		: 3674.306
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.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3689.446
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.58
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.056
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.99
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		: 3603.794
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        85643584 kB
MemAvailable:   91731308 kB
Buffers:          506428 kB
Cached:          6345184 kB
SwapCached:            0 kB
Active:          1200288 kB
Inactive:       43829120 kB
Active(anon):       1532 kB
Inactive(anon): 38213980 kB
Active(file):    1198756 kB
Inactive(file):  5615140 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             72836 kB
Writeback:            52 kB
AnonPages:      38177840 kB
Mapped:           111992 kB
Shmem:             37720 kB
KReclaimable:     227304 kB
Slab:             356536 kB
SReclaimable:     227304 kB
SUnreclaim:       129232 kB
KernelStack:        4192 kB
PageTables:        85616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:   40921148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71328 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15704064 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:      320212 kB
DirectMap2M:    44541952 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 889872 MiB
End job on nodeC034 at 2024-07-19 05:54:44