Trace number 4452489

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS 1.03? 1816.21 1821.45

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-rmine21.0.d.opb
MD5SUM28a85ae49743319c13599be52aa6f3a2
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 benchmark2.50378
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables162547
Total number of constraints1441651
Number of constraints which are clauses1441609
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints42
Minimum length of a constraint2
Maximum length of a constraint18522
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 60838549
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 500000114
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4452489-1721439959.opb
1815.64/1821.00	c malloc failed in xmalloc
1815.64/1821.00	c 
1815.64/1821.00	c *** TERMINATED *** by signal 15
1815.64/1821.00	s UNKNOWN
1815.64/1821.00	c _____________________________________________________________________________
1815.64/1821.00	c std/band forms        : 27,0
1815.64/1821.00	c 2cl/3cl ITE-codings   : 0,0
1815.64/1821.00	c BDD/srt/adr Max costs : 22131421,23987814,0
1815.64/1821.00	c BDDraw/bin/mul/srt/adr: 0,0,7,20,0
1815.64/1821.00	c BDD nodes             : 109797264
1815.64/1821.00	c Es1/CC detections     : 0,0
1815.64/1821.00	c CC sort               : 0
1815.64/1821.00	c SAT/UNSAT calls       : 0,0
1815.64/1821.00	c regenrated variables  : 0
1815.64/1821.00	c eliminated fixed lits : 0
1815.64/1821.00	c goal lit flips        : 0
1815.64/1821.00	c goal stages           : 0
1815.64/1821.00	c goal shrink           : 0
1815.64/1821.00	c goal coeff separations: 0
1815.64/1821.00	c restarts              : 0
1815.64/1821.00	c conflicts             : 0              (0 /sec)
1815.64/1821.00	c decisions             : 0              (0 /sec)
1815.64/1821.00	c propagations          : 0              (0 /sec)
1815.64/1821.00	c inspects              : 0              (0 /sec)
1815.64/1821.00	c CPU time (solving tm) : 1805 s        (0 s, SAT 0 s, UNSAT 0 s)
1815.64/1821.00	c Time for Opt-base     : 357.4 s
1815.64/1821.00	c Steps for Opt-base    : 1851381196
1815.64/1821.00	c Time for BDD coding   : 1044 s
1815.64/1821.00	c Time for srt coding   : 367.1 s
1815.64/1821.00	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: 64096 MiB (51629 MiB free)
  memory of node 1: 64473 MiB (57866 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452489-1721439959/watcher-4452489-1721439959 -o /tmp/evaluation-result-4452489-1721439959/solver-4452489-1721439959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721432748-1041019 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4452489-1721439959.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100378 s]*
/proc/loadavg: 4.09 4.14 4.17 5/245 1045883
/proc/meminfo: memFree=112068324/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=5248 memory=3376 CPUtime=0.09 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 456 0 0 0 9 0 0 0 20 0 1 0 196154748 5373952 844 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 1312 844 500 659 0 516 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15180 KiB
Current children cumulated memory: 6112 KiB

[startup+0.207382 s]*
/proc/loadavg: 4.09 4.14 4.17 5/245 1045883
/proc/meminfo: memFree=112064428/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=5876 memory=4048 CPUtime=0.18 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 681 0 0 0 18 0 0 0 20 0 1 0 196154748 6017024 1012 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 1469 1012 500 659 0 673 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 15808 KiB
Current children cumulated memory: 6784 KiB

[startup+0.30739 s]*
/proc/loadavg: 4.09 4.14 4.17 5/245 1045883
/proc/meminfo: memFree=112062664/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=7452 memory=5048 CPUtime=0.28 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 1055 0 0 0 28 0 0 0 20 0 1 0 196154748 7630848 1262 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 1863 1262 500 659 0 1067 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 17384 KiB
Current children cumulated memory: 7784 KiB

[startup+0.700378 s]
/proc/loadavg: 4.09 4.14 4.17 5/245 1045883
/proc/meminfo: memFree=112061992/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=10896 memory=7316 CPUtime=0.65 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 1877 0 0 0 65 0 0 0 20 0 1 0 196154748 11157504 1829 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 2724 1829 500 659 0 1928 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 20828 KiB
Current children cumulated memory: 10052 KiB

[startup+1.50038 s]
/proc/loadavg: 4.09 4.14 4.17 5/245 1045883
/proc/meminfo: memFree=112059584/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=17580 memory=12004 CPUtime=1.43 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 3658 0 0 0 143 0 0 0 20 0 1 0 196154748 18001920 3001 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 4395 3001 500 659 0 3599 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 27512 KiB
Current children cumulated memory: 14740 KiB

[startup+3.10547 s]
/proc/loadavg: 4.09 4.14 4.17 5/245 1045933
/proc/meminfo: memFree=112056584/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=23432 memory=18428 CPUtime=3.04 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 5118 0 0 0 302 2 0 0 20 0 1 0 196154748 23994368 4607 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 5858 4607 500 659 0 5062 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 33364 KiB
Current children cumulated memory: 21164 KiB

[startup+6.30039 s]
/proc/loadavg: 4.08 4.14 4.17 5/245 1045933
/proc/meminfo: memFree=111889096/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=44380 memory=35608 CPUtime=6.22 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 9429 0 0 0 619 3 0 0 20 0 1 0 196154748 45445120 8902 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 11095 8902 500 659 0 10299 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 54312 KiB
Current children cumulated memory: 38344 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 4.15 4.18 5/245 1045934
/proc/meminfo: memFree=111707928/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=193796 memory=167560 CPUtime=12.61 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 42214 0 0 0 1251 10 0 0 20 0 1 0 196154748 198447104 41890 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 48449 41890 500 659 0 47653 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 203728 KiB
Current children cumulated memory: 170296 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.14 4.17 5/245 1045936
/proc/meminfo: memFree=111159632/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=727660 memory=696428 CPUtime=25.38 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 148414 0 0 0 2509 29 0 0 20 0 1 0 196154748 745123840 174107 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 181915 174107 532 659 0 181119 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 737592 KiB
Current children cumulated memory: 699164 KiB

[startup+51.1133 s]
/proc/loadavg: 4.08 4.13 4.17 5/245 1045941
/proc/meminfo: memFree=109381032/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=2474804 memory=2415672 CPUtime=50.92 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 546853 0 0 0 4994 98 0 0 20 0 1 0 196154748 2534199296 603918 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 618701 603918 532 659 0 617905 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2484736 KiB
Current children cumulated memory: 2418408 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.12 4.16 5/245 1045949
/proc/meminfo: memFree=108845936/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=2826064 memory=2725048 CPUtime=101.99 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 550591 0 0 0 10090 109 0 0 20 0 1 0 196154748 2893889536 681262 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 706516 681262 532 659 0 705720 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2835996 KiB
Current children cumulated memory: 2727784 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.16 5/245 1045959
/proc/meminfo: memFree=105462360/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=5907448 memory=5749180 CPUtime=161.83 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 1199642 0 0 0 15946 237 0 0 20 0 1 0 196154748 6049226752 1437295 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 1476862 1437295 532 659 0 1476066 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 5917380 KiB
Current children cumulated memory: 5751916 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.15 6/245 1046020
/proc/meminfo: memFree=114057064/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=5908372 memory=5868904 CPUtime=221.68 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 1200913 0 0 0 21924 244 0 0 20 0 1 0 196154748 6050172928 1467226 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 1477093 1467226 532 659 0 1476297 0
Current children cumulated CPU time: 221.68 s

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

/proc/loadavg: 4.17 4.32 4.28 6/249 1046890
/proc/meminfo: memFree=74988736/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=23566960 memory=23261560 CPUtime=1597.61 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 3786958 0 0 0 158700 1061 0 0 20 0 1 0 196154748 24132567040 5815390 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 5891740 5815390 532 659 0 5890944 0
Current children cumulated CPU time: 1597.61 s
Current children cumulated vsize: 23576892 KiB
Current children cumulated memory: 23264296 KiB

[startup+1662.3 s]
/proc/loadavg: 4.15 4.29 4.27 6/249 1046900
/proc/meminfo: memFree=74910400/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=23566960 memory=23267704 CPUtime=1657.45 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 3794585 0 0 0 164670 1075 0 0 20 0 1 0 196154748 24132567040 5816926 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 5891740 5816926 532 659 0 5890944 0
Current children cumulated CPU time: 1657.45 s
Current children cumulated vsize: 23576892 KiB
Current children cumulated memory: 23270440 KiB

[startup+1722.3 s]
/proc/loadavg: 4.10 4.25 4.26 6/249 1046911
/proc/meminfo: memFree=75859836/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=25362784 memory=23547472 CPUtime=1717.29 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 3802807 0 0 0 170642 1087 0 0 20 0 1 0 196154748 25971490816 5886868 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 6340696 5886868 532 659 0 6339900 0
Current children cumulated CPU time: 1717.29 s
Current children cumulated vsize: 25372716 KiB
Current children cumulated memory: 23550208 KiB

[startup+1782.3 s]
/proc/loadavg: 4.14 4.23 4.25 6/249 1046922
/proc/meminfo: memFree=74696420/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=25362784 memory=23822712 CPUtime=1777.14 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 3810516 0 0 0 176610 1104 0 0 20 0 1 0 196154748 25971490816 5955678 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 6340696 5955678 532 659 0 6339900 0
Current children cumulated CPU time: 1777.14 s
Current children cumulated vsize: 25372716 KiB
Current children cumulated memory: 23825448 KiB

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

# cumulated CPU time of all completed processes:  user=1804.64 s, system=11.5692 s

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

[startup+1792 s]*
/proc/loadavg: 4.12 4.22 4.25 6/247 1046924
/proc/meminfo: memFree=74699340/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=25362784 memory=23822712 CPUtime=1786.83 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 3810518 0 0 0 177579 1104 0 0 20 0 1 0 196154748 25971490816 5955678 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 6340696 5955678 532 659 0 6339900 0
Current children cumulated CPU time: 1786.83 s
Current children cumulated vsize: 25372716 KiB
Current children cumulated memory: 23825448 KiB

[startup+1804.8 s]
/proc/loadavg: 4.10 4.21 4.25 6/247 1046926
/proc/meminfo: memFree=74511052/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=25362784 memory=23892344 CPUtime=1799.58 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 3814465 0 0 0 178850 1108 0 0 20 0 1 0 196154748 25971490816 5973086 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 6340696 5973086 532 659 0 6339900 0
Current children cumulated CPU time: 1799.58 s
Current children cumulated vsize: 25372716 KiB
Current children cumulated memory: 23895080 KiB

[startup+1811.2 s]
/proc/loadavg: 4.09 4.21 4.24 7/247 1046928
/proc/meminfo: memFree=74467276/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=25362784 memory=23933304 CPUtime=1805.96 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 3815774 0 0 0 179487 1109 0 0 20 0 1 0 196154748 25971490816 5983326 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 6340696 5983326 532 659 0 6339900 0
Current children cumulated CPU time: 1805.96 s
Current children cumulated vsize: 25372716 KiB
Current children cumulated memory: 23936040 KiB

[startup+1817.6 s]
/proc/loadavg: 4.08 4.20 4.24 6/247 1046928
/proc/meminfo: memFree=74423488/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=25362784 memory=23982456 CPUtime=1812.35 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 3816494 0 0 0 180125 1110 0 0 20 0 1 0 196154748 25971490816 5995614 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 6340696 5995614 532 659 0 6339900 0
Current children cumulated CPU time: 1812.35 s
Current children cumulated vsize: 25372716 KiB
Current children cumulated memory: 23985192 KiB

[startup+1819.2 s]
/proc/loadavg: 4.08 4.20 4.24 6/247 1046928
/proc/meminfo: memFree=74408676/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=25362784 memory=23992696 CPUtime=1813.95 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 3816885 0 0 0 180284 1111 0 0 20 0 1 0 196154748 25971490816 5998174 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 6340696 5998174 532 659 0 6339900 0
Current children cumulated CPU time: 1813.95 s
Current children cumulated vsize: 25372716 KiB
Current children cumulated memory: 23995432 KiB

[startup+1820.8 s]
/proc/loadavg: 4.08 4.20 4.24 6/247 1046929
/proc/meminfo: memFree=74402652/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
[pid=1045883] ppid=1045878 vsize=25362784 memory=24002936 CPUtime=1815.54 cores=5,7
/proc/1045883/stat : 1045883 (naps-1.03) R 1045878 1045878 1041006 0 -1 4194304 3816912 0 0 0 180443 1111 0 0 20 0 1 0 196154748 25971490816 6000734 134679101440 4194304 6891213 140723254020336 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26374144 140723254027251 140723254027363 140723254027363 140723254034379 0
/proc/1045883/statm: 6340696 6000734 532 659 0 6339900 0
Current children cumulated CPU time: 1815.54 s
Current children cumulated vsize: 25372716 KiB
Current children cumulated memory: 24005672 KiB

[startup+1821.2 s]
/proc/loadavg: 4.15 4.22 4.25 6/247 1046929
/proc/meminfo: memFree=74394560/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2736 KiB

[startup+1821.4 s]
/proc/loadavg: 4.15 4.22 4.25 6/247 1046929
/proc/meminfo: memFree=74394560/131655788 swapFree=131071996/131071996
[pid=1045878] ppid=1045875 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/1045878/stat : 1045878 (naps-1.03.sh) S 1045875 1045878 1041006 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 196154747 10170368 684 134679101440 94302384730112 94302385809432 140733669654112 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94302387907888 94302387955076 94302417649664 140733669659618 140733669659743 140733669659743 140733669666760 0
/proc/1045878/statm: 2483 684 605 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2736 KiB

Child status: 10

Real time (s): 1821.45
CPU time (s): 1816.21
CPU user time (s): 1804.64
CPU system time (s): 11.5692
CPU usage (%): 99.712
Max. virtual memory (cumulated for all children) (KiB): 25372716
Max. memory (cumulated for all children) (KiB): 24007720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1804.64
system time used= 11.5692
maximum resident set size= 24004984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3817393
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= 183
involuntary context switches= 1645


# summary of solver processes directly reported to runsolver:
#   pid: 1045878
#   total CPU time (s): 1816.21
#   total CPU user time (s): 1804.64
#   total CPU system time (s): 11.5692

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4028 second user time and 17.0153 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-20 03:46:11
IDJOB=4452489
IDBENCH=164383
IDSOLVER=3063
FILE ID=nodeC005/4452489-1721439959
RUNJOBID= nodeC005-1721432748-1041019
SLURM_JOB_ID= 7545624
Free space on /tmp= 723700 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-rmine21.0.d.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452489-1721439959/watcher-4452489-1721439959 -o /tmp/evaluation-result-4452489-1721439959/solver-4452489-1721439959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721432748-1041019 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4452489-1721439959.opb

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

MD5SUM BENCH= 28a85ae49743319c13599be52aa6f3a2
RANDOM SEED=1446907171

nodeC005.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	: 0xb00001f
cpu MHz		: 3666.968
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 3649.208
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.239
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.252
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 3596.046
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.191
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.234
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1527.157
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        112127884 kB
MemAvailable:   117772996 kB
Buffers:          551424 kB
Cached:          5873776 kB
SwapCached:            0 kB
Active:          1173868 kB
Inactive:       17626604 kB
Active(anon):       3480 kB
Inactive(anon): 12417776 kB
Active(file):    1170388 kB
Inactive(file):  5208828 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             53156 kB
Writeback:             0 kB
AnonPages:      12344596 kB
Mapped:           114936 kB
Shmem:             45896 kB
KReclaimable:     212188 kB
Slab:             332360 kB
SReclaimable:     212188 kB
SUnreclaim:       120172 kB
KernelStack:        3952 kB
PageTables:        33724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   16448784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61856 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9043968 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:      303944 kB
DirectMap2M:    40495104 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723708 MiB
End job on nodeC005 at 2024-07-20 04:16:33