Trace number 4451418

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.05 3610.2

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v110-n1.opb
MD5SUMc8af151b30782e1495a07a26686ba07d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.026191
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables219
Total number of constraints110
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)110
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.04/3610.20	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 (60958 MiB free)
  memory of node 1: 64510 MiB (61501 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451418-1721427843/watcher-4451418-1721427843 -o /tmp/evaluation-result-4451418-1721427843/solver-4451418-1721427843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721422922-1033855 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4451418-1721427843.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
solver pid=1036873, runsolver pid=1036870
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.13 4.11 4.09 5/257 1036874
/proc/meminfo: memFree=125396564/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=20636 memory=6720 CPUtime=0.1 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 864 0 0 0 10 0 0 0 20 0 1 0 194943431 21131264 1680 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 5159 1680 1146 2726 0 1907 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20636 KiB
Current children cumulated memory: 6720 KiB

[startup+0.206211 s]*
/proc/loadavg: 4.13 4.11 4.09 5/257 1036874
/proc/meminfo: memFree=125395724/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=20968 memory=7204 CPUtime=0.2 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 1211 0 0 0 20 0 0 0 20 0 1 0 194943431 21471232 1801 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 5242 1801 1146 2726 0 1990 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20968 KiB
Current children cumulated memory: 7204 KiB

[startup+0.305787 s]*
/proc/loadavg: 4.13 4.11 4.09 5/257 1036874
/proc/meminfo: memFree=125394912/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=21540 memory=7736 CPUtime=0.3 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 1568 0 0 0 30 0 0 0 20 0 1 0 194943431 22056960 1934 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 5385 1934 1146 2726 0 2133 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21540 KiB
Current children cumulated memory: 7736 KiB

[startup+0.700249 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1036874
/proc/meminfo: memFree=125394176/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=22196 memory=8456 CPUtime=0.69 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 2494 0 0 0 69 0 0 0 20 0 1 0 194943431 22728704 2114 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 5549 2114 1146 2726 0 2297 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22196 KiB
Current children cumulated memory: 8456 KiB

[startup+1.50025 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1036874
/proc/meminfo: memFree=125393788/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=23556 memory=9628 CPUtime=1.48 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 4187 0 0 0 148 0 0 0 20 0 1 0 194943431 24121344 2407 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 5889 2407 1146 2726 0 2637 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 23556 KiB
Current children cumulated memory: 9628 KiB

[startup+3.10601 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1036874
/proc/meminfo: memFree=125389996/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=26300 memory=12516 CPUtime=3.09 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 7391 0 0 0 308 1 0 0 20 0 1 0 194943431 26931200 3129 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 6575 3129 1146 2726 0 3323 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 26300 KiB
Current children cumulated memory: 12516 KiB

[startup+6.30018 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 1036874
/proc/meminfo: memFree=125384556/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=32036 memory=18184 CPUtime=6.27 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 11248 0 0 0 625 2 0 0 20 0 1 0 194943431 32804864 4546 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 8009 4546 1146 2726 0 4757 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 18184 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1036876
/proc/meminfo: memFree=125383560/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=33024 memory=18876 CPUtime=12.65 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 15243 0 0 0 1262 3 0 0 20 0 1 0 194943431 33816576 4719 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 8256 4719 1146 2726 0 5004 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 33024 KiB
Current children cumulated memory: 18876 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 1036877
/proc/meminfo: memFree=125382908/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=32016 memory=18360 CPUtime=25.42 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 22840 0 0 0 2537 5 0 0 20 0 1 0 194943431 32784384 4590 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 8004 4590 1146 2726 0 4752 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 32016 KiB
Current children cumulated memory: 18360 KiB

[startup+51.1062 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 1036882
/proc/meminfo: memFree=125360632/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=44940 memory=30628 CPUtime=50.96 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 28711 0 0 0 5089 7 0 0 20 0 1 0 194943431 46018560 7657 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 11235 7657 1146 2726 0 7983 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 44940 KiB
Current children cumulated memory: 30628 KiB

[startup+102.3 s]
/proc/loadavg: 4.46 4.20 4.12 5/257 1037319
/proc/meminfo: memFree=125506844/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=54424 memory=40648 CPUtime=102 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 40643 0 0 0 10189 11 0 0 20 0 1 0 194943431 55730176 10162 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 13606 10162 1146 2726 0 10354 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 54424 KiB
Current children cumulated memory: 40648 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/256 1037330
/proc/meminfo: memFree=125501268/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=49524 memory=35876 CPUtime=161.82 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 46308 0 0 0 16168 14 0 0 20 0 1 0 194943431 50712576 8969 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 12381 8969 1146 2726 0 9129 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 49524 KiB
Current children cumulated memory: 35876 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/256 1037341
/proc/meminfo: memFree=125452564/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=74596 memory=56368 CPUtime=221.62 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 55740 0 0 0 22145 17 0 0 20 0 1 0 194943431 76386304 14092 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 18649 14092 1146 2726 0 15397 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 74596 KiB
Current children cumulated memory: 56368 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/258 1037522
/proc/meminfo: memFree=125435456/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=72032 memory=58056 CPUtime=281.43 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 63056 0 0 0 28122 21 0 0 20 0 1 0 194943431 73760768 14514 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 18008 14514 1146 2726 0 14756 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 72032 KiB
Current children cumulated memory: 58056 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/258 1037533
/proc/meminfo: memFree=125422980/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=75424 memory=60792 CPUtime=341.23 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 67832 0 0 0 34099 24 0 0 20 0 1 0 194943431 77234176 15198 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 18856 15198 1146 2726 0 15604 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 75424 KiB
Current children cumulated memory: 60792 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 4.11 4.09 5/260 1037603
/proc/meminfo: memFree=125426888/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=81268 memory=66408 CPUtime=401.03 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 75675 0 0 0 40076 27 0 0 20 0 1 0 194943431 83218432 16602 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 20317 16602 1146 2726 0 17065 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 81268 KiB
Current children cumulated memory: 66408 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/260 1037613
/proc/meminfo: memFree=125443508/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=83032 memory=68644 CPUtime=460.84 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 79360 0 0 0 46055 29 0 0 20 0 1 0 194943431 85024768 17161 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 20758 17161 1146 2726 0 17506 0

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

Current children cumulated memory: 135880 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.18 4.13 5/258 1038720
/proc/meminfo: memFree=125381608/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=151272 memory=136028 CPUtime=2854.31 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 142704 0 0 0 285357 74 0 0 20 0 1 0 194943431 154902528 34007 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 37818 34007 1146 2726 0 34566 0
Current children cumulated CPU time: 2854.31 s
Current children cumulated vsize: 151272 KiB
Current children cumulated memory: 136028 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/257 1038731
/proc/meminfo: memFree=125336392/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=152196 memory=137344 CPUtime=2914.14 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 143734 0 0 0 291339 75 0 0 20 0 1 0 194943431 155848704 34336 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 38049 34336 1146 2726 0 34797 0
Current children cumulated CPU time: 2914.14 s
Current children cumulated vsize: 152196 KiB
Current children cumulated memory: 137344 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/258 1038743
/proc/meminfo: memFree=125336684/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=152276 memory=137424 CPUtime=2973.97 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 145056 0 0 0 297321 76 0 0 20 0 1 0 194943431 155930624 34356 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 38069 34356 1146 2726 0 34817 0
Current children cumulated CPU time: 2973.97 s
Current children cumulated vsize: 152276 KiB
Current children cumulated memory: 137424 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/258 1038756
/proc/meminfo: memFree=125324140/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=156992 memory=142120 CPUtime=3033.8 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 146558 0 0 0 303302 78 0 0 20 0 1 0 194943431 160759808 35530 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 39248 35530 1146 2726 0 35996 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 156992 KiB
Current children cumulated memory: 142120 KiB

[startup+3102.3 s]
/proc/loadavg: 4.22 4.16 4.13 5/256 1038766
/proc/meminfo: memFree=125334968/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=157024 memory=142152 CPUtime=3093.63 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 147454 0 0 0 309284 79 0 0 20 0 1 0 194943431 160792576 35538 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 39256 35538 1146 2726 0 36004 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 157024 KiB
Current children cumulated memory: 142152 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/256 1038777
/proc/meminfo: memFree=125293588/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=159880 memory=144284 CPUtime=3153.45 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 148942 0 0 0 315265 80 0 0 20 0 1 0 194943431 163717120 36071 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 39970 36071 1146 2726 0 36718 0
Current children cumulated CPU time: 3153.45 s
Current children cumulated vsize: 159880 KiB
Current children cumulated memory: 144284 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/256 1038789
/proc/meminfo: memFree=125292564/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=159928 memory=144332 CPUtime=3213.29 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 150020 0 0 0 321247 82 0 0 20 0 1 0 194943431 163766272 36083 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 39982 36083 1146 2726 0 36730 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 159928 KiB
Current children cumulated memory: 144332 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/255 1038799
/proc/meminfo: memFree=125287568/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=160000 memory=144492 CPUtime=3273.11 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 150126 0 0 0 327229 82 0 0 20 0 1 0 194943431 163840000 36123 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 40000 36123 1146 2726 0 36748 0
Current children cumulated CPU time: 3273.11 s
Current children cumulated vsize: 160000 KiB
Current children cumulated memory: 144492 KiB

[startup+3342.3 s]
/proc/loadavg: 4.48 4.21 4.14 5/255 1038809
/proc/meminfo: memFree=125283056/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=160304 memory=145624 CPUtime=3332.94 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 151374 0 0 0 333211 83 0 0 20 0 1 0 194943431 164151296 36406 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 40076 36406 1146 2726 0 36824 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 160304 KiB
Current children cumulated memory: 145624 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.18 4.13 5/257 1038824
/proc/meminfo: memFree=125296964/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=146216 memory=132440 CPUtime=3392.77 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 151896 0 0 0 339193 84 0 0 20 0 1 0 194943431 149725184 33110 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 36554 33110 1146 2726 0 33302 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 146216 KiB
Current children cumulated memory: 132440 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/258 1038836
/proc/meminfo: memFree=125280268/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=151116 memory=126664 CPUtime=3452.59 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 158245 0 0 0 345172 87 0 0 20 0 1 0 194943431 154742784 31666 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 37779 31666 1146 2726 0 34527 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 151116 KiB
Current children cumulated memory: 126664 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/258 1038846
/proc/meminfo: memFree=125270948/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=147912 memory=133960 CPUtime=3512.41 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 162404 0 0 0 351153 88 0 0 20 0 1 0 194943431 151461888 33490 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 36978 33490 1146 2726 0 33726 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 147912 KiB
Current children cumulated memory: 133960 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.18 4.13 5/258 1038857
/proc/meminfo: memFree=125240636/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=176300 memory=161200 CPUtime=3572.22 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 164670 0 0 0 357133 89 0 0 20 0 1 0 194943431 180531200 40300 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 44075 40300 1146 2726 0 40823 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 176300 KiB
Current children cumulated memory: 161200 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.28 4.20 4.14 5/258 1038865
/proc/meminfo: memFree=125274032/131524600 swapFree=130799640/131071996
[pid=1036873] ppid=1036870 vsize=142540 memory=126872 CPUtime=3600.04 cores=5,7
/proc/1036873/stat : 1036873 (CASHWMaxSAT-Dis) R 1036870 1036873 1033842 0 -1 4194304 165415 0 0 0 359914 90 0 0 20 0 1 0 194943431 145960960 31718 134679101440 4194304 15356333 140736260857216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34852864 140736260862945 140736260863061 140736260863061 140736260870078 0
/proc/1036873/statm: 35635 31718 1146 2726 0 32383 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 142540 KiB
Current children cumulated memory: 126872 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.14 s, system=0.903007 s

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

Child status: 0

Real time (s): 3610.2
CPU time (s): 3600.05
CPU user time (s): 3599.14
CPU system time (s): 0.903007
CPU usage (%): 99.7187
Max. virtual memory (cumulated for all children) (KiB): 201532
Max. memory (cumulated for all children) (KiB): 186372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.14
system time used= 0.903007
maximum resident set size= 186372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165415
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= 35
involuntary context switches= 1903


# summary of solver processes directly reported to runsolver:
#   pid: 1036873
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.14
#   total CPU system time (s): 0.903007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.72482 second user time and 16.4379 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-20 00:24:15
IDJOB=4451418
IDBENCH=162397
IDSOLVER=3074
FILE ID=nodeC014/4451418-1721427843
RUNJOBID= nodeC014-1721422922-1033855
SLURM_JOB_ID= 7545604
Free space on /tmp= 889996 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v110-n1.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-4451418-1721427843/watcher-4451418-1721427843 -o /tmp/evaluation-result-4451418-1721427843/solver-4451418-1721427843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721422922-1033855 --watchdog 3760  CASHWMaxSAT-DisjCad-SP HOME/instance-4451418-1721427843.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= c8af151b30782e1495a07a26686ba07d
RANDOM SEED=688333218

nodeC014.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		: 3665.376
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.32
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		: 3667.171
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.96
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		: 3599.860
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.32
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.018
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.96
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		: 3665.359
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.32
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		: 3659.326
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.96
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.186
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.32
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		: 3668.066
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125399400 kB
MemAvailable:   129504880 kB
Buffers:          495584 kB
Cached:          4405520 kB
SwapCached:        12872 kB
Active:          1511812 kB
Inactive:        3988532 kB
Active(anon):       9188 kB
Inactive(anon):   619600 kB
Active(file):    1502624 kB
Inactive(file):  3368932 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130799640 kB
Dirty:             14652 kB
Writeback:             0 kB
AnonPages:        588620 kB
Mapped:            64884 kB
Shmem:             29548 kB
KReclaimable:     147144 kB
Slab:             249792 kB
SReclaimable:     147144 kB
SUnreclaim:       102648 kB
KernelStack:        4172 kB
PageTables:        10968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1335812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    491520 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:      303828 kB
DirectMap2M:    38266880 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 889980 MiB
End job on nodeC014 at 2024-07-20 01:24:26