Trace number 4436247

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.08 3611.8

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
MD5SUM908a9c4c32d975b4e5850834449958a7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2076
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints10000
Number of constraints which are clauses10000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 10000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10000
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10000
Number of bits of the biggest sum of numbers14
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-4436247-1721076320.opb (Picat 3.6#12)
0.29/0.36	o 10000
0.49/0.53	o 9998
6.76/6.87	o 6234
82.53/82.87	o 4156

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436247-1721076320/watcher-4436247-1721076320 -o /tmp/evaluation-result-4436247-1721076320/solver-4436247-1721076320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721072715-835359 --watchdog 3760 pb_picat HOME/instance-4436247-1721076320.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=837901, runsolver pid=837898

[startup+0.100438 s]*
/proc/loadavg: 4.12 4.11 4.09 5/257 837902
/proc/meminfo: memFree=123615992/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2033608 memory=37456 CPUtime=0.09 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 843 0 0 0 9 0 0 0 20 0 1 0 159799402 2082414592 9364 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 508402 9364 1567 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 37456 KiB

[startup+0.205475 s]*
/proc/loadavg: 4.12 4.11 4.09 5/257 837902
/proc/meminfo: memFree=123607196/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2041424 memory=56796 CPUtime=0.19 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 1016 0 0 0 19 0 0 0 20 0 1 0 159799402 2090418176 14199 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 510356 14199 1615 439 0 505785 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 56796 KiB

[startup+0.305497 s]*
/proc/loadavg: 4.12 4.11 4.09 5/257 837902
/proc/meminfo: memFree=123570400/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2060868 memory=82156 CPUtime=0.29 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 4684 0 0 0 28 1 0 0 20 0 1 0 159799402 2110328832 20539 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 515217 20539 1723 439 0 510646 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2060868 KiB
Current children cumulated memory: 82156 KiB

[startup+0.70023 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 837902
/proc/meminfo: memFree=123547728/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2099540 memory=110984 CPUtime=0.68 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 12582 0 0 0 64 4 0 0 20 0 1 0 159799402 2149928960 27746 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 524885 27746 1771 439 0 520314 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2099540 KiB
Current children cumulated memory: 110984 KiB

[startup+1.50022 s]
/proc/loadavg: 4.19 4.12 4.10 5/257 837904
/proc/meminfo: memFree=123519028/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2099540 memory=117128 CPUtime=1.48 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 12585 0 0 0 144 4 0 0 20 0 1 0 159799402 2149928960 29282 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 524885 29282 1771 439 0 520314 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2099540 KiB
Current children cumulated memory: 117128 KiB

[startup+3.10514 s]
/proc/loadavg: 4.19 4.12 4.10 4/254 837964
/proc/meminfo: memFree=123542988/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2099540 memory=117128 CPUtime=3.08 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 12597 0 0 0 304 4 0 0 20 0 1 0 159799402 2149928960 29282 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 524885 29282 1771 439 0 520314 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2099540 KiB
Current children cumulated memory: 117128 KiB

[startup+6.30016 s]
/proc/loadavg: 4.18 4.12 4.10 5/257 838088
/proc/meminfo: memFree=123524892/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2099540 memory=117128 CPUtime=6.26 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 12610 0 0 0 622 4 0 0 20 0 1 0 159799402 2149928960 29282 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 524885 29282 1771 439 0 520314 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2099540 KiB
Current children cumulated memory: 117128 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.09 5/255 838089
/proc/meminfo: memFree=123521680/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2090948 memory=110344 CPUtime=12.65 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 14955 0 0 0 1260 5 0 0 20 0 1 0 159799402 2141130752 27586 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 522737 27586 1771 439 0 518166 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2090948 KiB
Current children cumulated memory: 110344 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 838091
/proc/meminfo: memFree=123504308/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2090948 memory=110344 CPUtime=25.4 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 14988 0 0 0 2535 5 0 0 20 0 1 0 159799402 2141130752 27586 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 522737 27586 1771 439 0 518166 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2090948 KiB
Current children cumulated memory: 110344 KiB

[startup+51.1049 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 838095
/proc/meminfo: memFree=123503140/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2078784 memory=101108 CPUtime=50.93 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 35812 0 0 0 5083 10 0 0 20 0 1 0 159799402 2128674816 25277 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 519696 25277 1771 439 0 515125 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2078784 KiB
Current children cumulated memory: 101108 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 838104
/proc/meminfo: memFree=123497508/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2090948 memory=112360 CPUtime=101.97 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 64386 0 0 0 10178 19 0 0 20 0 1 0 159799402 2141130752 28090 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 522737 28090 1771 439 0 518166 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2090948 KiB
Current children cumulated memory: 112360 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 838115
/proc/meminfo: memFree=123475344/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2088832 memory=110952 CPUtime=161.78 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 111574 0 0 0 16148 30 0 0 20 0 1 0 159799402 2138963968 27738 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 522208 27738 1771 439 0 517637 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2088832 KiB
Current children cumulated memory: 110952 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 838170
/proc/meminfo: memFree=123479880/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2106748 memory=120504 CPUtime=221.58 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 156450 0 0 0 22115 43 0 0 20 0 1 0 159799402 2157309952 30126 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 526687 30126 1771 439 0 522116 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 2106748 KiB
Current children cumulated memory: 120504 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 838185
/proc/meminfo: memFree=123431780/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2124484 memory=126160 CPUtime=281.39 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 195496 0 0 0 28085 54 0 0 20 0 1 0 159799402 2175471616 31540 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 531121 31540 1771 439 0 526550 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 2124484 KiB
Current children cumulated memory: 126160 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 838196
/proc/meminfo: memFree=123426000/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2124912 memory=130668 CPUtime=341.2 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 233258 0 0 0 34050 70 0 0 20 0 1 0 159799402 2175909888 32667 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 531228 32667 1771 439 0 526657 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 2124912 KiB
Current children cumulated memory: 130668 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 838206
/proc/meminfo: memFree=123387880/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2127632 memory=132356 CPUtime=401 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 266537 0 0 0 40018 82 0 0 20 0 1 0 159799402 2178695168 33089 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 531908 33089 1771 439 0 527337 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 2127632 KiB
Current children cumulated memory: 132356 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 838217
/proc/meminfo: memFree=123409768/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2127632 memory=144916 CPUtime=460.81 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 299579 0 0 0 45985 96 0 0 20 0 1 0 159799402 2178695168 36229 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 531908 36229 1771 439 0 527337 0

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

Current children cumulated memory: 273132 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/258 839875
/proc/meminfo: memFree=123146744/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2278060 memory=281324 CPUtime=2853.04 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 876578 0 0 0 284864 440 0 0 20 0 1 0 159799402 2332733440 70331 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 569515 70331 1771 439 0 564944 0
Current children cumulated CPU time: 2853.04 s
Current children cumulated vsize: 2278060 KiB
Current children cumulated memory: 281324 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/258 839886
/proc/meminfo: memFree=123068592/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2278060 memory=277228 CPUtime=2912.83 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 889791 0 0 0 290832 451 0 0 20 0 1 0 159799402 2332733440 69307 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 569515 69307 1771 439 0 564944 0
Current children cumulated CPU time: 2912.83 s
Current children cumulated vsize: 2278060 KiB
Current children cumulated memory: 277228 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/258 839896
/proc/meminfo: memFree=122982248/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2245292 memory=250568 CPUtime=2972.64 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 902908 0 0 0 296802 462 0 0 20 0 1 0 159799402 2299179008 62642 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 561323 62642 1771 439 0 556752 0
Current children cumulated CPU time: 2972.64 s
Current children cumulated vsize: 2245292 KiB
Current children cumulated memory: 250568 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/254 839906
/proc/meminfo: memFree=123047624/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2278060 memory=277228 CPUtime=3032.45 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 915295 0 0 0 302774 471 0 0 20 0 1 0 159799402 2332733440 69307 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 569515 69307 1771 439 0 564944 0
Current children cumulated CPU time: 3032.45 s
Current children cumulated vsize: 2278060 KiB
Current children cumulated memory: 277228 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/254 839916
/proc/meminfo: memFree=123172940/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2278060 memory=262740 CPUtime=3092.25 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 923557 0 0 0 308749 476 0 0 20 0 1 0 159799402 2332733440 65685 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 569515 65685 1771 439 0 564944 0
Current children cumulated CPU time: 3092.25 s
Current children cumulated vsize: 2278060 KiB
Current children cumulated memory: 262740 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/254 839928
/proc/meminfo: memFree=123125284/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2278060 memory=266988 CPUtime=3152.05 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 932679 0 0 0 314721 484 0 0 20 0 1 0 159799402 2332733440 66747 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 569515 66747 1771 439 0 564944 0
Current children cumulated CPU time: 3152.05 s
Current children cumulated vsize: 2278060 KiB
Current children cumulated memory: 266988 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/254 839938
/proc/meminfo: memFree=123152464/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2278060 memory=275144 CPUtime=3211.86 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 945359 0 0 0 320692 494 0 0 20 0 1 0 159799402 2332733440 68786 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 569515 68786 1771 439 0 564944 0
Current children cumulated CPU time: 3211.86 s
Current children cumulated vsize: 2278060 KiB
Current children cumulated memory: 275144 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/257 839953
/proc/meminfo: memFree=123127048/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2278060 memory=279276 CPUtime=3271.67 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 955614 0 0 0 326665 502 0 0 20 0 1 0 159799402 2332733440 69819 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 569515 69819 1771 439 0 564944 0
Current children cumulated CPU time: 3271.67 s
Current children cumulated vsize: 2278060 KiB
Current children cumulated memory: 279276 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/258 839965
/proc/meminfo: memFree=123148804/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2278060 memory=256760 CPUtime=3331.47 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 965300 0 0 0 332638 509 0 0 20 0 1 0 159799402 2332733440 64190 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 569515 64190 1771 439 0 564944 0
Current children cumulated CPU time: 3331.47 s
Current children cumulated vsize: 2278060 KiB
Current children cumulated memory: 256760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.15 5/258 839975
/proc/meminfo: memFree=123099676/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2278060 memory=268992 CPUtime=3391.27 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 978421 0 0 0 338609 518 0 0 20 0 1 0 159799402 2332733440 67248 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 569515 67248 1771 439 0 564944 0
Current children cumulated CPU time: 3391.27 s
Current children cumulated vsize: 2278060 KiB
Current children cumulated memory: 268992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/258 839986
/proc/meminfo: memFree=123072860/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2278060 memory=260820 CPUtime=3451.07 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 985631 0 0 0 344582 525 0 0 20 0 1 0 159799402 2332733440 65205 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 569515 65205 1771 439 0 564944 0
Current children cumulated CPU time: 3451.07 s
Current children cumulated vsize: 2278060 KiB
Current children cumulated memory: 260820 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.14 4.15 5/258 839997
/proc/meminfo: memFree=123008488/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2278060 memory=254676 CPUtime=3510.87 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 994527 0 0 0 350555 532 0 0 20 0 1 0 159799402 2332733440 63669 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 569515 63669 1771 439 0 564944 0
Current children cumulated CPU time: 3510.87 s
Current children cumulated vsize: 2278060 KiB
Current children cumulated memory: 254676 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/258 840007
/proc/meminfo: memFree=122979736/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2278060 memory=275156 CPUtime=3570.66 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 1004156 0 0 0 356526 540 0 0 20 0 1 0 159799402 2332733440 68789 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 569515 68789 1771 439 0 564944 0
Current children cumulated CPU time: 3570.66 s
Current children cumulated vsize: 2278060 KiB
Current children cumulated memory: 275156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.09 4.12 4.14 5/258 840059
/proc/meminfo: memFree=123198672/131524600 swapFree=131071996/131071996
[pid=837901] ppid=837898 vsize=2278060 memory=262848 CPUtime=3600.06 cores=0,2
/proc/837901/stat : 837901 (pb_picat) R 837898 837901 835349 0 -1 4194304 1009567 0 0 0 359463 543 0 0 20 0 1 0 159799402 2332733440 65712 134679101440 4194304 5989780 140736716517760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 38600704 140736716522521 140736716522597 140736716522597 140736716529612 0
/proc/837901/statm: 569515 65712 1771 439 0 564944 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2278060 KiB
Current children cumulated memory: 262848 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.64 s, system=5.44177 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.8
CPU time (s): 3600.08
CPU user time (s): 3594.64
CPU system time (s): 5.44177
CPU usage (%): 99.6754
Max. virtual memory (cumulated for all children) (KiB): 2409132
Max. memory (cumulated for all children) (KiB): 303800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.64
system time used= 5.44177
maximum resident set size= 330516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1009567
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= 19
involuntary context switches= 25181


# summary of solver processes directly reported to runsolver:
#   pid: 837901
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3594.64
#   total CPU system time (s): 5.44177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76234 second user time and 15.791 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-15 22:45:33
IDJOB=4436247
IDBENCH=147222
IDSOLVER=3068
FILE ID=nodeC029/4436247-1721076320
RUNJOBID= nodeC029-1721072715-835359
SLURM_JOB_ID= 7505542
Free space on /tmp= 890056 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g100x100.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436247-1721076320/watcher-4436247-1721076320 -o /tmp/evaluation-result-4436247-1721076320/solver-4436247-1721076320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721072715-835359 --watchdog 3760  pb_picat HOME/instance-4436247-1721076320.opb

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

MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=137399023

nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.116
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3677.042
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3653.810
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.068
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3674.443
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3677.029
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.537
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.295
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123632036 kB
MemAvailable:   129565572 kB
Buffers:          371876 kB
Cached:          6326188 kB
SwapCached:            0 kB
Active:           674228 kB
Inactive:        6468068 kB
Active(anon):       1464 kB
Inactive(anon):   480484 kB
Active(file):     672764 kB
Inactive(file):  5987584 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             15312 kB
Writeback:           300 kB
AnonPages:        444300 kB
Mapped:           114108 kB
Shmem:             37720 kB
KReclaimable:     225668 kB
Slab:             346220 kB
SReclaimable:     225668 kB
SUnreclaim:       120552 kB
KernelStack:        4144 kB
PageTables:        10288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6830280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    290816 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:      279252 kB
DirectMap2M:    36194304 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC029 at 2024-07-15 23:45:45