Trace number 4442901

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.04 3609.81

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
MD5SUM447851c4fd40c5c34c03bb94532f1e8d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.26785
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2750
Total number of constraints74305
Number of constraints which are clauses74305
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint50
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
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-4442901-1721309108.opb
3600.02/3609.80	c 
3600.02/3609.80	c *** TERMINATED *** by signal 15
3600.02/3609.80	s UNKNOWN
3600.02/3609.80	c _____________________________________________________________________________
3600.02/3609.80	c 
3600.02/3609.80	c std/band forms        : 0,0
3600.02/3609.80	c 2cl/3cl ITE-codings   : 0,0
3600.02/3609.80	c BDD/srt/adr Max costs : 0,0,0
3600.02/3609.80	c BDDraw/bin/mul/srt/adr: 0,0,0,0,0
3600.02/3609.80	c BDD nodes             : 0
3600.02/3609.80	c Es1/CC detections     : 0,0
3600.02/3609.80	c SAT/UNSAT calls       : 0,0
3600.02/3609.80	c regenrated variables  : 0
3600.02/3609.80	c restarts              : 0
3600.02/3609.80	c conflicts             : 0              (0 /sec)
3600.02/3609.80	c decisions             : 0              (0 /sec)
3600.02/3609.80	c propagations          : 0              (0 /sec)
3600.02/3609.80	c inspects              : 0              (0 /sec)
3600.02/3609.80	c CPU time (solving tm) : 3596 s        (3596 s)
3600.02/3609.80	c Time for Opt-base     : 0 s
3600.02/3609.80	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 (61115 MiB free)
  memory of node 1: 64473 MiB (61195 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442901-1721309108/watcher-4442901-1721309108 -o /tmp/evaluation-result-4442901-1721309108/solver-4442901-1721309108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721305510-975943 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4442901-1721309108.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=977798, runsolver pid=977795
Current StackSize limit: 8192 KiB


[startup+0.100733 s]*
/proc/loadavg: 4.08 4.11 4.09 5/261 977803
/proc/meminfo: memFree=125243784/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=9160 memory=4512 CPUtime=0.09 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 809 0 0 0 9 0 0 0 20 0 1 0 183073237 9379840 1128 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 2290 1128 405 379 0 1824 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 19092 KiB
Current children cumulated memory: 7260 KiB

[startup+0.20675 s]*
/proc/loadavg: 4.08 4.11 4.09 6/261 977803
/proc/meminfo: memFree=125241424/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=10976 memory=6680 CPUtime=0.19 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 1405 0 0 0 19 0 0 0 20 0 1 0 183073237 11239424 1670 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 2744 1670 405 379 0 2278 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 20908 KiB
Current children cumulated memory: 9428 KiB

[startup+0.305734 s]*
/proc/loadavg: 4.08 4.11 4.09 5/261 977803
/proc/meminfo: memFree=125239080/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=12636 memory=8832 CPUtime=0.28 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 1981 0 0 0 28 0 0 0 20 0 1 0 183073237 12939264 2208 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 3159 2208 405 379 0 2693 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 22568 KiB
Current children cumulated memory: 11580 KiB

[startup+0.700269 s]
/proc/loadavg: 4.08 4.11 4.09 6/255 977811
/proc/meminfo: memFree=126495560/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=20560 memory=18464 CPUtime=0.66 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 3485 0 0 0 66 0 0 0 20 0 1 0 183073237 21053440 4616 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 5140 4616 405 379 0 4674 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 30492 KiB
Current children cumulated memory: 21212 KiB

[startup+1.50027 s]
/proc/loadavg: 4.08 4.11 4.09 5/261 977853
/proc/meminfo: memFree=126475628/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=28484 memory=20360 CPUtime=1.46 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 5283 0 0 0 145 1 0 0 20 0 1 0 183073237 29167616 5090 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 7121 5090 405 379 0 6655 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 38416 KiB
Current children cumulated memory: 23108 KiB

[startup+3.10544 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 977911
/proc/meminfo: memFree=127244756/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=65684 memory=58380 CPUtime=3.06 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 8571 0 0 0 303 3 0 0 20 0 1 0 183073237 67260416 14595 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 16421 14595 405 379 0 15955 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 75616 KiB
Current children cumulated memory: 61128 KiB

[startup+6.30027 s]
/proc/loadavg: 4.08 4.11 4.09 5/261 977953
/proc/meminfo: memFree=126956084/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=115004 memory=99984 CPUtime=6.25 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 9136 0 0 0 620 5 0 0 20 0 1 0 183073237 117764096 24996 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 28751 24996 405 379 0 28285 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 124936 KiB
Current children cumulated memory: 102732 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 978337
/proc/meminfo: memFree=126887052/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=146508 memory=129500 CPUtime=12.63 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 10883 0 0 0 1255 8 0 0 20 0 1 0 183073237 150024192 32375 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 36627 32375 405 379 0 36161 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 156440 KiB
Current children cumulated memory: 132248 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.09 5/260 978339
/proc/meminfo: memFree=126724500/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=146048 memory=141356 CPUtime=25.39 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 13903 0 0 0 2526 13 0 0 20 0 1 0 183073237 149553152 35339 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 36512 35339 405 379 0 36046 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 155980 KiB
Current children cumulated memory: 144104 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.12 4.09 5/261 978344
/proc/meminfo: memFree=126571168/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=176868 memory=151872 CPUtime=50.92 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 19358 0 0 0 5070 22 0 0 20 0 1 0 183073237 181112832 37968 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 44217 37968 405 379 0 43751 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 186800 KiB
Current children cumulated memory: 154620 KiB

[startup+102.3 s]
/proc/loadavg: 4.65 4.26 4.14 5/261 978353
/proc/meminfo: memFree=126748520/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=226956 memory=193792 CPUtime=101.96 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 24415 0 0 0 10164 32 0 0 20 0 1 0 183073237 232402944 48448 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 56739 48448 405 379 0 56273 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 236888 KiB
Current children cumulated memory: 196540 KiB

[startup+162.3 s]
/proc/loadavg: 4.32 4.24 4.14 5/261 978364
/proc/meminfo: memFree=126385112/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=226956 memory=183564 CPUtime=161.78 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 29775 0 0 0 16133 45 0 0 20 0 1 0 183073237 232402944 45891 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 56739 45891 405 379 0 56273 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 236888 KiB
Current children cumulated memory: 186312 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.22 4.14 5/263 978544
/proc/meminfo: memFree=126172228/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=226956 memory=212252 CPUtime=221.61 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 33320 0 0 0 22106 55 0 0 20 0 1 0 183073237 232402944 53063 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 56739 53063 405 379 0 56273 0
Current children cumulated CPU time: 221.61 s

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

/proc/977803/statm: 193307 142186 405 379 0 192841 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 783160 KiB
Current children cumulated memory: 571492 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/259 979740
/proc/meminfo: memFree=124322384/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=774240 memory=675908 CPUtime=3094 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 124055 0 0 0 309079 321 0 0 20 0 1 0 183073237 792821760 168977 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 193560 168977 405 379 0 193094 0
Current children cumulated CPU time: 3094 s
Current children cumulated vsize: 784172 KiB
Current children cumulated memory: 678656 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/259 979751
/proc/meminfo: memFree=124777856/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=561508 memory=440516 CPUtime=3153.84 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 125597 0 0 0 315055 329 0 0 20 0 1 0 183073237 574984192 110129 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 140377 110129 405 379 0 139911 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 571440 KiB
Current children cumulated memory: 443264 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/259 979761
/proc/meminfo: memFree=124391028/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=776600 memory=579448 CPUtime=3213.69 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 126277 0 0 0 321036 333 0 0 20 0 1 0 183073237 795238400 144862 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 194150 144862 405 379 0 193684 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 786532 KiB
Current children cumulated memory: 582196 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/259 979771
/proc/meminfo: memFree=124046436/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=777272 memory=688544 CPUtime=3273.51 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 126703 0 0 0 327015 336 0 0 20 0 1 0 183073237 795926528 172136 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 194318 172136 405 379 0 193852 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 787204 KiB
Current children cumulated memory: 691292 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/262 979787
/proc/meminfo: memFree=124461428/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=565384 memory=457772 CPUtime=3333.33 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 128362 0 0 0 332989 344 0 0 20 0 1 0 183073237 578953216 114443 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 141346 114443 405 379 0 140880 0
Current children cumulated CPU time: 3333.33 s
Current children cumulated vsize: 575316 KiB
Current children cumulated memory: 460520 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.19 4.12 5/261 979797
/proc/meminfo: memFree=124556148/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=780476 memory=594656 CPUtime=3393.15 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 129014 0 0 0 338968 347 0 0 20 0 1 0 183073237 799207424 148664 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 195119 148664 405 379 0 194653 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 790408 KiB
Current children cumulated memory: 597404 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/261 979807
/proc/meminfo: memFree=124111280/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=781656 memory=702056 CPUtime=3452.96 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 129398 0 0 0 344947 349 0 0 20 0 1 0 183073237 800415744 175514 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 195414 175514 405 379 0 194948 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 791588 KiB
Current children cumulated memory: 704804 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/261 979818
/proc/meminfo: memFree=124038348/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=568756 memory=454328 CPUtime=3512.78 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 130903 0 0 0 350922 356 0 0 20 0 1 0 183073237 582406144 113582 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 142189 113582 405 379 0 141723 0
Current children cumulated CPU time: 3512.78 s
Current children cumulated vsize: 578688 KiB
Current children cumulated memory: 457076 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.19 4.12 5/261 979829
/proc/meminfo: memFree=124508760/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=783680 memory=589164 CPUtime=3572.6 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 131507 0 0 0 356901 359 0 0 20 0 1 0 183073237 802488320 147291 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 195920 147291 405 379 0 195454 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 793612 KiB
Current children cumulated memory: 591912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.15 4.17 4.12 5/263 980219
/proc/meminfo: memFree=124320400/131524600 swapFree=131071216/131071996
[pid=977798] ppid=977795 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/977798/stat : 977798 (naps-1.02b5.sh) S 977795 977798 975785 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 183073237 10170368 687 134679101440 94853722103808 94853723183128 140725200968272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94853725281584 94853725328772 94853737566208 140725200974815 140725200974942 140725200974942 140725200981958 0
/proc/977798/statm: 2483 687 610 264 0 134 0
[pid=977803] ppid=977798 vsize=783848 memory=640536 CPUtime=3600.02 cores=4,6
/proc/977803/stat : 977803 (naps-1.02b5) R 977798 977798 975785 0 -1 4194304 131565 0 0 0 359642 360 0 0 20 0 1 0 183073237 802660352 160134 134679101440 4194304 5746509 140725753538512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13086720 140725753541614 140725753541728 140725753541728 140725753548745 0
/proc/977803/statm: 195962 160134 405 379 0 195496 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 793780 KiB
Current children cumulated memory: 643284 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002476 s, system=0.000345 s

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

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

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

Child status: 0

Real time (s): 3609.81
CPU time (s): 3600.04
CPU user time (s): 3596.42
CPU system time (s): 3.6136
CPU usage (%): 99.7293
Max. virtual memory (cumulated for all children) (KiB): 1005228
Max. memory (cumulated for all children) (KiB): 888520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.42
system time used= 3.6136
maximum resident set size= 924160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132023
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= 90
involuntary context switches= 4827


# summary of solver processes directly reported to runsolver:
#   pid: 977798,977803
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3596.42
#   total CPU system time (s): 3.6136

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.03853 second user time and 17.8339 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-18 15:25:20
IDJOB=4442901
IDBENCH=147856
IDSOLVER=3065
FILE ID=nodeC018/4442901-1721309108
RUNJOBID= nodeC018-1721305510-975943
SLURM_JOB_ID= 7542635
Free space on /tmp= 890056 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442901-1721309108/watcher-4442901-1721309108 -o /tmp/evaluation-result-4442901-1721309108/solver-4442901-1721309108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721305510-975943 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4442901-1721309108.opb

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

MD5SUM BENCH= 447851c4fd40c5c34c03bb94532f1e8d
RANDOM SEED=571949002

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		: 3662.371
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		: 3695.553
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		: 3600.852
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		: 3599.949
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		: 3633.664
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		: 3695.713
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		: 3659.400
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		: 3599.955
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:        125247532 kB
MemAvailable:   127030624 kB
Buffers:          478420 kB
Cached:          2136480 kB
SwapCached:          148 kB
Active:           992616 kB
Inactive:        4693992 kB
Active(anon):       1612 kB
Inactive(anon):  3116240 kB
Active(file):     991004 kB
Inactive(file):  1577752 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:              5536 kB
Writeback:             0 kB
AnonPages:       3070068 kB
Mapped:           113140 kB
Shmem:             45784 kB
KReclaimable:     108316 kB
Slab:             204392 kB
SReclaimable:     108316 kB
SUnreclaim:        96076 kB
KernelStack:        4120 kB
PageTables:        15248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3942632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1728512 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= 890052 MiB
End job on nodeC018 at 2024-07-18 16:25:30