Trace number 4446028

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.04 3609.91

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-133.opb
MD5SUMbf76f01107fc6e0f0d7316d8818a221b
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 variables48253
Total number of constraints1119563
Number of constraints which are clauses1005877
Number of constraints which are cardinality constraints (but not clauses)3541
Number of constraints which are nor clauses,nor cardinality constraints110145
Minimum length of a constraint1
Maximum length of a constraint690
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 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.02/3609.90	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: 63931 MiB (61175 MiB free)
  memory of node 1: 64510 MiB (60969 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=984901, runsolver pid=984898

[startup+0.101052 s]*
/proc/loadavg: 4.07 4.09 4.10 5/256 984902
/proc/meminfo: memFree=125012736/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=83764 memory=67272 CPUtime=0.09 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 4767 0 0 0 8 1 0 0 20 0 1 0 183767358 85774336 16818 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 20941 16818 922 2726 0 17689 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83764 KiB
Current children cumulated memory: 67272 KiB

[startup+0.205678 s]*
/proc/loadavg: 4.07 4.09 4.10 5/256 984902
/proc/meminfo: memFree=125003596/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=92224 memory=75644 CPUtime=0.2 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 5367 0 0 0 18 2 0 0 20 0 1 0 183767358 94437376 18911 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 23056 18911 922 2726 0 19804 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92224 KiB
Current children cumulated memory: 75644 KiB

[startup+0.305589 s]*
/proc/loadavg: 4.07 4.09 4.10 5/256 984902
/proc/meminfo: memFree=124997060/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=108872 memory=82140 CPUtime=0.29 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 5962 0 0 0 27 2 0 0 20 0 1 0 183767358 111484928 20535 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 27218 20535 922 2726 0 23966 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 108872 KiB
Current children cumulated memory: 82140 KiB

[startup+0.700245 s]
/proc/loadavg: 4.07 4.09 4.10 5/256 984902
/proc/meminfo: memFree=124981900/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=143008 memory=109948 CPUtime=0.68 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 6794 0 0 0 64 4 0 0 20 0 1 0 183767358 146440192 27487 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 35752 27487 922 2726 0 32500 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 143008 KiB
Current children cumulated memory: 109948 KiB

[startup+1.50024 s]
/proc/loadavg: 4.07 4.09 4.10 5/256 984902
/proc/meminfo: memFree=124947664/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=210720 memory=165328 CPUtime=1.49 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 7905 0 0 0 142 7 0 0 20 0 1 0 183767358 215777280 41332 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 52680 41332 922 2726 0 49428 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 210720 KiB
Current children cumulated memory: 165328 KiB

[startup+3.10581 s]
/proc/loadavg: 4.07 4.09 4.10 5/256 984903
/proc/meminfo: memFree=124368788/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=852820 memory=709144 CPUtime=3.08 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 28652 0 0 0 276 32 0 0 20 0 1 0 183767358 873287680 177286 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 213205 177286 970 2726 0 209953 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 852820 KiB
Current children cumulated memory: 709144 KiB

[startup+6.30023 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 984903
/proc/meminfo: memFree=124421912/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=851656 memory=710428 CPUtime=6.27 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 68842 0 0 0 585 42 0 0 20 0 1 0 183767358 872095744 177607 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 212914 177607 1034 2726 0 209662 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 851656 KiB
Current children cumulated memory: 710428 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.10 5/256 984905
/proc/meminfo: memFree=123384316/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=1909980 memory=1753348 CPUtime=12.66 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 306605 0 0 0 1186 80 0 0 20 0 1 0 183767358 1955819520 438337 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 477495 438337 1066 2726 0 474243 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1909980 KiB
Current children cumulated memory: 1753348 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.10 4.10 5/256 984906
/proc/meminfo: memFree=123158624/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2077600 memory=1910156 CPUtime=25.42 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 317866 0 0 0 2448 94 0 0 20 0 1 0 183767358 2127462400 477539 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 519400 477539 1146 2726 0 516148 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2077600 KiB
Current children cumulated memory: 1910156 KiB

[startup+51.1057 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 984910
/proc/meminfo: memFree=123155852/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2130888 memory=1970028 CPUtime=50.95 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 324110 0 0 0 4987 108 0 0 20 0 1 0 183767358 2182029312 492507 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 532722 492507 1146 2726 0 529470 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2130888 KiB
Current children cumulated memory: 1970028 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.10 5/256 984920
/proc/meminfo: memFree=123154984/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2076688 memory=1915956 CPUtime=101.99 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 330571 0 0 0 10072 127 0 0 20 0 1 0 183767358 2126528512 478989 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 519172 478989 1146 2726 0 515920 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2076688 KiB
Current children cumulated memory: 1915956 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 984930
/proc/meminfo: memFree=123131248/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2079236 memory=1918508 CPUtime=161.81 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 335351 0 0 0 16040 141 0 0 20 0 1 0 183767358 2129137664 479627 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 519809 479627 1146 2726 0 516557 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2079236 KiB
Current children cumulated memory: 1918508 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/256 984941
/proc/meminfo: memFree=123215392/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2078520 memory=1917792 CPUtime=221.63 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 340635 0 0 0 22008 155 0 0 20 0 1 0 183767358 2128404480 479448 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 519630 479448 1146 2726 0 516378 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 2078520 KiB
Current children cumulated memory: 1917792 KiB

[startup+282.3 s]
/proc/loadavg: 4.25 4.13 4.10 5/256 984952
/proc/meminfo: memFree=123165936/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2079292 memory=1918564 CPUtime=281.45 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 344475 0 0 0 27980 165 0 0 20 0 1 0 183767358 2129195008 479641 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 519823 479641 1146 2726 0 516571 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 2079292 KiB
Current children cumulated memory: 1918564 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/256 985347
/proc/meminfo: memFree=123148144/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2078668 memory=1917940 CPUtime=341.26 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 347879 0 0 0 33951 175 0 0 20 0 1 0 183767358 2128556032 479485 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 519667 479485 1146 2726 0 516415 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 2078668 KiB
Current children cumulated memory: 1917940 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/256 985357
/proc/meminfo: memFree=123158088/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2081112 memory=1920384 CPUtime=401.08 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 352119 0 0 0 39921 187 0 0 20 0 1 0 183767358 2131058688 480096 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 520278 480096 1146 2726 0 517026 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 2081112 KiB
Current children cumulated memory: 1920384 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 985368
/proc/meminfo: memFree=123110156/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2082428 memory=1921700 CPUtime=460.89 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 355898 0 0 0 45893 196 0 0 20 0 1 0 183767358 2132406272 480425 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 520607 480425 1146 2726 0 517355 0

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

Current children cumulated memory: 1933352 KiB

[startup+2922.3 s]
/proc/loadavg: 1.14 1.13 1.67 2/233 986694
/proc/meminfo: memFree=123806752/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2088036 memory=1931716 CPUtime=2914.05 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 461268 0 0 0 290973 432 0 0 20 0 1 0 183767358 2138148864 482929 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522009 482929 1146 2726 0 518757 0
Current children cumulated CPU time: 2914.05 s
Current children cumulated vsize: 2088036 KiB
Current children cumulated memory: 1931716 KiB

[startup+2982.3 s]
/proc/loadavg: 1.09 1.12 1.63 2/233 986704
/proc/meminfo: memFree=123802572/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2091928 memory=1935608 CPUtime=2973.91 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 463239 0 0 0 296955 436 0 0 20 0 1 0 183767358 2142134272 483902 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522982 483902 1146 2726 0 519730 0
Current children cumulated CPU time: 2973.91 s
Current children cumulated vsize: 2091928 KiB
Current children cumulated memory: 1935608 KiB

[startup+3042.3 s]
/proc/loadavg: 1.09 1.11 1.59 2/235 986719
/proc/meminfo: memFree=123804180/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2089984 memory=1933664 CPUtime=3033.77 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 465347 0 0 0 302937 440 0 0 20 0 1 0 183767358 2140143616 483416 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522496 483416 1146 2726 0 519244 0
Current children cumulated CPU time: 3033.77 s
Current children cumulated vsize: 2089984 KiB
Current children cumulated memory: 1933664 KiB

[startup+3102.3 s]
/proc/loadavg: 1.08 1.11 1.56 2/235 986729
/proc/meminfo: memFree=123803552/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2090148 memory=1933828 CPUtime=3093.62 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 467383 0 0 0 308918 444 0 0 20 0 1 0 183767358 2140311552 483457 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522537 483457 1146 2726 0 519285 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 2090148 KiB
Current children cumulated memory: 1933828 KiB

[startup+3162.3 s]
/proc/loadavg: 1.21 1.13 1.54 2/235 986739
/proc/meminfo: memFree=123804072/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2089452 memory=1933132 CPUtime=3153.47 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 468822 0 0 0 314901 446 0 0 20 0 1 0 183767358 2139598848 483283 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522363 483283 1146 2726 0 519111 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 2089452 KiB
Current children cumulated memory: 1933132 KiB

[startup+3222.3 s]
/proc/loadavg: 1.08 1.11 1.50 2/235 986750
/proc/meminfo: memFree=123804380/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2088824 memory=1932504 CPUtime=3213.34 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 470539 0 0 0 320884 450 0 0 20 0 1 0 183767358 2138955776 483126 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522206 483126 1146 2726 0 518954 0
Current children cumulated CPU time: 3213.34 s
Current children cumulated vsize: 2088824 KiB
Current children cumulated memory: 1932504 KiB

[startup+3282.3 s]
/proc/loadavg: 1.14 1.12 1.48 2/235 986761
/proc/meminfo: memFree=123802024/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2090900 memory=1934580 CPUtime=3273.19 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 472657 0 0 0 326865 454 0 0 20 0 1 0 183767358 2141081600 483645 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522725 483645 1146 2726 0 519473 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 2090900 KiB
Current children cumulated memory: 1934580 KiB

[startup+3342.3 s]
/proc/loadavg: 1.11 1.11 1.45 2/233 986771
/proc/meminfo: memFree=123802404/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2090304 memory=1933984 CPUtime=3333.05 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 474712 0 0 0 332847 458 0 0 20 0 1 0 183767358 2140471296 483496 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522576 483496 1146 2726 0 519324 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 2090304 KiB
Current children cumulated memory: 1933984 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.10 1.43 2/233 986781
/proc/meminfo: memFree=123802012/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2090340 memory=1934020 CPUtime=3392.9 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 477263 0 0 0 338829 461 0 0 20 0 1 0 183767358 2140508160 483505 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522585 483505 1146 2726 0 519333 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 2090340 KiB
Current children cumulated memory: 1934020 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.10 1.40 2/233 986793
/proc/meminfo: memFree=123802188/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2089676 memory=1933356 CPUtime=3452.77 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 478844 0 0 0 344812 465 0 0 20 0 1 0 183767358 2139828224 483339 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522419 483339 1146 2726 0 519167 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 2089676 KiB
Current children cumulated memory: 1933356 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.09 1.38 2/233 986803
/proc/meminfo: memFree=123801720/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2090140 memory=1933820 CPUtime=3512.63 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 480363 0 0 0 350795 468 0 0 20 0 1 0 183767358 2140303360 483455 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522535 483455 1146 2726 0 519283 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 2090140 KiB
Current children cumulated memory: 1933820 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.09 1.36 2/233 986813
/proc/meminfo: memFree=123801156/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2090416 memory=1934096 CPUtime=3572.49 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 482801 0 0 0 356777 472 0 0 20 0 1 0 183767358 2140585984 483524 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522604 483524 1146 2726 0 519352 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 2090416 KiB
Current children cumulated memory: 1934096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 1.10 1.09 1.35 2/235 986821
/proc/meminfo: memFree=123801356/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2089976 memory=1933656 CPUtime=3600.02 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 483462 0 0 0 359529 473 0 0 20 0 1 0 183767358 2140135424 483414 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522494 483414 1146 2726 0 519242 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2089976 KiB
Current children cumulated memory: 1933656 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.3 s, system=4.73942 s

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

[startup+3609.9 s]
/proc/loadavg: 1.10 1.09 1.35 2/235 986821
/proc/meminfo: memFree=123801356/131524600 swapFree=131071996/131071996
[pid=984901] ppid=984898 vsize=2089976 memory=1933656 CPUtime=3600.02 cores=5,7
/proc/984901/stat : 984901 (CASHWMaxSAT-Dis) R 984898 984901 975377 0 -1 4194304 483462 0 0 0 359529 473 0 0 20 0 1 0 183767358 2140135424 483414 134679101440 4194304 15356333 140729751044144 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 29380608 140729751049186 140729751049302 140729751049302 140729751056318 0
/proc/984901/statm: 522494 483414 1146 2726 0 519242 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2089976 KiB
Current children cumulated memory: 1933656 KiB

Child status: 0

Real time (s): 3609.91
CPU time (s): 3600.04
CPU user time (s): 3595.3
CPU system time (s): 4.73942
CPU usage (%): 99.7266
Max. virtual memory (cumulated for all children) (KiB): 2179016
Max. memory (cumulated for all children) (KiB): 2022460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.3
system time used= 4.73942
maximum resident set size= 2022460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 483462
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= 438
involuntary context switches= 3371


# summary of solver processes directly reported to runsolver:
#   pid: 984901
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3595.3
#   total CPU system time (s): 4.73942

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53157 second user time and 15.7858 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-18 17:20:13
IDJOB=4446028
IDBENCH=155423
IDSOLVER=3074
FILE ID=nodeC029/4446028-1721315999
RUNJOBID= nodeC029-1721306271-975390
SLURM_JOB_ID= 7542641
Free space on /tmp= 889972 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-133.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-4446028-1721315999/watcher-4446028-1721315999 -o /tmp/evaluation-result-4446028-1721315999/solver-4446028-1721315999 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721306271-975390 --watchdog 3760  CASHWMaxSAT-DisjCad-SP HOME/instance-4446028-1721315999.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= bf76f01107fc6e0f0d7316d8818a221b
RANDOM SEED=672676415

nodeC029.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		: 3671.894
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	: 7000.09
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		: 3686.316
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.98
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.115
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	: 7000.09
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.253
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.98
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		: 3671.891
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	: 7000.09
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		: 3687.956
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.98
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		: 3600.228
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	: 7000.09
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		: 3661.191
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.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125076848 kB
MemAvailable:   129056908 kB
Buffers:          485856 kB
Cached:          4285800 kB
SwapCached:            0 kB
Active:           947108 kB
Inactive:        4787700 kB
Active(anon):       1488 kB
Inactive(anon):   999376 kB
Active(file):     945620 kB
Inactive(file):  3788324 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             63788 kB
Writeback:            32 kB
AnonPages:        959384 kB
Mapped:           119900 kB
Shmem:             37720 kB
KReclaimable:     171524 kB
Slab:             292020 kB
SReclaimable:     171524 kB
SUnreclaim:       120496 kB
KernelStack:        4048 kB
PageTables:        11016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1393636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    913408 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:      281300 kB
DirectMap2M:    36192256 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC029 at 2024-07-18 18:20:23