Trace number 4446712

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Picat 2024-06-18? (TO) 3600.05 3609.8

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K162.opb
MD5SUM3691972eca5819945d0aaf6ae8165cd0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3001.01
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19278
Total number of constraints19604
Number of constraints which are clauses19442
Number of constraints which are cardinality constraints (but not clauses)162
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint162
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 163
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c solving HOME/instance-4446712-1721332575.opb (Picat 3.6#12)

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446712-1721332575/watcher-4446712-1721332575 -o /tmp/evaluation-result-4446712-1721332575/solver-4446712-1721332575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721327502-976182 --watchdog 3760 pb_picat HOME/instance-4446712-1721332575.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100297 s]*
/proc/loadavg: 4.15 4.14 4.10 5/256 979986
/proc/meminfo: memFree=128520124/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2033608 memory=40820 CPUtime=0.09 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 659 0 0 0 9 0 0 0 20 0 1 0 185423716 2082414592 10205 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 508402 10205 1522 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 40820 KiB

[startup+0.205555 s]*
/proc/loadavg: 4.15 4.14 4.10 5/256 979986
/proc/meminfo: memFree=128501140/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2033608 memory=57204 CPUtime=0.2 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 667 0 0 0 19 1 0 0 20 0 1 0 185423716 2082414592 14301 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 508402 14301 1522 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 57204 KiB

[startup+0.305579 s]*
/proc/loadavg: 4.15 4.14 4.10 5/256 979986
/proc/meminfo: memFree=128483580/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2033608 memory=76080 CPUtime=0.29 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 815 0 0 0 28 1 0 0 20 0 1 0 185423716 2082414592 19020 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 508402 19020 1522 439 0 503831 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 76080 KiB

[startup+0.70023 s]
/proc/loadavg: 4.15 4.14 4.10 5/256 979986
/proc/meminfo: memFree=128462132/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2041896 memory=89552 CPUtime=0.68 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 4179 0 0 0 66 2 0 0 20 0 1 0 185423716 2090901504 22388 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 510474 22388 1648 439 0 505903 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2041896 KiB
Current children cumulated memory: 89552 KiB

[startup+1.50022 s]
/proc/loadavg: 4.15 4.14 4.10 5/256 979986
/proc/meminfo: memFree=128445616/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2050584 memory=95488 CPUtime=1.48 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 6421 0 0 0 145 3 0 0 20 0 1 0 185423716 2099798016 23872 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 512646 23872 1648 439 0 508075 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2050584 KiB
Current children cumulated memory: 95488 KiB

[startup+3.1055 s]
/proc/loadavg: 4.15 4.14 4.10 5/256 979986
/proc/meminfo: memFree=128427224/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2051040 memory=96536 CPUtime=3.08 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 11052 0 0 0 304 4 0 0 20 0 1 0 185423716 2100264960 24134 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 512760 24134 1648 439 0 508189 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2051040 KiB
Current children cumulated memory: 96536 KiB

[startup+6.30023 s]
/proc/loadavg: 4.14 4.14 4.10 5/256 979986
/proc/meminfo: memFree=128500052/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2048992 memory=94708 CPUtime=6.27 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 18546 0 0 0 621 6 0 0 20 0 1 0 185423716 2098167808 23677 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 512248 23677 1648 439 0 507677 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2048992 KiB
Current children cumulated memory: 94708 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.10 5/256 979987
/proc/meminfo: memFree=128507388/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2048992 memory=94628 CPUtime=12.65 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 28053 0 0 0 1256 9 0 0 20 0 1 0 185423716 2098167808 23657 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 512248 23657 1648 439 0 507677 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2048992 KiB
Current children cumulated memory: 94628 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.16 4.10 5/256 979989
/proc/meminfo: memFree=128440600/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2057184 memory=103224 CPUtime=25.43 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 45230 0 0 0 2527 16 0 0 20 0 1 0 185423716 2106556416 25806 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 514296 25806 1648 439 0 509725 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2057184 KiB
Current children cumulated memory: 103224 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 979993
/proc/meminfo: memFree=128480448/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2076200 memory=109980 CPUtime=50.96 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 66821 0 0 0 5071 25 0 0 20 0 1 0 185423716 2126028800 27495 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 519050 27495 1648 439 0 514479 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2076200 KiB
Current children cumulated memory: 109980 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/258 980173
/proc/meminfo: memFree=128407016/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2092584 memory=130216 CPUtime=102.03 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 100275 0 0 0 10159 44 0 0 20 0 1 0 185423716 2142806016 32554 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 523146 32554 1648 439 0 518575 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2092584 KiB
Current children cumulated memory: 130216 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/258 980183
/proc/meminfo: memFree=128210196/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2188840 memory=168184 CPUtime=161.87 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 130447 0 0 0 16122 65 0 0 20 0 1 0 185423716 2241372160 42046 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 547210 42046 1648 439 0 542639 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2188840 KiB
Current children cumulated memory: 168184 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/259 980196
/proc/meminfo: memFree=128467756/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2070056 memory=116336 CPUtime=221.72 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 151587 0 0 0 22090 82 0 0 20 0 1 0 185423716 2119737344 29084 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 517514 29084 1648 439 0 512943 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2070056 KiB
Current children cumulated memory: 116336 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 980219
/proc/meminfo: memFree=128532488/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2111360 memory=133688 CPUtime=281.56 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 174838 0 0 0 28054 102 0 0 20 0 1 0 185423716 2162032640 33422 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 527840 33422 1648 439 0 523269 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 2111360 KiB
Current children cumulated memory: 133688 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 980229
/proc/meminfo: memFree=128439084/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2111360 memory=137884 CPUtime=341.4 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 198372 0 0 0 34024 116 0 0 20 0 1 0 185423716 2162032640 34471 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 527840 34471 1648 439 0 523269 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 2111360 KiB
Current children cumulated memory: 137884 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/257 980239
/proc/meminfo: memFree=128408520/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2103168 memory=133756 CPUtime=401.24 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 222140 0 0 0 39990 134 0 0 20 0 1 0 185423716 2153644032 33439 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 525792 33439 1648 439 0 521221 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 2103168 KiB
Current children cumulated memory: 133756 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 980251
/proc/meminfo: memFree=128177472/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2193280 memory=195188 CPUtime=461.09 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 245818 0 0 0 45956 153 0 0 20 0 1 0 185423716 2245918720 48797 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 548320 48797 1648 439 0 543749 0

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

Current children cumulated memory: 304068 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/256 981439
/proc/meminfo: memFree=128601152/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2144272 memory=164568 CPUtime=2854.3 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 686113 0 0 0 284679 751 0 0 20 0 1 0 185423716 2195734528 41142 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 536068 41142 1648 439 0 531497 0
Current children cumulated CPU time: 2854.3 s
Current children cumulated vsize: 2144272 KiB
Current children cumulated memory: 164568 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/256 981451
/proc/meminfo: memFree=128575752/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2209808 memory=213956 CPUtime=2914.16 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 692274 0 0 0 290649 767 0 0 20 0 1 0 185423716 2262843392 53489 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 552452 53489 1648 439 0 547881 0
Current children cumulated CPU time: 2914.16 s
Current children cumulated vsize: 2209808 KiB
Current children cumulated memory: 213956 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/254 981461
/proc/meminfo: memFree=128528944/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2144272 memory=168852 CPUtime=2974.02 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 696294 0 0 0 296621 781 0 0 20 0 1 0 185423716 2195734528 42213 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 536068 42213 1648 439 0 531497 0
Current children cumulated CPU time: 2974.02 s
Current children cumulated vsize: 2144272 KiB
Current children cumulated memory: 168852 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/254 981471
/proc/meminfo: memFree=128461816/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2340880 memory=335544 CPUtime=3033.88 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 703780 0 0 0 302591 797 0 0 20 0 1 0 185423716 2397061120 83886 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 585220 83886 1648 439 0 580649 0
Current children cumulated CPU time: 3033.88 s
Current children cumulated vsize: 2340880 KiB
Current children cumulated memory: 335544 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/254 981482
/proc/meminfo: memFree=128497748/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2226192 memory=234368 CPUtime=3093.74 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 710072 0 0 0 308565 809 0 0 20 0 1 0 185423716 2279620608 58592 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 556548 58592 1648 439 0 551977 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 2226192 KiB
Current children cumulated memory: 234368 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.13 4.11 6/254 981493
/proc/meminfo: memFree=128500524/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2258960 memory=285636 CPUtime=3153.6 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 716728 0 0 0 314541 819 0 0 20 0 1 0 185423716 2313175040 71409 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 564740 71409 1648 439 0 560169 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 2258960 KiB
Current children cumulated memory: 285636 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/256 981508
/proc/meminfo: memFree=128329564/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2357264 memory=320392 CPUtime=3213.45 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 725530 0 0 0 320511 834 0 0 20 0 1 0 185423716 2413838336 80098 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 589316 80098 1648 439 0 584745 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 2357264 KiB
Current children cumulated memory: 320392 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/256 981519
/proc/meminfo: memFree=128567696/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2160656 memory=187164 CPUtime=3273.31 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 732266 0 0 0 326489 842 0 0 20 0 1 0 185423716 2212511744 46791 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 540164 46791 1648 439 0 535593 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 2160656 KiB
Current children cumulated memory: 187164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/256 981529
/proc/meminfo: memFree=128364916/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2357264 memory=375748 CPUtime=3333.16 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 739006 0 0 0 332460 856 0 0 20 0 1 0 185423716 2413838336 93937 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 589316 93937 1648 439 0 584745 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 2357264 KiB
Current children cumulated memory: 375748 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/257 981540
/proc/meminfo: memFree=128235488/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2619408 memory=500676 CPUtime=3393.02 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 744207 0 0 0 338432 870 0 0 20 0 1 0 185423716 2682273792 125169 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 654852 125169 1648 439 0 650281 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 2619408 KiB
Current children cumulated memory: 500676 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.16 4.11 5/257 981552
/proc/meminfo: memFree=128464768/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2226192 memory=248516 CPUtime=3452.89 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 750381 0 0 0 344403 886 0 0 20 0 1 0 185423716 2279620608 62129 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 556548 62129 1648 439 0 551977 0
Current children cumulated CPU time: 3452.89 s
Current children cumulated vsize: 2226192 KiB
Current children cumulated memory: 248516 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/258 981946
/proc/meminfo: memFree=128394120/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2340880 memory=309512 CPUtime=3512.74 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 755922 0 0 0 350373 901 0 0 20 0 1 0 185423716 2397061120 77378 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 585220 77378 1648 439 0 580649 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 2340880 KiB
Current children cumulated memory: 309512 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/257 981957
/proc/meminfo: memFree=128158396/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2619408 memory=449352 CPUtime=3572.6 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 761137 0 0 0 356344 916 0 0 20 0 1 0 185423716 2682273792 112338 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 654852 112338 1648 439 0 650281 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 2619408 KiB
Current children cumulated memory: 449352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.07 4.12 4.09 5/259 981966
/proc/meminfo: memFree=128435748/131524600 swapFree=131071996/131071996
[pid=979985] ppid=979982 vsize=2357264 memory=304068 CPUtime=3600.04 cores=4,6
/proc/979985/stat : 979985 (pb_picat) R 979982 979985 976171 0 -1 4194304 762410 0 0 0 359081 923 0 0 20 0 1 0 185423716 2413838336 76017 134679101440 4194304 5989780 140723160004688 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 43851776 140723160007704 140723160007780 140723160007780 140723160014796 0
/proc/979985/statm: 589316 76017 1648 439 0 584745 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2357264 KiB
Current children cumulated memory: 304068 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.81 s, system=9.23945 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): 3609.8
CPU time (s): 3600.05
CPU user time (s): 3590.81
CPU system time (s): 9.23945
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 2750484
Max. memory (cumulated for all children) (KiB): 621508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.81
system time used= 9.23945
maximum resident set size= 621508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 762410
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= 17
involuntary context switches= 4572


# summary of solver processes directly reported to runsolver:
#   pid: 979985
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3590.81
#   total CPU system time (s): 9.23945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.98971 second user time and 14.5367 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-18 21:56:28
IDJOB=4446712
IDBENCH=158293
IDSOLVER=3068
FILE ID=nodeC026/4446712-1721332575
RUNJOBID= nodeC026-1721327502-976182
SLURM_JOB_ID= 7542685
Free space on /tmp= 890068 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K162.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446712-1721332575/watcher-4446712-1721332575 -o /tmp/evaluation-result-4446712-1721332575/solver-4446712-1721332575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721327502-976182 --watchdog 3760  pb_picat HOME/instance-4446712-1721332575.opb

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

MD5SUM BENCH= 3691972eca5819945d0aaf6ae8165cd0
RANDOM SEED=1359482870

nodeC026.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		: 3683.199
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3692.348
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	: 7005.45
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		: 3639.691
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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.137
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	: 7005.45
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		: 3644.122
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3692.358
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	: 7005.45
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		: 3644.518
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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.070
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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128559924 kB
MemAvailable:   129159020 kB
Buffers:          529236 kB
Cached:           906760 kB
SwapCached:            0 kB
Active:          1040188 kB
Inactive:        1312912 kB
Active(anon):       1556 kB
Inactive(anon):   953268 kB
Active(file):    1038632 kB
Inactive(file):   359644 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5012 kB
Writeback:             0 kB
AnonPages:        909744 kB
Mapped:           115372 kB
Shmem:             37720 kB
KReclaimable:      81288 kB
Slab:             191408 kB
SReclaimable:      81288 kB
SUnreclaim:       110120 kB
KernelStack:        4160 kB
PageTables:        11260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7170052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    704512 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:      260820 kB
DirectMap2M:    27824128 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC026 at 2024-07-18 22:56:38