Trace number 4452426

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) 3601.94 3613.19

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-ns903616.0.u.opb
MD5SUM851dd7bb62635ec66e2461b484912a91
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21582
Total number of constraints17547
Number of constraints which are clauses6313
Number of constraints which are cardinality constraints (but not clauses)344
Number of constraints which are nor clauses,nor cardinality constraints10890
Minimum length of a constraint1
Maximum length of a constraint221
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 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 221
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 

3601.84/3613.16	c Program interrupted by user.
3601.84/3613.16	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: 64059 MiB (61887 MiB free)
  memory of node 1: 64510 MiB (61135 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452426-1721429990/watcher-4452426-1721429990 -o /tmp/evaluation-result-4452426-1721429990/solver-4452426-1721429990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721422714-1036158 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2014800731 HOME/instance-4452426-1721429990.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=1041745, runsolver pid=1041742
Current StackSize limit: 8192 KiB


[startup+0.100112 s]*
/proc/loadavg: 4.44 4.30 4.22 5/244 1041746
/proc/meminfo: memFree=125948236/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=52960 memory=30944 CPUtime=0.1 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 6502 0 0 0 8 2 0 0 20 0 1 0 195155585 54231040 7736 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 13240 7736 884 1005 0 12003 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52960 KiB
Current children cumulated memory: 30944 KiB

[startup+0.212933 s]*
/proc/loadavg: 4.44 4.30 4.22 5/244 1041746
/proc/meminfo: memFree=125940196/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=56676 memory=37656 CPUtime=0.21 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 7784 0 0 0 19 2 0 0 20 0 1 0 195155585 58036224 9414 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 14169 9414 900 1005 0 12932 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56676 KiB
Current children cumulated memory: 37656 KiB

[startup+0.312794 s]*
/proc/loadavg: 4.44 4.30 4.22 5/244 1041746
/proc/meminfo: memFree=125936360/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=59520 memory=40736 CPUtime=0.32 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 8489 0 0 0 29 3 0 0 20 0 1 0 195155585 60948480 10184 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 14880 10184 948 1005 0 13643 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 59520 KiB
Current children cumulated memory: 40736 KiB

[startup+0.700339 s]
/proc/loadavg: 4.44 4.30 4.22 5/244 1041746
/proc/meminfo: memFree=125911040/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=84808 memory=64816 CPUtime=0.69 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 14759 0 0 0 64 5 0 0 20 0 1 0 195155585 86843392 16204 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 21202 16204 1108 1005 0 19965 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 84808 KiB
Current children cumulated memory: 64816 KiB

[startup+1.50029 s]
/proc/loadavg: 4.44 4.30 4.22 5/244 1041746
/proc/meminfo: memFree=125901816/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=89824 memory=77024 CPUtime=1.48 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 16298 0 0 0 143 5 0 0 20 0 1 0 195155585 91979776 19256 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 22456 19256 1108 1005 0 21219 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89824 KiB
Current children cumulated memory: 77024 KiB

[startup+3.11262 s]
/proc/loadavg: 4.44 4.30 4.22 5/244 1041746
/proc/meminfo: memFree=125844132/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=121508 memory=105520 CPUtime=3.09 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 21571 0 0 0 302 7 0 0 20 0 1 0 195155585 124424192 26380 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 30377 26380 1108 1005 0 29140 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 121508 KiB
Current children cumulated memory: 105520 KiB

[startup+6.3003 s]
/proc/loadavg: 4.49 4.31 4.22 5/244 1041747
/proc/meminfo: memFree=125776252/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=164104 memory=138028 CPUtime=6.27 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 26548 0 0 0 617 10 0 0 20 0 1 0 195155585 168042496 34507 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 41026 34507 1124 1005 0 39789 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 164104 KiB
Current children cumulated memory: 138028 KiB

[startup+12.7003 s]
/proc/loadavg: 4.53 4.32 4.23 5/244 1041747
/proc/meminfo: memFree=125586464/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=258660 memory=224896 CPUtime=12.65 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 39004 0 0 0 1251 14 0 0 20 0 1 0 195155585 264867840 56224 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 64665 56224 1124 1005 0 63428 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 258660 KiB
Current children cumulated memory: 224896 KiB

[startup+25.5003 s]
/proc/loadavg: 4.63 4.35 4.24 5/241 1041779
/proc/meminfo: memFree=125537452/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=406312 memory=348112 CPUtime=25.41 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 57229 0 0 0 2518 23 0 0 20 0 1 0 195155585 416063488 87028 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 101578 87028 1124 1005 0 100341 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 406312 KiB
Current children cumulated memory: 348112 KiB

[startup+51.1127 s]
/proc/loadavg: 4.74 4.41 4.26 5/244 1041802
/proc/meminfo: memFree=125305796/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=409908 memory=351636 CPUtime=50.94 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 58257 0 0 0 5063 31 0 0 20 0 1 0 195155585 419745792 87909 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 102477 87909 1140 1005 0 101240 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 409908 KiB
Current children cumulated memory: 351636 KiB

[startup+102.3 s]
/proc/loadavg: 4.37 4.36 4.25 5/244 1041870
/proc/meminfo: memFree=124897792/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=444660 memory=379612 CPUtime=101.96 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 65404 0 0 0 10154 42 0 0 20 0 1 0 195155585 455331840 94903 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 111165 94903 1140 1005 0 109928 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 444660 KiB
Current children cumulated memory: 379612 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.32 4.25 5/244 1041881
/proc/meminfo: memFree=124564184/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=451988 memory=386420 CPUtime=161.77 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 67171 0 0 0 16114 63 0 0 20 0 1 0 195155585 462835712 96605 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 112997 96605 1140 1005 0 111760 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 451988 KiB
Current children cumulated memory: 386420 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.28 4.24 5/244 1041892
/proc/meminfo: memFree=124079564/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=455540 memory=389712 CPUtime=221.58 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 68062 0 0 0 22078 80 0 0 20 0 1 0 195155585 466472960 97428 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 113885 97428 1140 1005 0 112648 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 455540 KiB
Current children cumulated memory: 389712 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.24 4.22 5/244 1041902
/proc/meminfo: memFree=123581252/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=470580 memory=403856 CPUtime=281.39 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 71702 0 0 0 28047 92 0 0 20 0 1 0 195155585 481873920 100964 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 117645 100964 1140 1005 0 116408 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 470580 KiB
Current children cumulated memory: 403856 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.22 4.22 5/242 1041913
/proc/meminfo: memFree=123169648/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=478192 memory=414332 CPUtime=341.2 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 74380 0 0 0 34010 110 0 0 20 0 1 0 195155585 489668608 103583 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 119548 103583 1140 1005 0 118311 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 478192 KiB
Current children cumulated memory: 414332 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.20 4.21 5/242 1041969
/proc/meminfo: memFree=123232988/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=482536 memory=418552 CPUtime=401 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 75473 0 0 0 39983 117 0 0 20 0 1 0 195155585 494116864 104638 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 120634 104638 1140 1005 0 119397 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 482536 KiB
Current children cumulated memory: 418552 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.19 4.20 5/242 1041979
/proc/meminfo: memFree=123141028/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=489852 memory=424444 CPUtime=460.81 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 77045 0 0 0 45946 135 0 0 20 0 1 0 195155585 501608448 106111 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 122463 106111 1140 1005 0 121226 0

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

Current children cumulated memory: 603664 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/246 1043074
/proc/meminfo: memFree=119110772/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=654364 memory=604348 CPUtime=3092.6 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 120338 0 0 0 308492 768 0 0 20 0 1 0 195155585 670068736 151087 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 163591 151087 1140 1005 0 162354 0
Current children cumulated CPU time: 3092.6 s
Current children cumulated vsize: 654364 KiB
Current children cumulated memory: 604348 KiB

[startup+3162.3 s]
/proc/loadavg: 4.73 4.28 4.18 5/246 1043086
/proc/meminfo: memFree=119104956/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=654520 memory=604532 CPUtime=3152.41 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 120485 0 0 0 314457 784 0 0 20 0 1 0 195155585 670228480 151133 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 163630 151133 1140 1005 0 162393 0
Current children cumulated CPU time: 3152.41 s
Current children cumulated vsize: 654520 KiB
Current children cumulated memory: 604532 KiB

[startup+3222.3 s]
/proc/loadavg: 4.37 4.26 4.18 5/246 1043096
/proc/meminfo: memFree=119095844/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=654732 memory=604744 CPUtime=3212.22 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 120630 0 0 0 320425 797 0 0 20 0 1 0 195155585 670445568 151186 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 163683 151186 1140 1005 0 162446 0
Current children cumulated CPU time: 3212.22 s
Current children cumulated vsize: 654732 KiB
Current children cumulated memory: 604744 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.23 4.17 5/245 1043106
/proc/meminfo: memFree=119078880/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=657512 memory=607636 CPUtime=3272.03 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 121474 0 0 0 326392 811 0 0 20 0 1 0 195155585 673292288 151909 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 164378 151909 1140 1005 0 163141 0
Current children cumulated CPU time: 3272.03 s
Current children cumulated vsize: 657512 KiB
Current children cumulated memory: 607636 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/245 1043503
/proc/meminfo: memFree=119046412/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=662684 memory=612164 CPUtime=3331.85 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 122750 0 0 0 332356 829 0 0 20 0 1 0 195155585 678588416 153041 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 165671 153041 1140 1005 0 164434 0
Current children cumulated CPU time: 3331.85 s
Current children cumulated vsize: 662684 KiB
Current children cumulated memory: 612164 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/245 1043515
/proc/meminfo: memFree=119027872/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=667552 memory=615916 CPUtime=3391.66 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 123800 0 0 0 338322 844 0 0 20 0 1 0 195155585 683573248 153979 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 166888 153979 1140 1005 0 165651 0
Current children cumulated CPU time: 3391.66 s
Current children cumulated vsize: 667552 KiB
Current children cumulated memory: 615916 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.17 4.16 5/245 1043525
/proc/meminfo: memFree=118997676/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=667892 memory=615916 CPUtime=3451.48 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 123895 0 0 0 344287 861 0 0 20 0 1 0 195155585 683921408 153979 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 166973 153979 1140 1005 0 165736 0
Current children cumulated CPU time: 3451.48 s
Current children cumulated vsize: 667892 KiB
Current children cumulated memory: 615916 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.16 5/246 1043704
/proc/meminfo: memFree=118990372/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=669056 memory=617428 CPUtime=3511.29 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 124556 0 0 0 350263 866 0 0 20 0 1 0 195155585 685113344 154357 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 167264 154357 1140 1005 0 166027 0
Current children cumulated CPU time: 3511.29 s
Current children cumulated vsize: 669056 KiB
Current children cumulated memory: 617428 KiB

[startup+3582.3 s]
/proc/loadavg: 3.77 4.07 4.13 4/239 1043746
/proc/meminfo: memFree=124459784/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=679308 memory=627132 CPUtime=3571.11 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 127052 0 0 0 356232 879 0 0 20 0 1 0 195155585 695611392 156783 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 169827 156783 1140 1005 0 168590 0
Current children cumulated CPU time: 3571.11 s
Current children cumulated vsize: 679308 KiB
Current children cumulated memory: 627132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 3.53 3.98 4.09 4/239 1043751
/proc/meminfo: memFree=124459660/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=679524 memory=627176 CPUtime=3600.04 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 127109 0 0 0 359112 892 0 0 20 0 1 0 195155585 695832576 156794 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 169881 156794 1140 1005 0 168644 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 679524 KiB
Current children cumulated memory: 627176 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.98 s, system=8.95737 s

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

[startup+3612 s]*
/proc/loadavg: 3.53 3.98 4.09 4/239 1043751
/proc/meminfo: memFree=124459660/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=679524 memory=627176 CPUtime=3600.74 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 127109 0 0 0 359182 892 0 0 20 0 1 0 195155585 695832576 156794 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 169881 156794 1140 1005 0 168644 0
Current children cumulated CPU time: 3600.74 s
Current children cumulated vsize: 679524 KiB
Current children cumulated memory: 627176 KiB

[startup+3612.8 s]
/proc/loadavg: 3.53 3.98 4.09 4/239 1043751
/proc/meminfo: memFree=124459660/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=679524 memory=627176 CPUtime=3601.53 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 127109 0 0 0 359260 893 0 0 20 0 1 0 195155585 695832576 156794 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 169881 156794 1140 1005 0 168644 0
Current children cumulated CPU time: 3601.53 s
Current children cumulated vsize: 679524 KiB
Current children cumulated memory: 627176 KiB

[startup+3613 s]*
/proc/loadavg: 3.53 3.98 4.09 4/239 1043751
/proc/meminfo: memFree=124459660/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=679524 memory=627176 CPUtime=3601.74 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 127109 0 0 0 359281 893 0 0 20 0 1 0 195155585 695832576 156794 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 169881 156794 1140 1005 0 168644 0
Current children cumulated CPU time: 3601.74 s
Current children cumulated vsize: 679524 KiB
Current children cumulated memory: 627176 KiB

[startup+3613.11 s]
/proc/loadavg: 3.53 3.98 4.09 4/239 1043751
/proc/meminfo: memFree=124459660/131655788 swapFree=131071996/131071996
[pid=1041745] ppid=1041742 vsize=679524 memory=627176 CPUtime=3601.84 cores=1,3
/proc/1041745/stat : 1041745 (Exact) R 1041742 1041745 1036146 0 -1 4194304 127109 0 0 0 359291 893 0 0 20 0 1 0 195155585 695832576 156794 134679101440 4194304 8309489 140733705255856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 22196224 140733705262012 140733705262182 140733705262182 140733705269199 0
/proc/1041745/statm: 169881 156794 1140 1005 0 168644 0
Current children cumulated CPU time: 3601.84 s
Current children cumulated vsize: 679524 KiB
Current children cumulated memory: 627176 KiB

Child status: 0

Real time (s): 3613.19
CPU time (s): 3601.94
CPU user time (s): 3592.98
CPU system time (s): 8.95737
CPU usage (%): 99.6884
Max. virtual memory (cumulated for all children) (KiB): 679524
Max. memory (cumulated for all children) (KiB): 627176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.98
system time used= 8.95736
maximum resident set size= 627176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127125
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= 21
involuntary context switches= 2602


# summary of solver processes directly reported to runsolver:
#   pid: 1041745
#   total CPU time (s): 3601.94
#   total CPU user time (s): 3592.98
#   total CPU system time (s): 8.95737

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.089 second user time and 33.9738 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-20 01:00:02
IDJOB=4452426
IDBENCH=164356
IDSOLVER=3060
FILE ID=nodeC007/4452426-1721429990
RUNJOBID= nodeC007-1721422714-1036158
SLURM_JOB_ID= 7545601
Free space on /tmp= 723752 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-ns903616.0.u.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-4452426-1721429990/watcher-4452426-1721429990 -o /tmp/evaluation-result-4452426-1721429990/solver-4452426-1721429990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721422714-1036158 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2014800731 HOME/instance-4452426-1721429990.opb

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

MD5SUM BENCH= 851dd7bb62635ec66e2461b484912a91
RANDOM SEED=2014800731

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		: 3491.629
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		: 1197.134
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.332
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.136
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		: 3666.861
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		: 3645.533
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.331
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.330
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:        125486372 kB
MemAvailable:   128309104 kB
Buffers:          535628 kB
Cached:          3123428 kB
SwapCached:            0 kB
Active:          1094124 kB
Inactive:        4500208 kB
Active(anon):       1476 kB
Inactive(anon):  1979692 kB
Active(file):    1092648 kB
Inactive(file):  2520516 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7140 kB
Writeback:             8 kB
AnonPages:       1935020 kB
Mapped:           121580 kB
Shmem:             45896 kB
KReclaimable:      99196 kB
Slab:             202312 kB
SReclaimable:      99196 kB
SUnreclaim:       103116 kB
KernelStack:        3952 kB
PageTables:        13212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2692812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60992 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1552384 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= 723764 MiB
End job on nodeC007 at 2024-07-20 02:00:15