Trace number 4433990

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
NaPS-GM 1.03? (TO) 3600.02 3610.61

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
MD5SUMa11c5c9a015f48f3bddc22713bc48593
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 benchmark7
Best CPU time to get the best result obtained on this benchmark1363.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4977
Total number of constraints5494
Number of constraints which are clauses4970
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints448
Minimum length of a constraint2
Maximum length of a constraint448
Number of terms in the objective function 7
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 7
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 947
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4433990-1721114029.opb
2.09/2.16	c single stage optimization mode
3600.00/3610.60	c 
3600.00/3610.60	c *** TERMINATED *** by signal 15
3600.00/3610.60	s UNKNOWN
3600.00/3610.60	c _____________________________________________________________________________
3600.00/3610.60	c std/band forms        : 523,0
3600.00/3610.60	c 2cl/3cl ITE-codings   : 357952,0
3600.00/3610.60	c BDD/srt/adr Max costs : 1232,16832,0
3600.00/3610.60	c BDDraw/bin/mul/srt/adr: 448,0,0,75,0
3600.00/3610.60	c BDD nodes             : 552384
3600.00/3610.60	c Es1/CC detections     : 0,0
3600.00/3610.60	c CC sort               : 75
3600.00/3610.60	c SAT/UNSAT calls       : 0,0
3600.00/3610.60	c regenrated variables  : 0
3600.00/3610.60	c eliminated fixed lits : 0
3600.00/3610.60	c goal lit flips        : 0
3600.00/3610.60	c goal stages           : 1
3600.00/3610.60	c goal shrink           : 0
3600.00/3610.60	c goal coeff separations: 0
3600.00/3610.60	c restarts              : 0
3600.00/3610.60	c conflicts             : 0              (0 /sec)
3600.00/3610.60	c decisions             : 0              (0 /sec)
3600.00/3610.60	c propagations          : 0              (0 /sec)
3600.00/3610.60	c inspects              : 0              (0 /sec)
3600.00/3610.60	c CPU time (solving tm) : 3599 s        (3597 s, SAT 0 s, UNSAT 0 s)
3600.00/3610.60	c Time for Opt-base     : 0.000918 s
3600.00/3610.60	c Steps for Opt-base    : 0
3600.00/3610.60	c Time for BDD coding   : 1.542 s
3600.00/3610.60	c Time for srt coding   : 0.009543 s
3600.00/3610.60	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: 63931 MiB (61150 MiB free)
  memory of node 1: 64510 MiB (54069 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433990-1721114029/watcher-4433990-1721114029 -o /tmp/evaluation-result-4433990-1721114029/solver-4433990-1721114029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721106131-836241 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433990-1721114029.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=841806, runsolver pid=841803

[startup+0.100086 s]*
/proc/loadavg: 4.18 4.17 4.12 5/265 841811
/proc/meminfo: memFree=117977952/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=15572 memory=8212 CPUtime=0.09 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 1683 0 0 0 9 0 0 0 20 0 1 0 163567811 15945728 2053 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 3893 2053 436 659 0 3097 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25504 KiB
Current children cumulated memory: 11020 KiB

[startup+0.20593 s]*
/proc/loadavg: 4.18 4.17 4.12 5/265 841811
/proc/meminfo: memFree=117968040/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=25824 memory=17844 CPUtime=0.19 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 4718 0 0 0 19 0 0 0 20 0 1 0 163567811 26443776 4461 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 6456 4461 468 659 0 5660 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35756 KiB
Current children cumulated memory: 20652 KiB

[startup+0.306087 s]*
/proc/loadavg: 4.18 4.17 4.12 5/265 841811
/proc/meminfo: memFree=118099188/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=29252 memory=21544 CPUtime=0.3 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 5333 0 0 0 29 1 0 0 20 0 1 0 163567811 29954048 5386 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 7313 5386 468 659 0 6517 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39184 KiB
Current children cumulated memory: 24352 KiB

[startup+0.700286 s]
/proc/loadavg: 4.18 4.17 4.12 5/265 841811
/proc/meminfo: memFree=118096332/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=46268 memory=37156 CPUtime=0.69 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 6672 0 0 0 68 1 0 0 20 0 1 0 163567811 47378432 9289 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 11567 9289 468 659 0 10771 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 56200 KiB
Current children cumulated memory: 39964 KiB

[startup+1.50027 s]
/proc/loadavg: 4.18 4.17 4.12 5/265 841811
/proc/meminfo: memFree=118085408/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=50724 memory=43092 CPUtime=1.48 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 8959 0 0 0 147 1 0 0 20 0 1 0 163567811 51941376 10773 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 12681 10773 468 659 0 11885 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60656 KiB
Current children cumulated memory: 45900 KiB

[startup+3.10613 s]
/proc/loadavg: 4.18 4.17 4.12 5/265 841814
/proc/meminfo: memFree=117759384/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=399504 memory=377244 CPUtime=3.08 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 47613 0 0 0 297 11 0 0 20 0 1 0 163567811 409092096 94311 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 99876 94311 468 659 0 99080 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 409436 KiB
Current children cumulated memory: 380052 KiB

[startup+6.30026 s]
/proc/loadavg: 4.17 4.16 4.12 5/265 841814
/proc/meminfo: memFree=117762764/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=389384 memory=355696 CPUtime=6.27 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 52557 0 0 0 614 13 0 0 20 0 1 0 163567811 398729216 88924 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 97346 88924 468 659 0 96550 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 399316 KiB
Current children cumulated memory: 358504 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.18 4.13 5/265 841816
/proc/meminfo: memFree=117720004/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=391960 memory=361508 CPUtime=12.65 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 53578 0 0 0 1252 13 0 0 20 0 1 0 163567811 401367040 90377 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 97990 90377 468 659 0 97194 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 401892 KiB
Current children cumulated memory: 364316 KiB

[startup+25.5003 s]
/proc/loadavg: 4.25 4.19 4.13 5/265 841817
/proc/meminfo: memFree=117650244/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=412080 memory=369724 CPUtime=25.42 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 54117 0 0 0 2528 14 0 0 20 0 1 0 163567811 421969920 92431 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 103020 92431 468 659 0 102224 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 422012 KiB
Current children cumulated memory: 372532 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.17 4.13 5/262 841820
/proc/meminfo: memFree=117656612/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=415224 memory=374788 CPUtime=50.95 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 55497 0 0 0 5080 15 0 0 20 0 1 0 163567811 425189376 93697 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 103806 93697 468 659 0 103010 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 425156 KiB
Current children cumulated memory: 377596 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.17 4.13 5/261 841830
/proc/meminfo: memFree=117640320/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=418604 memory=375956 CPUtime=102 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 57552 0 0 0 10182 18 0 0 20 0 1 0 163567811 428650496 93989 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 104651 93989 468 659 0 103855 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 428536 KiB
Current children cumulated memory: 378764 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.14 4.12 5/261 841840
/proc/meminfo: memFree=117611228/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=454292 memory=393340 CPUtime=161.83 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 60133 0 0 0 16163 20 0 0 20 0 1 0 163567811 465195008 98335 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 113573 98335 468 659 0 112777 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 464224 KiB
Current children cumulated memory: 396148 KiB

[startup+222.3 s]
/proc/loadavg: 4.38 4.21 4.14 5/260 841852
/proc/meminfo: memFree=117595524/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=427028 memory=390592 CPUtime=221.66 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 62280 0 0 0 22143 23 0 0 20 0 1 0 163567811 437276672 97648 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 106757 97648 468 659 0 105961 0
Current children cumulated CPU time: 221.66 s

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

/proc/841811/statm: 133673 126477 468 659 0 132877 0
Current children cumulated CPU time: 3033.46 s
Current children cumulated vsize: 544624 KiB
Current children cumulated memory: 508716 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.19 4.12 5/259 843594
/proc/meminfo: memFree=123875988/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=585260 memory=541136 CPUtime=3093.28 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 110044 0 0 0 309236 92 0 0 20 0 1 0 163567811 599306240 135284 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 146315 135284 468 659 0 145519 0
Current children cumulated CPU time: 3093.28 s
Current children cumulated vsize: 595192 KiB
Current children cumulated memory: 543944 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/259 843604
/proc/meminfo: memFree=123857596/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=667024 memory=574812 CPUtime=3153.1 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 110372 0 0 0 315217 93 0 0 20 0 1 0 163567811 683032576 143703 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 166756 143703 468 659 0 165960 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 676956 KiB
Current children cumulated memory: 577620 KiB

[startup+3222.3 s]
/proc/loadavg: 3.95 4.14 4.11 4/251 843646
/proc/meminfo: memFree=124244356/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=536856 memory=491412 CPUtime=3212.91 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 111034 0 0 0 321196 95 0 0 20 0 1 0 163567811 549740544 122853 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 134214 122853 468 659 0 133418 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 546788 KiB
Current children cumulated memory: 494220 KiB

[startup+3282.3 s]
/proc/loadavg: 3.47 3.96 4.05 4/252 843657
/proc/meminfo: memFree=124137056/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=587264 memory=526432 CPUtime=3272.73 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 111905 0 0 0 327176 97 0 0 20 0 1 0 163567811 601358336 131608 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 146816 131608 468 659 0 146020 0
Current children cumulated CPU time: 3272.73 s
Current children cumulated vsize: 597196 KiB
Current children cumulated memory: 529240 KiB

[startup+3342.3 s]
/proc/loadavg: 3.23 3.80 3.99 4/252 843667
/proc/meminfo: memFree=124207612/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=587788 memory=557728 CPUtime=3332.53 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 112192 0 0 0 333156 97 0 0 20 0 1 0 163567811 601894912 139432 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 146947 139432 468 659 0 146151 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 597720 KiB
Current children cumulated memory: 560536 KiB

[startup+3402.3 s]
/proc/loadavg: 3.13 3.67 3.93 4/254 843682
/proc/meminfo: memFree=124185980/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=542496 memory=495692 CPUtime=3392.34 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 113588 0 0 0 339134 100 0 0 20 0 1 0 163567811 555515904 123923 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 135624 123923 468 659 0 134828 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 552428 KiB
Current children cumulated memory: 498500 KiB

[startup+3462.3 s]
/proc/loadavg: 2.83 3.50 3.85 3/247 843725
/proc/meminfo: memFree=124640196/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=592584 memory=530560 CPUtime=3452.15 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 114295 0 0 0 345115 100 0 0 20 0 1 0 163567811 606806016 132640 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 148146 132640 468 659 0 147350 0
Current children cumulated CPU time: 3452.15 s
Current children cumulated vsize: 602516 KiB
Current children cumulated memory: 533368 KiB

[startup+3522.3 s]
/proc/loadavg: 2.44 3.26 3.75 3/247 843735
/proc/meminfo: memFree=124586344/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=592584 memory=561340 CPUtime=3511.97 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 114467 0 0 0 351096 101 0 0 20 0 1 0 163567811 606806016 140335 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 148146 140335 468 659 0 147350 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 602516 KiB
Current children cumulated memory: 564148 KiB

[startup+3582.3 s]
/proc/loadavg: 2.20 3.05 3.64 3/246 843746
/proc/meminfo: memFree=124530948/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=673972 memory=594796 CPUtime=3571.79 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 114791 0 0 0 357077 102 0 0 20 0 1 0 163567811 690147328 148699 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 168493 148699 468 659 0 167697 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 683904 KiB
Current children cumulated memory: 597604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 2.17 2.96 3.59 3/246 843750
/proc/meminfo: memFree=124508328/131524600 swapFree=131071996/131071996
[pid=841806] ppid=841803 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/841806/stat : 841806 (naps-1.03.sh) S 841803 841806 836229 0 -1 4194304 225 247 0 0 0 0 0 0 20 0 1 0 163567810 10170368 702 134679101440 94325509955584 94325511034904 140730699558496 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94325513133360 94325513180548 94325533589504 140730699559904 140730699560033 140730699560033 140730699567048 0
/proc/841806/statm: 2483 702 626 264 0 134 0
[pid=841811] ppid=841806 vsize=673972 memory=607128 CPUtime=3600 cores=1,3
/proc/841811/stat : 841811 (naps-1.03) R 841806 841806 836229 0 -1 4194304 114859 0 0 0 359898 102 0 0 20 0 1 0 163567811 690147328 151782 134679101440 4194304 6891213 140723255581744 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7958528 140723255583729 140723255583845 140723255583845 140723255590859 0
/proc/841811/statm: 168493 151782 468 659 0 167697 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 683904 KiB
Current children cumulated memory: 609936 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000899 s, system=0.002034 s

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

# cumulated CPU time of all completed processes:  user=3598.99 s, system=1.03414 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

Child status: 10

Real time (s): 3610.61
CPU time (s): 3600.02
CPU user time (s): 3598.99
CPU system time (s): 1.03414
CPU usage (%): 99.7069
Max. virtual memory (cumulated for all children) (KiB): 764044
Max. memory (cumulated for all children) (KiB): 643088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.99
system time used= 1.03414
maximum resident set size= 654616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115331
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= 143
involuntary context switches= 4021


# summary of solver processes directly reported to runsolver:
#   pid: 841806,841811
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.99
#   total CPU system time (s): 1.03414

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67983 second user time and 17.75 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-16 09:14:02
IDJOB=4433990
IDBENCH=148775
IDSOLVER=3062
FILE ID=nodeC024/4433990-1721114029
RUNJOBID= nodeC024-1721106131-836241
SLURM_JOB_ID= 7505634
Free space on /tmp= 890052 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433990-1721114029/watcher-4433990-1721114029 -o /tmp/evaluation-result-4433990-1721114029/solver-4433990-1721114029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721106131-836241 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4433990-1721114029.opb

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

MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=1865330137

nodeC024.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		: 3668.402
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.60
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		: 3662.931
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	: 7007.08
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.883
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.60
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		: 3661.615
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	: 7007.08
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		: 3668.510
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.60
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		: 3666.149
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	: 7007.08
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.772
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.60
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		: 3600.073
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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        117985008 kB
MemAvailable:   122282216 kB
Buffers:          395444 kB
Cached:          4688496 kB
SwapCached:            0 kB
Active:           688416 kB
Inactive:       12135132 kB
Active(anon):       1580 kB
Inactive(anon):  7775416 kB
Active(file):     686836 kB
Inactive(file):  4359716 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5892 kB
Writeback:            28 kB
AnonPages:       7739044 kB
Mapped:           109792 kB
Shmem:             37720 kB
KReclaimable:     180604 kB
Slab:             296556 kB
SReclaimable:     180604 kB
SUnreclaim:       115952 kB
KernelStack:        4236 kB
PageTables:        24608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8538056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60960 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3940352 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:      240340 kB
DirectMap2M:    23650304 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC024 at 2024-07-16 10:14:13