Trace number 4434147

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? (TO) 3600.1 3609.95

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
MD5SUM3f10ffbf957f8216a1934b9362956d36
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 benchmark32
Best CPU time to get the best result obtained on this benchmark1.65179
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11744
Total number of constraints798
Number of constraints which are clauses366
Number of constraints which are cardinality constraints (but not clauses)366
Number of constraints which are nor clauses,nor cardinality constraints66
Minimum length of a constraint32
Maximum length of a constraint367
Number of terms in the objective function 32
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 32
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 133314
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 283127
Number of bits of the biggest sum of numbers19
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-4434147-1721172068.opb
60.01/60.23	c single stage optimization mode
3600.04/3609.90	c 
3600.04/3609.90	c *** TERMINATED *** by signal 15
3600.04/3609.90	s UNKNOWN
3600.04/3609.90	c _____________________________________________________________________________
3600.04/3609.90	c std/band forms        : 432,0
3600.04/3609.90	c 2cl/3cl ITE-codings   : 8042146,0
3600.04/3609.90	c BDD/srt/adr Max costs : 612020,112924,0
3600.04/3609.90	c BDDraw/bin/mul/srt/adr: 16,0,0,416,0
3600.04/3609.90	c BDD nodes             : 9486549
3600.04/3609.90	c Es1/CC detections     : 0,0
3600.04/3609.90	c CC sort               : 366
3600.04/3609.90	c SAT/UNSAT calls       : 0,0
3600.04/3609.90	c regenrated variables  : 0
3600.04/3609.90	c eliminated fixed lits : 96
3600.04/3609.90	c goal lit flips        : 0
3600.04/3609.90	c goal stages           : 1
3600.04/3609.90	c goal shrink           : 0
3600.04/3609.90	c goal coeff separations: 0
3600.04/3609.90	c restarts              : 0
3600.04/3609.90	c conflicts             : 0              (0 /sec)
3600.04/3609.90	c decisions             : 0              (0 /sec)
3600.04/3609.90	c propagations          : 0              (0 /sec)
3600.04/3609.90	c inspects              : 0              (0 /sec)
3600.04/3609.90	c CPU time (solving tm) : 3596 s        (3537 s, SAT 0 s, UNSAT 0 s)
3600.04/3609.90	c Time for Opt-base     : 2.085 s
3600.04/3609.90	c Steps for Opt-base    : 11778612
3600.04/3609.90	c Time for BDD coding   : 40.29 s
3600.04/3609.90	c Time for srt coding   : 2.284 s
3600.04/3609.90	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 (61544 MiB free)
  memory of node 1: 64473 MiB (62516 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434147-1721172068/watcher-4434147-1721172068 -o /tmp/evaluation-result-4434147-1721172068/solver-4434147-1721172068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721172081-879518 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4434147-1721172068.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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.x
solver pid=879584, runsolver pid=879571
Current StackSize limit: 8192 KiB


[startup+0.10057 s]*
/proc/loadavg: 2.33 3.61 3.95 6/255 879595
/proc/meminfo: memFree=127024452/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=16844 memory=9916 CPUtime=0.09 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 2207 0 0 0 9 0 0 0 20 0 1 0 169375776 17248256 2479 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 4211 2479 436 659 0 3415 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 12600 KiB

[startup+0.205589 s]*
/proc/loadavg: 2.33 3.61 3.95 4/253 879623
/proc/meminfo: memFree=127001504/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=31188 memory=24424 CPUtime=0.19 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 5903 0 0 0 19 0 0 0 20 0 1 0 169375776 31936512 6106 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 7797 6106 452 659 0 7001 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 27108 KiB

[startup+0.305931 s]*
/proc/loadavg: 2.33 3.61 3.95 6/250 879630
/proc/meminfo: memFree=126984472/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=44196 memory=37204 CPUtime=0.29 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 9266 0 0 0 28 1 0 0 20 0 1 0 169375776 45256704 9301 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 11049 9301 452 659 0 10253 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 54128 KiB
Current children cumulated memory: 39888 KiB

[startup+0.700211 s]
/proc/loadavg: 2.33 3.61 3.95 6/258 879695
/proc/meminfo: memFree=126945840/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=88700 memory=81748 CPUtime=0.68 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 19810 0 0 0 66 2 0 0 20 0 1 0 169375776 90828800 20437 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 22175 20437 452 659 0 21379 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98632 KiB
Current children cumulated memory: 84432 KiB

[startup+1.50023 s]
/proc/loadavg: 2.54 3.63 3.95 3/253 879773
/proc/meminfo: memFree=126915388/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=179644 memory=172368 CPUtime=1.48 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 41734 0 0 0 143 5 0 0 20 0 1 0 169375776 183955456 43092 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 44911 43092 452 659 0 44115 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 189576 KiB
Current children cumulated memory: 175052 KiB

[startup+3.10568 s]
/proc/loadavg: 2.54 3.63 3.95 4/253 879976
/proc/meminfo: memFree=126718208/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=281348 memory=274496 CPUtime=3.08 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 62675 0 0 0 299 9 0 0 20 0 1 0 169375776 288100352 68624 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 70337 68624 468 659 0 69541 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 291280 KiB
Current children cumulated memory: 277180 KiB

[startup+6.3002 s]
/proc/loadavg: 2.58 3.62 3.95 4/253 879976
/proc/meminfo: memFree=126633808/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=316664 memory=309192 CPUtime=6.27 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 67491 0 0 0 616 11 0 0 20 0 1 0 169375776 324263936 77298 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 79166 77298 468 659 0 78370 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 326596 KiB
Current children cumulated memory: 311876 KiB

[startup+12.7002 s]
/proc/loadavg: 2.61 3.61 3.94 4/253 879978
/proc/meminfo: memFree=126546500/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=411088 memory=395796 CPUtime=12.65 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 76616 0 0 0 1251 14 0 0 20 0 1 0 169375776 420954112 98949 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 102772 98949 468 659 0 101976 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 421020 KiB
Current children cumulated memory: 398480 KiB

[startup+25.5002 s]
/proc/loadavg: 2.67 3.59 3.93 4/253 879979
/proc/meminfo: memFree=126212520/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=689932 memory=653632 CPUtime=25.41 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 93164 0 0 0 2521 20 0 0 20 0 1 0 169375776 706490368 163408 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 172483 163408 468 659 0 171687 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 699864 KiB
Current children cumulated memory: 656316 KiB

[startup+51.1053 s]
/proc/loadavg: 2.93 3.57 3.91 4/253 879984
/proc/meminfo: memFree=125752316/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=1223356 memory=1148900 CPUtime=50.94 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 135864 0 0 0 5053 41 0 0 20 0 1 0 169375776 1252716544 287225 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 305839 287225 468 659 0 305043 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1233288 KiB
Current children cumulated memory: 1151584 KiB

[startup+102.3 s]
/proc/loadavg: 3.04 3.49 3.87 4/253 879993
/proc/meminfo: memFree=118523952/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=9853396 memory=8318484 CPUtime=101.98 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 571325 0 0 0 9979 219 0 0 20 0 1 0 169375776 10089877504 2079621 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 2463349 2079621 468 659 0 2462553 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 9863328 KiB
Current children cumulated memory: 8321168 KiB

[startup+162.3 s]
/proc/loadavg: 3.20 3.45 3.82 4/253 880003
/proc/meminfo: memFree=119573036/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=8465992 memory=7265772 CPUtime=161.81 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 594143 0 0 0 15955 226 0 0 20 0 1 0 169375776 8669175808 1816443 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 2116498 1816443 468 659 0 2115702 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 8475924 KiB
Current children cumulated memory: 7268456 KiB

[startup+222.3 s]
/proc/loadavg: 3.18 3.39 3.78 4/253 880014
/proc/meminfo: memFree=119544008/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=8488496 memory=7304680 CPUtime=221.67 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 601477 0 0 0 21937 230 0 0 20 0 1 0 169375776 8692219904 1826170 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 2122124 1826170 468 659 0 2121328 0
Current children cumulated CPU time: 221.67 s

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

/proc/879595/statm: 2159448 1923436 468 659 0 2158652 0
Current children cumulated CPU time: 3093.93 s
Current children cumulated vsize: 8647724 KiB
Current children cumulated memory: 7696428 KiB

[startup+3162.3 s]
/proc/loadavg: 2.12 2.11 2.17 3/246 881753
/proc/meminfo: memFree=119299620/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=8638980 memory=7449860 CPUtime=3153.75 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 777722 0 0 0 314943 432 0 0 20 0 1 0 169375776 8846315520 1862465 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 2159745 1862465 468 659 0 2158949 0
Current children cumulated CPU time: 3153.75 s
Current children cumulated vsize: 8648912 KiB
Current children cumulated memory: 7452544 KiB

[startup+3222.3 s]
/proc/loadavg: 2.04 2.09 2.16 3/245 881764
/proc/meminfo: memFree=119237068/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=8639244 memory=7464592 CPUtime=3213.57 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 780724 0 0 0 320923 434 0 0 20 0 1 0 169375776 8846585856 1866148 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 2159811 1866148 468 659 0 2159015 0
Current children cumulated CPU time: 3213.57 s
Current children cumulated vsize: 8649176 KiB
Current children cumulated memory: 7467276 KiB

[startup+3282.3 s]
/proc/loadavg: 2.11 2.10 2.16 3/243 881774
/proc/meminfo: memFree=119183572/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=8639648 memory=7479300 CPUtime=3273.39 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 783476 0 0 0 326904 435 0 0 20 0 1 0 169375776 8846999552 1869825 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 2159912 1869825 468 659 0 2159116 0
Current children cumulated CPU time: 3273.39 s
Current children cumulated vsize: 8649580 KiB
Current children cumulated memory: 7481984 KiB

[startup+3342.3 s]
/proc/loadavg: 2.09 2.09 2.16 3/243 881784
/proc/meminfo: memFree=119134372/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=8640440 memory=7492372 CPUtime=3333.21 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 786600 0 0 0 332885 436 0 0 20 0 1 0 169375776 8847810560 1873093 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 2160110 1873093 468 659 0 2159314 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 8650372 KiB
Current children cumulated memory: 7495056 KiB

[startup+3402.3 s]
/proc/loadavg: 2.07 2.09 2.15 3/242 881796
/proc/meminfo: memFree=119243904/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=8642424 memory=7510772 CPUtime=3393.04 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 789862 0 0 0 338866 438 0 0 20 0 1 0 169375776 8849842176 1877693 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 2160606 1877693 468 659 0 2159810 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 8652356 KiB
Current children cumulated memory: 7513456 KiB

[startup+3462.3 s]
/proc/loadavg: 2.08 2.08 2.15 3/242 881806
/proc/meminfo: memFree=119167632/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=8643616 memory=7530352 CPUtime=3452.86 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 793410 0 0 0 344847 439 0 0 20 0 1 0 169375776 8851062784 1882588 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 2160904 1882588 468 659 0 2160108 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 8653548 KiB
Current children cumulated memory: 7533036 KiB

[startup+3522.3 s]
/proc/loadavg: 2.36 2.15 2.16 3/242 881816
/proc/meminfo: memFree=119103452/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=8645604 memory=7552788 CPUtime=3512.68 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 796801 0 0 0 350827 441 0 0 20 0 1 0 169375776 8853098496 1888197 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 2161401 1888197 468 659 0 2160605 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 8655536 KiB
Current children cumulated memory: 7555472 KiB

[startup+3582.3 s]
/proc/loadavg: 2.27 2.16 2.17 3/244 881831
/proc/meminfo: memFree=119023912/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=8647868 memory=7590016 CPUtime=3572.5 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 800570 0 0 0 356808 442 0 0 20 0 1 0 169375776 8855416832 1897504 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 2161967 1897504 468 659 0 2161171 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 8657800 KiB
Current children cumulated memory: 7592700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 2.18 2.15 2.16 3/244 881836
/proc/meminfo: memFree=119152128/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=8648008 memory=7598340 CPUtime=3600.04 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 801810 0 0 0 359561 443 0 0 20 0 1 0 169375776 8855560192 1899585 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 2162002 1899585 468 659 0 2161206 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 8657940 KiB
Current children cumulated memory: 7601024 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.91 s]
# the end of solver process 879584 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001687 s, system=0.001122 s

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

# cumulated CPU time of all completed processes:  user=3595.62 s, system=4.47922 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3609.9 s]
/proc/loadavg: 2.18 2.15 2.16 3/244 881836
/proc/meminfo: memFree=119152128/131524600 swapFree=131071996/131071996
[pid=879584] ppid=879571 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/879584/stat : 879584 (naps-1.03.sh) S 879571 879584 879505 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 169375776 10170368 671 134679101440 94544297644032 94544298723352 140724003768992 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94544300821808 94544300868996 94544332660736 140724003771360 140724003771489 140724003771489 140724003778504 0
/proc/879584/statm: 2483 671 592 264 0 134 0
[pid=879595] ppid=879584 vsize=8648008 memory=7598340 CPUtime=3600.04 cores=5,7
/proc/879595/stat : 879595 (naps-1.03) R 879584 879584 879505 0 -1 4194304 801810 0 0 0 359561 443 0 0 20 0 1 0 169375776 8855560192 1899585 134679101440 4194304 6891213 140730410208032 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 18255872 140730410210289 140730410210405 140730410210405 140730410217419 0
/proc/879595/statm: 2162002 1899585 468 659 0 2161206 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 8657940 KiB
Current children cumulated memory: 7601024 KiB

Child status: 10

Real time (s): 3609.95
CPU time (s): 3600.1
CPU user time (s): 3595.62
CPU system time (s): 4.47922
CPU usage (%): 99.7271
Max. virtual memory (cumulated for all children) (KiB): 9863328
Max. memory (cumulated for all children) (KiB): 8321168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.62
system time used= 4.47922
maximum resident set size= 8318484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 802272
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= 615
involuntary context switches= 4961


# summary of solver processes directly reported to runsolver:
#   pid: 879584,879595
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3595.62
#   total CPU system time (s): 4.47922

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55909 second user time and 17.55 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-17 01:21:21
IDJOB=4434147
IDBENCH=158625
IDSOLVER=3062
FILE ID=nodeC032/4434147-1721172068
RUNJOBID= nodeC032-1721172081-879518
SLURM_JOB_ID= 7505809
Free space on /tmp= 890076 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.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-4434147-1721172068/watcher-4434147-1721172068 -o /tmp/evaluation-result-4434147-1721172068/solver-4434147-1721172068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721172081-879518 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4434147-1721172068.opb

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

MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=551082769

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127040720 kB
MemAvailable:   129698088 kB
Buffers:          436476 kB
Cached:          3030120 kB
SwapCached:            0 kB
Active:           749036 kB
Inactive:        3075748 kB
Active(anon):       1468 kB
Inactive(anon):   394168 kB
Active(file):     747568 kB
Inactive(file):  2681580 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             22100 kB
Writeback:             0 kB
AnonPages:        357940 kB
Mapped:           104504 kB
Shmem:             37720 kB
KReclaimable:     136088 kB
Slab:             247948 kB
SReclaimable:     136088 kB
SUnreclaim:       111860 kB
KernelStack:        3904 kB
PageTables:         9764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     672092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            65152 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      226004 kB
DirectMap2M:    21567488 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC032 at 2024-07-17 02:21:31