Trace number 4449051

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS-PB16 1.02b5? (TO) 3600.1 3609.59

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm90p-dec.opb.negationfix.opb
MD5SUM01718154630a65d8782d403c9002f363
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.60205
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables635136
Total number of constraints5474
Number of constraints which are clauses2480
Number of constraints which are cardinality constraints (but not clauses)2480
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2481
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 892531
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2107566
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.02b5.
0.00/0.00	c Input file name: HOME/instance-4449051-1721360315.opb
3600.01/3609.50	c 
3600.01/3609.50	c *** TERMINATED *** by signal 15
3600.01/3609.50	s UNKNOWN
3600.01/3609.50	c _____________________________________________________________________________
3600.01/3609.50	c 
3600.01/3609.50	c std/band forms        : 297,0
3600.01/3609.50	c 2cl/3cl ITE-codings   : 0,0
3600.01/3609.50	c BDD/srt/adr Max costs : 228977,905503,0
3600.01/3609.50	c BDDraw/bin/mul/srt/adr: 150,0,0,147,0
3600.01/3609.50	c BDD nodes             : 330907029
3600.01/3609.50	c Es1/CC detections     : 0,0
3600.01/3609.50	c SAT/UNSAT calls       : 0,0
3600.01/3609.50	c regenrated variables  : 0
3600.01/3609.50	c restarts              : 0
3600.01/3609.50	c conflicts             : 0              (0 /sec)
3600.01/3609.50	c decisions             : 0              (0 /sec)
3600.01/3609.50	c propagations          : 0              (0 /sec)
3600.01/3609.50	c inspects              : 0              (0 /sec)
3600.01/3609.50	c CPU time (solving tm) : 3596 s        (0 s)
3600.01/3609.50	c Time for Opt-base     : 121.8 s
3600.01/3609.50	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 (55239 MiB free)
  memory of node 1: 64473 MiB (58831 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449051-1721360315/watcher-4449051-1721360315 -o /tmp/evaluation-result-4449051-1721360315/solver-4449051-1721360315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721351488-989674 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4449051-1721360315.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
solver pid=997499, runsolver pid=997496
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 4.09 4.11 4.11 5/261 997504
/proc/meminfo: memFree=116794656/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=22668 memory=16492 CPUtime=0.09 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 3909 0 0 0 9 0 0 0 20 0 1 0 188200433 23212032 4123 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 5667 4123 405 379 0 5201 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32600 KiB
Current children cumulated memory: 19132 KiB

[startup+0.205874 s]*
/proc/loadavg: 4.09 4.11 4.11 5/261 997504
/proc/meminfo: memFree=116780068/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=36976 memory=30404 CPUtime=0.19 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 7540 0 0 0 19 0 0 0 20 0 1 0 188200433 37863424 7601 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 9244 7601 405 379 0 8778 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46908 KiB
Current children cumulated memory: 33044 KiB

[startup+0.305842 s]*
/proc/loadavg: 4.09 4.11 4.11 5/261 997504
/proc/meminfo: memFree=116766460/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=51640 memory=43968 CPUtime=0.3 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 11279 0 0 0 29 1 0 0 20 0 1 0 188200433 52879360 10992 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 12910 10992 405 379 0 12444 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61572 KiB
Current children cumulated memory: 46608 KiB

[startup+0.700252 s]
/proc/loadavg: 4.09 4.11 4.11 5/261 997504
/proc/meminfo: memFree=116737604/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=105668 memory=94356 CPUtime=0.68 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 23539 0 0 0 65 3 0 0 20 0 1 0 188200433 108204032 23589 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 26417 23589 405 379 0 25951 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115600 KiB
Current children cumulated memory: 96996 KiB

[startup+1.50024 s]
/proc/loadavg: 4.09 4.11 4.11 5/261 997504
/proc/meminfo: memFree=116668572/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=221376 memory=199672 CPUtime=1.49 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 47318 0 0 0 142 7 0 0 20 0 1 0 188200433 226689024 49918 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 55344 49918 405 379 0 54878 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 231308 KiB
Current children cumulated memory: 202312 KiB

[startup+3.10574 s]
/proc/loadavg: 4.08 4.11 4.11 5/261 997506
/proc/meminfo: memFree=116486732/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=339972 memory=303776 CPUtime=3.08 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 70848 0 0 0 297 11 0 0 20 0 1 0 188200433 348131328 75944 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 84993 75944 405 379 0 84527 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 349904 KiB
Current children cumulated memory: 306416 KiB

[startup+6.30024 s]
/proc/loadavg: 4.08 4.11 4.11 5/261 997506
/proc/meminfo: memFree=116388244/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=470372 memory=403588 CPUtime=6.27 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 94276 0 0 0 609 18 0 0 20 0 1 0 188200433 481660928 100897 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 117593 100897 405 379 0 117127 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 480304 KiB
Current children cumulated memory: 406228 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.11 5/261 997506
/proc/meminfo: memFree=115932768/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=968432 memory=893452 CPUtime=12.65 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 200194 0 0 0 1229 36 0 0 20 0 1 0 188200433 991674368 223363 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 242108 223363 421 379 0 241642 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 978364 KiB
Current children cumulated memory: 896092 KiB

[startup+25.5003 s]
/proc/loadavg: 4.21 4.13 4.12 5/260 997510
/proc/meminfo: memFree=115004340/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=1747408 memory=1665576 CPUtime=25.43 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 380692 0 0 0 2479 64 0 0 20 0 1 0 188200433 1789345792 416394 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 436852 416394 421 379 0 436386 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1757340 KiB
Current children cumulated memory: 1668216 KiB

[startup+51.1059 s]
/proc/loadavg: 4.53 4.22 4.14 5/260 997513
/proc/meminfo: memFree=114840092/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=1832004 memory=1741352 CPUtime=50.97 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 387288 0 0 0 5031 66 0 0 20 0 1 0 188200433 1875972096 435338 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 458001 435338 421 379 0 457535 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1841936 KiB
Current children cumulated memory: 1743992 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.20 4.14 5/259 997521
/proc/meminfo: memFree=114425392/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=2012320 memory=1921736 CPUtime=102.03 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 404507 0 0 0 10131 72 0 0 20 0 1 0 188200433 2060615680 480434 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 503080 480434 421 379 0 502614 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2022252 KiB
Current children cumulated memory: 1924376 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.19 4.14 5/261 997537
/proc/meminfo: memFree=114071336/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=2123848 memory=2021204 CPUtime=161.88 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 421439 0 0 0 16112 76 0 0 20 0 1 0 188200433 2174820352 505301 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 530962 505301 421 379 0 530496 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2133780 KiB
Current children cumulated memory: 2023844 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/261 997548
/proc/meminfo: memFree=113558904/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=2356328 memory=2284588 CPUtime=221.73 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 438211 0 0 0 22087 86 0 0 20 0 1 0 188200433 2412879872 571147 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 589082 571147 421 379 0 588616 0
Current children cumulated CPU time: 221.73 s

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

/proc/997504/statm: 2162046 2099988 421 379 0 2161580 0
Current children cumulated CPU time: 3094.12 s
Current children cumulated vsize: 8658116 KiB
Current children cumulated memory: 8402592 KiB

[startup+3162.3 s]
/proc/loadavg: 1.09 1.12 1.67 2/238 999347
/proc/meminfo: memFree=118673588/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=8712204 memory=8484672 CPUtime=3153.96 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 1164820 0 0 0 315031 365 0 0 20 0 1 0 188200433 8921296896 2121168 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 2178051 2121168 421 379 0 2177585 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 8722136 KiB
Current children cumulated memory: 8487312 KiB

[startup+3222.3 s]
/proc/loadavg: 1.07 1.11 1.63 2/238 999358
/proc/meminfo: memFree=118597820/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=8757612 memory=8560748 CPUtime=3213.8 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 1179665 0 0 0 321011 369 0 0 20 0 1 0 188200433 8967794688 2140187 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 2189403 2140187 421 379 0 2188937 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 8767544 KiB
Current children cumulated memory: 8563388 KiB

[startup+3282.3 s]
/proc/loadavg: 1.08 1.10 1.59 2/238 999369
/proc/meminfo: memFree=118509716/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=8821104 memory=8646940 CPUtime=3273.66 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 1199449 0 0 0 326992 374 0 0 20 0 1 0 188200433 9032810496 2161735 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 2205276 2161735 421 379 0 2204810 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 8831036 KiB
Current children cumulated memory: 8649580 KiB

[startup+3342.3 s]
/proc/loadavg: 1.07 1.10 1.56 2/236 999380
/proc/meminfo: memFree=118426408/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=8886048 memory=8744308 CPUtime=3333.5 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 1218949 0 0 0 332973 377 0 0 20 0 1 0 188200433 9099313152 2186077 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 2221512 2186077 421 379 0 2221046 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 8895980 KiB
Current children cumulated memory: 8746948 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 1.11 1.53 2/236 999390
/proc/meminfo: memFree=118346908/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=8929212 memory=8808216 CPUtime=3393.34 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 1233728 0 0 0 338952 382 0 0 20 0 1 0 188200433 9143513088 2202054 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 2232303 2202054 421 379 0 2231837 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 8939144 KiB
Current children cumulated memory: 8810856 KiB

[startup+3462.3 s]
/proc/loadavg: 1.04 1.08 1.50 2/234 999401
/proc/meminfo: memFree=118249472/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=8992968 memory=8904756 CPUtime=3453.19 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 1253322 0 0 0 344932 387 0 0 20 0 1 0 188200433 9208799232 2226189 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 2248242 2226189 421 379 0 2247776 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 9002900 KiB
Current children cumulated memory: 8907396 KiB

[startup+3522.3 s]
/proc/loadavg: 1.12 1.10 1.47 2/234 999411
/proc/meminfo: memFree=118184892/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=9036132 memory=8968436 CPUtime=3513.03 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 1268040 0 0 0 350911 392 0 0 20 0 1 0 188200433 9252999168 2242109 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 2259033 2242109 421 379 0 2258567 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 9046064 KiB
Current children cumulated memory: 8971076 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.09 1.44 2/234 999423
/proc/meminfo: memFree=118088588/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=9100944 memory=9063932 CPUtime=3572.88 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 1288172 0 0 0 356891 397 0 0 20 0 1 0 188200433 9319366656 2265983 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 2275236 2265983 421 379 0 2274770 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 9110876 KiB
Current children cumulated memory: 9066572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 1.19 1.12 1.44 2/234 999428
/proc/meminfo: memFree=118053144/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=9123516 memory=9098792 CPUtime=3600.01 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 1295855 0 0 0 359602 399 0 0 20 0 1 0 188200433 9342480384 2274698 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 2280879 2274698 421 379 0 2280413 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 9133448 KiB
Current children cumulated memory: 9101432 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000808 s, system=0.001965 s

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

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

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

[startup+3609.5 s]
/proc/loadavg: 1.19 1.12 1.44 2/234 999428
/proc/meminfo: memFree=118053144/131524600 swapFree=131071996/131071996
[pid=997499] ppid=997496 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/997499/stat : 997499 (naps-1.02b5.sh) S 997496 997499 989662 0 -1 4194304 218 236 0 0 0 0 0 0 20 0 1 0 188200432 10170368 660 134679101440 94092288790528 94092289869848 140727061673760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94092291968304 94092292015492 94092292657152 140727061677023 140727061677150 140727061677150 140727061684166 0
/proc/997499/statm: 2483 660 581 264 0 134 0
[pid=997504] ppid=997499 vsize=9123516 memory=9098792 CPUtime=3600.01 cores=1,3
/proc/997504/stat : 997504 (naps-1.02b5) R 997499 997499 989662 0 -1 4194304 1295855 0 0 0 359602 399 0 0 20 0 1 0 188200433 9342480384 2274698 134679101440 4194304 5746509 140722413819680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140722413827054 140722413827168 140722413827168 140722413834185 0
/proc/997504/statm: 2280879 2274698 421 379 0 2280413 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 9133448 KiB
Current children cumulated memory: 9101432 KiB

Child status: 0

Real time (s): 3609.59
CPU time (s): 3600.1
CPU user time (s): 3596.02
CPU system time (s): 4.08256
CPU usage (%): 99.7373
Max. virtual memory (cumulated for all children) (KiB): 9133448
Max. memory (cumulated for all children) (KiB): 9101432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.02
system time used= 4.08256
maximum resident set size= 9098792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1296310
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= 1152
involuntary context switches= 2946


# summary of solver processes directly reported to runsolver:
#   pid: 997499,997504
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3596.02
#   total CPU system time (s): 4.08256

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00031 second user time and 17.2406 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-19 05:38:47
IDJOB=4449051
IDBENCH=160479
IDSOLVER=3065
FILE ID=nodeC032/4449051-1721360315
RUNJOBID= nodeC032-1721351488-989674
SLURM_JOB_ID= 7542756
Free space on /tmp= 890024 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm90p-dec.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-4449051-1721360315/watcher-4449051-1721360315 -o /tmp/evaluation-result-4449051-1721360315/solver-4449051-1721360315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721351488-989674 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4449051-1721360315.opb

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

MD5SUM BENCH= 01718154630a65d8782d403c9002f363
RANDOM SEED=719663773

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        116809280 kB
MemAvailable:   119318936 kB
Buffers:          519024 kB
Cached:          2805032 kB
SwapCached:            0 kB
Active:          1003516 kB
Inactive:       13030496 kB
Active(anon):       1580 kB
Inactive(anon): 10746096 kB
Active(file):    1001936 kB
Inactive(file):  2284400 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             32748 kB
Writeback:           112 kB
AnonPages:      10706092 kB
Mapped:           111512 kB
Shmem:             37720 kB
KReclaimable:     126284 kB
Slab:             242068 kB
SReclaimable:     126284 kB
SUnreclaim:       115784 kB
KernelStack:        4160 kB
PageTables:        30520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   11536896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71040 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5652480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      226004 kB
DirectMap2M:    21567488 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC032 at 2024-07-19 06:38:57