Trace number 4442719

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 1.03? (TO) 3600.08 3608.7

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb
MD5SUM6537247428469e6459e4298d22ed7785
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark47.5905
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8550
Total number of constraints401945
Number of constraints which are clauses401945
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint90
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 91
Number of bits of the biggest sum of numbers7
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 Input file name: HOME/instance-4442719-1721301153.opb
3600.07/3608.70	c 
3600.07/3608.70	c *** TERMINATED *** by signal 15
3600.07/3608.70	s UNKNOWN
3600.07/3608.70	c _____________________________________________________________________________
3600.07/3608.70	c std/band forms        : 0,0
3600.07/3608.70	c 2cl/3cl ITE-codings   : 0,0
3600.07/3608.70	c BDD/srt/adr Max costs : 0,0,0
3600.07/3608.70	c BDDraw/bin/mul/srt/adr: 0,0,0,0,0
3600.07/3608.70	c BDD nodes             : 0
3600.07/3608.70	c Es1/CC detections     : 0,0
3600.07/3608.70	c CC sort               : 0
3600.07/3608.70	c SAT/UNSAT calls       : 0,0
3600.07/3608.70	c regenrated variables  : 0
3600.07/3608.70	c eliminated fixed lits : 0
3600.07/3608.70	c goal lit flips        : 0
3600.07/3608.70	c goal stages           : 0
3600.07/3608.70	c goal shrink           : 0
3600.07/3608.70	c goal coeff separations: 0
3600.07/3608.70	c restarts              : 0
3600.07/3608.70	c conflicts             : 0              (0 /sec)
3600.07/3608.70	c decisions             : 0              (0 /sec)
3600.07/3608.70	c propagations          : 0              (0 /sec)
3600.07/3608.70	c inspects              : 0              (0 /sec)
3600.07/3608.70	c CPU time (solving tm) : 3593 s        (3591 s, SAT 0 s, UNSAT 0 s)
3600.07/3608.70	c Time for Opt-base     : 0 s
3600.07/3608.70	c Steps for Opt-base    : 0
3600.07/3608.70	c Time for BDD coding   : 0 s
3600.07/3608.70	c Time for srt coding   : 0 s
3600.07/3608.70	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 (61812 MiB free)
  memory of node 1: 64510 MiB (62007 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442719-1721301153/watcher-4442719-1721301153 -o /tmp/evaluation-result-4442719-1721301153/solver-4442719-1721301153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721293768-952556 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4442719-1721301153.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100291 s]*
/proc/loadavg: 4.04 4.12 4.10 5/263 958378
/proc/meminfo: memFree=126801544/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=6776 memory=4304 CPUtime=0.09 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 833 0 0 0 9 0 0 0 20 0 1 0 182274445 6938624 1076 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 1694 1076 500 659 0 898 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 16708 KiB
Current children cumulated memory: 7108 KiB

[startup+0.20629 s]*
/proc/loadavg: 4.04 4.12 4.10 5/263 958378
/proc/meminfo: memFree=126797424/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=7804 memory=5360 CPUtime=0.19 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 1076 0 0 0 19 0 0 0 20 0 1 0 182274445 7991296 1340 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 1951 1340 500 659 0 1155 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 17736 KiB
Current children cumulated memory: 8164 KiB

[startup+0.30451 s]*
/proc/loadavg: 4.04 4.12 4.10 5/263 958378
/proc/meminfo: memFree=126793584/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=8828 memory=5688 CPUtime=0.29 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 1185 0 0 0 29 0 0 0 20 0 1 0 182274445 9039872 1422 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 2207 1422 500 659 0 1411 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18760 KiB
Current children cumulated memory: 8492 KiB

[startup+0.70021 s]
/proc/loadavg: 4.04 4.12 4.10 5/263 958378
/proc/meminfo: memFree=126790588/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=10876 memory=7496 CPUtime=0.68 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 1617 0 0 0 68 0 0 0 20 0 1 0 182274445 11137024 1874 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 2719 1874 500 659 0 1923 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 20808 KiB
Current children cumulated memory: 10300 KiB

[startup+1.50023 s]
/proc/loadavg: 4.04 4.12 4.10 5/263 958378
/proc/meminfo: memFree=126788748/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=14972 memory=12384 CPUtime=1.47 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 2320 0 0 0 147 0 0 0 20 0 1 0 182274445 15331328 3096 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 3743 3096 500 659 0 2947 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 24904 KiB
Current children cumulated memory: 15188 KiB

[startup+3.10514 s]
/proc/loadavg: 4.04 4.12 4.10 5/263 958378
/proc/meminfo: memFree=126769152/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=27780 memory=24672 CPUtime=3.08 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 8550 0 0 0 306 2 0 0 20 0 1 0 182274445 28446720 6168 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 6945 6168 500 659 0 6149 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 37712 KiB
Current children cumulated memory: 27476 KiB

[startup+6.30026 s]
/proc/loadavg: 4.04 4.11 4.10 5/263 958378
/proc/meminfo: memFree=126754768/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=41204 memory=31748 CPUtime=6.27 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 13269 0 0 0 624 3 0 0 20 0 1 0 182274445 42192896 7937 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 10301 7937 500 659 0 9505 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51136 KiB
Current children cumulated memory: 34552 KiB

[startup+12.7002 s]
/proc/loadavg: 4.03 4.11 4.10 5/263 958380
/proc/meminfo: memFree=126763012/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=33280 memory=25296 CPUtime=12.65 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 18338 0 0 0 1261 4 0 0 20 0 1 0 182274445 34078720 6324 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 8320 6324 500 659 0 7524 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 43212 KiB
Current children cumulated memory: 28100 KiB

[startup+25.5002 s]
/proc/loadavg: 4.03 4.11 4.09 5/263 958381
/proc/meminfo: memFree=126748660/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=29312 memory=22352 CPUtime=25.42 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 34151 0 0 0 2532 10 0 0 20 0 1 0 182274445 30015488 5588 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 7328 5588 500 659 0 6532 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 39244 KiB
Current children cumulated memory: 25156 KiB

[startup+51.1048 s]
/proc/loadavg: 4.14 4.13 4.10 5/264 958387
/proc/meminfo: memFree=126759680/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=50048 memory=42636 CPUtime=50.97 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 51261 0 0 0 5081 16 0 0 20 0 1 0 182274445 51249152 10659 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 12512 10659 500 659 0 11716 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 59980 KiB
Current children cumulated memory: 45440 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 958397
/proc/meminfo: memFree=126759052/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=58112 memory=48856 CPUtime=102.04 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 75955 0 0 0 10176 28 0 0 20 0 1 0 182274445 59506688 12214 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 14528 12214 500 659 0 13732 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 68044 KiB
Current children cumulated memory: 51660 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/263 958408
/proc/meminfo: memFree=126754428/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=50252 memory=38840 CPUtime=161.88 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 109070 0 0 0 16140 48 0 0 20 0 1 0 182274445 51458048 9710 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 12563 9710 500 659 0 11767 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 60184 KiB
Current children cumulated memory: 41644 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 958468
/proc/meminfo: memFree=126781932/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=58492 memory=49400 CPUtime=221.72 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 127448 0 0 0 22117 55 0 0 20 0 1 0 182274445 59895808 12350 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 14623 12350 500 659 0 13827 0
Current children cumulated CPU time: 221.72 s

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

/proc/loadavg: 4.05 4.11 4.09 5/261 960241
/proc/meminfo: memFree=126600812/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=288876 memory=154316 CPUtime=3094.82 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 910079 0 0 0 308798 684 0 0 20 0 1 0 182274445 295809024 38579 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 72219 38579 500 659 0 71423 0
Current children cumulated CPU time: 3094.82 s
Current children cumulated vsize: 298808 KiB
Current children cumulated memory: 157120 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/261 960251
/proc/meminfo: memFree=126504196/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=288876 memory=249128 CPUtime=3154.69 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 926600 0 0 0 314760 709 0 0 20 0 1 0 182274445 295809024 62282 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 72219 62282 500 659 0 71423 0
Current children cumulated CPU time: 3154.69 s
Current children cumulated vsize: 298808 KiB
Current children cumulated memory: 251932 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/259 960261
/proc/meminfo: memFree=126655192/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=92268 memory=83204 CPUtime=3214.55 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 943133 0 0 0 320724 731 0 0 20 0 1 0 182274445 94482432 20801 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 23067 20801 500 659 0 22271 0
Current children cumulated CPU time: 3214.55 s
Current children cumulated vsize: 102200 KiB
Current children cumulated memory: 86008 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 960271
/proc/meminfo: memFree=126645936/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=92284 memory=85240 CPUtime=3274.41 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 954016 0 0 0 326707 734 0 0 20 0 1 0 182274445 94498816 21310 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 23071 21310 500 659 0 22275 0
Current children cumulated CPU time: 3274.41 s
Current children cumulated vsize: 102216 KiB
Current children cumulated memory: 88044 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/259 960283
/proc/meminfo: memFree=126654236/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=92776 memory=85896 CPUtime=3334.27 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 964175 0 0 0 332689 738 0 0 20 0 1 0 182274445 95002624 21474 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 23194 21474 500 659 0 22398 0
Current children cumulated CPU time: 3334.27 s
Current children cumulated vsize: 102708 KiB
Current children cumulated memory: 88700 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/259 960293
/proc/meminfo: memFree=126663004/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=84584 memory=76596 CPUtime=3394.14 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 975129 0 0 0 338671 743 0 0 20 0 1 0 182274445 86614016 19149 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 21146 19149 500 659 0 20350 0
Current children cumulated CPU time: 3394.14 s
Current children cumulated vsize: 94516 KiB
Current children cumulated memory: 79400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/259 960304
/proc/meminfo: memFree=126546272/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=84584 memory=79704 CPUtime=3454 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 984952 0 0 0 344653 747 0 0 20 0 1 0 182274445 86614016 19926 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 21146 19926 500 659 0 20350 0
Current children cumulated CPU time: 3454 s
Current children cumulated vsize: 94516 KiB
Current children cumulated memory: 82508 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 960320
/proc/meminfo: memFree=126471040/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=92836 memory=85672 CPUtime=3513.87 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 990460 0 0 0 350639 748 0 0 20 0 1 0 182274445 95064064 21418 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 23209 21418 500 659 0 22413 0
Current children cumulated CPU time: 3513.87 s
Current children cumulated vsize: 102768 KiB
Current children cumulated memory: 88476 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 960330
/proc/meminfo: memFree=126656068/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=92836 memory=79896 CPUtime=3573.72 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 999046 0 0 0 356621 751 0 0 20 0 1 0 182274445 95064064 19974 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 23209 19974 500 659 0 22413 0
Current children cumulated CPU time: 3573.72 s
Current children cumulated vsize: 102768 KiB
Current children cumulated memory: 82700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.7 s]
/proc/loadavg: 4.19 4.13 4.10 4/254 960364
/proc/meminfo: memFree=126743780/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=92836 memory=81224 CPUtime=3600.07 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 1004285 0 0 0 359253 754 0 0 20 0 1 0 182274445 95064064 20306 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 23209 20306 500 659 0 22413 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 102768 KiB
Current children cumulated memory: 84028 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3592.54 s, system=7.5438 s

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

[startup+3608.7 s]
/proc/loadavg: 4.19 4.13 4.10 4/254 960364
/proc/meminfo: memFree=126743780/131524600 swapFree=130798616/131071996
[pid=958373] ppid=958370 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/958373/stat : 958373 (naps-1.03.sh) S 958370 958373 952543 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 182274445 10170368 701 134679101440 94839066619904 94839067699224 140732680976624 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94839069797680 94839069844868 94839075655680 140732680979427 140732680979552 140732680979552 140732680986568 0
/proc/958373/statm: 2483 701 623 264 0 134 0
[pid=958378] ppid=958373 vsize=92836 memory=81224 CPUtime=3600.07 cores=5,7
/proc/958378/stat : 958378 (naps-1.03) R 958373 958373 952543 0 -1 4194304 1004285 0 0 0 359253 754 0 0 20 0 1 0 182274445 95064064 20306 134679101440 4194304 6891213 140724751068400 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 16465920 140724751074292 140724751074404 140724751074404 140724751081419 0
/proc/958378/statm: 23209 20306 500 659 0 22413 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 102768 KiB
Current children cumulated memory: 84028 KiB

Child status: 10

Real time (s): 3608.7
CPU time (s): 3600.08
CPU user time (s): 3592.54
CPU system time (s): 7.5438
CPU usage (%): 99.7611
Max. virtual memory (cumulated for all children) (KiB): 560908
Max. memory (cumulated for all children) (KiB): 313276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.54
system time used= 7.5438
maximum resident set size= 310472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1004756
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= 57
involuntary context switches= 4502


# summary of solver processes directly reported to runsolver:
#   pid: 958373
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3592.54
#   total CPU system time (s): 7.5438

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.85738 second user time and 15.8117 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-18 13:12:45
IDJOB=4442719
IDBENCH=147844
IDSOLVER=3063
FILE ID=nodeC014/4442719-1721301153
RUNJOBID= nodeC014-1721293768-952556
SLURM_JOB_ID= 7542601
Free space on /tmp= 890056 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442719-1721301153/watcher-4442719-1721301153 -o /tmp/evaluation-result-4442719-1721301153/solver-4442719-1721301153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721293768-952556 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4442719-1721301153.opb

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

MD5SUM BENCH= 6537247428469e6459e4298d22ed7785
RANDOM SEED=1138135505

nodeC014.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		: 3667.401
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.32
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		: 3663.653
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.96
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.834
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.32
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		: 3599.697
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.96
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		: 3667.444
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.32
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		: 3649.703
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.96
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.925
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.32
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		: 3664.570
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126794340 kB
MemAvailable:   129871864 kB
Buffers:          427452 kB
Cached:          3453800 kB
SwapCached:        12920 kB
Active:          1329256 kB
Inactive:        2815352 kB
Active(anon):       9364 kB
Inactive(anon):   274320 kB
Active(file):    1319892 kB
Inactive(file):  2541032 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130798616 kB
Dirty:             21456 kB
Writeback:             0 kB
AnonPages:        241492 kB
Mapped:            55464 kB
Shmem:             20288 kB
KReclaimable:     112492 kB
Slab:             210792 kB
SReclaimable:     112492 kB
SUnreclaim:        98300 kB
KernelStack:        4224 kB
PageTables:        10016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     915564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35168 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 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:      232148 kB
DirectMap2M:    25755648 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC014 at 2024-07-18 14:12:54