Trace number 4436205

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.09 3612.51

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
MD5SUM3aed2088dafec39bc246433683012fc1
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 benchmark122880
Best CPU time to get the best result obtained on this benchmark3411.58
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20611
Total number of constraints3921
Number of constraints which are clauses563
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3358
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 135
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073849343
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147557374
Number of bits of the biggest sum of numbers32
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-4436205-1721063112.opb (Picat 3.6#12)
38.88/39.07	o 204800
81.25/81.55	o 201728
126.62/127.07	o 166912
188.62/189.25	o 143360
249.15/249.91	o 128000

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 (58951 MiB free)
  memory of node 1: 64510 MiB (61646 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436205-1721063112/watcher-4436205-1721063112 -o /tmp/evaluation-result-4436205-1721063112/solver-4436205-1721063112 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721059511-807947 --watchdog 3760 pb_picat HOME/instance-4436205-1721063112.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
solver pid=810094, runsolver pid=810091
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 4.07 4.10 4.09 5/255 810095
/proc/meminfo: memFree=123386828/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=2033608 memory=45560 CPUtime=0.09 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 903 0 0 0 9 0 0 0 20 0 1 0 158471375 2082414592 11390 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 508402 11390 1479 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 45560 KiB

[startup+0.205584 s]*
/proc/loadavg: 4.07 4.10 4.09 5/255 810095
/proc/meminfo: memFree=123326992/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=2033608 memory=70136 CPUtime=0.19 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 918 0 0 0 19 0 0 0 20 0 1 0 158471375 2082414592 17534 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 508402 17534 1479 439 0 503831 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 70136 KiB

[startup+0.305517 s]*
/proc/loadavg: 4.07 4.10 4.09 5/255 810095
/proc/meminfo: memFree=123261592/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=2033608 memory=93020 CPUtime=0.3 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 932 0 0 0 29 1 0 0 20 0 1 0 158471375 2082414592 23255 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 508402 23255 1527 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 93020 KiB

[startup+0.700213 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 810095
/proc/meminfo: memFree=123132980/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=2041424 memory=198164 CPUtime=0.68 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 1154 0 0 0 65 3 0 0 20 0 1 0 158471375 2090418176 49541 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 510356 49541 1527 439 0 505785 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 198164 KiB

[startup+1.50022 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 810095
/proc/meminfo: memFree=122979880/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=2167484 memory=430800 CPUtime=1.49 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 3468 0 0 0 140 9 0 0 20 0 1 0 158471375 2219503616 107700 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 541871 107700 1605 439 0 537300 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2167484 KiB
Current children cumulated memory: 430800 KiB

[startup+3.10552 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 810095
/proc/meminfo: memFree=122051900/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=2653456 memory=1234988 CPUtime=3.09 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 4558 0 0 0 284 25 0 0 20 0 1 0 158471375 2717138944 308747 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 663364 308747 1653 439 0 658793 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2653456 KiB
Current children cumulated memory: 1234988 KiB

[startup+6.30017 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 810095
/proc/meminfo: memFree=121518848/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3183400 memory=1692668 CPUtime=6.27 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 33905 0 0 0 589 38 0 0 20 0 1 0 158471375 3259801600 423167 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 795850 423167 1701 439 0 791279 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3183400 KiB
Current children cumulated memory: 1692668 KiB

[startup+12.7001 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 810096
/proc/meminfo: memFree=121512312/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3183400 memory=1692956 CPUtime=12.65 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 33952 0 0 0 1224 41 0 0 20 0 1 0 158471375 3259801600 423239 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 795850 423239 1717 439 0 791279 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3183400 KiB
Current children cumulated memory: 1692956 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 810098
/proc/meminfo: memFree=121445164/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3252316 memory=1789056 CPUtime=25.42 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 44843 0 0 0 2495 47 0 0 20 0 1 0 158471375 3330371584 447264 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 813079 447264 1717 439 0 808508 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3252316 KiB
Current children cumulated memory: 1789056 KiB

[startup+51.1055 s]
/proc/loadavg: 4.15 4.11 4.09 5/255 810102
/proc/meminfo: memFree=121445592/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3177356 memory=1686740 CPUtime=50.95 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 82993 0 0 0 5018 77 0 0 20 0 1 0 158471375 3253612544 421685 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 794339 421685 1717 439 0 789768 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3177356 KiB
Current children cumulated memory: 1686740 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 810111
/proc/meminfo: memFree=121411716/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3174028 memory=1700532 CPUtime=101.99 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 129958 0 0 0 10086 113 0 0 20 0 1 0 158471375 3250204672 425133 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 793507 425133 1717 439 0 788936 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 3174028 KiB
Current children cumulated memory: 1700532 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 810122
/proc/meminfo: memFree=121494264/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3003088 memory=1628884 CPUtime=161.82 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 188093 0 0 0 16028 154 0 0 20 0 1 0 158471375 3075162112 407221 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 750772 407221 1717 439 0 746201 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 3003088 KiB
Current children cumulated memory: 1628884 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 810133
/proc/meminfo: memFree=121465824/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=2945728 memory=1601372 CPUtime=221.63 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 234037 0 0 0 21984 179 0 0 20 0 1 0 158471375 3016425472 400343 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 736432 400343 1717 439 0 731861 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 2945728 KiB
Current children cumulated memory: 1601372 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 810147
/proc/meminfo: memFree=121473028/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=2938068 memory=1597724 CPUtime=281.45 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 282579 0 0 0 27938 207 0 0 20 0 1 0 158471375 3008581632 399431 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 734517 399431 1717 439 0 729946 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 2938068 KiB
Current children cumulated memory: 1597724 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 810159
/proc/meminfo: memFree=121463996/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=2970836 memory=1613380 CPUtime=341.25 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 286889 0 0 0 33914 211 0 0 20 0 1 0 158471375 3042136064 403345 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 742709 403345 1717 439 0 738138 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 2970836 KiB
Current children cumulated memory: 1613380 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 810169
/proc/meminfo: memFree=121426820/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=2954452 memory=1606688 CPUtime=401.04 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 290185 0 0 0 39890 214 0 0 20 0 1 0 158471375 3025358848 401672 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 738613 401672 1717 439 0 734042 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 2954452 KiB
Current children cumulated memory: 1606688 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 810179
/proc/meminfo: memFree=121421584/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3003604 memory=1648524 CPUtime=460.84 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 291682 0 0 0 45868 216 0 0 20 0 1 0 158471375 3075690496 412131 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 750901 412131 1717 439 0 746330 0

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

Current children cumulated memory: 1648896 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 811250
/proc/meminfo: memFree=121169792/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3065772 memory=1650944 CPUtime=2912.32 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 390745 0 0 0 290881 351 0 0 20 0 1 0 158471375 3139350528 412736 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 766443 412736 1717 439 0 761872 0
Current children cumulated CPU time: 2912.32 s
Current children cumulated vsize: 3065772 KiB
Current children cumulated memory: 1650944 KiB

[startup+2982.3 s]
/proc/loadavg: 4.29 4.15 4.10 5/258 811643
/proc/meminfo: memFree=121308820/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3065772 memory=1665284 CPUtime=2972.1 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 395034 0 0 0 296854 356 0 0 20 0 1 0 158471375 3139350528 416321 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 766443 416321 1717 439 0 761872 0
Current children cumulated CPU time: 2972.1 s
Current children cumulated vsize: 3065772 KiB
Current children cumulated memory: 1665284 KiB

[startup+3042.3 s]
/proc/loadavg: 4.31 4.17 4.11 5/258 811654
/proc/meminfo: memFree=121311276/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3131308 memory=1702204 CPUtime=3031.89 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 398810 0 0 0 302829 360 0 0 20 0 1 0 158471375 3206459392 425551 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 782827 425551 1717 439 0 778256 0
Current children cumulated CPU time: 3031.89 s
Current children cumulated vsize: 3131308 KiB
Current children cumulated memory: 1702204 KiB

[startup+3102.3 s]
/proc/loadavg: 4.26 4.20 4.12 5/258 811664
/proc/meminfo: memFree=121366972/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3065772 memory=1695848 CPUtime=3091.67 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 400984 0 0 0 308804 363 0 0 20 0 1 0 158471375 3139350528 423962 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 766443 423962 1717 439 0 761872 0
Current children cumulated CPU time: 3091.67 s
Current children cumulated vsize: 3065772 KiB
Current children cumulated memory: 1695848 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/258 811844
/proc/meminfo: memFree=121336016/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3065772 memory=1691964 CPUtime=3151.45 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 402481 0 0 0 314779 366 0 0 20 0 1 0 158471375 3139350528 422991 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 766443 422991 1717 439 0 761872 0
Current children cumulated CPU time: 3151.45 s
Current children cumulated vsize: 3065772 KiB
Current children cumulated memory: 1691964 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/258 811854
/proc/meminfo: memFree=121278504/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3065772 memory=1657148 CPUtime=3211.24 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 405677 0 0 0 320754 370 0 0 20 0 1 0 158471375 3139350528 414287 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 766443 414287 1717 439 0 761872 0
Current children cumulated CPU time: 3211.24 s
Current children cumulated vsize: 3065772 KiB
Current children cumulated memory: 1657148 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/258 811867
/proc/meminfo: memFree=121316872/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3065772 memory=1681688 CPUtime=3271.02 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 407660 0 0 0 326730 372 0 0 20 0 1 0 158471375 3139350528 420422 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 766443 420422 1717 439 0 761872 0
Current children cumulated CPU time: 3271.02 s
Current children cumulated vsize: 3065772 KiB
Current children cumulated memory: 1681688 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.13 4.10 5/256 811889
/proc/meminfo: memFree=121196868/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3065772 memory=1694012 CPUtime=3330.81 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 407747 0 0 0 332709 372 0 0 20 0 1 0 158471375 3139350528 423503 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 766443 423503 1717 439 0 761872 0
Current children cumulated CPU time: 3330.81 s
Current children cumulated vsize: 3065772 KiB
Current children cumulated memory: 1694012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/256 811899
/proc/meminfo: memFree=121230844/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3065772 memory=1700156 CPUtime=3390.6 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 407867 0 0 0 338688 372 0 0 20 0 1 0 158471375 3139350528 425039 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 766443 425039 1717 439 0 761872 0
Current children cumulated CPU time: 3390.6 s
Current children cumulated vsize: 3065772 KiB
Current children cumulated memory: 1700156 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/256 811910
/proc/meminfo: memFree=121279936/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3065772 memory=1652996 CPUtime=3450.4 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 410587 0 0 0 344665 375 0 0 20 0 1 0 158471375 3139350528 413249 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 766443 413249 1717 439 0 761872 0
Current children cumulated CPU time: 3450.4 s
Current children cumulated vsize: 3065772 KiB
Current children cumulated memory: 1652996 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 811923
/proc/meminfo: memFree=121254604/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3065772 memory=1681552 CPUtime=3510.19 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 414665 0 0 0 350636 383 0 0 20 0 1 0 158471375 3139350528 420388 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 766443 420388 1717 439 0 761872 0
Current children cumulated CPU time: 3510.19 s
Current children cumulated vsize: 3065772 KiB
Current children cumulated memory: 1681552 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 811933
/proc/meminfo: memFree=121295956/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=2967468 memory=1629384 CPUtime=3569.97 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 418258 0 0 0 356610 387 0 0 20 0 1 0 158471375 3038687232 407346 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 741867 407346 1717 439 0 737296 0
Current children cumulated CPU time: 3569.97 s
Current children cumulated vsize: 2967468 KiB
Current children cumulated memory: 1629384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 812122
/proc/meminfo: memFree=121083168/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3000236 memory=1636088 CPUtime=3600.06 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 419193 0 0 0 359617 389 0 0 20 0 1 0 158471375 3072241664 409022 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 750059 409022 1717 439 0 745488 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3000236 KiB
Current children cumulated memory: 1636088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.18 s, system=3.90773 s

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

[startup+3612.5 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 812122
/proc/meminfo: memFree=121083168/131524600 swapFree=131071996/131071996
[pid=810094] ppid=810091 vsize=3000236 memory=1636088 CPUtime=3600.06 cores=0,2
/proc/810094/stat : 810094 (pb_picat) R 810091 810094 807937 0 -1 4194304 419193 0 0 0 359617 389 0 0 20 0 1 0 158471375 3072241664 409022 134679101440 4194304 5989780 140729977416288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 43491328 140729977422873 140729977422949 140729977422949 140729977429964 0
/proc/810094/statm: 750059 409022 1717 439 0 745488 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3000236 KiB
Current children cumulated memory: 1636088 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3612.51
CPU time (s): 3600.09
CPU user time (s): 3596.18
CPU system time (s): 3.90773
CPU usage (%): 99.6561
Max. virtual memory (cumulated for all children) (KiB): 3285084
Max. memory (cumulated for all children) (KiB): 1841556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.18
system time used= 3.90773
maximum resident set size= 1841556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419193
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= 4
involuntary context switches= 25201


# summary of solver processes directly reported to runsolver:
#   pid: 810094
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3596.18
#   total CPU system time (s): 3.90773

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85854 second user time and 17.834 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-15 19:05:24
IDJOB=4436205
IDBENCH=146780
IDSOLVER=3068
FILE ID=nodeC015/4436205-1721063112
RUNJOBID= nodeC015-1721059511-807947
SLURM_JOB_ID= 7505499
Free space on /tmp= 890068 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436205-1721063112/watcher-4436205-1721063112 -o /tmp/evaluation-result-4436205-1721063112/solver-4436205-1721063112 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721059511-807947 --watchdog 3760  pb_picat HOME/instance-4436205-1721063112.opb

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

MD5SUM BENCH= 3aed2088dafec39bc246433683012fc1
RANDOM SEED=1193524445

nodeC015.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		: 3659.226
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.61
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		: 3681.866
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.25
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		: 3658.901
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.61
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.114
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.25
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		: 3600.063
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.61
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		: 3681.887
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.25
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		: 3668.539
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.61
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.186
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123511380 kB
MemAvailable:   128775712 kB
Buffers:          356852 kB
Cached:          5736096 kB
SwapCached:            0 kB
Active:          1181212 kB
Inactive:        6222092 kB
Active(anon):       1572 kB
Inactive(anon):  1346212 kB
Active(file):    1179640 kB
Inactive(file):  4875880 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19792 kB
Writeback:             0 kB
AnonPages:       1308356 kB
Mapped:           113668 kB
Shmem:             37720 kB
KReclaimable:      96916 kB
Slab:             203552 kB
SReclaimable:      96916 kB
SUnreclaim:       106636 kB
KernelStack:        4076 kB
PageTables:        11640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7225596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61504 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1073152 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:      228052 kB
DirectMap2M:    33099776 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC015 at 2024-07-15 20:05:36