0.38/0.50 c Filename:instance-4451516-1721435437.opb, Cutoff_time:3600, memory_limit_gb:500000
0.38/0.50 c Use Presolve
0.38/0.50 c Parse finsih
0.38/0.50 c Start Presolve
0.38/0.50 c After Reduce Vars: 2196 Clauses: 5430 Top clause weight: 1 Hard Clauses: 5430
3599.90/3606.68 c Use LS-small
3599.90/3606.68 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: 63968 MiB (59662 MiB free)
memory of node 1: 64473 MiB (62888 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451516-1721435437/watcher-4451516-1721435437 -o /tmp/evaluation-result-4451516-1721435437/solver-4451516-1721435437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721431844-1054206 --watchdog 3760 ./LS-MabSP -f HOME/instance-4451516-1721435437.opb -t 3600 -s 1859716582
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1056151, runsolver pid=1056148
[startup+0.100806 s]*
/proc/loadavg: 4.12 4.11 4.09 4/257 1056152
/proc/meminfo: memFree=125493040/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=22304 memory=9844 CPUtime=0.09 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 1139 0 0 0 9 0 0 0 20 0 1 0 195706088 22839296 2461 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 5576 2461 1105 2753 0 2229 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22304 KiB
Current children cumulated memory: 9844 KiB
[startup+0.205809 s]*
/proc/loadavg: 4.12 4.11 4.09 5/254 1056160
/proc/meminfo: memFree=125467528/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=51700 memory=43824 CPUtime=0.19 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 8277 0 0 0 19 0 0 0 20 0 1 0 195706088 52940800 10956 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 12925 10956 2833 2753 0 9578 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 51700 KiB
Current children cumulated memory: 43824 KiB
[startup+0.305998 s]*
/proc/loadavg: 4.12 4.11 4.09 4/256 1056166
/proc/meminfo: memFree=125464780/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=53224 memory=45128 CPUtime=0.28 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 8629 0 0 0 28 0 0 0 20 0 1 0 195706088 54501376 11282 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 13306 11282 2833 2753 0 9959 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 53224 KiB
Current children cumulated memory: 45128 KiB
[startup+0.700183 s]
/proc/loadavg: 4.19 4.12 4.10 6/259 1056198
/proc/meminfo: memFree=125460416/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=67504 memory=57832 CPUtime=0.68 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 13163 0 0 0 67 1 0 0 20 0 1 0 195706088 69124096 14458 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 16876 14458 2849 2753 0 13529 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67504 KiB
Current children cumulated memory: 57832 KiB
[startup+1.50018 s]
/proc/loadavg: 4.19 4.12 4.10 5/259 1056198
/proc/meminfo: memFree=125403360/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=71708 memory=61756 CPUtime=1.47 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 14170 0 0 0 146 1 0 0 20 0 1 0 195706088 73428992 15439 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 17927 15439 2849 2753 0 14580 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 71708 KiB
Current children cumulated memory: 61756 KiB
[startup+3.10524 s]
/proc/loadavg: 4.19 4.12 4.10 5/259 1056292
/proc/meminfo: memFree=125349920/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=93944 memory=83440 CPUtime=3.07 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 20013 0 0 0 305 2 0 0 20 0 1 0 195706088 96198656 20860 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 23486 20860 2849 2753 0 20139 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 93944 KiB
Current children cumulated memory: 83440 KiB
[startup+6.30023 s]
/proc/loadavg: 4.18 4.12 4.10 5/259 1056292
/proc/meminfo: memFree=125312904/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=104072 memory=93692 CPUtime=6.27 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 23049 0 0 0 624 3 0 0 20 0 1 0 195706088 106569728 23423 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 26018 23423 2849 2753 0 22671 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 104072 KiB
Current children cumulated memory: 93692 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.09 5/259 1056294
/proc/meminfo: memFree=125298824/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=104548 memory=94220 CPUtime=12.65 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 23181 0 0 0 1262 3 0 0 20 0 1 0 195706088 107057152 23555 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 26137 23555 2849 2753 0 22790 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 104548 KiB
Current children cumulated memory: 94220 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1056295
/proc/meminfo: memFree=125260008/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=121300 memory=102684 CPUtime=25.41 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 25595 0 0 0 2538 3 0 0 20 0 1 0 195706088 124211200 25671 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 30325 25671 2849 2753 0 26978 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 121300 KiB
Current children cumulated memory: 102684 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1056300
/proc/meminfo: memFree=125225792/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=156576 memory=126528 CPUtime=50.95 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 31588 0 0 0 5091 4 0 0 20 0 1 0 195706088 160333824 31632 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 39144 31632 2849 2753 0 35797 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 156576 KiB
Current children cumulated memory: 126528 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 1056309
/proc/meminfo: memFree=125140204/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=195572 memory=174148 CPUtime=101.99 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 41730 0 0 0 10193 6 0 0 20 0 1 0 195706088 200265728 43537 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 48893 43537 2849 2753 0 45546 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 195572 KiB
Current children cumulated memory: 174148 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1056319
/proc/meminfo: memFree=125059668/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=212184 memory=203228 CPUtime=161.82 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 45191 0 0 0 16175 7 0 0 20 0 1 0 195706088 217276416 50807 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 53046 50807 2849 2753 0 49699 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 212184 KiB
Current children cumulated memory: 203228 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1056331
/proc/meminfo: memFree=125009552/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=237272 memory=227164 CPUtime=221.66 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 51243 0 0 0 22158 8 0 0 20 0 1 0 195706088 242966528 56791 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 59318 56791 2849 2753 0 55971 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 237272 KiB
Current children cumulated memory: 227164 KiB
[startup+282.3 s]
/proc/loadavg: 4.32 4.18 4.11 5/257 1056341
/proc/meminfo: memFree=124935656/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=239296 memory=230720 CPUtime=281.51 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 52192 0 0 0 28142 9 0 0 20 0 1 0 195706088 245039104 57680 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 59824 57680 2849 2753 0 56477 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 239296 KiB
Current children cumulated memory: 230720 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.18 4.11 5/254 1056351
/proc/meminfo: memFree=124907164/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=248436 memory=239720 CPUtime=341.35 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 54520 0 0 0 34125 10 0 0 20 0 1 0 195706088 254398464 59930 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 62109 59930 2849 2753 0 58762 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 248436 KiB
Current children cumulated memory: 239720 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/254 1056362
/proc/meminfo: memFree=124890056/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=250868 memory=242284 CPUtime=401.19 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 55254 0 0 0 40108 11 0 0 20 0 1 0 195706088 256888832 60571 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 62717 60571 2849 2753 0 59370 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 250868 KiB
Current children cumulated memory: 242284 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/255 1056373
/proc/meminfo: memFree=124861652/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=258812 memory=249300 CPUtime=461.03 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 57103 0 0 0 46092 11 0 0 20 0 1 0 195706088 265023488 62325 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 64703 62325 2849 2753 0 61356 0
################
# More data... #
################
/proc/loadavg: 4.08 4.11 4.09 5/257 1057433
/proc/meminfo: memFree=124815216/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3156.29 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70608 0 0 0 306952 8677 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3156.29 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1057445
/proc/meminfo: memFree=124814948/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3216.19 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70612 0 0 0 312698 8921 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3216.19 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 1057840
/proc/meminfo: memFree=124813816/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3276.1 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70616 0 0 0 318446 9164 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3276.1 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/258 1057851
/proc/meminfo: memFree=124813992/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3336.01 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70620 0 0 0 324190 9411 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3336.01 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 1057862
/proc/meminfo: memFree=124813848/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3395.92 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70624 0 0 0 329945 9647 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3395.92 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 1058040
/proc/meminfo: memFree=124812900/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3455.83 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70628 0 0 0 335713 9870 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3455.83 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 1058050
/proc/meminfo: memFree=124813072/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3515.73 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70632 0 0 0 341473 10100 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3515.73 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/260 1058118
/proc/meminfo: memFree=124812084/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3575.65 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70636 0 0 0 347232 10333 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3575.65 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3606.69 s]
# the end of solver process 1056151 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3495.75 s, system=104.255 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.09 5/260 1058118
/proc/meminfo: memFree=124812168/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3577.34 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70636 0 0 0 347396 10338 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3577.34 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 1058120
/proc/meminfo: memFree=124812300/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3590.12 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70638 0 0 0 348624 10388 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3590.12 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3603.2 s]
/proc/loadavg: 4.16 4.12 4.09 5/259 1058122
/proc/meminfo: memFree=124812384/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3596.51 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70638 0 0 0 349239 10412 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3596.51 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3604.8 s]
/proc/loadavg: 4.16 4.12 4.09 5/259 1058122
/proc/meminfo: memFree=124812384/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3598.11 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70638 0 0 0 349393 10418 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3598.11 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3605.6 s]
/proc/loadavg: 4.16 4.12 4.09 6/260 1058123
/proc/meminfo: memFree=124812048/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3598.91 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70638 0 0 0 349470 10421 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3598.91 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3606.4 s]
/proc/loadavg: 4.16 4.12 4.09 5/259 1058123
/proc/meminfo: memFree=124812268/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3599.7 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70638 0 0 0 349546 10424 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3599.7 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
[startup+3606.6 s]
/proc/loadavg: 4.16 4.12 4.09 5/259 1058123
/proc/meminfo: memFree=124812268/131524600 swapFree=131071216/131071996
[pid=1056151] ppid=1056148 vsize=287280 memory=279084 CPUtime=3599.9 cores=4,6
/proc/1056151/stat : 1056151 (LS-MabSP) R 1056148 1056151 1054195 0 -1 4194304 70638 0 0 0 349566 10424 0 0 20 0 1 0 195706088 294174720 69771 134679101440 4194304 15467897 140723028621312 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47362048 140723028628509 140723028628612 140723028628612 140723028635629 0
/proc/1056151/statm: 71820 69771 2849 2753 0 68473 0
Current children cumulated CPU time: 3599.9 s
Current children cumulated vsize: 287280 KiB
Current children cumulated memory: 279084 KiB
Child status: 0
Real time (s): 3606.69
CPU time (s): 3600
CPU user time (s): 3495.75
CPU system time (s): 104.255
CPU usage (%): 99.8146
Max. virtual memory (cumulated for all children) (KiB): 290456
Max. memory (cumulated for all children) (KiB): 280304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3495.75
system time used= 104.255
maximum resident set size= 280568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70642
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= 59
involuntary context switches= 1773
# summary of solver processes directly reported to runsolver:
# pid: 1056151
# total CPU time (s): 3600
# total CPU user time (s): 3495.75
# total CPU system time (s): 104.255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21793 second user time and 11.7877 second system time
The end
Begin job on nodeC018 at 2024-07-20 02:30:49
IDJOB=4451516
IDBENCH=162575
IDSOLVER=3047
FILE ID=nodeC018/4451516-1721435437
RUNJOBID= nodeC018-1721431844-1054206
SLURM_JOB_ID= 7545619
Free space on /tmp= 890036 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l040-r039-n1.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-4451516-1721435437/watcher-4451516-1721435437 -o /tmp/evaluation-result-4451516-1721435437/solver-4451516-1721435437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721431844-1054206 --watchdog 3760 ./LS-MabSP -f HOME/instance-4451516-1721435437.opb -t 3600 -s 1859716582
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 96e2a5c3c03fdb4a4e45b0158ae682a4
RANDOM SEED=1859716582
nodeC018.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 : 3660.705
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.52
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 : 3685.845
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.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 : 0xb00002a
cpu MHz : 3600.630
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.52
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.271
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.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 : 0xb00002a
cpu MHz : 3664.386
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.52
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 : 3685.884
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.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 : 0xb00002a
cpu MHz : 3645.008
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.52
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.258
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125492412 kB
MemAvailable: 129697180 kB
Buffers: 550076 kB
Cached: 4455060 kB
SwapCached: 148 kB
Active: 1114748 kB
Inactive: 4261600 kB
Active(anon): 1552 kB
Inactive(anon): 415464 kB
Active(file): 1113196 kB
Inactive(file): 3846136 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 16384 kB
Writeback: 12 kB
AnonPages: 371128 kB
Mapped: 143384 kB
Shmem: 45784 kB
KReclaimable: 170520 kB
Slab: 274592 kB
SReclaimable: 170520 kB
SUnreclaim: 104072 kB
KernelStack: 4112 kB
PageTables: 10052 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 749096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 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: 283348 kB
DirectMap2M: 28850176 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC018 at 2024-07-20 03:30:56