Trace number 4445926

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
Exact 2024-07-05? (TO) 3600.05 3612.01

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
MD5SUM9baf2ba48863e92d1cef7cf6d2cd6be7
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 variables1200
Total number of constraints1015
Number of constraints which are clauses835
Number of constraints which are cardinality constraints (but not clauses)180
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20
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 21
Number of bits of the biggest sum of numbers5
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/3612.00	c Program interrupted by user.
3600.04/3612.00	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 (62194 MiB free)
  memory of node 1: 64510 MiB (63181 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445926-1721321521/watcher-4445926-1721321521 -o /tmp/evaluation-result-4445926-1721321521/solver-4445926-1721321521 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721317679-964527 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1857902350 HOME/instance-4445926-1721321521.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=968916, runsolver pid=968913

[startup+0.100736 s]*
/proc/loadavg: 4.09 4.12 4.09 5/257 968917
/proc/meminfo: memFree=128378880/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=31692 memory=10452 CPUtime=0.1 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 1687 0 0 0 10 0 0 0 20 0 1 0 184312329 32452608 2613 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 7923 2613 1140 1005 0 6686 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31692 KiB
Current children cumulated memory: 10452 KiB

[startup+0.205686 s]*
/proc/loadavg: 4.09 4.12 4.09 6/257 968917
/proc/meminfo: memFree=128376104/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=32136 memory=13288 CPUtime=0.2 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 1832 0 0 0 20 0 0 0 20 0 1 0 184312329 32907264 3322 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 8034 3322 1140 1005 0 6797 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32136 KiB
Current children cumulated memory: 13288 KiB

[startup+0.305402 s]*
/proc/loadavg: 4.16 4.13 4.09 5/257 968917
/proc/meminfo: memFree=128375628/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=32312 memory=13288 CPUtime=0.3 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 1895 0 0 0 30 0 0 0 20 0 1 0 184312329 33087488 3322 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 8078 3322 1140 1005 0 6841 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32312 KiB
Current children cumulated memory: 13288 KiB

[startup+0.700179 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 968917
/proc/meminfo: memFree=128375108/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=32984 memory=14108 CPUtime=0.69 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 2133 0 0 0 68 1 0 0 20 0 1 0 184312329 33775616 3527 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 8246 3527 1140 1005 0 7009 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32984 KiB
Current children cumulated memory: 14108 KiB

[startup+1.50016 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 968963
/proc/meminfo: memFree=128402696/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=33288 memory=14408 CPUtime=1.48 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 2419 0 0 0 147 1 0 0 20 0 1 0 184312329 34086912 3602 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 8322 3602 1140 1005 0 7085 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33288 KiB
Current children cumulated memory: 14408 KiB

[startup+3.10476 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 968963
/proc/meminfo: memFree=128391256/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=33580 memory=14708 CPUtime=3.08 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 2800 0 0 0 306 2 0 0 20 0 1 0 184312329 34385920 3677 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 8395 3677 1140 1005 0 7158 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 33580 KiB
Current children cumulated memory: 14708 KiB

[startup+6.30015 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 968963
/proc/meminfo: memFree=128383712/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=33780 memory=14912 CPUtime=6.27 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 3461 0 0 0 621 6 0 0 20 0 1 0 184312329 34590720 3728 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 8445 3728 1140 1005 0 7208 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 33780 KiB
Current children cumulated memory: 14912 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 969011
/proc/meminfo: memFree=128402500/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=34148 memory=17376 CPUtime=12.65 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 4484 0 0 0 1255 10 0 0 20 0 1 0 184312329 34967552 4344 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 8537 4344 1140 1005 0 7300 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 34148 KiB
Current children cumulated memory: 17376 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 969058
/proc/meminfo: memFree=127222672/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=35172 memory=18388 CPUtime=25.41 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 6351 0 0 0 2521 20 0 0 20 0 1 0 184312329 36016128 4597 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 8793 4597 1140 1005 0 7556 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 35172 KiB
Current children cumulated memory: 18388 KiB

[startup+51.1055 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 969063
/proc/meminfo: memFree=127153672/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=35928 memory=19148 CPUtime=50.93 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 9184 0 0 0 5053 40 0 0 20 0 1 0 184312329 36790272 4787 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 8982 4787 1140 1005 0 7745 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 35928 KiB
Current children cumulated memory: 19148 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 969071
/proc/meminfo: memFree=127142976/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=36456 memory=19684 CPUtime=101.93 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 14377 0 0 0 10113 80 0 0 20 0 1 0 184312329 37330944 4921 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 9114 4921 1140 1005 0 7877 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 36456 KiB
Current children cumulated memory: 19684 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 969083
/proc/meminfo: memFree=127136176/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=37420 memory=20732 CPUtime=161.7 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 19758 0 0 0 16042 128 0 0 20 0 1 0 184312329 38318080 5183 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 9355 5183 1140 1005 0 8118 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 37420 KiB
Current children cumulated memory: 20732 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 969477
/proc/meminfo: memFree=127127308/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=37804 memory=21112 CPUtime=221.5 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 25356 0 0 0 21975 175 0 0 20 0 1 0 184312329 38711296 5278 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 9451 5278 1140 1005 0 8214 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 37804 KiB
Current children cumulated memory: 21112 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 969487
/proc/meminfo: memFree=127109436/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=39060 memory=22368 CPUtime=281.3 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 30291 0 0 0 27912 218 0 0 20 0 1 0 184312329 39997440 5592 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 9765 5592 1140 1005 0 8528 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 22368 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 969498
/proc/meminfo: memFree=127093908/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=39396 memory=22704 CPUtime=341.1 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 35138 0 0 0 33842 268 0 0 20 0 1 0 184312329 40341504 5676 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 9849 5676 1140 1005 0 8612 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 39396 KiB
Current children cumulated memory: 22704 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 969678
/proc/meminfo: memFree=127041476/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=39768 memory=23072 CPUtime=400.9 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 40337 0 0 0 39774 316 0 0 20 0 1 0 184312329 40722432 5768 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 9942 5768 1140 1005 0 8705 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 39768 KiB
Current children cumulated memory: 23072 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 969688
/proc/meminfo: memFree=127033288/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=40088 memory=25440 CPUtime=460.7 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 44981 0 0 0 45704 366 0 0 20 0 1 0 184312329 41050112 6360 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 10022 6360 1140 1005 0 8785 0

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

Current children cumulated memory: 32692 KiB

[startup+2862.3 s]
/proc/loadavg: 4.30 4.22 4.13 5/254 970793
/proc/meminfo: memFree=127060032/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=47492 memory=32852 CPUtime=2852.77 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 207487 0 0 0 283011 2266 0 0 20 0 1 0 184312329 48631808 8213 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 11873 8213 1140 1005 0 10636 0
Current children cumulated CPU time: 2852.77 s
Current children cumulated vsize: 47492 KiB
Current children cumulated memory: 32852 KiB

[startup+2922.3 s]
/proc/loadavg: 4.23 4.21 4.13 5/256 970809
/proc/meminfo: memFree=127058508/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=47620 memory=32980 CPUtime=2912.58 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 210857 0 0 0 288945 2313 0 0 20 0 1 0 184312329 48762880 8245 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 11905 8245 1140 1005 0 10668 0
Current children cumulated CPU time: 2912.58 s
Current children cumulated vsize: 47620 KiB
Current children cumulated memory: 32980 KiB

[startup+2982.3 s]
/proc/loadavg: 4.27 4.22 4.14 5/256 970820
/proc/meminfo: memFree=127045344/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=47876 memory=33236 CPUtime=2972.37 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 214354 0 0 0 294882 2355 0 0 20 0 1 0 184312329 49025024 8309 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 11969 8309 1140 1005 0 10732 0
Current children cumulated CPU time: 2972.37 s
Current children cumulated vsize: 47876 KiB
Current children cumulated memory: 33236 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.19 4.13 5/256 970830
/proc/meminfo: memFree=127054560/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=47940 memory=33300 CPUtime=3032.18 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 217518 0 0 0 300817 2401 0 0 20 0 1 0 184312329 49090560 8325 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 11985 8325 1140 1005 0 10748 0
Current children cumulated CPU time: 3032.18 s
Current children cumulated vsize: 47940 KiB
Current children cumulated memory: 33300 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/256 970840
/proc/meminfo: memFree=127053388/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=48068 memory=33428 CPUtime=3091.99 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 220983 0 0 0 306751 2448 0 0 20 0 1 0 184312329 49221632 8357 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 12017 8357 1140 1005 0 10780 0
Current children cumulated CPU time: 3091.99 s
Current children cumulated vsize: 48068 KiB
Current children cumulated memory: 33428 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.20 4.14 6/257 970853
/proc/meminfo: memFree=127051796/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=48292 memory=33652 CPUtime=3151.8 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 224075 0 0 0 312686 2494 0 0 20 0 1 0 184312329 49451008 8413 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 12073 8413 1140 1005 0 10836 0
Current children cumulated CPU time: 3151.8 s
Current children cumulated vsize: 48292 KiB
Current children cumulated memory: 33652 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/255 970863
/proc/meminfo: memFree=127050572/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=48520 memory=33876 CPUtime=3211.6 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 227279 0 0 0 318618 2542 0 0 20 0 1 0 184312329 49684480 8469 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 12130 8469 1140 1005 0 10893 0
Current children cumulated CPU time: 3211.6 s
Current children cumulated vsize: 48520 KiB
Current children cumulated memory: 33876 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.17 4.13 5/255 970873
/proc/meminfo: memFree=127050048/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=48616 memory=33972 CPUtime=3271.4 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 230356 0 0 0 324550 2590 0 0 20 0 1 0 184312329 49782784 8493 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 12154 8493 1140 1005 0 10917 0
Current children cumulated CPU time: 3271.4 s
Current children cumulated vsize: 48616 KiB
Current children cumulated memory: 33972 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/255 970884
/proc/meminfo: memFree=127014244/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=48840 memory=34196 CPUtime=3331.2 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 233750 0 0 0 330483 2637 0 0 20 0 1 0 184312329 50012160 8549 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 12210 8549 1140 1005 0 10973 0
Current children cumulated CPU time: 3331.2 s
Current children cumulated vsize: 48840 KiB
Current children cumulated memory: 34196 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/255 970894
/proc/meminfo: memFree=127048144/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=48872 memory=34228 CPUtime=3391.01 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 237666 0 0 0 336418 2683 0 0 20 0 1 0 184312329 50044928 8557 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 12218 8557 1140 1005 0 10981 0
Current children cumulated CPU time: 3391.01 s
Current children cumulated vsize: 48872 KiB
Current children cumulated memory: 34228 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.13 5/254 970950
/proc/meminfo: memFree=126068768/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=48936 memory=34292 CPUtime=3450.82 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 241590 0 0 0 342353 2729 0 0 20 0 1 0 184312329 50110464 8573 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 12234 8573 1140 1005 0 10997 0
Current children cumulated CPU time: 3450.82 s
Current children cumulated vsize: 48936 KiB
Current children cumulated memory: 34292 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.13 5/257 970967
/proc/meminfo: memFree=126026668/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=49000 memory=34356 CPUtime=3510.63 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 245324 0 0 0 348290 2773 0 0 20 0 1 0 184312329 50176000 8589 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 12250 8589 1140 1005 0 11013 0
Current children cumulated CPU time: 3510.63 s
Current children cumulated vsize: 49000 KiB
Current children cumulated memory: 34356 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/257 970978
/proc/meminfo: memFree=126017628/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=49000 memory=34356 CPUtime=3570.43 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 249136 0 0 0 354220 2823 0 0 20 0 1 0 184312329 50176000 8589 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 12250 8589 1140 1005 0 11013 0
Current children cumulated CPU time: 3570.43 s
Current children cumulated vsize: 49000 KiB
Current children cumulated memory: 34356 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 4.18 4.16 4.13 5/257 970982
/proc/meminfo: memFree=126016100/131524600 swapFree=131071996/131071996
[pid=968916] ppid=968913 vsize=49000 memory=34356 CPUtime=3600.04 cores=0,2
/proc/968916/stat : 968916 (Exact) R 968913 968916 964517 0 -1 4194304 251037 0 0 0 357155 2849 0 0 20 0 1 0 184312329 50176000 8589 134679101440 4194304 8309489 140722321765328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 35348480 140722321769405 140722321769575 140722321769575 140722321776591 0
/proc/968916/statm: 12250 8589 1140 1005 0 11013 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 49000 KiB
Current children cumulated memory: 34356 KiB

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

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

# cumulated CPU time of all completed processes:  user=3571.55 s, system=28.4941 s

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

Child status: 0

Real time (s): 3612.01
CPU time (s): 3600.05
CPU user time (s): 3571.55
CPU system time (s): 28.4941
CPU usage (%): 99.6689
Max. virtual memory (cumulated for all children) (KiB): 49368
Max. memory (cumulated for all children) (KiB): 34616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.55
system time used= 28.4941
maximum resident set size= 34616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251042
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= 12
involuntary context switches= 24686


# summary of solver processes directly reported to runsolver:
#   pid: 968916
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3571.55
#   total CPU system time (s): 28.4941

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67408 second user time and 16.0861 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-18 18:52:13
IDJOB=4445926
IDBENCH=155406
IDSOLVER=3060
FILE ID=nodeC015/4445926-1721321521
RUNJOBID= nodeC015-1721317679-964527
SLURM_JOB_ID= 7542667
Free space on /tmp= 890060 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-820157.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445926-1721321521/watcher-4445926-1721321521 -o /tmp/evaluation-result-4445926-1721321521/solver-4445926-1721321521 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721317679-964527 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1857902350 HOME/instance-4445926-1721321521.opb

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

MD5SUM BENCH= 9baf2ba48863e92d1cef7cf6d2cd6be7
RANDOM SEED=1857902350

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128385560 kB
MemAvailable:   129403144 kB
Buffers:          491768 kB
Cached:          1353192 kB
SwapCached:            0 kB
Active:          1599860 kB
Inactive:         907044 kB
Active(anon):       1564 kB
Inactive(anon):   698092 kB
Active(file):    1598296 kB
Inactive(file):   208952 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6424 kB
Writeback:             0 kB
AnonPages:        659944 kB
Mapped:           119940 kB
Shmem:             37720 kB
KReclaimable:      99968 kB
Slab:             212476 kB
SReclaimable:      99968 kB
SUnreclaim:       112508 kB
KernelStack:        4144 kB
PageTables:         9980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     982140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    501760 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:      291540 kB
DirectMap2M:    38279168 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC015 at 2024-07-18 19:52:25