Trace number 4435358

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.18 3610.05

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb
MD5SUMee8efe71b9f67a5ece24692873b8eec2
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 benchmark47
Best CPU time to get the best result obtained on this benchmark211.651
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables35840
Total number of constraints1248
Number of constraints which are clauses559
Number of constraints which are cardinality constraints (but not clauses)559
Number of constraints which are nor clauses,nor cardinality constraints130
Minimum length of a constraint64
Maximum length of a constraint560
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 193587
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 515704
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.02b5.
0.00/0.00	c Input file name: HOME/instance-4435358-1721170762.opb
3600.02/3609.90	c 
3600.02/3609.90	c *** TERMINATED *** by signal 15
3600.02/3609.90	s UNKNOWN
3600.02/3609.90	c _____________________________________________________________________________
3600.02/3609.90	c 
3600.02/3609.90	c std/band forms        : 817,0
3600.02/3609.90	c 2cl/3cl ITE-codings   : 37107,0
3600.02/3609.90	c BDD/srt/adr Max costs : 1753,190695,0
3600.02/3609.90	c BDDraw/bin/mul/srt/adr: 689,0,0,128,0
3600.02/3609.90	c BDD nodes             : 64902988
3600.02/3609.90	c Es1/CC detections     : 0,0
3600.02/3609.90	c SAT/UNSAT calls       : 0,0
3600.02/3609.90	c regenrated variables  : 0
3600.02/3609.90	c restarts              : 0
3600.02/3609.90	c conflicts             : 0              (0 /sec)
3600.02/3609.90	c decisions             : 0              (0 /sec)
3600.02/3609.90	c propagations          : 0              (0 /sec)
3600.02/3609.90	c inspects              : 0              (0 /sec)
3600.02/3609.90	c CPU time (solving tm) : 3595 s        (3028 s)
3600.02/3609.90	c Time for Opt-base     : 20.77 s
3600.02/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 (62166 MiB free)
  memory of node 1: 64473 MiB (63158 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100161 s]*
/proc/loadavg: 1.11 1.11 1.09 5/264 921062
/proc/meminfo: memFree=128285896/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=20812 memory=14364 CPUtime=0.09 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 3419 0 0 0 9 0 0 0 20 0 1 0 169244268 21311488 3591 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 5203 3591 405 379 0 4737 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30744 KiB
Current children cumulated memory: 17024 KiB

[startup+0.205767 s]*
/proc/loadavg: 1.11 1.11 1.09 5/264 921062
/proc/meminfo: memFree=128244944/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=27092 memory=20700 CPUtime=0.19 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 4965 0 0 0 19 0 0 0 20 0 1 0 169244268 27742208 5175 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 6773 5175 405 379 0 6307 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 37024 KiB
Current children cumulated memory: 23360 KiB

[startup+0.305764 s]*
/proc/loadavg: 1.11 1.11 1.09 5/264 921062
/proc/meminfo: memFree=128211596/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=31996 memory=24924 CPUtime=0.3 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 6032 0 0 0 29 1 0 0 20 0 1 0 169244268 32763904 6231 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 7999 6231 405 379 0 7533 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41928 KiB
Current children cumulated memory: 27584 KiB

[startup+0.700259 s]
/proc/loadavg: 1.11 1.11 1.09 5/264 921062
/proc/meminfo: memFree=128123280/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=78880 memory=71644 CPUtime=0.68 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 17993 0 0 0 66 2 0 0 20 0 1 0 169244268 80773120 17911 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 19720 17911 421 379 0 19254 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88812 KiB
Current children cumulated memory: 74304 KiB

[startup+1.50023 s]
/proc/loadavg: 1.34 1.16 1.11 5/264 921062
/proc/meminfo: memFree=127926736/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=162248 memory=154328 CPUtime=1.48 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 38623 0 0 0 142 6 0 0 20 0 1 0 169244268 166141952 38582 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 40562 38582 421 379 0 40096 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 172180 KiB
Current children cumulated memory: 156988 KiB

[startup+3.1057 s]
/proc/loadavg: 1.34 1.16 1.11 5/264 921062
/proc/meminfo: memFree=127496980/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=312788 memory=303560 CPUtime=3.08 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 75181 0 0 0 296 12 0 0 20 0 1 0 169244268 320294912 75890 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 78197 75890 421 379 0 77731 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 322720 KiB
Current children cumulated memory: 306220 KiB

[startup+6.30025 s]
/proc/loadavg: 1.55 1.20 1.12 5/264 921062
/proc/meminfo: memFree=127337260/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=323480 memory=316164 CPUtime=6.27 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 77835 0 0 0 614 13 0 0 20 0 1 0 169244268 331243520 79041 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 80870 79041 421 379 0 80404 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 333412 KiB
Current children cumulated memory: 318824 KiB

[startup+12.7003 s]
/proc/loadavg: 1.83 1.27 1.14 6/265 921065
/proc/meminfo: memFree=127235956/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=344068 memory=333748 CPUtime=12.65 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 79757 0 0 0 1251 14 0 0 20 0 1 0 169244268 352325632 83437 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 86017 83437 421 379 0 85551 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 354000 KiB
Current children cumulated memory: 336408 KiB

[startup+25.5003 s]
/proc/loadavg: 2.16 1.36 1.17 5/265 921066
/proc/meminfo: memFree=127079156/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=358932 memory=346792 CPUtime=25.42 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 82549 0 0 0 2527 15 0 0 20 0 1 0 169244268 367546368 86698 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 89733 86698 421 379 0 89267 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 368864 KiB
Current children cumulated memory: 349452 KiB

[startup+51.1058 s]
/proc/loadavg: 2.89 1.61 1.27 5/267 921076
/proc/meminfo: memFree=126862572/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=409840 memory=399256 CPUtime=50.95 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 89278 0 0 0 5078 17 0 0 20 0 1 0 169244268 419676160 99814 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 102460 99814 421 379 0 101994 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 419772 KiB
Current children cumulated memory: 401916 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.01 1.42 5/265 921098
/proc/meminfo: memFree=123759596/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=500976 memory=493484 CPUtime=102.01 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 99389 0 0 0 10180 21 0 0 20 0 1 0 169244268 512999424 123371 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 125244 123371 421 379 0 124778 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 510908 KiB
Current children cumulated memory: 496144 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.39 1.59 5/265 921108
/proc/meminfo: memFree=121892220/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=562792 memory=555100 CPUtime=161.85 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 110256 0 0 0 16160 25 0 0 20 0 1 0 169244268 576299008 138775 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 140698 138775 421 379 0 140232 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 572724 KiB
Current children cumulated memory: 557760 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.70 1.75 5/265 921118
/proc/meminfo: memFree=121582712/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=719348 memory=700836 CPUtime=221.68 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 121905 0 0 0 22137 31 0 0 20 0 1 0 169244268 736612352 175209 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 179837 175209 421 379 0 179371 0
Current children cumulated CPU time: 221.68 s

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

[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=10388136 memory=8945732 CPUtime=3093.82 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 898706 0 0 0 308909 473 0 0 20 0 1 0 169244268 10637451264 2236433 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 2597034 2236433 421 379 0 2596568 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 10398068 KiB
Current children cumulated memory: 8948392 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.04 5/263 922279
/proc/meminfo: memFree=101159672/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=10389192 memory=8956932 CPUtime=3153.65 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 900693 0 0 0 314889 476 0 0 20 0 1 0 169244268 10638532608 2239233 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 2597298 2239233 421 379 0 2596832 0
Current children cumulated CPU time: 3153.65 s
Current children cumulated vsize: 10399124 KiB
Current children cumulated memory: 8959592 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.04 7/263 922289
/proc/meminfo: memFree=100979552/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=10389724 memory=8965740 CPUtime=3213.48 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 902268 0 0 0 320869 479 0 0 20 0 1 0 169244268 10639077376 2241435 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 2597431 2241435 421 379 0 2596965 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 10399656 KiB
Current children cumulated memory: 8968400 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.05 5/263 922301
/proc/meminfo: memFree=101018596/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=10389988 memory=8972196 CPUtime=3273.32 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 904023 0 0 0 326849 483 0 0 20 0 1 0 169244268 10639347712 2243049 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 2597497 2243049 421 379 0 2597031 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 10399920 KiB
Current children cumulated memory: 8974856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/262 922696
/proc/meminfo: memFree=100877176/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=10390384 memory=8978640 CPUtime=3333.16 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 905552 0 0 0 332830 486 0 0 20 0 1 0 169244268 10639753216 2244660 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 2597596 2244660 421 379 0 2597130 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 10400316 KiB
Current children cumulated memory: 8981300 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/261 922706
/proc/meminfo: memFree=100584124/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=10390780 memory=8987344 CPUtime=3393 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 907736 0 0 0 338811 489 0 0 20 0 1 0 169244268 10640158720 2246836 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 2597695 2246836 421 379 0 2597229 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 10400712 KiB
Current children cumulated memory: 8990004 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/261 922716
/proc/meminfo: memFree=100872700/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=10391440 memory=9000212 CPUtime=3452.83 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 909365 0 0 0 344791 492 0 0 20 0 1 0 169244268 10640834560 2250053 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 2597860 2250053 421 379 0 2597394 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 10401372 KiB
Current children cumulated memory: 9002872 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/262 922896
/proc/meminfo: memFree=100569540/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=10392100 memory=9011184 CPUtime=3512.66 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 911039 0 0 0 350771 495 0 0 20 0 1 0 169244268 10641510400 2252796 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 2598025 2252796 421 379 0 2597559 0
Current children cumulated CPU time: 3512.66 s
Current children cumulated vsize: 10402032 KiB
Current children cumulated memory: 9013844 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/262 922906
/proc/meminfo: memFree=101044336/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=10393168 memory=9028548 CPUtime=3572.49 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 913130 0 0 0 356751 498 0 0 20 0 1 0 169244268 10642604032 2257137 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 2598292 2257137 421 379 0 2597826 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 10403100 KiB
Current children cumulated memory: 9031208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.11 4.11 4.06 6/262 922910
/proc/meminfo: memFree=100911192/131524600 swapFree=131071996/131071996
[pid=921048] ppid=921044 vsize=9932 memory=2660 CPUtime=0 cores=5,7
/proc/921048/stat : 921048 (naps-1.02b5.sh) S 921044 921048 918585 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 169244268 10170368 665 134679101440 93844121047040 93844122126360 140736776034320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93844124224816 93844124272004 93844141735936 140736776037344 140736776037471 140736776037471 140736776044486 0
/proc/921048/statm: 2483 665 587 264 0 134 0
[pid=921057] ppid=921048 vsize=10393564 memory=9035168 CPUtime=3600.02 cores=5,7
/proc/921057/stat : 921057 (naps-1.02b5) R 921048 921048 918585 0 -1 4194304 914001 0 0 0 359502 500 0 0 20 0 1 0 169244268 10643009536 2258792 134679101440 4194304 5746509 140736772768192 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 16277504 140736772776943 140736772777057 140736772777057 140736772784073 0
/proc/921057/statm: 2598391 2258792 421 379 0 2597925 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 10403496 KiB
Current children cumulated memory: 9037828 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002266 s, system=0.000477 s

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

# cumulated CPU time of all completed processes:  user=3595.03 s, system=5.1565 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 s]*
/proc/loadavg: 4.11 4.11 4.06 6/261 922912
/proc/meminfo: memFree=106494540/131524600 swapFree=131071996/131071996
Current cumulated CPU time of completed processes: 0.002743 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.05
CPU time (s): 3600.18
CPU user time (s): 3595.03
CPU system time (s): 5.1565
CPU usage (%): 99.7266
Max. virtual memory (cumulated for all children) (KiB): 11814164
Max. memory (cumulated for all children) (KiB): 9738772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.03
system time used= 5.15649
maximum resident set size= 9736112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 914461
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= 34
involuntary context switches= 4610


# summary of solver processes directly reported to runsolver:
#   pid: 921048,921057
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3595.03
#   total CPU system time (s): 5.1565

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2301 second user time and 18.147 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-17 00:59:35
IDJOB=4435358
IDBENCH=158609
IDSOLVER=3065
FILE ID=nodeC030/4435358-1721170762
RUNJOBID= nodeC030-1721170775-920985
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-vm75p-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-4435358-1721170762/watcher-4435358-1721170762 -o /tmp/evaluation-result-4435358-1721170762/solver-4435358-1721170762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721170775-920985 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4435358-1721170762.opb

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

MD5SUM BENCH= ee8efe71b9f67a5ece24692873b8eec2
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:        128327532 kB
MemAvailable:   129700000 kB
Buffers:          415028 kB
Cached:          1781564 kB
SwapCached:            0 kB
Active:           941492 kB
Inactive:        1625988 kB
Active(anon):       1468 kB
Inactive(anon):   406844 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:        370288 kB
Mapped:           105180 kB
Shmem:             37720 kB
KReclaimable:     106244 kB
Slab:             214676 kB
SReclaimable:     106244 kB
SUnreclaim:       108432 kB
KernelStack:        4000 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= 890060 MiB
End job on nodeC030 at 2024-07-17 01:59:45