Trace number 4446886

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 3610.13

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K196.opb
MD5SUM8df9702f370312ff59707c84e3b82f3b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark77.5563
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23324
Total number of constraints23718
Number of constraints which are clauses23522
Number of constraints which are cardinality constraints (but not clauses)196
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint196
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 197
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.07/3610.10	c Program interrupted by user.
3600.07/3610.10	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 (61588 MiB free)
  memory of node 1: 64473 MiB (62710 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446886-1721344434/watcher-4446886-1721344434 -o /tmp/evaluation-result-4446886-1721344434/solver-4446886-1721344434 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721340837-978139 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1255786755 HOME/instance-4446886-1721344434.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100088 s]*
/proc/loadavg: 4.09 4.11 4.11 5/257 980125
/proc/meminfo: memFree=127250060/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=56284 memory=34908 CPUtime=0.09 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 7475 0 0 0 9 0 0 0 20 0 1 0 186610125 57634816 8727 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 14071 8727 900 1005 0 12834 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56284 KiB
Current children cumulated memory: 34908 KiB

[startup+0.205467 s]*
/proc/loadavg: 4.09 4.11 4.11 5/257 980125
/proc/meminfo: memFree=127242648/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=61420 memory=41992 CPUtime=0.2 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 8871 0 0 0 19 1 0 0 20 0 1 0 186610125 62894080 10498 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 15355 10498 932 1005 0 14118 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61420 KiB
Current children cumulated memory: 41992 KiB

[startup+0.304862 s]*
/proc/loadavg: 4.09 4.11 4.11 4/254 980139
/proc/meminfo: memFree=127727832/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=88992 memory=69328 CPUtime=0.3 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 15451 0 0 0 28 2 0 0 20 0 1 0 186610125 91127808 17332 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 22248 17332 1092 1005 0 21011 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 88992 KiB
Current children cumulated memory: 69328 KiB

[startup+0.700213 s]
/proc/loadavg: 4.09 4.11 4.11 5/254 980165
/proc/meminfo: memFree=127723352/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=94228 memory=73592 CPUtime=0.68 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 16486 0 0 0 66 2 0 0 20 0 1 0 186610125 96489472 18398 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 23557 18398 1108 1005 0 22320 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 94228 KiB
Current children cumulated memory: 73592 KiB

[startup+1.50023 s]
/proc/loadavg: 4.09 4.11 4.11 5/257 980171
/proc/meminfo: memFree=127691752/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=95892 memory=80320 CPUtime=1.49 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 17158 0 0 0 146 3 0 0 20 0 1 0 186610125 98193408 20080 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 23973 20080 1108 1005 0 22736 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 95892 KiB
Current children cumulated memory: 80320 KiB

[startup+3.10547 s]
/proc/loadavg: 4.24 4.14 4.12 5/257 980217
/proc/meminfo: memFree=127973716/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=101048 memory=91456 CPUtime=3.09 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 18446 0 0 0 306 3 0 0 20 0 1 0 186610125 103473152 22864 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 25262 22864 1108 1005 0 24025 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 101048 KiB
Current children cumulated memory: 91456 KiB

[startup+6.30019 s]
/proc/loadavg: 4.24 4.14 4.12 5/258 980221
/proc/meminfo: memFree=127915132/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=120144 memory=112376 CPUtime=6.27 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 20817 0 0 0 623 4 0 0 20 0 1 0 186610125 123027456 28094 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 30036 28094 1124 1005 0 28799 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 120144 KiB
Current children cumulated memory: 112376 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.13 4.12 5/258 980221
/proc/meminfo: memFree=127861968/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=151976 memory=134876 CPUtime=12.65 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 23839 0 0 0 1258 7 0 0 20 0 1 0 186610125 155623424 33719 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 37994 33719 1124 1005 0 36757 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 151976 KiB
Current children cumulated memory: 134876 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.13 4.12 5/258 980224
/proc/meminfo: memFree=127830904/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=156480 memory=140000 CPUtime=25.41 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 25188 0 0 0 2534 7 0 0 20 0 1 0 186610125 160235520 35000 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 39120 35000 1124 1005 0 37883 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 156480 KiB
Current children cumulated memory: 140000 KiB

[startup+51.1055 s]
/proc/loadavg: 4.19 4.13 4.12 5/258 980227
/proc/meminfo: memFree=127795332/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=164936 memory=154876 CPUtime=50.95 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 27381 0 0 0 5083 12 0 0 20 0 1 0 186610125 168894464 38719 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 41234 38719 1124 1005 0 39997 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 164936 KiB
Current children cumulated memory: 154876 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/258 980236
/proc/meminfo: memFree=127734564/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=179232 memory=168172 CPUtime=102.01 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 30805 0 0 0 10181 20 0 0 20 0 1 0 186610125 183533568 42043 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 44808 42043 1124 1005 0 43571 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 179232 KiB
Current children cumulated memory: 168172 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/255 980246
/proc/meminfo: memFree=127667680/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=232420 memory=194376 CPUtime=161.82 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 34490 0 0 0 16160 22 0 0 20 0 1 0 186610125 237998080 48594 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 58105 48594 1124 1005 0 56868 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 232420 KiB
Current children cumulated memory: 194376 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/255 980258
/proc/meminfo: memFree=127635940/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=239704 memory=211952 CPUtime=221.66 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 36408 0 0 0 22130 36 0 0 20 0 1 0 186610125 245456896 52988 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 59926 52988 1140 1005 0 58689 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 239704 KiB
Current children cumulated memory: 211952 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/255 980268
/proc/meminfo: memFree=127508064/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=247400 memory=219568 CPUtime=281.51 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 38408 0 0 0 28114 37 0 0 20 0 1 0 186610125 253337600 54892 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 61850 54892 1140 1005 0 60613 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 247400 KiB
Current children cumulated memory: 219568 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/254 980278
/proc/meminfo: memFree=127497048/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=253304 memory=225600 CPUtime=341.35 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 39974 0 0 0 34079 56 0 0 20 0 1 0 186610125 259383296 56400 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 63326 56400 1140 1005 0 62089 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 253304 KiB
Current children cumulated memory: 225600 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/257 980293
/proc/meminfo: memFree=127484868/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=258972 memory=231336 CPUtime=401.18 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 41469 0 0 0 40062 56 0 0 20 0 1 0 186610125 265187328 57834 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 64743 57834 1140 1005 0 63506 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 258972 KiB
Current children cumulated memory: 231336 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/257 980304
/proc/meminfo: memFree=127465616/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=261988 memory=244048 CPUtime=461.04 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 42243 0 0 0 46036 68 0 0 20 0 1 0 186610125 268275712 61012 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 65497 61012 1140 1005 0 64260 0

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

Current children cumulated memory: 622652 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 981926
/proc/meminfo: memFree=126841772/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=758948 memory=623688 CPUtime=2914.13 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 70860 0 0 0 291123 290 0 0 20 0 1 0 186610125 777162752 155922 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 189737 155922 1140 1005 0 188500 0
Current children cumulated CPU time: 2914.13 s
Current children cumulated vsize: 758948 KiB
Current children cumulated memory: 623688 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/258 981937
/proc/meminfo: memFree=126839988/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=759236 memory=623976 CPUtime=2973.98 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 71105 0 0 0 297108 290 0 0 20 0 1 0 186610125 777457664 155994 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 189809 155994 1140 1005 0 188572 0
Current children cumulated CPU time: 2973.98 s
Current children cumulated vsize: 759236 KiB
Current children cumulated memory: 623976 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 981950
/proc/meminfo: memFree=126835784/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=760444 memory=625184 CPUtime=3033.83 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 71518 0 0 0 303075 308 0 0 20 0 1 0 186610125 778694656 156296 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 190111 156296 1140 1005 0 188874 0
Current children cumulated CPU time: 3033.83 s
Current children cumulated vsize: 760444 KiB
Current children cumulated memory: 625184 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 981961
/proc/meminfo: memFree=126834500/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=760716 memory=625456 CPUtime=3093.67 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 71726 0 0 0 309059 308 0 0 20 0 1 0 186610125 778973184 156364 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 190179 156364 1140 1005 0 188942 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 760716 KiB
Current children cumulated memory: 625456 KiB

[startup+3162.3 s]
/proc/loadavg: 4.61 4.23 4.13 5/255 981971
/proc/meminfo: memFree=126832816/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=761548 memory=626288 CPUtime=3153.52 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 72089 0 0 0 315043 309 0 0 20 0 1 0 186610125 779825152 156572 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 190387 156572 1140 1005 0 189150 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 761548 KiB
Current children cumulated memory: 626288 KiB

[startup+3222.3 s]
/proc/loadavg: 4.31 4.22 4.13 5/255 981982
/proc/meminfo: memFree=126818320/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=765500 memory=628008 CPUtime=3213.36 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 72658 0 0 0 321014 322 0 0 20 0 1 0 186610125 783872000 157002 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 191375 157002 1140 1005 0 190138 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 765500 KiB
Current children cumulated memory: 628008 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.21 4.13 5/255 981992
/proc/meminfo: memFree=126815732/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=767020 memory=629952 CPUtime=3273.21 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 73309 0 0 0 326999 322 0 0 20 0 1 0 186610125 785428480 157488 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 191755 157488 1140 1005 0 190518 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 767020 KiB
Current children cumulated memory: 629952 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/255 982002
/proc/meminfo: memFree=126815416/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=767020 memory=629952 CPUtime=3333.05 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 73486 0 0 0 332983 322 0 0 20 0 1 0 186610125 785428480 157488 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 191755 157488 1140 1005 0 190518 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 767020 KiB
Current children cumulated memory: 629952 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/257 982017
/proc/meminfo: memFree=126812872/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=767020 memory=629952 CPUtime=3392.9 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 73633 0 0 0 338956 334 0 0 20 0 1 0 186610125 785428480 157488 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 191755 157488 1140 1005 0 190518 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 767020 KiB
Current children cumulated memory: 629952 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.19 4.13 5/257 982028
/proc/meminfo: memFree=126811868/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=767020 memory=629952 CPUtime=3452.74 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 73875 0 0 0 344940 334 0 0 20 0 1 0 186610125 785428480 157488 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 191755 157488 1140 1005 0 190518 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 767020 KiB
Current children cumulated memory: 629952 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/257 982038
/proc/meminfo: memFree=126790944/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=784560 memory=647492 CPUtime=3512.55 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 76020 0 0 0 350920 335 0 0 20 0 1 0 186610125 803389440 161873 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 196140 161873 1140 1005 0 194903 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 784560 KiB
Current children cumulated memory: 647492 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/258 982050
/proc/meminfo: memFree=126789040/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=784560 memory=647492 CPUtime=3572.35 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 76097 0 0 0 356888 347 0 0 20 0 1 0 186610125 803389440 161873 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 196140 161873 1140 1005 0 194903 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 784560 KiB
Current children cumulated memory: 647492 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.10 4.15 4.12 6/255 982097
/proc/meminfo: memFree=126923032/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=784560 memory=647492 CPUtime=3600.07 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 76204 0 0 0 359658 349 0 0 20 0 1 0 186610125 803389440 161873 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 196140 161873 1140 1005 0 194903 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 784560 KiB
Current children cumulated memory: 647492 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.6 s, system=3.49332 s

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

[startup+3610.11 s]
/proc/loadavg: 4.10 4.15 4.12 6/255 982097
/proc/meminfo: memFree=126923032/131524600 swapFree=131071996/131071996
[pid=980124] ppid=980121 vsize=784560 memory=647492 CPUtime=3600.07 cores=1,3
/proc/980124/stat : 980124 (Exact) R 980121 980124 978127 0 -1 4194304 76204 0 0 0 359658 349 0 0 20 0 1 0 186610125 803389440 161873 134679101440 4194304 8309489 140730986400864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20295680 140730986402749 140730986402919 140730986402919 140730986409935 0
/proc/980124/statm: 196140 161873 1140 1005 0 194903 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 784560 KiB
Current children cumulated memory: 647492 KiB

Child status: 0

Real time (s): 3610.13
CPU time (s): 3600.09
CPU user time (s): 3596.6
CPU system time (s): 3.49332
CPU usage (%): 99.7221
Max. virtual memory (cumulated for all children) (KiB): 996572
Max. memory (cumulated for all children) (KiB): 656360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.6
system time used= 3.49332
maximum resident set size= 781288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76206
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= 85
involuntary context switches= 3206


# summary of solver processes directly reported to runsolver:
#   pid: 980124
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3596.6
#   total CPU system time (s): 3.49332

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08588 second user time and 16.9385 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-19 01:14:07
IDJOB=4446886
IDBENCH=158326
IDSOLVER=3060
FILE ID=nodeC027/4446886-1721344434
RUNJOBID= nodeC027-1721340837-978139
SLURM_JOB_ID= 7542727
Free space on /tmp= 890060 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.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-4446886-1721344434/watcher-4446886-1721344434 -o /tmp/evaluation-result-4446886-1721344434/solver-4446886-1721344434 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721340837-978139 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1255786755 HOME/instance-4446886-1721344434.opb

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

MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b
RANDOM SEED=1255786755

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127283456 kB
MemAvailable:   128820436 kB
Buffers:          498072 kB
Cached:          1870012 kB
SwapCached:            0 kB
Active:           922500 kB
Inactive:        2700956 kB
Active(anon):       1576 kB
Inactive(anon):  1291184 kB
Active(file):     920924 kB
Inactive(file):  1409772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14584 kB
Writeback:             0 kB
AnonPages:       1253088 kB
Mapped:           119900 kB
Shmem:             37720 kB
KReclaimable:      92216 kB
Slab:             202736 kB
SReclaimable:      92216 kB
SUnreclaim:       110520 kB
KernelStack:        4224 kB
PageTables:        11464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1604092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68352 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1167360 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:      193236 kB
DirectMap2M:    15308800 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC027 at 2024-07-19 02:14:18