Trace number 4435359

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-PB16 1.02b5? (TO) 3600.26 3610.63

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb
MD5SUM380e20810b586058c5e1cee383ac3a23
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 benchmark63
Best CPU time to get the best result obtained on this benchmark76.9855
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45632
Total number of constraints1554
Number of constraints which are clauses712
Number of constraints which are cardinality constraints (but not clauses)712
Number of constraints which are nor clauses,nor cardinality constraints130
Minimum length of a constraint64
Maximum length of a constraint713
Number of terms in the objective function 64
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 64
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 264674
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 586791
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.02b5.
0.00/0.00	c Input file name: HOME/instance-4435359-1721170762.opb
3600.02/3610.40	c 
3600.02/3610.40	c *** TERMINATED *** by signal 15
3600.02/3610.40	s UNKNOWN
3600.02/3610.40	c _____________________________________________________________________________
3600.02/3610.40	c 
3600.02/3610.40	c std/band forms        : 970,0
3600.02/3610.40	c 2cl/3cl ITE-codings   : 45007,0
3600.02/3610.40	c BDD/srt/adr Max costs : 906,260370,0
3600.02/3610.40	c BDDraw/bin/mul/srt/adr: 842,0,0,128,0
3600.02/3610.40	c BDD nodes             : 82998616
3600.02/3610.40	c Es1/CC detections     : 0,0
3600.02/3610.40	c SAT/UNSAT calls       : 0,0
3600.02/3610.40	c regenrated variables  : 0
3600.02/3610.40	c restarts              : 0
3600.02/3610.40	c conflicts             : 0              (0 /sec)
3600.02/3610.40	c decisions             : 0              (0 /sec)
3600.02/3610.40	c propagations          : 0              (0 /sec)
3600.02/3610.40	c inspects              : 0              (0 /sec)
3600.02/3610.40	c CPU time (solving tm) : 3592 s        (2821 s)
3600.02/3610.40	c Time for Opt-base     : 28.2 s
3600.02/3610.40	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 (62166 MiB free)
  memory of node 1: 64473 MiB (63157 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435359-1721170762/watcher-4435359-1721170762 -o /tmp/evaluation-result-4435359-1721170762/solver-4435359-1721170762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721170775-920984 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435359-1721170762.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=921056, runsolver pid=921050

[startup+0.100086 s]*
/proc/loadavg: 1.11 1.11 1.09 6/264 921062
/proc/meminfo: memFree=128284888/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=22280 memory=15704 CPUtime=0.09 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 3763 0 0 0 9 0 0 0 20 0 1 0 169244269 22814720 3926 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 5570 3926 405 379 0 5104 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32212 KiB
Current children cumulated memory: 18408 KiB

[startup+0.204788 s]*
/proc/loadavg: 1.11 1.11 1.09 6/264 921062
/proc/meminfo: memFree=128244132/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=31356 memory=21228 CPUtime=0.19 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 5303 0 0 0 19 0 0 0 20 0 1 0 169244269 32108544 5307 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 7839 5307 405 379 0 7373 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41288 KiB
Current children cumulated memory: 23932 KiB

[startup+0.30473 s]*
/proc/loadavg: 1.11 1.11 1.09 6/264 921062
/proc/meminfo: memFree=128211596/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=36516 memory=25188 CPUtime=0.3 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 6267 0 0 0 29 1 0 0 20 0 1 0 169244269 37392384 6297 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 9129 6297 405 379 0 8663 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46448 KiB
Current children cumulated memory: 27892 KiB

[startup+0.700219 s]
/proc/loadavg: 1.11 1.11 1.09 6/264 921062
/proc/meminfo: memFree=128122272/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=77804 memory=65596 CPUtime=0.68 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 16724 0 0 0 66 2 0 0 20 0 1 0 169244269 79671296 16399 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 19451 16399 421 379 0 18985 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 87736 KiB
Current children cumulated memory: 68300 KiB

[startup+1.50022 s]
/proc/loadavg: 1.34 1.16 1.11 6/264 921062
/proc/meminfo: memFree=127925728/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=170016 memory=157192 CPUtime=1.48 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 39253 0 0 0 141 7 0 0 20 0 1 0 169244269 174096384 39298 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 42504 39298 421 379 0 42038 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 179948 KiB
Current children cumulated memory: 159896 KiB

[startup+3.10466 s]
/proc/loadavg: 1.34 1.16 1.11 6/264 921062
/proc/meminfo: memFree=127496620/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=317520 memory=303280 CPUtime=3.09 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 75059 0 0 0 296 13 0 0 20 0 1 0 169244269 325140480 75820 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 79380 75820 421 379 0 78914 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 327452 KiB
Current children cumulated memory: 305984 KiB

[startup+6.3002 s]
/proc/loadavg: 1.55 1.20 1.12 6/264 921062
/proc/meminfo: memFree=127336924/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=405168 memory=392760 CPUtime=6.27 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 97443 0 0 0 610 17 0 0 20 0 1 0 169244269 414892032 98190 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 101292 98190 421 379 0 100826 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 415100 KiB
Current children cumulated memory: 395464 KiB

[startup+12.7002 s]
/proc/loadavg: 1.83 1.27 1.14 6/265 921065
/proc/meminfo: memFree=127235956/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=423908 memory=410488 CPUtime=12.65 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 99419 0 0 0 1247 18 0 0 20 0 1 0 169244269 434081792 102622 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 105977 102622 421 379 0 105511 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 433840 KiB
Current children cumulated memory: 413192 KiB

[startup+25.5002 s]
/proc/loadavg: 2.16 1.36 1.17 6/265 921066
/proc/meminfo: memFree=127079156/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=442072 memory=428708 CPUtime=25.42 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 102981 0 0 0 2522 20 0 0 20 0 1 0 169244269 452681728 107177 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 110518 107177 421 379 0 110052 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 452004 KiB
Current children cumulated memory: 431412 KiB

[startup+51.1053 s]
/proc/loadavg: 2.89 1.61 1.27 6/267 921076
/proc/meminfo: memFree=126862572/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=492584 memory=480192 CPUtime=50.96 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 108920 0 0 0 5074 22 0 0 20 0 1 0 169244269 504406016 120048 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 123146 120048 421 379 0 122680 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 502516 KiB
Current children cumulated memory: 482896 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.01 1.42 6/265 921098
/proc/meminfo: memFree=123759596/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=605672 memory=575596 CPUtime=102.01 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 119819 0 0 0 10175 26 0 0 20 0 1 0 169244269 620208128 143899 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 151418 143899 421 379 0 150952 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 615604 KiB
Current children cumulated memory: 578300 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.39 1.59 6/265 921108
/proc/meminfo: memFree=121892220/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=761436 memory=722796 CPUtime=161.86 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 130784 0 0 0 16153 33 0 0 20 0 1 0 169244269 779710464 180699 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 190359 180699 421 379 0 189893 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 771368 KiB
Current children cumulated memory: 725500 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.70 1.75 6/265 921118
/proc/meminfo: memFree=121582712/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=805392 memory=784844 CPUtime=221.69 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 141935 0 0 0 22134 35 0 0 20 0 1 0 169244269 824721408 196211 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 201348 196211 421 379 0 200882 0
Current children cumulated CPU time: 221.69 s

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

[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=14555356 memory=12516800 CPUtime=3093.49 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 1216680 0 0 0 308631 718 0 0 20 0 1 0 169244269 14904684544 3129200 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 3638839 3129200 421 379 0 3638373 0
Current children cumulated CPU time: 3093.49 s
Current children cumulated vsize: 14565288 KiB
Current children cumulated memory: 12519504 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.04 6/263 922279
/proc/meminfo: memFree=101159672/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=14557088 memory=12528872 CPUtime=3153.3 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 1218712 0 0 0 314606 724 0 0 20 0 1 0 169244269 14906458112 3132218 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 3639272 3132218 421 379 0 3638806 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 14567020 KiB
Current children cumulated memory: 12531576 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.04 6/263 922289
/proc/meminfo: memFree=100979552/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=14559076 memory=12538964 CPUtime=3213.11 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 1221557 0 0 0 320580 731 0 0 20 0 1 0 169244269 14908493824 3134741 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 3639769 3134741 421 379 0 3639303 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 14569008 KiB
Current children cumulated memory: 12541668 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.05 6/263 922301
/proc/meminfo: memFree=101018596/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=14561336 memory=12553608 CPUtime=3272.93 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 1224422 0 0 0 326555 738 0 0 20 0 1 0 169244269 14910808064 3138402 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 3640334 3138402 421 379 0 3639868 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 14571268 KiB
Current children cumulated memory: 12556312 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.05 6/262 922696
/proc/meminfo: memFree=100877176/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=14563720 memory=12566292 CPUtime=3332.75 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 1228455 0 0 0 332530 745 0 0 20 0 1 0 169244269 14913249280 3141573 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 3640930 3141573 421 379 0 3640464 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 14573652 KiB
Current children cumulated memory: 12568996 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.05 6/261 922706
/proc/meminfo: memFree=100584124/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=14565748 memory=12619416 CPUtime=3392.56 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 1230599 0 0 0 338504 752 0 0 20 0 1 0 169244269 14915325952 3154854 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 3641437 3154854 421 379 0 3640971 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 14575680 KiB
Current children cumulated memory: 12622120 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.06 6/261 922716
/proc/meminfo: memFree=100872700/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=14566276 memory=12626096 CPUtime=3452.37 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 1232854 0 0 0 344480 757 0 0 20 0 1 0 169244269 14915866624 3156524 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 3641569 3156524 421 379 0 3641103 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 14576208 KiB
Current children cumulated memory: 12628800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.06 6/262 922896
/proc/meminfo: memFree=100569540/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=14567076 memory=12641268 CPUtime=3512.19 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 1234703 0 0 0 350455 764 0 0 20 0 1 0 169244269 14916685824 3160317 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 3641769 3160317 421 379 0 3641303 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 14577008 KiB
Current children cumulated memory: 12643972 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.06 6/262 922906
/proc/meminfo: memFree=101044336/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=14567744 memory=12652204 CPUtime=3572.01 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 1236517 0 0 0 356431 770 0 0 20 0 1 0 169244269 14917369856 3163051 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 3641936 3163051 421 379 0 3641470 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 14577676 KiB
Current children cumulated memory: 12654908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.11 4.11 4.06 5/261 922912
/proc/meminfo: memFree=106396952/131524600 swapFree=131071996/131071996
[pid=921056] ppid=921050 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/921056/stat : 921056 (naps-1.02b5.sh) S 921050 921056 918585 0 -1 4194304 218 243 0 0 0 0 0 0 20 0 1 0 169244268 10170368 676 134679101440 94454344798208 94454345877528 140734949825664 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94454347975984 94454348023172 94454350417920 140734949831648 140734949831775 140734949831775 140734949838790 0
/proc/921056/statm: 2483 676 597 264 0 134 0
[pid=921062] ppid=921056 vsize=14568424 memory=12665080 CPUtime=3600.02 cores=1,3
/proc/921062/stat : 921062 (naps-1.02b5) R 921056 921056 918585 0 -1 4194304 1237617 0 0 0 359230 772 0 0 20 0 1 0 169244269 14918066176 3166270 134679101440 4194304 5746509 140734090493408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 31199232 140734090499055 140734090499169 140734090499169 140734090506185 0
/proc/921062/statm: 3642106 3166270 421 379 0 3641640 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 14578356 KiB
Current children cumulated memory: 12667784 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001958 s, system=0.000758 s

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

# cumulated CPU time of all completed processes:  user=3592.31 s, system=7.95138 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+3610.61 s]
/proc/loadavg: 4.11 4.11 4.06 3/249 922957
/proc/meminfo: memFree=116183388/131524600 swapFree=131071996/131071996
Current cumulated CPU time of completed processes: 0.002716 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3610.63
CPU time (s): 3600.26
CPU user time (s): 3592.31
CPU system time (s): 7.95138
CPU usage (%): 99.7129
Max. virtual memory (cumulated for all children) (KiB): 15861568
Max. memory (cumulated for all children) (KiB): 13670116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.31
system time used= 7.95138
maximum resident set size= 13667412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1238078
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= 11
involuntary context switches= 4611


# summary of solver processes directly reported to runsolver:
#   pid: 921056,921062
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3592.31
#   total CPU system time (s): 7.95138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01603 second user time and 14.1537 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-17 00:59:35
IDJOB=4435359
IDBENCH=158610
IDSOLVER=3065
FILE ID=nodeC030/4435359-1721170762
RUNJOBID= nodeC030-1721170775-920984
SLURM_JOB_ID= 7505796
Free space on /tmp= 890068 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435359-1721170762/watcher-4435359-1721170762 -o /tmp/evaluation-result-4435359-1721170762/solver-4435359-1721170762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721170775-920984 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4435359-1721170762.opb

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

MD5SUM BENCH= 380e20810b586058c5e1cee383ac3a23
RANDOM SEED=457028536

nodeC030.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		: 3618.929
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.28
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		: 3664.084
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.11
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		: 3651.679
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.28
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.978
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.11
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		: 3651.982
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.28
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		: 3662.241
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.11
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		: 3628.241
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.28
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		: 3658.655
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.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128336552 kB
MemAvailable:   129709020 kB
Buffers:          415028 kB
Cached:          1781564 kB
SwapCached:            0 kB
Active:           941492 kB
Inactive:        1621176 kB
Active(anon):       1468 kB
Inactive(anon):   402032 kB
Active(file):     940024 kB
Inactive(file):  1219144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19060 kB
Writeback:             0 kB
AnonPages:        365508 kB
Mapped:           105180 kB
Shmem:             37720 kB
KReclaimable:     106244 kB
Slab:             214676 kB
SReclaimable:     106244 kB
SUnreclaim:       108432 kB
KernelStack:        4084 kB
PageTables:        10112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     774176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            65248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC030 at 2024-07-17 01:59:45