1796.41/1803.54 c Filename:instance-4452206-1721442375.opb, Cutoff_time:3600, memory_limit_gb:500000
1796.41/1803.54 c Use Presolve
1796.41/1803.54 c Parse finsih
1796.41/1803.54 c Start Presolve
1796.41/1803.54 c After Reduce Vars: 12292 Clauses: 97390 Top clause weight: 1 Hard Clauses: 97390
3599.92/3612.67 c Use LS-small
3599.92/3612.67 s UNKNOWN
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: 63931 MiB (61219 MiB free)
memory of node 1: 64510 MiB (61324 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452206-1721442375/watcher-4452206-1721442375 -o /tmp/evaluation-result-4452206-1721442375/solver-4452206-1721442375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721435167-1041944 --watchdog 3760 ./LS-MabSP -f HOME/instance-4452206-1721442375.opb -t 3600 -s 1665090065
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1046101, runsolver pid=1046098
[startup+0.100457 s]*
/proc/loadavg: 4.07 4.08 4.09 5/257 1046102
/proc/meminfo: memFree=125470364/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=27364 memory=14600 CPUtime=0.09 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 2672 0 0 0 9 0 0 0 20 0 1 0 196396612 28020736 3650 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 6841 3650 1073 2753 0 3494 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27364 KiB
Current children cumulated memory: 14600 KiB
[startup+0.205261 s]*
/proc/loadavg: 4.07 4.08 4.09 5/257 1046102
/proc/meminfo: memFree=125467884/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=29412 memory=16752 CPUtime=0.19 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 3223 0 0 0 19 0 0 0 20 0 1 0 196396612 30117888 4188 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 7353 4188 1073 2753 0 4006 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29412 KiB
Current children cumulated memory: 16752 KiB
[startup+0.304617 s]*
/proc/loadavg: 4.07 4.08 4.09 5/257 1046102
/proc/meminfo: memFree=125463720/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=33508 memory=20592 CPUtime=0.29 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 3661 0 0 0 29 0 0 0 20 0 1 0 196396612 34312192 5148 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 8377 5148 1073 2753 0 5030 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 33508 KiB
Current children cumulated memory: 20592 KiB
[startup+0.700216 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 1046102
/proc/meminfo: memFree=125419508/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=77816 memory=65044 CPUtime=0.69 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 11382 0 0 0 67 2 0 0 20 0 1 0 196396612 79683584 16261 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 19454 16261 1105 2753 0 16107 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 77816 KiB
Current children cumulated memory: 65044 KiB
[startup+1.50021 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 1046102
/proc/meminfo: memFree=125419628/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=117292 memory=96564 CPUtime=1.48 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 22014 0 0 0 144 4 0 0 20 0 1 0 196396612 120107008 24141 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 29323 24141 1153 2753 0 25976 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117292 KiB
Current children cumulated memory: 96564 KiB
[startup+3.10562 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 1046102
/proc/meminfo: memFree=124889772/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=645972 memory=625088 CPUtime=3.08 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 154185 0 0 0 287 21 0 0 20 0 1 0 196396612 661475328 156272 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 161493 156272 1153 2753 0 158146 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 645972 KiB
Current children cumulated memory: 625088 KiB
[startup+6.30021 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 1046102
/proc/meminfo: memFree=124016996/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=907800 memory=889720 CPUtime=6.27 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 218854 0 0 0 596 31 0 0 20 0 1 0 196396612 929587200 222430 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 226950 222430 2737 2753 0 223603 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 907800 KiB
Current children cumulated memory: 889720 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.08 4.09 5/257 1046104
/proc/meminfo: memFree=121507616/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=916132 memory=897836 CPUtime=12.63 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 220384 0 0 0 1231 32 0 0 20 0 1 0 196396612 938119168 224459 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 229033 224459 2737 2753 0 225686 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 916132 KiB
Current children cumulated memory: 897836 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.07 4.08 5/257 1046105
/proc/meminfo: memFree=116081464/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=917160 memory=899036 CPUtime=25.38 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 220729 0 0 0 2504 34 0 0 20 0 1 0 196396612 939171840 224759 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 229290 224759 2737 2753 0 225943 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 917160 KiB
Current children cumulated memory: 899036 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.08 4.09 5/258 1046111
/proc/meminfo: memFree=106332684/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1256836 memory=1202296 CPUtime=50.88 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 257912 0 0 0 5046 42 0 0 20 0 1 0 196396612 1287000064 300574 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 314209 300574 2833 2753 0 310862 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1256836 KiB
Current children cumulated memory: 1202296 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/258 1046120
/proc/meminfo: memFree=105991368/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1256836 memory=1202516 CPUtime=101.87 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 257983 0 0 0 10143 44 0 0 20 0 1 0 196396612 1287000064 300629 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 314209 300629 2833 2753 0 310862 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 1256836 KiB
Current children cumulated memory: 1202516 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/258 1046299
/proc/meminfo: memFree=105971936/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1262024 memory=1206904 CPUtime=161.64 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 259099 0 0 0 16118 46 0 0 20 0 1 0 196396612 1292312576 301726 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 315506 301726 2833 2753 0 312159 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 1262024 KiB
Current children cumulated memory: 1206904 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1046309
/proc/meminfo: memFree=105940176/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1266136 memory=1210860 CPUtime=221.41 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 260256 0 0 0 22093 48 0 0 20 0 1 0 196396612 1296523264 302715 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 316534 302715 2849 2753 0 313187 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 1266136 KiB
Current children cumulated memory: 1210860 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/261 1046380
/proc/meminfo: memFree=105921100/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1273488 memory=1217844 CPUtime=281.17 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 260962 0 0 0 28068 49 0 0 20 0 1 0 196396612 1304051712 304461 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 318372 304461 2849 2753 0 315025 0
Current children cumulated CPU time: 281.17 s
Current children cumulated vsize: 1273488 KiB
Current children cumulated memory: 1217844 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 1046390
/proc/meminfo: memFree=105912332/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1273488 memory=1218344 CPUtime=340.94 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 261296 0 0 0 34043 51 0 0 20 0 1 0 196396612 1304051712 304586 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 318372 304586 2849 2753 0 315025 0
Current children cumulated CPU time: 340.94 s
Current children cumulated vsize: 1273488 KiB
Current children cumulated memory: 1218344 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 1046401
/proc/meminfo: memFree=105909244/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1273488 memory=1218344 CPUtime=400.69 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 261319 0 0 0 40017 52 0 0 20 0 1 0 196396612 1304051712 304586 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 318372 304586 2849 2753 0 315025 0
Current children cumulated CPU time: 400.69 s
Current children cumulated vsize: 1273488 KiB
Current children cumulated memory: 1218344 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 1046412
/proc/meminfo: memFree=105903052/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1273488 memory=1218344 CPUtime=460.47 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 261339 0 0 0 45993 54 0 0 20 0 1 0 196396612 1304051712 304586 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 318372 304586 2849 2753 0 315025 0
################
# More data... #
################
Current children cumulated memory: 1056376 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.14 5/257 1047509
/proc/meminfo: memFree=106072984/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3270.64 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271082 0 0 0 326695 369 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3270.64 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/258 1047520
/proc/meminfo: memFree=106072408/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3330.45 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271148 0 0 0 332665 380 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3330.45 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/258 1047531
/proc/meminfo: memFree=106071628/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3390.27 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271168 0 0 0 338635 392 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3390.27 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/258 1047542
/proc/meminfo: memFree=106071140/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3450.08 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271180 0 0 0 344604 404 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3450.08 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/258 1047554
/proc/meminfo: memFree=106070588/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3509.9 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271199 0 0 0 350574 416 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3509.9 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/257 1047946
/proc/meminfo: memFree=106069664/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3569.71 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271211 0 0 0 356542 429 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3569.71 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3612.72 s]
# the end of solver process 1046101 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.64 s, system=4.40883 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.12 5/257 1047946
/proc/meminfo: memFree=106069612/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3571.41 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271211 0 0 0 356712 429 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3571.41 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.11 4.12 5/257 1047947
/proc/meminfo: memFree=106069652/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3584.17 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271211 0 0 0 357985 432 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3584.17 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3603.2 s]
/proc/loadavg: 4.05 4.09 4.12 3/243 1048011
/proc/meminfo: memFree=106341244/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3590.54 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271215 0 0 0 358621 433 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3590.54 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3609.6 s]
/proc/loadavg: 3.89 4.05 4.10 2/236 1048043
/proc/meminfo: memFree=124782824/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3596.93 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271215 0 0 0 359258 435 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3596.93 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3611.2 s]
/proc/loadavg: 3.89 4.05 4.10 2/236 1048043
/proc/meminfo: memFree=124782852/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3598.53 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271215 0 0 0 359417 436 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3598.53 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3612 s]*
/proc/loadavg: 3.89 4.05 4.10 2/236 1048043
/proc/meminfo: memFree=124782852/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3599.33 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271215 0 0 0 359497 436 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3599.33 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3612.4 s]
/proc/loadavg: 3.89 4.05 4.10 2/236 1048043
/proc/meminfo: memFree=124782852/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3599.72 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271215 0 0 0 359536 436 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3599.72 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3612.6 s]
/proc/loadavg: 3.89 4.05 4.10 2/236 1048043
/proc/meminfo: memFree=124782852/131524600 swapFree=130799640/131071996
[pid=1046101] ppid=1046098 vsize=1072612 memory=1056376 CPUtime=3599.92 cores=0,2
/proc/1046101/stat : 1046101 (LS-MabSP) R 1046098 1046101 1041934 0 -1 4194304 271215 0 0 0 359556 436 0 0 20 0 1 0 196396612 1098354688 264094 134679101440 4194304 15467897 140727398181200 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 40173568 140727398183965 140727398184068 140727398184068 140727398191085 0
/proc/1046101/statm: 268153 264094 2849 2753 0 264806 0
Current children cumulated CPU time: 3599.92 s
Current children cumulated vsize: 1072612 KiB
Current children cumulated memory: 1056376 KiB
[startup+3612.7 s]*
/proc/loadavg: 3.66 4.00 4.09 2/236 1048043
/proc/meminfo: memFree=125221588/131524600 swapFree=130799640/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3612.72
CPU time (s): 3600.05
CPU user time (s): 3595.64
CPU system time (s): 4.40883
CPU usage (%): 99.6493
Max. virtual memory (cumulated for all children) (KiB): 1305372
Max. memory (cumulated for all children) (KiB): 1242848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.64
system time used= 4.40883
maximum resident set size= 1242848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271218
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= 2
involuntary context switches= 25203
# summary of solver processes directly reported to runsolver:
# pid: 1046101
# total CPU time (s): 3600.05
# total CPU user time (s): 3595.64
# total CPU system time (s): 4.40883
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.64143 second user time and 15.9486 second system time
The end
Begin job on nodeC014 at 2024-07-20 04:26:27
IDJOB=4452206
IDBENCH=164078
IDSOLVER=3047
FILE ID=nodeC014/4452206-1721442375
RUNJOBID= nodeC014-1721435167-1041944
SLURM_JOB_ID= 7545640
Free space on /tmp= 889980 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-rmine11.0.u.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452206-1721442375/watcher-4452206-1721442375 -o /tmp/evaluation-result-4452206-1721442375/solver-4452206-1721442375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721435167-1041944 --watchdog 3760 ./LS-MabSP -f HOME/instance-4452206-1721442375.opb -t 3600 -s 1665090065
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f2b4c33dfdd2685ad5de2b9c67a512a4
RANDOM SEED=1665090065
nodeC014.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 : 3668.231
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.32
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 : 3682.905
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.96
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 : 3661.642
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.32
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 : 3600.241
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.96
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 : 3667.374
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.32
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 : 3682.924
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.96
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.099
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.32
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.035
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125485072 kB
MemAvailable: 129654108 kB
Buffers: 500776 kB
Cached: 4463512 kB
SwapCached: 12872 kB
Active: 1526076 kB
Inactive: 3887000 kB
Active(anon): 9196 kB
Inactive(anon): 468940 kB
Active(file): 1516880 kB
Inactive(file): 3418060 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 76904 kB
Writeback: 0 kB
AnonPages: 439668 kB
Mapped: 78352 kB
Shmem: 29620 kB
KReclaimable: 147484 kB
Slab: 250068 kB
SReclaimable: 147484 kB
SUnreclaim: 102584 kB
KernelStack: 4224 kB
PageTables: 10936 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1038580 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 36128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 223232 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: 303828 kB
DirectMap2M: 38266880 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC014 at 2024-07-20 05:26:40