Trace number 4450176

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.09 3609.85

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb
MD5SUM60aa0ac85dc632e57e54cb255f142331
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 variables4830
Total number of constraints15140
Number of constraints which are clauses15140
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
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.03/3609.84	c Program interrupted by user.
3600.03/3609.84	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60391 MiB free)
  memory of node 1: 64473 MiB (60461 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450176-1721406988/watcher-4450176-1721406988 -o /tmp/evaluation-result-4450176-1721406988/solver-4450176-1721406988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721407001-1024733 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=686316622 HOME/instance-4450176-1721406988.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1024789, runsolver pid=1024776

[startup+0.100408 s]*
/proc/loadavg: 1.37 1.87 2.02 10/258 1024797
/proc/meminfo: memFree=123669024/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=47088 memory=27272 CPUtime=0.1 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 5827 0 0 0 9 1 0 0 20 0 1 0 192869364 48218112 6818 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 11772 6818 1060 1005 0 10535 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47088 KiB
Current children cumulated memory: 27272 KiB

[startup+0.206485 s]*
/proc/loadavg: 1.37 1.87 2.02 5/258 1024797
/proc/meminfo: memFree=123668520/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=47088 memory=27272 CPUtime=0.2 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 5828 0 0 0 19 1 0 0 20 0 1 0 192869364 48218112 6818 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 11772 6818 1060 1005 0 10535 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47088 KiB
Current children cumulated memory: 27272 KiB

[startup+0.305703 s]*
/proc/loadavg: 1.37 1.87 2.02 7/258 1024797
/proc/meminfo: memFree=123667872/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=47088 memory=27272 CPUtime=0.3 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 5829 0 0 0 29 1 0 0 20 0 1 0 192869364 48218112 6818 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 11772 6818 1060 1005 0 10535 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47088 KiB
Current children cumulated memory: 27272 KiB

[startup+0.700157 s]
/proc/loadavg: 1.37 1.87 2.02 6/258 1024797
/proc/meminfo: memFree=123666656/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=47364 memory=27272 CPUtime=0.69 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 5875 0 0 0 68 1 0 0 20 0 1 0 192869364 48500736 6818 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 11841 6818 1060 1005 0 10604 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47364 KiB
Current children cumulated memory: 27272 KiB

[startup+1.50017 s]
/proc/loadavg: 1.37 1.87 2.02 8/258 1024797
/proc/meminfo: memFree=123656376/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=47644 memory=32012 CPUtime=1.48 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 5970 0 0 0 147 1 0 0 20 0 1 0 192869364 48787456 8003 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 11911 8003 1092 1005 0 10674 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47644 KiB
Current children cumulated memory: 32012 KiB

[startup+3.10674 s]
/proc/loadavg: 1.58 1.90 2.03 8/258 1024797
/proc/meminfo: memFree=123639896/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=49176 memory=33760 CPUtime=3.09 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 6385 0 0 0 308 1 0 0 20 0 1 0 192869364 50356224 8440 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 12294 8440 1140 1005 0 11057 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 49176 KiB
Current children cumulated memory: 33760 KiB

[startup+6.30015 s]
/proc/loadavg: 1.58 1.90 2.03 7/258 1024889
/proc/meminfo: memFree=123627008/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=50480 memory=35068 CPUtime=6.27 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 6691 0 0 0 625 2 0 0 20 0 1 0 192869364 51691520 8767 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 12620 8767 1140 1005 0 11383 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 50480 KiB
Current children cumulated memory: 35068 KiB

[startup+12.7001 s]
/proc/loadavg: 1.78 1.94 2.04 7/258 1024891
/proc/meminfo: memFree=123616372/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=51168 memory=35572 CPUtime=12.66 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 6874 0 0 0 1263 3 0 0 20 0 1 0 192869364 52396032 8893 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 12792 8893 1140 1005 0 11555 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 51168 KiB
Current children cumulated memory: 35572 KiB

[startup+25.5002 s]
/proc/loadavg: 2.27 2.04 2.07 7/258 1024892
/proc/meminfo: memFree=123613144/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=51464 memory=36076 CPUtime=25.42 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 6983 0 0 0 2536 6 0 0 20 0 1 0 192869364 52699136 9019 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 12866 9019 1140 1005 0 11629 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 51464 KiB
Current children cumulated memory: 36076 KiB

[startup+51.1065 s]
/proc/loadavg: 2.92 2.21 2.13 7/258 1024897
/proc/meminfo: memFree=123607960/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=53036 memory=37636 CPUtime=50.97 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 7362 0 0 0 5086 11 0 0 20 0 1 0 192869364 54308864 9409 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 13259 9409 1140 1005 0 12022 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 53036 KiB
Current children cumulated memory: 37636 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.52 2.24 6/258 1025228
/proc/meminfo: memFree=123464300/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=54196 memory=38668 CPUtime=102.05 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 7665 0 0 0 10183 22 0 0 20 0 1 0 192869364 55496704 9667 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 13549 9667 1140 1005 0 12312 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 54196 KiB
Current children cumulated memory: 38668 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 2.79 2.35 6/258 1025284
/proc/meminfo: memFree=123595980/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=55480 memory=42252 CPUtime=161.9 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 8001 0 0 0 16157 33 0 0 20 0 1 0 192869364 56811520 10563 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 13870 10563 1140 1005 0 12633 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 55480 KiB
Current children cumulated memory: 42252 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 3.03 2.46 6/258 1025296
/proc/meminfo: memFree=123556192/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=56048 memory=42720 CPUtime=221.74 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 8170 0 0 0 22126 48 0 0 20 0 1 0 192869364 57393152 10680 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 14012 10680 1140 1005 0 12775 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 56048 KiB
Current children cumulated memory: 42720 KiB

[startup+282.3 s]
/proc/loadavg: 4.03 3.22 2.57 6/260 1025312
/proc/meminfo: memFree=123545056/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=56512 memory=43196 CPUtime=281.57 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 8299 0 0 0 28094 63 0 0 20 0 1 0 192869364 57868288 10799 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 14128 10799 1140 1005 0 12891 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 56512 KiB
Current children cumulated memory: 43196 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.40 2.67 6/257 1025323
/proc/meminfo: memFree=123532292/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=57744 memory=44464 CPUtime=341.4 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 8604 0 0 0 34066 74 0 0 20 0 1 0 192869364 59129856 11116 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 14436 11116 1140 1005 0 13199 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 57744 KiB
Current children cumulated memory: 44464 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.52 2.76 6/257 1025334
/proc/meminfo: memFree=123526216/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=58112 memory=44676 CPUtime=401.23 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 8709 0 0 0 40036 87 0 0 20 0 1 0 192869364 59506688 11169 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 14528 11169 1140 1005 0 13291 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 58112 KiB
Current children cumulated memory: 44676 KiB

[startup+462.3 s]
/proc/loadavg: 4.78 3.79 2.90 6/257 1025346
/proc/meminfo: memFree=123509440/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=58836 memory=45416 CPUtime=461.07 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 8903 0 0 0 46006 101 0 0 20 0 1 0 192869364 60248064 11354 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0

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

Current children cumulated memory: 54888 KiB

[startup+2862.3 s]
/proc/loadavg: 4.04 4.08 4.01 6/255 1026366
/proc/meminfo: memFree=123356724/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=68380 memory=55032 CPUtime=2854.64 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12010 0 0 0 284843 621 0 0 20 0 1 0 192869364 70021120 13758 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17095 13758 1140 1005 0 15858 0
Current children cumulated CPU time: 2854.64 s
Current children cumulated vsize: 68380 KiB
Current children cumulated memory: 55032 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.09 4.01 6/256 1026377
/proc/meminfo: memFree=123354604/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=68512 memory=55216 CPUtime=2914.47 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12088 0 0 0 290813 634 0 0 20 0 1 0 192869364 70156288 13804 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17128 13804 1140 1005 0 15891 0
Current children cumulated CPU time: 2914.47 s
Current children cumulated vsize: 68512 KiB
Current children cumulated memory: 55216 KiB

[startup+2982.3 s]
/proc/loadavg: 4.50 4.19 4.05 6/257 1026771
/proc/meminfo: memFree=123352452/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=68788 memory=55588 CPUtime=2974.29 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12165 0 0 0 296782 647 0 0 20 0 1 0 192869364 70438912 13897 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17197 13897 1140 1005 0 15960 0
Current children cumulated CPU time: 2974.29 s
Current children cumulated vsize: 68788 KiB
Current children cumulated memory: 55588 KiB

[startup+3042.3 s]
/proc/loadavg: 4.23 4.16 4.05 6/257 1026781
/proc/meminfo: memFree=123350864/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=68920 memory=55808 CPUtime=3034.13 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12230 0 0 0 302754 659 0 0 20 0 1 0 192869364 70574080 13952 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17230 13952 1140 1005 0 15993 0
Current children cumulated CPU time: 3034.13 s
Current children cumulated vsize: 68920 KiB
Current children cumulated memory: 55808 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.15 4.05 6/258 1026794
/proc/meminfo: memFree=123349916/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=69096 memory=55948 CPUtime=3093.96 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12300 0 0 0 308723 673 0 0 20 0 1 0 192869364 70754304 13987 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17274 13987 1140 1005 0 16037 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 69096 KiB
Current children cumulated memory: 55948 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.05 6/258 1026973
/proc/meminfo: memFree=123347772/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=69256 memory=55948 CPUtime=3153.79 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12352 0 0 0 314693 686 0 0 20 0 1 0 192869364 70918144 13987 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17314 13987 1140 1005 0 16077 0
Current children cumulated CPU time: 3153.79 s
Current children cumulated vsize: 69256 KiB
Current children cumulated memory: 55948 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.15 4.06 6/257 1026983
/proc/meminfo: memFree=123345716/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=69416 memory=56116 CPUtime=3213.62 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12413 0 0 0 320662 700 0 0 20 0 1 0 192869364 71081984 14029 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17354 14029 1140 1005 0 16117 0
Current children cumulated CPU time: 3213.62 s
Current children cumulated vsize: 69416 KiB
Current children cumulated memory: 56116 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.05 6/258 1027052
/proc/meminfo: memFree=123344436/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=69552 memory=56296 CPUtime=3273.46 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12449 0 0 0 326634 712 0 0 20 0 1 0 192869364 71221248 14074 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17388 14074 1140 1005 0 16151 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 69552 KiB
Current children cumulated memory: 56296 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.06 6/258 1027064
/proc/meminfo: memFree=123342688/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=69688 memory=56416 CPUtime=3333.29 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12502 0 0 0 332603 726 0 0 20 0 1 0 192869364 71360512 14104 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17422 14104 1140 1005 0 16185 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 69688 KiB
Current children cumulated memory: 56416 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.06 6/258 1027077
/proc/meminfo: memFree=123341032/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=69688 memory=56416 CPUtime=3393.12 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12530 0 0 0 338571 741 0 0 20 0 1 0 192869364 71360512 14104 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17422 14104 1140 1005 0 16185 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 69688 KiB
Current children cumulated memory: 56416 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.06 6/258 1027089
/proc/meminfo: memFree=123339908/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=69688 memory=56572 CPUtime=3452.95 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12576 0 0 0 344541 754 0 0 20 0 1 0 192869364 71360512 14143 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17422 14143 1140 1005 0 16185 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 69688 KiB
Current children cumulated memory: 56572 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.07 6/259 1027100
/proc/meminfo: memFree=123335892/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=69828 memory=56704 CPUtime=3512.78 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12625 0 0 0 350510 768 0 0 20 0 1 0 192869364 71503872 14176 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17457 14176 1140 1005 0 16220 0
Current children cumulated CPU time: 3512.78 s
Current children cumulated vsize: 69828 KiB
Current children cumulated memory: 56704 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.07 6/256 1027111
/proc/meminfo: memFree=123334280/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=69972 memory=56704 CPUtime=3572.61 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12657 0 0 0 356483 778 0 0 20 0 1 0 192869364 71651328 14176 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17493 14176 1140 1005 0 16256 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 69972 KiB
Current children cumulated memory: 56704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.14 4.12 4.07 6/256 1027114
/proc/meminfo: memFree=123334168/131524596 swapFree=131071996/131071996
[pid=1024789] ppid=1024776 vsize=69972 memory=56704 CPUtime=3600.03 cores=4,6
/proc/1024789/stat : 1024789 (Exact) R 1024776 1024789 1020506 0 -1 4194304 12657 0 0 0 359219 784 0 0 20 0 1 0 192869364 71651328 14176 134679101440 4194304 8309489 140727830280416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 20664320 140727830287293 140727830287462 140727830287462 140727830294479 0
/proc/1024789/statm: 17493 14176 1140 1005 0 16256 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 69972 KiB
Current children cumulated memory: 56704 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.24 s, system=7.85155 s

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

Child status: 0

Real time (s): 3609.85
CPU time (s): 3600.09
CPU user time (s): 3592.24
CPU system time (s): 7.85155
CPU usage (%): 99.7298
Max. virtual memory (cumulated for all children) (KiB): 69972
Max. memory (cumulated for all children) (KiB): 56704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.24
system time used= 7.85155
maximum resident set size= 56704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12659
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= 16
involuntary context switches= 2162


# summary of solver processes directly reported to runsolver:
#   pid: 1024789
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3592.24
#   total CPU system time (s): 7.85155

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.60079 second user time and 18.1311 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-19 18:36:41
IDJOB=4450176
IDBENCH=160409
IDSOLVER=3060
FILE ID=nodeC034/4450176-1721406988
RUNJOBID= nodeC034-1721407001-1024733
SLURM_JOB_ID= 7545457
Free space on /tmp= 890084 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.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-4450176-1721406988/watcher-4450176-1721406988 -o /tmp/evaluation-result-4450176-1721406988/solver-4450176-1721406988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721407001-1024733 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=686316622 HOME/instance-4450176-1721406988.opb

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

MD5SUM BENCH= 60aa0ac85dc632e57e54cb255f142331
RANDOM SEED=686316622

nodeC034.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		: 3594.465
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.99
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		: 3434.378
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.58
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		: 3915.088
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.99
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		: 3607.487
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.58
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		: 3776.561
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.99
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		: 3787.591
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.58
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		: 3639.089
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.99
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		: 3706.326
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        123754296 kB
MemAvailable:   129613272 kB
Buffers:          517096 kB
Cached:          6115440 kB
SwapCached:            0 kB
Active:          1037896 kB
Inactive:        5956984 kB
Active(anon):       1404 kB
Inactive(anon):   406860 kB
Active(file):    1036492 kB
Inactive(file):  5550124 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             25256 kB
Writeback:            16 kB
AnonPages:        362280 kB
Mapped:           106892 kB
Shmem:             45912 kB
KReclaimable:     224364 kB
Slab:             355368 kB
SReclaimable:     224364 kB
SUnreclaim:       131004 kB
KernelStack:        3908 kB
PageTables:         9304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:     815772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72960 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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:      320212 kB
DirectMap2M:    44541952 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC034 at 2024-07-19 19:36:51