Trace number 4436192

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 3610.61

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-nw04.opb
MD5SUMee259c95511268cb44ae8b59ce81f086
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 benchmark8431
Best CPU time to get the best result obtained on this benchmark7.49871
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables87482
Total number of constraints36
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint599
Maximum length of a constraint42032
Number of terms in the objective function 87482
Biggest coefficient in the objective function 5220
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 120189580
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 5220
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 120189580
Number of bits of the biggest sum of numbers27
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.10/0.13	c solving HOME/instance-4436192-1721068554.opb (Picat 3.6#12)
7.36/7.48	o 19288
12.45/12.55	o 19283
131.27/131.77	o 11554

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436192-1721068554/watcher-4436192-1721068554 -o /tmp/evaluation-result-4436192-1721068554/solver-4436192-1721068554 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721061340-803585 --watchdog 3760 pb_picat HOME/instance-4436192-1721068554.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=807896, runsolver pid=807893

[startup+0.100396 s]*
/proc/loadavg: 4.15 4.17 4.18 5/241 807897
/proc/meminfo: memFree=127277884/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2033608 memory=22724 CPUtime=0.1 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 741 0 0 0 10 0 0 0 20 0 1 0 159011241 2082414592 5681 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 508402 5681 1534 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 22724 KiB

[startup+0.213262 s]*
/proc/loadavg: 4.15 4.17 4.18 5/241 807897
/proc/meminfo: memFree=127260408/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2033608 memory=46380 CPUtime=0.21 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 1008 0 0 0 20 1 0 0 20 0 1 0 159011241 2082414592 11595 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 508402 11595 1565 439 0 503831 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 46380 KiB

[startup+0.313311 s]*
/proc/loadavg: 4.15 4.17 4.18 5/241 807897
/proc/meminfo: memFree=127218860/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2033608 memory=69152 CPUtime=0.3 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 1105 0 0 0 29 1 0 0 20 0 1 0 159011241 2082414592 17288 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 508402 17288 1565 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 69152 KiB

[startup+0.700342 s]
/proc/loadavg: 4.15 4.17 4.18 5/241 807897
/proc/meminfo: memFree=127101400/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2033608 memory=116632 CPUtime=0.68 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 1133 0 0 0 65 3 0 0 20 0 1 0 159011241 2082414592 29158 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 508402 29158 1613 439 0 503831 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 116632 KiB

[startup+1.50035 s]
/proc/loadavg: 4.14 4.16 4.18 5/241 807897
/proc/meminfo: memFree=127015204/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2033608 memory=229272 CPUtime=1.48 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 1188 0 0 0 143 5 0 0 20 0 1 0 159011241 2082414592 57318 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 508402 57318 1613 439 0 503831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 229272 KiB

[startup+3.11351 s]
/proc/loadavg: 4.14 4.16 4.18 5/241 807897
/proc/meminfo: memFree=126521724/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2128492 memory=593032 CPUtime=3.08 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 2812 0 0 0 295 13 0 0 20 0 1 0 159011241 2179575808 148258 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 532123 148258 1689 439 0 527552 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2128492 KiB
Current children cumulated memory: 593032 KiB

[startup+6.30032 s]
/proc/loadavg: 4.13 4.16 4.18 5/241 807899
/proc/meminfo: memFree=126164456/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2498296 memory=906536 CPUtime=6.26 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 16891 0 0 0 599 27 0 0 20 0 1 0 159011241 2558255104 226634 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 624574 226634 1737 439 0 620003 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2498296 KiB
Current children cumulated memory: 906536 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.16 4.18 5/241 807899
/proc/meminfo: memFree=126132864/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2502956 memory=938444 CPUtime=12.65 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 21552 0 0 0 1227 38 0 0 20 0 1 0 159011241 2563026944 234611 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 625739 234611 1801 439 0 621168 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2502956 KiB
Current children cumulated memory: 938444 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.15 4.17 5/241 807902
/proc/meminfo: memFree=126083020/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2649528 memory=987960 CPUtime=25.41 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 28685 0 0 0 2494 47 0 0 20 0 1 0 159011241 2713116672 246990 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 662382 246990 1801 439 0 657811 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2649528 KiB
Current children cumulated memory: 987960 KiB

[startup+51.1132 s]
/proc/loadavg: 4.17 4.17 4.18 5/241 807997
/proc/meminfo: memFree=127575552/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2793652 memory=1049356 CPUtime=50.94 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 30462 0 0 0 5044 50 0 0 20 0 1 0 159011241 2860699648 262339 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 698413 262339 1801 439 0 693842 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2793652 KiB
Current children cumulated memory: 1049356 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/241 808004
/proc/meminfo: memFree=127549532/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2798432 memory=1062440 CPUtime=101.96 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 37593 0 0 0 10136 60 0 0 20 0 1 0 159011241 2865594368 265610 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 699608 265610 1801 439 0 695037 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2798432 KiB
Current children cumulated memory: 1062440 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/241 808014
/proc/meminfo: memFree=127483796/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=3041728 memory=1117832 CPUtime=161.78 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 46411 0 0 0 16102 76 0 0 20 0 1 0 159011241 3114729472 279458 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 760432 279458 1801 439 0 755861 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 3041728 KiB
Current children cumulated memory: 1117832 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/241 808025
/proc/meminfo: memFree=127547564/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2660792 memory=1023580 CPUtime=221.59 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 49715 0 0 0 22068 91 0 0 20 0 1 0 159011241 2724651008 255895 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 665198 255895 1801 439 0 660627 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 2660792 KiB
Current children cumulated memory: 1023580 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.12 4.16 5/245 808043
/proc/meminfo: memFree=127449092/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2826240 memory=1135060 CPUtime=281.41 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 56678 0 0 0 28036 105 0 0 20 0 1 0 159011241 2894069760 283765 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 706560 283765 1801 439 0 701989 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 2826240 KiB
Current children cumulated memory: 1135060 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/245 808053
/proc/meminfo: memFree=127384104/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2826240 memory=1158316 CPUtime=341.23 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 60120 0 0 0 34001 122 0 0 20 0 1 0 159011241 2894069760 289579 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 706560 289579 1801 439 0 701989 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 2826240 KiB
Current children cumulated memory: 1158316 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/245 808064
/proc/meminfo: memFree=127366892/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=3088384 memory=1242284 CPUtime=401.05 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 60837 0 0 0 39981 124 0 0 20 0 1 0 159011241 3162505216 310571 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 772096 310571 1801 439 0 767525 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 3088384 KiB
Current children cumulated memory: 1242284 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/245 808074
/proc/meminfo: memFree=127532532/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2695168 memory=1047484 CPUtime=460.87 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 61687 0 0 0 45960 127 0 0 20 0 1 0 159011241 2759852032 261871 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 673792 261871 1801 439 0 669221 0

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

Current children cumulated memory: 2547580 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/245 809166
/proc/meminfo: memFree=127225948/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=3053852 memory=1292156 CPUtime=2853.96 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 141042 0 0 0 284868 528 0 0 20 0 1 0 159011241 3127144448 323039 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 763463 323039 1801 439 0 758892 0
Current children cumulated CPU time: 2853.96 s
Current children cumulated vsize: 3053852 KiB
Current children cumulated memory: 1292156 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/245 809176
/proc/meminfo: memFree=126632176/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=3578140 memory=1894268 CPUtime=2913.78 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 142270 0 0 0 290839 539 0 0 20 0 1 0 159011241 3664015360 473567 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 894535 473567 1801 439 0 889964 0
Current children cumulated CPU time: 2913.78 s
Current children cumulated vsize: 3578140 KiB
Current children cumulated memory: 1894268 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.12 4.16 5/245 809573
/proc/meminfo: memFree=127594944/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2595100 memory=945800 CPUtime=2973.61 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 142726 0 0 0 296819 542 0 0 20 0 1 0 159011241 2657382400 236450 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 648775 236450 1801 439 0 644204 0
Current children cumulated CPU time: 2973.61 s
Current children cumulated vsize: 2595100 KiB
Current children cumulated memory: 945800 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.16 5/244 809583
/proc/meminfo: memFree=127533572/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2595100 memory=997000 CPUtime=3033.43 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 142991 0 0 0 302800 543 0 0 20 0 1 0 159011241 2657382400 249250 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 648775 249250 1801 439 0 644204 0
Current children cumulated CPU time: 3033.43 s
Current children cumulated vsize: 2595100 KiB
Current children cumulated memory: 997000 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.13 4.16 5/245 809594
/proc/meminfo: memFree=127234664/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2922780 memory=1271676 CPUtime=3093.26 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 145268 0 0 0 308768 558 0 0 20 0 1 0 159011241 2992926720 317919 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 730695 317919 1801 439 0 726124 0
Current children cumulated CPU time: 3093.26 s
Current children cumulated vsize: 2922780 KiB
Current children cumulated memory: 1271676 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/245 809772
/proc/meminfo: memFree=126775832/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=3480752 memory=1721788 CPUtime=3153.08 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 150966 0 0 0 314739 569 0 0 20 0 1 0 159011241 3564290048 430447 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 870188 430447 1801 439 0 865617 0
Current children cumulated CPU time: 3153.08 s
Current children cumulated vsize: 3480752 KiB
Current children cumulated memory: 1721788 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/245 809783
/proc/meminfo: memFree=126554816/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=4529328 memory=1965500 CPUtime=3212.9 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 152053 0 0 0 320717 573 0 0 20 0 1 0 159011241 4638031872 491375 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 1132332 491375 1801 439 0 1127761 0
Current children cumulated CPU time: 3212.9 s
Current children cumulated vsize: 4529328 KiB
Current children cumulated memory: 1965500 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/246 809852
/proc/meminfo: memFree=127065416/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2956464 memory=1400252 CPUtime=3272.73 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 153529 0 0 0 326692 581 0 0 20 0 1 0 159011241 3027419136 350063 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 739116 350063 1801 439 0 734545 0
Current children cumulated CPU time: 3272.73 s
Current children cumulated vsize: 2956464 KiB
Current children cumulated memory: 1400252 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.13 4.14 5/246 809862
/proc/meminfo: memFree=126724192/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=3480752 memory=1798032 CPUtime=3332.56 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 155281 0 0 0 332664 592 0 0 20 0 1 0 159011241 3564290048 449508 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 870188 449508 1801 439 0 865617 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 3480752 KiB
Current children cumulated memory: 1798032 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/245 809873
/proc/meminfo: memFree=127522536/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2497712 memory=967628 CPUtime=3392.38 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 157526 0 0 0 338638 600 0 0 20 0 1 0 159011241 2557657088 241907 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 624428 241907 1801 439 0 619857 0
Current children cumulated CPU time: 3392.38 s
Current children cumulated vsize: 2497712 KiB
Current children cumulated memory: 967628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.13 5/244 809883
/proc/meminfo: memFree=126825648/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=3415216 memory=1668296 CPUtime=3452.2 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 159238 0 0 0 344607 613 0 0 20 0 1 0 159011241 3497181184 417074 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 853804 417074 1801 439 0 849233 0
Current children cumulated CPU time: 3452.2 s
Current children cumulated vsize: 3415216 KiB
Current children cumulated memory: 1668296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/244 809893
/proc/meminfo: memFree=127531648/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2497712 memory=967628 CPUtime=3512.02 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 160731 0 0 0 350575 627 0 0 20 0 1 0 159011241 2557657088 241907 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 624428 241907 1801 439 0 619857 0
Current children cumulated CPU time: 3512.02 s
Current children cumulated vsize: 2497712 KiB
Current children cumulated memory: 967628 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/241 809905
/proc/meminfo: memFree=127486908/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2563248 memory=971968 CPUtime=3571.85 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 160981 0 0 0 356558 627 0 0 20 0 1 0 159011241 2624765952 242992 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 640812 242992 1801 439 0 636241 0
Current children cumulated CPU time: 3571.85 s
Current children cumulated vsize: 2563248 KiB
Current children cumulated memory: 971968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.06 4.09 4.12 5/241 809909
/proc/meminfo: memFree=127523460/131655788 swapFree=131071996/131071996
[pid=807896] ppid=807893 vsize=2563248 memory=971968 CPUtime=3600.07 cores=0,2
/proc/807896/stat : 807896 (pb_picat) R 807893 807896 803575 0 -1 4194304 161008 0 0 0 359380 627 0 0 20 0 1 0 159011241 2624765952 242992 134679101440 4194304 5989780 140737485448960 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 20852736 140737485452313 140737485452389 140737485452389 140737485459404 0
/proc/807896/statm: 640812 242992 1801 439 0 636241 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2563248 KiB
Current children cumulated memory: 971968 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.8 s, system=6.28246 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): 3610.61
CPU time (s): 3600.08
CPU user time (s): 3593.8
CPU system time (s): 6.28246
CPU usage (%): 99.7086
Max. virtual memory (cumulated for all children) (KiB): 4660548
Max. memory (cumulated for all children) (KiB): 2639740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.8
system time used= 6.28246
maximum resident set size= 2639740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161008
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= 25391


# summary of solver processes directly reported to runsolver:
#   pid: 807896
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3593.8
#   total CPU system time (s): 6.28246

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.394 second user time and 39.3262 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-15 20:36:06
IDJOB=4436192
IDBENCH=146976
IDSOLVER=3068
FILE ID=nodeC004/4436192-1721068554
RUNJOBID= nodeC004-1721061340-803585
SLURM_JOB_ID= 7505512
Free space on /tmp= 723760 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436192-1721068554/watcher-4436192-1721068554 -o /tmp/evaluation-result-4436192-1721068554/solver-4436192-1721068554 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721061340-803585 --watchdog 3760  pb_picat HOME/instance-4436192-1721068554.opb

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

MD5SUM BENCH= ee259c95511268cb44ae8b59ce81f086
RANDOM SEED=15338700

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		: 3492.150
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		: 3498.627
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.321
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.410
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		: 3661.489
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		: 3505.476
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.492
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.459
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:        127297116 kB
MemAvailable:   127891964 kB
Buffers:          379284 kB
Cached:          1055128 kB
SwapCached:            0 kB
Active:           625672 kB
Inactive:        3201528 kB
Active(anon):       3368 kB
Inactive(anon):  2426788 kB
Active(file):     622304 kB
Inactive(file):   774740 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             10804 kB
Writeback:             0 kB
AnonPages:       2385628 kB
Mapped:           114504 kB
Shmem:             37700 kB
KReclaimable:      76008 kB
Slab:             170340 kB
SReclaimable:      76008 kB
SUnreclaim:        94332 kB
KernelStack:        3884 kB
PageTables:        14000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8359268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51296 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2185216 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= 723756 MiB
End job on nodeC004 at 2024-07-15 21:36:17