Trace number 4436193

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Picat 2024-06-18? (TO) 3600.06 3609.5

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
MD5SUM6ea30ee5c980a208725b42ec6ced88d1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4372480
Best CPU time to get the best result obtained on this benchmark2892.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8060
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint31
Maximum length of a constraint780
Number of terms in the objective function 8060
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1599918681646
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1599918681646
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c solving HOME/instance-4436193-1721062451.opb (Picat 3.6#12)
18.54/18.63	o 45522831
34.03/34.17	o 45471632
72.42/72.69	o 29728768
509.99/511.37	o 19818358

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 (61033 MiB free)
  memory of node 1: 64473 MiB (63369 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436193-1721062451/watcher-4436193-1721062451 -o /tmp/evaluation-result-4436193-1721062451/solver-4436193-1721062451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721061340-803588 --watchdog 3760 pb_picat HOME/instance-4436193-1721062451.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
Current StackSize limit: 8192 KiB

solver pid=804133, runsolver pid=804130

[startup+0.1001 s]*
/proc/loadavg: 4.09 4.10 4.01 5/244 804134
/proc/meminfo: memFree=127314256/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2041424 memory=48644 CPUtime=0.1 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 1608 0 0 0 10 0 0 0 20 0 1 0 158400984 2090418176 12161 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 510356 12161 1522 439 0 505785 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 48644 KiB

[startup+0.212994 s]*
/proc/loadavg: 4.09 4.10 4.01 5/244 804134
/proc/meminfo: memFree=127257736/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2051580 memory=74052 CPUtime=0.21 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 3492 0 0 0 20 1 0 0 20 0 1 0 158400984 2100817920 18513 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 512895 18513 1696 439 0 508324 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2051580 KiB
Current children cumulated memory: 74052 KiB

[startup+0.312744 s]*
/proc/loadavg: 4.09 4.10 4.01 5/244 804134
/proc/meminfo: memFree=127243140/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2064124 memory=86984 CPUtime=0.32 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 6547 0 0 0 30 2 0 0 20 0 1 0 158400984 2113662976 21746 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 516031 21746 1744 439 0 511460 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 2064124 KiB
Current children cumulated memory: 86984 KiB

[startup+0.700253 s]
/proc/loadavg: 4.09 4.10 4.01 5/244 804134
/proc/meminfo: memFree=127283344/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2085884 memory=98472 CPUtime=0.68 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 8547 0 0 0 66 2 0 0 20 0 1 0 158400984 2135945216 24618 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 521471 24618 1744 439 0 516900 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2085884 KiB
Current children cumulated memory: 98472 KiB

[startup+1.50023 s]
/proc/loadavg: 4.09 4.10 4.01 5/244 804134
/proc/meminfo: memFree=127281592/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2085884 memory=98472 CPUtime=1.48 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 8547 0 0 0 146 2 0 0 20 0 1 0 158400984 2135945216 24618 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 521471 24618 1744 439 0 516900 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2085884 KiB
Current children cumulated memory: 98472 KiB

[startup+3.1124 s]
/proc/loadavg: 4.08 4.10 4.00 5/244 804134
/proc/meminfo: memFree=127280864/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2085884 memory=98472 CPUtime=3.1 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 8561 0 0 0 307 3 0 0 20 0 1 0 158400984 2135945216 24618 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 521471 24618 1744 439 0 516900 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2085884 KiB
Current children cumulated memory: 98472 KiB

[startup+6.30024 s]
/proc/loadavg: 4.08 4.10 4.00 5/244 804134
/proc/meminfo: memFree=127277496/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2085884 memory=98648 CPUtime=6.28 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 8579 0 0 0 624 4 0 0 20 0 1 0 158400984 2135945216 24662 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 521471 24662 1760 439 0 516900 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2085884 KiB
Current children cumulated memory: 98648 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.10 4.00 5/244 804136
/proc/meminfo: memFree=127271336/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2084976 memory=104908 CPUtime=12.66 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 21567 0 0 0 1259 7 0 0 20 0 1 0 158400984 2135015424 26227 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 521244 26227 1760 439 0 516673 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2084976 KiB
Current children cumulated memory: 104908 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.11 4.01 5/244 804137
/proc/meminfo: memFree=127273096/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2105604 memory=121220 CPUtime=25.43 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 32221 0 0 0 2531 12 0 0 20 0 1 0 158400984 2156138496 30305 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 526401 30305 1760 439 0 521830 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2105604 KiB
Current children cumulated memory: 121220 KiB

[startup+51.113 s]
/proc/loadavg: 4.09 4.10 4.01 5/245 804526
/proc/meminfo: memFree=127263048/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2098180 memory=120100 CPUtime=50.99 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 37518 0 0 0 5081 18 0 0 20 0 1 0 158400984 2148536320 30025 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 524545 30025 1760 439 0 519974 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 2098180 KiB
Current children cumulated memory: 120100 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.01 5/242 804535
/proc/meminfo: memFree=127225660/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2098504 memory=124712 CPUtime=102.06 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 42525 0 0 0 10184 22 0 0 20 0 1 0 158400984 2148868096 31178 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 524626 31178 1760 439 0 520055 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 2098504 KiB
Current children cumulated memory: 124712 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/242 804546
/proc/meminfo: memFree=127212768/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2121180 memory=117996 CPUtime=161.91 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 57849 0 0 0 16163 28 0 0 20 0 1 0 158400984 2172088320 29499 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 530295 29499 1760 439 0 525724 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 2121180 KiB
Current children cumulated memory: 117996 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.01 5/245 804727
/proc/meminfo: memFree=127179904/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2088884 memory=109072 CPUtime=221.75 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 80575 0 0 0 22138 37 0 0 20 0 1 0 158400984 2139017216 27268 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 522221 27268 1760 439 0 517650 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 2088884 KiB
Current children cumulated memory: 109072 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.11 4.02 5/245 804738
/proc/meminfo: memFree=127202972/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2097736 memory=123340 CPUtime=281.6 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 95787 0 0 0 28115 45 0 0 20 0 1 0 158400984 2148081664 30835 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 524434 30835 1760 439 0 519863 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 2097736 KiB
Current children cumulated memory: 123340 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/245 804748
/proc/meminfo: memFree=127290424/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2098760 memory=114080 CPUtime=341.44 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 110028 0 0 0 34093 51 0 0 20 0 1 0 158400984 2149130240 28520 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 524690 28520 1760 439 0 520119 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 2098760 KiB
Current children cumulated memory: 114080 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.11 4.02 5/244 804771
/proc/meminfo: memFree=127241744/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2123336 memory=133352 CPUtime=401.28 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 121915 0 0 0 40072 56 0 0 20 0 1 0 158400984 2174296064 33338 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 530834 33338 1760 439 0 526263 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 2123336 KiB
Current children cumulated memory: 133352 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.02 5/244 804781
/proc/meminfo: memFree=127105008/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2123336 memory=133452 CPUtime=461.12 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 135565 0 0 0 46049 63 0 0 20 0 1 0 158400984 2174296064 33363 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 530834 33363 1760 439 0 526263 0

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

Current children cumulated memory: 236272 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.25 4.24 5/244 806016
/proc/meminfo: memFree=124994540/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2234076 memory=209776 CPUtime=2914.73 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 555989 0 0 0 291116 357 0 0 20 0 1 0 158400984 2287693824 52444 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 558519 52444 1760 439 0 553948 0
Current children cumulated CPU time: 2914.73 s
Current children cumulated vsize: 2234076 KiB
Current children cumulated memory: 209776 KiB

[startup+2982.3 s]
/proc/loadavg: 4.05 4.21 4.22 5/244 806026
/proc/meminfo: memFree=125036704/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2135772 memory=157560 CPUtime=2974.57 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 564224 0 0 0 297092 365 0 0 20 0 1 0 158400984 2187030528 39390 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 533943 39390 1760 439 0 529372 0
Current children cumulated CPU time: 2974.57 s
Current children cumulated vsize: 2135772 KiB
Current children cumulated memory: 157560 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.20 4.21 5/244 806037
/proc/meminfo: memFree=124776448/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2168540 memory=169884 CPUtime=3034.4 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 567057 0 0 0 303073 367 0 0 20 0 1 0 158400984 2220584960 42471 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 542135 42471 1760 439 0 537564 0
Current children cumulated CPU time: 3034.4 s
Current children cumulated vsize: 2168540 KiB
Current children cumulated memory: 169884 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.17 4.20 5/241 806048
/proc/meminfo: memFree=124879400/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2135772 memory=161656 CPUtime=3094.23 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 568077 0 0 0 309055 368 0 0 20 0 1 0 158400984 2187030528 40414 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 533943 40414 1760 439 0 529372 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 2135772 KiB
Current children cumulated memory: 161656 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.15 4.19 5/241 806058
/proc/meminfo: memFree=124832320/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2201308 memory=174752 CPUtime=3154.07 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 572630 0 0 0 315036 371 0 0 20 0 1 0 158400984 2254139392 43688 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 550327 43688 1760 439 0 545756 0
Current children cumulated CPU time: 3154.07 s
Current children cumulated vsize: 2201308 KiB
Current children cumulated memory: 174752 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.16 4.18 5/241 806068
/proc/meminfo: memFree=124962996/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2201308 memory=177016 CPUtime=3213.91 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 577413 0 0 0 321016 375 0 0 20 0 1 0 158400984 2254139392 44254 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 550327 44254 1760 439 0 545756 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 2201308 KiB
Current children cumulated memory: 177016 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.18 5/241 806080
/proc/meminfo: memFree=124698592/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2397916 memory=400328 CPUtime=3273.75 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 585498 0 0 0 326988 387 0 0 20 0 1 0 158400984 2455465984 100082 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 599479 100082 1760 439 0 594908 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 2397916 KiB
Current children cumulated memory: 400328 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.16 4.18 5/241 806090
/proc/meminfo: memFree=124824684/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2234076 memory=209712 CPUtime=3333.59 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 590732 0 0 0 332962 397 0 0 20 0 1 0 158400984 2287693824 52428 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 558519 52428 1760 439 0 553948 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 2234076 KiB
Current children cumulated memory: 209712 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.13 4.17 5/244 806150
/proc/meminfo: memFree=126170200/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2266844 memory=204896 CPUtime=3393.43 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 599655 0 0 0 338935 408 0 0 20 0 1 0 158400984 2321248256 51224 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 566711 51224 1760 439 0 562140 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 2266844 KiB
Current children cumulated memory: 204896 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.15 4.18 5/244 806160
/proc/meminfo: memFree=126248940/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2135772 memory=166212 CPUtime=3453.26 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 604590 0 0 0 344907 419 0 0 20 0 1 0 158400984 2187030528 41553 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 533943 41553 1760 439 0 529372 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 2135772 KiB
Current children cumulated memory: 166212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/244 806171
/proc/meminfo: memFree=126478492/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2266844 memory=236316 CPUtime=3513.1 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 612331 0 0 0 350881 429 0 0 20 0 1 0 158400984 2321248256 59079 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 566711 59079 1760 439 0 562140 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 2266844 KiB
Current children cumulated memory: 236316 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/244 806181
/proc/meminfo: memFree=126292652/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2201308 memory=176844 CPUtime=3572.92 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 614637 0 0 0 356862 430 0 0 20 0 1 0 158400984 2254139392 44211 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 550327 44211 1760 439 0 545756 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 2201308 KiB
Current children cumulated memory: 176844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.06 4.11 4.16 5/244 806185
/proc/meminfo: memFree=126205160/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2168540 memory=169516 CPUtime=3600.05 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 615082 0 0 0 359574 431 0 0 20 0 1 0 158400984 2220584960 42379 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 542135 42379 1760 439 0 537564 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2168540 KiB
Current children cumulated memory: 169516 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.75 s, system=4.31784 s

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

[startup+3609.5 s]
/proc/loadavg: 4.06 4.11 4.16 5/244 806185
/proc/meminfo: memFree=126205160/131655788 swapFree=131071996/131071996
[pid=804133] ppid=804130 vsize=2168540 memory=169516 CPUtime=3600.05 cores=5,7
/proc/804133/stat : 804133 (pb_picat) R 804130 804133 803575 0 -1 4194304 615082 0 0 0 359574 431 0 0 20 0 1 0 158400984 2220584960 42379 134679101440 4194304 5989780 140727859459440 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25440256 140727859467289 140727859467365 140727859467365 140727859474380 0
/proc/804133/statm: 542135 42379 1760 439 0 537564 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2168540 KiB
Current children cumulated memory: 169516 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.5
CPU time (s): 3600.06
CPU user time (s): 3595.75
CPU system time (s): 4.31784
CPU usage (%): 99.7385
Max. virtual memory (cumulated for all children) (KiB): 2660060
Max. memory (cumulated for all children) (KiB): 472008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.75
system time used= 4.31784
maximum resident set size= 472008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 615082
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= 20
involuntary context switches= 3918


# summary of solver processes directly reported to runsolver:
#   pid: 804133
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3595.75
#   total CPU system time (s): 4.31784

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9563 second user time and 33.8031 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-15 18:54:24
IDJOB=4436193
IDBENCH=146743
IDSOLVER=3068
FILE ID=nodeC004/4436193-1721062451
RUNJOBID= nodeC004-1721061340-803588
SLURM_JOB_ID= 7505512
Free space on /tmp= 723764 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436193-1721062451/watcher-4436193-1721062451 -o /tmp/evaluation-result-4436193-1721062451/solver-4436193-1721062451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721061340-803588 --watchdog 3760  pb_picat HOME/instance-4436193-1721062451.opb

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

MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1
RANDOM SEED=340006860

nodeC004.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		: 3673.471
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	: 6984.29
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		: 3655.241
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.37
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.472
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	: 6984.29
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.355
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.37
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		: 3552.817
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	: 6984.29
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		: 3492.169
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.37
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.591
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	: 6984.29
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		: 1197.310
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127396992 kB
MemAvailable:   127954460 kB
Buffers:          375100 kB
Cached:          1022320 kB
SwapCached:            0 kB
Active:           623416 kB
Inactive:        3104460 kB
Active(anon):       3344 kB
Inactive(anon):  2364788 kB
Active(file):     620072 kB
Inactive(file):   739672 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4140 kB
Writeback:             0 kB
AnonPages:       2326176 kB
Mapped:           113948 kB
Shmem:             37700 kB
KReclaimable:      75844 kB
Slab:             170252 kB
SReclaimable:      75844 kB
SUnreclaim:        94408 kB
KernelStack:        3936 kB
PageTables:        13940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7930368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51296 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1878016 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:      189256 kB
DirectMap2M:    14395392 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC004 at 2024-07-15 19:54:33