Trace number 4446741

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.05 3613.2

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K179.opb
MD5SUM84aa92d361920570c4f42a7fa8308fed
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 benchmark73.5881
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21301
Total number of constraints21661
Number of constraints which are clauses21482
Number of constraints which are cardinality constraints (but not clauses)179
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint179
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 180
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-4446741-1721341927.opb
3600.04/3613.20	c 
3600.04/3613.20	c *** TERMINATED *** by signal 15
3600.04/3613.20	s UNKNOWN
3600.04/3613.20	c _____________________________________________________________________________
3600.04/3613.20	c 
3600.04/3613.20	c std/band forms        : 177,0
3600.04/3613.20	c 2cl/3cl ITE-codings   : 20205,0
3600.04/3613.20	c BDD/srt/adr Max costs : 235,0,0
3600.04/3613.20	c BDDraw/bin/mul/srt/adr: 177,0,0,0,0
3600.04/3613.20	c BDD nodes             : 40764
3600.04/3613.20	c Es1/CC detections     : 0,0
3600.04/3613.20	c SAT/UNSAT calls       : 0,0
3600.04/3613.20	c regenrated variables  : 0
3600.04/3613.20	c restarts              : 0
3600.04/3613.20	c conflicts             : 0              (0 /sec)
3600.04/3613.20	c decisions             : 0              (0 /sec)
3600.04/3613.20	c propagations          : 0              (0 /sec)
3600.04/3613.20	c inspects              : 0              (0 /sec)
3600.04/3613.20	c CPU time (solving tm) : 3598 s        (3597 s)
3600.04/3613.20	c Time for Opt-base     : 0 s
3600.04/3613.20	c _____________________________________________________________________________

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446741-1721341927/watcher-4446741-1721341927 -o /tmp/evaluation-result-4446741-1721341927/solver-4446741-1721341927 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721341940-1007631 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4446741-1721341927.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=1007686, runsolver pid=1007675

[startup+0.100084 s]*
/proc/loadavg: 1.08 1.73 2.90 7/261 1007710
/proc/meminfo: memFree=127280652/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=13492 memory=8112 CPUtime=0.09 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 1837 0 0 0 9 0 0 0 20 0 1 0 186354595 13815808 2028 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 3373 2028 405 379 0 2907 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23424 KiB
Current children cumulated memory: 10824 KiB

[startup+0.206438 s]*
/proc/loadavg: 1.08 1.73 2.90 7/261 1007710
/proc/meminfo: memFree=127272584/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=14996 memory=9900 CPUtime=0.19 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 2310 0 0 0 19 0 0 0 20 0 1 0 186354595 15355904 2475 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 3749 2475 405 379 0 3283 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24928 KiB
Current children cumulated memory: 12612 KiB

[startup+0.30588 s]*
/proc/loadavg: 1.08 1.73 2.90 7/261 1007710
/proc/meminfo: memFree=127257576/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=19808 memory=13936 CPUtime=0.3 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 3456 0 0 0 29 1 0 0 20 0 1 0 186354595 20283392 3484 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 4952 3484 405 379 0 4486 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29740 KiB
Current children cumulated memory: 16648 KiB

[startup+0.700258 s]
/proc/loadavg: 1.08 1.73 2.90 6/261 1007710
/proc/meminfo: memFree=127196040/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=37648 memory=32688 CPUtime=0.69 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 8602 0 0 0 67 2 0 0 20 0 1 0 186354595 38551552 8172 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 9412 8172 421 379 0 8946 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47580 KiB
Current children cumulated memory: 35400 KiB

[startup+1.50026 s]
/proc/loadavg: 1.08 1.73 2.90 7/261 1007710
/proc/meminfo: memFree=127179032/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=40032 memory=35180 CPUtime=1.48 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 9232 0 0 0 146 2 0 0 20 0 1 0 186354595 40992768 8795 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 10008 8795 421 379 0 9542 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49964 KiB
Current children cumulated memory: 37892 KiB

[startup+3.10647 s]
/proc/loadavg: 1.40 1.79 2.92 7/261 1007712
/proc/meminfo: memFree=127155324/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=48456 memory=39668 CPUtime=3.08 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 10366 0 0 0 306 2 0 0 20 0 1 0 186354595 49618944 9917 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 12114 9917 421 379 0 11648 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58388 KiB
Current children cumulated memory: 42380 KiB

[startup+6.30026 s]
/proc/loadavg: 1.40 1.79 2.92 7/261 1007712
/proc/meminfo: memFree=127130288/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=51580 memory=46880 CPUtime=6.26 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 12092 0 0 0 623 3 0 0 20 0 1 0 186354595 52817920 11720 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 12895 11720 421 379 0 12429 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 61512 KiB
Current children cumulated memory: 49592 KiB

[startup+12.7003 s]
/proc/loadavg: 1.80 1.86 2.93 7/261 1007712
/proc/meminfo: memFree=127077488/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=62300 memory=55124 CPUtime=12.64 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 12723 0 0 0 1260 4 0 0 20 0 1 0 186354595 63795200 13781 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 15575 13781 421 379 0 15109 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 72232 KiB
Current children cumulated memory: 57836 KiB

[startup+25.5003 s]
/proc/loadavg: 2.14 1.93 2.94 7/261 1007715
/proc/meminfo: memFree=126996732/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=81076 memory=64316 CPUtime=25.39 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 13930 0 0 0 2534 5 0 0 20 0 1 0 186354595 83021824 16079 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 20269 16079 421 379 0 19803 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 91008 KiB
Current children cumulated memory: 67028 KiB

[startup+51.1066 s]
/proc/loadavg: 2.85 2.12 2.97 7/261 1007718
/proc/meminfo: memFree=126948676/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=149252 memory=126416 CPUtime=50.89 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 15286 0 0 0 5082 7 0 0 20 0 1 0 186354595 152834048 31604 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 37313 31604 421 379 0 36847 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 159184 KiB
Current children cumulated memory: 129128 KiB

[startup+102.301 s]
/proc/loadavg: 3.61 2.45 3.04 7/260 1007727
/proc/meminfo: memFree=126917712/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=149252 memory=132524 CPUtime=101.87 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 16690 0 0 0 10176 11 0 0 20 0 1 0 186354595 152834048 33131 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 37313 33131 421 379 0 36847 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 159184 KiB
Current children cumulated memory: 135236 KiB

[startup+162.301 s]
/proc/loadavg: 3.95 2.76 3.11 7/260 1007738
/proc/meminfo: memFree=126656940/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=180072 memory=166232 CPUtime=161.63 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 18719 0 0 0 16148 15 0 0 20 0 1 0 186354595 184393728 41558 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 45018 41558 421 379 0 44552 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 190004 KiB
Current children cumulated memory: 168944 KiB

[startup+222.301 s]
/proc/loadavg: 4.09 3.02 3.18 7/258 1007748
/proc/meminfo: memFree=126669616/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=197524 memory=188632 CPUtime=221.43 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 22082 0 0 0 22122 21 0 0 20 0 1 0 186354595 202264576 47158 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 49381 47158 421 379 0 48915 0
Current children cumulated CPU time: 221.43 s

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

/proc/loadavg: 4.08 4.08 4.09 7/261 1008831
/proc/meminfo: memFree=125527480/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=495836 memory=408668 CPUtime=3031.24 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 92780 0 0 0 302940 184 0 0 20 0 1 0 186354595 507736064 102167 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 123959 102167 421 379 0 123493 0
Current children cumulated CPU time: 3031.24 s
Current children cumulated vsize: 505768 KiB
Current children cumulated memory: 411380 KiB

[startup+3102.3 s]
/proc/loadavg: 4.38 4.17 4.12 7/262 1008845
/proc/meminfo: memFree=125497260/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=712064 memory=497588 CPUtime=3091.03 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 93714 0 0 0 308917 186 0 0 20 0 1 0 186354595 729153536 124397 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 178016 124397 421 379 0 177550 0
Current children cumulated CPU time: 3091.03 s
Current children cumulated vsize: 721996 KiB
Current children cumulated memory: 500300 KiB

[startup+3162.3 s]
/proc/loadavg: 4.35 4.21 4.13 7/262 1008856
/proc/meminfo: memFree=126074456/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=285292 memory=242920 CPUtime=3150.83 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 95184 0 0 0 314893 190 0 0 20 0 1 0 186354595 292139008 60730 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 71323 60730 421 379 0 70857 0
Current children cumulated CPU time: 3150.83 s
Current children cumulated vsize: 295224 KiB
Current children cumulated memory: 245632 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.19 4.13 7/261 1009248
/proc/meminfo: memFree=125616856/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=366844 memory=362544 CPUtime=3210.61 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 96107 0 0 0 320869 192 0 0 20 0 1 0 186354595 375648256 90636 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 91711 90636 421 379 0 91245 0
Current children cumulated CPU time: 3210.61 s
Current children cumulated vsize: 376776 KiB
Current children cumulated memory: 365256 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.20 4.13 7/261 1009258
/proc/meminfo: memFree=125236416/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=499512 memory=461228 CPUtime=3270.35 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 96907 0 0 0 326841 194 0 0 20 0 1 0 186354595 511500288 115307 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 124878 115307 421 379 0 124412 0
Current children cumulated CPU time: 3270.35 s
Current children cumulated vsize: 509444 KiB
Current children cumulated memory: 463940 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.13 7/260 1009269
/proc/meminfo: memFree=125900184/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=716112 memory=542148 CPUtime=3330.12 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 97856 0 0 0 332816 196 0 0 20 0 1 0 186354595 733298688 135537 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 179028 135537 421 379 0 178562 0
Current children cumulated CPU time: 3330.12 s
Current children cumulated vsize: 726044 KiB
Current children cumulated memory: 544860 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.16 4.12 7/260 1009449
/proc/meminfo: memFree=125796112/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=370152 memory=291036 CPUtime=3389.89 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 99927 0 0 0 338789 200 0 0 20 0 1 0 186354595 379035648 72759 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 92538 72759 421 379 0 92072 0
Current children cumulated CPU time: 3389.89 s
Current children cumulated vsize: 380084 KiB
Current children cumulated memory: 293748 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.12 7/260 1009459
/proc/meminfo: memFree=125391524/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=502412 memory=399624 CPUtime=3449.67 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 100700 0 0 0 344764 203 0 0 20 0 1 0 186354595 514469888 99906 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 125603 99906 421 379 0 125137 0
Current children cumulated CPU time: 3449.67 s
Current children cumulated vsize: 512344 KiB
Current children cumulated memory: 402336 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.12 7/263 1009530
/proc/meminfo: memFree=125368736/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=502900 memory=494212 CPUtime=3509.46 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 101004 0 0 0 350741 205 0 0 20 0 1 0 186354595 514969600 123553 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 125725 123553 421 379 0 125259 0
Current children cumulated CPU time: 3509.46 s
Current children cumulated vsize: 512832 KiB
Current children cumulated memory: 496924 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.12 7/263 1009540
/proc/meminfo: memFree=125707704/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=719640 memory=571008 CPUtime=3569.24 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 101914 0 0 0 356717 207 0 0 20 0 1 0 186354595 736911360 142752 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 179910 142752 421 379 0 179444 0
Current children cumulated CPU time: 3569.24 s
Current children cumulated vsize: 729572 KiB
Current children cumulated memory: 573720 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.2 s]
/proc/loadavg: 4.08 4.13 4.11 5/263 1009697
/proc/meminfo: memFree=126940320/131524600 swapFree=131071996/131071996
[pid=1007686] ppid=1007675 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/1007686/stat : 1007686 (naps-1.02b5.sh) S 1007675 1007686 1007621 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 186354594 10170368 678 134679101440 94626272907264 94626273986584 140733713387920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94626276085040 94626276132228 94626303246336 140733713392606 140733713392733 140733713392733 140733713399750 0
/proc/1007686/statm: 2483 678 600 264 0 134 0
[pid=1007702] ppid=1007686 vsize=291508 memory=253760 CPUtime=3600.04 cores=0,2
/proc/1007702/stat : 1007702 (naps-1.02b5) R 1007686 1007686 1007621 0 -1 4194304 102979 0 0 0 359793 211 0 0 20 0 1 0 186354595 298504192 63440 134679101440 4194304 5746509 140720496496304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19382272 140720496501741 140720496501855 140720496501855 140720496508873 0
/proc/1007702/statm: 72877 63440 421 379 0 72411 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 301440 KiB
Current children cumulated memory: 256472 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.94 s, system=2.11689 s

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

Child status: 0

Real time (s): 3613.2
CPU time (s): 3600.05
CPU user time (s): 3597.94
CPU system time (s): 2.11689
CPU usage (%): 99.6361
Max. virtual memory (cumulated for all children) (KiB): 810152
Max. memory (cumulated for all children) (KiB): 626220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.94
system time used= 2.11689
maximum resident set size= 643676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103455
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= 125
involuntary context switches= 25223


# summary of solver processes directly reported to runsolver:
#   pid: 1007686
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3597.94
#   total CPU system time (s): 2.11689

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1116 second user time and 20.3868 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-19 00:32:20
IDJOB=4446741
IDBENCH=158301
IDSOLVER=3065
FILE ID=nodeC017/4446741-1721341927
RUNJOBID= nodeC017-1721341940-1007631
SLURM_JOB_ID= 7542735
Free space on /tmp= 890076 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K179.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446741-1721341927/watcher-4446741-1721341927 -o /tmp/evaluation-result-4446741-1721341927/solver-4446741-1721341927 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721341940-1007631 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4446741-1721341927.opb

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

MD5SUM BENCH= 84aa92d361920570c4f42a7fa8308fed
RANDOM SEED=592637469

nodeC017.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		: 3619.363
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.46
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		: 3638.665
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	: 7006.99
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		: 3615.441
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.46
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		: 3658.568
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	: 7006.99
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		: 3847.769
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.46
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		: 3747.586
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	: 7006.99
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		: 3607.140
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.46
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		: 3611.345
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	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127311416 kB
MemAvailable:   129723644 kB
Buffers:          544324 kB
Cached:          2685624 kB
SwapCached:            0 kB
Active:          1226100 kB
Inactive:        2335512 kB
Active(anon):       1432 kB
Inactive(anon):   367948 kB
Active(file):    1224668 kB
Inactive(file):  1967564 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             20848 kB
Writeback:             0 kB
AnonPages:        331744 kB
Mapped:           106420 kB
Shmem:             37720 kB
KReclaimable:     119288 kB
Slab:             233644 kB
SReclaimable:     119288 kB
SUnreclaim:       114356 kB
KernelStack:        3888 kB
PageTables:         9736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     730816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68448 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      287444 kB
DirectMap2M:    40380416 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC017 at 2024-07-19 01:32:33