Trace number 4443111

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS-PB16 1.02b5? (TO) 3600.06 3610.02

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
MD5SUMc646e12ccfd746fe0694a48782eaf83d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark80.654
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14400
Total number of constraints1088
Number of constraints which are clauses480
Number of constraints which are cardinality constraints (but not clauses)608
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint120
Maximum length of a constraint225
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 227
Number of bits of the biggest sum of numbers8
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-4443111-1721312720.opb
3600.04/3610.00	c 
3600.04/3610.00	c *** TERMINATED *** by signal 15
3600.04/3610.00	s UNKNOWN
3600.04/3610.00	c _____________________________________________________________________________
3600.04/3610.00	c 
3600.04/3610.01	c std/band forms        : 608,0
3600.04/3610.01	c 2cl/3cl ITE-codings   : 112978,0
3600.04/3610.01	c BDD/srt/adr Max costs : 668,0,0
3600.04/3610.01	c BDDraw/bin/mul/srt/adr: 608,0,0,0,0
3600.04/3610.01	c BDD nodes             : 199872
3600.04/3610.01	c Es1/CC detections     : 0,0
3600.04/3610.01	c SAT/UNSAT calls       : 0,0
3600.04/3610.01	c regenrated variables  : 0
3600.04/3610.01	c restarts              : 0
3600.04/3610.01	c conflicts             : 0              (0 /sec)
3600.04/3610.01	c decisions             : 0              (0 /sec)
3600.04/3610.01	c propagations          : 0              (0 /sec)
3600.04/3610.01	c inspects              : 0              (0 /sec)
3600.04/3610.01	c CPU time (solving tm) : 3598 s        (3597 s)
3600.04/3610.01	c Time for Opt-base     : 0 s
3600.04/3610.01	c _____________________________________________________________________________

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60723 MiB free)
  memory of node 1: 64473 MiB (62586 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443111-1721312720/watcher-4443111-1721312720 -o /tmp/evaluation-result-4443111-1721312720/solver-4443111-1721312720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721305510-975945 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4443111-1721312720.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=980364, runsolver pid=980361
Current StackSize limit: 8192 KiB


[startup+0.100182 s]*
/proc/loadavg: 4.14 4.17 4.12 5/263 980369
/proc/meminfo: memFree=126261364/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=14360 memory=8364 CPUtime=0.09 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 1847 0 0 0 9 0 0 0 20 0 1 0 183434396 14704640 2091 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 3590 2091 405 379 0 3124 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24292 KiB
Current children cumulated memory: 11084 KiB

[startup+0.206197 s]*
/proc/loadavg: 4.14 4.17 4.12 5/263 980369
/proc/meminfo: memFree=126257668/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=18312 memory=11268 CPUtime=0.19 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 2569 0 0 0 19 0 0 0 20 0 1 0 183434396 18751488 2817 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 4578 2817 405 379 0 4112 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28244 KiB
Current children cumulated memory: 13988 KiB

[startup+0.305692 s]*
/proc/loadavg: 4.14 4.17 4.12 5/263 980369
/proc/meminfo: memFree=126249516/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=24156 memory=16548 CPUtime=0.29 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 3880 0 0 0 29 0 0 0 20 0 1 0 183434396 24735744 4137 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 6039 4137 405 379 0 5573 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 34088 KiB
Current children cumulated memory: 19268 KiB

[startup+0.700259 s]
/proc/loadavg: 4.14 4.17 4.12 5/263 980369
/proc/meminfo: memFree=126240932/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=31364 memory=23472 CPUtime=0.67 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 6208 0 0 0 67 0 0 0 20 0 1 0 183434396 32116736 5868 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 7841 5868 421 379 0 7375 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41296 KiB
Current children cumulated memory: 26192 KiB

[startup+1.50026 s]
/proc/loadavg: 4.14 4.17 4.12 5/263 980369
/proc/meminfo: memFree=126226540/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=134960 memory=124808 CPUtime=1.47 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 27053 0 0 0 142 5 0 0 20 0 1 0 183434396 138199040 31202 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 33740 31202 421 379 0 33274 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 144892 KiB
Current children cumulated memory: 127528 KiB

[startup+3.10569 s]
/proc/loadavg: 4.13 4.17 4.12 5/263 980369
/proc/meminfo: memFree=126113124/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=136020 memory=125204 CPUtime=3.07 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 28152 0 0 0 302 5 0 0 20 0 1 0 183434396 139284480 31301 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 34005 31301 421 379 0 33539 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 145952 KiB
Current children cumulated memory: 127924 KiB

[startup+6.30024 s]
/proc/loadavg: 4.13 4.17 4.12 5/263 980470
/proc/meminfo: memFree=127283096/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=151180 memory=138456 CPUtime=6.26 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 29429 0 0 0 620 6 0 0 20 0 1 0 183434396 154808320 34614 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 37795 34614 421 379 0 37329 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 161112 KiB
Current children cumulated memory: 141176 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.18 4.12 5/263 980470
/proc/meminfo: memFree=127244772/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=172060 memory=146064 CPUtime=12.65 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 31508 0 0 0 1257 8 0 0 20 0 1 0 183434396 176189440 36516 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 43015 36516 421 379 0 42549 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 181992 KiB
Current children cumulated memory: 148784 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.17 4.12 5/260 980622
/proc/meminfo: memFree=127233924/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=214020 memory=200476 CPUtime=25.4 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 34947 0 0 0 2531 9 0 0 20 0 1 0 183434396 219156480 50119 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 53505 50119 421 379 0 53039 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 223952 KiB
Current children cumulated memory: 203196 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.16 4.11 5/260 980677
/proc/meminfo: memFree=127192544/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=199172 memory=180408 CPUtime=50.93 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 41729 0 0 0 5077 16 0 0 20 0 1 0 183434396 203952128 45102 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 49793 45102 421 379 0 49327 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 183128 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/260 980884
/proc/meminfo: memFree=127068700/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=251928 memory=245224 CPUtime=101.96 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 49581 0 0 0 10173 23 0 0 20 0 1 0 183434396 257974272 61306 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 62982 61306 421 379 0 62516 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 261860 KiB
Current children cumulated memory: 247944 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/261 980896
/proc/meminfo: memFree=126885560/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=405952 memory=334836 CPUtime=161.78 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 58248 0 0 0 16149 29 0 0 20 0 1 0 183434396 415694848 83709 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 101488 83709 421 379 0 101022 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 415884 KiB
Current children cumulated memory: 337556 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/261 981074
/proc/meminfo: memFree=126867856/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=343380 memory=295968 CPUtime=221.62 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 65923 0 0 0 22124 38 0 0 20 0 1 0 183434396 351621120 73992 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 85845 73992 421 379 0 85379 0
Current children cumulated CPU time: 221.62 s

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

/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 169704 0 0 0 303221 167 0 0 20 0 1 0 183434396 692064256 150099 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 168961 150099 421 379 0 168495 0
Current children cumulated CPU time: 3033.88 s
Current children cumulated vsize: 685776 KiB
Current children cumulated memory: 603116 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 982267
/proc/meminfo: memFree=126852536/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=675996 memory=659832 CPUtime=3093.72 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 169955 0 0 0 309204 168 0 0 20 0 1 0 183434396 692219904 164958 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 168999 164958 421 379 0 168533 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 685928 KiB
Current children cumulated memory: 662552 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/258 982278
/proc/meminfo: memFree=126800744/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=808408 memory=721268 CPUtime=3153.56 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 170794 0 0 0 315186 170 0 0 20 0 1 0 183434396 827809792 180317 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 202102 180317 421 379 0 201636 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 818340 KiB
Current children cumulated memory: 723988 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 982288
/proc/meminfo: memFree=126728520/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=809916 memory=779988 CPUtime=3213.38 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 171406 0 0 0 321167 171 0 0 20 0 1 0 183434396 829353984 194997 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 202479 194997 421 379 0 202013 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 819848 KiB
Current children cumulated memory: 782708 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 982298
/proc/meminfo: memFree=126684708/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=1026248 memory=820176 CPUtime=3273.21 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 172430 0 0 0 327149 172 0 0 20 0 1 0 183434396 1050877952 205044 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 256562 205044 421 379 0 256096 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 1036180 KiB
Current children cumulated memory: 822896 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 982314
/proc/meminfo: memFree=126601756/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=1028444 memory=865184 CPUtime=3333.06 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 173241 0 0 0 333132 174 0 0 20 0 1 0 183434396 1053126656 216296 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 257111 216296 421 379 0 256645 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 1038376 KiB
Current children cumulated memory: 867904 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/261 982324
/proc/meminfo: memFree=126491756/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=1031024 memory=912912 CPUtime=3392.89 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 174175 0 0 0 339114 175 0 0 20 0 1 0 183434396 1055768576 228228 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 257756 228228 421 379 0 257290 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 1040956 KiB
Current children cumulated memory: 915632 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/261 982334
/proc/meminfo: memFree=126450932/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=1035184 memory=951404 CPUtime=3452.73 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 175435 0 0 0 345097 176 0 0 20 0 1 0 183434396 1060028416 237851 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 258796 237851 421 379 0 258330 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 1045116 KiB
Current children cumulated memory: 954124 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/261 982347
/proc/meminfo: memFree=126808156/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=688600 memory=627576 CPUtime=3512.57 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 176874 0 0 0 351077 180 0 0 20 0 1 0 183434396 705126400 156894 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 172150 156894 421 379 0 171684 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 698532 KiB
Current children cumulated memory: 630296 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/261 982357
/proc/meminfo: memFree=126731000/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=820860 memory=693112 CPUtime=3572.41 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 177706 0 0 0 357058 183 0 0 20 0 1 0 183434396 840560640 173278 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 205215 173278 421 379 0 204749 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 830792 KiB
Current children cumulated memory: 695832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.11 4.11 4.09 5/262 982745
/proc/meminfo: memFree=126664456/131524600 swapFree=131071216/131071996
[pid=980364] ppid=980361 vsize=9932 memory=2720 CPUtime=0 cores=5,7
/proc/980364/stat : 980364 (naps-1.02b5.sh) S 980361 980364 975785 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183434396 10170368 680 134679101440 94923330449408 94923331528728 140732535771328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94923333627184 94923333674372 94923341778944 140732535780319 140732535780446 140732535780446 140732535787462 0
/proc/980364/statm: 2483 680 601 264 0 134 0
[pid=980369] ppid=980364 vsize=821008 memory=730164 CPUtime=3600.04 cores=5,7
/proc/980369/stat : 980369 (naps-1.02b5) R 980364 980364 975785 0 -1 4194304 177845 0 0 0 359821 183 0 0 20 0 1 0 183434396 840712192 182541 134679101440 4194304 5746509 140732592860688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35201024 140732592866286 140732592866400 140732592866400 140732592873417 0
/proc/980369/statm: 205252 182541 421 379 0 204786 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 830940 KiB
Current children cumulated memory: 732884 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.22 s, system=1.84177 s

Solver just ended.
Solver just ended.
]
# the end of solver process 980364 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3598.22 s, system=1.84177 s
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0

Real time (s): 3610.02
CPU time (s): 3600.06
CPU user time (s): 3598.22
CPU system time (s): 1.84177
CPU usage (%): 99.7241
Max. virtual memory (cumulated for all children) (KiB): 1175944
Max. memory (cumulated for all children) (KiB): 1033920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.22
system time used= 1.84177
maximum resident set size= 1043488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178327
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= 304
involuntary context switches= 4691


# summary of solver processes directly reported to runsolver:
#   pid: 980364
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3598.22
#   total CPU system time (s): 1.84177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13564 second user time and 17.8352 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-18 16:25:32
IDJOB=4443111
IDBENCH=147863
IDSOLVER=3065
FILE ID=nodeC018/4443111-1721312720
RUNJOBID= nodeC018-1721305510-975945
SLURM_JOB_ID= 7542635
Free space on /tmp= 890068 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin16.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443111-1721312720/watcher-4443111-1721312720 -o /tmp/evaluation-result-4443111-1721312720/solver-4443111-1721312720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721305510-975945 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4443111-1721312720.opb

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

MD5SUM BENCH= c646e12ccfd746fe0694a48782eaf83d
RANDOM SEED=753436656

nodeC018.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.723
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.52
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		: 3666.397
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.30
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.976
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.52
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		: 3656.836
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.30
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.655
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.52
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		: 3659.914
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.30
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.994
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.52
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.645
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126270328 kB
MemAvailable:   128063408 kB
Buffers:          480184 kB
Cached:          2144664 kB
SwapCached:          148 kB
Active:           985736 kB
Inactive:        3679464 kB
Active(anon):       1596 kB
Inactive(anon):  2084860 kB
Active(file):     984140 kB
Inactive(file):  1594604 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:              9828 kB
Writeback:             0 kB
AnonPages:       2037320 kB
Mapped:           113004 kB
Shmem:             45784 kB
KReclaimable:     108316 kB
Slab:             204256 kB
SReclaimable:     108316 kB
SUnreclaim:        95940 kB
KernelStack:        4172 kB
PageTables:        13580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2569464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1482752 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:      262868 kB
DirectMap2M:    24676352 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC018 at 2024-07-18 17:25:42