Trace number 4447079

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
CASHWMaxSAT-DisjCad-S 2024-07-10? (TO) 3600.02 3609.4

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K81.opb
MD5SUMa76247625d06f26dbfcd47fe69513f4b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5508
Total number of constraints5672
Number of constraints which are clauses5591
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint81
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 82
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.01/3609.40	s UNKNOWN

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447079-1721343081/watcher-4447079-1721343081 -o /tmp/evaluation-result-4447079-1721343081/solver-4447079-1721343081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721341373-999025 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4447079-1721343081.opb -total-t=3600 -no-par -v0 

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
Current StackSize limit: 8192 KiB

solver pid=1000194, runsolver pid=1000191

[startup+0.1004 s]*
/proc/loadavg: 4.12 4.10 3.85 5/256 1000195
/proc/meminfo: memFree=127154700/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=31072 memory=16448 CPUtime=0.09 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 3431 0 0 0 9 0 0 0 20 0 1 0 186470473 31817728 4112 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 7768 4112 926 2594 0 4661 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31072 KiB
Current children cumulated memory: 16448 KiB

[startup+0.206415 s]*
/proc/loadavg: 4.12 4.10 3.85 5/256 1000195
/proc/meminfo: memFree=127154028/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=32288 memory=17548 CPUtime=0.19 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 3751 0 0 0 19 0 0 0 20 0 1 0 186470473 33062912 4387 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 8072 4387 990 2594 0 4965 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32288 KiB
Current children cumulated memory: 17548 KiB

[startup+0.305333 s]*
/proc/loadavg: 4.12 4.10 3.85 5/256 1000195
/proc/meminfo: memFree=127152504/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=32652 memory=18280 CPUtime=0.29 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 4107 0 0 0 29 0 0 0 20 0 1 0 186470473 33435648 4570 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 8163 4570 990 2594 0 5056 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32652 KiB
Current children cumulated memory: 18280 KiB

[startup+0.700243 s]
/proc/loadavg: 4.12 4.10 3.85 5/256 1000195
/proc/meminfo: memFree=127152536/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=62640 memory=47732 CPUtime=0.68 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 12486 0 0 0 66 2 0 0 20 0 1 0 186470473 64143360 11933 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 15660 11933 1006 2594 0 12553 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62640 KiB
Current children cumulated memory: 47732 KiB

[startup+1.50022 s]
/proc/loadavg: 4.12 4.10 3.85 5/256 1000195
/proc/meminfo: memFree=127123264/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=62388 memory=47968 CPUtime=1.48 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 13262 0 0 0 146 2 0 0 20 0 1 0 186470473 63885312 11992 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 15597 11992 1006 2594 0 12490 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62388 KiB
Current children cumulated memory: 47968 KiB

[startup+3.1054 s]
/proc/loadavg: 4.12 4.10 3.85 5/256 1000195
/proc/meminfo: memFree=127120860/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=68676 memory=53428 CPUtime=3.08 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 14387 0 0 0 306 2 0 0 20 0 1 0 186470473 70324224 13357 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 17169 13357 1006 2594 0 14062 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 68676 KiB
Current children cumulated memory: 53428 KiB

[startup+6.30019 s]
/proc/loadavg: 4.11 4.10 3.86 5/256 1000196
/proc/meminfo: memFree=127118908/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=66592 memory=52084 CPUtime=6.26 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 15326 0 0 0 624 2 0 0 20 0 1 0 186470473 68190208 13021 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 16648 13021 1006 2594 0 13541 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66592 KiB
Current children cumulated memory: 52084 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 3.86 5/256 1000196
/proc/meminfo: memFree=127049792/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=64804 memory=50504 CPUtime=12.64 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 16923 0 0 0 1262 2 0 0 20 0 1 0 186470473 66359296 12626 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 16201 12626 1006 2594 0 13094 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 64804 KiB
Current children cumulated memory: 50504 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 3.86 5/256 1000198
/proc/meminfo: memFree=127112528/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=73848 memory=59476 CPUtime=25.41 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 19989 0 0 0 2538 3 0 0 20 0 1 0 186470473 75620352 14869 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 18462 14869 1006 2594 0 15355 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 73848 KiB
Current children cumulated memory: 59476 KiB

[startup+51.1054 s]
/proc/loadavg: 4.11 4.10 3.87 5/256 1000202
/proc/meminfo: memFree=127076420/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=80960 memory=66664 CPUtime=50.95 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 27144 0 0 0 5090 5 0 0 20 0 1 0 186470473 82903040 16666 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 20240 16666 1006 2594 0 17133 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 80960 KiB
Current children cumulated memory: 66664 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.10 3.88 5/256 1000211
/proc/meminfo: memFree=127055420/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=100608 memory=86404 CPUtime=102.01 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 29378 0 0 0 10195 6 0 0 20 0 1 0 186470473 103022592 21601 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 25152 21601 1006 2594 0 22045 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 86404 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.11 3.91 5/256 1000223
/proc/meminfo: memFree=127011956/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=100608 memory=86404 CPUtime=161.86 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 29404 0 0 0 16180 6 0 0 20 0 1 0 186470473 103022592 21601 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 25152 21601 1006 2594 0 22045 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 86404 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 3.92 5/256 1000233
/proc/meminfo: memFree=126942956/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=104624 memory=90208 CPUtime=221.71 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 30421 0 0 0 22165 6 0 0 20 0 1 0 186470473 107134976 22552 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 26156 22552 1006 2594 0 23049 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 104624 KiB
Current children cumulated memory: 90208 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.13 3.94 5/255 1000626
/proc/meminfo: memFree=126961016/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=127736 memory=113284 CPUtime=281.56 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 31618 0 0 0 28149 7 0 0 20 0 1 0 186470473 130801664 28321 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 31934 28321 1006 2594 0 28827 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 127736 KiB
Current children cumulated memory: 113284 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 4.15 3.96 5/256 1000637
/proc/meminfo: memFree=127003568/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=127736 memory=113536 CPUtime=341.41 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 31637 0 0 0 34134 7 0 0 20 0 1 0 186470473 130801664 28384 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 31934 28384 1006 2594 0 28827 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 127736 KiB
Current children cumulated memory: 113536 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.13 3.97 5/256 1000649
/proc/meminfo: memFree=126984180/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=124532 memory=110460 CPUtime=401.26 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 34716 0 0 0 40118 8 0 0 20 0 1 0 186470473 127520768 27615 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 31133 27615 1006 2594 0 28026 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 124532 KiB
Current children cumulated memory: 110460 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.14 3.99 5/257 1000828
/proc/meminfo: memFree=127019416/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=142512 memory=128232 CPUtime=461.11 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 36665 0 0 0 46101 10 0 0 20 0 1 0 186470473 145932288 32058 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 35628 32058 1006 2594 0 32521 0

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

Current children cumulated memory: 207880 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 1002576
/proc/meminfo: memFree=127394856/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=222008 memory=207880 CPUtime=2854.96 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 94373 0 0 0 285409 87 0 0 20 0 1 0 186470473 227336192 51970 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 55502 51970 1006 2594 0 52395 0
Current children cumulated CPU time: 2854.96 s
Current children cumulated vsize: 222008 KiB
Current children cumulated memory: 207880 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 1002586
/proc/meminfo: memFree=127384448/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=222008 memory=207880 CPUtime=2914.79 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 94459 0 0 0 291392 87 0 0 20 0 1 0 186470473 227336192 51970 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 55502 51970 1006 2594 0 52395 0
Current children cumulated CPU time: 2914.79 s
Current children cumulated vsize: 222008 KiB
Current children cumulated memory: 207880 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 1002601
/proc/meminfo: memFree=127391572/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=222008 memory=207880 CPUtime=2974.62 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 94550 0 0 0 297375 87 0 0 20 0 1 0 186470473 227336192 51970 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 55502 51970 1006 2594 0 52395 0
Current children cumulated CPU time: 2974.62 s
Current children cumulated vsize: 222008 KiB
Current children cumulated memory: 207880 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 1002611
/proc/meminfo: memFree=127378556/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=222008 memory=207880 CPUtime=3034.46 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 94656 0 0 0 303358 88 0 0 20 0 1 0 186470473 227336192 51970 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 55502 51970 1006 2594 0 52395 0
Current children cumulated CPU time: 3034.46 s
Current children cumulated vsize: 222008 KiB
Current children cumulated memory: 207880 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 1002621
/proc/meminfo: memFree=127388184/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=222008 memory=207880 CPUtime=3094.29 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 94749 0 0 0 309341 88 0 0 20 0 1 0 186470473 227336192 51970 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 55502 51970 1006 2594 0 52395 0
Current children cumulated CPU time: 3094.29 s
Current children cumulated vsize: 222008 KiB
Current children cumulated memory: 207880 KiB

[startup+3162.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/256 1002633
/proc/meminfo: memFree=127414568/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=222008 memory=207880 CPUtime=3154.13 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 94840 0 0 0 315324 89 0 0 20 0 1 0 186470473 227336192 51970 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 55502 51970 1006 2594 0 52395 0
Current children cumulated CPU time: 3154.13 s
Current children cumulated vsize: 222008 KiB
Current children cumulated memory: 207880 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 1002643
/proc/meminfo: memFree=127362196/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=224408 memory=210280 CPUtime=3213.96 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 95544 0 0 0 321306 90 0 0 20 0 1 0 186470473 229793792 52570 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 56102 52570 1006 2594 0 52995 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 224408 KiB
Current children cumulated memory: 210280 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 1002653
/proc/meminfo: memFree=127397980/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=224408 memory=210280 CPUtime=3273.8 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 95641 0 0 0 327290 90 0 0 20 0 1 0 186470473 229793792 52570 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 56102 52570 1006 2594 0 52995 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 224408 KiB
Current children cumulated memory: 210280 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/254 1002663
/proc/meminfo: memFree=127397648/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=224408 memory=210280 CPUtime=3333.63 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 95738 0 0 0 333273 90 0 0 20 0 1 0 186470473 229793792 52570 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 56102 52570 1006 2594 0 52995 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 224408 KiB
Current children cumulated memory: 210280 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/254 1002674
/proc/meminfo: memFree=127398084/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=224408 memory=210280 CPUtime=3393.47 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 95832 0 0 0 339257 90 0 0 20 0 1 0 186470473 229793792 52570 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 56102 52570 1006 2594 0 52995 0
Current children cumulated CPU time: 3393.47 s
Current children cumulated vsize: 224408 KiB
Current children cumulated memory: 210280 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/254 1002684
/proc/meminfo: memFree=127325432/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=232184 memory=218056 CPUtime=3453.3 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 96339 0 0 0 345240 90 0 0 20 0 1 0 186470473 237756416 54514 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 58046 54514 1006 2594 0 54939 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 232184 KiB
Current children cumulated memory: 218056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/254 1002694
/proc/meminfo: memFree=127338580/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=232184 memory=218056 CPUtime=3513.14 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 96443 0 0 0 351224 90 0 0 20 0 1 0 186470473 237756416 54514 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 58046 54514 1006 2594 0 54939 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 232184 KiB
Current children cumulated memory: 218056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/257 1002710
/proc/meminfo: memFree=127397672/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=232184 memory=218056 CPUtime=3572.98 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 96539 0 0 0 357208 90 0 0 20 0 1 0 186470473 237756416 54514 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 58046 54514 1006 2594 0 54939 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 232184 KiB
Current children cumulated memory: 218056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.17 4.12 4.10 5/257 1002716
/proc/meminfo: memFree=127401384/131524600 swapFree=131071216/131071996
[pid=1000194] ppid=1000191 vsize=232184 memory=218056 CPUtime=3600.01 cores=4,6
/proc/1000194/stat : 1000194 (CASHWMaxSAT-Dis) R 1000191 1000194 999014 0 -1 4194304 96541 0 0 0 359911 90 0 0 20 0 1 0 186470473 237756416 54514 134679101440 4194304 14817773 140727924776048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44576768 140727924777956 140727924778071 140727924778071 140727924785087 0
/proc/1000194/statm: 58046 54514 1006 2594 0 54939 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 232184 KiB
Current children cumulated memory: 218056 KiB

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

[startup+3609.4 s]
# the end of solver process 1000194 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3599.11 s, system=0.906205 s

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

Child status: 0

Real time (s): 3609.4
CPU time (s): 3600.02
CPU user time (s): 3599.11
CPU system time (s): 0.906205
CPU usage (%): 99.7401
Max. virtual memory (cumulated for all children) (KiB): 292236
Max. memory (cumulated for all children) (KiB): 270284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.11
system time used= 0.906205
maximum resident set size= 297368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96541
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= 37
involuntary context switches= 1622


# summary of solver processes directly reported to runsolver:
#   pid: 1000194
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.11
#   total CPU system time (s): 0.906205

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96869 second user time and 17.3891 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-19 00:51:33
IDJOB=4447079
IDBENCH=158357
IDSOLVER=3075
FILE ID=nodeC018/4447079-1721343081
RUNJOBID= nodeC018-1721341373-999025
SLURM_JOB_ID= 7542732
Free space on /tmp= 890040 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447079-1721343081/watcher-4447079-1721343081 -o /tmp/evaluation-result-4447079-1721343081/solver-4447079-1721343081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721341373-999025 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4447079-1721343081.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b
RANDOM SEED=466709423

nodeC018.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		: 3657.576
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.52
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		: 3698.035
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.30
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		: 3600.382
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.52
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.011
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.30
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		: 3662.138
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.52
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		: 3698.143
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.30
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		: 3651.459
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.52
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		: 3599.931
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127168384 kB
MemAvailable:   129039216 kB
Buffers:          502748 kB
Cached:          2198808 kB
SwapCached:          148 kB
Active:          1025256 kB
Inactive:        2743964 kB
Active(anon):       1580 kB
Inactive(anon):  1111576 kB
Active(file):    1023676 kB
Inactive(file):  1632388 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             13948 kB
Writeback:             0 kB
AnonPages:       1066072 kB
Mapped:           120656 kB
Shmem:             45784 kB
KReclaimable:     109184 kB
Slab:             205400 kB
SReclaimable:     109184 kB
SUnreclaim:        96216 kB
KernelStack:        4124 kB
PageTables:        11316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1596160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1009664 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:      262868 kB
DirectMap2M:    24676352 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC018 at 2024-07-19 01:51:42