Trace number 4446298

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-SP 2024-07-10? (TO) 3600.19 3611.67

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-172.opb
MD5SUM46f4146f739f9ce6c71981ef5aa732b8
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 benchmark607.926
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables288080
Total number of constraints6434441
Number of constraints which are clauses5760324
Number of constraints which are cardinality constraints (but not clauses)22930
Number of constraints which are nor clauses,nor cardinality constraints651187
Minimum length of a constraint1
Maximum length of a constraint2457
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2458
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.00/3611.50	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: 64059 MiB (56305 MiB free)
  memory of node 1: 64510 MiB (59675 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446298-1721329298/watcher-4446298-1721329298 -o /tmp/evaluation-result-4446298-1721329298/solver-4446298-1721329298 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721329092-974479 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4446298-1721329298.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=974951, runsolver pid=974948
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 4.02 2.69 2.00 5/245 974952
/proc/meminfo: memFree=118502612/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=342952 memory=279168 CPUtime=0.09 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 4082 0 0 0 2 7 0 0 20 0 1 0 185088793 351182848 69792 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 85738 69792 922 2726 0 82486 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 342952 KiB
Current children cumulated memory: 279168 KiB

[startup+0.205877 s]*
/proc/loadavg: 4.02 2.69 2.00 6/245 974952
/proc/meminfo: memFree=118436264/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=347088 memory=330660 CPUtime=0.2 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 5683 0 0 0 11 9 0 0 20 0 1 0 185088793 355418112 82665 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 86772 82665 922 2726 0 83520 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 347088 KiB
Current children cumulated memory: 330660 KiB

[startup+0.305802 s]*
/proc/loadavg: 4.02 2.69 2.00 5/245 974952
/proc/meminfo: memFree=118431500/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=351316 memory=334808 CPUtime=0.3 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 6219 0 0 0 21 9 0 0 20 0 1 0 185088793 359747584 83702 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 87829 83702 922 2726 0 84577 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 351316 KiB
Current children cumulated memory: 334808 KiB

[startup+0.700316 s]
/proc/loadavg: 4.02 2.69 2.00 5/245 974952
/proc/meminfo: memFree=118376200/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=360036 memory=345020 CPUtime=0.69 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 7291 0 0 0 59 10 0 0 20 0 1 0 185088793 368676864 86255 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 90009 86255 922 2726 0 86757 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 360036 KiB
Current children cumulated memory: 345020 KiB

[startup+1.50034 s]
/proc/loadavg: 4.02 2.69 2.00 5/245 974952
/proc/meminfo: memFree=118410156/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=410684 memory=381628 CPUtime=1.48 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 8295 0 0 0 136 12 0 0 20 0 1 0 185088793 420540416 95407 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 102671 95407 922 2726 0 99419 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 410684 KiB
Current children cumulated memory: 381628 KiB

[startup+3.11323 s]
/proc/loadavg: 4.02 2.72 2.01 5/245 974952
/proc/meminfo: memFree=118292528/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=611448 memory=480076 CPUtime=3.1 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 10540 0 0 0 291 19 0 0 20 0 1 0 185088793 626122752 120019 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 152862 120019 922 2726 0 149610 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 611448 KiB
Current children cumulated memory: 480076 KiB

[startup+6.30032 s]
/proc/loadavg: 4.02 2.72 2.01 5/245 974952
/proc/meminfo: memFree=118054328/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=882168 memory=693540 CPUtime=6.27 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 13671 0 0 0 599 28 0 0 20 0 1 0 185088793 903340032 173385 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 220542 173385 922 2726 0 217290 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 882168 KiB
Current children cumulated memory: 693540 KiB

[startup+12.7003 s]
/proc/loadavg: 4.02 2.74 2.02 5/245 974954
/proc/meminfo: memFree=117699292/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=1426364 memory=1100492 CPUtime=12.66 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 18855 0 0 0 1215 51 0 0 20 0 1 0 185088793 1460596736 275123 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 356591 275123 922 2726 0 353339 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1426364 KiB
Current children cumulated memory: 1100492 KiB

[startup+25.5004 s]
/proc/loadavg: 4.08 2.82 2.06 5/245 974955
/proc/meminfo: memFree=114483696/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=4552184 memory=4265232 CPUtime=25.42 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 51515 0 0 0 2363 179 0 0 20 0 1 0 185088793 4661436416 1066308 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 1138046 1066308 1002 2726 0 1134794 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4552184 KiB
Current children cumulated memory: 4265232 KiB

[startup+51.1134 s]
/proc/loadavg: 4.11 2.93 2.12 5/245 974962
/proc/meminfo: memFree=114466804/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=4552184 memory=4265232 CPUtime=50.96 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 52434 0 0 0 4917 179 0 0 20 0 1 0 185088793 4661436416 1066308 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 1138046 1066308 1002 2726 0 1134794 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4552184 KiB
Current children cumulated memory: 4265232 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 3.11 2.22 5/243 974970
/proc/meminfo: memFree=114423412/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=4552184 memory=4265232 CPUtime=102.01 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 54437 0 0 0 10021 180 0 0 20 0 1 0 185088793 4661436416 1066308 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 1138046 1066308 1002 2726 0 1134794 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 4552184 KiB
Current children cumulated memory: 4265232 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 3.31 2.35 5/243 974981
/proc/meminfo: memFree=108479468/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=10776144 memory=10401500 CPUtime=161.88 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1691314 0 0 0 15753 435 0 0 20 0 1 0 185088793 11034771456 2600375 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2694036 2600375 1066 2726 0 2690784 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 10776144 KiB
Current children cumulated memory: 10401500 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.43 2.45 5/243 974991
/proc/meminfo: memFree=107614484/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11235628 memory=10797312 CPUtime=221.71 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1721876 0 0 0 21650 521 0 0 20 0 1 0 185088793 11505283072 2699328 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2808907 2699328 1146 2726 0 2805655 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 11235628 KiB
Current children cumulated memory: 10797312 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 3.59 2.57 5/241 975002
/proc/meminfo: memFree=107870164/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11230032 memory=10799228 CPUtime=281.54 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1732005 0 0 0 27583 571 0 0 20 0 1 0 185088793 11499552768 2699807 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2807508 2699807 1146 2726 0 2804256 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 11230032 KiB
Current children cumulated memory: 10799228 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.68 2.67 5/241 975012
/proc/meminfo: memFree=107926836/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11226644 memory=10796000 CPUtime=341.38 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1742657 0 0 0 33503 635 0 0 20 0 1 0 185088793 11496083456 2699000 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2806661 2699000 1146 2726 0 2803409 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 11226644 KiB
Current children cumulated memory: 10796000 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.77 2.76 5/243 975027
/proc/meminfo: memFree=107887248/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11224452 memory=10793884 CPUtime=401.21 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1748716 0 0 0 39448 673 0 0 20 0 1 0 185088793 11493838848 2698471 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2806113 2698471 1146 2726 0 2802861 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 11224452 KiB
Current children cumulated memory: 10793884 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.83 2.85 5/243 975038
/proc/meminfo: memFree=107881316/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11222508 memory=10794056 CPUtime=461.01 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1756280 0 0 0 45384 717 0 0 20 0 1 0 185088793 11491848192 2698514 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2805627 2698514 1146 2726 0 2802375 0

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

/proc/974951/statm: 2803927 2698865 1146 2726 0 2800675 0
Current children cumulated CPU time: 2853.14 s
Current children cumulated vsize: 11215708 KiB
Current children cumulated memory: 10795460 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/241 976278
/proc/meminfo: memFree=109368864/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11302232 memory=10881972 CPUtime=2912.95 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1898908 0 0 0 289773 1522 0 0 20 0 1 0 185088793 11573485568 2720493 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2825558 2720493 1146 2726 0 2822306 0
Current children cumulated CPU time: 2912.95 s
Current children cumulated vsize: 11302232 KiB
Current children cumulated memory: 10881972 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/245 976294
/proc/meminfo: memFree=109322408/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11217760 memory=10797512 CPUtime=2972.78 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1903147 0 0 0 295738 1540 0 0 20 0 1 0 185088793 11486986240 2699378 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2804440 2699378 1146 2726 0 2801188 0
Current children cumulated CPU time: 2972.78 s
Current children cumulated vsize: 11217760 KiB
Current children cumulated memory: 10797512 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.08 5/245 976305
/proc/meminfo: memFree=109352572/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11215620 memory=10795372 CPUtime=3032.59 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1908193 0 0 0 301700 1559 0 0 20 0 1 0 185088793 11484794880 2698843 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2803905 2698843 1146 2726 0 2800653 0
Current children cumulated CPU time: 3032.59 s
Current children cumulated vsize: 11215620 KiB
Current children cumulated memory: 10795372 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 976315
/proc/meminfo: memFree=109383708/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11213448 memory=10793200 CPUtime=3092.41 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1911857 0 0 0 307673 1568 0 0 20 0 1 0 185088793 11482570752 2698300 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2803362 2698300 1146 2726 0 2800110 0
Current children cumulated CPU time: 3092.41 s
Current children cumulated vsize: 11213448 KiB
Current children cumulated memory: 10793200 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/245 976326
/proc/meminfo: memFree=109431244/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11213192 memory=10792944 CPUtime=3152.21 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1918047 0 0 0 313636 1585 0 0 20 0 1 0 185088793 11482308608 2698236 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2803298 2698236 1146 2726 0 2800046 0
Current children cumulated CPU time: 3152.21 s
Current children cumulated vsize: 11213192 KiB
Current children cumulated memory: 10792944 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/245 976336
/proc/meminfo: memFree=109427892/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11213808 memory=10793560 CPUtime=3212.04 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1922236 0 0 0 319607 1597 0 0 20 0 1 0 185088793 11482939392 2698390 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2803452 2698390 1146 2726 0 2800200 0
Current children cumulated CPU time: 3212.04 s
Current children cumulated vsize: 11213808 KiB
Current children cumulated memory: 10793560 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/243 976730
/proc/meminfo: memFree=109416184/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11215472 memory=10795224 CPUtime=3271.84 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1926582 0 0 0 325572 1612 0 0 20 0 1 0 185088793 11484643328 2698806 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2803868 2698806 1146 2726 0 2800616 0
Current children cumulated CPU time: 3271.84 s
Current children cumulated vsize: 11215472 KiB
Current children cumulated memory: 10795224 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.13 4.10 5/243 976740
/proc/meminfo: memFree=109386676/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11221932 memory=10801684 CPUtime=3331.65 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1933232 0 0 0 331541 1624 0 0 20 0 1 0 185088793 11491258368 2700421 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2805483 2700421 1146 2726 0 2802231 0
Current children cumulated CPU time: 3331.65 s
Current children cumulated vsize: 11221932 KiB
Current children cumulated memory: 10801684 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/243 976750
/proc/meminfo: memFree=109385548/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11220256 memory=10800008 CPUtime=3391.47 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1937252 0 0 0 337507 1640 0 0 20 0 1 0 185088793 11489542144 2700002 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2805064 2700002 1146 2726 0 2801812 0
Current children cumulated CPU time: 3391.47 s
Current children cumulated vsize: 11220256 KiB
Current children cumulated memory: 10800008 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/245 976931
/proc/meminfo: memFree=109388420/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11226620 memory=10806372 CPUtime=3451.28 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1944996 0 0 0 343469 1659 0 0 20 0 1 0 185088793 11496058880 2701593 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2806655 2701593 1146 2726 0 2803403 0
Current children cumulated CPU time: 3451.28 s
Current children cumulated vsize: 11226620 KiB
Current children cumulated memory: 10806372 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/245 976943
/proc/meminfo: memFree=109358680/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11236040 memory=10815792 CPUtime=3511.08 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1949015 0 0 0 349433 1675 0 0 20 0 1 0 185088793 11505704960 2703948 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2809010 2703948 1146 2726 0 2805758 0
Current children cumulated CPU time: 3511.08 s
Current children cumulated vsize: 11236040 KiB
Current children cumulated memory: 10815792 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/243 976964
/proc/meminfo: memFree=109366592/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11236932 memory=10816684 CPUtime=3570.9 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1954770 0 0 0 355401 1689 0 0 20 0 1 0 185088793 11506618368 2704171 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2809233 2704171 1146 2726 0 2805981 0
Current children cumulated CPU time: 3570.9 s
Current children cumulated vsize: 11236932 KiB
Current children cumulated memory: 10816684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.12 4.12 4.09 6/243 977014
/proc/meminfo: memFree=111526404/131655788 swapFree=131071996/131071996
[pid=974951] ppid=974948 vsize=11236932 memory=10818732 CPUtime=3600 cores=1,3
/proc/974951/stat : 974951 (CASHWMaxSAT-Dis) R 974948 974951 974429 0 -1 4194304 1956049 0 0 0 358310 1690 0 0 20 0 1 0 185088793 11506618368 2704683 134679101440 4194304 15356333 140720932735120 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 47570944 140720932742114 140720932742230 140720932742230 140720932749246 0
/proc/974951/statm: 2809233 2704683 1146 2726 0 2805981 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 11236932 KiB
Current children cumulated memory: 10818732 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.11 s, system=17.0758 s

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

[startup+3611.6 s]*
/proc/loadavg: 4.12 4.12 4.09 5/243 977014
/proc/meminfo: memFree=116592720/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3611.67
CPU time (s): 3600.19
CPU user time (s): 3583.11
CPU system time (s): 17.0758
CPU usage (%): 99.6821
Max. virtual memory (cumulated for all children) (KiB): 11608368
Max. memory (cumulated for all children) (KiB): 11194516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.11
system time used= 17.0758
maximum resident set size= 11194516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1956049
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= 355
involuntary context switches= 1685


# summary of solver processes directly reported to runsolver:
#   pid: 974951
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3583.11
#   total CPU system time (s): 17.0758

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4075 second user time and 35.365 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-18 21:01:53
IDJOB=4446298
IDBENCH=155554
IDSOLVER=3074
FILE ID=nodeC006/4446298-1721329298
RUNJOBID= nodeC006-1721329092-974479
SLURM_JOB_ID= 7542692
Free space on /tmp= 723324 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-172.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446298-1721329298/watcher-4446298-1721329298 -o /tmp/evaluation-result-4446298-1721329298/solver-4446298-1721329298 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721329092-974479 --watchdog 3760  CASHWMaxSAT-DisjCad-SP HOME/instance-4446298-1721329298.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 46f4146f739f9ce6c71981ef5aa732b8
RANDOM SEED=1975045880

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        118765188 kB
MemAvailable:   125401032 kB
Buffers:          504884 kB
Cached:          6888376 kB
SwapCached:            0 kB
Active:          1092796 kB
Inactive:       11058740 kB
Active(anon):       1460 kB
Inactive(anon):  4794548 kB
Active(file):    1091336 kB
Inactive(file):  6264192 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            394636 kB
Writeback:             0 kB
AnonPages:       4758328 kB
Mapped:           119320 kB
Shmem:             37704 kB
KReclaimable:     240696 kB
Slab:             359632 kB
SReclaimable:     240696 kB
SUnreclaim:       118936 kB
KernelStack:        3920 kB
PageTables:        18540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    5402644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58752 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1880064 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:      310088 kB
DirectMap2M:    40488960 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723408 MiB
End job on nodeC006 at 2024-07-18 22:02:05