Trace number 4448056

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-05UNSAT 2041.15 2046.71

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
MD5SUMffca2f526e16739a014d253021fa9e9c
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 benchmark9.16941
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables901
Total number of constraints1258
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1256
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 

2041.13/2046.70	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62721 MiB free)
  memory of node 1: 64510 MiB (61345 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448056-1721359311/watcher-4448056-1721359311 -o /tmp/evaluation-result-4448056-1721359311/solver-4448056-1721359311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721359317-986107 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=368623871 HOME/instance-4448056-1721359311.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=986536, runsolver pid=986533

[startup+0.100883 s]*
/proc/loadavg: 1.42 1.24 1.33 5/245 986537
/proc/meminfo: memFree=127037864/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=29420 memory=7924 CPUtime=0.09 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 1016 0 0 0 9 0 0 0 20 0 1 0 188087697 30126080 1981 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 7355 1981 1140 1005 0 6118 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29420 KiB
Current children cumulated memory: 7924 KiB

[startup+0.212995 s]*
/proc/loadavg: 1.42 1.24 1.33 5/245 986537
/proc/meminfo: memFree=127036016/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=29948 memory=8980 CPUtime=0.21 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 1289 0 0 0 20 1 0 0 20 0 1 0 188087697 30666752 2245 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 7487 2245 1140 1005 0 6250 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29948 KiB
Current children cumulated memory: 8980 KiB

[startup+0.31202 s]*
/proc/loadavg: 1.42 1.24 1.33 5/245 986537
/proc/meminfo: memFree=127033268/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=30344 memory=11552 CPUtime=0.31 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 1438 0 0 0 30 1 0 0 20 0 1 0 188087697 31072256 2888 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 7586 2888 1140 1005 0 6349 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30344 KiB
Current children cumulated memory: 11552 KiB

[startup+0.700263 s]
/proc/loadavg: 1.42 1.24 1.33 5/245 986537
/proc/meminfo: memFree=127031448/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=31292 memory=12344 CPUtime=0.68 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 1653 0 0 0 67 1 0 0 20 0 1 0 188087697 32043008 3086 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 7823 3086 1140 1005 0 6586 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 31292 KiB
Current children cumulated memory: 12344 KiB

[startup+1.50025 s]
/proc/loadavg: 1.42 1.24 1.33 5/245 986537
/proc/meminfo: memFree=127023936/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=35104 memory=20396 CPUtime=1.48 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 2610 0 0 0 147 1 0 0 20 0 1 0 188087697 35946496 5099 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 8776 5099 1140 1005 0 7539 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35104 KiB
Current children cumulated memory: 20396 KiB

[startup+3.11374 s]
/proc/loadavg: 1.42 1.24 1.33 5/245 986539
/proc/meminfo: memFree=126997888/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=37792 memory=27108 CPUtime=3.08 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 3291 0 0 0 307 1 0 0 20 0 1 0 188087697 38699008 6777 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 9448 6777 1140 1005 0 8211 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 27108 KiB

[startup+6.3003 s]
/proc/loadavg: 1.63 1.29 1.35 5/245 986539
/proc/meminfo: memFree=126979512/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=56540 memory=40508 CPUtime=6.26 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 5323 0 0 0 624 2 0 0 20 0 1 0 188087697 57896960 10127 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 14135 10127 1140 1005 0 12898 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 56540 KiB
Current children cumulated memory: 40508 KiB

[startup+12.7003 s]
/proc/loadavg: 1.82 1.33 1.36 5/245 986540
/proc/meminfo: memFree=126945516/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=68408 memory=56632 CPUtime=12.65 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 7868 0 0 0 1261 4 0 0 20 0 1 0 188087697 70049792 14158 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 17102 14158 1140 1005 0 15865 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 68408 KiB
Current children cumulated memory: 56632 KiB

[startup+25.5003 s]
/proc/loadavg: 2.30 1.46 1.40 5/245 986542
/proc/meminfo: memFree=126908876/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=97428 memory=77676 CPUtime=25.42 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 9965 0 0 0 2535 7 0 0 20 0 1 0 188087697 99766272 19419 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 24357 19419 1140 1005 0 23120 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 97428 KiB
Current children cumulated memory: 77676 KiB

[startup+51.1129 s]
/proc/loadavg: 2.96 1.69 1.48 5/245 986547
/proc/meminfo: memFree=126862972/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=118664 memory=101720 CPUtime=50.97 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 13492 0 0 0 5085 12 0 0 20 0 1 0 188087697 121511936 25430 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 29666 25430 1140 1005 0 28429 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 118664 KiB
Current children cumulated memory: 101720 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.06 1.62 5/245 986557
/proc/meminfo: memFree=126830056/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=167060 memory=122024 CPUtime=102.04 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 15953 0 0 0 10184 20 0 0 20 0 1 0 188087697 171069440 30506 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 41765 30506 1140 1005 0 40528 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 167060 KiB
Current children cumulated memory: 122024 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.43 1.78 5/245 986567
/proc/meminfo: memFree=126804144/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=167536 memory=130572 CPUtime=161.9 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 16624 0 0 0 16162 28 0 0 20 0 1 0 188087697 171556864 32643 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 41884 32643 1140 1005 0 40647 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 167536 KiB
Current children cumulated memory: 130572 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.75 1.93 5/243 986960
/proc/meminfo: memFree=126793596/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=167536 memory=133484 CPUtime=221.75 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 16911 0 0 0 22138 37 0 0 20 0 1 0 188087697 171556864 33371 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 41884 33371 1140 1005 0 40647 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 167536 KiB
Current children cumulated memory: 133484 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 3.01 2.07 5/243 986971
/proc/meminfo: memFree=126781628/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=167920 memory=136456 CPUtime=281.57 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 17188 0 0 0 28113 44 0 0 20 0 1 0 188087697 171950080 34114 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 41980 34114 1140 1005 0 40743 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 167920 KiB
Current children cumulated memory: 136456 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.22 2.21 5/243 986981
/proc/meminfo: memFree=126773320/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=168364 memory=139444 CPUtime=341.39 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 17455 0 0 0 34088 51 0 0 20 0 1 0 188087697 172404736 34861 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 42091 34861 1140 1005 0 40854 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 168364 KiB
Current children cumulated memory: 139444 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.38 2.33 5/246 987162
/proc/meminfo: memFree=126760756/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=168364 memory=147732 CPUtime=401.26 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 17529 0 0 0 40069 57 0 0 20 0 1 0 188087697 172404736 36933 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 42091 36933 1140 1005 0 40854 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 168364 KiB
Current children cumulated memory: 147732 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.51 2.44 5/246 987173
/proc/meminfo: memFree=126756784/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=168364 memory=147800 CPUtime=461.12 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 17615 0 0 0 46048 64 0 0 20 0 1 0 188087697 172404736 36950 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 42091 36950 1140 1005 0 40854 0

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

/proc/loadavg: 2.11 2.41 2.68 3/228 987505
/proc/meminfo: memFree=126890780/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=242588 memory=171156 CPUtime=1657.87 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 20904 0 0 0 165603 184 0 0 20 0 1 0 188087697 248410112 42789 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 60647 42789 1140 1005 0 59410 0
Current children cumulated CPU time: 1657.87 s
Current children cumulated vsize: 242588 KiB
Current children cumulated memory: 171156 KiB

[startup+1722.3 s]
/proc/loadavg: 2.12 2.35 2.64 3/231 987520
/proc/meminfo: memFree=126890268/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=242844 memory=171356 CPUtime=1717.69 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 21002 0 0 0 171579 190 0 0 20 0 1 0 188087697 248672256 42839 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 60711 42839 1140 1005 0 59474 0
Current children cumulated CPU time: 1717.69 s
Current children cumulated vsize: 242844 KiB
Current children cumulated memory: 171356 KiB

[startup+1782.3 s]
/proc/loadavg: 2.10 2.30 2.60 3/231 987530
/proc/meminfo: memFree=126889856/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=242844 memory=171356 CPUtime=1777.51 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 21083 0 0 0 177556 195 0 0 20 0 1 0 188087697 248672256 42839 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 60711 42839 1140 1005 0 59474 0
Current children cumulated CPU time: 1777.51 s
Current children cumulated vsize: 242844 KiB
Current children cumulated memory: 171356 KiB

[startup+1842.3 s]
/proc/loadavg: 2.69 2.43 2.63 3/231 987541
/proc/meminfo: memFree=126889336/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=242844 memory=171356 CPUtime=1837.34 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 21167 0 0 0 183531 203 0 0 20 0 1 0 188087697 248672256 42839 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 60711 42839 1140 1005 0 59474 0
Current children cumulated CPU time: 1837.34 s
Current children cumulated vsize: 242844 KiB
Current children cumulated memory: 171356 KiB

[startup+1902.3 s]
/proc/loadavg: 2.34 2.38 2.60 3/231 987551
/proc/meminfo: memFree=126886852/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=245664 memory=173384 CPUtime=1897.15 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 21800 0 0 0 189498 217 0 0 20 0 1 0 188087697 251559936 43346 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 61416 43346 1140 1005 0 60179 0
Current children cumulated CPU time: 1897.15 s
Current children cumulated vsize: 245664 KiB
Current children cumulated memory: 173384 KiB

[startup+1962.3 s]
/proc/loadavg: 2.18 2.32 2.57 3/231 987561
/proc/meminfo: memFree=126880728/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=253536 memory=179628 CPUtime=1956.98 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 23343 0 0 0 195438 260 0 0 20 0 1 0 188087697 259620864 44907 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 63384 44907 1140 1005 0 62147 0
Current children cumulated CPU time: 1956.98 s
Current children cumulated vsize: 253536 KiB
Current children cumulated memory: 179628 KiB

[startup+2022.3 s]
/proc/loadavg: 2.10 2.28 2.53 3/229 987955
/proc/meminfo: memFree=126879736/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=253536 memory=179628 CPUtime=2016.8 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 23394 0 0 0 201398 282 0 0 20 0 1 0 188087697 259620864 44907 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 63384 44907 1140 1005 0 62147 0
Current children cumulated CPU time: 2016.8 s
Current children cumulated vsize: 253536 KiB
Current children cumulated memory: 179628 KiB

[startup+2046.71 s]
# the end of solver process 986536 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=2038.25 s, system=2.89314 s

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

[startup+2022.4 s]
/proc/loadavg: 2.10 2.28 2.53 3/229 987955
/proc/meminfo: memFree=126879736/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=253536 memory=179628 CPUtime=2016.9 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 23394 0 0 0 201408 282 0 0 20 0 1 0 188087697 259620864 44907 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 63384 44907 1140 1005 0 62147 0
Current children cumulated CPU time: 2016.9 s
Current children cumulated vsize: 253536 KiB
Current children cumulated memory: 179628 KiB

[startup+2035.2 s]
/proc/loadavg: 2.15 2.28 2.53 3/229 987958
/proc/meminfo: memFree=126879784/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=253536 memory=179628 CPUtime=2029.66 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 23395 0 0 0 202680 286 0 0 20 0 1 0 188087697 259620864 44907 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 63384 44907 1140 1005 0 62147 0
Current children cumulated CPU time: 2029.66 s
Current children cumulated vsize: 253536 KiB
Current children cumulated memory: 179628 KiB

[startup+2041.6 s]
/proc/loadavg: 2.14 2.27 2.53 3/229 987958
/proc/meminfo: memFree=126879712/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=253536 memory=179628 CPUtime=2036.04 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 23395 0 0 0 203317 287 0 0 20 0 1 0 188087697 259620864 44907 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 63384 44907 1140 1005 0 62147 0
Current children cumulated CPU time: 2036.04 s
Current children cumulated vsize: 253536 KiB
Current children cumulated memory: 179628 KiB

[startup+2044.8 s]
/proc/loadavg: 2.14 2.27 2.53 3/229 987960
/proc/meminfo: memFree=126879684/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=253536 memory=179628 CPUtime=2039.23 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 23395 0 0 0 203635 288 0 0 20 0 1 0 188087697 259620864 44907 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 63384 44907 1140 1005 0 62147 0
Current children cumulated CPU time: 2039.23 s
Current children cumulated vsize: 253536 KiB
Current children cumulated memory: 179628 KiB

[startup+2045.6 s]
/proc/loadavg: 2.12 2.27 2.53 3/229 987960
/proc/meminfo: memFree=126879700/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=253536 memory=179628 CPUtime=2040.03 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 23395 0 0 0 203715 288 0 0 20 0 1 0 188087697 259620864 44907 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 63384 44907 1140 1005 0 62147 0
Current children cumulated CPU time: 2040.03 s
Current children cumulated vsize: 253536 KiB
Current children cumulated memory: 179628 KiB

[startup+2046.4 s]
/proc/loadavg: 2.12 2.27 2.53 3/229 987960
/proc/meminfo: memFree=126879684/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=253536 memory=179628 CPUtime=2040.84 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 23395 0 0 0 203795 289 0 0 20 0 1 0 188087697 259620864 44907 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 63384 44907 1140 1005 0 62147 0
Current children cumulated CPU time: 2040.84 s
Current children cumulated vsize: 253536 KiB
Current children cumulated memory: 179628 KiB

[startup+2046.6 s]
/proc/loadavg: 2.12 2.27 2.53 3/229 987960
/proc/meminfo: memFree=126879684/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=253536 memory=179628 CPUtime=2041.03 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 23395 0 0 0 203814 289 0 0 20 0 1 0 188087697 259620864 44907 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 63384 44907 1140 1005 0 62147 0
Current children cumulated CPU time: 2041.03 s
Current children cumulated vsize: 253536 KiB
Current children cumulated memory: 179628 KiB

[startup+2046.7 s]
/proc/loadavg: 2.12 2.27 2.53 3/229 987960
/proc/meminfo: memFree=126879684/131655788 swapFree=131071996/131071996
[pid=986536] ppid=986533 vsize=253536 memory=179628 CPUtime=2041.13 cores=4,6
/proc/986536/stat : 986536 (Exact) R 986533 986536 978001 0 -1 4194304 23395 0 0 0 203824 289 0 0 20 0 1 0 188087697 259620864 44907 134679101440 4194304 8309489 140728798073488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 41762816 140728798081982 140728798082151 140728798082151 140728798089167 0
/proc/986536/statm: 63384 44907 1140 1005 0 62147 0
Current children cumulated CPU time: 2041.13 s
Current children cumulated vsize: 253536 KiB
Current children cumulated memory: 179628 KiB

Child status: 20

Real time (s): 2046.71
CPU time (s): 2041.15
CPU user time (s): 2038.25
CPU system time (s): 2.89314
CPU usage (%): 99.7283
Max. virtual memory (cumulated for all children) (KiB): 334292
Max. memory (cumulated for all children) (KiB): 203172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2038.25
system time used= 2.89314
maximum resident set size= 260516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23397
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= 19
involuntary context switches= 1340


# summary of solver processes directly reported to runsolver:
#   pid: 986536
#   total CPU time (s): 2041.15
#   total CPU user time (s): 2038.25
#   total CPU system time (s): 2.89314

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0695 second user time and 18.8104 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-19 05:22:03
IDJOB=4448056
IDBENCH=160360
IDSOLVER=3060
FILE ID=nodeC007/4448056-1721359311
RUNJOBID= nodeC007-1721359317-986107
SLURM_JOB_ID= 7542747
Free space on /tmp= 723764 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x90split.cnf-extracted.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-4448056-1721359311/watcher-4448056-1721359311 -o /tmp/evaluation-result-4448056-1721359311/solver-4448056-1721359311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721359317-986107 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=368623871 HOME/instance-4448056-1721359311.opb

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

MD5SUM BENCH= ffca2f526e16739a014d253021fa9e9c
RANDOM SEED=368623871

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127045148 kB
MemAvailable:   129887696 kB
Buffers:          518468 kB
Cached:          3154424 kB
SwapCached:            0 kB
Active:          1066064 kB
Inactive:        2980788 kB
Active(anon):       1476 kB
Inactive(anon):   410188 kB
Active(file):    1064588 kB
Inactive(file):  2570600 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             25276 kB
Writeback:             0 kB
AnonPages:        374044 kB
Mapped:           120120 kB
Shmem:             37704 kB
KReclaimable:      94784 kB
Slab:             196668 kB
SReclaimable:      94784 kB
SUnreclaim:       101884 kB
KernelStack:        3984 kB
PageTables:         9988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     631228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58976 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC007 at 2024-07-19 05:56:10