Trace number 4459163

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
NaPS-PB16 1.02b5? (TO) 3600.22 3612.04

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_50.opb
MD5SUM3762504243d867ee0a80bf59380bdaf6
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 benchmark1326
Best CPU time to get the best result obtained on this benchmark1025.76
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3383952
Total number of constraints141576
Number of constraints which are clauses71451
Number of constraints which are cardinality constraints (but not clauses)64974
Number of constraints which are nor clauses,nor cardinality constraints5151
Minimum length of a constraint50
Maximum length of a constraint55
Number of terms in the objective function 2652
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 2652
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2652
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.02b5.
0.00/0.00	c Input file name: HOME/instance-4459163-1721898294.opb
3600.07/3611.90	c 
3600.07/3611.90	c *** TERMINATED *** by signal 15
3600.07/3611.90	s UNKNOWN
3600.07/3611.90	c _____________________________________________________________________________
3600.07/3611.90	c 
3600.07/3611.90	c std/band forms        : 70125,0
3600.07/3611.90	c 2cl/3cl ITE-codings   : 4440723,0
3600.07/3611.90	c BDD/srt/adr Max costs : 299,0,0
3600.07/3611.90	c BDDraw/bin/mul/srt/adr: 70125,0,0,0,0
3600.07/3611.90	c BDD nodes             : 8037600
3600.07/3611.90	c Es1/CC detections     : 0,0
3600.07/3611.90	c SAT/UNSAT calls       : 0,0
3600.07/3611.90	c regenrated variables  : 0
3600.07/3611.90	c restarts              : 0
3600.07/3611.90	c conflicts             : 0              (0 /sec)
3600.07/3611.90	c decisions             : 0              (0 /sec)
3600.07/3611.90	c propagations          : 0              (0 /sec)
3600.07/3611.90	c inspects              : 0              (0 /sec)
3600.07/3611.90	c CPU time (solving tm) : 3595 s        (3544 s)
3600.07/3611.90	c Time for Opt-base     : 0 s
3600.07/3611.90	c _____________________________________________________________________________

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (59941 MiB free)
  memory of node 1: 64510 MiB (59199 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459163-1721898294/watcher-4459163-1721898294 -o /tmp/evaluation-result-4459163-1721898294/solver-4459163-1721898294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721891055-271124 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4459163-1721898294.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=275407, runsolver pid=275404

[startup+0.100087 s]*
/proc/loadavg: 4.15 4.13 4.09 4/254 275429
/proc/meminfo: memFree=121987300/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=18076 memory=12208 CPUtime=0.09 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 2857 0 0 0 9 0 0 0 20 0 1 0 26359016 18509824 3052 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 4519 3052 405 379 0 4053 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28008 KiB
Current children cumulated memory: 14880 KiB

[startup+0.205733 s]*
/proc/loadavg: 4.15 4.13 4.09 5/261 275448
/proc/meminfo: memFree=121959668/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=28520 memory=21996 CPUtime=0.2 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 5514 0 0 0 19 1 0 0 20 0 1 0 26359016 29204480 5499 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 7130 5499 405 379 0 6664 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38452 KiB
Current children cumulated memory: 24668 KiB

[startup+0.305841 s]*
/proc/loadavg: 4.15 4.13 4.09 5/261 275448
/proc/meminfo: memFree=121941192/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=38560 memory=31148 CPUtime=0.29 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 7813 0 0 0 28 1 0 0 20 0 1 0 26359016 39485440 7787 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 9640 7787 405 379 0 9174 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 33820 KiB

[startup+0.700224 s]
/proc/loadavg: 4.15 4.13 4.09 5/261 275448
/proc/meminfo: memFree=121905660/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=77936 memory=67212 CPUtime=0.69 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 16707 0 0 0 65 4 0 0 20 0 1 0 26359016 79806464 16803 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 19484 16803 405 379 0 19018 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 87868 KiB
Current children cumulated memory: 69884 KiB

[startup+1.50025 s]
/proc/loadavg: 4.15 4.13 4.09 5/261 275448
/proc/meminfo: memFree=121817980/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=169084 memory=151392 CPUtime=1.48 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 34431 0 0 0 141 7 0 0 20 0 1 0 26359016 173142016 37848 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 42271 37848 405 379 0 41805 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 179016 KiB
Current children cumulated memory: 154064 KiB

[startup+3.10565 s]
/proc/loadavg: 4.22 4.14 4.10 5/261 275448
/proc/meminfo: memFree=121447604/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=318060 memory=298856 CPUtime=3.09 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 65394 0 0 0 295 14 0 0 20 0 1 0 26359016 325693440 74714 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 79515 74714 405 379 0 79049 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 327992 KiB
Current children cumulated memory: 301528 KiB

[startup+6.30023 s]
/proc/loadavg: 4.22 4.14 4.10 5/261 275449
/proc/meminfo: memFree=120778904/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=619884 memory=588808 CPUtime=6.27 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 120462 0 0 0 600 27 0 0 20 0 1 0 26359016 634761216 147202 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 154971 147202 405 379 0 154505 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 629816 KiB
Current children cumulated memory: 591480 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.14 4.10 5/261 275449
/proc/meminfo: memFree=120216508/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=1296732 memory=1198384 CPUtime=12.65 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 213420 0 0 0 1215 50 0 0 20 0 1 0 26359016 1327853568 299596 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 324183 299596 405 379 0 323717 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1306664 KiB
Current children cumulated memory: 1201056 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.09 5/261 275452
/proc/meminfo: memFree=119568044/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=1768036 memory=1654072 CPUtime=25.41 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 300129 0 0 0 2471 70 0 0 20 0 1 0 26359016 1810468864 413518 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 442009 413518 405 379 0 441543 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1777968 KiB
Current children cumulated memory: 1656744 KiB

[startup+51.1058 s]
/proc/loadavg: 4.25 4.15 4.10 5/259 275455
/proc/meminfo: memFree=115322132/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=4123532 memory=3799228 CPUtime=50.95 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 376033 0 0 0 4971 124 0 0 20 0 1 0 26359016 4222496768 949807 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1030883 949807 421 379 0 1030417 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 4133464 KiB
Current children cumulated memory: 3801900 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/260 275516
/proc/meminfo: memFree=113949464/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=5788128 memory=5272728 CPUtime=101.97 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 539690 0 0 0 10014 183 0 0 20 0 1 0 26359016 5927043072 1318182 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1447032 1318182 421 379 0 1446566 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 5798060 KiB
Current children cumulated memory: 5275400 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/260 275526
/proc/meminfo: memFree=113803156/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=5799204 memory=5264576 CPUtime=161.78 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 542981 0 0 0 15982 196 0 0 20 0 1 0 26359016 5938384896 1316144 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1449801 1316144 421 379 0 1449335 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 5809136 KiB
Current children cumulated memory: 5267248 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/260 275536
/proc/meminfo: memFree=113937096/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=5803708 memory=5285344 CPUtime=221.58 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 544621 0 0 0 21959 199 0 0 20 0 1 0 26359016 5942996992 1321336 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1450927 1321336 421 379 0 1450461 0
Current children cumulated CPU time: 221.58 s

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

[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=6335592 memory=5657316 CPUtime=3092.14 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 630916 0 0 0 308725 489 0 0 20 0 1 0 26359016 6487646208 1414329 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1583898 1414329 421 379 0 1583432 0
Current children cumulated CPU time: 3092.14 s
Current children cumulated vsize: 6345524 KiB
Current children cumulated memory: 5659988 KiB

[startup+3162.3 s]
/proc/loadavg: 4.26 4.25 4.19 5/261 277078
/proc/meminfo: memFree=112801780/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=6341508 memory=5716092 CPUtime=3151.94 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 632787 0 0 0 314701 493 0 0 20 0 1 0 26359016 6493704192 1429023 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1585377 1429023 421 379 0 1584911 0
Current children cumulated CPU time: 3151.94 s
Current children cumulated vsize: 6351440 KiB
Current children cumulated memory: 5718764 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.22 4.18 5/263 277259
/proc/meminfo: memFree=112855412/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=6347240 memory=5774716 CPUtime=3211.74 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 634601 0 0 0 320677 497 0 0 20 0 1 0 26359016 6499573760 1443679 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1586810 1443679 421 379 0 1586344 0
Current children cumulated CPU time: 3211.74 s
Current children cumulated vsize: 6357172 KiB
Current children cumulated memory: 5777388 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/263 277270
/proc/meminfo: memFree=112836540/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=6004164 memory=5601844 CPUtime=3271.55 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 637524 0 0 0 326643 512 0 0 20 0 1 0 26359016 6148263936 1400461 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1501041 1400461 421 379 0 1500575 0
Current children cumulated CPU time: 3271.55 s
Current children cumulated vsize: 6014096 KiB
Current children cumulated memory: 5604516 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/263 277282
/proc/meminfo: memFree=112808960/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=6367604 memory=5765288 CPUtime=3331.35 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 642828 0 0 0 332616 519 0 0 20 0 1 0 26359016 6520426496 1441322 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1591901 1441322 421 379 0 1591435 0
Current children cumulated CPU time: 3331.35 s
Current children cumulated vsize: 6377536 KiB
Current children cumulated memory: 5767960 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/260 277305
/proc/meminfo: memFree=112609076/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=6369372 memory=5779100 CPUtime=3391.15 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 643738 0 0 0 338594 521 0 0 20 0 1 0 26359016 6522236928 1444775 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1592343 1444775 421 379 0 1591877 0
Current children cumulated CPU time: 3391.15 s
Current children cumulated vsize: 6379304 KiB
Current children cumulated memory: 5781772 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.14 4.16 5/260 277316
/proc/meminfo: memFree=112622832/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=6375228 memory=5836056 CPUtime=3450.95 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 645636 0 0 0 344570 525 0 0 20 0 1 0 26359016 6528233472 1459014 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1593807 1459014 421 379 0 1593341 0
Current children cumulated CPU time: 3450.95 s
Current children cumulated vsize: 6385160 KiB
Current children cumulated memory: 5838728 KiB

[startup+3522.3 s]
/proc/loadavg: 4.35 4.22 4.18 5/259 277327
/proc/meminfo: memFree=112697904/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=6033356 memory=5678180 CPUtime=3510.76 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 648691 0 0 0 350536 540 0 0 20 0 1 0 26359016 6178156544 1419545 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1508339 1419545 421 379 0 1507873 0
Current children cumulated CPU time: 3510.76 s
Current children cumulated vsize: 6043288 KiB
Current children cumulated memory: 5680852 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.21 4.18 5/259 277338
/proc/meminfo: memFree=112616168/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=6393128 memory=5799304 CPUtime=3570.57 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 652543 0 0 0 356511 546 0 0 20 0 1 0 26359016 6546563072 1449826 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1598282 1449826 421 379 0 1597816 0
Current children cumulated CPU time: 3570.57 s
Current children cumulated vsize: 6403060 KiB
Current children cumulated memory: 5801976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 3.93 4.14 4.16 3/243 277405
/proc/meminfo: memFree=120136940/131524600 swapFree=131058856/131071996
[pid=275407] ppid=275404 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/275407/stat : 275407 (naps-1.02b5.sh) S 275404 275407 271114 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 26359015 10170368 668 134679101440 93838863351808 93838864431128 140727605941248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93838866529584 93838866576772 93838884274176 140727605949408 140727605949535 140727605949535 140727605956550 0
/proc/275407/statm: 2483 668 589 264 0 134 0
[pid=275412] ppid=275407 vsize=6403324 memory=5913240 CPUtime=3600.07 cores=0,2
/proc/275412/stat : 275412 (naps-1.02b5) R 275407 275407 271114 0 -1 4194304 655206 0 0 0 359457 550 0 0 20 0 1 0 26359016 6557003776 1478310 134679101440 4194304 5746509 140733360870864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 20389888 140733360874479 140733360874593 140733360874593 140733360881609 0
/proc/275412/statm: 1600831 1478310 421 379 0 1600365 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 6413256 KiB
Current children cumulated memory: 5915912 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002098 s, system=0.000634 s

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

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

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

[startup+3612 s]*
/proc/loadavg: 3.93 4.14 4.16 3/242 277405
/proc/meminfo: memFree=123530512/131524600 swapFree=131058856/131071996
Current cumulated CPU time of completed processes: 0.002732 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3612.04
CPU time (s): 3600.22
CPU user time (s): 3594.58
CPU system time (s): 5.64905
CPU usage (%): 99.6728
Max. virtual memory (cumulated for all children) (KiB): 6948088
Max. memory (cumulated for all children) (KiB): 6363276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.58
system time used= 5.64905
maximum resident set size= 6360604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 655671
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= 13
involuntary context switches= 25324


# summary of solver processes directly reported to runsolver:
#   pid: 275407,275412
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3594.58
#   total CPU system time (s): 5.64905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.11086 second user time and 17.5878 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-25 11:04:55
IDJOB=4459163
IDBENCH=178533
IDSOLVER=3065
FILE ID=nodeC031/4459163-1721898294
RUNJOBID= nodeC031-1721891055-271124
SLURM_JOB_ID= 8089346
Free space on /tmp= 889860 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_50.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459163-1721898294/watcher-4459163-1721898294 -o /tmp/evaluation-result-4459163-1721898294/solver-4459163-1721898294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721891055-271124 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4459163-1721898294.opb

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

MD5SUM BENCH= 3762504243d867ee0a80bf59380bdaf6
RANDOM SEED=1804193097

nodeC031.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		: 3685.226
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	: 7000.44
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		: 3689.870
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3651.486
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	: 7000.44
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		: 3668.022
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.12
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		: 3685.970
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	: 7000.44
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		: 3686.572
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.12
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		: 3645.374
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	: 7000.44
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		: 3602.980
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122001640 kB
MemAvailable:   125259200 kB
Buffers:          310792 kB
Cached:          3616216 kB
SwapCached:          360 kB
Active:          2309632 kB
Inactive:        6289104 kB
Active(anon):       1872 kB
Inactive(anon):  4723200 kB
Active(file):    2307760 kB
Inactive(file):  1565904 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:            203356 kB
Writeback:             0 kB
AnonPages:       4670524 kB
Mapped:           104604 kB
Shmem:             53296 kB
KReclaimable:     445128 kB
Slab:             565980 kB
SReclaimable:     445128 kB
SUnreclaim:       120852 kB
KernelStack:        4108 kB
PageTables:        18592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5388076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13280 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1943552 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:      367316 kB
DirectMap2M:    37154816 kB
DirectMap1G:    98566144 kB

Free space on /tmp at the end= 889996 MiB
End job on nodeC031 at 2024-07-25 12:05:07