Trace number 4446706

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.03 3608.22

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K162.opb
MD5SUM3691972eca5819945d0aaf6ae8165cd0
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 benchmark3001.01
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19278
Total number of constraints19604
Number of constraints which are clauses19442
Number of constraints which are cardinality constraints (but not clauses)162
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint162
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 163
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.00/3608.20	c Program interrupted by user.
3600.00/3608.20	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446706-1721339628/watcher-4446706-1721339628 -o /tmp/evaluation-result-4446706-1721339628/solver-4446706-1721339628 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721330331-967635 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1467148447 HOME/instance-4446706-1721339628.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=972803, runsolver pid=972800
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.08 4.13 4.10 5/256 972804
/proc/meminfo: memFree=128134528/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=56032 memory=36804 CPUtime=0.1 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 7516 0 0 0 9 1 0 0 20 0 1 0 186129802 57376768 9201 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 14008 9201 900 1005 0 12771 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56032 KiB
Current children cumulated memory: 36804 KiB

[startup+0.205731 s]*
/proc/loadavg: 4.08 4.13 4.10 5/256 972804
/proc/meminfo: memFree=128111340/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=78480 memory=59608 CPUtime=0.2 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 13415 0 0 0 18 2 0 0 20 0 1 0 186129802 80363520 14902 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 19620 14902 1076 1005 0 18383 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 78480 KiB
Current children cumulated memory: 59608 KiB

[startup+0.30624 s]*
/proc/loadavg: 4.08 4.13 4.10 5/256 972804
/proc/meminfo: memFree=128106172/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=85176 memory=64420 CPUtime=0.3 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 14645 0 0 0 28 2 0 0 20 0 1 0 186129802 87220224 16105 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 21294 16105 1092 1005 0 20057 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 85176 KiB
Current children cumulated memory: 64420 KiB

[startup+0.700223 s]
/proc/loadavg: 4.08 4.13 4.10 5/256 972804
/proc/meminfo: memFree=128105040/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=86384 memory=66004 CPUtime=0.68 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 15033 0 0 0 66 2 0 0 20 0 1 0 186129802 88457216 16501 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 21596 16501 1092 1005 0 20359 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 86384 KiB
Current children cumulated memory: 66004 KiB

[startup+1.50024 s]
/proc/loadavg: 4.08 4.13 4.10 5/256 972804
/proc/meminfo: memFree=128102072/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=88220 memory=76880 CPUtime=1.48 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 15679 0 0 0 146 2 0 0 20 0 1 0 186129802 90337280 19220 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 22055 19220 1108 1005 0 20818 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 88220 KiB
Current children cumulated memory: 76880 KiB

[startup+3.10558 s]
/proc/loadavg: 4.08 4.13 4.10 5/256 972805
/proc/meminfo: memFree=128087440/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=92436 memory=83184 CPUtime=3.09 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 16742 0 0 0 306 3 0 0 20 0 1 0 186129802 94654464 20796 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 23109 20796 1124 1005 0 21872 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 92436 KiB
Current children cumulated memory: 83184 KiB

[startup+6.30022 s]
/proc/loadavg: 4.15 4.14 4.11 5/256 972805
/proc/meminfo: memFree=128068988/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=110604 memory=101704 CPUtime=6.27 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 18519 0 0 0 623 4 0 0 20 0 1 0 186129802 113258496 25426 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 27651 25426 1124 1005 0 26414 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 110604 KiB
Current children cumulated memory: 101704 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.11 5/256 972808
/proc/meminfo: memFree=128050904/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=138620 memory=118620 CPUtime=12.65 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 20164 0 0 0 1259 6 0 0 20 0 1 0 186129802 141946880 29655 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 34655 29655 1124 1005 0 33418 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 138620 KiB
Current children cumulated memory: 118620 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.11 5/256 972809
/proc/meminfo: memFree=128042904/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=147088 memory=126692 CPUtime=25.42 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 22250 0 0 0 2535 7 0 0 20 0 1 0 186129802 150618112 31673 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 36772 31673 1124 1005 0 35535 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 147088 KiB
Current children cumulated memory: 126692 KiB

[startup+51.1056 s]
/proc/loadavg: 4.21 4.15 4.11 5/256 972812
/proc/meminfo: memFree=128027212/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=155700 memory=142156 CPUtime=50.96 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 24618 0 0 0 5086 10 0 0 20 0 1 0 186129802 159436800 35539 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 38925 35539 1140 1005 0 37688 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 155700 KiB
Current children cumulated memory: 142156 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/257 973207
/proc/meminfo: memFree=128006340/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=168852 memory=159284 CPUtime=102.03 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 27905 0 0 0 10186 17 0 0 20 0 1 0 186129802 172904448 39821 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 42213 39821 1140 1005 0 40976 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 168852 KiB
Current children cumulated memory: 159284 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/257 973217
/proc/meminfo: memFree=127984944/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=182332 memory=176164 CPUtime=161.86 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 31692 0 0 0 16164 22 0 0 20 0 1 0 186129802 186707968 44041 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 45583 44041 1140 1005 0 44346 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 182332 KiB
Current children cumulated memory: 176164 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/257 973228
/proc/meminfo: memFree=127963060/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=229548 memory=191284 CPUtime=221.72 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 33847 0 0 0 22144 28 0 0 20 0 1 0 186129802 235057152 47821 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 57387 47821 1140 1005 0 56150 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 229548 KiB
Current children cumulated memory: 191284 KiB

[startup+282.3 s]
/proc/loadavg: 4.30 4.22 4.14 5/258 973407
/proc/meminfo: memFree=127861864/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=306308 memory=290428 CPUtime=281.57 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 36322 0 0 0 28113 44 0 0 20 0 1 0 186129802 313659392 72607 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 76577 72607 1140 1005 0 75340 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 306308 KiB
Current children cumulated memory: 290428 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.19 4.13 5/258 973417
/proc/meminfo: memFree=127853208/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=310904 memory=295096 CPUtime=341.41 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 37492 0 0 0 34097 44 0 0 20 0 1 0 186129802 318365696 73774 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 77726 73774 1140 1005 0 76489 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 310904 KiB
Current children cumulated memory: 295096 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.18 4.13 5/257 973431
/proc/meminfo: memFree=127845456/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=315608 memory=299744 CPUtime=401.25 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 38725 0 0 0 40063 62 0 0 20 0 1 0 186129802 323182592 74936 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 78902 74936 1140 1005 0 77665 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 315608 KiB
Current children cumulated memory: 299744 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/256 973455
/proc/meminfo: memFree=127834456/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=320004 memory=304436 CPUtime=461.09 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 39447 0 0 0 46045 64 0 0 20 0 1 0 186129802 327684096 76109 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 80001 76109 1140 1005 0 78764 0

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

Current children cumulated memory: 366192 KiB

[startup+2862.3 s]
/proc/loadavg: 1.11 1.11 1.62 2/235 975121
/proc/meminfo: memFree=129035816/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=381440 memory=367284 CPUtime=2855.6 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 57815 0 0 0 285304 256 0 0 20 0 1 0 186129802 390594560 91821 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 95360 91821 1198 1005 0 94123 0
Current children cumulated CPU time: 2855.6 s
Current children cumulated vsize: 381440 KiB
Current children cumulated memory: 367284 KiB

[startup+2922.3 s]
/proc/loadavg: 1.08 1.11 1.59 2/235 975131
/proc/meminfo: memFree=129032380/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=384728 memory=370476 CPUtime=2915.48 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 58738 0 0 0 291278 270 0 0 20 0 1 0 186129802 393961472 92619 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 96182 92619 1198 1005 0 94945 0
Current children cumulated CPU time: 2915.48 s
Current children cumulated vsize: 384728 KiB
Current children cumulated memory: 370476 KiB

[startup+2982.3 s]
/proc/loadavg: 1.13 1.12 1.56 2/235 975142
/proc/meminfo: memFree=129031472/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=385308 memory=371084 CPUtime=2975.35 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 59016 0 0 0 297265 270 0 0 20 0 1 0 186129802 394555392 92771 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 96327 92771 1198 1005 0 95090 0
Current children cumulated CPU time: 2975.35 s
Current children cumulated vsize: 385308 KiB
Current children cumulated memory: 371084 KiB

[startup+3042.3 s]
/proc/loadavg: 1.10 1.11 1.53 2/235 975154
/proc/meminfo: memFree=129030568/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=385912 memory=371688 CPUtime=3035.23 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 59302 0 0 0 303253 270 0 0 20 0 1 0 186129802 395173888 92922 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 96478 92922 1198 1005 0 95241 0
Current children cumulated CPU time: 3035.23 s
Current children cumulated vsize: 385912 KiB
Current children cumulated memory: 371688 KiB

[startup+3102.3 s]
/proc/loadavg: 1.15 1.12 1.50 2/233 975164
/proc/meminfo: memFree=129030192/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=385912 memory=371688 CPUtime=3095.12 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 59461 0 0 0 309231 281 0 0 20 0 1 0 186129802 395173888 92922 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 96478 92922 1198 1005 0 95241 0
Current children cumulated CPU time: 3095.12 s
Current children cumulated vsize: 385912 KiB
Current children cumulated memory: 371688 KiB

[startup+3162.3 s]
/proc/loadavg: 1.11 1.11 1.47 2/233 975174
/proc/meminfo: memFree=128996448/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=507280 memory=405028 CPUtime=3154.99 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 60393 0 0 0 315206 293 0 0 20 0 1 0 186129802 519454720 101257 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 126820 101257 1198 1005 0 125583 0
Current children cumulated CPU time: 3154.99 s
Current children cumulated vsize: 507280 KiB
Current children cumulated memory: 405028 KiB

[startup+3222.3 s]
/proc/loadavg: 1.08 1.10 1.45 2/233 975185
/proc/meminfo: memFree=128994636/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=508960 memory=406708 CPUtime=3214.87 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 60936 0 0 0 321194 293 0 0 20 0 1 0 186129802 521175040 101677 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 127240 101677 1198 1005 0 126003 0
Current children cumulated CPU time: 3214.87 s
Current children cumulated vsize: 508960 KiB
Current children cumulated memory: 406708 KiB

[startup+3282.3 s]
/proc/loadavg: 1.14 1.11 1.43 2/234 975197
/proc/meminfo: memFree=128994188/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=508960 memory=406708 CPUtime=3274.75 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 61080 0 0 0 327182 293 0 0 20 0 1 0 186129802 521175040 101677 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 127240 101677 1198 1005 0 126003 0
Current children cumulated CPU time: 3274.75 s
Current children cumulated vsize: 508960 KiB
Current children cumulated memory: 406708 KiB

[startup+3342.3 s]
/proc/loadavg: 1.10 1.11 1.41 2/234 975207
/proc/meminfo: memFree=128992308/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=510500 memory=408248 CPUtime=3334.63 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 61604 0 0 0 333170 293 0 0 20 0 1 0 186129802 522752000 102062 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 127625 102062 1198 1005 0 126388 0
Current children cumulated CPU time: 3334.63 s
Current children cumulated vsize: 510500 KiB
Current children cumulated memory: 408248 KiB

[startup+3402.3 s]
/proc/loadavg: 1.15 1.12 1.39 2/236 975221
/proc/meminfo: memFree=128991568/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=510752 memory=408500 CPUtime=3394.51 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 61789 0 0 0 339150 301 0 0 20 0 1 0 186129802 523010048 102125 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 127688 102125 1198 1005 0 126451 0
Current children cumulated CPU time: 3394.51 s
Current children cumulated vsize: 510752 KiB
Current children cumulated memory: 408500 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.11 1.36 2/236 975232
/proc/meminfo: memFree=128991472/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=510752 memory=408500 CPUtime=3454.39 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 61978 0 0 0 345137 302 0 0 20 0 1 0 186129802 523010048 102125 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 127688 102125 1198 1005 0 126451 0
Current children cumulated CPU time: 3454.39 s
Current children cumulated vsize: 510752 KiB
Current children cumulated memory: 408500 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.10 1.35 2/236 975242
/proc/meminfo: memFree=128860724/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=726656 memory=538648 CPUtime=3514.27 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 63863 0 0 0 351117 310 0 0 20 0 1 0 186129802 744095744 134662 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 181664 134662 1198 1005 0 180427 0
Current children cumulated CPU time: 3514.27 s
Current children cumulated vsize: 726656 KiB
Current children cumulated memory: 538648 KiB

[startup+3582.3 s]
/proc/loadavg: 1.13 1.11 1.33 2/235 975253
/proc/meminfo: memFree=128851300/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=735796 memory=547924 CPUtime=3574.15 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 65754 0 0 0 357093 322 0 0 20 0 1 0 186129802 753455104 136981 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 183949 136981 1198 1005 0 182712 0
Current children cumulated CPU time: 3574.15 s
Current children cumulated vsize: 735796 KiB
Current children cumulated memory: 547924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.2 s]
/proc/loadavg: 1.09 1.10 1.33 2/235 975256
/proc/meminfo: memFree=128851136/131524600 swapFree=131071996/131071996
[pid=972803] ppid=972800 vsize=735796 memory=547924 CPUtime=3600 cores=1,3
/proc/972803/stat : 972803 (Exact) R 972800 972803 967623 0 -1 4194304 65767 0 0 0 359678 322 0 0 20 0 1 0 186129802 753455104 136981 134679101440 4194304 8309489 140723755163008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44744704 140723755168701 140723755168871 140723755168871 140723755175887 0
/proc/972803/statm: 183949 136981 1198 1005 0 182712 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 735796 KiB
Current children cumulated memory: 547924 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.8 s, system=3.23131 s

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

Child status: 0

Real time (s): 3608.22
CPU time (s): 3600.03
CPU user time (s): 3596.8
CPU system time (s): 3.23131
CPU usage (%): 99.7731
Max. virtual memory (cumulated for all children) (KiB): 735796
Max. memory (cumulated for all children) (KiB): 547924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.8
system time used= 3.23131
maximum resident set size= 791116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65769
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= 84
involuntary context switches= 1687


# summary of solver processes directly reported to runsolver:
#   pid: 972803
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3596.8
#   total CPU system time (s): 3.23131

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08809 second user time and 13.9004 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-18 23:54:00
IDJOB=4446706
IDBENCH=158293
IDSOLVER=3060
FILE ID=nodeC028/4446706-1721339628
RUNJOBID= nodeC028-1721330331-967635
SLURM_JOB_ID= 7542706
Free space on /tmp= 890044 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K162.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-4446706-1721339628/watcher-4446706-1721339628 -o /tmp/evaluation-result-4446706-1721339628/solver-4446706-1721339628 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721330331-967635 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1467148447 HOME/instance-4446706-1721339628.opb

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

MD5SUM BENCH= 3691972eca5819945d0aaf6ae8165cd0
RANDOM SEED=1467148447

nodeC028.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		: 3656.785
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.56
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		: 3655.179
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.59
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.008
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.56
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		: 3665.575
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.59
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		: 3656.888
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.56
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		: 3664.794
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.59
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		: 3599.844
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.855
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128167440 kB
MemAvailable:   128586376 kB
Buffers:          491532 kB
Cached:           768936 kB
SwapCached:            0 kB
Active:           995100 kB
Inactive:        1764808 kB
Active(anon):       1552 kB
Inactive(anon):  1535276 kB
Active(file):     993548 kB
Inactive(file):   229532 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6920 kB
Writeback:             0 kB
AnonPages:       1496336 kB
Mapped:           120488 kB
Shmem:             37720 kB
KReclaimable:      71360 kB
Slab:             178752 kB
SReclaimable:      71360 kB
SUnreclaim:       107392 kB
KernelStack:        4160 kB
PageTables:        12228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2072184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            66336 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1327104 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:      197332 kB
DirectMap2M:    20547584 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC028 at 2024-07-19 00:54:08